Log files for model kanban.5 and tool configuration storm_from-jani_to-umb_sparse
[0.305, 0.354, 0.356, 0.496, 0.319]
Log file: storm_from-jani_to-umb_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 14.911 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955222/tmpzrw8t5_qstorm_from-jani_to-umb_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955222/tmph70kh1y_storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 14.571s.
--------------------------------------------------------------
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.4955222/tmph70kh1y_storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb'.
Time for model export: 0.305s.
Performance statistics:
* peak memory usage: 934MB
* CPU time: 14.551s
* wallclock time: 14.884s
############################## Output files ##############################
model.umb: Size of output file is 453123072 bytes
Log file: storm_from-jani_to-umb_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 17.122 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:55:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958229/tmp42a15r8qstorm_from-jani_to-umb_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958229/tmpi7kcmjsnstorm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 16.732s.
--------------------------------------------------------------
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.4958229/tmpi7kcmjsnstorm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb'.
Time for model export: 0.354s.
Performance statistics:
* peak memory usage: 935MB
* CPU time: 16.710s
* wallclock time: 17.094s
############################## Output files ##############################
model.umb: Size of output file is 453123072 bytes
Log file: storm_from-jani_to-umb_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 15.014 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.4957212/tmpctbt71g_storm_from-jani_to-umb_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957212/tmpz2j7agvvstorm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 14.624s.
--------------------------------------------------------------
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.4957212/tmpz2j7agvvstorm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb'.
Time for model export: 0.356s.
Performance statistics:
* peak memory usage: 934MB
* CPU time: 14.639s
* wallclock time: 14.989s
############################## Output files ##############################
model.umb: Size of output file is 453123072 bytes
Log file: storm_from-jani_to-umb_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 16.229 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:27:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957261/tmp5s39hw8hstorm_from-jani_to-umb_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957261/tmpzb27r6_2storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 15.693s.
--------------------------------------------------------------
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.4957261/tmpzb27r6_2storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb'.
Time for model export: 0.496s.
Performance statistics:
* peak memory usage: 935MB
* CPU time: 15.661s
* wallclock time: 16.199s
############################## Output files ##############################
model.umb: Size of output file is 453123072 bytes
Log file: storm_from-jani_to-umb_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 15.962 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956597/tmpl3t25ywdstorm_from-jani_to-umb_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956597/tmptb726f76storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb umb --compression none
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.4956597/tmptb726f76storm_from-jani_to-umb_sparse_kanban.5_tmp_outdir_/model.umb'.
Time for model export: 0.319s.
Performance statistics:
* peak memory usage: 935MB
* CPU time: 15.586s
* wallclock time: 15.931s
############################## Output files ##############################
model.umb: Size of output file is 453123072 bytes