Log files for model csma.4-2 and tool configuration storm_from-jani_to-umb-xz_sparse
[6.454, 6.772, 7.11, 6.402, 6.457]
Log file: storm_from-jani_to-umb-xz_sparse_csma.4-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 9.303 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:22:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957068/tmp3r0baknystorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957068/tmpxguxufpostorm_from-jani_to-umb-xz_sparse_csma.4-2_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: 2.806s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957068/tmpxguxufpostorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_outdir_/model.umb.xz'.
Time for model export: 6.454s.
Performance statistics:
* peak memory usage: 203MB
* CPU time: 9.197s
* wallclock time: 9.265s
############################## Output files ##############################
model.umb.xz: Size of output file is 1493532 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.4-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 9.652 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958399/tmp_uq0dugtstorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958399/tmphpjfuql5storm_from-jani_to-umb-xz_sparse_csma.4-2_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: 2.845s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958399/tmphpjfuql5storm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_outdir_/model.umb.xz'.
Time for model export: 6.772s.
Performance statistics:
* peak memory usage: 203MB
* CPU time: 9.559s
* wallclock time: 9.621s
############################## Output files ##############################
model.umb.xz: Size of output file is 1501936 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.4-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 10.069 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:05:55 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956401/tmpfm6c0339storm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956401/tmp6avlce9jstorm_from-jani_to-umb-xz_sparse_csma.4-2_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: 2.925s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956401/tmp6avlce9jstorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_outdir_/model.umb.xz'.
Time for model export: 7.110s.
Performance statistics:
* peak memory usage: 203MB
* CPU time: 9.963s
* wallclock time: 10.040s
############################## Output files ##############################
model.umb.xz: Size of output file is 1496712 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.4-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 9.249 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955899/tmpsnb1_vazstorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955899/tmpbodb5eikstorm_from-jani_to-umb-xz_sparse_csma.4-2_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: 2.819s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955899/tmpbodb5eikstorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_outdir_/model.umb.xz'.
Time for model export: 6.402s.
Performance statistics:
* peak memory usage: 203MB
* CPU time: 9.173s
* wallclock time: 9.226s
############################## Output files ##############################
model.umb.xz: Size of output file is 1516280 bytes
Log file: storm_from-jani_to-umb-xz_sparse_csma.4-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 9.289 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955203/tmp9g344lcqstorm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955203/tmpprh15dx4storm_from-jani_to-umb-xz_sparse_csma.4-2_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: 2.803s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955203/tmpprh15dx4storm_from-jani_to-umb-xz_sparse_csma.4-2_tmp_outdir_/model.umb.xz'.
Time for model export: 6.457s.
Performance statistics:
* peak memory usage: 203MB
* CPU time: 9.205s
* wallclock time: 9.265s
############################## Output files ##############################
model.umb.xz: Size of output file is 1493776 bytes