Log files for model mapk-cascade.4-30 and tool configuration storm_from-jani_to-umb_sparse
[0.012, 0.011, 0.011, 0.015, 0.011]
Log file: storm_from-jani_to-umb_sparse_mapk-cascade.4-30_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 0.924 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:40:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955399/tmpzladqobbstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955399/tmpu29knpf0storm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.880s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955399/tmpu29knpf0storm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb'.
Time for model export: 0.012s.
Performance statistics:
* peak memory usage: 69MB
* CPU time: 0.887s
* wallclock time: 0.897s
############################## Output files ##############################
model.umb: Size of output file is 17015296 bytes
Log file: storm_from-jani_to-umb_sparse_mapk-cascade.4-30_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 0.927 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955065/tmpwmddz6bostorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955065/tmpnn8v1igfstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.882s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955065/tmpnn8v1igfstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb'.
Time for model export: 0.011s.
Performance statistics:
* peak memory usage: 70MB
* CPU time: 0.892s
* wallclock time: 0.898s
############################## Output files ##############################
model.umb: Size of output file is 17015296 bytes
Log file: storm_from-jani_to-umb_sparse_mapk-cascade.4-30_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 0.923 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:50:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958005/tmpvrxop7hfstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958005/tmpx202jnjestorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.878s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958005/tmpx202jnjestorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb'.
Time for model export: 0.011s.
Performance statistics:
* peak memory usage: 69MB
* CPU time: 0.886s
* wallclock time: 0.894s
############################## Output files ##############################
model.umb: Size of output file is 17015296 bytes
Log file: storm_from-jani_to-umb_sparse_mapk-cascade.4-30_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 1.111 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:52 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958160/tmpjqaj4mv1storm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958160/tmp1bywt_dlstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.055s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958160/tmp1bywt_dlstorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb'.
Time for model export: 0.015s.
Performance statistics:
* peak memory usage: 69MB
* CPU time: 1.058s
* wallclock time: 1.077s
############################## Output files ##############################
model.umb: Size of output file is 17015296 bytes
Log file: storm_from-jani_to-umb_sparse_mapk-cascade.4-30_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 0.927 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958035/tmp1iqmrkhistorm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958035/tmpszopfwv3storm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.888s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958035/tmpszopfwv3storm_from-jani_to-umb_sparse_mapk-cascade.4-30_tmp_outdir_/model.umb'.
Time for model export: 0.011s.
Performance statistics:
* peak memory usage: 70MB
* CPU time: 0.891s
* wallclock time: 0.904s
############################## Output files ##############################
model.umb: Size of output file is 17015296 bytes