Log files for model eajs.6-300-13 and tool configuration storm_from-jani_to-umb-gz_sparse
[15.955, 15.917, 15.807, 15.824, 15.803]
Log file: storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 84.075 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:24:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957145/tmpu39dpx09storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957145/tmp6m7vyverstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_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.004s.
Time for model construction: 68.067s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957145/tmp6m7vyverstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.gz'.
Time for model export: 15.955s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 83.496s
* wallclock time: 84.051s
############################## Output files ##############################
model.umb.gz: Size of output file is 57047441 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 84.319 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:40:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957674/tmpnngiec22storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957674/tmptitslx3gstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_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.004s.
Time for model construction: 68.341s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957674/tmptitslx3gstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.gz'.
Time for model export: 15.917s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 83.607s
* wallclock time: 84.290s
############################## Output files ##############################
model.umb.gz: Size of output file is 57047459 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 84.151 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:33:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957506/tmpm1rpcavvstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957506/tmp7v_m744xstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_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.004s.
Time for model construction: 68.281s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957506/tmp7v_m744xstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.gz'.
Time for model export: 15.807s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 83.527s
* wallclock time: 84.119s
############################## Output files ##############################
model.umb.gz: Size of output file is 57047441 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 83.392 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:01:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956197/tmp99_a6hdsstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956197/tmpdqnutabzstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_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.005s.
Time for model construction: 67.157s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956197/tmpdqnutabzstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.gz'.
Time for model export: 15.824s.
Performance statistics:
* peak memory usage: 1171MB
* CPU time: 82.481s
* wallclock time: 83.011s
############################## Output files ##############################
model.umb.gz: Size of output file is 57047441 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 84.731 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.4955734/tmpcd4_m88_storm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955734/tmpselmwx3kstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_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.004s.
Time for model construction: 68.871s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955734/tmpselmwx3kstorm_from-jani_to-umb-gz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.gz'.
Time for model export: 15.803s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 84.122s
* wallclock time: 84.703s
############################## Output files ##############################
model.umb.gz: Size of output file is 57047441 bytes