Log files for model csma.3-4 and tool configuration storm_from-jani_to-umb-xz_sparse
[11.619, 10.4, 10.394, 11.012, 11.986]
Log file: storm_from-jani_to-umb-xz_sparse_csma.3-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 16.653 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:41:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955428/tmpjs_uo070storm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955428/tmpc6slvyhxstorm_from-jani_to-umb-xz_sparse_csma.3-4_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.003s.
Time for model construction: 4.998s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955428/tmpc6slvyhxstorm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_outdir_/model.umb.xz'.
Time for model export: 11.619s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 16.501s
* wallclock time: 16.623s
############################## Output files ##############################
model.umb.xz: Size of output file is 1933352 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.3-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 15.247 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:33:32 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955098/tmpc8df510qstorm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955098/tmprl77_tl3storm_from-jani_to-umb-xz_sparse_csma.3-4_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.003s.
Time for model construction: 4.813s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955098/tmprl77_tl3storm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_outdir_/model.umb.xz'.
Time for model export: 10.400s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 15.134s
* wallclock time: 15.219s
############################## Output files ##############################
model.umb.xz: Size of output file is 1882816 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.3-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 14.966 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:02:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956252/tmpwrjtbk6zstorm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956252/tmpudq4hnk3storm_from-jani_to-umb-xz_sparse_csma.3-4_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.002s.
Time for model construction: 4.544s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956252/tmpudq4hnk3storm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_outdir_/model.umb.xz'.
Time for model export: 10.394s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 14.878s
* wallclock time: 14.944s
############################## Output files ##############################
model.umb.xz: Size of output file is 1882816 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.3-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 15.906 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957336/tmpbuuglfbfstorm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957336/tmpl5dcejfnstorm_from-jani_to-umb-xz_sparse_csma.3-4_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.003s.
Time for model construction: 4.862s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957336/tmpl5dcejfnstorm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_outdir_/model.umb.xz'.
Time for model export: 11.012s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 15.767s
* wallclock time: 15.881s
############################## Output files ##############################
model.umb.xz: Size of output file is 1924664 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.3-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 17.098 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:42:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957744/tmphbq4k3w8storm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957744/tmpxjfz0cw2storm_from-jani_to-umb-xz_sparse_csma.3-4_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.003s.
Time for model construction: 5.080s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957744/tmpxjfz0cw2storm_from-jani_to-umb-xz_sparse_csma.3-4_tmp_outdir_/model.umb.xz'.
Time for model export: 11.986s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 16.965s
* wallclock time: 17.072s
############################## Output files ##############################
model.umb.xz: Size of output file is 1919488 bytes