Log files for model pacman.60 and tool configuration storm_from-jani_to-umb-xz_sparse
[328.442, 322.758, 360.927, 313.45, 359.198]
Log file: storm_from-jani_to-umb-xz_sparse_pacman.60_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 657.918 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:49:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957978/tmp749iwj6xstorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957978/tmp9sxwm7n8storm_from-jani_to-umb-xz_sparse_pacman.60_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: 329.397s.
--------------------------------------------------------------
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.4957978/tmp9sxwm7n8storm_from-jani_to-umb-xz_sparse_pacman.60_tmp_outdir_/model.umb.xz'.
Time for model export: 328.442s.
Performance statistics:
* peak memory usage: 3165MB
* CPU time: 655.138s
* wallclock time: 657.880s
############################## Output files ##############################
model.umb.xz: Size of output file is 68825664 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.60_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 630.150 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:33:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957503/tmpbcz4dr84storm_from-jani_to-umb-xz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957503/tmpbbmyclgfstorm_from-jani_to-umb-xz_sparse_pacman.60_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.024s.
Time for model construction: 307.288s.
--------------------------------------------------------------
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.4957503/tmpbbmyclgfstorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_outdir_/model.umb.xz'.
Time for model export: 322.758s.
Performance statistics:
* peak memory usage: 3164MB
* CPU time: 627.080s
* wallclock time: 630.120s
############################## Output files ##############################
model.umb.xz: Size of output file is 68913692 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.60_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 700.788 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955546/tmp57whx67astorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955546/tmpit9un38hstorm_from-jani_to-umb-xz_sparse_pacman.60_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: 339.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.4955546/tmpit9un38hstorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_outdir_/model.umb.xz'.
Time for model export: 360.927s.
Performance statistics:
* peak memory usage: 3165MB
* CPU time: 696.991s
* wallclock time: 700.759s
############################## Output files ##############################
model.umb.xz: Size of output file is 69003048 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.60_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 651.957 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955922/tmpfze_ula2storm_from-jani_to-umb-xz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955922/tmplybh_ptlstorm_from-jani_to-umb-xz_sparse_pacman.60_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: 338.436s.
--------------------------------------------------------------
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.4955922/tmplybh_ptlstorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_outdir_/model.umb.xz'.
Time for model export: 313.450s.
Performance statistics:
* peak memory usage: 3165MB
* CPU time: 649.333s
* wallclock time: 651.927s
############################## Output files ##############################
model.umb.xz: Size of output file is 68809624 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pacman.60_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 700.623 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:43 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958272/tmpi2oc7qzvstorm_from-jani_to-umb-xz_sparse_pacman.60_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958272/tmpihhyw8l9storm_from-jani_to-umb-xz_sparse_pacman.60_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: 341.327s.
--------------------------------------------------------------
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.4958272/tmpihhyw8l9storm_from-jani_to-umb-xz_sparse_pacman.60_tmp_outdir_/model.umb.xz'.
Time for model export: 359.198s.
Performance statistics:
* peak memory usage: 3165MB
* CPU time: 697.247s
* wallclock time: 700.566s
############################## Output files ##############################
model.umb.xz: Size of output file is 68825664 bytes