Log files for model kanban.5 and tool configuration storm_from-jani_to-umb-xz_sparse
[114.706, 133.763, 134.074, 109.548, 125.897]
Log file: storm_from-jani_to-umb-xz_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 129.239 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:05:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956368/tmp8nr61thsstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956368/tmp1r21mkn8storm_from-jani_to-umb-xz_sparse_kanban.5_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.001s.
Time for model construction: 14.496s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956368/tmp1r21mkn8storm_from-jani_to-umb-xz_sparse_kanban.5_tmp_outdir_/model.umb.xz'.
Time for model export: 114.706s.
Performance statistics:
* peak memory usage: 1018MB
* CPU time: 128.579s
* wallclock time: 129.209s
############################## Output files ##############################
model.umb.xz: Size of output file is 27945172 bytes
Log file: storm_from-jani_to-umb-xz_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 149.369 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:05:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956362/tmpjyyos6xtstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956362/tmpa3vpjn3vstorm_from-jani_to-umb-xz_sparse_kanban.5_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.001s.
Time for model construction: 15.566s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956362/tmpa3vpjn3vstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_outdir_/model.umb.xz'.
Time for model export: 133.763s.
Performance statistics:
* peak memory usage: 1017MB
* CPU time: 148.534s
* wallclock time: 149.337s
############################## Output files ##############################
model.umb.xz: Size of output file is 27943068 bytes
Log file: storm_from-jani_to-umb-xz_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 150.670 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957177/tmp_r43pkzrstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957177/tmp_91j5dgwstorm_from-jani_to-umb-xz_sparse_kanban.5_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: 15.946s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957177/tmp_91j5dgwstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_outdir_/model.umb.xz'.
Time for model export: 134.074s.
Performance statistics:
* peak memory usage: 1018MB
* CPU time: 149.297s
* wallclock time: 150.030s
############################## Output files ##############################
model.umb.xz: Size of output file is 27938408 bytes
Log file: storm_from-jani_to-umb-xz_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 124.196 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:46:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957895/tmplp501n2_storm_from-jani_to-umb-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957895/tmpyw7do9ksstorm_from-jani_to-umb-xz_sparse_kanban.5_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.001s.
Time for model construction: 14.609s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957895/tmpyw7do9ksstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_outdir_/model.umb.xz'.
Time for model export: 109.548s.
Performance statistics:
* peak memory usage: 1018MB
* CPU time: 123.609s
* wallclock time: 124.165s
############################## Output files ##############################
model.umb.xz: Size of output file is 27945360 bytes
Log file: storm_from-jani_to-umb-xz_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 139.896 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954897/tmpt04ns0gpstorm_from-jani_to-umb-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954897/tmpipudr5y8storm_from-jani_to-umb-xz_sparse_kanban.5_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.001s.
Time for model construction: 13.966s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954897/tmpipudr5y8storm_from-jani_to-umb-xz_sparse_kanban.5_tmp_outdir_/model.umb.xz'.
Time for model export: 125.897s.
Performance statistics:
* peak memory usage: 1017MB
* CPU time: 139.309s
* wallclock time: 139.872s
############################## Output files ##############################
model.umb.xz: Size of output file is 27938408 bytes