Log files for model pacman.100 and tool configuration storm_from-jani_to-umb-xz_sparse
[645.429, 645.053, 734.281, 644.516, 764.547]
Log file: storm_from-jani_to-umb-xz_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 1346.976 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957485/tmp98oksyl5storm_from-jani_to-umb-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957485/tmpnb613litstorm_from-jani_to-umb-xz_sparse_pacman.100_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.027s.
Time for model construction: 700.736s.
--------------------------------------------------------------
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.4957485/tmpnb613litstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_outdir_/model.umb.xz'.
Time for model export: 645.429s.
Performance statistics:
* peak memory usage: 6329MB
* CPU time: 1340.814s
* wallclock time: 1346.212s
############################## Output files ##############################
model.umb.xz: Size of output file is 140903044 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 1343.667 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:55:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958220/tmpqyww51qvstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958220/tmpzl6o_oplstorm_from-jani_to-umb-xz_sparse_pacman.100_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.025s.
Time for model construction: 698.539s.
--------------------------------------------------------------
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.4958220/tmpzl6o_oplstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_outdir_/model.umb.xz'.
Time for model export: 645.053s.
Performance statistics:
* peak memory usage: 6329MB
* CPU time: 1337.357s
* wallclock time: 1343.636s
############################## Output files ##############################
model.umb.xz: Size of output file is 140903044 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 1432.926 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955207/tmpecyr8luqstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955207/tmpz5r9qtkestorm_from-jani_to-umb-xz_sparse_pacman.100_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.025s.
Time for model construction: 698.568s.
--------------------------------------------------------------
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.4955207/tmpz5r9qtkestorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_outdir_/model.umb.xz'.
Time for model export: 734.281s.
Performance statistics:
* peak memory usage: 6329MB
* CPU time: 1426.106s
* wallclock time: 1432.893s
############################## Output files ##############################
model.umb.xz: Size of output file is 140903044 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 1335.434 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.4956690/tmpfqau9n5fstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956690/tmpna2n357dstorm_from-jani_to-umb-xz_sparse_pacman.100_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.026s.
Time for model construction: 690.835s.
--------------------------------------------------------------
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.4956690/tmpna2n357dstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_outdir_/model.umb.xz'.
Time for model export: 644.516s.
Performance statistics:
* peak memory usage: 6329MB
* CPU time: 1330.314s
* wallclock time: 1335.395s
############################## Output files ##############################
model.umb.xz: Size of output file is 140903044 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 1464.930 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956943/tmp9v01412jstorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956943/tmpd9thsb9ustorm_from-jani_to-umb-xz_sparse_pacman.100_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.026s.
Time for model construction: 700.297s.
--------------------------------------------------------------
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.4956943/tmpd9thsb9ustorm_from-jani_to-umb-xz_sparse_pacman.100_tmp_outdir_/model.umb.xz'.
Time for model export: 764.547s.
Performance statistics:
* peak memory usage: 6329MB
* CPU time: 1459.014s
* wallclock time: 1464.890s
############################## Output files ##############################
model.umb.xz: Size of output file is 140903044 bytes