Log files for model kanban.5 and tool configuration storm_from-jani_to-drn_sparse
[7.856, 8.047, 7.857, 8.14, 7.96]
Log file: storm_from-jani_to-drn_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 22.590 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:01:52 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958485/tmpucjbvgssstorm_from-jani_to-drn_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958485/tmpektyh6kbstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn drn --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.695s.
--------------------------------------------------------------
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.4958485/tmpektyh6kbstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn'.
Time for model export: 7.856s.
Performance statistics:
* peak memory usage: 670MB
* CPU time: 22.197s
* wallclock time: 22.559s
############################## Output files ##############################
model.drn: Size of output file is 500219443 bytes
Log file: storm_from-jani_to-drn_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 22.670 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956901/tmpn6wba0lfstorm_from-jani_to-drn_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956901/tmpaveherb5storm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn drn --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.588s.
--------------------------------------------------------------
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.4956901/tmpaveherb5storm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn'.
Time for model export: 8.047s.
Performance statistics:
* peak memory usage: 670MB
* CPU time: 22.248s
* wallclock time: 22.642s
############################## Output files ##############################
model.drn: Size of output file is 500219443 bytes
Log file: storm_from-jani_to-drn_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 22.405 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957330/tmp5mbz16qvstorm_from-jani_to-drn_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957330/tmpx0szmb2zstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 14.494s.
--------------------------------------------------------------
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.4957330/tmpx0szmb2zstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn'.
Time for model export: 7.857s.
Performance statistics:
* peak memory usage: 670MB
* CPU time: 22.000s
* wallclock time: 22.360s
############################## Output files ##############################
model.drn: Size of output file is 500219443 bytes
Log file: storm_from-jani_to-drn_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 24.001 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957459/tmp4dfo6w41storm_from-jani_to-drn_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957459/tmpwg1d8aa6storm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn drn --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.827s.
--------------------------------------------------------------
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.4957459/tmpwg1d8aa6storm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn'.
Time for model export: 8.140s.
Performance statistics:
* peak memory usage: 670MB
* CPU time: 23.549s
* wallclock time: 23.975s
############################## Output files ##############################
model.drn: Size of output file is 500219443 bytes
Log file: storm_from-jani_to-drn_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 22.853 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956337/tmp1nn2egkestorm_from-jani_to-drn_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956337/tmpucke3opgstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn drn --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.851s.
--------------------------------------------------------------
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.4956337/tmpucke3opgstorm_from-jani_to-drn_sparse_kanban.5_tmp_outdir_/model.drn'.
Time for model export: 7.960s.
Performance statistics:
* peak memory usage: 671MB
* CPU time: 22.475s
* wallclock time: 22.818s
############################## Output files ##############################
model.drn: Size of output file is 500219443 bytes