Log files for model kanban.5 and tool configuration prism_from-prism_to-umb-gz_ex
[6.814, 6.291, 6.597, 6.702, 6.399]
Log file: prism_from-prism_to-umb-gz_ex_kanban.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 41.652 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:56:44 GMT+02:00 2026
Hostname: r23m0210.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958267/tmphdsuol4_prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958267/tmp2eaq59waprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958267/tmphdsuol4_prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism"...
Type: CTMC
Modules: k1 k2 k3 k4
Actions: [] [in] [s1] [s2]
Variables: w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards: "throughput"
Building model (engine:explicit)...
Computing reachable states... 335229 630380 902711 1152968 1364534 1611075 1823233 2023374 2289183 2546432 states
Reachable states exploration and model construction done in 29.963 secs.
Sorting reachable states list...
Time for model construction: 34.104 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958267/tmp2eaq59waprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz"...
Time for exporting: 6.814 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 72051268 bytes
Log file: prism_from-prism_to-umb-gz_ex_kanban.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 36.308 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:59:36 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958381/tmprcmb9mj3prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958381/tmpupphpty8prism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958381/tmprcmb9mj3prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism"...
Type: CTMC
Modules: k1 k2 k3 k4
Actions: [] [in] [s1] [s2]
Variables: w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards: "throughput"
Building model (engine:explicit)...
Computing reachable states... 356571 676554 973548 1253094 1520274 1786706 2058819 2323861 2546432 states
Reachable states exploration and model construction done in 25.83 secs.
Sorting reachable states list...
Time for model construction: 29.393 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958381/tmpupphpty8prism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz"...
Time for exporting: 6.291 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 72051268 bytes
Log file: prism_from-prism_to-umb-gz_ex_kanban.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 38.407 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:28:25 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954886/tmp15sope_3prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954886/tmpy7yfya8qprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954886/tmp15sope_3prism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism"...
Type: CTMC
Modules: k1 k2 k3 k4
Actions: [] [in] [s1] [s2]
Variables: w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards: "throughput"
Building model (engine:explicit)...
Computing reachable states... 351347 668909 963420 1238881 1503049 1768404 2031939 2314200 2546432 states
Reachable states exploration and model construction done in 26.068 secs.
Sorting reachable states list...
Time for model construction: 29.609 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4954886/tmpy7yfya8qprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz"...
Time for exporting: 6.597 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 72051268 bytes
Log file: prism_from-prism_to-umb-gz_ex_kanban.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 40.436 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:21:36 GMT+02:00 2026
Hostname: n23m0336.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957028/tmpuvjjysokprism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957028/tmplmk8usbqprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957028/tmpuvjjysokprism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism"...
Type: CTMC
Modules: k1 k2 k3 k4
Actions: [] [in] [s1] [s2]
Variables: w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards: "throughput"
Building model (engine:explicit)...
Computing reachable states... 298532 586387 841407 1101825 1352085 1587635 1812629 2054896 2301571 2546432 states
Reachable states exploration and model construction done in 29.303 secs.
Sorting reachable states list...
Time for model construction: 32.992 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957028/tmplmk8usbqprism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz"...
Time for exporting: 6.702 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 72051281 bytes
Log file: prism_from-prism_to-umb-gz_ex_kanban.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 36.273 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:48:58 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955714/tmp0oqu8m4eprism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955714/tmpr7gkvd_4prism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955714/tmp0oqu8m4eprism_from-prism_to-umb-gz_ex_kanban.5_tmp_indir_/model.prism"...
Type: CTMC
Modules: k1 k2 k3 k4
Actions: [] [in] [s1] [s2]
Variables: w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards: "throughput"
Building model (engine:explicit)...
Computing reachable states... 356104 682281 976459 1254952 1523861 1786761 2067610 2349390 2546432 states
Reachable states exploration and model construction done in 25.759 secs.
Sorting reachable states list...
Time for model construction: 29.251 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955714/tmpr7gkvd_4prism_from-prism_to-umb-gz_ex_kanban.5_tmp_outdir_/model.umbgz"...
Time for exporting: 6.399 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 72051271 bytes