Log files for model eajs.6-300-13 and tool configuration storm_from-jani_to-drn-gz_sparse
[18.928, 18.88, 18.999, 16.769, 18.605]
Log file: storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 86.009 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958520/tmpg0hnlqmastorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958520/tmpqu0jcdozstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 67.021s.
--------------------------------------------------------------
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.4958520/tmpqu0jcdozstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz'.
Time for model export: 18.928s.
Performance statistics:
* peak memory usage: 1946MB
* CPU time: 85.313s
* wallclock time: 85.977s
############################## Output files ##############################
model.drn.gz: Size of output file is 85917416 bytes
Log file: storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 85.707 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.4955736/tmpkdqazy00storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955736/tmpc7jiow7fstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 66.770s.
--------------------------------------------------------------
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.4955736/tmpc7jiow7fstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz'.
Time for model export: 18.880s.
Performance statistics:
* peak memory usage: 1946MB
* CPU time: 85.006s
* wallclock time: 85.679s
############################## Output files ##############################
model.drn.gz: Size of output file is 85917416 bytes
Log file: storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 86.078 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:37:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957583/tmpezaj9badstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957583/tmpcqnjxybvstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 67.008s.
--------------------------------------------------------------
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.4957583/tmpcqnjxybvstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz'.
Time for model export: 18.999s.
Performance statistics:
* peak memory usage: 1946MB
* CPU time: 85.357s
* wallclock time: 86.036s
############################## Output files ##############################
model.drn.gz: Size of output file is 85917416 bytes
Log file: storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 75.664 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955322/tmpq27_o0xmstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955322/tmp1b9tk5jnstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 58.846s.
--------------------------------------------------------------
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.4955322/tmp1b9tk5jnstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz'.
Time for model export: 16.769s.
Performance statistics:
* peak memory usage: 1946MB
* CPU time: 74.995s
* wallclock time: 75.642s
############################## Output files ##############################
model.drn.gz: Size of output file is 85917416 bytes
Log file: storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 84.892 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:01:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956231/tmpk4nd0l5bstorm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956231/tmpmnf2r449storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 66.228s.
--------------------------------------------------------------
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.4956231/tmpmnf2r449storm_from-jani_to-drn-gz_sparse_eajs.6-300-13_tmp_outdir_/model.drn.gz'.
Time for model export: 18.605s.
Performance statistics:
* peak memory usage: 1944MB
* CPU time: 84.090s
* wallclock time: 84.864s
############################## Output files ##############################
model.drn.gz: Size of output file is 85917416 bytes