Log files for model polling.18-16 and tool configuration storm_from-jani_to-umb_sparse
[0.931, 0.804, 0.774, 0.9, 1.105]
Log file: storm_from-jani_to-umb_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 56.149 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:34:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955109/tmpsas59wzhstorm_from-jani_to-umb_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955109/tmpkjky0n35storm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb umb --compression none
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.4955109/tmpkjky0n35storm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb'.
Time for model export: 0.931s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 54.963s
* wallclock time: 56.116s
############################## Output files ##############################
model.umb: Size of output file is 1230385152 bytes
Log file: storm_from-jani_to-umb_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 53.752 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:46:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955608/tmptr3ier3tstorm_from-jani_to-umb_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955608/tmpo_s642ovstorm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 52.908s.
--------------------------------------------------------------
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.4955608/tmpo_s642ovstorm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb'.
Time for model export: 0.804s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 52.753s
* wallclock time: 53.721s
############################## Output files ##############################
model.umb: Size of output file is 1230385152 bytes
Log file: storm_from-jani_to-umb_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 49.371 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957003/tmpd7gqbu5bstorm_from-jani_to-umb_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957003/tmp2siwoj05storm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 48.564s.
--------------------------------------------------------------
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.4957003/tmp2siwoj05storm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb'.
Time for model export: 0.774s.
Performance statistics:
* peak memory usage: 2403MB
* CPU time: 48.442s
* wallclock time: 49.346s
############################## Output files ##############################
model.umb: Size of output file is 1230385152 bytes
Log file: storm_from-jani_to-umb_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 56.471 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:41:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955433/tmpipk7ir1istorm_from-jani_to-umb_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955433/tmpxibtczjxstorm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.528s.
--------------------------------------------------------------
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.4955433/tmpxibtczjxstorm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb'.
Time for model export: 0.900s.
Performance statistics:
* peak memory usage: 2404MB
* CPU time: 55.265s
* wallclock time: 56.439s
############################## Output files ##############################
model.umb: Size of output file is 1230385152 bytes
Log file: storm_from-jani_to-umb_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 56.828 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.4957742/tmplqujz2qkstorm_from-jani_to-umb_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957742/tmp72ub2sc_storm_from-jani_to-umb_sparse_polling.18-16_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: 55.688s.
--------------------------------------------------------------
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.4957742/tmp72ub2sc_storm_from-jani_to-umb_sparse_polling.18-16_tmp_outdir_/model.umb'.
Time for model export: 1.105s.
Performance statistics:
* peak memory usage: 2405MB
* CPU time: 55.537s
* wallclock time: 56.802s
############################## Output files ##############################
model.umb: Size of output file is 1230385152 bytes