Log files for model herman.15 and tool configuration storm_from-jani_to-umb-gz_sparse
[4.012, 4.07, 3.433, 4.021, 3.956]
Log file: storm_from-jani_to-umb-gz_sparse_herman.15_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 39.253 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:30:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957394/tmpbxet8f1xstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957394/tmpalid0v9ostorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.204s.
--------------------------------------------------------------
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.4957394/tmpalid0v9ostorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz'.
Time for model export: 4.012s.
Performance statistics:
* peak memory usage: 462MB
* CPU time: 39.029s
* wallclock time: 39.220s
############################## Output files ##############################
model.umb.gz: Size of output file is 20636940 bytes
Log file: storm_from-jani_to-umb-gz_sparse_herman.15_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 40.763 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957325/tmpq5rp9krystorm_from-jani_to-umb-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957325/tmpr_qo_86nstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 36.123s.
--------------------------------------------------------------
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.4957325/tmpr_qo_86nstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz'.
Time for model export: 4.070s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 39.989s
* wallclock time: 40.197s
############################## Output files ##############################
model.umb.gz: Size of output file is 20636940 bytes
Log file: storm_from-jani_to-umb-gz_sparse_herman.15_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 34.056 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955723/tmp2c131242storm_from-jani_to-umb-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955723/tmp32d2fhabstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 30.590s.
--------------------------------------------------------------
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.4955723/tmp32d2fhabstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz'.
Time for model export: 3.433s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 33.792s
* wallclock time: 34.031s
############################## Output files ##############################
model.umb.gz: Size of output file is 20636940 bytes
Log file: storm_from-jani_to-umb-gz_sparse_herman.15_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 39.781 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:58:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956110/tmp_o447_7hstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956110/tmpsb91qdeistorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.722s.
--------------------------------------------------------------
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.4956110/tmpsb91qdeistorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz'.
Time for model export: 4.021s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 39.518s
* wallclock time: 39.747s
############################## Output files ##############################
model.umb.gz: Size of output file is 20636938 bytes
Log file: storm_from-jani_to-umb-gz_sparse_herman.15_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 39.322 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:49:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955742/tmp1xqvqmmystorm_from-jani_to-umb-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955742/tmpmm281mirstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.327s.
--------------------------------------------------------------
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.4955742/tmpmm281mirstorm_from-jani_to-umb-gz_sparse_herman.15_tmp_outdir_/model.umb.gz'.
Time for model export: 3.956s.
Performance statistics:
* peak memory usage: 463MB
* CPU time: 39.078s
* wallclock time: 39.287s
############################## Output files ##############################
model.umb.gz: Size of output file is 20636939 bytes