Log files for model pacman.100 and tool configuration storm_from-jani_to-umb-gz_sparse
[135.563, 136.566, 136.418, 135.858, 135.398]
Log file: storm_from-jani_to-umb-gz_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 839.471 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956699/tmpjnu1xx9ystorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956699/tmp7fa687destorm_from-jani_to-umb-gz_sparse_pacman.100_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: 703.828s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956699/tmp7fa687destorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_outdir_/model.umb.gz'.
Time for model export: 135.563s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 834.905s
* wallclock time: 839.436s
############################## Output files ##############################
model.umb.gz: Size of output file is 484237881 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 835.320 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957908/tmp9i_cs1f9storm_from-jani_to-umb-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957908/tmpny_v8ccrstorm_from-jani_to-umb-gz_sparse_pacman.100_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: 698.675s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957908/tmpny_v8ccrstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_outdir_/model.umb.gz'.
Time for model export: 136.566s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 831.399s
* wallclock time: 835.288s
############################## Output files ##############################
model.umb.gz: Size of output file is 484237880 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 834.202 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:08:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956506/tmp7u1uj23qstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956506/tmp43exl5khstorm_from-jani_to-umb-gz_sparse_pacman.100_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: 697.717s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956506/tmp43exl5khstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_outdir_/model.umb.gz'.
Time for model export: 136.418s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 829.547s
* wallclock time: 834.179s
############################## Output files ##############################
model.umb.gz: Size of output file is 484237880 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 837.365 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:01:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956192/tmpeq0kl7w5storm_from-jani_to-umb-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956192/tmprat8xznsstorm_from-jani_to-umb-gz_sparse_pacman.100_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: 701.408s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956192/tmprat8xznsstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_outdir_/model.umb.gz'.
Time for model export: 135.858s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 832.415s
* wallclock time: 837.321s
############################## Output files ##############################
model.umb.gz: Size of output file is 484237830 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 839.792 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957197/tmpup37zywfstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957197/tmpisksyycsstorm_from-jani_to-umb-gz_sparse_pacman.100_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.025s.
Time for model construction: 704.314s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957197/tmpisksyycsstorm_from-jani_to-umb-gz_sparse_pacman.100_tmp_outdir_/model.umb.gz'.
Time for model export: 135.398s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 835.291s
* wallclock time: 839.755s
############################## Output files ##############################
model.umb.gz: Size of output file is 484237880 bytes