Log files for model polling.18-16 and tool configuration storm_from-jani_to-umb-gz_sparse
[31.685, 31.585, 31.424, 31.204, 31.298]
Log file: storm_from-jani_to-umb-gz_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 86.974 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955158/tmp4q_sfamwstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955158/tmpmg76g815storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.254s.
--------------------------------------------------------------
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.4955158/tmpmg76g815storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz'.
Time for model export: 31.685s.
Performance statistics:
* peak memory usage: 2405MB
* CPU time: 86.072s
* wallclock time: 86.949s
############################## Output files ##############################
model.umb.gz: Size of output file is 157236916 bytes
Log file: storm_from-jani_to-umb-gz_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 85.553 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957208/tmp977fua31storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957208/tmp8zgu075pstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 53.926s.
--------------------------------------------------------------
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.4957208/tmp8zgu075pstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz'.
Time for model export: 31.585s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 84.665s
* wallclock time: 85.520s
############################## Output files ##############################
model.umb.gz: Size of output file is 157236896 bytes
Log file: storm_from-jani_to-umb-gz_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 87.717 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:51:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955840/tmp5g0uneh4storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955840/tmp36_fqak_storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 56.242s.
--------------------------------------------------------------
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.4955840/tmp36_fqak_storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz'.
Time for model export: 31.424s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 86.730s
* wallclock time: 87.676s
############################## Output files ##############################
model.umb.gz: Size of output file is 157236916 bytes
Log file: storm_from-jani_to-umb-gz_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 86.420 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958251/tmpx334ky6dstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958251/tmpxaqy3b8zstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.175s.
--------------------------------------------------------------
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.4958251/tmpxaqy3b8zstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz'.
Time for model export: 31.204s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 85.472s
* wallclock time: 86.389s
############################## Output files ##############################
model.umb.gz: Size of output file is 157236916 bytes
Log file: storm_from-jani_to-umb-gz_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 84.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:17:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956871/tmpq868up7cstorm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956871/tmpm17jwos2storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 52.743s.
--------------------------------------------------------------
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.4956871/tmpm17jwos2storm_from-jani_to-umb-gz_sparse_polling.18-16_tmp_outdir_/model.umb.gz'.
Time for model export: 31.298s.
Performance statistics:
* peak memory usage: 2405MB
* CPU time: 83.225s
* wallclock time: 84.050s
############################## Output files ##############################
model.umb.gz: Size of output file is 157236889 bytes