Log files for model eajs.6-300-13 and tool configuration storm_from-jani_to-umb-xz_sparse
[89.911, 85.074, 85.094, 96.846, 88.273]
Log file: storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 158.207 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954991/tmpl14r44xzstorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954991/tmprmsn3z1tstorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 68.235s.
--------------------------------------------------------------
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.4954991/tmprmsn3z1tstorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz'.
Time for model export: 89.911s.
Performance statistics:
* peak memory usage: 1237MB
* CPU time: 157.358s
* wallclock time: 158.175s
############################## Output files ##############################
model.umb.xz: Size of output file is 16344096 bytes
Log file: storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 152.085 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955154/tmpytzywfi6storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955154/tmpgq7vcztistorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 66.951s.
--------------------------------------------------------------
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.4955154/tmpgq7vcztistorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz'.
Time for model export: 85.074s.
Performance statistics:
* peak memory usage: 1237MB
* CPU time: 151.190s
* wallclock time: 152.053s
############################## Output files ##############################
model.umb.xz: Size of output file is 16344100 bytes
Log file: storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 152.683 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955077/tmpbdwelj9estorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955077/tmp_ib385pastorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 66.893s.
--------------------------------------------------------------
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.4955077/tmp_ib385pastorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz'.
Time for model export: 85.094s.
Performance statistics:
* peak memory usage: 1237MB
* CPU time: 151.270s
* wallclock time: 152.016s
############################## Output files ##############################
model.umb.xz: Size of output file is 16344096 bytes
Log file: storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 165.010 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956894/tmpy5_r_uz5storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956894/tmpjwq82j4xstorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 68.099s.
--------------------------------------------------------------
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.4956894/tmpjwq82j4xstorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz'.
Time for model export: 96.846s.
Performance statistics:
* peak memory usage: 1237MB
* CPU time: 164.131s
* wallclock time: 164.979s
############################## Output files ##############################
model.umb.xz: Size of output file is 16347596 bytes
Log file: storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 156.492 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958385/tmpbxrbpfk6storm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958385/tmph0h39jbystorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 68.162s.
--------------------------------------------------------------
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.4958385/tmph0h39jbystorm_from-jani_to-umb-xz_sparse_eajs.6-300-13_tmp_outdir_/model.umb.xz'.
Time for model export: 88.273s.
Performance statistics:
* peak memory usage: 1237MB
* CPU time: 155.101s
* wallclock time: 156.464s
############################## Output files ##############################
model.umb.xz: Size of output file is 16334276 bytes