Log files for model kanban.5 and tool configuration storm_from-jani_to-umb-gz_sparse
[15.011, 15.902, 15.099, 15.038, 15.956]
Log file: storm_from-jani_to-umb-gz_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 29.566 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:03:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955244/tmpsax091y7storm_from-jani_to-umb-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955244/tmpgf7xtlr5storm_from-jani_to-umb-gz_sparse_kanban.5_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.001s.
Time for model construction: 14.519s.
--------------------------------------------------------------
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.4955244/tmpgf7xtlr5storm_from-jani_to-umb-gz_sparse_kanban.5_tmp_outdir_/model.umb.gz'.
Time for model export: 15.011s.
Performance statistics:
* peak memory usage: 934MB
* CPU time: 29.273s
* wallclock time: 29.538s
############################## Output files ##############################
model.umb.gz: Size of output file is 79361515 bytes
Log file: storm_from-jani_to-umb-gz_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 31.236 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:59:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956133/tmp6w1zq8clstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956133/tmpmqc_xyt9storm_from-jani_to-umb-gz_sparse_kanban.5_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.001s.
Time for model construction: 15.297s.
--------------------------------------------------------------
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.4956133/tmpmqc_xyt9storm_from-jani_to-umb-gz_sparse_kanban.5_tmp_outdir_/model.umb.gz'.
Time for model export: 15.902s.
Performance statistics:
* peak memory usage: 934MB
* CPU time: 30.938s
* wallclock time: 31.207s
############################## Output files ##############################
model.umb.gz: Size of output file is 79361514 bytes
Log file: storm_from-jani_to-umb-gz_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 30.740 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956182/tmprxigy0kzstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956182/tmpf0ln9lyfstorm_from-jani_to-umb-gz_sparse_kanban.5_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.001s.
Time for model construction: 15.604s.
--------------------------------------------------------------
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.4956182/tmpf0ln9lyfstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_outdir_/model.umb.gz'.
Time for model export: 15.099s.
Performance statistics:
* peak memory usage: 935MB
* CPU time: 30.344s
* wallclock time: 30.712s
############################## Output files ##############################
model.umb.gz: Size of output file is 79361514 bytes
Log file: storm_from-jani_to-umb-gz_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 30.770 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:55:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955995/tmp9o14y6ebstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955995/tmpdi7iewotstorm_from-jani_to-umb-gz_sparse_kanban.5_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.001s.
Time for model construction: 15.684s.
--------------------------------------------------------------
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.4955995/tmpdi7iewotstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_outdir_/model.umb.gz'.
Time for model export: 15.038s.
Performance statistics:
* peak memory usage: 935MB
* CPU time: 30.411s
* wallclock time: 30.732s
############################## Output files ##############################
model.umb.gz: Size of output file is 79361514 bytes
Log file: storm_from-jani_to-umb-gz_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 32.337 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:15:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956761/tmpsz9lryhlstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956761/tmpde6yh0xmstorm_from-jani_to-umb-gz_sparse_kanban.5_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.001s.
Time for model construction: 16.339s.
--------------------------------------------------------------
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.4956761/tmpde6yh0xmstorm_from-jani_to-umb-gz_sparse_kanban.5_tmp_outdir_/model.umb.gz'.
Time for model export: 15.956s.
Performance statistics:
* peak memory usage: 934MB
* CPU time: 31.933s
* wallclock time: 32.304s
############################## Output files ##############################
model.umb.gz: Size of output file is 79361514 bytes