About the Execution of LoLA for S_CSRepetitions-PT-05
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
8750.230 | 3540412.00 | 3555885.00 | 690.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_CSRepetitions-PT-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455500119
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-0
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-1
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-10
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-11
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-12
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-13
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-14
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-15
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-2
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-3
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-4
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-5
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-6
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-7
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-8
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496445310683
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_CSRepetitions-PT-05: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_CSRepetitions-PT-05: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CSRepetitions-PT-05 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 531/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 206 places, 325 transitions, 176 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 501 transition conflict sets
lola: TASK
lola: reading formula from CSRepetitions-COL-05-UpperBounds.task
lola: MAX(RequestBufferSlots) : MAX(RequestBufferSlots) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwering_5_3 + Server_Anwering_5_4 + Server_Anwering_5_5 + Server_Anwering_24_1 + Server_Anwering_24_2 + Server_Anwering_24_3 + Server_Anwering_24_4 + Server_Anwering_24_5 + Server_Anwering_11_1 + Server_Anwering_11_2 + Server_Anwering_11_3 + Server_Anwering_11_4 + Server_Anwering_11_5 + Server_Anwering_6_1 + Server_Anwering_6_2 + Server_Anwering_6_3 + Server_Anwering_6_4 + Server_Anwering_6_5 + Server_Anwering_25_1 + Server_Anwering_25_2 + Server_Anwering_25_3 + Server_Anwering_25_4 + Server_Anwering_25_5 + Server_Anwering_12_1 + Server_Anwering_12_2 + Server_Anwering_12_3 + Server_Anwering_12_4 + Server_Anwering_12_5 + Server_Anwering_7_1 + Server_Anwering_7_2 + Server_Anwering_7_3 + Server_Anwering_7_4 + Server_Anwering_7_5 + Server_Anwering_13_1 + Server_Anwering_13_2 + Server_Anwering_13_3 + Server_Anwering_13_4 + Server_Anwering_13_5 + Server_Anwering_8_1 + Server_Anwering_8_2 + Server_Anwering_8_3 + Server_Anwering_8_4 + Server_Anwering_8_5 + Server_Anwering_14_1 + Server_Anwering_14_2 + Server_Anwering_14_3 + Server_Anwering_14_4 + Server_Anwering_14_5 + Server_Anwering_9_1 + Server_Anwering_9_2 + Server_Anwering_9_3 + Server_Anwering_9_4 + Server_Anwering_9_5 + Server_Anwering_15_1 + Server_Anwering_15_2 + Server_Anwering_15_3 + Server_Anwering_15_4 + Server_Anwering_15_5 + Server_Anwering_16_1 + Server_Anwering_16_2 + Server_Anwering_16_3 + Server_Anwering_16_4 + Server_Anwering_16_5 + Server_Anwering_3_5 + Server_Anwering_3_4 + Server_Anwering_3_3 + Server_Anwering_3_2 + Server_Anwering_3_1 + Server_Anwering_17_1 + Server_Anwering_17_2 + Server_Anwering_17_3 + Server_Anwering_17_4 + Server_Anwering_17_5 + Server_Anwering_18_1 + Server_Anwering_18_2 + Server_Anwering_18_3 + Server_Anwering_18_4 + Server_Anwering_18_5 + Server_Anwering_19_1 + Server_Anwering_19_2 + Server_Anwering_19_3 + Server_Anwering_19_4 + Server_Anwering_19_5 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_2_5 + Server_Anwering_2_4 + Server_Anwering_2_3 + Server_Anwering_2_2 + Server_Anwering_2_1 + Server_Anwering_20_5 + Server_Anwering_20_4 + Server_Anwering_20_3 + Server_Anwering_20_2 + Server_Anwering_20_1 + Server_Anwering_1_1 + Server_Anwering_1_2 + Server_Anwering_1_3 + Server_Anwering_1_4 + Server_Anwering_1_5 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(RequestBufferSlots) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25) : MAX(Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 260503 markings, 1009662 edges, 52101 markings/sec, 0 secs
lola: 516255 markings, 2018487 edges, 51150 markings/sec, 5 secs
lola: 818803 markings, 2833203 edges, 60510 markings/sec, 10 secs
lola: 1064192 markings, 3884373 edges, 49078 markings/sec, 15 secs
lola: 1471388 markings, 4291581 edges, 81439 markings/sec, 20 secs
lola: 1764720 markings, 5093381 edges, 58666 markings/sec, 25 secs
lola: 1942279 markings, 6305882 edges, 35512 markings/sec, 30 secs
lola: 2104767 markings, 7569828 edges, 32498 markings/sec, 35 secs
lola: 2279323 markings, 8881308 edges, 34911 markings/sec, 40 secs
lola: 2454930 markings, 10127976 edges, 35121 markings/sec, 45 secs
lola: 2681616 markings, 10992759 edges, 45337 markings/sec, 50 secs
lola: 2894152 markings, 11891429 edges, 42507 markings/sec, 55 secs
lola: 3112461 markings, 12871466 edges, 43662 markings/sec, 60 secs
lola: 3429322 markings, 13575743 edges, 63372 markings/sec, 65 secs
lola: 3602254 markings, 14758596 edges, 34586 markings/sec, 70 secs
lola: 3892488 markings, 15550903 edges, 58047 markings/sec, 75 secs
lola: 4054305 markings, 16826680 edges, 32363 markings/sec, 80 secs
lola: 4434296 markings, 17282136 edges, 75998 markings/sec, 85 secs
lola: 4810790 markings, 17728637 edges, 75299 markings/sec, 90 secs
lola: 4971524 markings, 18894416 edges, 32147 markings/sec, 95 secs
lola: 5134040 markings, 20046920 edges, 32503 markings/sec, 100 secs
lola: 5288496 markings, 21268251 edges, 30891 markings/sec, 105 secs
lola: 5453687 markings, 22484243 edges, 33038 markings/sec, 110 secs
lola: 5713611 markings, 23352831 edges, 51985 markings/sec, 115 secs
lola: 6118129 markings, 23757351 edges, 80904 markings/sec, 120 secs
lola: 6521323 markings, 24160545 edges, 80639 markings/sec, 125 secs
lola: 6927544 markings, 24566765 edges, 81244 markings/sec, 130 secs
lola: 7331906 markings, 24971128 edges, 80872 markings/sec, 135 secs
lola: 7738555 markings, 25377776 edges, 81330 markings/sec, 140 secs
lola: 8144474 markings, 25783696 edges, 81184 markings/sec, 145 secs
lola: 8548037 markings, 26187258 edges, 80713 markings/sec, 150 secs
lola: 8953134 markings, 26592356 edges, 81019 markings/sec, 155 secs
lola: 9358461 markings, 26997682 edges, 81065 markings/sec, 160 secs
lola: 9763158 markings, 27402380 edges, 80939 markings/sec, 165 secs
lola: 10167553 markings, 27806775 edges, 80879 markings/sec, 170 secs
lola: 10570067 markings, 28209289 edges, 80503 markings/sec, 175 secs
lola: 10974862 markings, 28614083 edges, 80959 markings/sec, 180 secs
lola: 11378517 markings, 29017739 edges, 80731 markings/sec, 185 secs
lola: 11780257 markings, 29419479 edges, 80348 markings/sec, 190 secs
lola: 12183828 markings, 29823050 edges, 80714 markings/sec, 195 secs
lola: 12584379 markings, 30223600 edges, 80110 markings/sec, 200 secs
lola: 12986293 markings, 30625515 edges, 80383 markings/sec, 205 secs
lola: 13386850 markings, 31026072 edges, 80111 markings/sec, 210 secs
lola: 13786927 markings, 31426149 edges, 80015 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 261991 markings, 1022738 edges, 52398 markings/sec, 0 secs
lola: 522989 markings, 2071244 edges, 52200 markings/sec, 5 secs
lola: 829954 markings, 2905089 edges, 61393 markings/sec, 10 secs
lola: 1098813 markings, 3918993 edges, 53772 markings/sec, 15 secs
lola: 1515920 markings, 4336112 edges, 83421 markings/sec, 20 secs
lola: 1786865 markings, 5258979 edges, 54189 markings/sec, 25 secs
lola: 1967786 markings, 6497921 edges, 36184 markings/sec, 30 secs
lola: 2133377 markings, 7804243 edges, 33118 markings/sec, 35 secs
lola: 2312632 markings, 9117388 edges, 35851 markings/sec, 40 secs
lola: 2507080 markings, 10325506 edges, 38890 markings/sec, 45 secs
lola: 2736936 markings, 11225411 edges, 45971 markings/sec, 50 secs
lola: 2947188 markings, 12149829 edges, 42050 markings/sec, 55 secs
lola: 3189877 markings, 13179246 edges, 48538 markings/sec, 60 secs
lola: 3490776 markings, 13978226 edges, 60180 markings/sec, 65 secs
lola: 3705986 markings, 15082250 edges, 43042 markings/sec, 70 secs
lola: 3959207 markings, 16060039 edges, 50644 markings/sec, 75 secs
lola: 4216461 markings, 17064294 edges, 51451 markings/sec, 80 secs
lola: 4624891 markings, 17472736 edges, 81686 markings/sec, 85 secs
lola: 4890959 markings, 18331850 edges, 53214 markings/sec, 90 secs
lola: 5061673 markings, 19493322 edges, 34143 markings/sec, 95 secs
lola: 5217258 markings, 20706420 edges, 31117 markings/sec, 100 secs
lola: 5384136 markings, 21962362 edges, 33376 markings/sec, 105 secs
lola: 5546844 markings, 23186063 edges, 32542 markings/sec, 110 secs
lola: 5961451 markings, 23600672 edges, 82921 markings/sec, 115 secs
lola: 6375198 markings, 24014419 edges, 82749 markings/sec, 120 secs
lola: 6792107 markings, 24431328 edges, 83382 markings/sec, 125 secs
lola: 7207645 markings, 24846866 edges, 83108 markings/sec, 130 secs
lola: 7621261 markings, 25260482 edges, 82723 markings/sec, 135 secs
lola: 8036396 markings, 25675617 edges, 83027 markings/sec, 140 secs
lola: 8447146 markings, 26086367 edges, 82150 markings/sec, 145 secs
lola: 8856801 markings, 26496023 edges, 81931 markings/sec, 150 secs
lola: 9266119 markings, 26905340 edges, 81864 markings/sec, 155 secs
lola: 9674619 markings, 27313840 edges, 81700 markings/sec, 160 secs
lola: 10084535 markings, 27723756 edges, 81983 markings/sec, 165 secs
lola: 10493858 markings, 28133079 edges, 81865 markings/sec, 170 secs
lola: 10905603 markings, 28544824 edges, 82349 markings/sec, 175 secs
lola: 11316263 markings, 28955484 edges, 82132 markings/sec, 180 secs
lola: 11726174 markings, 29365395 edges, 81982 markings/sec, 185 secs
lola: 12137445 markings, 29776666 edges, 82254 markings/sec, 190 secs
lola: 12545895 markings, 30185116 edges, 81690 markings/sec, 195 secs
lola: 12954971 markings, 30594192 edges, 81815 markings/sec, 200 secs
lola: 13364942 markings, 31004163 edges, 81994 markings/sec, 205 secs
lola: 13774723 markings, 31413944 edges, 81956 markings/sec, 210 secs
lola: 14183451 markings, 31822672 edges, 81746 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 347073 markings, 824873 edges, 69415 markings/sec, 0 secs
lola: 612683 markings, 1447323 edges, 53122 markings/sec, 5 secs
lola: 858081 markings, 2073889 edges, 49080 markings/sec, 10 secs
lola: 1099007 markings, 2704274 edges, 48185 markings/sec, 15 secs
lola: 1346500 markings, 3347859 edges, 49499 markings/sec, 20 secs
lola: 1579366 markings, 3980126 edges, 46573 markings/sec, 25 secs
lola: 1813656 markings, 4608096 edges, 46858 markings/sec, 30 secs
lola: 2041847 markings, 5243807 edges, 45638 markings/sec, 35 secs
lola: 2266852 markings, 5879044 edges, 45001 markings/sec, 40 secs
lola: 2496114 markings, 6492221 edges, 45852 markings/sec, 45 secs
lola: 2702775 markings, 7095209 edges, 41332 markings/sec, 50 secs
lola: 2924342 markings, 7692566 edges, 44313 markings/sec, 55 secs
lola: 3138478 markings, 8312457 edges, 42827 markings/sec, 60 secs
lola: 3350759 markings, 8922856 edges, 42456 markings/sec, 65 secs
lola: 3557777 markings, 9526785 edges, 41404 markings/sec, 70 secs
lola: 3768733 markings, 10128642 edges, 42191 markings/sec, 75 secs
lola: 3984185 markings, 10735558 edges, 43090 markings/sec, 80 secs
lola: 4195054 markings, 11333430 edges, 42174 markings/sec, 85 secs
lola: 4398631 markings, 11964913 edges, 40715 markings/sec, 90 secs
lola: 4610344 markings, 12565988 edges, 42343 markings/sec, 95 secs
lola: 4816679 markings, 13158014 edges, 41267 markings/sec, 100 secs
lola: 5027080 markings, 13754158 edges, 42080 markings/sec, 105 secs
lola: 5235332 markings, 14348429 edges, 41650 markings/sec, 110 secs
lola: 5438521 markings, 14940826 edges, 40638 markings/sec, 115 secs
lola: 5645259 markings, 15556476 edges, 41348 markings/sec, 120 secs
lola: 5856244 markings, 16152321 edges, 42197 markings/sec, 125 secs
lola: 6065949 markings, 16772416 edges, 41941 markings/sec, 130 secs
lola: 6270231 markings, 17372355 edges, 40856 markings/sec, 135 secs
lola: 6475283 markings, 17956247 edges, 41010 markings/sec, 140 secs
lola: 6676562 markings, 18591242 edges, 40256 markings/sec, 145 secs
lola: 6876341 markings, 19178958 edges, 39956 markings/sec, 150 secs
lola: 7075324 markings, 19780222 edges, 39797 markings/sec, 155 secs
lola: 7272443 markings, 20406515 edges, 39424 markings/sec, 160 secs
lola: 7472349 markings, 21005363 edges, 39981 markings/sec, 165 secs
lola: 7667500 markings, 21612750 edges, 39030 markings/sec, 170 secs
lola: 7863300 markings, 22191837 edges, 39160 markings/sec, 175 secs
lola: 8057114 markings, 22796978 edges, 38763 markings/sec, 180 secs
lola: 8255236 markings, 23392400 edges, 39624 markings/sec, 185 secs
lola: 8455805 markings, 24013532 edges, 40114 markings/sec, 190 secs
lola: 8662305 markings, 24618474 edges, 41300 markings/sec, 195 secs
lola: 8864672 markings, 25210443 edges, 40473 markings/sec, 200 secs
lola: 9058174 markings, 25813665 edges, 38700 markings/sec, 205 secs
lola: 9266208 markings, 26402580 edges, 41607 markings/sec, 210 secs
lola: 9463071 markings, 26997474 edges, 39373 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 213729 markings, 1339220 edges, 42746 markings/sec, 0 secs
lola: 433983 markings, 2884818 edges, 44051 markings/sec, 5 secs
lola: 653397 markings, 4487444 edges, 43883 markings/sec, 10 secs
lola: 868544 markings, 6099914 edges, 43029 markings/sec, 15 secs
lola: 1069567 markings, 7722589 edges, 40205 markings/sec, 20 secs
lola: 1278217 markings, 9229743 edges, 41730 markings/sec, 25 secs
lola: 1487413 markings, 10851419 edges, 41839 markings/sec, 30 secs
lola: 1693638 markings, 12505181 edges, 41245 markings/sec, 35 secs
lola: 1894814 markings, 14166985 edges, 40235 markings/sec, 40 secs
lola: 2078582 markings, 15799434 edges, 36754 markings/sec, 45 secs
lola: 2282029 markings, 17269395 edges, 40689 markings/sec, 50 secs
lola: 2484220 markings, 18833001 edges, 40438 markings/sec, 55 secs
lola: 2680137 markings, 20404733 edges, 39183 markings/sec, 60 secs
lola: 2870085 markings, 21954171 edges, 37990 markings/sec, 65 secs
lola: 3063360 markings, 23596225 edges, 38655 markings/sec, 70 secs
lola: 3256207 markings, 25198387 edges, 38569 markings/sec, 75 secs
lola: 3448274 markings, 26783647 edges, 38413 markings/sec, 80 secs
lola: 3633925 markings, 28411803 edges, 37130 markings/sec, 85 secs
lola: 3826483 markings, 30073962 edges, 38512 markings/sec, 90 secs
lola: 4011139 markings, 31751918 edges, 36931 markings/sec, 95 secs
lola: 4179088 markings, 33385150 edges, 33590 markings/sec, 100 secs
lola: 4383603 markings, 34868224 edges, 40903 markings/sec, 105 secs
lola: 4584328 markings, 36423182 edges, 40145 markings/sec, 110 secs
lola: 4782354 markings, 38010657 edges, 39605 markings/sec, 115 secs
lola: 4972209 markings, 39564604 edges, 37971 markings/sec, 120 secs
lola: 5162095 markings, 41173716 edges, 37977 markings/sec, 125 secs
lola: 5348521 markings, 42722746 edges, 37285 markings/sec, 130 secs
lola: 5532714 markings, 44245451 edges, 36839 markings/sec, 135 secs
lola: 5711455 markings, 45793123 edges, 35748 markings/sec, 140 secs
lola: 5894127 markings, 47389405 edges, 36534 markings/sec, 145 secs
lola: 6075230 markings, 49013855 edges, 36221 markings/sec, 150 secs
lola: 6249125 markings, 50667719 edges, 34779 markings/sec, 155 secs
lola: 6440104 markings, 52243892 edges, 38196 markings/sec, 160 secs
lola: 6631560 markings, 53835600 edges, 38291 markings/sec, 165 secs
lola: 6809583 markings, 55441888 edges, 35605 markings/sec, 170 secs
lola: 6998640 markings, 57046778 edges, 37811 markings/sec, 175 secs
lola: 7177624 markings, 58686617 edges, 35797 markings/sec, 180 secs
lola: 7343997 markings, 60318546 edges, 33275 markings/sec, 185 secs
lola: 7532628 markings, 61922887 edges, 37726 markings/sec, 190 secs
lola: 7712445 markings, 63569344 edges, 35963 markings/sec, 195 secs
lola: 7878639 markings, 65189351 edges, 33239 markings/sec, 200 secs
lola: 8057188 markings, 66854112 edges, 35710 markings/sec, 205 secs
lola: 8230004 markings, 68563382 edges, 34563 markings/sec, 210 secs
lola: 8388826 markings, 70255259 edges, 31764 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 354373 markings, 839641 edges, 70875 markings/sec, 0 secs
lola: 618669 markings, 1462961 edges, 52859 markings/sec, 5 secs
lola: 863632 markings, 2091560 edges, 48993 markings/sec, 10 secs
lola: 1103260 markings, 2716082 edges, 47926 markings/sec, 15 secs
lola: 1350014 markings, 3357524 edges, 49351 markings/sec, 20 secs
lola: 1583847 markings, 3992699 edges, 46767 markings/sec, 25 secs
lola: 1819046 markings, 4622929 edges, 47040 markings/sec, 30 secs
lola: 2048349 markings, 5261664 edges, 45861 markings/sec, 35 secs
lola: 2274537 markings, 5900009 edges, 45238 markings/sec, 40 secs
lola: 2504775 markings, 6517003 edges, 46048 markings/sec, 45 secs
lola: 2726932 markings, 7158689 edges, 44431 markings/sec, 50 secs
lola: 2958297 markings, 7791327 edges, 46273 markings/sec, 55 secs
lola: 3183005 markings, 8440418 edges, 44942 markings/sec, 60 secs
lola: 3404826 markings, 9076641 edges, 44364 markings/sec, 65 secs
lola: 3624090 markings, 9705896 edges, 43853 markings/sec, 70 secs
lola: 3848156 markings, 10345803 edges, 44813 markings/sec, 75 secs
lola: 4066134 markings, 10973337 edges, 43596 markings/sec, 80 secs
lola: 4283668 markings, 11627709 edges, 43507 markings/sec, 85 secs
lola: 4504285 markings, 12256964 edges, 44123 markings/sec, 90 secs
lola: 4721587 markings, 12884067 edges, 43460 markings/sec, 95 secs
lola: 4938100 markings, 13495242 edges, 43303 markings/sec, 100 secs
lola: 5152881 markings, 14114195 edges, 42956 markings/sec, 105 secs
lola: 5370628 markings, 14739013 edges, 43549 markings/sec, 110 secs
lola: 5584462 markings, 15370848 edges, 42767 markings/sec, 115 secs
lola: 5799922 markings, 16001859 edges, 43092 markings/sec, 120 secs
lola: 6022961 markings, 16636274 edges, 44608 markings/sec, 125 secs
lola: 6232439 markings, 17265991 edges, 41896 markings/sec, 130 secs
lola: 6444328 markings, 17871113 edges, 42378 markings/sec, 135 secs
lola: 6655568 markings, 18532992 edges, 42248 markings/sec, 140 secs
lola: 6861885 markings, 19138493 edges, 41263 markings/sec, 145 secs
lola: 7067589 markings, 19759408 edges, 41141 markings/sec, 150 secs
lola: 7272306 markings, 20406088 edges, 40943 markings/sec, 155 secs
lola: 7479095 markings, 21025739 edges, 41358 markings/sec, 160 secs
lola: 7681129 markings, 21654322 edges, 40407 markings/sec, 165 secs
lola: 7885743 markings, 22259074 edges, 40923 markings/sec, 170 secs
lola: 8088749 markings, 22894441 edges, 40601 markings/sec, 175 secs
lola: 8297747 markings, 23523897 edges, 41800 markings/sec, 180 secs
lola: 8505574 markings, 24159468 edges, 41565 markings/sec, 185 secs
lola: 8715609 markings, 24775724 edges, 42007 markings/sec, 190 secs
lola: 8922275 markings, 25389753 edges, 41333 markings/sec, 195 secs
lola: 9132459 markings, 26018129 edges, 42037 markings/sec, 200 secs
lola: 9341365 markings, 26627865 edges, 41781 markings/sec, 205 secs
lola: 9547789 markings, 27231012 edges, 41285 markings/sec, 210 secs
lola: 9752205 markings, 27840418 edges, 40883 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 349170 markings, 829120 edges, 69834 markings/sec, 0 secs
lola: 612571 markings, 1447065 edges, 52680 markings/sec, 5 secs
lola: 856061 markings, 2067880 edges, 48698 markings/sec, 10 secs
lola: 1095513 markings, 2695273 edges, 47890 markings/sec, 15 secs
lola: 1341070 markings, 3333920 edges, 49111 markings/sec, 20 secs
lola: 1573471 markings, 3964194 edges, 46480 markings/sec, 25 secs
lola: 1805665 markings, 4587614 edges, 46439 markings/sec, 30 secs
lola: 2032187 markings, 5218958 edges, 45304 markings/sec, 35 secs
lola: 2256942 markings, 5851065 edges, 44951 markings/sec, 40 secs
lola: 2485467 markings, 6461300 edges, 45705 markings/sec, 45 secs
lola: 2705174 markings, 7102007 edges, 43941 markings/sec, 50 secs
lola: 2936974 markings, 7730079 edges, 46360 markings/sec, 55 secs
lola: 3158230 markings, 8369485 edges, 44251 markings/sec, 60 secs
lola: 3378570 markings, 8999412 edges, 44068 markings/sec, 65 secs
lola: 3592120 markings, 9618661 edges, 42710 markings/sec, 70 secs
lola: 3816058 markings, 10249274 edges, 44788 markings/sec, 75 secs
lola: 4032889 markings, 10879824 edges, 43366 markings/sec, 80 secs
lola: 4251456 markings, 11521567 edges, 43713 markings/sec, 85 secs
lola: 4463705 markings, 12153501 edges, 42450 markings/sec, 90 secs
lola: 4686433 markings, 12779371 edges, 44546 markings/sec, 95 secs
lola: 4901484 markings, 13380269 edges, 43010 markings/sec, 100 secs
lola: 5117374 markings, 14008480 edges, 43178 markings/sec, 105 secs
lola: 5333505 markings, 14628951 edges, 43226 markings/sec, 110 secs
lola: 5546075 markings, 15260029 edges, 42514 markings/sec, 115 secs
lola: 5761010 markings, 15890087 edges, 42987 markings/sec, 120 secs
lola: 5985764 markings, 16520200 edges, 44951 markings/sec, 125 secs
lola: 6197776 markings, 17157385 edges, 42402 markings/sec, 130 secs
lola: 6406521 markings, 17766540 edges, 41749 markings/sec, 135 secs
lola: 6621291 markings, 18424038 edges, 42954 markings/sec, 140 secs
lola: 6830105 markings, 19040636 edges, 41763 markings/sec, 145 secs
lola: 7034619 markings, 19666171 edges, 40903 markings/sec, 150 secs
lola: 7244228 markings, 20316017 edges, 41922 markings/sec, 155 secs
lola: 7450711 markings, 20939590 edges, 41297 markings/sec, 160 secs
lola: 7654417 markings, 21569850 edges, 40741 markings/sec, 165 secs
lola: 7860590 markings, 22183148 edges, 41235 markings/sec, 170 secs
lola: 8063725 markings, 22819240 edges, 40627 markings/sec, 175 secs
lola: 8272184 markings, 23448291 edges, 41692 markings/sec, 180 secs
lola: 8482452 markings, 24091122 edges, 42054 markings/sec, 185 secs
lola: 8694536 markings, 24716371 edges, 42417 markings/sec, 190 secs
lola: 8905584 markings, 25334237 edges, 42210 markings/sec, 195 secs
lola: 9115544 markings, 25966654 edges, 41992 markings/sec, 200 secs
lola: 9327063 markings, 26580936 edges, 42304 markings/sec, 205 secs
lola: 9534240 markings, 27194118 edges, 41435 markings/sec, 210 secs
lola: 9740954 markings, 27809634 edges, 41343 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwer... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 272811 markings, 1039345 edges, 54562 markings/sec, 0 secs
lola: 532699 markings, 2094304 edges, 51978 markings/sec, 5 secs
lola: 835279 markings, 2941031 edges, 60516 markings/sec, 10 secs
lola: 1116898 markings, 3937079 edges, 56324 markings/sec, 15 secs
lola: 1534559 markings, 4354752 edges, 83532 markings/sec, 20 secs
lola: 1797824 markings, 5340604 edges, 52653 markings/sec, 25 secs
lola: 1981257 markings, 6599574 edges, 36687 markings/sec, 30 secs
lola: 2150797 markings, 7940252 edges, 33908 markings/sec, 35 secs
lola: 2333969 markings, 9291127 edges, 36634 markings/sec, 40 secs
lola: 2545937 markings, 10435384 edges, 42394 markings/sec, 45 secs
lola: 2769317 markings, 11367175 edges, 44676 markings/sec, 50 secs
lola: 2981763 markings, 12295738 edges, 42489 markings/sec, 55 secs
lola: 3226841 markings, 13344532 edges, 49016 markings/sec, 60 secs
lola: 3518286 markings, 14156490 edges, 58289 markings/sec, 65 secs
lola: 3768964 markings, 15145239 edges, 50136 markings/sec, 70 secs
lola: 3984982 markings, 16265690 edges, 43204 markings/sec, 75 secs
lola: 4276990 markings, 17124822 edges, 58402 markings/sec, 80 secs
lola: 4679641 markings, 17527485 edges, 80530 markings/sec, 85 secs
lola: 4913660 markings, 18497627 edges, 46804 markings/sec, 90 secs
lola: 5085506 markings, 19673705 edges, 34369 markings/sec, 95 secs
lola: 5244172 markings, 20930935 edges, 31733 markings/sec, 100 secs
lola: 5417761 markings, 22200147 edges, 34718 markings/sec, 105 secs
lola: 5637041 markings, 23276260 edges, 43856 markings/sec, 110 secs
lola: 6051792 markings, 23691013 edges, 82950 markings/sec, 115 secs
lola: 6465177 markings, 24104398 edges, 82677 markings/sec, 120 secs
lola: 6881810 markings, 24521032 edges, 83327 markings/sec, 125 secs
lola: 7296938 markings, 24936159 edges, 83026 markings/sec, 130 secs
lola: 7713732 markings, 25352954 edges, 83359 markings/sec, 135 secs
lola: 8127161 markings, 25766386 edges, 82686 markings/sec, 140 secs
lola: 8537696 markings, 26176918 edges, 82107 markings/sec, 145 secs
lola: 8951608 markings, 26590829 edges, 82782 markings/sec, 150 secs
lola: 9364914 markings, 27004135 edges, 82661 markings/sec, 155 secs
lola: 9779668 markings, 27418890 edges, 82951 markings/sec, 160 secs
lola: 10194506 markings, 27833727 edges, 82968 markings/sec, 165 secs
lola: 10606367 markings, 28245588 edges, 82372 markings/sec, 170 secs
lola: 11019228 markings, 28658450 edges, 82572 markings/sec, 175 secs
lola: 11429727 markings, 29068948 edges, 82100 markings/sec, 180 secs
lola: 11841932 markings, 29481153 edges, 82441 markings/sec, 185 secs
lola: 12256404 markings, 29895625 edges, 82894 markings/sec, 190 secs
lola: 12666124 markings, 30305346 edges, 81944 markings/sec, 195 secs
lola: 13070886 markings, 30710108 edges, 80952 markings/sec, 200 secs
lola: 13475984 markings, 31115206 edges, 81020 markings/sec, 205 secs
lola: 13878912 markings, 31518133 edges, 80586 markings/sec, 210 secs
lola: 14280617 markings, 31919838 edges, 80341 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 407355 markings, 407488 edges, 81471 markings/sec, 0 secs
lola: 804936 markings, 805068 edges, 79516 markings/sec, 5 secs
lola: 1200407 markings, 1200539 edges, 79094 markings/sec, 10 secs
lola: 1591281 markings, 1591414 edges, 78175 markings/sec, 15 secs
lola: 1980828 markings, 1980961 edges, 77909 markings/sec, 20 secs
lola: 2370342 markings, 2370474 edges, 77903 markings/sec, 25 secs
lola: 2758482 markings, 2758615 edges, 77628 markings/sec, 30 secs
lola: 3144248 markings, 3144380 edges, 77153 markings/sec, 35 secs
lola: 3532659 markings, 3532792 edges, 77682 markings/sec, 40 secs
lola: 3919789 markings, 3919921 edges, 77426 markings/sec, 45 secs
lola: 4306541 markings, 4306674 edges, 77350 markings/sec, 50 secs
lola: 4693551 markings, 4693683 edges, 77402 markings/sec, 55 secs
lola: 5078051 markings, 5078183 edges, 76900 markings/sec, 60 secs
lola: 5461234 markings, 5461366 edges, 76637 markings/sec, 65 secs
lola: 5843367 markings, 5843499 edges, 76427 markings/sec, 70 secs
lola: 6222785 markings, 6222917 edges, 75884 markings/sec, 75 secs
lola: 6602163 markings, 6602295 edges, 75876 markings/sec, 80 secs
lola: 6980687 markings, 6980819 edges, 75705 markings/sec, 85 secs
lola: 7357670 markings, 7357802 edges, 75397 markings/sec, 90 secs
lola: 7735390 markings, 7735523 edges, 75544 markings/sec, 95 secs
lola: 8110973 markings, 8111105 edges, 75117 markings/sec, 100 secs
lola: 8486797 markings, 8486929 edges, 75165 markings/sec, 105 secs
lola: 8864863 markings, 8864995 edges, 75613 markings/sec, 110 secs
lola: 9241732 markings, 9241864 edges, 75374 markings/sec, 115 secs
lola: 9618833 markings, 9618966 edges, 75420 markings/sec, 120 secs
lola: 9994550 markings, 9994682 edges, 75143 markings/sec, 125 secs
lola: 10368993 markings, 10369126 edges, 74889 markings/sec, 130 secs
lola: 10743651 markings, 10743784 edges, 74932 markings/sec, 135 secs
lola: 11118639 markings, 11118771 edges, 74998 markings/sec, 140 secs
lola: 11489181 markings, 11489314 edges, 74108 markings/sec, 145 secs
lola: 11859022 markings, 11859155 edges, 73968 markings/sec, 150 secs
lola: 12227127 markings, 12227260 edges, 73621 markings/sec, 155 secs
lola: 12593639 markings, 12593771 edges, 73302 markings/sec, 160 secs
lola: 12965872 markings, 12966004 edges, 74447 markings/sec, 165 secs
lola: 13335839 markings, 13335972 edges, 73993 markings/sec, 170 secs
lola: 13704548 markings, 13704681 edges, 73742 markings/sec, 175 secs
lola: 14074179 markings, 14074312 edges, 73926 markings/sec, 180 secs
lola: 14443870 markings, 14444003 edges, 73938 markings/sec, 185 secs
lola: 14813267 markings, 14813400 edges, 73879 markings/sec, 190 secs
lola: 15182691 markings, 15182824 edges, 73885 markings/sec, 195 secs
lola: 15553395 markings, 15553528 edges, 74141 markings/sec, 200 secs
lola: 15922675 markings, 15922808 edges, 73856 markings/sec, 205 secs
lola: 16292053 markings, 16292186 edges, 73876 markings/sec, 210 secs
lola: 16661115 markings, 16661247 edges, 73812 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 350754 markings, 832260 edges, 70151 markings/sec, 0 secs
lola: 613795 markings, 1450260 edges, 52608 markings/sec, 5 secs
lola: 857041 markings, 2070579 edges, 48649 markings/sec, 10 secs
lola: 1096012 markings, 2696604 edges, 47794 markings/sec, 15 secs
lola: 1343366 markings, 3339335 edges, 49471 markings/sec, 20 secs
lola: 1574861 markings, 3967556 edges, 46299 markings/sec, 25 secs
lola: 1806277 markings, 4589046 edges, 46283 markings/sec, 30 secs
lola: 2032503 markings, 5219849 edges, 45245 markings/sec, 35 secs
lola: 2257728 markings, 5853227 edges, 45045 markings/sec, 40 secs
lola: 2486646 markings, 6465248 edges, 45784 markings/sec, 45 secs
lola: 2706737 markings, 7106061 edges, 44018 markings/sec, 50 secs
lola: 2938122 markings, 7734545 edges, 46277 markings/sec, 55 secs
lola: 3159492 markings, 8373148 edges, 44274 markings/sec, 60 secs
lola: 3380316 markings, 9004545 edges, 44165 markings/sec, 65 secs
lola: 3594904 markings, 9625934 edges, 42918 markings/sec, 70 secs
lola: 3817792 markings, 10254668 edges, 44578 markings/sec, 75 secs
lola: 4028427 markings, 10866327 edges, 42127 markings/sec, 80 secs
lola: 4233939 markings, 11462387 edges, 41102 markings/sec, 85 secs
lola: 4439855 markings, 12088479 edges, 41183 markings/sec, 90 secs
lola: 4663455 markings, 12712588 edges, 44720 markings/sec, 95 secs
lola: 4871757 markings, 13301950 edges, 41660 markings/sec, 100 secs
lola: 5086272 markings, 13919010 edges, 42903 markings/sec, 105 secs
lola: 5302166 markings, 14540439 edges, 43179 markings/sec, 110 secs
lola: 5516391 markings, 15173056 edges, 42845 markings/sec, 115 secs
lola: 5732135 markings, 15804720 edges, 43149 markings/sec, 120 secs
lola: 5958290 markings, 16424871 edges, 45231 markings/sec, 125 secs
lola: 6167370 markings, 17070885 edges, 41816 markings/sec, 130 secs
lola: 6378403 markings, 17681721 edges, 42207 markings/sec, 135 secs
lola: 6593498 markings, 18332704 edges, 43019 markings/sec, 140 secs
lola: 6801114 markings, 18955685 edges, 41523 markings/sec, 145 secs
lola: 7003614 markings, 19575138 edges, 40500 markings/sec, 150 secs
lola: 7212848 markings, 20217392 edges, 41847 markings/sec, 155 secs
lola: 7413410 markings, 20830898 edges, 40112 markings/sec, 160 secs
lola: 7605412 markings, 21416429 edges, 38400 markings/sec, 165 secs
lola: 7798358 markings, 21996586 edges, 38589 markings/sec, 170 secs
lola: 7991124 markings, 22589612 edges, 38553 markings/sec, 175 secs
lola: 8182763 markings, 23175958 edges, 38328 markings/sec, 180 secs
lola: 8380670 markings, 23773523 edges, 39581 markings/sec, 185 secs
lola: 8575992 markings, 24376924 edges, 39064 markings/sec, 190 secs
lola: 8770811 markings, 24940496 edges, 38964 markings/sec, 195 secs
lola: 8958745 markings, 25505428 edges, 37587 markings/sec, 200 secs
lola: 9155342 markings, 26084700 edges, 39319 markings/sec, 205 secs
lola: 9345041 markings, 26639556 edges, 37940 markings/sec, 210 secs
lola: 9533535 markings, 27192043 edges, 37699 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Clien... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 350907 markings, 832580 edges, 70181 markings/sec, 0 secs
lola: 616307 markings, 1456878 edges, 53080 markings/sec, 5 secs
lola: 861142 markings, 2083655 edges, 48967 markings/sec, 10 secs
lola: 1102175 markings, 2712963 edges, 48207 markings/sec, 15 secs
lola: 1350765 markings, 3359563 edges, 49718 markings/sec, 20 secs
lola: 1584735 markings, 3995199 edges, 46794 markings/sec, 25 secs
lola: 1819375 markings, 4623733 edges, 46928 markings/sec, 30 secs
lola: 2048190 markings, 5261214 edges, 45763 markings/sec, 35 secs
lola: 2274007 markings, 5898604 edges, 45163 markings/sec, 40 secs
lola: 2504620 markings, 6516411 edges, 46123 markings/sec, 45 secs
lola: 2727131 markings, 7159106 edges, 44502 markings/sec, 50 secs
lola: 2957757 markings, 7789949 edges, 46125 markings/sec, 55 secs
lola: 3181894 markings, 8437261 edges, 44827 markings/sec, 60 secs
lola: 3404491 markings, 9075661 edges, 44519 markings/sec, 65 secs
lola: 3624821 markings, 9708119 edges, 44066 markings/sec, 70 secs
lola: 3850365 markings, 10352264 edges, 45109 markings/sec, 75 secs
lola: 4068922 markings, 10981933 edges, 43711 markings/sec, 80 secs
lola: 4286965 markings, 11636816 edges, 43609 markings/sec, 85 secs
lola: 4507882 markings, 12266345 edges, 44183 markings/sec, 90 secs
lola: 4724966 markings, 12893840 edges, 43417 markings/sec, 95 secs
lola: 4942252 markings, 13507778 edges, 43457 markings/sec, 100 secs
lola: 5156365 markings, 14122976 edges, 42823 markings/sec, 105 secs
lola: 5374055 markings, 14748294 edges, 43538 markings/sec, 110 secs
lola: 5586007 markings, 15375462 edges, 42390 markings/sec, 115 secs
lola: 5797454 markings, 15995204 edges, 42289 markings/sec, 120 secs
lola: 6019761 markings, 16626049 edges, 44461 markings/sec, 125 secs
lola: 6229049 markings, 17255453 edges, 41858 markings/sec, 130 secs
lola: 6440758 markings, 17862483 edges, 42342 markings/sec, 135 secs
lola: 6653943 markings, 18528111 edges, 42637 markings/sec, 140 secs
lola: 6861159 markings, 19136088 edges, 41443 markings/sec, 145 secs
lola: 7067251 markings, 19758331 edges, 41218 markings/sec, 150 secs
lola: 7271999 markings, 20404988 edges, 40950 markings/sec, 155 secs
lola: 7478877 markings, 21025135 edges, 41376 markings/sec, 160 secs
lola: 7681413 markings, 21655093 edges, 40507 markings/sec, 165 secs
lola: 7885818 markings, 22259277 edges, 40881 markings/sec, 170 secs
lola: 8088338 markings, 22893320 edges, 40504 markings/sec, 175 secs
lola: 8296635 markings, 23520240 edges, 41659 markings/sec, 180 secs
lola: 8504460 markings, 24156205 edges, 41565 markings/sec, 185 secs
lola: 8712819 markings, 24767045 edges, 41672 markings/sec, 190 secs
lola: 8916988 markings, 25373790 edges, 40834 markings/sec, 195 secs
lola: 9124282 markings, 25995987 edges, 41459 markings/sec, 200 secs
lola: 9333347 markings, 26603154 edges, 41813 markings/sec, 205 secs
lola: 9539948 markings, 27208617 edges, 41320 markings/sec, 210 secs
lola: 9744781 markings, 27820653 edges, 40967 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 409766 markings, 409898 edges, 81953 markings/sec, 0 secs
lola: 812486 markings, 812619 edges, 80544 markings/sec, 5 secs
lola: 1208872 markings, 1209005 edges, 79277 markings/sec, 10 secs
lola: 1601352 markings, 1601485 edges, 78496 markings/sec, 15 secs
lola: 1992668 markings, 1992801 edges, 78263 markings/sec, 20 secs
lola: 2374608 markings, 2374740 edges, 76388 markings/sec, 25 secs
lola: 2740645 markings, 2740777 edges, 73207 markings/sec, 30 secs
lola: 3108621 markings, 3108753 edges, 73595 markings/sec, 35 secs
lola: 3494622 markings, 3494754 edges, 77200 markings/sec, 40 secs
lola: 3862067 markings, 3862199 edges, 73489 markings/sec, 45 secs
lola: 4225249 markings, 4225382 edges, 72636 markings/sec, 50 secs
lola: 4588700 markings, 4588832 edges, 72690 markings/sec, 55 secs
lola: 4945877 markings, 4946010 edges, 71435 markings/sec, 60 secs
lola: 5303478 markings, 5303611 edges, 71520 markings/sec, 65 secs
lola: 5661770 markings, 5661903 edges, 71658 markings/sec, 70 secs
lola: 6021293 markings, 6021425 edges, 71905 markings/sec, 75 secs
lola: 6400339 markings, 6400472 edges, 75809 markings/sec, 80 secs
lola: 6780348 markings, 6780481 edges, 76002 markings/sec, 85 secs
lola: 7159100 markings, 7159232 edges, 75750 markings/sec, 90 secs
lola: 7537810 markings, 7537943 edges, 75742 markings/sec, 95 secs
lola: 7917514 markings, 7917647 edges, 75941 markings/sec, 100 secs
lola: 8296368 markings, 8296500 edges, 75771 markings/sec, 105 secs
lola: 8676252 markings, 8676384 edges, 75977 markings/sec, 110 secs
lola: 9054846 markings, 9054978 edges, 75719 markings/sec, 115 secs
lola: 9429613 markings, 9429746 edges, 74953 markings/sec, 120 secs
lola: 9811281 markings, 9811413 edges, 76334 markings/sec, 125 secs
lola: 10190968 markings, 10191100 edges, 75937 markings/sec, 130 secs
lola: 10570626 markings, 10570758 edges, 75932 markings/sec, 135 secs
lola: 10952034 markings, 10952166 edges, 76282 markings/sec, 140 secs
lola: 11331410 markings, 11331542 edges, 75875 markings/sec, 145 secs
lola: 11709583 markings, 11709715 edges, 75635 markings/sec, 150 secs
lola: 12088569 markings, 12088701 edges, 75797 markings/sec, 155 secs
lola: 12466343 markings, 12466475 edges, 75555 markings/sec, 160 secs
lola: 12846154 markings, 12846287 edges, 75962 markings/sec, 165 secs
lola: 13228021 markings, 13228153 edges, 76373 markings/sec, 170 secs
lola: 13606675 markings, 13606808 edges, 75731 markings/sec, 175 secs
lola: 13986631 markings, 13986763 edges, 75991 markings/sec, 180 secs
lola: 14365457 markings, 14365589 edges, 75765 markings/sec, 185 secs
lola: 14743793 markings, 14743926 edges, 75667 markings/sec, 190 secs
lola: 15121590 markings, 15121722 edges, 75559 markings/sec, 195 secs
lola: 15498012 markings, 15498144 edges, 75284 markings/sec, 200 secs
lola: 15870641 markings, 15870774 edges, 74526 markings/sec, 205 secs
lola: 16241919 markings, 16242052 edges, 74256 markings/sec, 210 secs
lola: 16612298 markings, 16612430 edges, 74076 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBufferSlots)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 263919 markings, 1028365 edges, 52784 markings/sec, 0 secs
lola: 517779 markings, 2029875 edges, 50772 markings/sec, 5 secs
lola: 816636 markings, 2819907 edges, 59771 markings/sec, 10 secs
lola: 1050351 markings, 3870531 edges, 46743 markings/sec, 15 secs
lola: 1456553 markings, 4276747 edges, 81240 markings/sec, 20 secs
lola: 1757044 markings, 5033770 edges, 60098 markings/sec, 25 secs
lola: 1933184 markings, 6244772 edges, 35228 markings/sec, 30 secs
lola: 2098068 markings, 7523749 edges, 32977 markings/sec, 35 secs
lola: 2274961 markings, 8847869 edges, 35379 markings/sec, 40 secs
lola: 2453261 markings, 10117925 edges, 35660 markings/sec, 45 secs
lola: 2683085 markings, 11003471 edges, 45965 markings/sec, 50 secs
lola: 2899873 markings, 11929306 edges, 43358 markings/sec, 55 secs
lola: 3132914 markings, 12917105 edges, 46608 markings/sec, 60 secs
lola: 3445997 markings, 13680677 edges, 62617 markings/sec, 65 secs
lola: 3622835 markings, 14899689 edges, 35368 markings/sec, 70 secs
lola: 3916857 markings, 15729593 edges, 58804 markings/sec, 75 secs
lola: 4107884 markings, 16955716 edges, 38205 markings/sec, 80 secs
lola: 4515309 markings, 17363152 edges, 81485 markings/sec, 85 secs
lola: 4847361 markings, 18001480 edges, 66410 markings/sec, 90 secs
lola: 5015960 markings, 19185416 edges, 33720 markings/sec, 95 secs
lola: 5175233 markings, 20370627 edges, 31855 markings/sec, 100 secs
lola: 5339013 markings, 21644411 edges, 32756 markings/sec, 105 secs
lola: 5503059 markings, 22889284 edges, 32809 markings/sec, 110 secs
lola: 5855058 markings, 23494279 edges, 70400 markings/sec, 115 secs
lola: 6267307 markings, 23906529 edges, 82450 markings/sec, 120 secs
lola: 6679954 markings, 24319175 edges, 82529 markings/sec, 125 secs
lola: 7091558 markings, 24730780 edges, 82321 markings/sec, 130 secs
lola: 7502829 markings, 25142051 edges, 82254 markings/sec, 135 secs
lola: 7917151 markings, 25556373 edges, 82864 markings/sec, 140 secs
lola: 8328269 markings, 25967490 edges, 82224 markings/sec, 145 secs
lola: 8740066 markings, 26379288 edges, 82359 markings/sec, 150 secs
lola: 9152163 markings, 26791385 edges, 82419 markings/sec, 155 secs
lola: 9562488 markings, 27201710 edges, 82065 markings/sec, 160 secs
lola: 9975708 markings, 27614930 edges, 82644 markings/sec, 165 secs
lola: 10386765 markings, 28025987 edges, 82211 markings/sec, 170 secs
lola: 10796548 markings, 28435770 edges, 81957 markings/sec, 175 secs
lola: 11207383 markings, 28846605 edges, 82167 markings/sec, 180 secs
lola: 11615640 markings, 29254861 edges, 81651 markings/sec, 185 secs
lola: 12026284 markings, 29665505 edges, 82129 markings/sec, 190 secs
lola: 12435420 markings, 30074641 edges, 81827 markings/sec, 195 secs
lola: 12842543 markings, 30481765 edges, 81425 markings/sec, 200 secs
lola: 13251350 markings, 30890571 edges, 81761 markings/sec, 205 secs
lola: 13661681 markings, 31300902 edges, 82066 markings/sec, 210 secs
lola: 14073596 markings, 31712818 edges, 82383 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 412120 markings, 412253 edges, 82424 markings/sec, 0 secs
lola: 811365 markings, 811498 edges, 79849 markings/sec, 5 secs
lola: 1206494 markings, 1206627 edges, 79026 markings/sec, 10 secs
lola: 1597157 markings, 1597290 edges, 78133 markings/sec, 15 secs
lola: 1987479 markings, 1987611 edges, 78064 markings/sec, 20 secs
lola: 2380367 markings, 2380500 edges, 78578 markings/sec, 25 secs
lola: 2770822 markings, 2770955 edges, 78091 markings/sec, 30 secs
lola: 3160406 markings, 3160539 edges, 77917 markings/sec, 35 secs
lola: 3550651 markings, 3550783 edges, 78049 markings/sec, 40 secs
lola: 3938868 markings, 3939000 edges, 77643 markings/sec, 45 secs
lola: 4327737 markings, 4327869 edges, 77774 markings/sec, 50 secs
lola: 4715018 markings, 4715151 edges, 77456 markings/sec, 55 secs
lola: 5099085 markings, 5099218 edges, 76813 markings/sec, 60 secs
lola: 5482620 markings, 5482752 edges, 76707 markings/sec, 65 secs
lola: 5865046 markings, 5865179 edges, 76485 markings/sec, 70 secs
lola: 6246833 markings, 6246965 edges, 76357 markings/sec, 75 secs
lola: 6632982 markings, 6633115 edges, 77230 markings/sec, 80 secs
lola: 7018041 markings, 7018173 edges, 77012 markings/sec, 85 secs
lola: 7401679 markings, 7401811 edges, 76728 markings/sec, 90 secs
lola: 7784803 markings, 7784936 edges, 76625 markings/sec, 95 secs
lola: 8166393 markings, 8166525 edges, 76318 markings/sec, 100 secs
lola: 8549734 markings, 8549867 edges, 76668 markings/sec, 105 secs
lola: 8934692 markings, 8934825 edges, 76992 markings/sec, 110 secs
lola: 9318926 markings, 9319058 edges, 76847 markings/sec, 115 secs
lola: 9702075 markings, 9702207 edges, 76630 markings/sec, 120 secs
lola: 10083975 markings, 10084107 edges, 76380 markings/sec, 125 secs
lola: 10462955 markings, 10463088 edges, 75796 markings/sec, 130 secs
lola: 10843599 markings, 10843732 edges, 76129 markings/sec, 135 secs
lola: 11222837 markings, 11222970 edges, 75848 markings/sec, 140 secs
lola: 11599962 markings, 11600094 edges, 75425 markings/sec, 145 secs
lola: 11977659 markings, 11977791 edges, 75539 markings/sec, 150 secs
lola: 12354481 markings, 12354613 edges, 75364 markings/sec, 155 secs
lola: 12731377 markings, 12731509 edges, 75379 markings/sec, 160 secs
lola: 13109850 markings, 13109982 edges, 75695 markings/sec, 165 secs
lola: 13488125 markings, 13488257 edges, 75655 markings/sec, 170 secs
lola: 13866036 markings, 13866168 edges, 75582 markings/sec, 175 secs
lola: 14242942 markings, 14243075 edges, 75381 markings/sec, 180 secs
lola: 14617782 markings, 14617914 edges, 74968 markings/sec, 185 secs
lola: 14995262 markings, 14995395 edges, 75496 markings/sec, 190 secs
lola: 15371723 markings, 15371855 edges, 75292 markings/sec, 195 secs
lola: 15746417 markings, 15746549 edges, 74939 markings/sec, 200 secs
lola: 16121801 markings, 16121933 edges, 75077 markings/sec, 205 secs
lola: 16495523 markings, 16495655 edges, 74744 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 349095 markings, 828976 edges, 69819 markings/sec, 0 secs
lola: 611821 markings, 1445154 edges, 52545 markings/sec, 5 secs
lola: 854449 markings, 2063613 edges, 48526 markings/sec, 10 secs
lola: 1093078 markings, 2688473 edges, 47726 markings/sec, 15 secs
lola: 1337569 markings, 3325195 edges, 48898 markings/sec, 20 secs
lola: 1569011 markings, 3953486 edges, 46288 markings/sec, 25 secs
lola: 1799915 markings, 4573524 edges, 46181 markings/sec, 30 secs
lola: 2027592 markings, 5207075 edges, 45535 markings/sec, 35 secs
lola: 2252758 markings, 5839311 edges, 45033 markings/sec, 40 secs
lola: 2481170 markings, 6449029 edges, 45682 markings/sec, 45 secs
lola: 2699077 markings, 7084693 edges, 43581 markings/sec, 50 secs
lola: 2928517 markings, 7703772 edges, 45888 markings/sec, 55 secs
lola: 3150825 markings, 8348550 edges, 44462 markings/sec, 60 secs
lola: 3374525 markings, 8987326 edges, 44740 markings/sec, 65 secs
lola: 3590589 markings, 9614390 edges, 43213 markings/sec, 70 secs
lola: 3814715 markings, 10245286 edges, 44825 markings/sec, 75 secs
lola: 4030237 markings, 10871698 edges, 43104 markings/sec, 80 secs
lola: 4247913 markings, 11510692 edges, 43535 markings/sec, 85 secs
lola: 4459234 markings, 12142302 edges, 42264 markings/sec, 90 secs
lola: 4681454 markings, 12765293 edges, 44444 markings/sec, 95 secs
lola: 4896182 markings, 13365490 edges, 42946 markings/sec, 100 secs
lola: 5110112 markings, 13988494 edges, 42786 markings/sec, 105 secs
lola: 5325710 markings, 14606607 edges, 43120 markings/sec, 110 secs
lola: 5538425 markings, 15236883 edges, 42543 markings/sec, 115 secs
lola: 5752166 markings, 15864283 edges, 42748 markings/sec, 120 secs
lola: 5976218 markings, 16486936 edges, 44810 markings/sec, 125 secs
lola: 6188180 markings, 17126593 edges, 42392 markings/sec, 130 secs
lola: 6394624 markings, 17732069 edges, 41289 markings/sec, 135 secs
lola: 6609941 markings, 18381435 edges, 43063 markings/sec, 140 secs
lola: 6817108 markings, 19001585 edges, 41433 markings/sec, 145 secs
lola: 7020760 markings, 19624024 edges, 40730 markings/sec, 150 secs
lola: 7227843 markings, 20266217 edges, 41417 markings/sec, 155 secs
lola: 7433225 markings, 20888107 edges, 41076 markings/sec, 160 secs
lola: 7636236 markings, 21513319 edges, 40602 markings/sec, 165 secs
lola: 7840462 markings, 22122505 edges, 40845 markings/sec, 170 secs
lola: 8040490 markings, 22744127 edges, 40006 markings/sec, 175 secs
lola: 8244322 markings, 23362118 edges, 40766 markings/sec, 180 secs
lola: 8451685 markings, 23997904 edges, 41473 markings/sec, 185 secs
lola: 8663360 markings, 24621536 edges, 42335 markings/sec, 190 secs
lola: 8871987 markings, 25230630 edges, 41725 markings/sec, 195 secs
lola: 9074377 markings, 25852620 edges, 40478 markings/sec, 200 secs
lola: 9285254 markings, 26458779 edges, 42175 markings/sec, 205 secs
lola: 9490475 markings, 27069061 edges, 41044 markings/sec, 210 secs
lola: 9697637 markings, 27683087 edges, 41432 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 220073 markings, 1382577 edges, 44015 markings/sec, 0 secs
lola: 442927 markings, 2952445 edges, 44571 markings/sec, 5 secs
lola: 663656 markings, 4556171 edges, 44146 markings/sec, 10 secs
lola: 879969 markings, 6187961 edges, 43263 markings/sec, 15 secs
lola: 1088235 markings, 7843525 edges, 41653 markings/sec, 20 secs
lola: 1297437 markings, 9383279 edges, 41840 markings/sec, 25 secs
lola: 1506896 markings, 11021659 edges, 41892 markings/sec, 30 secs
lola: 1714900 markings, 12674617 edges, 41601 markings/sec, 35 secs
lola: 1917169 markings, 14353835 edges, 40454 markings/sec, 40 secs
lola: 2108706 markings, 16053285 edges, 38307 markings/sec, 45 secs
lola: 2319728 markings, 17558310 edges, 42204 markings/sec, 50 secs
lola: 2528640 markings, 19180456 edges, 41782 markings/sec, 55 secs
lola: 2730749 markings, 20797367 edges, 40422 markings/sec, 60 secs
lola: 2926541 markings, 22412974 edges, 39158 markings/sec, 65 secs
lola: 3114998 markings, 24072751 edges, 37691 markings/sec, 70 secs
lola: 3317361 markings, 25687299 edges, 40473 markings/sec, 75 secs
lola: 3511749 markings, 27319858 edges, 38878 markings/sec, 80 secs
lola: 3695747 markings, 28959782 edges, 36800 markings/sec, 85 secs
lola: 3887028 markings, 30619745 edges, 38256 markings/sec, 90 secs
lola: 4074491 markings, 32354660 edges, 37493 markings/sec, 95 secs
lola: 4263382 markings, 34000045 edges, 37778 markings/sec, 100 secs
lola: 4463963 markings, 35499906 edges, 40116 markings/sec, 105 secs
lola: 4671668 markings, 37126527 edges, 41541 markings/sec, 110 secs
lola: 4875365 markings, 38740806 edges, 40739 markings/sec, 115 secs
lola: 5072422 markings, 40385926 edges, 39411 markings/sec, 120 secs
lola: 5257844 markings, 42038136 edges, 37084 markings/sec, 125 secs
lola: 5457211 markings, 43607441 edges, 39873 markings/sec, 130 secs
lola: 5649636 markings, 45243040 edges, 38485 markings/sec, 135 secs
lola: 5835636 markings, 46878474 edges, 37200 markings/sec, 140 secs
lola: 6015991 markings, 48488013 edges, 36071 markings/sec, 145 secs
lola: 6199702 markings, 50180780 edges, 36742 markings/sec, 150 secs
lola: 6385013 markings, 51801181 edges, 37062 markings/sec, 155 secs
lola: 6575482 markings, 53373820 edges, 38094 markings/sec, 160 secs
lola: 6762721 markings, 54992521 edges, 37448 markings/sec, 165 secs
lola: 6946756 markings, 56605899 edges, 36807 markings/sec, 170 secs
lola: 7126660 markings, 58216324 edges, 35981 markings/sec, 175 secs
lola: 7300094 markings, 59867543 edges, 34687 markings/sec, 180 secs
lola: 7487519 markings, 61522009 edges, 37485 markings/sec, 185 secs
lola: 7668829 markings, 63168269 edges, 36262 markings/sec, 190 secs
lola: 7838009 markings, 64791103 edges, 33836 markings/sec, 195 secs
lola: 8018436 markings, 66475801 edges, 36085 markings/sec, 200 secs
lola: 8190833 markings, 68176338 edges, 34479 markings/sec, 205 secs
lola: 8355507 markings, 69877371 edges, 32935 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + Reques... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 704 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 412083 markings, 412215 edges, 82417 markings/sec, 0 secs
lola: 815345 markings, 815477 edges, 80652 markings/sec, 5 secs
lola: 1215288 markings, 1215420 edges, 79989 markings/sec, 10 secs
lola: 1611452 markings, 1611584 edges, 79233 markings/sec, 15 secs
lola: 2006376 markings, 2006508 edges, 78985 markings/sec, 20 secs
lola: 2401293 markings, 2401425 edges, 78983 markings/sec, 25 secs
lola: 2793990 markings, 2794122 edges, 78539 markings/sec, 30 secs
lola: 3184479 markings, 3184612 edges, 78098 markings/sec, 35 secs
lola: 3576044 markings, 3576176 edges, 78313 markings/sec, 40 secs
lola: 3965761 markings, 3965893 edges, 77943 markings/sec, 45 secs
lola: 4356106 markings, 4356238 edges, 78069 markings/sec, 50 secs
lola: 4746819 markings, 4746952 edges, 78143 markings/sec, 55 secs
lola: 5134808 markings, 5134940 edges, 77598 markings/sec, 60 secs
lola: 5521468 markings, 5521601 edges, 77332 markings/sec, 65 secs
lola: 5905504 markings, 5905636 edges, 76807 markings/sec, 70 secs
lola: 6288057 markings, 6288189 edges, 76511 markings/sec, 75 secs
lola: 6675611 markings, 6675743 edges, 77511 markings/sec, 80 secs
lola: 7061690 markings, 7061822 edges, 77216 markings/sec, 85 secs
lola: 7446845 markings, 7446977 edges, 77031 markings/sec, 90 secs
lola: 7830931 markings, 7831063 edges, 76817 markings/sec, 95 secs
lola: 8211925 markings, 8212057 edges, 76199 markings/sec, 100 secs
lola: 8594844 markings, 8594977 edges, 76584 markings/sec, 105 secs
lola: 8977452 markings, 8977584 edges, 76522 markings/sec, 110 secs
lola: 9359329 markings, 9359461 edges, 76375 markings/sec, 115 secs
lola: 9741104 markings, 9741236 edges, 76355 markings/sec, 120 secs
lola: 10124156 markings, 10124288 edges, 76610 markings/sec, 125 secs
lola: 10504999 markings, 10505131 edges, 76169 markings/sec, 130 secs
lola: 10889289 markings, 10889421 edges, 76858 markings/sec, 135 secs
lola: 11271976 markings, 11272108 edges, 76537 markings/sec, 140 secs
lola: 11653471 markings, 11653603 edges, 76299 markings/sec, 145 secs
lola: 12035102 markings, 12035234 edges, 76326 markings/sec, 150 secs
lola: 12415260 markings, 12415392 edges, 76032 markings/sec, 155 secs
lola: 12797101 markings, 12797233 edges, 76368 markings/sec, 160 secs
lola: 13177699 markings, 13177832 edges, 76120 markings/sec, 165 secs
lola: 13556645 markings, 13556777 edges, 75789 markings/sec, 170 secs
lola: 13934986 markings, 13935119 edges, 75668 markings/sec, 175 secs
lola: 14312018 markings, 14312150 edges, 75406 markings/sec, 180 secs
lola: 14687140 markings, 14687272 edges, 75024 markings/sec, 185 secs
lola: 15065876 markings, 15066008 edges, 75747 markings/sec, 190 secs
lola: 15445754 markings, 15445886 edges, 75976 markings/sec, 195 secs
lola: 15824461 markings, 15824593 edges, 75741 markings/sec, 200 secs
lola: 16203286 markings, 16203418 edges, 75765 markings/sec, 205 secs
lola: 16581403 markings, 16581535 edges, 75623 markings/sec, 210 secs
lola: 16960327 markings, 16960459 edges, 75785 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CSRepetitions-COL-05-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496448851095
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_CSRepetitions-PT-05"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_CSRepetitions-PT-05.tgz
mv S_CSRepetitions-PT-05 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CSRepetitions-PT-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455500119"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;