Log files for model fms.8 and tool configuration storm_from-jani_to-umb-xz_sparse
[196.19, 167.896, 197.829, 163.744, 171.168]
Log file: storm_from-jani_to-umb-xz_sparse_fms.8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 228.443 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956999/tmpkcp2eo3bstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956999/tmpzs7roocestorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 32.201s.
--------------------------------------------------------------
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.4956999/tmpzs7roocestorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz'.
Time for model export: 196.190s.
Performance statistics:
* peak memory usage: 1523MB
* CPU time: 227.285s
* wallclock time: 228.405s
############################## Output files ##############################
model.umb.xz: Size of output file is 40236336 bytes
Log file: storm_from-jani_to-umb-xz_sparse_fms.8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 199.120 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:27:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954849/tmpgvi8m_16storm_from-jani_to-umb-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954849/tmpji1ljrhxstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 31.109s.
--------------------------------------------------------------
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.4954849/tmpji1ljrhxstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz'.
Time for model export: 167.896s.
Performance statistics:
* peak memory usage: 1522MB
* CPU time: 197.907s
* wallclock time: 199.020s
############################## Output files ##############################
model.umb.xz: Size of output file is 40269896 bytes
Log file: storm_from-jani_to-umb-xz_sparse_fms.8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 229.613 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:58:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956088/tmpqf07zyjtstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956088/tmppshhl5ocstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 31.734s.
--------------------------------------------------------------
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.4956088/tmppshhl5ocstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz'.
Time for model export: 197.829s.
Performance statistics:
* peak memory usage: 1522MB
* CPU time: 228.344s
* wallclock time: 229.580s
############################## Output files ##############################
model.umb.xz: Size of output file is 40290008 bytes
Log file: storm_from-jani_to-umb-xz_sparse_fms.8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 194.244 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:42:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957754/tmptclrxnx0storm_from-jani_to-umb-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957754/tmpw5gsn57estorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 30.454s.
--------------------------------------------------------------
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.4957754/tmpw5gsn57estorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz'.
Time for model export: 163.744s.
Performance statistics:
* peak memory usage: 1523MB
* CPU time: 193.072s
* wallclock time: 194.212s
############################## Output files ##############################
model.umb.xz: Size of output file is 40262724 bytes
Log file: storm_from-jani_to-umb-xz_sparse_fms.8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 200.075 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:58:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956085/tmph1bfmbw_storm_from-jani_to-umb-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956085/tmprnq2wctgstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 28.864s.
--------------------------------------------------------------
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.4956085/tmprnq2wctgstorm_from-jani_to-umb-xz_sparse_fms.8_tmp_outdir_/model.umb.xz'.
Time for model export: 171.168s.
Performance statistics:
* peak memory usage: 1524MB
* CPU time: 199.285s
* wallclock time: 200.045s
############################## Output files ##############################
model.umb.xz: Size of output file is 40268540 bytes