Log files for model csma.3-4 and tool configuration storm_from-jani_to-drn-xz_sparse
[22.842, 28.521, 22.902, 27.877, 30.073]
Log file: storm_from-jani_to-drn-xz_sparse_csma.3-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 27.593 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:42:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957781/tmpqavdblp6storm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957781/tmpxbiuuvnbstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz drn --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.716s.
--------------------------------------------------------------
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.4957781/tmpxbiuuvnbstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz'.
Time for model export: 22.842s.
Performance statistics:
* peak memory usage: 361MB
* CPU time: 27.419s
* wallclock time: 27.566s
############################## Output files ##############################
model.drn.xz: Size of output file is 2547084 bytes
Log file: storm_from-jani_to-drn-xz_sparse_csma.3-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 33.501 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955897/tmp0637gkkfstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955897/tmpxu0uheyqstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz drn --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.945s.
--------------------------------------------------------------
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.4955897/tmpxu0uheyqstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz'.
Time for model export: 28.521s.
Performance statistics:
* peak memory usage: 361MB
* CPU time: 33.285s
* wallclock time: 33.473s
############################## Output files ##############################
model.drn.xz: Size of output file is 2547084 bytes
Log file: storm_from-jani_to-drn-xz_sparse_csma.3-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 27.662 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.4955422/tmpx9b_v2q0storm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955422/tmpxahkdz7nstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz drn --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.722s.
--------------------------------------------------------------
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.4955422/tmpxahkdz7nstorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz'.
Time for model export: 22.902s.
Performance statistics:
* peak memory usage: 361MB
* CPU time: 27.511s
* wallclock time: 27.631s
############################## Output files ##############################
model.drn.xz: Size of output file is 2547084 bytes
Log file: storm_from-jani_to-drn-xz_sparse_csma.3-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 32.817 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:01:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956230/tmppkq6q771storm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956230/tmp1ndjnx8istorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz drn --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.906s.
--------------------------------------------------------------
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.4956230/tmp1ndjnx8istorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz'.
Time for model export: 27.877s.
Performance statistics:
* peak memory usage: 361MB
* CPU time: 32.614s
* wallclock time: 32.789s
############################## Output files ##############################
model.drn.xz: Size of output file is 2547084 bytes
Log file: storm_from-jani_to-drn-xz_sparse_csma.3-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 34.930 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957316/tmp799ek9_ystorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957316/tmp5q15y83ostorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz drn --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.828s.
--------------------------------------------------------------
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.4957316/tmp5q15y83ostorm_from-jani_to-drn-xz_sparse_csma.3-4_tmp_outdir_/model.drn.xz'.
Time for model export: 30.073s.
Performance statistics:
* peak memory usage: 360MB
* CPU time: 34.743s
* wallclock time: 34.907s
############################## Output files ##############################
model.drn.xz: Size of output file is 2547084 bytes