Log files for model pacman.60 and tool configuration storm_from-jani_to-umb-gz_sparse
[66.466, 66.226, 66.148, 66.156, 66.06]
Log file: storm_from-jani_to-umb-gz_sparse_pacman.60_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 403.896 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957934/tmp69kiosn1storm_from-jani_to-umb-gz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957934/tmpx23u8g9istorm_from-jani_to-umb-gz_sparse_pacman.60_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.027s.
Time for model construction: 337.356s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957934/tmpx23u8g9istorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_outdir_/model.umb.gz'.
Time for model export: 66.466s.
Performance statistics:
* peak memory usage: 3076MB
* CPU time: 401.918s
* wallclock time: 403.862s
############################## Output files ##############################
model.umb.gz: Size of output file is 236200389 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.60_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 407.594 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:27:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954864/tmp31rcifkustorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954864/tmp5bhn31knstorm_from-jani_to-umb-gz_sparse_pacman.60_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.031s.
Time for model construction: 341.291s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954864/tmp5bhn31knstorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_outdir_/model.umb.gz'.
Time for model export: 66.226s.
Performance statistics:
* peak memory usage: 3077MB
* CPU time: 405.526s
* wallclock time: 407.562s
############################## Output files ##############################
model.umb.gz: Size of output file is 236200443 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.60_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 408.008 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.4956087/tmpduq06cp9storm_from-jani_to-umb-gz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956087/tmp1cve2484storm_from-jani_to-umb-gz_sparse_pacman.60_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.026s.
Time for model construction: 341.792s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956087/tmp1cve2484storm_from-jani_to-umb-gz_sparse_pacman.60_tmp_outdir_/model.umb.gz'.
Time for model export: 66.148s.
Performance statistics:
* peak memory usage: 3076MB
* CPU time: 405.667s
* wallclock time: 407.979s
############################## Output files ##############################
model.umb.gz: Size of output file is 236200443 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.60_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 402.894 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:55:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955976/tmp8gvsklhqstorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955976/tmpwi7x3n8ystorm_from-jani_to-umb-gz_sparse_pacman.60_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.027s.
Time for model construction: 336.665s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955976/tmpwi7x3n8ystorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_outdir_/model.umb.gz'.
Time for model export: 66.156s.
Performance statistics:
* peak memory usage: 3076MB
* CPU time: 400.859s
* wallclock time: 402.860s
############################## Output files ##############################
model.umb.gz: Size of output file is 236200389 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.60_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 405.156 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.4958026/tmpqrkg4r4vstorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958026/tmpo_dus14dstorm_from-jani_to-umb-gz_sparse_pacman.60_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.026s.
Time for model construction: 339.026s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958026/tmpo_dus14dstorm_from-jani_to-umb-gz_sparse_pacman.60_tmp_outdir_/model.umb.gz'.
Time for model export: 66.060s.
Performance statistics:
* peak memory usage: 3076MB
* CPU time: 403.036s
* wallclock time: 405.126s
############################## Output files ##############################
model.umb.gz: Size of output file is 236200443 bytes