Log files for model polling.18-16 and tool configuration storm_from-jani_to-drn-gz_sparse
[52.231, 50.797, 50.52, 51.884, 50.576]
Log file: storm_from-jani_to-drn-gz_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 108.695 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958352/tmpdnlx8swdstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958352/tmphb37g4bjstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 56.424s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958352/tmphb37g4bjstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz'.
Time for model export: 52.231s.
Performance statistics:
* peak memory usage: 4512MB
* CPU time: 107.222s
* wallclock time: 108.664s
############################## Output files ##############################
model.drn.gz: Size of output file is 201001431 bytes
Log file: storm_from-jani_to-drn-gz_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 104.142 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955555/tmpr20gh_xjstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955555/tmpjf6hgi6jstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 53.309s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955555/tmpjf6hgi6jstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz'.
Time for model export: 50.797s.
Performance statistics:
* peak memory usage: 4512MB
* CPU time: 102.796s
* wallclock time: 104.115s
############################## Output files ##############################
model.drn.gz: Size of output file is 201001431 bytes
Log file: storm_from-jani_to-drn-gz_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 103.909 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:31:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957429/tmpey7d2pznstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957429/tmp1ayv6u28storm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 53.344s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957429/tmp1ayv6u28storm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz'.
Time for model export: 50.520s.
Performance statistics:
* peak memory usage: 4512MB
* CPU time: 102.574s
* wallclock time: 103.874s
############################## Output files ##############################
model.drn.gz: Size of output file is 201001431 bytes
Log file: storm_from-jani_to-drn-gz_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 107.495 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955941/tmpbylf5sc2storm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955941/tmpnii7azcpstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 55.573s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955941/tmpnii7azcpstorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz'.
Time for model export: 51.884s.
Performance statistics:
* peak memory usage: 4511MB
* CPU time: 105.890s
* wallclock time: 107.467s
############################## Output files ##############################
model.drn.gz: Size of output file is 201001431 bytes
Log file: storm_from-jani_to-drn-gz_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 106.440 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957187/tmphk2ojp09storm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957187/tmphdvfg9sestorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 55.819s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957187/tmphdvfg9sestorm_from-jani_to-drn-gz_sparse_polling.18-16_tmp_outdir_/model.drn.gz'.
Time for model export: 50.576s.
Performance statistics:
* peak memory usage: 4511MB
* CPU time: 104.753s
* wallclock time: 106.404s
############################## Output files ##############################
model.drn.gz: Size of output file is 201001431 bytes