Log files for model eajs.6-300-13 and tool configuration storm_from-jani_to-umb_sparse
[0.501, 0.492, 0.51, 0.38, 0.378]
Log file: storm_from-jani_to-umb_sparse_eajs.6-300-13_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 69.457 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:59:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956126/tmpt5p5rtiestorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956126/tmpuh65pn5astorm_from-jani_to-umb_sparse_eajs.6-300-13_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: 68.886s.
--------------------------------------------------------------
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.4956126/tmpuh65pn5astorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb'.
Time for model export: 0.501s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 68.614s
* wallclock time: 69.423s
############################## Output files ##############################
model.umb: Size of output file is 572114944 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.6-300-13_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 68.859 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:43:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957797/tmp3mgcp4yxstorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957797/tmpwqfpilmmstorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 68.296s.
--------------------------------------------------------------
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.4957797/tmpwqfpilmmstorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb'.
Time for model export: 0.492s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 68.090s
* wallclock time: 68.824s
############################## Output files ##############################
model.umb: Size of output file is 572114944 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.6-300-13_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 69.137 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:05 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956573/tmpoznmid8qstorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956573/tmpauzcs12rstorm_from-jani_to-umb_sparse_eajs.6-300-13_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: 68.552s.
--------------------------------------------------------------
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.4956573/tmpauzcs12rstorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb'.
Time for model export: 0.510s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 68.343s
* wallclock time: 69.101s
############################## Output files ##############################
model.umb: Size of output file is 572114944 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.6-300-13_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 67.477 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958027/tmpom91tv58storm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958027/tmp2t46uoristorm_from-jani_to-umb_sparse_eajs.6-300-13_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: 67.043s.
--------------------------------------------------------------
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.4958027/tmp2t46uoristorm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb'.
Time for model export: 0.380s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 66.857s
* wallclock time: 67.451s
############################## Output files ##############################
model.umb: Size of output file is 572114944 bytes
Log file: storm_from-jani_to-umb_sparse_eajs.6-300-13_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 67.692 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958436/tmp96mxc3n3storm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958436/tmpf5drj0a_storm_from-jani_to-umb_sparse_eajs.6-300-13_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: 67.247s.
--------------------------------------------------------------
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.4958436/tmpf5drj0a_storm_from-jani_to-umb_sparse_eajs.6-300-13_tmp_outdir_/model.umb'.
Time for model export: 0.378s.
Performance statistics:
* peak memory usage: 1172MB
* CPU time: 67.093s
* wallclock time: 67.654s
############################## Output files ##############################
model.umb: Size of output file is 572114944 bytes