Log files for model fms.8 and tool configuration storm_from-jani_to-umb_sparse
[0.477, 0.672, 0.502, 0.482, 0.5]
Log file: storm_from-jani_to-umb_sparse_fms.8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 29.266 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955550/tmpnycq9hscstorm_from-jani_to-umb_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955550/tmpjq98wsf7storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 28.748s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955550/tmpjq98wsf7storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb'.
Time for model export: 0.477s.
Performance statistics:
* peak memory usage: 1437MB
* CPU time: 28.634s
* wallclock time: 29.239s
############################## Output files ##############################
model.umb: Size of output file is 724697088 bytes
Log file: storm_from-jani_to-umb_sparse_fms.8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 30.013 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958360/tmpm3b1ulzostorm_from-jani_to-umb_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958360/tmp94x3x6p6storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 29.268s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958360/tmp94x3x6p6storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb'.
Time for model export: 0.672s.
Performance statistics:
* peak memory usage: 1433MB
* CPU time: 28.657s
* wallclock time: 29.985s
############################## Output files ##############################
model.umb: Size of output file is 724697088 bytes
Log file: storm_from-jani_to-umb_sparse_fms.8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 33.043 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958388/tmpslrk_7kostorm_from-jani_to-umb_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958388/tmp7_x0wr36storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 32.491s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958388/tmp7_x0wr36storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb'.
Time for model export: 0.502s.
Performance statistics:
* peak memory usage: 1438MB
* CPU time: 32.323s
* wallclock time: 33.007s
############################## Output files ##############################
model.umb: Size of output file is 724697088 bytes
Log file: storm_from-jani_to-umb_sparse_fms.8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 29.291 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954957/tmperuqab3tstorm_from-jani_to-umb_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954957/tmpavv6l7y5storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 28.432s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954957/tmpavv6l7y5storm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb'.
Time for model export: 0.482s.
Performance statistics:
* peak memory usage: 1438MB
* CPU time: 28.366s
* wallclock time: 28.929s
############################## Output files ##############################
model.umb: Size of output file is 724697088 bytes
Log file: storm_from-jani_to-umb_sparse_fms.8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 32.869 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:50:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955764/tmpp7biu1rustorm_from-jani_to-umb_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955764/tmpiruuagfbstorm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 32.311s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955764/tmpiruuagfbstorm_from-jani_to-umb_sparse_fms.8_tmp_outdir_/model.umb'.
Time for model export: 0.500s.
Performance statistics:
* peak memory usage: 1437MB
* CPU time: 32.138s
* wallclock time: 32.827s
############################## Output files ##############################
model.umb: Size of output file is 724697088 bytes