Log files for model pacman.100 and tool configuration storm_from-jani_to-umb_sparse
[2.146, 2.321, 1.994, 2.143, 2.125]
Log file: storm_from-jani_to-umb_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 694.735 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:52:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958084/tmp17zj6p38storm_from-jani_to-umb_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958084/tmp6wy8hvh8storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 692.509s.
--------------------------------------------------------------
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.4958084/tmp6wy8hvh8storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb'.
Time for model export: 2.146s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 690.594s
* wallclock time: 694.699s
############################## Output files ##############################
model.umb: Size of output file is 3226472960 bytes
Log file: storm_from-jani_to-umb_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 639.885 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955003/tmp1b6var0wstorm_from-jani_to-umb_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955003/tmp9vfhv5uwstorm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.024s.
Time for model construction: 637.494s.
--------------------------------------------------------------
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.4955003/tmp9vfhv5uwstorm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb'.
Time for model export: 2.321s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 636.011s
* wallclock time: 639.855s
############################## Output files ##############################
model.umb: Size of output file is 3226472960 bytes
Log file: storm_from-jani_to-umb_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 612.536 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955195/tmp4r3wes7bstorm_from-jani_to-umb_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955195/tmpjo121opdstorm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.023s.
Time for model construction: 610.478s.
--------------------------------------------------------------
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.4955195/tmpjo121opdstorm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb'.
Time for model export: 1.994s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 609.040s
* wallclock time: 612.512s
############################## Output files ##############################
model.umb: Size of output file is 3226472960 bytes
Log file: storm_from-jani_to-umb_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 696.004 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957030/tmpjj5_gm6xstorm_from-jani_to-umb_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957030/tmpkv0qy762storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 693.300s.
--------------------------------------------------------------
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.4957030/tmpkv0qy762storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb'.
Time for model export: 2.143s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 691.585s
* wallclock time: 695.486s
############################## Output files ##############################
model.umb: Size of output file is 3226472960 bytes
Log file: storm_from-jani_to-umb_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 698.329 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957299/tmph67p_vr3storm_from-jani_to-umb_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957299/tmpglk_o8s6storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.025s.
Time for model construction: 696.126s.
--------------------------------------------------------------
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.4957299/tmpglk_o8s6storm_from-jani_to-umb_sparse_pacman.100_tmp_outdir_/model.umb'.
Time for model export: 2.125s.
Performance statistics:
* peak memory usage: 6249MB
* CPU time: 694.130s
* wallclock time: 698.294s
############################## Output files ##############################
model.umb: Size of output file is 3226472960 bytes