Log files for model eajs.5-250-11 and tool configuration storm_from-jani_to-umb-gz_sparse
[5.77, 5.847, 5.82, 5.81, 5.815]
Log file: storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 25.879 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:58:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956086/tmplsatfnicstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956086/tmpy8m5zqawstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_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.003s.
Time for model construction: 20.061s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956086/tmpy8m5zqawstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_outdir_/model.umb.gz'.
Time for model export: 5.770s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 25.673s
* wallclock time: 25.844s
############################## Output files ##############################
model.umb.gz: Size of output file is 21062407 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 27.347 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957029/tmpq_kbsw3bstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957029/tmpwo08ap7ystorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_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: 20.968s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957029/tmpwo08ap7ystorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_outdir_/model.umb.gz'.
Time for model export: 5.847s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 26.610s
* wallclock time: 26.832s
############################## Output files ##############################
model.umb.gz: Size of output file is 21062411 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 26.653 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957186/tmpg8eucvzzstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957186/tmp0f0ir4ggstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_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.003s.
Time for model construction: 20.786s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957186/tmp0f0ir4ggstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_outdir_/model.umb.gz'.
Time for model export: 5.820s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 26.435s
* wallclock time: 26.620s
############################## Output files ##############################
model.umb.gz: Size of output file is 21062407 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 26.558 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:31:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957430/tmp56b1m517storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957430/tmp37hve_ktstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_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.003s.
Time for model construction: 20.701s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957430/tmp37hve_ktstorm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_outdir_/model.umb.gz'.
Time for model export: 5.810s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 26.331s
* wallclock time: 26.526s
############################## Output files ##############################
model.umb.gz: Size of output file is 21062407 bytes
Log file: storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 26.606 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955345/tmpubtpqlr1storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955345/tmpb102sr91storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_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.003s.
Time for model construction: 20.747s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955345/tmpb102sr91storm_from-jani_to-umb-gz_sparse_eajs.5-250-11_tmp_outdir_/model.umb.gz'.
Time for model export: 5.815s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 26.347s
* wallclock time: 26.578s
############################## Output files ##############################
model.umb.gz: Size of output file is 21062406 bytes