Log files for model polling.18-16 and tool configuration storm_from-jani_to-umb-xz_sparse
[229.665, 227.917, 253.65, 266.313, 227.383]
Log file: storm_from-jani_to-umb-xz_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 282.825 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955688/tmp_t08dd6wstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955688/tmp9dtbfgjrstorm_from-jani_to-umb-xz_sparse_polling.18-16_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.004s.
Time for model construction: 53.119s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955688/tmp9dtbfgjrstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_outdir_/model.umb.xz'.
Time for model export: 229.665s.
Performance statistics:
* peak memory usage: 2496MB
* CPU time: 281.412s
* wallclock time: 282.793s
############################## Output files ##############################
model.umb.xz: Size of output file is 48233560 bytes
Log file: storm_from-jani_to-umb-xz_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 281.950 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:07:05 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956467/tmpeu9a3zl_storm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956467/tmpoefb0za9storm_from-jani_to-umb-xz_sparse_polling.18-16_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.004s.
Time for model construction: 52.955s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956467/tmpoefb0za9storm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_outdir_/model.umb.xz'.
Time for model export: 227.917s.
Performance statistics:
* peak memory usage: 2494MB
* CPU time: 279.296s
* wallclock time: 280.882s
############################## Output files ##############################
model.umb.xz: Size of output file is 48233560 bytes
Log file: storm_from-jani_to-umb-xz_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 308.091 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:20:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956971/tmp3glyatbjstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956971/tmplabfe_1xstorm_from-jani_to-umb-xz_sparse_polling.18-16_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.004s.
Time for model construction: 54.404s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956971/tmplabfe_1xstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_outdir_/model.umb.xz'.
Time for model export: 253.650s.
Performance statistics:
* peak memory usage: 2496MB
* CPU time: 306.426s
* wallclock time: 308.063s
############################## Output files ##############################
model.umb.xz: Size of output file is 48530820 bytes
Log file: storm_from-jani_to-umb-xz_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 321.598 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:37:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957611/tmp0tff0__8storm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957611/tmp8fs7vaiostorm_from-jani_to-umb-xz_sparse_polling.18-16_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.004s.
Time for model construction: 55.247s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957611/tmp8fs7vaiostorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_outdir_/model.umb.xz'.
Time for model export: 266.313s.
Performance statistics:
* peak memory usage: 2497MB
* CPU time: 319.895s
* wallclock time: 321.570s
############################## Output files ##############################
model.umb.xz: Size of output file is 48569084 bytes
Log file: storm_from-jani_to-umb-xz_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 280.379 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958125/tmpgf3yjttzstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958125/tmpqtyk8cshstorm_from-jani_to-umb-xz_sparse_polling.18-16_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: 52.961s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958125/tmpqtyk8cshstorm_from-jani_to-umb-xz_sparse_polling.18-16_tmp_outdir_/model.umb.xz'.
Time for model export: 227.383s.
Performance statistics:
* peak memory usage: 2497MB
* CPU time: 279.012s
* wallclock time: 280.352s
############################## Output files ##############################
model.umb.xz: Size of output file is 48378212 bytes