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-3254
Executing tool lola
Input is S_SimpleLoadBal-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443433200389
=====================================================================

--------------------
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 SimpleLoadBal-COL-20-UpperBounds-0
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-1
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-10
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-11
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-12
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-13
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-14
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-15
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-2
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-3
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-4
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-5
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-6
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-7
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-8
FORMULA_NAME SimpleLoadBal-COL-20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496451804754


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SimpleLoadBal-PT-20: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_SimpleLoadBal-PT-20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SimpleLoadBal-PT-20 @ 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: 2399/65536 symbol table entries, 194 collisions
lola: preprocessing...
lola: finding significant places
lola: 194 places, 2205 transitions, 145 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3571 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-COL-20-UpperBounds.task
lola: MAX(P-server_processed_1 + P-server_processed_2) : MAX(P-server_processed_1 + P-server_processed_2) : MAX(P-server_waiting_1 + P-server_waiting_2) : MAX(P-server_waiting_1 + P-server_waiting_2) : MAX(P-server_request_14_1 + P-server_request_14_2 + P-server_request_15_1 + P-server_request_15_2 + P-server_request_16_1 + P-server_request_16_2 + P-server_request_17_1 + P-server_request_17_2 + P-server_request_12_2 + P-server_request_12_1 + P-server_request_11_2 + P-server_request_11_1 + P-server_request_1_1 + P-server_request_1_2 + P-server_request_18_1 + P-server_request_18_2 + P-server_request_2_1 + P-server_request_2_2 + P-server_request_19_1 + P-server_request_19_2 + P-server_request_10_2 + P-server_request_10_1 + P-server_request_9_1 + P-server_request_8_1 + P-server_request_7_2 + P-server_request_3_1 + P-server_request_3_2 + P-server_request_4_1 + P-server_request_4_2 + P-server_request_5_1 + P-server_request_5_2 + P-server_request_6_1 + P-server_request_6_2 + P-server_request_20_1 + P-server_request_20_2 + P-server_request_7_1 + P-server_request_8_2 + P-server_request_9_2 + P-server_request_13_1 + P-server_request_13_2) : MAX(P-server_processed_1 + P-server_processed_2) : MAX(P-lb_load_2_10 + P-lb_load_2_11 + P-lb_load_2_12 + P-lb_load_2_13 + P-lb_load_2_14 + P-lb_load_2_15 + P-lb_load_2_16 + P-lb_load_2_17 + P-lb_load_2_18 + P-lb_load_2_19 + P-lb_load_2_20 + P-lb_load_1_0 + P-lb_load_1_1 + P-lb_load_1_2 + P-lb_load_1_3 + P-lb_load_1_4 + P-lb_load_1_5 + P-lb_load_1_6 + P-lb_load_1_7 + P-lb_load_1_8 + P-lb_load_1_9 + P-lb_load_2_0 + P-lb_load_2_1 + P-lb_load_2_2 + P-lb_load_2_3 + P-lb_load_2_4 + P-lb_load_2_5 + P-lb_load_2_6 + P-lb_load_2_7 + P-lb_load_2_8 + P-lb_load_1_10 + P-lb_load_1_11 + P-lb_load_1_12 + P-lb_load_1_13 + P-lb_load_1_14 + P-lb_load_1_15 + P-lb_load_1_16 + P-lb_load_1_17 + P-lb_load_1_18 + P-lb_load_1_19 + P-lb_load_1_20 + P-lb_load_2_9) : MAX(P-server_processed_1 + P-server_processed_2) : MAX(P-server_notification_1 + P-server_notification_2) : MAX(P-client_waiting_9 + P-client_waiting_8 + P-client_waiting_7 + P-client_waiting_6 + P-client_waiting_5 + P-client_waiting_4 + P-client_waiting_3 + P-client_waiting_2 + P-client_waiting_1 + P-client_waiting_20 + P-client_waiting_19 + P-client_waiting_18 + P-client_waiting_17 + P-client_waiting_16 + P-client_waiting_15 + P-client_waiting_14 + P-client_waiting_13 + P-client_waiting_12 + P-client_waiting_11 + P-client_waiting_10) : MAX(P-client_ack_1 + P-client_ack_2 + P-client_ack_3 + P-client_ack_4 + P-client_ack_5 + P-client_ack_6 + P-client_ack_7 + P-client_ack_8 + P-client_ack_9 + P-client_ack_10 + P-client_ack_11 + P-client_ack_12 + P-client_ack_13 + P-client_ack_14 + P-client_ack_15 + P-client_ack_16 + P-client_ack_17 + P-client_ack_18 + P-client_ack_19 + P-client_ack_20) : MAX(P-client_idle_1 + P-client_idle_2 + P-client_idle_3 + P-client_idle_4 + P-client_idle_5 + P-client_idle_6 + P-client_idle_7 + P-client_idle_8 + P-client_idle_9 + P-client_idle_10 + P-client_idle_11 + P-client_idle_12 + P-client_idle_13 + P-client_idle_14 + P-client_idle_15 + P-client_idle_16 + P-client_idle_17 + P-client_idle_18 + P-client_idle_19 + P-client_idle_20) : MAX(P-lb_routing_1_1 + P-lb_routing_1_2 + P-lb_routing_1_3 + P-lb_routing_1_4 + P-lb_routing_1_5 + P-lb_routing_1_6 + P-lb_routing_1_7 + P-lb_routing_1_8 + P-lb_routing_1_9 + P-lb_routing_1_10 + P-lb_routing_1_11 + P-lb_routing_1_12 + P-lb_routing_1_13 + P-lb_routing_1_14 + P-lb_routing_1_15 + P-lb_routing_1_16 + P-lb_routing_1_17 + P-lb_routing_1_18 + P-lb_routing_1_19 + P-lb_routing_1_20) : MAX(P-lb_routing_1_1 + P-lb_routing_1_2 + P-lb_routing_1_3 + P-lb_routing_1_4 + P-lb_routing_1_5 + P-lb_routing_1_6 + P-lb_routing_1_7 + P-lb_routing_1_8 + P-lb_routing_1_9 + P-lb_routing_1_10 + P-lb_routing_1_11 + P-lb_routing_1_12 + P-lb_routing_1_13 + P-lb_routing_1_14 + P-lb_routing_1_15 + P-lb_routing_1_16 + P-lb_routing_1_17 + P-lb_routing_1_18 + P-lb_routing_1_19 + P-lb_routing_1_20) : MAX(P-server_request_14_1 + P-server_request_14_2 + P-server_request_15_1 + P-server_request_15_2 + P-server_request_16_1 + P-server_request_16_2 + P-server_request_17_1 + P-server_request_17_2 + P-server_request_12_2 + P-server_request_12_1 + P-server_request_11_2 + P-server_request_11_1 + P-server_request_1_1 + P-server_request_1_2 + P-server_request_18_1 + P-server_request_18_2 + P-server_request_2_1 + P-server_request_2_2 + P-server_request_19_1 + P-server_request_19_2 + P-server_request_10_2 + P-server_request_10_1 + P-server_request_9_1 + P-server_request_8_1 + P-server_request_7_2 + P-server_request_3_1 + P-server_request_3_2 + P-server_request_4_1 + P-server_request_4_2 + P-server_request_5_1 + P-server_request_5_2 + P-server_request_6_1 + P-server_request_6_2 + P-server_request_20_1 + P-server_request_20_2 + P-server_request_7_1 + P-server_request_8_2 + P-server_request_9_2 + P-server_request_13_1 + P-server_request_13_2) : MAX(P-server_waiting_1 + P-server_waiting_2)
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(P-server_processed_1 + P-server_processed_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 19493 markings, 41811 edges, 3899 markings/sec, 0 secs
lola: 41034 markings, 92171 edges, 4308 markings/sec, 5 secs
lola: 62655 markings, 143129 edges, 4324 markings/sec, 10 secs
lola: 84547 markings, 195749 edges, 4378 markings/sec, 15 secs
lola: 106569 markings, 250082 edges, 4404 markings/sec, 20 secs
lola: 128132 markings, 303696 edges, 4313 markings/sec, 25 secs
lola: 149243 markings, 356526 edges, 4222 markings/sec, 30 secs
lola: 170679 markings, 410268 edges, 4287 markings/sec, 35 secs
lola: 191425 markings, 461967 edges, 4149 markings/sec, 40 secs
lola: 213053 markings, 518005 edges, 4326 markings/sec, 45 secs
lola: 235706 markings, 575886 edges, 4531 markings/sec, 50 secs
lola: 259077 markings, 634765 edges, 4674 markings/sec, 55 secs
lola: 282014 markings, 694237 edges, 4587 markings/sec, 60 secs
lola: 305157 markings, 754736 edges, 4629 markings/sec, 65 secs
lola: 328420 markings, 814865 edges, 4653 markings/sec, 70 secs
lola: 351627 markings, 875217 edges, 4641 markings/sec, 75 secs
lola: 374905 markings, 936242 edges, 4656 markings/sec, 80 secs
lola: 398209 markings, 997613 edges, 4661 markings/sec, 85 secs
lola: 421295 markings, 1057266 edges, 4617 markings/sec, 90 secs
lola: 444570 markings, 1118752 edges, 4655 markings/sec, 95 secs
lola: 467553 markings, 1179327 edges, 4597 markings/sec, 100 secs
lola: 490069 markings, 1239079 edges, 4503 markings/sec, 105 secs
lola: 512688 markings, 1298478 edges, 4524 markings/sec, 110 secs
lola: 535611 markings, 1359994 edges, 4585 markings/sec, 115 secs
lola: 558812 markings, 1421028 edges, 4640 markings/sec, 120 secs
lola: 581560 markings, 1480229 edges, 4550 markings/sec, 125 secs
lola: 604567 markings, 1542899 edges, 4601 markings/sec, 130 secs
lola: 626969 markings, 1601367 edges, 4480 markings/sec, 135 secs
lola: 647946 markings, 1655987 edges, 4195 markings/sec, 140 secs
lola: 669550 markings, 1712572 edges, 4321 markings/sec, 145 secs
lola: 690286 markings, 1767159 edges, 4147 markings/sec, 150 secs
lola: 712470 markings, 1824631 edges, 4437 markings/sec, 155 secs
lola: 734626 markings, 1884707 edges, 4431 markings/sec, 160 secs
lola: 756971 markings, 1943733 edges, 4469 markings/sec, 165 secs
lola: 777571 markings, 1999286 edges, 4120 markings/sec, 170 secs
lola: 798309 markings, 2054349 edges, 4148 markings/sec, 175 secs
lola: 817693 markings, 2105699 edges, 3877 markings/sec, 180 secs
lola: 836991 markings, 2157181 edges, 3860 markings/sec, 185 secs
lola: 857366 markings, 2210613 edges, 4075 markings/sec, 190 secs
lola: 877781 markings, 2264687 edges, 4083 markings/sec, 195 secs
lola: 900552 markings, 2325280 edges, 4554 markings/sec, 200 secs
lola: 923241 markings, 2385157 edges, 4538 markings/sec, 205 secs
lola: 946315 markings, 2447872 edges, 4615 markings/sec, 210 secs
lola: 969290 markings, 2509962 edges, 4595 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(P-server_processed_1 + P-server_processed_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24408 markings, 53110 edges, 4882 markings/sec, 0 secs
lola: 48829 markings, 110265 edges, 4884 markings/sec, 5 secs
lola: 72037 markings, 165517 edges, 4642 markings/sec, 10 secs
lola: 95107 markings, 221906 edges, 4614 markings/sec, 15 secs
lola: 117907 markings, 277960 edges, 4560 markings/sec, 20 secs
lola: 141680 markings, 337504 edges, 4755 markings/sec, 25 secs
lola: 165326 markings, 396884 edges, 4729 markings/sec, 30 secs
lola: 188792 markings, 455322 edges, 4693 markings/sec, 35 secs
lola: 213153 markings, 518242 edges, 4872 markings/sec, 40 secs
lola: 236223 markings, 577105 edges, 4614 markings/sec, 45 secs
lola: 257821 markings, 631611 edges, 4320 markings/sec, 50 secs
lola: 280040 markings, 689024 edges, 4444 markings/sec, 55 secs
lola: 301693 markings, 745303 edges, 4331 markings/sec, 60 secs
lola: 323456 markings, 801819 edges, 4353 markings/sec, 65 secs
lola: 345214 markings, 858842 edges, 4352 markings/sec, 70 secs
lola: 366974 markings, 915808 edges, 4352 markings/sec, 75 secs
lola: 388710 markings, 972450 edges, 4347 markings/sec, 80 secs
lola: 410248 markings, 1028580 edges, 4308 markings/sec, 85 secs
lola: 432487 markings, 1086725 edges, 4448 markings/sec, 90 secs
lola: 455477 markings, 1148097 edges, 4598 markings/sec, 95 secs
lola: 478281 markings, 1207460 edges, 4561 markings/sec, 100 secs
lola: 501126 markings, 1268008 edges, 4569 markings/sec, 105 secs
lola: 523954 markings, 1328863 edges, 4566 markings/sec, 110 secs
lola: 545673 markings, 1386672 edges, 4344 markings/sec, 115 secs
lola: 566824 markings, 1441528 edges, 4230 markings/sec, 120 secs
lola: 588647 markings, 1499506 edges, 4365 markings/sec, 125 secs
lola: 611350 markings, 1561062 edges, 4541 markings/sec, 130 secs
lola: 634733 markings, 1621917 edges, 4677 markings/sec, 135 secs
lola: 656955 markings, 1679462 edges, 4444 markings/sec, 140 secs
lola: 679912 markings, 1740351 edges, 4591 markings/sec, 145 secs
lola: 701868 markings, 1797447 edges, 4391 markings/sec, 150 secs
lola: 723925 markings, 1855568 edges, 4411 markings/sec, 155 secs
lola: 746107 markings, 1915264 edges, 4436 markings/sec, 160 secs
lola: 768360 markings, 1974142 edges, 4451 markings/sec, 165 secs
lola: 790635 markings, 2033675 edges, 4455 markings/sec, 170 secs
lola: 812801 markings, 2092888 edges, 4433 markings/sec, 175 secs
lola: 834691 markings, 2150786 edges, 4378 markings/sec, 180 secs
lola: 856851 markings, 2209276 edges, 4432 markings/sec, 185 secs
lola: 879030 markings, 2268217 edges, 4436 markings/sec, 190 secs
lola: 901330 markings, 2327243 edges, 4460 markings/sec, 195 secs
lola: 923736 markings, 2386515 edges, 4481 markings/sec, 200 secs
lola: 945439 markings, 2445414 edges, 4341 markings/sec, 205 secs
lola: 968474 markings, 2507764 edges, 4607 markings/sec, 210 secs
lola: 991139 markings, 2569153 edges, 4533 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(P-server_waiting_1 + P-server_waiting_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24552 markings, 51904 edges, 4910 markings/sec, 0 secs
lola: 49724 markings, 109485 edges, 5034 markings/sec, 5 secs
lola: 74274 markings, 167419 edges, 4910 markings/sec, 10 secs
lola: 99099 markings, 226643 edges, 4965 markings/sec, 15 secs
lola: 123288 markings, 284921 edges, 4838 markings/sec, 20 secs
lola: 146744 markings, 341781 edges, 4691 markings/sec, 25 secs
lola: 170635 markings, 400229 edges, 4778 markings/sec, 30 secs
lola: 195242 markings, 460721 edges, 4921 markings/sec, 35 secs
lola: 219472 markings, 520825 edges, 4846 markings/sec, 40 secs
lola: 243971 markings, 581425 edges, 4900 markings/sec, 45 secs
lola: 268100 markings, 641493 edges, 4826 markings/sec, 50 secs
lola: 292560 markings, 701652 edges, 4892 markings/sec, 55 secs
lola: 316956 markings, 763124 edges, 4879 markings/sec, 60 secs
lola: 340948 markings, 824071 edges, 4798 markings/sec, 65 secs
lola: 365460 markings, 885021 edges, 4902 markings/sec, 70 secs
lola: 389902 markings, 947292 edges, 4888 markings/sec, 75 secs
lola: 414496 markings, 1009119 edges, 4919 markings/sec, 80 secs
lola: 438150 markings, 1069467 edges, 4731 markings/sec, 85 secs
lola: 462511 markings, 1131385 edges, 4872 markings/sec, 90 secs
lola: 486479 markings, 1193237 edges, 4794 markings/sec, 95 secs
lola: 510485 markings, 1255495 edges, 4801 markings/sec, 100 secs
lola: 534887 markings, 1318736 edges, 4880 markings/sec, 105 secs
lola: 559571 markings, 1381903 edges, 4937 markings/sec, 110 secs
lola: 584041 markings, 1446012 edges, 4894 markings/sec, 115 secs
lola: 608499 markings, 1509091 edges, 4892 markings/sec, 120 secs
lola: 633149 markings, 1570355 edges, 4930 markings/sec, 125 secs
lola: 657918 markings, 1635044 edges, 4954 markings/sec, 130 secs
lola: 681518 markings, 1696284 edges, 4720 markings/sec, 135 secs
lola: 705487 markings, 1758406 edges, 4794 markings/sec, 140 secs
lola: 729792 markings, 1821270 edges, 4861 markings/sec, 145 secs
lola: 754392 markings, 1885948 edges, 4920 markings/sec, 150 secs
lola: 778891 markings, 1950139 edges, 4900 markings/sec, 155 secs
lola: 803278 markings, 2013929 edges, 4877 markings/sec, 160 secs
lola: 827714 markings, 2077687 edges, 4887 markings/sec, 165 secs
lola: 852213 markings, 2141574 edges, 4900 markings/sec, 170 secs
lola: 876881 markings, 2207084 edges, 4934 markings/sec, 175 secs
lola: 900893 markings, 2270397 edges, 4802 markings/sec, 180 secs
lola: 923599 markings, 2329930 edges, 4541 markings/sec, 185 secs
lola: 947873 markings, 2394385 edges, 4855 markings/sec, 190 secs
lola: 972284 markings, 2459004 edges, 4882 markings/sec, 195 secs
lola: 995405 markings, 2519271 edges, 4624 markings/sec, 200 secs
lola: 1020322 markings, 2585304 edges, 4983 markings/sec, 205 secs
lola: 1044906 markings, 2650214 edges, 4917 markings/sec, 210 secs
lola: 1069649 markings, 2715727 edges, 4949 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(P-server_waiting_1 + P-server_waiting_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24314 markings, 51405 edges, 4863 markings/sec, 0 secs
lola: 49398 markings, 108681 edges, 5017 markings/sec, 5 secs
lola: 74766 markings, 168599 edges, 5074 markings/sec, 10 secs
lola: 99826 markings, 228204 edges, 5012 markings/sec, 15 secs
lola: 124771 markings, 288385 edges, 4989 markings/sec, 20 secs
lola: 149629 markings, 348538 edges, 4972 markings/sec, 25 secs
lola: 174381 markings, 409480 edges, 4950 markings/sec, 30 secs
lola: 199407 markings, 470930 edges, 5005 markings/sec, 35 secs
lola: 224177 markings, 532606 edges, 4954 markings/sec, 40 secs
lola: 249425 markings, 595270 edges, 5050 markings/sec, 45 secs
lola: 274128 markings, 656233 edges, 4941 markings/sec, 50 secs
lola: 298907 markings, 717648 edges, 4956 markings/sec, 55 secs
lola: 323838 markings, 780957 edges, 4986 markings/sec, 60 secs
lola: 348493 markings, 843150 edges, 4931 markings/sec, 65 secs
lola: 373364 markings, 905172 edges, 4974 markings/sec, 70 secs
lola: 398448 markings, 968269 edges, 5017 markings/sec, 75 secs
lola: 423616 markings, 1032491 edges, 5034 markings/sec, 80 secs
lola: 449153 markings, 1097561 edges, 5107 markings/sec, 85 secs
lola: 474259 markings, 1161701 edges, 5021 markings/sec, 90 secs
lola: 499176 markings, 1226139 edges, 4983 markings/sec, 95 secs
lola: 523716 markings, 1289562 edges, 4908 markings/sec, 100 secs
lola: 548741 markings, 1353658 edges, 5005 markings/sec, 105 secs
lola: 573118 markings, 1417673 edges, 4875 markings/sec, 110 secs
lola: 598480 markings, 1483685 edges, 5072 markings/sec, 115 secs
lola: 623839 markings, 1546962 edges, 5072 markings/sec, 120 secs
lola: 649207 markings, 1611927 edges, 5074 markings/sec, 125 secs
lola: 673857 markings, 1676464 edges, 4930 markings/sec, 130 secs
lola: 699092 markings, 1741780 edges, 5047 markings/sec, 135 secs
lola: 724786 markings, 1808369 edges, 5139 markings/sec, 140 secs
lola: 750322 markings, 1875188 edges, 5107 markings/sec, 145 secs
lola: 775977 markings, 1942616 edges, 5131 markings/sec, 150 secs
lola: 801220 markings, 2008393 edges, 5049 markings/sec, 155 secs
lola: 826786 markings, 2075211 edges, 5113 markings/sec, 160 secs
lola: 852397 markings, 2142090 edges, 5122 markings/sec, 165 secs
lola: 878092 markings, 2210426 edges, 5139 markings/sec, 170 secs
lola: 903760 markings, 2277648 edges, 5134 markings/sec, 175 secs
lola: 929339 markings, 2345597 edges, 5116 markings/sec, 180 secs
lola: 955038 markings, 2413276 edges, 5140 markings/sec, 185 secs
lola: 980823 markings, 2481303 edges, 5157 markings/sec, 190 secs
lola: 1006605 markings, 2548651 edges, 5156 markings/sec, 195 secs
lola: 1031641 markings, 2615129 edges, 5007 markings/sec, 200 secs
lola: 1057262 markings, 2683058 edges, 5124 markings/sec, 205 secs
lola: 1083037 markings, 2750847 edges, 5155 markings/sec, 210 secs
lola: 1108798 markings, 2820148 edges, 5152 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(P-server_request_14_1 + P-server_request_14_2 + P-server_request_15_1 + P-server_request_15_2 + P-server_request_16_1 + P-server_request_16_2 + P-server_request_17_1 + P-server_request_17_2 + P-server_request_12_2 + P-server_request_12_1 + P-server_request_11_2 + P-server_request_11_1 + P-server_request_1_1 + P-server_request_1_2 + P-server_request_18_1 + P-server_request_18_2 + P-server_reque... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 34557 markings, 43363 edges, 6911 markings/sec, 0 secs
lola: 69450 markings, 87806 edges, 6979 markings/sec, 5 secs
lola: 102981 markings, 130320 edges, 6706 markings/sec, 10 secs
lola: 136746 markings, 173254 edges, 6753 markings/sec, 15 secs
lola: 170357 markings, 216349 edges, 6722 markings/sec, 20 secs
lola: 202740 markings, 257804 edges, 6477 markings/sec, 25 secs
lola: 233379 markings, 297159 edges, 6128 markings/sec, 30 secs
lola: 265426 markings, 338428 edges, 6409 markings/sec, 35 secs
lola: 300034 markings, 383025 edges, 6922 markings/sec, 40 secs
lola: 333933 markings, 427203 edges, 6780 markings/sec, 45 secs
lola: 367752 markings, 471099 edges, 6764 markings/sec, 50 secs
lola: 401680 markings, 515289 edges, 6786 markings/sec, 55 secs
lola: 435794 markings, 559591 edges, 6823 markings/sec, 60 secs
lola: 469934 markings, 603907 edges, 6828 markings/sec, 65 secs
lola: 504017 markings, 648035 edges, 6817 markings/sec, 70 secs
lola: 537674 markings, 692032 edges, 6731 markings/sec, 75 secs
lola: 570048 markings, 734992 edges, 6475 markings/sec, 80 secs
lola: 603860 markings, 778701 edges, 6762 markings/sec, 85 secs
lola: 637367 markings, 822716 edges, 6701 markings/sec, 90 secs
lola: 670148 markings, 866443 edges, 6556 markings/sec, 95 secs
lola: 703732 markings, 910372 edges, 6717 markings/sec, 100 secs
lola: 737252 markings, 954408 edges, 6704 markings/sec, 105 secs
lola: 770192 markings, 998257 edges, 6588 markings/sec, 110 secs
lola: 803288 markings, 1042461 edges, 6619 markings/sec, 115 secs
lola: 836749 markings, 1086342 edges, 6692 markings/sec, 120 secs
lola: 869402 markings, 1129622 edges, 6531 markings/sec, 125 secs
lola: 901619 markings, 1171851 edges, 6443 markings/sec, 130 secs
lola: 934925 markings, 1215763 edges, 6661 markings/sec, 135 secs
lola: 967900 markings, 1259564 edges, 6595 markings/sec, 140 secs
lola: 1001967 markings, 1303726 edges, 6813 markings/sec, 145 secs
lola: 1034610 markings, 1346860 edges, 6529 markings/sec, 150 secs
lola: 1068065 markings, 1390646 edges, 6691 markings/sec, 155 secs
lola: 1101365 markings, 1434232 edges, 6660 markings/sec, 160 secs
lola: 1134294 markings, 1477787 edges, 6586 markings/sec, 165 secs
lola: 1167412 markings, 1520886 edges, 6624 markings/sec, 170 secs
lola: 1199039 markings, 1563072 edges, 6325 markings/sec, 175 secs
lola: 1230799 markings, 1605485 edges, 6352 markings/sec, 180 secs
lola: 1262630 markings, 1648420 edges, 6366 markings/sec, 185 secs
lola: 1295156 markings, 1691767 edges, 6505 markings/sec, 190 secs
lola: 1327990 markings, 1734764 edges, 6567 markings/sec, 195 secs
lola: 1360246 markings, 1777433 edges, 6451 markings/sec, 200 secs
lola: 1392521 markings, 1820326 edges, 6455 markings/sec, 205 secs
lola: 1425080 markings, 1864066 edges, 6512 markings/sec, 210 secs
lola: 1456475 markings, 1906418 edges, 6279 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(P-server_processed_1 + P-server_processed_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 25841 markings, 56476 edges, 5168 markings/sec, 0 secs
lola: 51976 markings, 117578 edges, 5227 markings/sec, 5 secs
lola: 77104 markings, 177647 edges, 5026 markings/sec, 10 secs
lola: 102028 markings, 238755 edges, 4985 markings/sec, 15 secs
lola: 127270 markings, 301523 edges, 5048 markings/sec, 20 secs
lola: 151928 markings, 363299 edges, 4932 markings/sec, 25 secs
lola: 176418 markings, 424615 edges, 4898 markings/sec, 30 secs
lola: 200816 markings, 486365 edges, 4880 markings/sec, 35 secs
lola: 225918 markings, 550848 edges, 5020 markings/sec, 40 secs
lola: 251294 markings, 615162 edges, 5075 markings/sec, 45 secs
lola: 276573 markings, 680129 edges, 5056 markings/sec, 50 secs
lola: 301694 markings, 745308 edges, 5024 markings/sec, 55 secs
lola: 327265 markings, 811839 edges, 5114 markings/sec, 60 secs
lola: 351425 markings, 874669 edges, 4832 markings/sec, 65 secs
lola: 375074 markings, 936620 edges, 4730 markings/sec, 70 secs
lola: 399779 markings, 1001776 edges, 4941 markings/sec, 75 secs
lola: 424278 markings, 1065140 edges, 4900 markings/sec, 80 secs
lola: 448936 markings, 1130466 edges, 4932 markings/sec, 85 secs
lola: 473794 markings, 1195614 edges, 4972 markings/sec, 90 secs
lola: 498957 markings, 1262571 edges, 5033 markings/sec, 95 secs
lola: 523556 markings, 1327839 edges, 4920 markings/sec, 100 secs
lola: 548323 markings, 1393357 edges, 4953 markings/sec, 105 secs
lola: 572076 markings, 1455351 edges, 4751 markings/sec, 110 secs
lola: 596803 markings, 1521645 edges, 4945 markings/sec, 115 secs
lola: 620965 markings, 1585969 edges, 4832 markings/sec, 120 secs
lola: 643290 markings, 1644094 edges, 4465 markings/sec, 125 secs
lola: 664028 markings, 1697985 edges, 4148 markings/sec, 130 secs
lola: 688394 markings, 1762428 edges, 4873 markings/sec, 135 secs
lola: 713764 markings, 1828289 edges, 5074 markings/sec, 140 secs
lola: 738663 markings, 1895528 edges, 4980 markings/sec, 145 secs
lola: 763749 markings, 1962361 edges, 5017 markings/sec, 150 secs
lola: 788940 markings, 2029274 edges, 5038 markings/sec, 155 secs
lola: 813399 markings, 2094424 edges, 4892 markings/sec, 160 secs
lola: 838211 markings, 2160350 edges, 4962 markings/sec, 165 secs
lola: 863217 markings, 2225838 edges, 5001 markings/sec, 170 secs
lola: 888189 markings, 2292359 edges, 4994 markings/sec, 175 secs
lola: 912900 markings, 2357604 edges, 4942 markings/sec, 180 secs
lola: 937862 markings, 2425201 edges, 4992 markings/sec, 185 secs
lola: 963267 markings, 2494180 edges, 5081 markings/sec, 190 secs
lola: 988087 markings, 2561057 edges, 4964 markings/sec, 195 secs
lola: 1012957 markings, 2629180 edges, 4974 markings/sec, 200 secs
lola: 1037960 markings, 2695759 edges, 5001 markings/sec, 205 secs
lola: 1063279 markings, 2764604 edges, 5064 markings/sec, 210 secs
lola: 1088387 markings, 2831320 edges, 5022 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(P-lb_load_2_10 + P-lb_load_2_11 + P-lb_load_2_12 + P-lb_load_2_13 + P-lb_load_2_14 + P-lb_load_2_15 + P-lb_load_2_16 + P-lb_load_2_17 + P-lb_load_2_18 + P-lb_load_2_19 + P-lb_load_2_20 + P-lb_load_1_0 + P-lb_load_1_1 + P-lb_load_1_2 + P-lb_load_1_3 + P-lb_load_1_4 + P-lb_load_1_5 + P-lb_load_1_6 + P-lb_load_1_7 + P-lb_load_1_8 + P-lb_load_1_9 + P-lb_load_2_0 + P-lb_load_2_1 + P-lb_load_2_2 + P... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 7 will run for 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_processed_1 + P-server_processed_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24922 markings, 54303 edges, 4984 markings/sec, 0 secs
lola: 51154 markings, 115587 edges, 5246 markings/sec, 5 secs
lola: 76838 markings, 177011 edges, 5137 markings/sec, 10 secs
lola: 102537 markings, 239978 edges, 5140 markings/sec, 15 secs
lola: 128584 markings, 304821 edges, 5209 markings/sec, 20 secs
lola: 153979 markings, 368380 edges, 5079 markings/sec, 25 secs
lola: 179747 markings, 432963 edges, 5154 markings/sec, 30 secs
lola: 205325 markings, 497800 edges, 5116 markings/sec, 35 secs
lola: 230955 markings, 563869 edges, 5126 markings/sec, 40 secs
lola: 256511 markings, 628215 edges, 5111 markings/sec, 45 secs
lola: 282508 markings, 695570 edges, 5199 markings/sec, 50 secs
lola: 307972 markings, 761810 edges, 5093 markings/sec, 55 secs
lola: 333519 markings, 828249 edges, 5109 markings/sec, 60 secs
lola: 358801 markings, 894183 edges, 5056 markings/sec, 65 secs
lola: 384167 markings, 960396 edges, 5073 markings/sec, 70 secs
lola: 409410 markings, 1026496 edges, 5049 markings/sec, 75 secs
lola: 434802 markings, 1092421 edges, 5078 markings/sec, 80 secs
lola: 460300 markings, 1160902 edges, 5100 markings/sec, 85 secs
lola: 485415 markings, 1226831 edges, 5023 markings/sec, 90 secs
lola: 510233 markings, 1291847 edges, 4964 markings/sec, 95 secs
lola: 535357 markings, 1359230 edges, 5025 markings/sec, 100 secs
lola: 560632 markings, 1425640 edges, 5055 markings/sec, 105 secs
lola: 585679 markings, 1491318 edges, 5009 markings/sec, 110 secs
lola: 610668 markings, 1559250 edges, 4998 markings/sec, 115 secs
lola: 636582 markings, 1626450 edges, 5183 markings/sec, 120 secs
lola: 661575 markings, 1691492 edges, 4999 markings/sec, 125 secs
lola: 686748 markings, 1758343 edges, 5035 markings/sec, 130 secs
lola: 711923 markings, 1823244 edges, 5035 markings/sec, 135 secs
lola: 736834 markings, 1890621 edges, 4982 markings/sec, 140 secs
lola: 762006 markings, 1957699 edges, 5034 markings/sec, 145 secs
lola: 787074 markings, 2024531 edges, 5014 markings/sec, 150 secs
lola: 812187 markings, 2091236 edges, 5023 markings/sec, 155 secs
lola: 837202 markings, 2157800 edges, 5003 markings/sec, 160 secs
lola: 862174 markings, 2223198 edges, 4994 markings/sec, 165 secs
lola: 887202 markings, 2289560 edges, 5006 markings/sec, 170 secs
lola: 911961 markings, 2355213 edges, 4952 markings/sec, 175 secs
lola: 937007 markings, 2422804 edges, 5009 markings/sec, 180 secs
lola: 962283 markings, 2491452 edges, 5055 markings/sec, 185 secs
lola: 987139 markings, 2558421 edges, 4971 markings/sec, 190 secs
lola: 1012243 markings, 2627202 edges, 5021 markings/sec, 195 secs
lola: 1036925 markings, 2693087 edges, 4936 markings/sec, 200 secs
lola: 1062043 markings, 2761312 edges, 5024 markings/sec, 205 secs
lola: 1086978 markings, 2827361 edges, 4987 markings/sec, 210 secs
lola: 1112505 markings, 2897073 edges, 5105 markings/sec, 215 secs
lola: 1137787 markings, 2966462 edges, 5056 markings/sec, 220 secs
lola: 1163062 markings, 3034909 edges, 5055 markings/sec, 225 secs
lola: 1188854 markings, 3106804 edges, 5158 markings/sec, 230 secs
lola: 1214239 markings, 3176890 edges, 5077 markings/sec, 235 secs
lola: 1238685 markings, 3242715 edges, 4889 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_notification_1 + P-server_notification_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 26976 markings, 57466 edges, 5395 markings/sec, 0 secs
lola: 54122 markings, 119856 edges, 5429 markings/sec, 5 secs
lola: 81160 markings, 184044 edges, 5408 markings/sec, 10 secs
lola: 108079 markings, 247908 edges, 5384 markings/sec, 15 secs
lola: 134979 markings, 313159 edges, 5380 markings/sec, 20 secs
lola: 162308 markings, 379489 edges, 5466 markings/sec, 25 secs
lola: 189154 markings, 445988 edges, 5369 markings/sec, 30 secs
lola: 215969 markings, 512289 edges, 5363 markings/sec, 35 secs
lola: 243001 markings, 579044 edges, 5406 markings/sec, 40 secs
lola: 269929 markings, 646060 edges, 5386 markings/sec, 45 secs
lola: 296673 markings, 711942 edges, 5349 markings/sec, 50 secs
lola: 323426 markings, 779809 edges, 5351 markings/sec, 55 secs
lola: 350173 markings, 847238 edges, 5349 markings/sec, 60 secs
lola: 376966 markings, 914457 edges, 5359 markings/sec, 65 secs
lola: 403700 markings, 981713 edges, 5347 markings/sec, 70 secs
lola: 430300 markings, 1049336 edges, 5320 markings/sec, 75 secs
lola: 457288 markings, 1117769 edges, 5398 markings/sec, 80 secs
lola: 483918 markings, 1186699 edges, 5326 markings/sec, 85 secs
lola: 508636 markings, 1250647 edges, 4944 markings/sec, 90 secs
lola: 535449 markings, 1320158 edges, 5363 markings/sec, 95 secs
lola: 559383 markings, 1381484 edges, 4787 markings/sec, 100 secs
lola: 586044 markings, 1451365 edges, 5332 markings/sec, 105 secs
lola: 613216 markings, 1520938 edges, 5434 markings/sec, 110 secs
lola: 640317 markings, 1588742 edges, 5420 markings/sec, 115 secs
lola: 666391 markings, 1657199 edges, 5215 markings/sec, 120 secs
lola: 692393 markings, 1724300 edges, 5200 markings/sec, 125 secs
lola: 718510 markings, 1792254 edges, 5223 markings/sec, 130 secs
lola: 744515 markings, 1859946 edges, 5201 markings/sec, 135 secs
lola: 770669 markings, 1928617 edges, 5231 markings/sec, 140 secs
lola: 796697 markings, 1996536 edges, 5206 markings/sec, 145 secs
lola: 822737 markings, 2064629 edges, 5208 markings/sec, 150 secs
lola: 848606 markings, 2132508 edges, 5174 markings/sec, 155 secs
lola: 874406 markings, 2200538 edges, 5160 markings/sec, 160 secs
lola: 900199 markings, 2268679 edges, 5159 markings/sec, 165 secs
lola: 925673 markings, 2335603 edges, 5095 markings/sec, 170 secs
lola: 952210 markings, 2405748 edges, 5307 markings/sec, 175 secs
lola: 980009 markings, 2479164 edges, 5560 markings/sec, 180 secs
lola: 1007505 markings, 2551264 edges, 5499 markings/sec, 185 secs
lola: 1034911 markings, 2624105 edges, 5481 markings/sec, 190 secs
lola: 1063405 markings, 2699256 edges, 5699 markings/sec, 195 secs
lola: 1091773 markings, 2774283 edges, 5674 markings/sec, 200 secs
lola: 1119553 markings, 2848981 edges, 5556 markings/sec, 205 secs
lola: 1147315 markings, 2922180 edges, 5552 markings/sec, 210 secs
lola: 1175001 markings, 2995259 edges, 5537 markings/sec, 215 secs
lola: 1203443 markings, 3072055 edges, 5688 markings/sec, 220 secs
lola: 1231342 markings, 3147572 edges, 5580 markings/sec, 225 secs
lola: 1258583 markings, 3220463 edges, 5448 markings/sec, 230 secs
lola: 1286421 markings, 3294985 edges, 5568 markings/sec, 235 secs
lola: 1314898 markings, 3370809 edges, 5695 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_waiting_9 + P-client_waiting_8 + P-client_waiting_7 + P-client_waiting_6 + P-client_waiting_5 + P-client_waiting_4 + P-client_waiting_3 + P-client_waiting_2 + P-client_waiting_1 + P-client_waiting_20 + P-client_waiting_19 + P-client_waiting_18 + P-client_waiting_17 + P-client_waiting_16 + P-client_waiting_15 + P-client_waiting_14 + P-client_waiting_13 + P-client_waiting_12 + P-client_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24251 markings, 89951 edges, 4850 markings/sec, 0 secs
lola: 49447 markings, 202148 edges, 5039 markings/sec, 5 secs
lola: 74474 markings, 290893 edges, 5005 markings/sec, 10 secs
lola: 98719 markings, 384498 edges, 4849 markings/sec, 15 secs
lola: 123506 markings, 482274 edges, 4957 markings/sec, 20 secs
lola: 148914 markings, 590258 edges, 5082 markings/sec, 25 secs
lola: 174684 markings, 706215 edges, 5154 markings/sec, 30 secs
lola: 199654 markings, 829131 edges, 4994 markings/sec, 35 secs
lola: 223407 markings, 924721 edges, 4751 markings/sec, 40 secs
lola: 248408 markings, 1032513 edges, 5000 markings/sec, 45 secs
lola: 273200 markings, 1132670 edges, 4958 markings/sec, 50 secs
lola: 297174 markings, 1238183 edges, 4795 markings/sec, 55 secs
lola: 321714 markings, 1352036 edges, 4908 markings/sec, 60 secs
lola: 346252 markings, 1458659 edges, 4908 markings/sec, 65 secs
lola: 370516 markings, 1565484 edges, 4853 markings/sec, 70 secs
lola: 394096 markings, 1664263 edges, 4716 markings/sec, 75 secs
lola: 418597 markings, 1780123 edges, 4900 markings/sec, 80 secs
lola: 442303 markings, 1879030 edges, 4741 markings/sec, 85 secs
lola: 466711 markings, 1989670 edges, 4882 markings/sec, 90 secs
lola: 490084 markings, 2089660 edges, 4675 markings/sec, 95 secs
lola: 514069 markings, 2206032 edges, 4797 markings/sec, 100 secs
lola: 538867 markings, 2309810 edges, 4960 markings/sec, 105 secs
lola: 563563 markings, 2423637 edges, 4939 markings/sec, 110 secs
lola: 588011 markings, 2535149 edges, 4890 markings/sec, 115 secs
lola: 611601 markings, 2635433 edges, 4718 markings/sec, 120 secs
lola: 635029 markings, 2735156 edges, 4686 markings/sec, 125 secs
lola: 658846 markings, 2835844 edges, 4763 markings/sec, 130 secs
lola: 682696 markings, 2950567 edges, 4770 markings/sec, 135 secs
lola: 707078 markings, 3065813 edges, 4876 markings/sec, 140 secs
lola: 731290 markings, 3174172 edges, 4842 markings/sec, 145 secs
lola: 755081 markings, 3278441 edges, 4758 markings/sec, 150 secs
lola: 779217 markings, 3393667 edges, 4827 markings/sec, 155 secs
lola: 803120 markings, 3503816 edges, 4781 markings/sec, 160 secs
lola: 826844 markings, 3606743 edges, 4745 markings/sec, 165 secs
lola: 851259 markings, 3715810 edges, 4883 markings/sec, 170 secs
lola: 875732 markings, 3836428 edges, 4895 markings/sec, 175 secs
lola: 900139 markings, 3945120 edges, 4881 markings/sec, 180 secs
lola: 924189 markings, 4052013 edges, 4810 markings/sec, 185 secs
lola: 947558 markings, 4155001 edges, 4674 markings/sec, 190 secs
lola: 970903 markings, 4256875 edges, 4669 markings/sec, 195 secs
lola: 994966 markings, 4378515 edges, 4813 markings/sec, 200 secs
lola: 1019287 markings, 4486506 edges, 4864 markings/sec, 205 secs
lola: 1043445 markings, 4594549 edges, 4832 markings/sec, 210 secs
lola: 1068064 markings, 4708010 edges, 4924 markings/sec, 215 secs
lola: 1092762 markings, 4830893 edges, 4940 markings/sec, 220 secs
lola: 1116788 markings, 4941143 edges, 4805 markings/sec, 225 secs
lola: 1141659 markings, 5069752 edges, 4974 markings/sec, 230 secs
lola: 1165937 markings, 5178440 edges, 4856 markings/sec, 235 secs
lola: 1190479 markings, 5299528 edges, 4908 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_1 + P-client_ack_2 + P-client_ack_3 + P-client_ack_4 + P-client_ack_5 + P-client_ack_6 + P-client_ack_7 + P-client_ack_8 + P-client_ack_9 + P-client_ack_10 + P-client_ack_11 + P-client_ack_12 + P-client_ack_13 + P-client_ack_14 + P-client_ack_15 + P-client_ack_16 + P-client_ack_17 + P-client_ack_18 + P-client_ack_19 + P-client_ack_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 27060 markings, 59242 edges, 5412 markings/sec, 0 secs
lola: 54822 markings, 124252 edges, 5552 markings/sec, 5 secs
lola: 82630 markings, 191162 edges, 5562 markings/sec, 10 secs
lola: 110417 markings, 259212 edges, 5557 markings/sec, 15 secs
lola: 137861 markings, 328033 edges, 5489 markings/sec, 20 secs
lola: 165230 markings, 396639 edges, 5474 markings/sec, 25 secs
lola: 191019 markings, 460887 edges, 5158 markings/sec, 30 secs
lola: 217168 markings, 528364 edges, 5230 markings/sec, 35 secs
lola: 243352 markings, 595213 edges, 5237 markings/sec, 40 secs
lola: 268237 markings, 658513 edges, 4977 markings/sec, 45 secs
lola: 294687 markings, 726932 edges, 5290 markings/sec, 50 secs
lola: 320823 markings, 794786 edges, 5227 markings/sec, 55 secs
lola: 346969 markings, 863439 edges, 5229 markings/sec, 60 secs
lola: 373687 markings, 933092 edges, 5344 markings/sec, 65 secs
lola: 400508 markings, 1003555 edges, 5364 markings/sec, 70 secs
lola: 426559 markings, 1071344 edges, 5210 markings/sec, 75 secs
lola: 452699 markings, 1140732 edges, 5228 markings/sec, 80 secs
lola: 478492 markings, 1208028 edges, 5159 markings/sec, 85 secs
lola: 505206 markings, 1278552 edges, 5343 markings/sec, 90 secs
lola: 532206 markings, 1350685 edges, 5400 markings/sec, 95 secs
lola: 558965 markings, 1421418 edges, 5352 markings/sec, 100 secs
lola: 584704 markings, 1488831 edges, 5148 markings/sec, 105 secs
lola: 608798 markings, 1554041 edges, 4819 markings/sec, 110 secs
lola: 636201 markings, 1625523 edges, 5481 markings/sec, 115 secs
lola: 662922 markings, 1694921 edges, 5344 markings/sec, 120 secs
lola: 690150 markings, 1766842 edges, 5446 markings/sec, 125 secs
lola: 715276 markings, 1832479 edges, 5025 markings/sec, 130 secs
lola: 739949 markings, 1898987 edges, 4935 markings/sec, 135 secs
lola: 764877 markings, 1965310 edges, 4986 markings/sec, 140 secs
lola: 789706 markings, 2031234 edges, 4966 markings/sec, 145 secs
lola: 814459 markings, 2097100 edges, 4951 markings/sec, 150 secs
lola: 839076 markings, 2162719 edges, 4923 markings/sec, 155 secs
lola: 863755 markings, 2227364 edges, 4936 markings/sec, 160 secs
lola: 888443 markings, 2293023 edges, 4938 markings/sec, 165 secs
lola: 913530 markings, 2359247 edges, 5017 markings/sec, 170 secs
lola: 940629 markings, 2432496 edges, 5420 markings/sec, 175 secs
lola: 967980 markings, 2506560 edges, 5470 markings/sec, 180 secs
lola: 994734 markings, 2578943 edges, 5351 markings/sec, 185 secs
lola: 1019947 markings, 2647864 edges, 5043 markings/sec, 190 secs
lola: 1045598 markings, 2716805 edges, 5130 markings/sec, 195 secs
lola: 1069918 markings, 2782370 edges, 4864 markings/sec, 200 secs
lola: 1094013 markings, 2846452 edges, 4819 markings/sec, 205 secs
lola: 1119516 markings, 2916287 edges, 5101 markings/sec, 210 secs
lola: 1143777 markings, 2982541 edges, 4852 markings/sec, 215 secs
lola: 1168331 markings, 3049799 edges, 4911 markings/sec, 220 secs
lola: 1193532 markings, 3119804 edges, 5040 markings/sec, 225 secs
lola: 1217710 markings, 3186468 edges, 4836 markings/sec, 230 secs
lola: 1243764 markings, 3256078 edges, 5211 markings/sec, 235 secs
lola: 1268563 markings, 3323355 edges, 4960 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_idle_1 + P-client_idle_2 + P-client_idle_3 + P-client_idle_4 + P-client_idle_5 + P-client_idle_6 + P-client_idle_7 + P-client_idle_8 + P-client_idle_9 + P-client_idle_10 + P-client_idle_11 + P-client_idle_12 + P-client_idle_13 + P-client_idle_14 + P-client_idle_15 + P-client_idle_16 + P-client_idle_17 + P-client_idle_18 + P-client_idle_19 + P-client_idle_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 24470 markings, 87512 edges, 4894 markings/sec, 0 secs
lola: 49999 markings, 204234 edges, 5106 markings/sec, 5 secs
lola: 76150 markings, 328735 edges, 5230 markings/sec, 10 secs
lola: 102597 markings, 459024 edges, 5289 markings/sec, 15 secs
lola: 128545 markings, 595156 edges, 5190 markings/sec, 20 secs
lola: 153348 markings, 738945 edges, 4961 markings/sec, 25 secs
lola: 177481 markings, 828161 edges, 4827 markings/sec, 30 secs
lola: 202426 markings, 913126 edges, 4989 markings/sec, 35 secs
lola: 226212 markings, 1001221 edges, 4757 markings/sec, 40 secs
lola: 249592 markings, 1086057 edges, 4676 markings/sec, 45 secs
lola: 273261 markings, 1183814 edges, 4734 markings/sec, 50 secs
lola: 297587 markings, 1278108 edges, 4865 markings/sec, 55 secs
lola: 322519 markings, 1378846 edges, 4986 markings/sec, 60 secs
lola: 347553 markings, 1472920 edges, 5007 markings/sec, 65 secs
lola: 372953 markings, 1570507 edges, 5080 markings/sec, 70 secs
lola: 398221 markings, 1670284 edges, 5054 markings/sec, 75 secs
lola: 423392 markings, 1768756 edges, 5034 markings/sec, 80 secs
lola: 449406 markings, 1886621 edges, 5203 markings/sec, 85 secs
lola: 475005 markings, 1995113 edges, 5120 markings/sec, 90 secs
lola: 500367 markings, 2094949 edges, 5072 markings/sec, 95 secs
lola: 526030 markings, 2194045 edges, 5133 markings/sec, 100 secs
lola: 551840 markings, 2304891 edges, 5162 markings/sec, 105 secs
lola: 577283 markings, 2406465 edges, 5089 markings/sec, 110 secs
lola: 602672 markings, 2508204 edges, 5078 markings/sec, 115 secs
lola: 627771 markings, 2615657 edges, 5020 markings/sec, 120 secs
lola: 652276 markings, 2713517 edges, 4901 markings/sec, 125 secs
lola: 678132 markings, 2819710 edges, 5171 markings/sec, 130 secs
lola: 703315 markings, 2924988 edges, 5037 markings/sec, 135 secs
lola: 727285 markings, 3023279 edges, 4794 markings/sec, 140 secs
lola: 751392 markings, 3128172 edges, 4821 markings/sec, 145 secs
lola: 776054 markings, 3230836 edges, 4932 markings/sec, 150 secs
lola: 801174 markings, 3334797 edges, 5024 markings/sec, 155 secs
lola: 826537 markings, 3442013 edges, 5073 markings/sec, 160 secs
lola: 852114 markings, 3559770 edges, 5115 markings/sec, 165 secs
lola: 877168 markings, 3666871 edges, 5011 markings/sec, 170 secs
lola: 900259 markings, 3761476 edges, 4618 markings/sec, 175 secs
lola: 925702 markings, 3875953 edges, 5089 markings/sec, 180 secs
lola: 952131 markings, 4011985 edges, 5286 markings/sec, 185 secs
lola: 978091 markings, 4154019 edges, 5192 markings/sec, 190 secs
lola: 1004003 markings, 4295113 edges, 5182 markings/sec, 195 secs
lola: 1028174 markings, 4423443 edges, 4834 markings/sec, 200 secs
lola: 1053139 markings, 4540902 edges, 4993 markings/sec, 205 secs
lola: 1078252 markings, 4647250 edges, 5023 markings/sec, 210 secs
lola: 1103224 markings, 4754060 edges, 4994 markings/sec, 215 secs
lola: 1128182 markings, 4859075 edges, 4992 markings/sec, 220 secs
lola: 1153188 markings, 4963885 edges, 5001 markings/sec, 225 secs
lola: 1178196 markings, 5070210 edges, 5002 markings/sec, 230 secs
lola: 1203119 markings, 5175910 edges, 4985 markings/sec, 235 secs
lola: 1226252 markings, 5275165 edges, 4627 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_1 + P-lb_routing_1_2 + P-lb_routing_1_3 + P-lb_routing_1_4 + P-lb_routing_1_5 + P-lb_routing_1_6 + P-lb_routing_1_7 + P-lb_routing_1_8 + P-lb_routing_1_9 + P-lb_routing_1_10 + P-lb_routing_1_11 + P-lb_routing_1_12 + P-lb_routing_1_13 + P-lb_routing_1_14 + P-lb_routing_1_15 + P-lb_routing_1_16 + P-lb_routing_1_17 + P-lb_routing_1_18 + P-lb_routing_1_19 + P-lb_routing_1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 31808 markings, 41151 edges, 6362 markings/sec, 0 secs
lola: 63781 markings, 83527 edges, 6395 markings/sec, 5 secs
lola: 95668 markings, 125769 edges, 6377 markings/sec, 10 secs
lola: 127575 markings, 167899 edges, 6381 markings/sec, 15 secs
lola: 159279 markings, 209679 edges, 6341 markings/sec, 20 secs
lola: 191185 markings, 252372 edges, 6381 markings/sec, 25 secs
lola: 223139 markings, 294707 edges, 6391 markings/sec, 30 secs
lola: 254902 markings, 336766 edges, 6353 markings/sec, 35 secs
lola: 286550 markings, 378682 edges, 6330 markings/sec, 40 secs
lola: 317909 markings, 420788 edges, 6272 markings/sec, 45 secs
lola: 349704 markings, 463103 edges, 6359 markings/sec, 50 secs
lola: 380205 markings, 503646 edges, 6100 markings/sec, 55 secs
lola: 409604 markings, 543295 edges, 5880 markings/sec, 60 secs
lola: 439381 markings, 583161 edges, 5955 markings/sec, 65 secs
lola: 468911 markings, 622537 edges, 5906 markings/sec, 70 secs
lola: 498300 markings, 661716 edges, 5878 markings/sec, 75 secs
lola: 529710 markings, 704075 edges, 6282 markings/sec, 80 secs
lola: 558094 markings, 742117 edges, 5677 markings/sec, 85 secs
lola: 588983 markings, 783115 edges, 6178 markings/sec, 90 secs
lola: 620403 markings, 824962 edges, 6284 markings/sec, 95 secs
lola: 650039 markings, 865188 edges, 5927 markings/sec, 100 secs
lola: 679275 markings, 904400 edges, 5847 markings/sec, 105 secs
lola: 708914 markings, 944169 edges, 5928 markings/sec, 110 secs
lola: 738512 markings, 984215 edges, 5920 markings/sec, 115 secs
lola: 767416 markings, 1023563 edges, 5781 markings/sec, 120 secs
lola: 796865 markings, 1063414 edges, 5890 markings/sec, 125 secs
lola: 823560 markings, 1099388 edges, 5339 markings/sec, 130 secs
lola: 849850 markings, 1134842 edges, 5258 markings/sec, 135 secs
lola: 875514 markings, 1169991 edges, 5133 markings/sec, 140 secs
lola: 901665 markings, 1205446 edges, 5230 markings/sec, 145 secs
lola: 930165 markings, 1243634 edges, 5700 markings/sec, 150 secs
lola: 961801 markings, 1286376 edges, 6327 markings/sec, 155 secs
lola: 992793 markings, 1328666 edges, 6198 markings/sec, 160 secs
lola: 1024010 markings, 1371091 edges, 6243 markings/sec, 165 secs
lola: 1055409 markings, 1413886 edges, 6280 markings/sec, 170 secs
lola: 1086363 markings, 1456219 edges, 6191 markings/sec, 175 secs
lola: 1117368 markings, 1498496 edges, 6201 markings/sec, 180 secs
lola: 1148611 markings, 1541079 edges, 6249 markings/sec, 185 secs
lola: 1180193 markings, 1584126 edges, 6316 markings/sec, 190 secs
lola: 1211224 markings, 1626295 edges, 6206 markings/sec, 195 secs
lola: 1241987 markings, 1668650 edges, 6153 markings/sec, 200 secs
lola: 1272997 markings, 1710660 edges, 6202 markings/sec, 205 secs
lola: 1304033 markings, 1753132 edges, 6207 markings/sec, 210 secs
lola: 1334841 markings, 1795454 edges, 6162 markings/sec, 215 secs
lola: 1365825 markings, 1837951 edges, 6197 markings/sec, 220 secs
lola: 1396834 markings, 1880240 edges, 6202 markings/sec, 225 secs
lola: 1428333 markings, 1923107 edges, 6300 markings/sec, 230 secs
lola: 1459306 markings, 1965581 edges, 6195 markings/sec, 235 secs
lola: 1490270 markings, 2007640 edges, 6193 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_1 + P-lb_routing_1_2 + P-lb_routing_1_3 + P-lb_routing_1_4 + P-lb_routing_1_5 + P-lb_routing_1_6 + P-lb_routing_1_7 + P-lb_routing_1_8 + P-lb_routing_1_9 + P-lb_routing_1_10 + P-lb_routing_1_11 + P-lb_routing_1_12 + P-lb_routing_1_13 + P-lb_routing_1_14 + P-lb_routing_1_15 + P-lb_routing_1_16 + P-lb_routing_1_17 + P-lb_routing_1_18 + P-lb_routing_1_19 + P-lb_routing_1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 31758 markings, 41094 edges, 6352 markings/sec, 0 secs
lola: 63454 markings, 83129 edges, 6339 markings/sec, 5 secs
lola: 95437 markings, 125462 edges, 6397 markings/sec, 10 secs
lola: 127359 markings, 167625 edges, 6384 markings/sec, 15 secs
lola: 159123 markings, 209484 edges, 6353 markings/sec, 20 secs
lola: 191025 markings, 252137 edges, 6380 markings/sec, 25 secs
lola: 223031 markings, 294569 edges, 6401 markings/sec, 30 secs
lola: 254797 markings, 336627 edges, 6353 markings/sec, 35 secs
lola: 286411 markings, 378509 edges, 6323 markings/sec, 40 secs
lola: 317865 markings, 420723 edges, 6291 markings/sec, 45 secs
lola: 349752 markings, 463162 edges, 6377 markings/sec, 50 secs
lola: 381318 markings, 505127 edges, 6313 markings/sec, 55 secs
lola: 412891 markings, 547626 edges, 6315 markings/sec, 60 secs
lola: 444549 markings, 589970 edges, 6332 markings/sec, 65 secs
lola: 476236 markings, 632354 edges, 6337 markings/sec, 70 secs
lola: 507700 markings, 674285 edges, 6293 markings/sec, 75 secs
lola: 539499 markings, 717289 edges, 6360 markings/sec, 80 secs
lola: 571415 markings, 759795 edges, 6383 markings/sec, 85 secs
lola: 603023 markings, 801695 edges, 6322 markings/sec, 90 secs
lola: 634397 markings, 843820 edges, 6275 markings/sec, 95 secs
lola: 665760 markings, 886267 edges, 6273 markings/sec, 100 secs
lola: 697505 markings, 928862 edges, 6349 markings/sec, 105 secs
lola: 729521 markings, 971958 edges, 6403 markings/sec, 110 secs
lola: 760908 markings, 1014603 edges, 6277 markings/sec, 115 secs
lola: 792182 markings, 1057053 edges, 6255 markings/sec, 120 secs
lola: 823780 markings, 1099693 edges, 6320 markings/sec, 125 secs
lola: 855302 markings, 1142295 edges, 6304 markings/sec, 130 secs
lola: 886416 markings, 1184675 edges, 6223 markings/sec, 135 secs
lola: 918221 markings, 1227449 edges, 6361 markings/sec, 140 secs
lola: 949683 markings, 1269979 edges, 6292 markings/sec, 145 secs
lola: 980830 markings, 1312320 edges, 6229 markings/sec, 150 secs
lola: 1011969 markings, 1354749 edges, 6228 markings/sec, 155 secs
lola: 1043338 markings, 1397407 edges, 6274 markings/sec, 160 secs
lola: 1074503 markings, 1439822 edges, 6233 markings/sec, 165 secs
lola: 1105393 markings, 1482021 edges, 6178 markings/sec, 170 secs
lola: 1136289 markings, 1524438 edges, 6179 markings/sec, 175 secs
lola: 1168146 markings, 1567650 edges, 6371 markings/sec, 180 secs
lola: 1199221 markings, 1609805 edges, 6215 markings/sec, 185 secs
lola: 1230316 markings, 1652313 edges, 6219 markings/sec, 190 secs
lola: 1260930 markings, 1694359 edges, 6123 markings/sec, 195 secs
lola: 1291857 markings, 1736512 edges, 6185 markings/sec, 200 secs
lola: 1323082 markings, 1779194 edges, 6245 markings/sec, 205 secs
lola: 1353995 markings, 1821808 edges, 6183 markings/sec, 210 secs
lola: 1385047 markings, 1864281 edges, 6210 markings/sec, 215 secs
lola: 1416159 markings, 1906665 edges, 6222 markings/sec, 220 secs
lola: 1447623 markings, 1949332 edges, 6293 markings/sec, 225 secs
lola: 1478361 markings, 1991471 edges, 6148 markings/sec, 230 secs
lola: 1509241 markings, 2033548 edges, 6176 markings/sec, 235 secs
lola: 1540410 markings, 2076167 edges, 6234 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_14_1 + P-server_request_14_2 + P-server_request_15_1 + P-server_request_15_2 + P-server_request_16_1 + P-server_request_16_2 + P-server_request_17_1 + P-server_request_17_2 + P-server_request_12_2 + P-server_request_12_1 + P-server_request_11_2 + P-server_request_11_1 + P-server_request_1_1 + P-server_request_1_2 + P-server_request_18_1 + P-server_request_18_2 + P-server_reque... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 38168 markings, 47941 edges, 7634 markings/sec, 0 secs
lola: 76518 markings, 96725 edges, 7670 markings/sec, 5 secs
lola: 115271 markings, 146009 edges, 7751 markings/sec, 10 secs
lola: 153998 markings, 195207 edges, 7745 markings/sec, 15 secs
lola: 192241 markings, 244275 edges, 7649 markings/sec, 20 secs
lola: 230173 markings, 292935 edges, 7586 markings/sec, 25 secs
lola: 267924 markings, 341649 edges, 7550 markings/sec, 30 secs
lola: 305553 markings, 390228 edges, 7526 markings/sec, 35 secs
lola: 342485 markings, 438406 edges, 7386 markings/sec, 40 secs
lola: 379854 markings, 486895 edges, 7474 markings/sec, 45 secs
lola: 417282 markings, 535490 edges, 7486 markings/sec, 50 secs
lola: 454352 markings, 583761 edges, 7414 markings/sec, 55 secs
lola: 491618 markings, 632175 edges, 7453 markings/sec, 60 secs
lola: 528886 markings, 680698 edges, 7454 markings/sec, 65 secs
lola: 565252 markings, 728549 edges, 7273 markings/sec, 70 secs
lola: 602689 markings, 777180 edges, 7487 markings/sec, 75 secs
lola: 639372 markings, 825337 edges, 7337 markings/sec, 80 secs
lola: 675352 markings, 873281 edges, 7196 markings/sec, 85 secs
lola: 712414 markings, 921804 edges, 7412 markings/sec, 90 secs
lola: 748946 markings, 969803 edges, 7306 markings/sec, 95 secs
lola: 785119 markings, 1018156 edges, 7235 markings/sec, 100 secs
lola: 821614 markings, 1066531 edges, 7299 markings/sec, 105 secs
lola: 858057 markings, 1114500 edges, 7289 markings/sec, 110 secs
lola: 894959 markings, 1163028 edges, 7380 markings/sec, 115 secs
lola: 931498 markings, 1211298 edges, 7308 markings/sec, 120 secs
lola: 967865 markings, 1259508 edges, 7273 markings/sec, 125 secs
lola: 1005407 markings, 1308243 edges, 7508 markings/sec, 130 secs
lola: 1042376 markings, 1356747 edges, 7394 markings/sec, 135 secs
lola: 1079058 markings, 1405105 edges, 7336 markings/sec, 140 secs
lola: 1116130 markings, 1453408 edges, 7414 markings/sec, 145 secs
lola: 1152715 markings, 1501737 edges, 7317 markings/sec, 150 secs
lola: 1189118 markings, 1549992 edges, 7281 markings/sec, 155 secs
lola: 1225196 markings, 1597980 edges, 7216 markings/sec, 160 secs
lola: 1260803 markings, 1645809 edges, 7121 markings/sec, 165 secs
lola: 1296991 markings, 1694086 edges, 7238 markings/sec, 170 secs
lola: 1333696 markings, 1742334 edges, 7341 markings/sec, 175 secs
lola: 1369754 markings, 1789961 edges, 7212 markings/sec, 180 secs
lola: 1405727 markings, 1838111 edges, 7195 markings/sec, 185 secs
lola: 1440955 markings, 1885985 edges, 7046 markings/sec, 190 secs
lola: 1476899 markings, 1933887 edges, 7189 markings/sec, 195 secs
lola: 1513028 markings, 1982157 edges, 7226 markings/sec, 200 secs
lola: 1548443 markings, 2030015 edges, 7083 markings/sec, 205 secs
lola: 1584775 markings, 2078280 edges, 7266 markings/sec, 210 secs
lola: 1620671 markings, 2126339 edges, 7179 markings/sec, 215 secs
lola: 1657417 markings, 2174930 edges, 7349 markings/sec, 220 secs
lola: 1693917 markings, 2223092 edges, 7300 markings/sec, 225 secs
lola: 1729421 markings, 2271116 edges, 7101 markings/sec, 230 secs
lola: 1765121 markings, 2319200 edges, 7140 markings/sec, 235 secs
lola: 1800527 markings, 2366702 edges, 7081 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_waiting_1 + P-server_waiting_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 580 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: 28396 markings, 60615 edges, 5679 markings/sec, 0 secs
lola: 58246 markings, 129638 edges, 5970 markings/sec, 5 secs
lola: 88200 markings, 200773 edges, 5991 markings/sec, 10 secs
lola: 117907 markings, 271874 edges, 5941 markings/sec, 15 secs
lola: 147889 markings, 344400 edges, 5996 markings/sec, 20 secs
lola: 177561 markings, 417332 edges, 5934 markings/sec, 25 secs
lola: 207298 markings, 490849 edges, 5947 markings/sec, 30 secs
lola: 236887 markings, 564242 edges, 5918 markings/sec, 35 secs
lola: 266612 markings, 637542 edges, 5945 markings/sec, 40 secs
lola: 295860 markings, 709963 edges, 5850 markings/sec, 45 secs
lola: 325453 markings, 785075 edges, 5919 markings/sec, 50 secs
lola: 354815 markings, 858673 edges, 5872 markings/sec, 55 secs
lola: 384487 markings, 933285 edges, 5934 markings/sec, 60 secs
lola: 414203 markings, 1008416 edges, 5943 markings/sec, 65 secs
lola: 443675 markings, 1083230 edges, 5894 markings/sec, 70 secs
lola: 473001 markings, 1158396 edges, 5865 markings/sec, 75 secs
lola: 502402 markings, 1234433 edges, 5880 markings/sec, 80 secs
lola: 531715 markings, 1310164 edges, 5863 markings/sec, 85 secs
lola: 559628 markings, 1382046 edges, 5583 markings/sec, 90 secs
lola: 589075 markings, 1459106 edges, 5889 markings/sec, 95 secs
lola: 618343 markings, 1533645 edges, 5854 markings/sec, 100 secs
lola: 648141 markings, 1609152 edges, 5960 markings/sec, 105 secs
lola: 677442 markings, 1685947 edges, 5860 markings/sec, 110 secs
lola: 706742 markings, 1761506 edges, 5860 markings/sec, 115 secs
lola: 736211 markings, 1838297 edges, 5894 markings/sec, 120 secs
lola: 765843 markings, 1915658 edges, 5926 markings/sec, 125 secs
lola: 795228 markings, 1992653 edges, 5877 markings/sec, 130 secs
lola: 824615 markings, 2069542 edges, 5877 markings/sec, 135 secs
lola: 854021 markings, 2146074 edges, 5881 markings/sec, 140 secs
lola: 883156 markings, 2223796 edges, 5827 markings/sec, 145 secs
lola: 912082 markings, 2299937 edges, 5785 markings/sec, 150 secs
lola: 941653 markings, 2377862 edges, 5914 markings/sec, 155 secs
lola: 971020 markings, 2455617 edges, 5873 markings/sec, 160 secs
lola: 1000313 markings, 2532073 edges, 5859 markings/sec, 165 secs
lola: 1029506 markings, 2609490 edges, 5839 markings/sec, 170 secs
lola: 1058646 markings, 2686730 edges, 5828 markings/sec, 175 secs
lola: 1087841 markings, 2763873 edges, 5839 markings/sec, 180 secs
lola: 1117395 markings, 2843192 edges, 5911 markings/sec, 185 secs
lola: 1146858 markings, 2920908 edges, 5893 markings/sec, 190 secs
lola: 1176108 markings, 2998094 edges, 5850 markings/sec, 195 secs
lola: 1205465 markings, 3077520 edges, 5871 markings/sec, 200 secs
lola: 1234640 markings, 3156777 edges, 5835 markings/sec, 205 secs
lola: 1263990 markings, 3234750 edges, 5870 markings/sec, 210 secs
lola: 1293319 markings, 3313676 edges, 5866 markings/sec, 215 secs
lola: 1322516 markings, 3390697 edges, 5839 markings/sec, 220 secs
lola: 1351466 markings, 3467635 edges, 5790 markings/sec, 225 secs
lola: 1380695 markings, 3545306 edges, 5846 markings/sec, 230 secs
lola: 1409866 markings, 3623392 edges, 5834 markings/sec, 235 secs
lola: 1439182 markings, 3703269 edges, 5863 markings/sec, 240 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown 2 unknown unknown unknown unknown unknown unknown unknown unknowncaught signal User defined signal 1 - aborting LoLA

FORMULA SimpleLoadBal-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-6 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SimpleLoadBal-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496455345087

--------------------
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_SimpleLoadBal-PT-20"
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_SimpleLoadBal-PT-20.tgz
mv S_SimpleLoadBal-PT-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_SimpleLoadBal-PT-20, 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 r148-csrt-149443433200389"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;