Log files for model polling.18-16 and tool configuration prism_from-prism_import_ex
[124.587, 109.609, 112.098, 108.878, 113.927]
Log file: prism_from-prism_import_ex_polling.18-16_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 125.351 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:47:34 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.4966805/tmphis3v3_8prism_from-prism_import_ex_polling.18-16_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966805/tmphis3v3_8prism_from-prism_import_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... 175410 374228 581015 787120 983033 1202967 1378501 1605771 1785614 2002263 2166536 2380261 2541037 2753260 2917494 3103345 3244140 3412911 3569484 3708298 3900510 4033450 4179328 4353249 4488206 4654371 4825497 5010473 5182152 5358215 5521541 5682626 5887298 6083932 6278859 6482513 6682880 6892513 7077888 states
Reachable states exploration and model construction done in 117.078 secs.
Sorting reachable states list...
Time for model construction: 124.587 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_polling.18-16_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 110.740 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:57:06 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964285/tmpy69eajhfprism_from-prism_import_ex_polling.18-16_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964285/tmpy69eajhfprism_from-prism_import_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... 185483 402728 617877 848320 1059696 1300882 1528803 1748517 1978224 2157353 2391549 2583518 2812016 3002375 3213482 3406700 3615700 3821357 4019266 4223915 4400266 4581501 4766835 4949825 5141120 5324607 5507107 5696244 5915132 6117893 6326712 6550269 6789892 6992785 7077888 states
Reachable states exploration and model construction done in 103.16 secs.
Sorting reachable states list...
Time for model construction: 109.609 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_polling.18-16_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 113.161 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:17:00 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961848/tmpwt48wak1prism_from-prism_import_ex_polling.18-16_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961848/tmpwt48wak1prism_from-prism_import_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... 213848 448097 675939 905138 1139309 1354349 1590438 1793298 2037099 2216034 2436401 2622367 2829990 3025638 3220991 3380133 3580019 3749166 3954474 4116075 4311813 4480227 4685897 4868916 5080698 5269958 5474004 5659855 5889090 6096750 6311642 6506197 6690844 6931450 7077888 states
Reachable states exploration and model construction done in 104.233 secs.
Sorting reachable states list...
Time for model construction: 112.098 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_polling.18-16_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 109.730 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:13:23 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965081/tmpvnnmz_t1prism_from-prism_import_ex_polling.18-16_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965081/tmpvnnmz_t1prism_from-prism_import_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... 206274 437945 669999 910528 1142131 1365764 1612603 1840017 2060583 2284705 2501736 2736160 2919213 3128117 3313948 3533072 3702949 3916434 4094306 4301763 4472500 4676575 4848674 5031722 5209987 5401495 5600273 5817691 5997629 6201738 6423803 6620598 6864845 7077888 states
Reachable states exploration and model construction done in 101.928 secs.
Sorting reachable states list...
Time for model construction: 108.878 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_polling.18-16_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 114.604 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:06:02 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964760/tmpze7sscy6prism_from-prism_import_ex_polling.18-16_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964760/tmpze7sscy6prism_from-prism_import_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... 185032 390570 592247 808953 1018114 1257066 1472858 1704426 1921932 2117578 2338322 2530275 2750635 2925225 3144358 3313484 3521317 3688249 3892662 4061086 4257948 4426487 4616881 4795139 4973611 5144748 5324585 5522395 5713368 5908003 6110380 6294058 6504567 6722840 6927220 7077888 states
Reachable states exploration and model construction done in 106.855 secs.
Sorting reachable states list...
Time for model construction: 113.927 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g