Log files for model pacman.100 and tool configuration storm_from-jani_to-drn_sparse
[41.908, 36.84, 42.222, 41.681, 42.366]
Log file: storm_from-jani_to-drn_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 744.684 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:51:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955834/tmpytryy249storm_from-jani_to-drn_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955834/tmp8hjy9d42storm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 702.701s.
--------------------------------------------------------------
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.4955834/tmp8hjy9d42storm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn'.
Time for model export: 41.908s.
Performance statistics:
* peak memory usage: 4735MB
* CPU time: 739.819s
* wallclock time: 744.654s
############################## Output files ##############################
model.drn: Size of output file is 3887749356 bytes
Log file: storm_from-jani_to-drn_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 626.602 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:38:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957635/tmpv8l7o2i8storm_from-jani_to-drn_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957635/tmpyq8eapolstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 589.678s.
--------------------------------------------------------------
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.4957635/tmpyq8eapolstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn'.
Time for model export: 36.840s.
Performance statistics:
* peak memory usage: 4735MB
* CPU time: 622.929s
* wallclock time: 626.569s
############################## Output files ##############################
model.drn: Size of output file is 3887749356 bytes
Log file: storm_from-jani_to-drn_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 743.143 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955949/tmpqhm8jpqnstorm_from-jani_to-drn_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955949/tmpauj3hijvstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 700.848s.
--------------------------------------------------------------
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.4955949/tmpauj3hijvstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn'.
Time for model export: 42.222s.
Performance statistics:
* peak memory usage: 4735MB
* CPU time: 738.037s
* wallclock time: 743.116s
############################## Output files ##############################
model.drn: Size of output file is 3887749356 bytes
Log file: storm_from-jani_to-drn_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 731.271 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957362/tmp7eq2nsdsstorm_from-jani_to-drn_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957362/tmpzat3ut0cstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 689.501s.
--------------------------------------------------------------
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.4957362/tmpzat3ut0cstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn'.
Time for model export: 41.681s.
Performance statistics:
* peak memory usage: 4735MB
* CPU time: 727.039s
* wallclock time: 731.227s
############################## Output files ##############################
model.drn: Size of output file is 3887749356 bytes
Log file: storm_from-jani_to-drn_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 746.006 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:42:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957771/tmprcdjw4b5storm_from-jani_to-drn_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957771/tmp240p6ttrstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 703.564s.
--------------------------------------------------------------
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.4957771/tmp240p6ttrstorm_from-jani_to-drn_sparse_pacman.100_tmp_outdir_/model.drn'.
Time for model export: 42.366s.
Performance statistics:
* peak memory usage: 4735MB
* CPU time: 740.885s
* wallclock time: 745.976s
############################## Output files ##############################
model.drn: Size of output file is 3887749356 bytes