Log files for model kanban.5 and tool configuration storm_from-jani_to-drn-gz_sparse
[23.438, 23.398, 23.414, 23.346, 23.358]
Log file: storm_from-jani_to-drn-gz_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 38.942 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956171/tmpek0ew_93storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956171/tmpl7cwua4wstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz drn --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.467s.
--------------------------------------------------------------
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.4956171/tmpl7cwua4wstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz'.
Time for model export: 23.438s.
Performance statistics:
* peak memory usage: 1436MB
* CPU time: 38.404s
* wallclock time: 38.914s
############################## Output files ##############################
model.drn.gz: Size of output file is 83850262 bytes
Log file: storm_from-jani_to-drn-gz_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 37.993 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958256/tmp9b08t2agstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958256/tmp_kg3rns_storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz drn --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.554s.
--------------------------------------------------------------
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.4958256/tmp_kg3rns_storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz'.
Time for model export: 23.398s.
Performance statistics:
* peak memory usage: 1436MB
* CPU time: 37.562s
* wallclock time: 37.959s
############################## Output files ##############################
model.drn.gz: Size of output file is 83850262 bytes
Log file: storm_from-jani_to-drn-gz_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 39.267 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.4957709/tmp51jhdpk6storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957709/tmpveskxacjstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz drn --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.820s.
--------------------------------------------------------------
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.4957709/tmpveskxacjstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz'.
Time for model export: 23.414s.
Performance statistics:
* peak memory usage: 1436MB
* CPU time: 38.739s
* wallclock time: 39.242s
############################## Output files ##############################
model.drn.gz: Size of output file is 83850262 bytes
Log file: storm_from-jani_to-drn-gz_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 38.173 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957938/tmpmvp6_0fnstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957938/tmp6deoi0m5storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz drn --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.788s.
--------------------------------------------------------------
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.4957938/tmp6deoi0m5storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz'.
Time for model export: 23.346s.
Performance statistics:
* peak memory usage: 1435MB
* CPU time: 37.756s
* wallclock time: 38.142s
############################## Output files ##############################
model.drn.gz: Size of output file is 83850262 bytes
Log file: storm_from-jani_to-drn-gz_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 38.019 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:06 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954950/tmpbzlcafq_storm_from-jani_to-drn-gz_sparse_kanban.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954950/tmpf96thj6nstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz drn --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.625s.
--------------------------------------------------------------
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.4954950/tmpf96thj6nstorm_from-jani_to-drn-gz_sparse_kanban.5_tmp_outdir_/model.drn.gz'.
Time for model export: 23.358s.
Performance statistics:
* peak memory usage: 1438MB
* CPU time: 37.560s
* wallclock time: 37.990s
############################## Output files ##############################
model.drn.gz: Size of output file is 83850262 bytes