[165.197, 161.373, 164.106, 141.593, 160.095]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 280.352 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:07:04 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956460/tmpvqooeer1prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956460/tmpkmozdfyvprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956460/tmpvqooeer1prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 178775 378587 581653 788128 992208 1209217 1391594 1616421 1814691 2024556 2219512 2422608 2612300 2819338 3006392 3209021 3393564 3594539 3778392 3975231 4154706 4358678 4539346 4749416 4926955 5117770 5284933 5492636 5677723 5887210 6088390 6282887 6498556 6684921 6901859 7077888 states
Reachable states exploration and model construction done in 107.601 secs.
Sorting reachable states list...

Time for model construction: 114.441 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956460/tmpkmozdfyvprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 165.197 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.gz:	Size of output file is 309830590 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 283.107 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:31:42 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957441/tmp_70mogs9prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957441/tmpo0t4erjsprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957441/tmp_70mogs9prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 176169 378375 586071 787282 987378 1198907 1386017 1604621 1790267 2017341 2196150 2400722 2586443 2796179 2954460 3162140 3314916 3510380 3665996 3849832 4015306 4189108 4367923 4511377 4716702 4883388 5063866 5220838 5409773 5585851 5777490 5962164 6162258 6367501 6530773 6760846 6967163 7077888 states
Reachable states exploration and model construction done in 112.591 secs.
Sorting reachable states list...

Time for model construction: 119.643 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957441/tmpo0t4erjsprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 161.373 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.gz:	Size of output file is 309830590 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 289.513 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:52:27 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955853/tmpxdjtqifeprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955853/tmpl9e_mbvuprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955853/tmpxdjtqifeprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 179948 381856 585324 790227 992557 1208057 1393049 1616287 1768492 1996787 2149448 2352121 2521448 2708528 2852103 3026619 3198817 3326085 3520988 3668529 3850725 4015783 4185026 4359025 4510757 4702406 4862560 5048452 5216992 5404838 5560469 5726281 5905418 6082858 6268318 6475394 6667255 6887236 7077888 states
Reachable states exploration and model construction done in 116.372 secs.
Sorting reachable states list...

Time for model construction: 124.633 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955853/tmpl9e_mbvuprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 164.106 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.gz:	Size of output file is 309830590 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 258.545 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:10:40 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956587/tmpm5wttof2prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956587/tmpjwyywz23prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956587/tmpm5wttof2prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 190926 405809 624932 845093 1036399 1279808 1472669 1684629 1878313 2070154 2234614 2432286 2601675 2816933 3010980 3203859 3379685 3586419 3736191 3947375 4099660 4301197 4469946 4657599 4802310 4962906 5110324 5260969 5488464 5673778 5877762 6098287 6315853 6523220 6756089 6995500 7077888 states
Reachable states exploration and model construction done in 109.31 secs.
Sorting reachable states list...

Time for model construction: 116.23 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956587/tmpjwyywz23prism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 141.593 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.gz:	Size of output file is 309830590 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 285.898 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:36:58 GMT+02:00 2026
Hostname: r23m0219.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955225/tmpmh_zp_oeprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955225/tmpos7660giprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955225/tmpmh_zp_oeprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 178370 379425 582554 783313 989095 1204909 1380829 1609031 1797146 2010223 2169563 2390009 2528323 2737623 2887906 3063420 3238892 3380633 3541594 3687938 3861523 4003342 4169741 4340949 4494049 4683354 4845493 5021991 5184548 5353634 5534737 5722573 5909203 6101052 6277867 6440400 6644166 6820427 7045661 7077888 states
Reachable states exploration and model construction done in 117.499 secs.
Sorting reachable states list...

Time for model construction: 125.117 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955225/tmpos7660giprism_from-prism_to-tra-gz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 160.095 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.gz:	Size of output file is 309830590 bytes