Log files for model eajs.5-250-11 and tool configuration storm_from-jani_to-umb_sparse
[0.139, 0.134, 0.147, 0.205, 0.149]
Log file: storm_from-jani_to-umb_sparse_eajs.5-250-11_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 20.420 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957094/tmpeeo7l25bstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957094/tmpvgb16vicstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 20.238s.
--------------------------------------------------------------
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.4957094/tmpvgb16vicstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb'.
Time for model export: 0.139s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 20.195s
* wallclock time: 20.391s
############################## Output files ##############################
model.umb: Size of output file is 205295104 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.5-250-11_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 18.701 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:50:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955752/tmpj7cne88estorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955752/tmpylfqtg9ostorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 18.524s.
--------------------------------------------------------------
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.4955752/tmpylfqtg9ostorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb'.
Time for model export: 0.134s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 18.494s
* wallclock time: 18.672s
############################## Output files ##############################
model.umb: Size of output file is 205295104 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.5-250-11_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 21.176 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955534/tmpqdlq_mnzstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955534/tmpbzmzzdl5storm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.990s.
--------------------------------------------------------------
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.4955534/tmpbzmzzdl5storm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb'.
Time for model export: 0.147s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 20.924s
* wallclock time: 21.150s
############################## Output files ##############################
model.umb: Size of output file is 205295104 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.5-250-11_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 17.967 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:38:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955304/tmpijnp2xn8storm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955304/tmpiylmao6astorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 17.716s.
--------------------------------------------------------------
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.4955304/tmpiylmao6astorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb'.
Time for model export: 0.205s.
Performance statistics:
* peak memory usage: 464MB
* CPU time: 17.616s
* wallclock time: 17.947s
############################## Output files ##############################
model.umb: Size of output file is 205295104 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.5-250-11_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 20.942 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:43:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955520/tmp1yd_vzhvstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955520/tmpjn4zitmcstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.751s.
--------------------------------------------------------------
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.4955520/tmpjn4zitmcstorm_from-jani_to-umb_sparse_eajs.5-250-11_tmp_outdir_/model.umb'.
Time for model export: 0.149s.
Performance statistics:
* peak memory usage: 465MB
* CPU time: 20.671s
* wallclock time: 20.915s
############################## Output files ##############################
model.umb: Size of output file is 205295104 bytes