Log files for model kanban.5 and tool configuration storm_from-jani_to-drn-xz_sparse
[294.042, 269.998, 330.843, 244.664, 256.106]
Log file: storm_from-jani_to-drn-xz_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 309.246 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958128/tmp9sspmujostorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958128/tmpeegiaa5lstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz drn --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.169s.
--------------------------------------------------------------
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.4958128/tmpeegiaa5lstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz'.
Time for model export: 294.042s.
Performance statistics:
* peak memory usage: 1516MB
* CPU time: 307.983s
* wallclock time: 309.219s
############################## Output files ##############################
model.drn.xz: Size of output file is 44605080 bytes
Log file: storm_from-jani_to-drn-xz_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 284.898 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:40:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957696/tmpqu8rqwq2storm_from-jani_to-drn-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957696/tmp8wexd05fstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz drn --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.863s.
--------------------------------------------------------------
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.4957696/tmp8wexd05fstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz'.
Time for model export: 269.998s.
Performance statistics:
* peak memory usage: 1518MB
* CPU time: 283.718s
* wallclock time: 284.869s
############################## Output files ##############################
model.drn.xz: Size of output file is 44605080 bytes
Log file: storm_from-jani_to-drn-xz_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 346.526 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:39 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956592/tmpedx34g1cstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956592/tmpmesjdl_pstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz drn --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.641s.
--------------------------------------------------------------
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.4956592/tmpmesjdl_pstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz'.
Time for model export: 330.843s.
Performance statistics:
* peak memory usage: 1516MB
* CPU time: 345.024s
* wallclock time: 346.492s
############################## Output files ##############################
model.drn.xz: Size of output file is 44605080 bytes
Log file: storm_from-jani_to-drn-xz_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 259.564 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:09:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956559/tmp55oigmsistorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956559/tmpeuwvlg2ystorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz drn --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.860s.
--------------------------------------------------------------
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.4956559/tmpeuwvlg2ystorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz'.
Time for model export: 244.664s.
Performance statistics:
* peak memory usage: 1518MB
* CPU time: 258.610s
* wallclock time: 259.533s
############################## Output files ##############################
model.drn.xz: Size of output file is 44605080 bytes
Log file: storm_from-jani_to-drn-xz_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 271.034 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:37:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957573/tmpw0q0d7fgstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957573/tmpduujiy3kstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz drn --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.891s.
--------------------------------------------------------------
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.4957573/tmpduujiy3kstorm_from-jani_to-drn-xz_sparse_kanban.5_tmp_outdir_/model.drn.xz'.
Time for model export: 256.106s.
Performance statistics:
* peak memory usage: 1516MB
* CPU time: 269.929s
* wallclock time: 271.005s
############################## Output files ##############################
model.drn.xz: Size of output file is 44605080 bytes