Log files for model herman.15 and tool configuration storm_from-jani_to-umb_sparse
[0.147, 0.15, 0.163, 0.172, 0.153]
Log file: storm_from-jani_to-umb_sparse_herman.15_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 35.439 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:56:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956013/tmposxzkv_9storm_from-jani_to-umb_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956013/tmpbovs0bhgstorm_from-jani_to-umb_sparse_herman.15_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: 35.262s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956013/tmpbovs0bhgstorm_from-jani_to-umb_sparse_herman.15_tmp_outdir_/model.umb'.
Time for model export: 0.147s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 35.104s
* wallclock time: 35.413s
############################## Output files ##############################
model.umb: Size of output file is 230131712 bytes
Log file: storm_from-jani_to-umb_sparse_herman.15_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 35.355 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955020/tmpyi47v74fstorm_from-jani_to-umb_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955020/tmpiv7flcjwstorm_from-jani_to-umb_sparse_herman.15_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: 35.168s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955020/tmpiv7flcjwstorm_from-jani_to-umb_sparse_herman.15_tmp_outdir_/model.umb'.
Time for model export: 0.150s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 35.069s
* wallclock time: 35.322s
############################## Output files ##############################
model.umb: Size of output file is 230131712 bytes
Log file: storm_from-jani_to-umb_sparse_herman.15_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 35.471 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.4958255/tmp00kqc6fvstorm_from-jani_to-umb_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958255/tmpo6as_8fxstorm_from-jani_to-umb_sparse_herman.15_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: 35.277s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958255/tmpo6as_8fxstorm_from-jani_to-umb_sparse_herman.15_tmp_outdir_/model.umb'.
Time for model export: 0.163s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 35.201s
* wallclock time: 35.444s
############################## Output files ##############################
model.umb: Size of output file is 230131712 bytes
Log file: storm_from-jani_to-umb_sparse_herman.15_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 37.342 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.4956172/tmpf904grurstorm_from-jani_to-umb_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956172/tmpgy7dpd1bstorm_from-jani_to-umb_sparse_herman.15_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: 37.129s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956172/tmpgy7dpd1bstorm_from-jani_to-umb_sparse_herman.15_tmp_outdir_/model.umb'.
Time for model export: 0.172s.
Performance statistics:
* peak memory usage: 462MB
* CPU time: 36.987s
* wallclock time: 37.306s
############################## Output files ##############################
model.umb: Size of output file is 230131712 bytes
Log file: storm_from-jani_to-umb_sparse_herman.15_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 36.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955160/tmpx5fatfxqstorm_from-jani_to-umb_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955160/tmp_g5hqf4pstorm_from-jani_to-umb_sparse_herman.15_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: 35.897s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955160/tmp_g5hqf4pstorm_from-jani_to-umb_sparse_herman.15_tmp_outdir_/model.umb'.
Time for model export: 0.153s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 35.805s
* wallclock time: 36.054s
############################## Output files ##############################
model.umb: Size of output file is 230131712 bytes