About the Execution of LoLA for SimpleLoadBal-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 398.240 | 3539411.00 | 3548954.00 | 285.00 | ? ? ? ? ? ? ? ? ? ? ? ? 2 ? ? ? | 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-3254
Executing tool lola
Input is SimpleLoadBal-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963400389
=====================================================================
--------------------
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 1494815498680
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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 20 bytes per marking, with 15 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: 22133 markings, 48015 edges, 4427 markings/sec, 0 secs
lola: 44264 markings, 99770 edges, 4426 markings/sec, 5 secs
lola: 66466 markings, 152073 edges, 4440 markings/sec, 10 secs
lola: 88421 markings, 205043 edges, 4391 markings/sec, 15 secs
lola: 110287 markings, 258894 edges, 4373 markings/sec, 20 secs
lola: 132591 markings, 314632 edges, 4461 markings/sec, 25 secs
lola: 154377 markings, 369260 edges, 4357 markings/sec, 30 secs
lola: 176314 markings, 424352 edges, 4387 markings/sec, 35 secs
lola: 197917 markings, 478805 edges, 4321 markings/sec, 40 secs
lola: 219931 markings, 535538 edges, 4403 markings/sec, 45 secs
lola: 241810 markings, 591255 edges, 4376 markings/sec, 50 secs
lola: 263269 markings, 645663 edges, 4292 markings/sec, 55 secs
lola: 285392 markings, 702813 edges, 4425 markings/sec, 60 secs
lola: 307062 markings, 759601 edges, 4334 markings/sec, 65 secs
lola: 328791 markings, 815737 edges, 4346 markings/sec, 70 secs
lola: 350447 markings, 872045 edges, 4331 markings/sec, 75 secs
lola: 372171 markings, 929188 edges, 4345 markings/sec, 80 secs
lola: 393997 markings, 986614 edges, 4365 markings/sec, 85 secs
lola: 415406 markings, 1042093 edges, 4282 markings/sec, 90 secs
lola: 435933 markings, 1095307 edges, 4105 markings/sec, 95 secs
lola: 458162 markings, 1155420 edges, 4446 markings/sec, 100 secs
lola: 480162 markings, 1212686 edges, 4400 markings/sec, 105 secs
lola: 501957 markings, 1270256 edges, 4359 markings/sec, 110 secs
lola: 524139 markings, 1329389 edges, 4436 markings/sec, 115 secs
lola: 546438 markings, 1388617 edges, 4460 markings/sec, 120 secs
lola: 568294 markings, 1445538 edges, 4371 markings/sec, 125 secs
lola: 590331 markings, 1504047 edges, 4407 markings/sec, 130 secs
lola: 612327 markings, 1563560 edges, 4399 markings/sec, 135 secs
lola: 635243 markings, 1623189 edges, 4583 markings/sec, 140 secs
lola: 657122 markings, 1679902 edges, 4376 markings/sec, 145 secs
lola: 679313 markings, 1738808 edges, 4438 markings/sec, 150 secs
lola: 701337 markings, 1796054 edges, 4405 markings/sec, 155 secs
lola: 723305 markings, 1854039 edges, 4394 markings/sec, 160 secs
lola: 745110 markings, 1912676 edges, 4361 markings/sec, 165 secs
lola: 767164 markings, 1971164 edges, 4411 markings/sec, 170 secs
lola: 789114 markings, 2029692 edges, 4390 markings/sec, 175 secs
lola: 811114 markings, 2088289 edges, 4400 markings/sec, 180 secs
lola: 832968 markings, 2146418 edges, 4371 markings/sec, 185 secs
lola: 854877 markings, 2204217 edges, 4382 markings/sec, 190 secs
lola: 876598 markings, 2261679 edges, 4344 markings/sec, 195 secs
lola: 898588 markings, 2320133 edges, 4398 markings/sec, 200 secs
lola: 920292 markings, 2377324 edges, 4341 markings/sec, 205 secs
lola: 942250 markings, 2436880 edges, 4392 markings/sec, 210 secs
lola: 964549 markings, 2497667 edges, 4460 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 20 bytes per marking, with 15 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: 20549 markings, 44218 edges, 4110 markings/sec, 0 secs
lola: 42184 markings, 94892 edges, 4327 markings/sec, 5 secs
lola: 63637 markings, 145492 edges, 4291 markings/sec, 10 secs
lola: 84531 markings, 195703 edges, 4179 markings/sec, 15 secs
lola: 106539 markings, 250008 edges, 4402 markings/sec, 20 secs
lola: 128793 markings, 305333 edges, 4451 markings/sec, 25 secs
lola: 149570 markings, 357351 edges, 4155 markings/sec, 30 secs
lola: 172046 markings, 413653 edges, 4495 markings/sec, 35 secs
lola: 194230 markings, 468978 edges, 4437 markings/sec, 40 secs
lola: 216483 markings, 526598 edges, 4451 markings/sec, 45 secs
lola: 238390 markings, 582431 edges, 4381 markings/sec, 50 secs
lola: 259041 markings, 634660 edges, 4130 markings/sec, 55 secs
lola: 280990 markings, 691610 edges, 4390 markings/sec, 60 secs
lola: 302952 markings, 748743 edges, 4392 markings/sec, 65 secs
lola: 324701 markings, 804988 edges, 4350 markings/sec, 70 secs
lola: 347329 markings, 864310 edges, 4526 markings/sec, 75 secs
lola: 369367 markings, 921779 edges, 4408 markings/sec, 80 secs
lola: 391091 markings, 978854 edges, 4345 markings/sec, 85 secs
lola: 413074 markings, 1036109 edges, 4397 markings/sec, 90 secs
lola: 433493 markings, 1089093 edges, 4084 markings/sec, 95 secs
lola: 454772 markings, 1146166 edges, 4256 markings/sec, 100 secs
lola: 475995 markings, 1201249 edges, 4245 markings/sec, 105 secs
lola: 497248 markings, 1257999 edges, 4251 markings/sec, 110 secs
lola: 519029 markings, 1315433 edges, 4356 markings/sec, 115 secs
lola: 541005 markings, 1374383 edges, 4395 markings/sec, 120 secs
lola: 561673 markings, 1428452 edges, 4134 markings/sec, 125 secs
lola: 582678 markings, 1483157 edges, 4201 markings/sec, 130 secs
lola: 603735 markings, 1540531 edges, 4211 markings/sec, 135 secs
lola: 625383 markings, 1597213 edges, 4330 markings/sec, 140 secs
lola: 646926 markings, 1653297 edges, 4309 markings/sec, 145 secs
lola: 668159 markings, 1709087 edges, 4247 markings/sec, 150 secs
lola: 689592 markings, 1765275 edges, 4287 markings/sec, 155 secs
lola: 711053 markings, 1820953 edges, 4292 markings/sec, 160 secs
lola: 732757 markings, 1879649 edges, 4341 markings/sec, 165 secs
lola: 754757 markings, 1937851 edges, 4400 markings/sec, 170 secs
lola: 776398 markings, 1995753 edges, 4328 markings/sec, 175 secs
lola: 797725 markings, 2052639 edges, 4265 markings/sec, 180 secs
lola: 819320 markings, 2109871 edges, 4319 markings/sec, 185 secs
lola: 840929 markings, 2167515 edges, 4322 markings/sec, 190 secs
lola: 862721 markings, 2224625 edges, 4358 markings/sec, 195 secs
lola: 883415 markings, 2279466 edges, 4139 markings/sec, 200 secs
lola: 904621 markings, 2336076 edges, 4241 markings/sec, 205 secs
lola: 925668 markings, 2391805 edges, 4209 markings/sec, 210 secs
lola: 946535 markings, 2448547 edges, 4173 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 20 bytes per marking, with 15 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: 22967 markings, 48467 edges, 4593 markings/sec, 0 secs
lola: 45694 markings, 100160 edges, 4545 markings/sec, 5 secs
lola: 68826 markings, 154381 edges, 4626 markings/sec, 10 secs
lola: 91637 markings, 208847 edges, 4562 markings/sec, 15 secs
lola: 114307 markings, 263096 edges, 4534 markings/sec, 20 secs
lola: 137097 markings, 318289 edges, 4558 markings/sec, 25 secs
lola: 160920 markings, 376086 edges, 4765 markings/sec, 30 secs
lola: 184580 markings, 434694 edges, 4732 markings/sec, 35 secs
lola: 207853 markings, 492291 edges, 4655 markings/sec, 40 secs
lola: 231218 markings, 550436 edges, 4673 markings/sec, 45 secs
lola: 253965 markings, 606428 edges, 4549 markings/sec, 50 secs
lola: 277040 markings, 663550 edges, 4615 markings/sec, 55 secs
lola: 299693 markings, 719571 edges, 4531 markings/sec, 60 secs
lola: 322384 markings, 777154 edges, 4538 markings/sec, 65 secs
lola: 344005 markings, 831820 edges, 4324 markings/sec, 70 secs
lola: 367443 markings, 889746 edges, 4688 markings/sec, 75 secs
lola: 390728 markings, 949550 edges, 4657 markings/sec, 80 secs
lola: 414461 markings, 1009014 edges, 4747 markings/sec, 85 secs
lola: 436791 markings, 1065992 edges, 4466 markings/sec, 90 secs
lola: 461162 markings, 1127760 edges, 4874 markings/sec, 95 secs
lola: 485284 markings, 1190218 edges, 4824 markings/sec, 100 secs
lola: 509693 markings, 1253487 edges, 4882 markings/sec, 105 secs
lola: 533759 markings, 1315725 edges, 4813 markings/sec, 110 secs
lola: 558204 markings, 1378366 edges, 4889 markings/sec, 115 secs
lola: 581789 markings, 1440236 edges, 4717 markings/sec, 120 secs
lola: 604522 markings, 1499082 edges, 4547 markings/sec, 125 secs
lola: 627180 markings, 1555261 edges, 4532 markings/sec, 130 secs
lola: 650074 markings, 1614350 edges, 4579 markings/sec, 135 secs
lola: 672309 markings, 1672515 edges, 4447 markings/sec, 140 secs
lola: 695524 markings, 1732467 edges, 4643 markings/sec, 145 secs
lola: 718734 markings, 1792807 edges, 4642 markings/sec, 150 secs
lola: 741756 markings, 1852828 edges, 4604 markings/sec, 155 secs
lola: 765042 markings, 1913680 edges, 4657 markings/sec, 160 secs
lola: 788377 markings, 1975006 edges, 4667 markings/sec, 165 secs
lola: 811556 markings, 2035590 edges, 4636 markings/sec, 170 secs
lola: 834592 markings, 2095781 edges, 4607 markings/sec, 175 secs
lola: 857550 markings, 2155301 edges, 4592 markings/sec, 180 secs
lola: 880492 markings, 2216920 edges, 4588 markings/sec, 185 secs
lola: 903429 markings, 2276743 edges, 4587 markings/sec, 190 secs
lola: 927285 markings, 2340003 edges, 4771 markings/sec, 195 secs
lola: 951894 markings, 2404863 edges, 4922 markings/sec, 200 secs
lola: 976418 markings, 2469612 edges, 4905 markings/sec, 205 secs
lola: 1001100 markings, 2534148 edges, 4936 markings/sec, 210 secs
lola: 1025930 markings, 2600374 edges, 4966 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 20 bytes per marking, with 15 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: 22842 markings, 48186 edges, 4568 markings/sec, 0 secs
lola: 47587 markings, 104562 edges, 4949 markings/sec, 5 secs
lola: 71258 markings, 160203 edges, 4734 markings/sec, 10 secs
lola: 95202 markings, 217238 edges, 4789 markings/sec, 15 secs
lola: 117641 markings, 271146 edges, 4488 markings/sec, 20 secs
lola: 142551 markings, 331701 edges, 4982 markings/sec, 25 secs
lola: 168336 markings, 394419 edges, 5157 markings/sec, 30 secs
lola: 193784 markings, 457067 edges, 5090 markings/sec, 35 secs
lola: 219476 markings, 520839 edges, 5138 markings/sec, 40 secs
lola: 245039 markings, 584079 edges, 5113 markings/sec, 45 secs
lola: 267011 markings, 638637 edges, 4394 markings/sec, 50 secs
lola: 288728 markings, 692227 edges, 4343 markings/sec, 55 secs
lola: 312080 markings, 750894 edges, 4670 markings/sec, 60 secs
lola: 335386 markings, 810106 edges, 4661 markings/sec, 65 secs
lola: 356747 markings, 863390 edges, 4272 markings/sec, 70 secs
lola: 377702 markings, 916307 edges, 4191 markings/sec, 75 secs
lola: 403453 markings, 981100 edges, 5150 markings/sec, 80 secs
lola: 428387 markings, 1044468 edges, 4987 markings/sec, 85 secs
lola: 453928 markings, 1109464 edges, 5108 markings/sec, 90 secs
lola: 478735 markings, 1172958 edges, 4961 markings/sec, 95 secs
lola: 503743 markings, 1237992 edges, 5002 markings/sec, 100 secs
lola: 528802 markings, 1302576 edges, 5012 markings/sec, 105 secs
lola: 553672 markings, 1366413 edges, 4974 markings/sec, 110 secs
lola: 578025 markings, 1430601 edges, 4871 markings/sec, 115 secs
lola: 602755 markings, 1494350 edges, 4946 markings/sec, 120 secs
lola: 628055 markings, 1557475 edges, 5060 markings/sec, 125 secs
lola: 652503 markings, 1620488 edges, 4890 markings/sec, 130 secs
lola: 677429 markings, 1685905 edges, 4985 markings/sec, 135 secs
lola: 699894 markings, 1743682 edges, 4493 markings/sec, 140 secs
lola: 722845 markings, 1803447 edges, 4590 markings/sec, 145 secs
lola: 747936 markings, 1869013 edges, 5018 markings/sec, 150 secs
lola: 773837 markings, 1936839 edges, 5180 markings/sec, 155 secs
lola: 799447 markings, 2003652 edges, 5122 markings/sec, 160 secs
lola: 824959 markings, 2070506 edges, 5102 markings/sec, 165 secs
lola: 850052 markings, 2136116 edges, 5019 markings/sec, 170 secs
lola: 874836 markings, 2201693 edges, 4957 markings/sec, 175 secs
lola: 898683 markings, 2264606 edges, 4769 markings/sec, 180 secs
lola: 922152 markings, 2326242 edges, 4694 markings/sec, 185 secs
lola: 945959 markings, 2389545 edges, 4761 markings/sec, 190 secs
lola: 971562 markings, 2456982 edges, 5121 markings/sec, 195 secs
lola: 997083 markings, 2523338 edges, 5104 markings/sec, 200 secs
lola: 1022631 markings, 2591593 edges, 5110 markings/sec, 205 secs
lola: 1047781 markings, 2657805 edges, 5030 markings/sec, 210 secs
lola: 1073422 markings, 2725438 edges, 5128 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 20 bytes per marking, with 15 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: 33436 markings, 41933 edges, 6687 markings/sec, 0 secs
lola: 65058 markings, 82183 edges, 6324 markings/sec, 5 secs
lola: 100214 markings, 126829 edges, 7031 markings/sec, 10 secs
lola: 135424 markings, 171544 edges, 7042 markings/sec, 15 secs
lola: 169991 markings, 215889 edges, 6913 markings/sec, 20 secs
lola: 204876 markings, 260537 edges, 6977 markings/sec, 25 secs
lola: 239504 markings, 304986 edges, 6926 markings/sec, 30 secs
lola: 273797 markings, 349106 edges, 6859 markings/sec, 35 secs
lola: 306541 markings, 391510 edges, 6549 markings/sec, 40 secs
lola: 337553 markings, 431833 edges, 6202 markings/sec, 45 secs
lola: 367523 markings, 470797 edges, 5994 markings/sec, 50 secs
lola: 397734 markings, 510101 edges, 6042 markings/sec, 55 secs
lola: 429238 markings, 551071 edges, 6301 markings/sec, 60 secs
lola: 458854 markings, 589501 edges, 5923 markings/sec, 65 secs
lola: 492737 markings, 633580 edges, 6777 markings/sec, 70 secs
lola: 523003 markings, 672971 edges, 6053 markings/sec, 75 secs
lola: 556911 markings, 717569 edges, 6782 markings/sec, 80 secs
lola: 590251 markings, 760680 edges, 6668 markings/sec, 85 secs
lola: 621489 markings, 802045 edges, 6248 markings/sec, 90 secs
lola: 652937 markings, 843531 edges, 6290 markings/sec, 95 secs
lola: 686513 markings, 887805 edges, 6715 markings/sec, 100 secs
lola: 720767 markings, 932673 edges, 6851 markings/sec, 105 secs
lola: 754761 markings, 977488 edges, 6799 markings/sec, 110 secs
lola: 788097 markings, 1022068 edges, 6667 markings/sec, 115 secs
lola: 821718 markings, 1066673 edges, 6724 markings/sec, 120 secs
lola: 855497 markings, 1111174 edges, 6756 markings/sec, 125 secs
lola: 889773 markings, 1156250 edges, 6855 markings/sec, 130 secs
lola: 923885 markings, 1201154 edges, 6822 markings/sec, 135 secs
lola: 957649 markings, 1245655 edges, 6753 markings/sec, 140 secs
lola: 991786 markings, 1290400 edges, 6827 markings/sec, 145 secs
lola: 1025653 markings, 1335120 edges, 6773 markings/sec, 150 secs
lola: 1059864 markings, 1380032 edges, 6842 markings/sec, 155 secs
lola: 1094644 markings, 1425441 edges, 6956 markings/sec, 160 secs
lola: 1127811 markings, 1469149 edges, 6633 markings/sec, 165 secs
lola: 1162176 markings, 1514098 edges, 6873 markings/sec, 170 secs
lola: 1194900 markings, 1557616 edges, 6545 markings/sec, 175 secs
lola: 1227630 markings, 1601258 edges, 6546 markings/sec, 180 secs
lola: 1261159 markings, 1646391 edges, 6706 markings/sec, 185 secs
lola: 1295533 markings, 1692263 edges, 6875 markings/sec, 190 secs
lola: 1330802 markings, 1738509 edges, 7054 markings/sec, 195 secs
lola: 1365647 markings, 1784560 edges, 6969 markings/sec, 200 secs
lola: 1400275 markings, 1830699 edges, 6926 markings/sec, 205 secs
lola: 1434418 markings, 1876906 edges, 6829 markings/sec, 210 secs
lola: 1469319 markings, 1923455 edges, 6980 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 20 bytes per marking, with 15 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: 26661 markings, 58266 edges, 5332 markings/sec, 0 secs
lola: 53413 markings, 120947 edges, 5350 markings/sec, 5 secs
lola: 79225 markings, 182730 edges, 5162 markings/sec, 10 secs
lola: 104329 markings, 244437 edges, 5021 markings/sec, 15 secs
lola: 129635 markings, 307363 edges, 5061 markings/sec, 20 secs
lola: 154999 markings, 370785 edges, 5073 markings/sec, 25 secs
lola: 180629 markings, 435134 edges, 5126 markings/sec, 30 secs
lola: 205850 markings, 499184 edges, 5044 markings/sec, 35 secs
lola: 231018 markings, 564044 edges, 5034 markings/sec, 40 secs
lola: 256421 markings, 628017 edges, 5081 markings/sec, 45 secs
lola: 282318 markings, 695105 edges, 5179 markings/sec, 50 secs
lola: 308076 markings, 762094 edges, 5152 markings/sec, 55 secs
lola: 333895 markings, 829323 edges, 5164 markings/sec, 60 secs
lola: 359788 markings, 896904 edges, 5179 markings/sec, 65 secs
lola: 385566 markings, 964146 edges, 5156 markings/sec, 70 secs
lola: 410936 markings, 1030229 edges, 5074 markings/sec, 75 secs
lola: 436963 markings, 1098237 edges, 5205 markings/sec, 80 secs
lola: 462798 markings, 1167298 edges, 5167 markings/sec, 85 secs
lola: 488377 markings, 1234729 edges, 5116 markings/sec, 90 secs
lola: 513840 markings, 1301412 edges, 5093 markings/sec, 95 secs
lola: 539647 markings, 1370660 edges, 5161 markings/sec, 100 secs
lola: 565191 markings, 1437338 edges, 5109 markings/sec, 105 secs
lola: 590612 markings, 1504694 edges, 5084 markings/sec, 110 secs
lola: 616180 markings, 1573749 edges, 5114 markings/sec, 115 secs
lola: 642494 markings, 1642091 edges, 5263 markings/sec, 120 secs
lola: 667949 markings, 1708467 edges, 5091 markings/sec, 125 secs
lola: 693252 markings, 1774753 edges, 5061 markings/sec, 130 secs
lola: 718043 markings, 1840167 edges, 4958 markings/sec, 135 secs
lola: 742556 markings, 1905926 edges, 4903 markings/sec, 140 secs
lola: 767346 markings, 1971642 edges, 4958 markings/sec, 145 secs
lola: 792038 markings, 2037696 edges, 4938 markings/sec, 150 secs
lola: 816930 markings, 2103589 edges, 4978 markings/sec, 155 secs
lola: 841689 markings, 2169310 edges, 4952 markings/sec, 160 secs
lola: 866311 markings, 2234404 edges, 4924 markings/sec, 165 secs
lola: 891502 markings, 2301271 edges, 5038 markings/sec, 170 secs
lola: 916844 markings, 2368328 edges, 5068 markings/sec, 175 secs
lola: 942216 markings, 2436824 edges, 5074 markings/sec, 180 secs
lola: 967868 markings, 2506223 edges, 5130 markings/sec, 185 secs
lola: 993239 markings, 2574885 edges, 5074 markings/sec, 190 secs
lola: 1018753 markings, 2644796 edges, 5103 markings/sec, 195 secs
lola: 1044285 markings, 2713314 edges, 5106 markings/sec, 200 secs
lola: 1070107 markings, 2782801 edges, 5164 markings/sec, 205 secs
lola: 1095559 markings, 2850484 edges, 5090 markings/sec, 210 secs
lola: 1122052 markings, 2923209 edges, 5299 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 20 bytes per marking, with 15 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 20 bytes per marking, with 15 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: 27577 markings, 60415 edges, 5515 markings/sec, 0 secs
lola: 54636 markings, 123769 edges, 5412 markings/sec, 5 secs
lola: 81017 markings, 187066 edges, 5276 markings/sec, 10 secs
lola: 107325 markings, 251899 edges, 5262 markings/sec, 15 secs
lola: 134098 markings, 318553 edges, 5355 markings/sec, 20 secs
lola: 160198 markings, 383718 edges, 5220 markings/sec, 25 secs
lola: 186403 markings, 449499 edges, 5241 markings/sec, 30 secs
lola: 212428 markings, 516396 edges, 5205 markings/sec, 35 secs
lola: 238739 markings, 583241 edges, 5262 markings/sec, 40 secs
lola: 264536 markings, 649055 edges, 5159 markings/sec, 45 secs
lola: 290201 markings, 715306 edges, 5133 markings/sec, 50 secs
lola: 315412 markings, 781030 edges, 5042 markings/sec, 55 secs
lola: 340749 markings, 847543 edges, 5067 markings/sec, 60 secs
lola: 366092 markings, 913471 edges, 5069 markings/sec, 65 secs
lola: 391820 markings, 980670 edges, 5146 markings/sec, 70 secs
lola: 417732 markings, 1048125 edges, 5182 markings/sec, 75 secs
lola: 443749 markings, 1116566 edges, 5203 markings/sec, 80 secs
lola: 469503 markings, 1184454 edges, 5151 markings/sec, 85 secs
lola: 494990 markings, 1252103 edges, 5097 markings/sec, 90 secs
lola: 518686 markings, 1314555 edges, 4739 markings/sec, 95 secs
lola: 544387 markings, 1383374 edges, 5140 markings/sec, 100 secs
lola: 569913 markings, 1449727 edges, 5105 markings/sec, 105 secs
lola: 595444 markings, 1518072 edges, 5106 markings/sec, 110 secs
lola: 621376 markings, 1586960 edges, 5186 markings/sec, 115 secs
lola: 647593 markings, 1655047 edges, 5243 markings/sec, 120 secs
lola: 673432 markings, 1722931 edges, 5168 markings/sec, 125 secs
lola: 699285 markings, 1790781 edges, 5171 markings/sec, 130 secs
lola: 724769 markings, 1857841 edges, 5097 markings/sec, 135 secs
lola: 749829 markings, 1925451 edges, 5012 markings/sec, 140 secs
lola: 771888 markings, 1983616 edges, 4412 markings/sec, 145 secs
lola: 795513 markings, 2046766 edges, 4725 markings/sec, 150 secs
lola: 820887 markings, 2113873 edges, 5075 markings/sec, 155 secs
lola: 846798 markings, 2182943 edges, 5182 markings/sec, 160 secs
lola: 871762 markings, 2249027 edges, 4993 markings/sec, 165 secs
lola: 893861 markings, 2307416 edges, 4420 markings/sec, 170 secs
lola: 916617 markings, 2367695 edges, 4551 markings/sec, 175 secs
lola: 941479 markings, 2434783 edges, 4972 markings/sec, 180 secs
lola: 964866 markings, 2498462 edges, 4677 markings/sec, 185 secs
lola: 989582 markings, 2565169 edges, 4943 markings/sec, 190 secs
lola: 1012893 markings, 2629004 edges, 4662 markings/sec, 195 secs
lola: 1038902 markings, 2698368 edges, 5202 markings/sec, 200 secs
lola: 1065214 markings, 2769670 edges, 5262 markings/sec, 205 secs
lola: 1091516 markings, 2839852 edges, 5260 markings/sec, 210 secs
lola: 1117943 markings, 2912023 edges, 5285 markings/sec, 215 secs
lola: 1143702 markings, 2982343 edges, 5152 markings/sec, 220 secs
lola: 1169708 markings, 3053549 edges, 5201 markings/sec, 225 secs
lola: 1196233 markings, 3127549 edges, 5305 markings/sec, 230 secs
lola: 1222349 markings, 3198832 edges, 5223 markings/sec, 235 secs
lola: 1247673 markings, 3266775 edges, 5065 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 20 bytes per marking, with 15 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: 26831 markings, 57130 edges, 5366 markings/sec, 0 secs
lola: 54835 markings, 121545 edges, 5601 markings/sec, 5 secs
lola: 82992 markings, 188422 edges, 5631 markings/sec, 10 secs
lola: 110485 markings, 253803 edges, 5499 markings/sec, 15 secs
lola: 138313 markings, 321281 edges, 5566 markings/sec, 20 secs
lola: 167355 markings, 391989 edges, 5808 markings/sec, 25 secs
lola: 196315 markings, 463314 edges, 5792 markings/sec, 30 secs
lola: 221572 markings, 526124 edges, 5051 markings/sec, 35 secs
lola: 250823 markings, 598659 edges, 5850 markings/sec, 40 secs
lola: 278907 markings, 667973 edges, 5617 markings/sec, 45 secs
lola: 306529 markings, 736497 edges, 5524 markings/sec, 50 secs
lola: 334091 markings, 806920 edges, 5512 markings/sec, 55 secs
lola: 361780 markings, 875922 edges, 5538 markings/sec, 60 secs
lola: 389602 markings, 946503 edges, 5564 markings/sec, 65 secs
lola: 417540 markings, 1016881 edges, 5588 markings/sec, 70 secs
lola: 445268 markings, 1087506 edges, 5546 markings/sec, 75 secs
lola: 472846 markings, 1157949 edges, 5516 markings/sec, 80 secs
lola: 500471 markings, 1229524 edges, 5525 markings/sec, 85 secs
lola: 528135 markings, 1300757 edges, 5533 markings/sec, 90 secs
lola: 555832 markings, 1372015 edges, 5539 markings/sec, 95 secs
lola: 583166 markings, 1443698 edges, 5467 markings/sec, 100 secs
lola: 610729 markings, 1514641 edges, 5513 markings/sec, 105 secs
lola: 638717 markings, 1584612 edges, 5598 markings/sec, 110 secs
lola: 666385 markings, 1657184 edges, 5534 markings/sec, 115 secs
lola: 693371 markings, 1727156 edges, 5397 markings/sec, 120 secs
lola: 720613 markings, 1797566 edges, 5448 markings/sec, 125 secs
lola: 748369 markings, 1870100 edges, 5551 markings/sec, 130 secs
lola: 776263 markings, 1943356 edges, 5579 markings/sec, 135 secs
lola: 803062 markings, 2013352 edges, 5360 markings/sec, 140 secs
lola: 830810 markings, 2085434 edges, 5550 markings/sec, 145 secs
lola: 858398 markings, 2157577 edges, 5518 markings/sec, 150 secs
lola: 885732 markings, 2230512 edges, 5467 markings/sec, 155 secs
lola: 913021 markings, 2302022 edges, 5458 markings/sec, 160 secs
lola: 940731 markings, 2375522 edges, 5542 markings/sec, 165 secs
lola: 968358 markings, 2448543 edges, 5525 markings/sec, 170 secs
lola: 993358 markings, 2513800 edges, 5000 markings/sec, 175 secs
lola: 1018186 markings, 2579693 edges, 4966 markings/sec, 180 secs
lola: 1043215 markings, 2645679 edges, 5006 markings/sec, 185 secs
lola: 1069055 markings, 2714159 edges, 5168 markings/sec, 190 secs
lola: 1094730 markings, 2782065 edges, 5135 markings/sec, 195 secs
lola: 1121193 markings, 2853300 edges, 5293 markings/sec, 200 secs
lola: 1146710 markings, 2920462 edges, 5103 markings/sec, 205 secs
lola: 1174368 markings, 2993543 edges, 5532 markings/sec, 210 secs
lola: 1199377 markings, 3061409 edges, 5002 markings/sec, 215 secs
lola: 1226080 markings, 3133577 edges, 5341 markings/sec, 220 secs
lola: 1253133 markings, 3206022 edges, 5411 markings/sec, 225 secs
lola: 1280220 markings, 3278492 edges, 5417 markings/sec, 230 secs
lola: 1307787 markings, 3351902 edges, 5513 markings/sec, 235 secs
lola: 1336244 markings, 3427168 edges, 5691 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 20 bytes per marking, with 15 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: 26127 markings, 96488 edges, 5225 markings/sec, 0 secs
lola: 51971 markings, 210435 edges, 5169 markings/sec, 5 secs
lola: 77760 markings, 302422 edges, 5158 markings/sec, 10 secs
lola: 103264 markings, 401470 edges, 5101 markings/sec, 15 secs
lola: 129087 markings, 503473 edges, 5165 markings/sec, 20 secs
lola: 155396 markings, 622326 edges, 5262 markings/sec, 25 secs
lola: 181259 markings, 732734 edges, 5173 markings/sec, 30 secs
lola: 207490 markings, 859755 edges, 5246 markings/sec, 35 secs
lola: 231778 markings, 961617 edges, 4858 markings/sec, 40 secs
lola: 255999 markings, 1063245 edges, 4844 markings/sec, 45 secs
lola: 280031 markings, 1160637 edges, 4806 markings/sec, 50 secs
lola: 304725 markings, 1272870 edges, 4939 markings/sec, 55 secs
lola: 328733 markings, 1380196 edges, 4802 markings/sec, 60 secs
lola: 352844 markings, 1486428 edges, 4822 markings/sec, 65 secs
lola: 376993 markings, 1591734 edges, 4830 markings/sec, 70 secs
lola: 401255 markings, 1699997 edges, 4852 markings/sec, 75 secs
lola: 425027 markings, 1806892 edges, 4754 markings/sec, 80 secs
lola: 449308 markings, 1918121 edges, 4856 markings/sec, 85 secs
lola: 473431 markings, 2017693 edges, 4825 markings/sec, 90 secs
lola: 498218 markings, 2132886 edges, 4957 markings/sec, 95 secs
lola: 522341 markings, 2241522 edges, 4825 markings/sec, 100 secs
lola: 547028 markings, 2354716 edges, 4937 markings/sec, 105 secs
lola: 570304 markings, 2451736 edges, 4655 markings/sec, 110 secs
lola: 594567 markings, 2563228 edges, 4853 markings/sec, 115 secs
lola: 618445 markings, 2664041 edges, 4776 markings/sec, 120 secs
lola: 642115 markings, 2765483 edges, 4734 markings/sec, 125 secs
lola: 665952 markings, 2868130 edges, 4767 markings/sec, 130 secs
lola: 690438 markings, 2989750 edges, 4897 markings/sec, 135 secs
lola: 715179 markings, 3100527 edges, 4948 markings/sec, 140 secs
lola: 739398 markings, 3209866 edges, 4844 markings/sec, 145 secs
lola: 763327 markings, 3315570 edges, 4786 markings/sec, 150 secs
lola: 787560 markings, 3434163 edges, 4847 markings/sec, 155 secs
lola: 811370 markings, 3538295 edges, 4762 markings/sec, 160 secs
lola: 835297 markings, 3645429 edges, 4785 markings/sec, 165 secs
lola: 859024 markings, 3749954 edges, 4745 markings/sec, 170 secs
lola: 882506 markings, 3868301 edges, 4696 markings/sec, 175 secs
lola: 906380 markings, 3973237 edges, 4775 markings/sec, 180 secs
lola: 930305 markings, 4077817 edges, 4785 markings/sec, 185 secs
lola: 954445 markings, 4184752 edges, 4828 markings/sec, 190 secs
lola: 978195 markings, 4294584 edges, 4750 markings/sec, 195 secs
lola: 1002123 markings, 4411244 edges, 4786 markings/sec, 200 secs
lola: 1025691 markings, 4516971 edges, 4714 markings/sec, 205 secs
lola: 1049333 markings, 4620911 edges, 4728 markings/sec, 210 secs
lola: 1073570 markings, 4734746 edges, 4847 markings/sec, 215 secs
lola: 1097265 markings, 4851764 edges, 4739 markings/sec, 220 secs
lola: 1121798 markings, 4965046 edges, 4907 markings/sec, 225 secs
lola: 1146032 markings, 5089196 edges, 4847 markings/sec, 230 secs
lola: 1170015 markings, 5197598 edges, 4797 markings/sec, 235 secs
lola: 1194137 markings, 5315851 edges, 4824 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 20 bytes per marking, with 15 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: 25126 markings, 54778 edges, 5025 markings/sec, 0 secs
lola: 52984 markings, 119980 edges, 5572 markings/sec, 5 secs
lola: 80377 markings, 185506 edges, 5479 markings/sec, 10 secs
lola: 107329 markings, 251909 edges, 5390 markings/sec, 15 secs
lola: 135601 markings, 322317 edges, 5654 markings/sec, 20 secs
lola: 160039 markings, 383310 edges, 4888 markings/sec, 25 secs
lola: 187102 markings, 451230 edges, 5413 markings/sec, 30 secs
lola: 214136 markings, 520662 edges, 5407 markings/sec, 35 secs
lola: 241641 markings, 590817 edges, 5501 markings/sec, 40 secs
lola: 269090 markings, 660554 edges, 5490 markings/sec, 45 secs
lola: 296550 markings, 731793 edges, 5492 markings/sec, 50 secs
lola: 324008 markings, 803252 edges, 5492 markings/sec, 55 secs
lola: 351372 markings, 874523 edges, 5473 markings/sec, 60 secs
lola: 378671 markings, 946013 edges, 5460 markings/sec, 65 secs
lola: 405990 markings, 1017929 edges, 5464 markings/sec, 70 secs
lola: 433293 markings, 1088621 edges, 5461 markings/sec, 75 secs
lola: 459682 markings, 1159240 edges, 5278 markings/sec, 80 secs
lola: 485544 markings, 1227181 edges, 5172 markings/sec, 85 secs
lola: 511937 markings, 1296605 edges, 5279 markings/sec, 90 secs
lola: 538299 markings, 1367060 edges, 5272 markings/sec, 95 secs
lola: 564068 markings, 1434520 edges, 5154 markings/sec, 100 secs
lola: 589992 markings, 1503169 edges, 5185 markings/sec, 105 secs
lola: 615508 markings, 1571856 edges, 5103 markings/sec, 110 secs
lola: 642143 markings, 1641187 edges, 5327 markings/sec, 115 secs
lola: 667839 markings, 1708149 edges, 5139 markings/sec, 120 secs
lola: 693757 markings, 1776101 edges, 5184 markings/sec, 125 secs
lola: 719591 markings, 1844291 edges, 5167 markings/sec, 130 secs
lola: 745145 markings, 1912754 edges, 5111 markings/sec, 135 secs
lola: 770889 markings, 1980805 edges, 5149 markings/sec, 140 secs
lola: 796699 markings, 2049930 edges, 5162 markings/sec, 145 secs
lola: 822289 markings, 2117600 edges, 5118 markings/sec, 150 secs
lola: 847797 markings, 2185685 edges, 5102 markings/sec, 155 secs
lola: 873324 markings, 2253156 edges, 5105 markings/sec, 160 secs
lola: 899015 markings, 2321259 edges, 5138 markings/sec, 165 secs
lola: 924306 markings, 2388034 edges, 5058 markings/sec, 170 secs
lola: 950186 markings, 2458785 edges, 5176 markings/sec, 175 secs
lola: 976151 markings, 2529142 edges, 5193 markings/sec, 180 secs
lola: 1001780 markings, 2598725 edges, 5126 markings/sec, 185 secs
lola: 1027373 markings, 2667313 edges, 5119 markings/sec, 190 secs
lola: 1053115 markings, 2737098 edges, 5148 markings/sec, 195 secs
lola: 1078763 markings, 2805623 edges, 5130 markings/sec, 200 secs
lola: 1104977 markings, 2876588 edges, 5243 markings/sec, 205 secs
lola: 1131239 markings, 2948583 edges, 5252 markings/sec, 210 secs
lola: 1156808 markings, 3017844 edges, 5114 markings/sec, 215 secs
lola: 1183419 markings, 3091397 edges, 5322 markings/sec, 220 secs
lola: 1209609 markings, 3164389 edges, 5238 markings/sec, 225 secs
lola: 1235187 markings, 3233461 edges, 5116 markings/sec, 230 secs
lola: 1259810 markings, 3299225 edges, 4925 markings/sec, 235 secs
lola: 1287056 markings, 3373744 edges, 5449 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 20 bytes per marking, with 15 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: 24722 markings, 88516 edges, 4944 markings/sec, 0 secs
lola: 50307 markings, 205408 edges, 5117 markings/sec, 5 secs
lola: 75802 markings, 326908 edges, 5099 markings/sec, 10 secs
lola: 101288 markings, 452281 edges, 5097 markings/sec, 15 secs
lola: 126912 markings, 586559 edges, 5125 markings/sec, 20 secs
lola: 151693 markings, 730037 edges, 4956 markings/sec, 25 secs
lola: 176809 markings, 825957 edges, 5023 markings/sec, 30 secs
lola: 202221 markings, 912395 edges, 5082 markings/sec, 35 secs
lola: 227691 markings, 1006704 edges, 5094 markings/sec, 40 secs
lola: 252587 markings, 1099473 edges, 4979 markings/sec, 45 secs
lola: 278207 markings, 1200553 edges, 5124 markings/sec, 50 secs
lola: 303230 markings, 1299336 edges, 5005 markings/sec, 55 secs
lola: 328360 markings, 1400803 edges, 5026 markings/sec, 60 secs
lola: 353150 markings, 1494376 edges, 4958 markings/sec, 65 secs
lola: 377104 markings, 1586444 edges, 4791 markings/sec, 70 secs
lola: 400426 markings, 1680962 edges, 4664 markings/sec, 75 secs
lola: 423941 markings, 1770909 edges, 4703 markings/sec, 80 secs
lola: 448649 markings, 1882965 edges, 4942 markings/sec, 85 secs
lola: 473009 markings, 1986213 edges, 4872 markings/sec, 90 secs
lola: 495278 markings, 2075977 edges, 4454 markings/sec, 95 secs
lola: 518895 markings, 2166102 edges, 4723 markings/sec, 100 secs
lola: 543055 markings, 2269050 edges, 4832 markings/sec, 105 secs
lola: 566591 markings, 2363650 edges, 4707 markings/sec, 110 secs
lola: 590354 markings, 2459068 edges, 4753 markings/sec, 115 secs
lola: 614488 markings, 2560431 edges, 4827 markings/sec, 120 secs
lola: 637830 markings, 2655949 edges, 4668 markings/sec, 125 secs
lola: 661693 markings, 2752299 edges, 4773 markings/sec, 130 secs
lola: 685607 markings, 2850858 edges, 4783 markings/sec, 135 secs
lola: 707691 markings, 2942629 edges, 4417 markings/sec, 140 secs
lola: 731356 markings, 3040627 edges, 4733 markings/sec, 145 secs
lola: 755332 markings, 3145334 edges, 4795 markings/sec, 150 secs
lola: 778898 markings, 3242298 edges, 4713 markings/sec, 155 secs
lola: 802671 markings, 3342064 edges, 4755 markings/sec, 160 secs
lola: 826220 markings, 3440746 edges, 4710 markings/sec, 165 secs
lola: 850205 markings, 3549568 edges, 4797 markings/sec, 170 secs
lola: 873639 markings, 3651878 edges, 4687 markings/sec, 175 secs
lola: 898194 markings, 3752424 edges, 4911 markings/sec, 180 secs
lola: 922739 markings, 3861700 edges, 4909 markings/sec, 185 secs
lola: 944622 markings, 3973346 edges, 4377 markings/sec, 190 secs
lola: 967668 markings, 4098628 edges, 4609 markings/sec, 195 secs
lola: 991246 markings, 4228164 edges, 4716 markings/sec, 200 secs
lola: 1014908 markings, 4351882 edges, 4732 markings/sec, 205 secs
lola: 1037020 markings, 4471325 edges, 4422 markings/sec, 210 secs
lola: 1059577 markings, 4568957 edges, 4511 markings/sec, 215 secs
lola: 1083280 markings, 4669591 edges, 4741 markings/sec, 220 secs
lola: 1106139 markings, 4767123 edges, 4572 markings/sec, 225 secs
lola: 1130051 markings, 4867606 edges, 4782 markings/sec, 230 secs
lola: 1155165 markings, 4972514 edges, 5023 markings/sec, 235 secs
lola: 1178445 markings, 5071216 edges, 4656 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 20 bytes per marking, with 15 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: 30177 markings, 39027 edges, 6035 markings/sec, 0 secs
lola: 62195 markings, 81435 edges, 6404 markings/sec, 5 secs
lola: 94256 markings, 123861 edges, 6412 markings/sec, 10 secs
lola: 125642 markings, 165360 edges, 6277 markings/sec, 15 secs
lola: 154067 markings, 202821 edges, 5685 markings/sec, 20 secs
lola: 185649 markings, 244817 edges, 6316 markings/sec, 25 secs
lola: 216805 markings, 286318 edges, 6231 markings/sec, 30 secs
lola: 246965 markings, 326285 edges, 6032 markings/sec, 35 secs
lola: 275581 markings, 363997 edges, 5723 markings/sec, 40 secs
lola: 305197 markings, 403793 edges, 5923 markings/sec, 45 secs
lola: 337041 markings, 446158 edges, 6369 markings/sec, 50 secs
lola: 368663 markings, 488369 edges, 6324 markings/sec, 55 secs
lola: 399430 markings, 529764 edges, 6153 markings/sec, 60 secs
lola: 429552 markings, 569898 edges, 6024 markings/sec, 65 secs
lola: 459319 markings, 609678 edges, 5953 markings/sec, 70 secs
lola: 490561 markings, 651529 edges, 6248 markings/sec, 75 secs
lola: 516531 markings, 686209 edges, 5194 markings/sec, 80 secs
lola: 547360 markings, 727956 edges, 6166 markings/sec, 85 secs
lola: 572122 markings, 760702 edges, 4952 markings/sec, 90 secs
lola: 600289 markings, 798018 edges, 5633 markings/sec, 95 secs
lola: 628718 markings, 836113 edges, 5686 markings/sec, 100 secs
lola: 658749 markings, 876905 edges, 6006 markings/sec, 105 secs
lola: 690389 markings, 919309 edges, 6328 markings/sec, 110 secs
lola: 722521 markings, 962515 edges, 6426 markings/sec, 115 secs
lola: 754070 markings, 1005332 edges, 6310 markings/sec, 120 secs
lola: 785445 markings, 1047883 edges, 6275 markings/sec, 125 secs
lola: 817194 markings, 1090856 edges, 6350 markings/sec, 130 secs
lola: 848926 markings, 1133597 edges, 6346 markings/sec, 135 secs
lola: 880159 markings, 1176263 edges, 6247 markings/sec, 140 secs
lola: 911934 markings, 1219018 edges, 6355 markings/sec, 145 secs
lola: 943419 markings, 1261606 edges, 6297 markings/sec, 150 secs
lola: 975002 markings, 1304451 edges, 6317 markings/sec, 155 secs
lola: 1006340 markings, 1347048 edges, 6268 markings/sec, 160 secs
lola: 1037780 markings, 1389723 edges, 6288 markings/sec, 165 secs
lola: 1069097 markings, 1432555 edges, 6263 markings/sec, 170 secs
lola: 1100177 markings, 1474973 edges, 6216 markings/sec, 175 secs
lola: 1131419 markings, 1517503 edges, 6248 markings/sec, 180 secs
lola: 1163000 markings, 1560688 edges, 6316 markings/sec, 185 secs
lola: 1194370 markings, 1603237 edges, 6274 markings/sec, 190 secs
lola: 1225438 markings, 1645609 edges, 6214 markings/sec, 195 secs
lola: 1255960 markings, 1687616 edges, 6104 markings/sec, 200 secs
lola: 1286868 markings, 1729660 edges, 6182 markings/sec, 205 secs
lola: 1317128 markings, 1770968 edges, 6052 markings/sec, 210 secs
lola: 1347728 markings, 1813044 edges, 6120 markings/sec, 215 secs
lola: 1378786 markings, 1855588 edges, 6212 markings/sec, 220 secs
lola: 1409869 markings, 1898080 edges, 6217 markings/sec, 225 secs
lola: 1441262 markings, 1940648 edges, 6279 markings/sec, 230 secs
lola: 1472079 markings, 1982897 edges, 6163 markings/sec, 235 secs
lola: 1503133 markings, 2025046 edges, 6211 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 20 bytes per marking, with 15 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: 31734 markings, 41065 edges, 6347 markings/sec, 0 secs
lola: 63957 markings, 83772 edges, 6445 markings/sec, 5 secs
lola: 96037 markings, 126256 edges, 6416 markings/sec, 10 secs
lola: 128141 markings, 168619 edges, 6421 markings/sec, 15 secs
lola: 160121 markings, 210817 edges, 6396 markings/sec, 20 secs
lola: 192290 markings, 253875 edges, 6434 markings/sec, 25 secs
lola: 224632 markings, 296681 edges, 6468 markings/sec, 30 secs
lola: 256632 markings, 338980 edges, 6400 markings/sec, 35 secs
lola: 288406 markings, 381318 edges, 6355 markings/sec, 40 secs
lola: 320267 markings, 423942 edges, 6372 markings/sec, 45 secs
lola: 352371 markings, 466610 edges, 6421 markings/sec, 50 secs
lola: 384301 markings, 509121 edges, 6386 markings/sec, 55 secs
lola: 416056 markings, 551901 edges, 6351 markings/sec, 60 secs
lola: 448018 markings, 594603 edges, 6392 markings/sec, 65 secs
lola: 479980 markings, 637399 edges, 6392 markings/sec, 70 secs
lola: 511817 markings, 679798 edges, 6367 markings/sec, 75 secs
lola: 544015 markings, 723322 edges, 6440 markings/sec, 80 secs
lola: 576099 markings, 765953 edges, 6417 markings/sec, 85 secs
lola: 607887 markings, 808161 edges, 6358 markings/sec, 90 secs
lola: 638456 markings, 849227 edges, 6114 markings/sec, 95 secs
lola: 670131 markings, 892136 edges, 6335 markings/sec, 100 secs
lola: 702134 markings, 935058 edges, 6401 markings/sec, 105 secs
lola: 734298 markings, 978499 edges, 6433 markings/sec, 110 secs
lola: 765781 markings, 1021335 edges, 6297 markings/sec, 115 secs
lola: 797494 markings, 1064301 edges, 6343 markings/sec, 120 secs
lola: 829361 markings, 1107200 edges, 6373 markings/sec, 125 secs
lola: 861069 markings, 1150060 edges, 6342 markings/sec, 130 secs
lola: 892373 markings, 1192801 edges, 6261 markings/sec, 135 secs
lola: 924406 markings, 1235835 edges, 6407 markings/sec, 140 secs
lola: 956220 markings, 1278739 edges, 6363 markings/sec, 145 secs
lola: 987364 markings, 1321190 edges, 6229 markings/sec, 150 secs
lola: 1018694 markings, 1363754 edges, 6266 markings/sec, 155 secs
lola: 1050570 markings, 1407246 edges, 6375 markings/sec, 160 secs
lola: 1081826 markings, 1449981 edges, 6251 markings/sec, 165 secs
lola: 1113151 markings, 1492705 edges, 6265 markings/sec, 170 secs
lola: 1144455 markings, 1535560 edges, 6261 markings/sec, 175 secs
lola: 1176433 markings, 1578866 edges, 6396 markings/sec, 180 secs
lola: 1207648 markings, 1621362 edges, 6243 markings/sec, 185 secs
lola: 1238718 markings, 1664087 edges, 6214 markings/sec, 190 secs
lola: 1269809 markings, 1706382 edges, 6218 markings/sec, 195 secs
lola: 1301134 markings, 1749270 edges, 6265 markings/sec, 200 secs
lola: 1332240 markings, 1791933 edges, 6221 markings/sec, 205 secs
lola: 1363404 markings, 1834655 edges, 6233 markings/sec, 210 secs
lola: 1394769 markings, 1877464 edges, 6273 markings/sec, 215 secs
lola: 1426455 markings, 1920540 edges, 6337 markings/sec, 220 secs
lola: 1457711 markings, 1963316 edges, 6251 markings/sec, 225 secs
lola: 1488940 markings, 2005782 edges, 6246 markings/sec, 230 secs
lola: 1520140 markings, 2048504 edges, 6240 markings/sec, 235 secs
lola: 1551965 markings, 2091847 edges, 6365 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 245 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 20 bytes per marking, with 15 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: 37335 markings, 46904 edges, 7467 markings/sec, 0 secs
lola: 76112 markings, 96190 edges, 7755 markings/sec, 5 secs
lola: 115034 markings, 145724 edges, 7784 markings/sec, 10 secs
lola: 153632 markings, 194733 edges, 7720 markings/sec, 15 secs
lola: 191976 markings, 243929 edges, 7669 markings/sec, 20 secs
lola: 230441 markings, 293297 edges, 7693 markings/sec, 25 secs
lola: 268600 markings, 342478 edges, 7632 markings/sec, 30 secs
lola: 306831 markings, 391872 edges, 7646 markings/sec, 35 secs
lola: 344266 markings, 440706 edges, 7487 markings/sec, 40 secs
lola: 382211 markings, 490022 edges, 7589 markings/sec, 45 secs
lola: 420258 markings, 539366 edges, 7609 markings/sec, 50 secs
lola: 457931 markings, 588341 edges, 7535 markings/sec, 55 secs
lola: 496001 markings, 637720 edges, 7614 markings/sec, 60 secs
lola: 533881 markings, 687136 edges, 7576 markings/sec, 65 secs
lola: 570891 markings, 736085 edges, 7402 markings/sec, 70 secs
lola: 608741 markings, 785114 edges, 7570 markings/sec, 75 secs
lola: 645278 markings, 833213 edges, 7307 markings/sec, 80 secs
lola: 681928 markings, 881950 edges, 7330 markings/sec, 85 secs
lola: 719400 markings, 930931 edges, 7494 markings/sec, 90 secs
lola: 756778 markings, 980039 edges, 7476 markings/sec, 95 secs
lola: 793487 markings, 1029314 edges, 7342 markings/sec, 100 secs
lola: 830739 markings, 1078547 edges, 7450 markings/sec, 105 secs
lola: 867853 markings, 1127534 edges, 7423 markings/sec, 110 secs
lola: 905650 markings, 1177120 edges, 7559 markings/sec, 115 secs
lola: 942856 markings, 1225948 edges, 7441 markings/sec, 120 secs
lola: 979955 markings, 1275208 edges, 7420 markings/sec, 125 secs
lola: 1017710 markings, 1324491 edges, 7551 markings/sec, 130 secs
lola: 1055204 markings, 1373860 edges, 7499 markings/sec, 135 secs
lola: 1092709 markings, 1422959 edges, 7501 markings/sec, 140 secs
lola: 1130150 markings, 1472200 edges, 7488 markings/sec, 145 secs
lola: 1168025 markings, 1521662 edges, 7575 markings/sec, 150 secs
lola: 1204557 markings, 1570356 edges, 7306 markings/sec, 155 secs
lola: 1241185 markings, 1619371 edges, 7326 markings/sec, 160 secs
lola: 1277192 markings, 1667981 edges, 7201 markings/sec, 165 secs
lola: 1314661 markings, 1717308 edges, 7494 markings/sec, 170 secs
lola: 1351774 markings, 1766218 edges, 7423 markings/sec, 175 secs
lola: 1388718 markings, 1815333 edges, 7389 markings/sec, 180 secs
lola: 1425485 markings, 1864587 edges, 7353 markings/sec, 185 secs
lola: 1461671 markings, 1913264 edges, 7237 markings/sec, 190 secs
lola: 1498488 markings, 1962177 edges, 7363 markings/sec, 195 secs
lola: 1534392 markings, 2011033 edges, 7181 markings/sec, 200 secs
lola: 1571054 markings, 2059798 edges, 7332 markings/sec, 205 secs
lola: 1607421 markings, 2108875 edges, 7273 markings/sec, 210 secs
lola: 1644907 markings, 2158251 edges, 7497 markings/sec, 215 secs
lola: 1682136 markings, 2207427 edges, 7446 markings/sec, 220 secs
lola: 1718920 markings, 2256596 edges, 7357 markings/sec, 225 secs
lola: 1754915 markings, 2305165 edges, 7199 markings/sec, 230 secs
lola: 1790721 markings, 2353729 edges, 7161 markings/sec, 235 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 20 bytes per marking, with 15 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: 28723 markings, 61366 edges, 5745 markings/sec, 0 secs
lola: 58161 markings, 129448 edges, 5888 markings/sec, 5 secs
lola: 87869 markings, 199953 edges, 5942 markings/sec, 10 secs
lola: 117292 markings, 270316 edges, 5885 markings/sec, 15 secs
lola: 146854 markings, 342054 edges, 5912 markings/sec, 20 secs
lola: 176301 markings, 414119 edges, 5889 markings/sec, 25 secs
lola: 205948 markings, 487512 edges, 5929 markings/sec, 30 secs
lola: 235454 markings, 560813 edges, 5901 markings/sec, 35 secs
lola: 264934 markings, 633313 edges, 5896 markings/sec, 40 secs
lola: 294123 markings, 705624 edges, 5838 markings/sec, 45 secs
lola: 323447 markings, 779861 edges, 5865 markings/sec, 50 secs
lola: 352639 markings, 853459 edges, 5838 markings/sec, 55 secs
lola: 382269 markings, 927895 edges, 5926 markings/sec, 60 secs
lola: 411711 markings, 1002174 edges, 5888 markings/sec, 65 secs
lola: 441032 markings, 1076593 edges, 5864 markings/sec, 70 secs
lola: 470308 markings, 1151479 edges, 5855 markings/sec, 75 secs
lola: 499458 markings, 1226872 edges, 5830 markings/sec, 80 secs
lola: 528655 markings, 1302183 edges, 5839 markings/sec, 85 secs
lola: 558144 markings, 1378225 edges, 5898 markings/sec, 90 secs
lola: 587259 markings, 1454456 edges, 5823 markings/sec, 95 secs
lola: 616301 markings, 1528486 edges, 5808 markings/sec, 100 secs
lola: 645953 markings, 1603480 edges, 5930 markings/sec, 105 secs
lola: 675053 markings, 1679608 edges, 5820 markings/sec, 110 secs
lola: 704366 markings, 1755591 edges, 5863 markings/sec, 115 secs
lola: 733700 markings, 1831767 edges, 5867 markings/sec, 120 secs
lola: 763103 markings, 1908917 edges, 5881 markings/sec, 125 secs
lola: 792252 markings, 1984975 edges, 5830 markings/sec, 130 secs
lola: 821412 markings, 2061099 edges, 5832 markings/sec, 135 secs
lola: 850578 markings, 2137412 edges, 5833 markings/sec, 140 secs
lola: 879673 markings, 2214930 edges, 5819 markings/sec, 145 secs
lola: 908830 markings, 2291227 edges, 5831 markings/sec, 150 secs
lola: 938029 markings, 2368369 edges, 5840 markings/sec, 155 secs
lola: 967384 markings, 2445884 edges, 5871 markings/sec, 160 secs
lola: 996439 markings, 2521699 edges, 5811 markings/sec, 165 secs
lola: 1025498 markings, 2599187 edges, 5812 markings/sec, 170 secs
lola: 1054400 markings, 2675321 edges, 5780 markings/sec, 175 secs
lola: 1083548 markings, 2752170 edges, 5830 markings/sec, 180 secs
lola: 1112795 markings, 2830952 edges, 5849 markings/sec, 185 secs
lola: 1142234 markings, 2908628 edges, 5888 markings/sec, 190 secs
lola: 1171273 markings, 2985271 edges, 5808 markings/sec, 195 secs
lola: 1200548 markings, 3064414 edges, 5855 markings/sec, 200 secs
lola: 1229330 markings, 3142348 edges, 5756 markings/sec, 205 secs
lola: 1258450 markings, 3220086 edges, 5824 markings/sec, 210 secs
lola: 1287592 markings, 3298115 edges, 5828 markings/sec, 215 secs
lola: 1316742 markings, 3375605 edges, 5830 markings/sec, 220 secs
lola: 1345632 markings, 3452175 edges, 5778 markings/sec, 225 secs
lola: 1374854 markings, 3529315 edges, 5844 markings/sec, 230 secs
lola: 1403738 markings, 3606899 edges, 5777 markings/sec, 235 secs
lola: 1432969 markings, 3686041 edges, 5846 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1494819038091
--------------------
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="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/SimpleLoadBal-PT-20.tgz
mv 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 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 r068-csrt-149440963400389"
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 ;