Log files for model crowds.6-20 and tool configuration storm_from-jani_to-umb-gz_sparse
[12.97, 12.92, 12.948, 12.921, 12.953]
Log file: storm_from-jani_to-umb-gz_sparse_crowds.6-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 44.701 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:54:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958176/tmp1pl0jbqvstorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958176/tmpxrita2uistorm_from-jani_to-umb-gz_sparse_crowds.6-20_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.002s.
Time for model construction: 31.701s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958176/tmpxrita2uistorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_outdir_/model.umb.gz'.
Time for model export: 12.970s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 44.082s
* wallclock time: 44.677s
############################## Output files ##############################
model.umb.gz: Size of output file is 43691735 bytes
Log file: storm_from-jani_to-umb-gz_sparse_crowds.6-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 43.646 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:17:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956842/tmp0lfw71zistorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956842/tmp2r9voi5jstorm_from-jani_to-umb-gz_sparse_crowds.6-20_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: 30.687s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956842/tmp2r9voi5jstorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_outdir_/model.umb.gz'.
Time for model export: 12.920s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 43.130s
* wallclock time: 43.613s
############################## Output files ##############################
model.umb.gz: Size of output file is 43691735 bytes
Log file: storm_from-jani_to-umb-gz_sparse_crowds.6-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 43.489 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.4957225/tmpl0csllc2storm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957225/tmpma2e_dijstorm_from-jani_to-umb-gz_sparse_crowds.6-20_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: 30.504s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957225/tmpma2e_dijstorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_outdir_/model.umb.gz'.
Time for model export: 12.948s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 42.974s
* wallclock time: 43.458s
############################## Output files ##############################
model.umb.gz: Size of output file is 43691764 bytes
Log file: storm_from-jani_to-umb-gz_sparse_crowds.6-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 43.524 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:34:42 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955130/tmpj_1bfwwestorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955130/tmpijub0i5bstorm_from-jani_to-umb-gz_sparse_crowds.6-20_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.002s.
Time for model construction: 30.560s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955130/tmpijub0i5bstorm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_outdir_/model.umb.gz'.
Time for model export: 12.921s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 43.013s
* wallclock time: 43.488s
############################## Output files ##############################
model.umb.gz: Size of output file is 43691735 bytes
Log file: storm_from-jani_to-umb-gz_sparse_crowds.6-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 44.922 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:13:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956666/tmpx9ixacc6storm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956666/tmpb9r_4b82storm_from-jani_to-umb-gz_sparse_crowds.6-20_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.002s.
Time for model construction: 31.929s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956666/tmpb9r_4b82storm_from-jani_to-umb-gz_sparse_crowds.6-20_tmp_outdir_/model.umb.gz'.
Time for model export: 12.953s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 44.296s
* wallclock time: 44.889s
############################## Output files ##############################
model.umb.gz: Size of output file is 43691735 bytes