Log files for model polling.18-16 and tool configuration storm_from-jani_to-drn_sparse
[23.377, 23.458, 23.339, 23.944, 21.215]
Log file: storm_from-jani_to-drn_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 78.868 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955050/tmpbeig0oukstorm_from-jani_to-drn_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955050/tmpizp8vndxstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.451s.
--------------------------------------------------------------
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.4955050/tmpizp8vndxstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn'.
Time for model export: 23.377s.
Performance statistics:
* peak memory usage: 2355MB
* CPU time: 77.401s
* wallclock time: 78.840s
############################## Output files ##############################
model.drn: Size of output file is 1979134951 bytes
Log file: storm_from-jani_to-drn_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 78.562 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:08:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956501/tmpqdgi6gujstorm_from-jani_to-drn_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956501/tmpw4y6c1xhstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 55.068s.
--------------------------------------------------------------
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.4956501/tmpw4y6c1xhstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn'.
Time for model export: 23.458s.
Performance statistics:
* peak memory usage: 2356MB
* CPU time: 77.092s
* wallclock time: 78.536s
############################## Output files ##############################
model.drn: Size of output file is 1979134951 bytes
Log file: storm_from-jani_to-drn_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 78.493 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:15:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956732/tmpp_2s_ruystorm_from-jani_to-drn_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956732/tmpadbk3jzestorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.113s.
--------------------------------------------------------------
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.4956732/tmpadbk3jzestorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn'.
Time for model export: 23.339s.
Performance statistics:
* peak memory usage: 2355MB
* CPU time: 77.033s
* wallclock time: 78.462s
############################## Output files ##############################
model.drn: Size of output file is 1979134951 bytes
Log file: storm_from-jani_to-drn_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 79.435 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958398/tmpqjd77w09storm_from-jani_to-drn_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958398/tmp92k60e1jstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.448s.
--------------------------------------------------------------
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.4958398/tmp92k60e1jstorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn'.
Time for model export: 23.944s.
Performance statistics:
* peak memory usage: 2356MB
* CPU time: 78.027s
* wallclock time: 79.402s
############################## Output files ##############################
model.drn: Size of output file is 1979134951 bytes
Log file: storm_from-jani_to-drn_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 69.621 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958064/tmph13ic831storm_from-jani_to-drn_sparse_polling.18-16_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958064/tmp74y0hkxustorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 48.370s.
--------------------------------------------------------------
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.4958064/tmp74y0hkxustorm_from-jani_to-drn_sparse_polling.18-16_tmp_outdir_/model.drn'.
Time for model export: 21.215s.
Performance statistics:
* peak memory usage: 2356MB
* CPU time: 68.437s
* wallclock time: 69.593s
############################## Output files ##############################
model.drn: Size of output file is 1979134951 bytes