About the Execution of 2018-Gold for SimpleLoadBal-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1263.550 | 3570366.00 | 3608580.00 | 262.70 | 1 1 1 1 1 1 1 1 1 ? 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r165-csrt-155286442000109.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
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 r165-csrt-155286442000109
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.7K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 9 02:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 9 02:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 1 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 1 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 10 17:31 model.pnml
--------------------
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-PT-20-UpperBounds-00
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-01
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-02
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-03
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-04
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-05
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-06
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-07
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-08
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-09
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-10
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-11
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-12
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-13
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-14
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553109589627
info: Time: 3600 - MCC
===========================================================================================
prep: translating SimpleLoadBal-PT-20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating SimpleLoadBal-PT-20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ SimpleLoadBal-PT-20 @ 3570 seconds
lola: LoLA will run for 3570 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: Size of bit vector: 6208
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-PT-20-UpperBounds.task
lola: MAX(P-client_request_2) : MAX(P-client_ack_12) : MAX(P-lb_routing_1_10) : MAX(P-lb_load_1_1) : MAX(P-server_request_12_2) : MAX(P-client_idle_20) : MAX(P-client_ack_13) : MAX(P-client_request_9) : MAX(P-server_request_12_2) : MAX(P-lb_load_1_16) : MAX(P-server_request_5_2) : MAX(P-client_request_4) : MAX(P-server_request_1_2) : MAX(P-client_request_7) : MAX(P-server_request_13_2) : MAX(P-client_waiting_10)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_2)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R181 = 0 is above its equality of -1
check_solution: Constraint R182 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 1 (rel. error 1)
FORMULA SimpleLoadBal-PT-20-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_ack_12)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_10)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_12_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_12_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 118 markings, 120 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_idle_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_idle_20)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_ack_13)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_9)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_12_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_12_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 118 markings, 120 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_16)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 22559 markings, 28250 edges, 4512 markings/sec, 0 secs
lola: 46054 markings, 57944 edges, 4699 markings/sec, 5 secs
lola: 69057 markings, 87326 edges, 4601 markings/sec, 10 secs
lola: 91929 markings, 117014 edges, 4574 markings/sec, 15 secs
lola: 115313 markings, 147533 edges, 4677 markings/sec, 20 secs
lola: 138717 markings, 177518 edges, 4681 markings/sec, 25 secs
lola: 162233 markings, 208084 edges, 4703 markings/sec, 30 secs
lola: 185333 markings, 239130 edges, 4620 markings/sec, 35 secs
lola: 207451 markings, 268741 edges, 4424 markings/sec, 40 secs
lola: 229924 markings, 296563 edges, 4495 markings/sec, 45 secs
lola: 251490 markings, 325743 edges, 4313 markings/sec, 50 secs
lola: 273144 markings, 353326 edges, 4331 markings/sec, 55 secs
lola: 295505 markings, 382751 edges, 4472 markings/sec, 60 secs
lola: 318641 markings, 414564 edges, 4627 markings/sec, 65 secs
lola: 342017 markings, 445316 edges, 4675 markings/sec, 70 secs
lola: 363871 markings, 475744 edges, 4371 markings/sec, 75 secs
lola: 386743 markings, 506490 edges, 4574 markings/sec, 80 secs
lola: 409354 markings, 534950 edges, 4522 markings/sec, 85 secs
lola: 432360 markings, 564950 edges, 4601 markings/sec, 90 secs
lola: 455556 markings, 595657 edges, 4639 markings/sec, 95 secs
lola: 478438 markings, 626091 edges, 4576 markings/sec, 100 secs
lola: 500903 markings, 655658 edges, 4493 markings/sec, 105 secs
lola: 523702 markings, 686828 edges, 4560 markings/sec, 110 secs
lola: 546319 markings, 718066 edges, 4523 markings/sec, 115 secs
lola: 568224 markings, 748954 edges, 4381 markings/sec, 120 secs
lola: 589853 markings, 779727 edges, 4326 markings/sec, 125 secs
lola: 611380 markings, 809715 edges, 4305 markings/sec, 130 secs
lola: 633113 markings, 840460 edges, 4347 markings/sec, 135 secs
lola: 654996 markings, 871092 edges, 4377 markings/sec, 140 secs
lola: 676553 markings, 902084 edges, 4311 markings/sec, 145 secs
lola: 698261 markings, 932352 edges, 4342 markings/sec, 150 secs
lola: 719835 markings, 960979 edges, 4315 markings/sec, 155 secs
lola: 741804 markings, 990639 edges, 4394 markings/sec, 160 secs
lola: 763541 markings, 1020970 edges, 4347 markings/sec, 165 secs
lola: 785445 markings, 1050597 edges, 4381 markings/sec, 170 secs
lola: 807324 markings, 1081436 edges, 4376 markings/sec, 175 secs
lola: 829085 markings, 1111718 edges, 4352 markings/sec, 180 secs
lola: 850664 markings, 1142378 edges, 4316 markings/sec, 185 secs
lola: 872179 markings, 1173238 edges, 4303 markings/sec, 190 secs
lola: 893757 markings, 1204108 edges, 4316 markings/sec, 195 secs
lola: 915261 markings, 1232888 edges, 4301 markings/sec, 200 secs
lola: 936712 markings, 1261634 edges, 4290 markings/sec, 205 secs
lola: 958166 markings, 1291725 edges, 4291 markings/sec, 210 secs
lola: 980055 markings, 1322054 edges, 4378 markings/sec, 215 secs
lola: 1002495 markings, 1353824 edges, 4488 markings/sec, 220 secs
lola: 1025746 markings, 1383368 edges, 4650 markings/sec, 225 secs
lola: 1049100 markings, 1413791 edges, 4671 markings/sec, 230 secs
lola: 1072312 markings, 1443907 edges, 4642 markings/sec, 235 secs
lola: 1095010 markings, 1474472 edges, 4540 markings/sec, 240 secs
lola: 1118188 markings, 1504419 edges, 4636 markings/sec, 245 secs
lola: 1140665 markings, 1535514 edges, 4495 markings/sec, 250 secs
lola: 1163851 markings, 1566299 edges, 4637 markings/sec, 255 secs
lola: 1186559 markings, 1596952 edges, 4542 markings/sec, 260 secs
lola: 1209175 markings, 1628497 edges, 4523 markings/sec, 265 secs
lola: 1231893 markings, 1661567 edges, 4544 markings/sec, 270 secs
lola: 1254635 markings, 1693446 edges, 4548 markings/sec, 275 secs
lola: 1277122 markings, 1726291 edges, 4497 markings/sec, 280 secs
lola: 1299209 markings, 1757750 edges, 4417 markings/sec, 285 secs
lola: 1320974 markings, 1789519 edges, 4353 markings/sec, 290 secs
lola: 1343142 markings, 1821704 edges, 4434 markings/sec, 295 secs
lola: 1364601 markings, 1852157 edges, 4292 markings/sec, 300 secs
lola: 1386174 markings, 1880954 edges, 4315 markings/sec, 305 secs
lola: 1407697 markings, 1910374 edges, 4305 markings/sec, 310 secs
lola: 1429376 markings, 1940217 edges, 4336 markings/sec, 315 secs
lola: 1451319 markings, 1969301 edges, 4389 markings/sec, 320 secs
lola: 1473638 markings, 1999220 edges, 4464 markings/sec, 325 secs
lola: 1495280 markings, 2029460 edges, 4328 markings/sec, 330 secs
lola: 1516548 markings, 2059677 edges, 4254 markings/sec, 335 secs
lola: 1538174 markings, 2090512 edges, 4325 markings/sec, 340 secs
lola: 1559492 markings, 2120738 edges, 4264 markings/sec, 345 secs
lola: 1580664 markings, 2151747 edges, 4234 markings/sec, 350 secs
lola: 1601963 markings, 2181533 edges, 4260 markings/sec, 355 secs
lola: 1624130 markings, 2211894 edges, 4433 markings/sec, 360 secs
lola: 1647036 markings, 2244441 edges, 4581 markings/sec, 365 secs
lola: 1669927 markings, 2277136 edges, 4578 markings/sec, 370 secs
lola: 1692985 markings, 2309427 edges, 4612 markings/sec, 375 secs
lola: 1715225 markings, 2342387 edges, 4448 markings/sec, 380 secs
lola: 1737855 markings, 2375037 edges, 4526 markings/sec, 385 secs
lola: 1760294 markings, 2407264 edges, 4488 markings/sec, 390 secs
lola: 1782833 markings, 2440220 edges, 4508 markings/sec, 395 secs
lola: 1806047 markings, 2474159 edges, 4643 markings/sec, 400 secs
lola: 1828636 markings, 2505720 edges, 4518 markings/sec, 405 secs
lola: 1851152 markings, 2538250 edges, 4503 markings/sec, 410 secs
lola: 1873463 markings, 2570586 edges, 4462 markings/sec, 415 secs
lola: 1895493 markings, 2601949 edges, 4406 markings/sec, 420 secs
lola: 1917015 markings, 2633482 edges, 4304 markings/sec, 425 secs
lola: 1938281 markings, 2664904 edges, 4253 markings/sec, 430 secs
lola: 1959826 markings, 2693929 edges, 4309 markings/sec, 435 secs
lola: 1981625 markings, 2722809 edges, 4360 markings/sec, 440 secs
lola: 2003278 markings, 2753018 edges, 4331 markings/sec, 445 secs
lola: 2024630 markings, 2782284 edges, 4270 markings/sec, 450 secs
lola: 2046009 markings, 2812680 edges, 4276 markings/sec, 455 secs
lola: 2067619 markings, 2843806 edges, 4322 markings/sec, 460 secs
lola: 2089279 markings, 2873477 edges, 4332 markings/sec, 465 secs
lola: 2110651 markings, 2902820 edges, 4274 markings/sec, 470 secs
lola: 2131854 markings, 2933776 edges, 4241 markings/sec, 475 secs
lola: 2153128 markings, 2964057 edges, 4255 markings/sec, 480 secs
lola: 2174353 markings, 2993681 edges, 4245 markings/sec, 485 secs
lola: 2195606 markings, 3024045 edges, 4251 markings/sec, 490 secs
lola: 2216787 markings, 3053721 edges, 4236 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 199448 KB
lola: time consumption: 540 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_5_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_5_2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_4)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
FORMULA SimpleLoadBal-PT-20-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 757 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_1_2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 98 markings, 97 edges
FORMULA SimpleLoadBal-PT-20-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1009 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_7)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
FORMULA SimpleLoadBal-PT-20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_13_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_13_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3027 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_waiting_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_waiting_10)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
FORMULA SimpleLoadBal-PT-20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_16)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file SimpleLoadBal-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 21952 markings, 27531 edges, 4390 markings/sec, 0 secs
lola: 44149 markings, 55473 edges, 4439 markings/sec, 5 secs
lola: 66061 markings, 83553 edges, 4382 markings/sec, 10 secs
lola: 88025 markings, 111882 edges, 4393 markings/sec, 15 secs
lola: 110068 markings, 140470 edges, 4409 markings/sec, 20 secs
lola: 132020 markings, 169206 edges, 4390 markings/sec, 25 secs
lola: 154333 markings, 197847 edges, 4463 markings/sec, 30 secs
lola: 177029 markings, 227658 edges, 4539 markings/sec, 35 secs
lola: 198747 markings, 257584 edges, 4344 markings/sec, 40 secs
lola: 220447 markings, 284892 edges, 4340 markings/sec, 45 secs
lola: 242172 markings, 313144 edges, 4345 markings/sec, 50 secs
lola: 263686 markings, 340709 edges, 4303 markings/sec, 55 secs
lola: 285450 markings, 369587 edges, 4353 markings/sec, 60 secs
lola: 307386 markings, 398983 edges, 4387 markings/sec, 65 secs
lola: 329147 markings, 428364 edges, 4352 markings/sec, 70 secs
lola: 350932 markings, 457970 edges, 4357 markings/sec, 75 secs
lola: 372673 markings, 487041 edges, 4348 markings/sec, 80 secs
lola: 394326 markings, 516124 edges, 4331 markings/sec, 85 secs
lola: 416311 markings, 543972 edges, 4397 markings/sec, 90 secs
lola: 438284 markings, 573049 edges, 4395 markings/sec, 95 secs
lola: 460394 markings, 602321 edges, 4422 markings/sec, 100 secs
lola: 482466 markings, 631236 edges, 4414 markings/sec, 105 secs
lola: 504392 markings, 660475 edges, 4385 markings/sec, 110 secs
lola: 526272 markings, 690494 edges, 4376 markings/sec, 115 secs
lola: 547930 markings, 720315 edges, 4332 markings/sec, 120 secs
lola: 569354 markings, 750592 edges, 4285 markings/sec, 125 secs
lola: 590896 markings, 781245 edges, 4308 markings/sec, 130 secs
lola: 612432 markings, 811189 edges, 4307 markings/sec, 135 secs
lola: 633983 markings, 841602 edges, 4310 markings/sec, 140 secs
lola: 655567 markings, 871898 edges, 4317 markings/sec, 145 secs
lola: 677084 markings, 902832 edges, 4303 markings/sec, 150 secs
lola: 698695 markings, 932986 edges, 4322 markings/sec, 155 secs
lola: 720135 markings, 961404 edges, 4288 markings/sec, 160 secs
lola: 742254 markings, 991241 edges, 4424 markings/sec, 165 secs
lola: 763788 markings, 1021298 edges, 4307 markings/sec, 170 secs
lola: 785521 markings, 1050711 edges, 4347 markings/sec, 175 secs
lola: 807222 markings, 1081289 edges, 4340 markings/sec, 180 secs
lola: 829895 markings, 1112798 edges, 4535 markings/sec, 185 secs
lola: 853330 markings, 1146180 edges, 4687 markings/sec, 190 secs
lola: 876686 markings, 1179586 edges, 4671 markings/sec, 195 secs
lola: 899720 markings, 1212277 edges, 4607 markings/sec, 200 secs
lola: 923288 markings, 1244131 edges, 4714 markings/sec, 205 secs
lola: 946463 markings, 1276064 edges, 4635 markings/sec, 210 secs
lola: 969764 markings, 1307623 edges, 4660 markings/sec, 215 secs
lola: 992574 markings, 1340359 edges, 4562 markings/sec, 220 secs
lola: 1016189 markings, 1370899 edges, 4723 markings/sec, 225 secs
lola: 1040470 markings, 1402302 edges, 4856 markings/sec, 230 secs
lola: 1063954 markings, 1433090 edges, 4697 markings/sec, 235 secs
lola: 1087649 markings, 1465096 edges, 4739 markings/sec, 240 secs
lola: 1111699 markings, 1495953 edges, 4810 markings/sec, 245 secs
lola: 1135305 markings, 1528127 edges, 4721 markings/sec, 250 secs
lola: 1158906 markings, 1559869 edges, 4720 markings/sec, 255 secs
lola: 1182444 markings, 1591402 edges, 4708 markings/sec, 260 secs
lola: 1205420 markings, 1623229 edges, 4595 markings/sec, 265 secs
lola: 1228279 markings, 1656184 edges, 4572 markings/sec, 270 secs
lola: 1251141 markings, 1688640 edges, 4572 markings/sec, 275 secs
lola: 1274476 markings, 1722356 edges, 4667 markings/sec, 280 secs
lola: 1297985 markings, 1755895 edges, 4702 markings/sec, 285 secs
lola: 1321348 markings, 1790098 edges, 4673 markings/sec, 290 secs
lola: 1344640 markings, 1823685 edges, 4658 markings/sec, 295 secs
lola: 1367721 markings, 1856257 edges, 4616 markings/sec, 300 secs
lola: 1391182 markings, 1887913 edges, 4692 markings/sec, 305 secs
lola: 1414169 markings, 1919110 edges, 4597 markings/sec, 310 secs
lola: 1437519 markings, 1950756 edges, 4670 markings/sec, 315 secs
lola: 1460961 markings, 1982343 edges, 4688 markings/sec, 320 secs
lola: 1483912 markings, 2013806 edges, 4590 markings/sec, 325 secs
lola: 1506155 markings, 2044358 edges, 4449 markings/sec, 330 secs
lola: 1527368 markings, 2075218 edges, 4243 markings/sec, 335 secs
lola: 1548988 markings, 2105840 edges, 4324 markings/sec, 340 secs
lola: 1570277 markings, 2136828 edges, 4258 markings/sec, 345 secs
lola: 1591839 markings, 2167484 edges, 4312 markings/sec, 350 secs
lola: 1614597 markings, 2198875 edges, 4552 markings/sec, 355 secs
lola: 1637588 markings, 2231634 edges, 4598 markings/sec, 360 secs
lola: 1659186 markings, 2261664 edges, 4320 markings/sec, 365 secs
lola: 1679848 markings, 2290348 edges, 4132 markings/sec, 370 secs
lola: 1700678 markings, 2320773 edges, 4166 markings/sec, 375 secs
lola: 1721946 markings, 2352431 edges, 4254 markings/sec, 380 secs
lola: 1744044 markings, 2383673 edges, 4420 markings/sec, 385 secs
lola: 1767480 markings, 2417902 edges, 4687 markings/sec, 390 secs
lola: 1790898 markings, 2452141 edges, 4684 markings/sec, 395 secs
lola: 1814352 markings, 2486101 edges, 4691 markings/sec, 400 secs
lola: 1836068 markings, 2516632 edges, 4343 markings/sec, 405 secs
lola: 1857615 markings, 2547861 edges, 4309 markings/sec, 410 secs
lola: 1880029 markings, 2580458 edges, 4483 markings/sec, 415 secs
lola: 1901954 markings, 2611635 edges, 4385 markings/sec, 420 secs
lola: 1924727 markings, 2645004 edges, 4555 markings/sec, 425 secs
lola: 1948028 markings, 2677774 edges, 4660 markings/sec, 430 secs
lola: 1971727 markings, 2709202 edges, 4740 markings/sec, 435 secs
lola: 1995821 markings, 2742239 edges, 4819 markings/sec, 440 secs
lola: 2019145 markings, 2775100 edges, 4665 markings/sec, 445 secs
lola: 2042525 markings, 2807709 edges, 4676 markings/sec, 450 secs
lola: 2064882 markings, 2839908 edges, 4471 markings/sec, 455 secs
lola: 2088165 markings, 2872029 edges, 4657 markings/sec, 460 secs
lola: 2111669 markings, 2904136 edges, 4701 markings/sec, 465 secs
lola: 2134407 markings, 2936844 edges, 4548 markings/sec, 470 secs
lola: 2157641 markings, 2970483 edges, 4647 markings/sec, 475 secs
lola: 2180601 markings, 3002942 edges, 4592 markings/sec, 480 secs
lola: 2203087 markings, 3034626 edges, 4497 markings/sec, 485 secs
lola: 2225209 markings, 3066571 edges, 4424 markings/sec, 490 secs
lola: 2246538 markings, 3096960 edges, 4266 markings/sec, 495 secs
lola: 2267873 markings, 3128316 edges, 4267 markings/sec, 500 secs
lola: 2288799 markings, 3159429 edges, 4185 markings/sec, 505 secs
lola: 2310104 markings, 3189822 edges, 4261 markings/sec, 510 secs
lola: 2331198 markings, 3221397 edges, 4219 markings/sec, 515 secs
lola: 2353840 markings, 3253844 edges, 4528 markings/sec, 520 secs
lola: 2375858 markings, 3284343 edges, 4404 markings/sec, 525 secs
lola: 2398436 markings, 3316387 edges, 4516 markings/sec, 530 secs
lola: 2419625 markings, 3347937 edges, 4238 markings/sec, 535 secs
lola: 2440792 markings, 3379620 edges, 4233 markings/sec, 540 secs
lola: 2462865 markings, 3408077 edges, 4415 markings/sec, 545 secs
lola: 2484910 markings, 3435798 edges, 4409 markings/sec, 550 secs
lola: 2506947 markings, 3464792 edges, 4407 markings/sec, 555 secs
lola: 2530085 markings, 3494389 edges, 4628 markings/sec, 560 secs
lola: 2552299 markings, 3523381 edges, 4443 markings/sec, 565 secs
lola: 2574317 markings, 3552662 edges, 4404 markings/sec, 570 secs
lola: 2595767 markings, 3582409 edges, 4290 markings/sec, 575 secs
lola: 2617189 markings, 3612859 edges, 4284 markings/sec, 580 secs
lola: 2638523 markings, 3644309 edges, 4267 markings/sec, 585 secs
lola: 2659829 markings, 3675507 edges, 4261 markings/sec, 590 secs
lola: 2682208 markings, 3707024 edges, 4476 markings/sec, 595 secs
lola: 2704069 markings, 3736496 edges, 4372 markings/sec, 600 secs
lola: 2725790 markings, 3765906 edges, 4344 markings/sec, 605 secs
lola: 2746983 markings, 3795885 edges, 4239 markings/sec, 610 secs
lola: 2768245 markings, 3826829 edges, 4252 markings/sec, 615 secs
lola: 2789664 markings, 3856478 edges, 4284 markings/sec, 620 secs
lola: 2811207 markings, 3886920 edges, 4309 markings/sec, 625 secs
lola: 2832272 markings, 3916951 edges, 4213 markings/sec, 630 secs
lola: 2853868 markings, 3949528 edges, 4319 markings/sec, 635 secs
lola: 2875284 markings, 3980439 edges, 4283 markings/sec, 640 secs
lola: 2896657 markings, 4009771 edges, 4275 markings/sec, 645 secs
lola: 2919057 markings, 4042338 edges, 4480 markings/sec, 650 secs
lola: 2941720 markings, 4075744 edges, 4533 markings/sec, 655 secs
lola: 2964167 markings, 4108599 edges, 4489 markings/sec, 660 secs
lola: 2985886 markings, 4139394 edges, 4344 markings/sec, 665 secs
lola: 3008238 markings, 4168178 edges, 4470 markings/sec, 670 secs
lola: 3030550 markings, 4197286 edges, 4462 markings/sec, 675 secs
lola: 3052707 markings, 4226601 edges, 4431 markings/sec, 680 secs
lola: 3075530 markings, 4257367 edges, 4565 markings/sec, 685 secs
lola: 3098281 markings, 4289176 edges, 4550 markings/sec, 690 secs
lola: 3121344 markings, 4320185 edges, 4613 markings/sec, 695 secs
lola: 3144145 markings, 4352975 edges, 4560 markings/sec, 700 secs
lola: 3166457 markings, 4385863 edges, 4462 markings/sec, 705 secs
lola: 3188839 markings, 4418093 edges, 4476 markings/sec, 710 secs
lola: 3211463 markings, 4449302 edges, 4525 markings/sec, 715 secs
lola: 3235082 markings, 4481907 edges, 4724 markings/sec, 720 secs
lola: 3258325 markings, 4514130 edges, 4649 markings/sec, 725 secs
lola: 3280217 markings, 4545224 edges, 4378 markings/sec, 730 secs
lola: 3302227 markings, 4576541 edges, 4402 markings/sec, 735 secs
lola: 3324870 markings, 4609372 edges, 4529 markings/sec, 740 secs
lola: 3346624 markings, 4639227 edges, 4351 markings/sec, 745 secs
lola: 3369371 markings, 4671321 edges, 4549 markings/sec, 750 secs
lola: 3392819 markings, 4701868 edges, 4690 markings/sec, 755 secs
lola: 3416255 markings, 4732803 edges, 4687 markings/sec, 760 secs
lola: 3438710 markings, 4763135 edges, 4491 markings/sec, 765 secs
lola: 3461500 markings, 4795336 edges, 4558 markings/sec, 770 secs
lola: 3484668 markings, 4828288 edges, 4634 markings/sec, 775 secs
lola: 3506760 markings, 4859584 edges, 4418 markings/sec, 780 secs
lola: 3528611 markings, 4889203 edges, 4370 markings/sec, 785 secs
lola: 3550327 markings, 4919098 edges, 4343 markings/sec, 790 secs
lola: 3572230 markings, 4949022 edges, 4381 markings/sec, 795 secs
lola: 3594943 markings, 4981432 edges, 4543 markings/sec, 800 secs
lola: 3617296 markings, 5014964 edges, 4471 markings/sec, 805 secs
lola: 3639813 markings, 5048265 edges, 4503 markings/sec, 810 secs
lola: 3662762 markings, 5080071 edges, 4590 markings/sec, 815 secs
lola: 3685280 markings, 5111610 edges, 4504 markings/sec, 820 secs
lola: 3707532 markings, 5143168 edges, 4450 markings/sec, 825 secs
lola: 3730501 markings, 5176079 edges, 4594 markings/sec, 830 secs
lola: 3753126 markings, 5209367 edges, 4525 markings/sec, 835 secs
lola: 3775656 markings, 5242531 edges, 4506 markings/sec, 840 secs
lola: 3797818 markings, 5274401 edges, 4432 markings/sec, 845 secs
lola: 3820341 markings, 5306857 edges, 4505 markings/sec, 850 secs
lola: 3842368 markings, 5338760 edges, 4405 markings/sec, 855 secs
lola: 3863954 markings, 5369937 edges, 4317 markings/sec, 860 secs
lola: 3885495 markings, 5400324 edges, 4308 markings/sec, 865 secs
lola: 3906650 markings, 5431280 edges, 4231 markings/sec, 870 secs
lola: 3928846 markings, 5463347 edges, 4439 markings/sec, 875 secs
lola: 3951411 markings, 5495094 edges, 4513 markings/sec, 880 secs
lola: 3974584 markings, 5527755 edges, 4635 markings/sec, 885 secs
lola: 3996681 markings, 5559915 edges, 4419 markings/sec, 890 secs
lola: 4019317 markings, 5591866 edges, 4527 markings/sec, 895 secs
lola: 4041595 markings, 5624561 edges, 4456 markings/sec, 900 secs
lola: 4064120 markings, 5656198 edges, 4505 markings/sec, 905 secs
lola: 4086367 markings, 5689213 edges, 4449 markings/sec, 910 secs
lola: 4108692 markings, 5720272 edges, 4465 markings/sec, 915 secs
lola: 4131247 markings, 5752160 edges, 4511 markings/sec, 920 secs
lola: 4153068 markings, 5782991 edges, 4364 markings/sec, 925 secs
lola: 4175457 markings, 5814617 edges, 4478 markings/sec, 930 secs
lola: 4197915 markings, 5846722 edges, 4492 markings/sec, 935 secs
lola: 4220574 markings, 5878559 edges, 4532 markings/sec, 940 secs
lola: 4243261 markings, 5910756 edges, 4537 markings/sec, 945 secs
lola: 4265698 markings, 5943054 edges, 4487 markings/sec, 950 secs
lola: 4288139 markings, 5975801 edges, 4488 markings/sec, 955 secs
lola: 4311289 markings, 6008342 edges, 4630 markings/sec, 960 secs
lola: 4333685 markings, 6041076 edges, 4479 markings/sec, 965 secs
lola: 4356216 markings, 6074328 edges, 4506 markings/sec, 970 secs
lola: 4378066 markings, 6106467 edges, 4370 markings/sec, 975 secs
lola: 4400697 markings, 6138533 edges, 4526 markings/sec, 980 secs
lola: 4422984 markings, 6170565 edges, 4457 markings/sec, 985 secs
lola: 4445334 markings, 6203754 edges, 4470 markings/sec, 990 secs
lola: 4467507 markings, 6236074 edges, 4435 markings/sec, 995 secs
lola: 4489179 markings, 6268624 edges, 4334 markings/sec, 1000 secs
lola: 4511242 markings, 6299243 edges, 4413 markings/sec, 1005 secs
lola: 4532437 markings, 6329541 edges, 4239 markings/sec, 1010 secs
lola: 4553728 markings, 6360134 edges, 4258 markings/sec, 1015 secs
lola: 4575044 markings, 6391244 edges, 4263 markings/sec, 1020 secs
lola: 4596759 markings, 6422202 edges, 4343 markings/sec, 1025 secs
lola: 4618646 markings, 6452819 edges, 4377 markings/sec, 1030 secs
lola: 4640134 markings, 6483528 edges, 4298 markings/sec, 1035 secs
lola: 4661689 markings, 6514484 edges, 4311 markings/sec, 1040 secs
lola: 4684013 markings, 6547931 edges, 4465 markings/sec, 1045 secs
lola: 4706492 markings, 6581148 edges, 4496 markings/sec, 1050 secs
lola: 4729603 markings, 6614523 edges, 4622 markings/sec, 1055 secs
lola: 4752459 markings, 6647613 edges, 4571 markings/sec, 1060 secs
lola: 4774681 markings, 6680595 edges, 4444 markings/sec, 1065 secs
lola: 4796964 markings, 6713278 edges, 4457 markings/sec, 1070 secs
lola: 4819525 markings, 6744743 edges, 4512 markings/sec, 1075 secs
lola: 4842415 markings, 6776056 edges, 4578 markings/sec, 1080 secs
lola: 4865843 markings, 6808744 edges, 4686 markings/sec, 1085 secs
lola: 4888756 markings, 6841028 edges, 4583 markings/sec, 1090 secs
lola: 4911667 markings, 6873253 edges, 4582 markings/sec, 1095 secs
lola: 4934366 markings, 6905342 edges, 4540 markings/sec, 1100 secs
lola: 4956951 markings, 6937710 edges, 4517 markings/sec, 1105 secs
lola: 4979736 markings, 6969253 edges, 4557 markings/sec, 1110 secs
lola: 5002102 markings, 7001087 edges, 4473 markings/sec, 1115 secs
lola: 5024485 markings, 7033516 edges, 4477 markings/sec, 1120 secs
lola: 5047545 markings, 7065090 edges, 4612 markings/sec, 1125 secs
lola: 5070275 markings, 7098425 edges, 4546 markings/sec, 1130 secs
lola: 5093229 markings, 7131650 edges, 4591 markings/sec, 1135 secs
lola: 5115686 markings, 7164173 edges, 4491 markings/sec, 1140 secs
lola: 5139115 markings, 7196391 edges, 4686 markings/sec, 1145 secs
lola: 5161172 markings, 7228169 edges, 4411 markings/sec, 1150 secs
lola: 5183612 markings, 7261778 edges, 4488 markings/sec, 1155 secs
lola: 5206731 markings, 7294568 edges, 4624 markings/sec, 1160 secs
lola: 5228990 markings, 7327250 edges, 4452 markings/sec, 1165 secs
lola: 5251404 markings, 7360287 edges, 4483 markings/sec, 1170 secs
lola: 5273734 markings, 7392143 edges, 4466 markings/sec, 1175 secs
lola: 5296455 markings, 7425102 edges, 4544 markings/sec, 1180 secs
lola: 5318406 markings, 7456765 edges, 4390 markings/sec, 1185 secs
lola: 5340826 markings, 7488927 edges, 4484 markings/sec, 1190 secs
lola: 5363295 markings, 7520941 edges, 4494 markings/sec, 1195 secs
lola: 5385041 markings, 7551452 edges, 4349 markings/sec, 1200 secs
lola: 5406954 markings, 7582014 edges, 4383 markings/sec, 1205 secs
lola: 5429399 markings, 7613576 edges, 4489 markings/sec, 1210 secs
lola: 5452149 markings, 7646434 edges, 4550 markings/sec, 1215 secs
lola: 5474482 markings, 7679058 edges, 4467 markings/sec, 1220 secs
lola: 5496028 markings, 7710578 edges, 4309 markings/sec, 1225 secs
lola: 5518143 markings, 7743053 edges, 4423 markings/sec, 1230 secs
lola: 5539716 markings, 7774885 edges, 4315 markings/sec, 1235 secs
lola: 5562420 markings, 7805987 edges, 4541 markings/sec, 1240 secs
lola: 5585115 markings, 7837722 edges, 4539 markings/sec, 1245 secs
lola: 5608198 markings, 7869464 edges, 4617 markings/sec, 1250 secs
lola: 5631019 markings, 7900826 edges, 4564 markings/sec, 1255 secs
lola: 5653757 markings, 7933018 edges, 4548 markings/sec, 1260 secs
lola: 5676233 markings, 7964066 edges, 4495 markings/sec, 1265 secs
lola: 5698175 markings, 7996849 edges, 4388 markings/sec, 1270 secs
lola: 5719171 markings, 8028856 edges, 4199 markings/sec, 1275 secs
lola: 5740578 markings, 8058185 edges, 4281 markings/sec, 1280 secs
lola: 5762310 markings, 8088987 edges, 4346 markings/sec, 1285 secs
lola: 5784446 markings, 8121873 edges, 4427 markings/sec, 1290 secs
lola: 5806647 markings, 8154219 edges, 4440 markings/sec, 1295 secs
lola: 5829485 markings, 8186201 edges, 4568 markings/sec, 1300 secs
lola: 5851741 markings, 8217961 edges, 4451 markings/sec, 1305 secs
lola: 5874382 markings, 8250099 edges, 4528 markings/sec, 1310 secs
lola: 5896842 markings, 8282751 edges, 4492 markings/sec, 1315 secs
lola: 5919536 markings, 8315389 edges, 4539 markings/sec, 1320 secs
lola: 5942531 markings, 8348088 edges, 4599 markings/sec, 1325 secs
lola: 5963877 markings, 8379388 edges, 4269 markings/sec, 1330 secs
lola: 5984842 markings, 8410621 edges, 4193 markings/sec, 1335 secs
lola: 6005651 markings, 8440778 edges, 4162 markings/sec, 1340 secs
lola: 6027315 markings, 8471833 edges, 4333 markings/sec, 1345 secs
lola: 6049595 markings, 8506039 edges, 4456 markings/sec, 1350 secs
lola: 6072165 markings, 8537804 edges, 4514 markings/sec, 1355 secs
lola: 6094249 markings, 8569939 edges, 4417 markings/sec, 1360 secs
lola: 6116498 markings, 8602201 edges, 4450 markings/sec, 1365 secs
lola: 6138871 markings, 8635692 edges, 4475 markings/sec, 1370 secs
lola: 6160776 markings, 8668223 edges, 4381 markings/sec, 1375 secs
lola: 6182808 markings, 8700600 edges, 4406 markings/sec, 1380 secs
lola: 6204592 markings, 8732236 edges, 4357 markings/sec, 1385 secs
lola: 6225901 markings, 8763895 edges, 4262 markings/sec, 1390 secs
lola: 6247235 markings, 8795136 edges, 4267 markings/sec, 1395 secs
lola: 6268138 markings, 8825393 edges, 4181 markings/sec, 1400 secs
lola: 6289186 markings, 8855592 edges, 4210 markings/sec, 1405 secs
lola: 6310413 markings, 8887209 edges, 4245 markings/sec, 1410 secs
lola: 6331632 markings, 8917806 edges, 4244 markings/sec, 1415 secs
lola: 6354027 markings, 8950968 edges, 4479 markings/sec, 1420 secs
lola: 6376468 markings, 8984480 edges, 4488 markings/sec, 1425 secs
lola: 6398281 markings, 9017622 edges, 4363 markings/sec, 1430 secs
lola: 6420028 markings, 9048935 edges, 4349 markings/sec, 1435 secs
lola: 6442176 markings, 9079483 edges, 4430 markings/sec, 1440 secs
lola: 6464513 markings, 9112226 edges, 4467 markings/sec, 1445 secs
lola: 6487099 markings, 9145636 edges, 4517 markings/sec, 1450 secs
lola: 6509315 markings, 9178522 edges, 4443 markings/sec, 1455 secs
lola: 6531748 markings, 9211552 edges, 4487 markings/sec, 1460 secs
lola: 6554145 markings, 9243865 edges, 4479 markings/sec, 1465 secs
lola: 6576183 markings, 9275772 edges, 4408 markings/sec, 1470 secs
lola: 6598448 markings, 9308881 edges, 4453 markings/sec, 1475 secs
lola: 6620826 markings, 9340915 edges, 4476 markings/sec, 1480 secs
lola: 6642885 markings, 9373254 edges, 4412 markings/sec, 1485 secs
lola: 6665129 markings, 9404704 edges, 4449 markings/sec, 1490 secs
lola: 6686677 markings, 9436394 edges, 4310 markings/sec, 1495 secs
lola: 6708299 markings, 9468006 edges, 4324 markings/sec, 1500 secs
lola: 6730046 markings, 9500644 edges, 4349 markings/sec, 1505 secs
lola: 6751593 markings, 9531984 edges, 4309 markings/sec, 1510 secs
lola: 6772901 markings, 9563175 edges, 4262 markings/sec, 1515 secs
lola: 6794836 markings, 9594463 edges, 4387 markings/sec, 1520 secs
lola: 6816756 markings, 9627073 edges, 4384 markings/sec, 1525 secs
lola: 6838261 markings, 9657359 edges, 4301 markings/sec, 1530 secs
lola: 6858982 markings, 9688470 edges, 4144 markings/sec, 1535 secs
lola: 6880571 markings, 9719224 edges, 4318 markings/sec, 1540 secs
lola: 6902384 markings, 9748286 edges, 4363 markings/sec, 1545 secs
lola: 6923912 markings, 9778104 edges, 4306 markings/sec, 1550 secs
lola: 6945686 markings, 9808306 edges, 4355 markings/sec, 1555 secs
lola: 6967589 markings, 9837131 edges, 4381 markings/sec, 1560 secs
lola: 6989145 markings, 9867632 edges, 4311 markings/sec, 1565 secs
lola: 7010734 markings, 9897709 edges, 4318 markings/sec, 1570 secs
lola: 7031926 markings, 9928937 edges, 4238 markings/sec, 1575 secs
lola: 7052827 markings, 9959615 edges, 4180 markings/sec, 1580 secs
lola: 7073584 markings, 9990644 edges, 4151 markings/sec, 1585 secs
lola: 7095205 markings, 10022153 edges, 4324 markings/sec, 1590 secs
lola: 7116722 markings, 10053841 edges, 4303 markings/sec, 1595 secs
lola: 7138195 markings, 10085349 edges, 4295 markings/sec, 1600 secs
lola: 7160199 markings, 10117726 edges, 4401 markings/sec, 1605 secs
lola: 7181547 markings, 10149847 edges, 4270 markings/sec, 1610 secs
lola: 7202963 markings, 10180467 edges, 4283 markings/sec, 1615 secs
lola: 7224901 markings, 10211858 edges, 4388 markings/sec, 1620 secs
lola: 7246669 markings, 10243606 edges, 4354 markings/sec, 1625 secs
lola: 7268593 markings, 10274979 edges, 4385 markings/sec, 1630 secs
lola: 7290451 markings, 10306069 edges, 4372 markings/sec, 1635 secs
lola: 7312169 markings, 10337591 edges, 4344 markings/sec, 1640 secs
lola: 7333958 markings, 10370101 edges, 4358 markings/sec, 1645 secs
lola: 7354980 markings, 10400864 edges, 4204 markings/sec, 1650 secs
lola: 7376009 markings, 10432146 edges, 4206 markings/sec, 1655 secs
lola: 7399031 markings, 10465034 edges, 4604 markings/sec, 1660 secs
lola: 7421212 markings, 10498302 edges, 4436 markings/sec, 1665 secs
lola: 7443883 markings, 10530559 edges, 4534 markings/sec, 1670 secs
lola: 7466344 markings, 10563180 edges, 4492 markings/sec, 1675 secs
lola: 7489053 markings, 10595744 edges, 4542 markings/sec, 1680 secs
lola: 7511956 markings, 10628474 edges, 4581 markings/sec, 1685 secs
lola: 7533656 markings, 10661467 edges, 4340 markings/sec, 1690 secs
lola: 7555751 markings, 10693911 edges, 4419 markings/sec, 1695 secs
lola: 7578250 markings, 10726265 edges, 4500 markings/sec, 1700 secs
lola: 7600825 markings, 10758903 edges, 4515 markings/sec, 1705 secs
lola: 7624372 markings, 10790288 edges, 4709 markings/sec, 1710 secs
lola: 7647327 markings, 10822589 edges, 4591 markings/sec, 1715 secs
lola: 7670240 markings, 10855308 edges, 4583 markings/sec, 1720 secs
lola: 7692450 markings, 10888395 edges, 4442 markings/sec, 1725 secs
lola: 7715036 markings, 10921757 edges, 4517 markings/sec, 1730 secs
lola: 7737633 markings, 10954595 edges, 4519 markings/sec, 1735 secs
lola: 7759780 markings, 10987986 edges, 4429 markings/sec, 1740 secs
lola: 7781658 markings, 11020684 edges, 4376 markings/sec, 1745 secs
lola: 7803867 markings, 11052101 edges, 4442 markings/sec, 1750 secs
lola: 7826594 markings, 11085445 edges, 4545 markings/sec, 1755 secs
lola: 7849210 markings, 11117028 edges, 4523 markings/sec, 1760 secs
lola: 7871949 markings, 11150011 edges, 4548 markings/sec, 1765 secs
lola: 7894558 markings, 11183426 edges, 4522 markings/sec, 1770 secs
lola: 7916874 markings, 11214674 edges, 4463 markings/sec, 1775 secs
lola: 7938804 markings, 11246251 edges, 4386 markings/sec, 1780 secs
lola: 7961407 markings, 11279375 edges, 4521 markings/sec, 1785 secs
lola: 7983828 markings, 11312832 edges, 4484 markings/sec, 1790 secs
lola: 8006273 markings, 11345815 edges, 4489 markings/sec, 1795 secs
lola: 8029204 markings, 11378395 edges, 4586 markings/sec, 1800 secs
lola: 8051995 markings, 11411026 edges, 4558 markings/sec, 1805 secs
lola: 8074096 markings, 11443261 edges, 4420 markings/sec, 1810 secs
lola: 8096480 markings, 11476486 edges, 4477 markings/sec, 1815 secs
lola: 8118787 markings, 11509743 edges, 4461 markings/sec, 1820 secs
lola: 8140987 markings, 11542179 edges, 4440 markings/sec, 1825 secs
lola: 8163289 markings, 11573134 edges, 4460 markings/sec, 1830 secs
lola: 8185870 markings, 11604811 edges, 4516 markings/sec, 1835 secs
lola: 8208471 markings, 11637540 edges, 4520 markings/sec, 1840 secs
lola: 8230834 markings, 11668424 edges, 4473 markings/sec, 1845 secs
lola: 8253473 markings, 11701618 edges, 4528 markings/sec, 1850 secs
lola: 8276218 markings, 11735158 edges, 4549 markings/sec, 1855 secs
lola: 8298977 markings, 11768598 edges, 4552 markings/sec, 1860 secs
lola: 8321370 markings, 11800708 edges, 4479 markings/sec, 1865 secs
lola: 8344007 markings, 11834105 edges, 4527 markings/sec, 1870 secs
lola: 8366738 markings, 11865329 edges, 4546 markings/sec, 1875 secs
lola: 8389196 markings, 11898451 edges, 4492 markings/sec, 1880 secs
lola: 8411837 markings, 11931968 edges, 4528 markings/sec, 1885 secs
lola: 8434366 markings, 11965562 edges, 4506 markings/sec, 1890 secs
lola: 8456308 markings, 11998768 edges, 4388 markings/sec, 1895 secs
lola: 8479042 markings, 12031425 edges, 4547 markings/sec, 1900 secs
lola: 8501806 markings, 12065016 edges, 4553 markings/sec, 1905 secs
lola: 8524404 markings, 12098788 edges, 4520 markings/sec, 1910 secs
lola: 8547184 markings, 12131797 edges, 4556 markings/sec, 1915 secs
lola: 8569806 markings, 12165052 edges, 4524 markings/sec, 1920 secs
lola: 8592514 markings, 12196846 edges, 4542 markings/sec, 1925 secs
lola: 8614922 markings, 12229622 edges, 4482 markings/sec, 1930 secs
lola: 8637152 markings, 12262294 edges, 4446 markings/sec, 1935 secs
lola: 8659289 markings, 12294582 edges, 4427 markings/sec, 1940 secs
lola: 8681778 markings, 12326931 edges, 4498 markings/sec, 1945 secs
lola: 8704433 markings, 12360044 edges, 4531 markings/sec, 1950 secs
lola: 8726451 markings, 12393114 edges, 4404 markings/sec, 1955 secs
lola: 8749079 markings, 12425555 edges, 4526 markings/sec, 1960 secs
lola: 8771740 markings, 12458527 edges, 4532 markings/sec, 1965 secs
lola: 8793591 markings, 12489646 edges, 4370 markings/sec, 1970 secs
lola: 8815019 markings, 12521070 edges, 4286 markings/sec, 1975 secs
lola: 8837612 markings, 12553138 edges, 4519 markings/sec, 1980 secs
lola: 8860223 markings, 12587371 edges, 4522 markings/sec, 1985 secs
lola: 8883007 markings, 12620093 edges, 4557 markings/sec, 1990 secs
lola: 8905720 markings, 12651915 edges, 4543 markings/sec, 1995 secs
lola: 8928343 markings, 12685322 edges, 4525 markings/sec, 2000 secs
lola: 8950551 markings, 12717630 edges, 4442 markings/sec, 2005 secs
lola: 8972486 markings, 12750101 edges, 4387 markings/sec, 2010 secs
lola: 8995469 markings, 12782970 edges, 4597 markings/sec, 2015 secs
lola: 9018020 markings, 12815789 edges, 4510 markings/sec, 2020 secs
lola: 9039964 markings, 12847963 edges, 4389 markings/sec, 2025 secs
lola: 9062704 markings, 12881410 edges, 4548 markings/sec, 2030 secs
lola: 9084660 markings, 12914231 edges, 4391 markings/sec, 2035 secs
lola: 9106948 markings, 12947462 edges, 4458 markings/sec, 2040 secs
lola: 9129290 markings, 12980009 edges, 4468 markings/sec, 2045 secs
lola: 9152224 markings, 13013101 edges, 4587 markings/sec, 2050 secs
lola: 9175112 markings, 13046783 edges, 4578 markings/sec, 2055 secs
lola: 9198188 markings, 13079731 edges, 4615 markings/sec, 2060 secs
lola: 9220699 markings, 13112844 edges, 4502 markings/sec, 2065 secs
lola: 9242292 markings, 13143718 edges, 4319 markings/sec, 2070 secs
lola: 9264973 markings, 13176768 edges, 4536 markings/sec, 2075 secs
lola: 9287621 markings, 13210773 edges, 4530 markings/sec, 2080 secs
lola: 9310315 markings, 13244032 edges, 4539 markings/sec, 2085 secs
lola: 9332779 markings, 13277343 edges, 4493 markings/sec, 2090 secs
lola: 9354980 markings, 13310611 edges, 4440 markings/sec, 2095 secs
lola: 9377469 markings, 13342864 edges, 4498 markings/sec, 2100 secs
lola: 9399863 markings, 13374483 edges, 4479 markings/sec, 2105 secs
lola: 9421959 markings, 13406687 edges, 4419 markings/sec, 2110 secs
lola: 9444400 markings, 13439737 edges, 4488 markings/sec, 2115 secs
lola: 9467008 markings, 13472633 edges, 4522 markings/sec, 2120 secs
lola: 9490082 markings, 13506131 edges, 4615 markings/sec, 2125 secs
lola: 9511889 markings, 13538924 edges, 4361 markings/sec, 2130 secs
lola: 9534368 markings, 13569640 edges, 4496 markings/sec, 2135 secs
lola: 9557170 markings, 13601584 edges, 4560 markings/sec, 2140 secs
lola: 9580019 markings, 13635158 edges, 4570 markings/sec, 2145 secs
lola: 9602786 markings, 13669187 edges, 4553 markings/sec, 2150 secs
lola: 9625600 markings, 13702878 edges, 4563 markings/sec, 2155 secs
lola: 9648248 markings, 13736960 edges, 4530 markings/sec, 2160 secs
lola: 9670833 markings, 13769718 edges, 4517 markings/sec, 2165 secs
lola: 9693394 markings, 13802992 edges, 4512 markings/sec, 2170 secs
lola: 9715449 markings, 13836821 edges, 4411 markings/sec, 2175 secs
lola: 9738455 markings, 13871428 edges, 4601 markings/sec, 2180 secs
lola: 9760970 markings, 13905378 edges, 4503 markings/sec, 2185 secs
lola: 9783132 markings, 13938187 edges, 4432 markings/sec, 2190 secs
lola: 9805088 markings, 13971185 edges, 4391 markings/sec, 2195 secs
lola: 9827177 markings, 14003955 edges, 4418 markings/sec, 2200 secs
lola: 9849182 markings, 14035805 edges, 4401 markings/sec, 2205 secs
lola: 9871315 markings, 14068041 edges, 4427 markings/sec, 2210 secs
lola: 9893623 markings, 14100677 edges, 4462 markings/sec, 2215 secs
lola: 9915805 markings, 14133411 edges, 4436 markings/sec, 2220 secs
lola: 9938166 markings, 14164883 edges, 4472 markings/sec, 2225 secs
lola: 9961679 markings, 14196663 edges, 4703 markings/sec, 2230 secs
lola: 9984317 markings, 14228774 edges, 4528 markings/sec, 2235 secs
lola: 10006526 markings, 14261854 edges, 4442 markings/sec, 2240 secs
lola: 10029555 markings, 14294982 edges, 4606 markings/sec, 2245 secs
lola: 10052201 markings, 14328635 edges, 4529 markings/sec, 2250 secs
lola: 10075274 markings, 14360365 edges, 4615 markings/sec, 2255 secs
lola: 10098330 markings, 14392752 edges, 4611 markings/sec, 2260 secs
lola: 10121102 markings, 14425285 edges, 4554 markings/sec, 2265 secs
lola: 10143417 markings, 14457643 edges, 4463 markings/sec, 2270 secs
lola: 10165777 markings, 14490380 edges, 4472 markings/sec, 2275 secs
lola: 10187726 markings, 14522529 edges, 4390 markings/sec, 2280 secs
lola: 10210071 markings, 14555147 edges, 4469 markings/sec, 2285 secs
lola: 10232224 markings, 14587921 edges, 4431 markings/sec, 2290 secs
lola: 10254988 markings, 14620105 edges, 4553 markings/sec, 2295 secs
lola: 10277310 markings, 14653415 edges, 4464 markings/sec, 2300 secs
lola: 10299211 markings, 14683760 edges, 4380 markings/sec, 2305 secs
lola: 10321826 markings, 14714958 edges, 4523 markings/sec, 2310 secs
lola: 10344852 markings, 14745992 edges, 4605 markings/sec, 2315 secs
lola: 10367555 markings, 14779571 edges, 4541 markings/sec, 2320 secs
lola: 10390115 markings, 14811640 edges, 4512 markings/sec, 2325 secs
lola: 10411110 markings, 14842996 edges, 4199 markings/sec, 2330 secs
lola: 10433759 markings, 14875714 edges, 4530 markings/sec, 2335 secs
lola: 10455532 markings, 14907978 edges, 4355 markings/sec, 2340 secs
lola: 10477661 markings, 14939128 edges, 4426 markings/sec, 2345 secs
lola: 10500029 markings, 14971364 edges, 4474 markings/sec, 2350 secs
lola: 10522732 markings, 15004160 edges, 4541 markings/sec, 2355 secs
lola: 10544982 markings, 15037179 edges, 4450 markings/sec, 2360 secs
lola: 10569800 markings, 15073771 edges, 4964 markings/sec, 2365 secs
lola: 10594994 markings, 15111446 edges, 5039 markings/sec, 2370 secs
lola: 10620265 markings, 15149509 edges, 5054 markings/sec, 2375 secs
lola: 10644908 markings, 15186262 edges, 4929 markings/sec, 2380 secs
lola: 10669965 markings, 15224360 edges, 5011 markings/sec, 2385 secs
lola: 10693864 markings, 15258721 edges, 4780 markings/sec, 2390 secs
lola: 10717794 markings, 15293852 edges, 4786 markings/sec, 2395 secs
lola: 10742621 markings, 15331017 edges, 4965 markings/sec, 2400 secs
lola: 10767358 markings, 15368468 edges, 4947 markings/sec, 2405 secs
lola: 10792610 markings, 15406005 edges, 5050 markings/sec, 2410 secs
lola: 10818091 markings, 15443128 edges, 5096 markings/sec, 2415 secs
lola: 10843429 markings, 15480709 edges, 5068 markings/sec, 2420 secs
lola: 10869141 markings, 15519217 edges, 5142 markings/sec, 2425 secs
lola: 10894658 markings, 15557285 edges, 5103 markings/sec, 2430 secs
lola: 10919560 markings, 15594605 edges, 4980 markings/sec, 2435 secs
lola: 10945310 markings, 15630811 edges, 5150 markings/sec, 2440 secs
lola: 10970786 markings, 15668570 edges, 5095 markings/sec, 2445 secs
lola: 10995978 markings, 15706554 edges, 5038 markings/sec, 2450 secs
lola: 11021528 markings, 15743049 edges, 5110 markings/sec, 2455 secs
lola: 11047389 markings, 15779407 edges, 5172 markings/sec, 2460 secs
lola: 11073369 markings, 15815839 edges, 5196 markings/sec, 2465 secs
lola: 11099146 markings, 15852444 edges, 5155 markings/sec, 2470 secs
lola: 11124452 markings, 15890205 edges, 5061 markings/sec, 2475 secs
lola: 11149940 markings, 15928582 edges, 5098 markings/sec, 2480 secs
lola: 11175207 markings, 15964904 edges, 5053 markings/sec, 2485 secs
lola: 11200453 markings, 16002126 edges, 5049 markings/sec, 2490 secs
lola: 11225502 markings, 16039747 edges, 5010 markings/sec, 2495 secs
lola: 11250581 markings, 16077081 edges, 5016 markings/sec, 2500 secs
lola: 11275778 markings, 16114496 edges, 5039 markings/sec, 2505 secs
lola: 11301048 markings, 16151144 edges, 5054 markings/sec, 2510 secs
lola: 11326023 markings, 16188448 edges, 4995 markings/sec, 2515 secs
lola: 11351520 markings, 16225238 edges, 5099 markings/sec, 2520 secs
lola: 11376898 markings, 16261998 edges, 5076 markings/sec, 2525 secs
lola: 11402901 markings, 16300901 edges, 5201 markings/sec, 2530 secs
lola: 11429103 markings, 16338548 edges, 5240 markings/sec, 2535 secs
lola: 11454917 markings, 16376564 edges, 5163 markings/sec, 2540 secs
lola: 11480218 markings, 16413195 edges, 5060 markings/sec, 2545 secs
lola: 11505355 markings, 16449418 edges, 5027 markings/sec, 2550 secs
lola: 11530728 markings, 16487391 edges, 5075 markings/sec, 2555 secs
lola: 11556222 markings, 16524477 edges, 5099 markings/sec, 2560 secs
lola: 11581324 markings, 16561499 edges, 5020 markings/sec, 2565 secs
lola: 11606618 markings, 16599375 edges, 5059 markings/sec, 2570 secs
lola: 11631939 markings, 16636743 edges, 5064 markings/sec, 2575 secs
lola: 11657043 markings, 16674431 edges, 5021 markings/sec, 2580 secs
lola: 11682205 markings, 16710972 edges, 5032 markings/sec, 2585 secs
lola: 11707315 markings, 16748185 edges, 5022 markings/sec, 2590 secs
lola: 11732622 markings, 16786000 edges, 5061 markings/sec, 2595 secs
lola: 11757856 markings, 16823407 edges, 5047 markings/sec, 2600 secs
lola: 11783213 markings, 16860068 edges, 5071 markings/sec, 2605 secs
lola: 11808301 markings, 16897174 edges, 5018 markings/sec, 2610 secs
lola: 11833380 markings, 16934313 edges, 5016 markings/sec, 2615 secs
lola: 11858560 markings, 16971097 edges, 5036 markings/sec, 2620 secs
lola: 11883681 markings, 17008631 edges, 5024 markings/sec, 2625 secs
lola: 11909303 markings, 17045773 edges, 5124 markings/sec, 2630 secs
lola: 11934409 markings, 17082839 edges, 5021 markings/sec, 2635 secs
lola: 11959871 markings, 17120659 edges, 5092 markings/sec, 2640 secs
lola: 11985141 markings, 17158472 edges, 5054 markings/sec, 2645 secs
lola: 12010538 markings, 17196710 edges, 5079 markings/sec, 2650 secs
lola: 12035651 markings, 17233292 edges, 5023 markings/sec, 2655 secs
lola: 12061401 markings, 17270189 edges, 5150 markings/sec, 2660 secs
lola: 12086782 markings, 17305939 edges, 5076 markings/sec, 2665 secs
lola: 12111989 markings, 17344115 edges, 5041 markings/sec, 2670 secs
lola: 12137496 markings, 17380317 edges, 5101 markings/sec, 2675 secs
lola: 12162655 markings, 17417750 edges, 5032 markings/sec, 2680 secs
lola: 12187700 markings, 17455150 edges, 5009 markings/sec, 2685 secs
lola: 12212841 markings, 17493593 edges, 5028 markings/sec, 2690 secs
lola: 12237943 markings, 17531143 edges, 5020 markings/sec, 2695 secs
lola: 12263086 markings, 17567938 edges, 5029 markings/sec, 2700 secs
lola: 12288362 markings, 17605407 edges, 5055 markings/sec, 2705 secs
lola: 12313693 markings, 17642994 edges, 5066 markings/sec, 2710 secs
lola: 12338923 markings, 17680902 edges, 5046 markings/sec, 2715 secs
lola: 12364161 markings, 17718684 edges, 5048 markings/sec, 2720 secs
lola: 12388977 markings, 17755060 edges, 4963 markings/sec, 2725 secs
lola: 12414303 markings, 17793043 edges, 5065 markings/sec, 2730 secs
lola: 12439268 markings, 17830644 edges, 4993 markings/sec, 2735 secs
lola: 12464800 markings, 17868548 edges, 5106 markings/sec, 2740 secs
lola: 12490372 markings, 17905300 edges, 5114 markings/sec, 2745 secs
lola: 12516040 markings, 17943209 edges, 5134 markings/sec, 2750 secs
lola: 12541124 markings, 17980376 edges, 5017 markings/sec, 2755 secs
lola: 12566073 markings, 18017698 edges, 4990 markings/sec, 2760 secs
lola: 12591441 markings, 18055604 edges, 5074 markings/sec, 2765 secs
lola: 12616827 markings, 18093786 edges, 5077 markings/sec, 2770 secs
lola: 12642552 markings, 18132460 edges, 5145 markings/sec, 2775 secs
lola: 12669365 markings, 18171316 edges, 5363 markings/sec, 2780 secs
lola: 12695859 markings, 18211555 edges, 5299 markings/sec, 2785 secs
lola: 12721520 markings, 18249988 edges, 5132 markings/sec, 2790 secs
lola: 12746683 markings, 18287729 edges, 5033 markings/sec, 2795 secs
lola: 12771746 markings, 18325785 edges, 5013 markings/sec, 2800 secs
lola: 12796969 markings, 18362865 edges, 5045 markings/sec, 2805 secs
lola: 12822359 markings, 18400153 edges, 5078 markings/sec, 2810 secs
lola: 12847958 markings, 18437599 edges, 5120 markings/sec, 2815 secs
lola: 12873505 markings, 18474995 edges, 5109 markings/sec, 2820 secs
lola: 12899020 markings, 18512065 edges, 5103 markings/sec, 2825 secs
lola: 12924328 markings, 18550142 edges, 5062 markings/sec, 2830 secs
lola: 12949406 markings, 18587415 edges, 5016 markings/sec, 2835 secs
lola: 12974730 markings, 18625399 edges, 5065 markings/sec, 2840 secs
lola: 13000124 markings, 18662431 edges, 5079 markings/sec, 2845 secs
lola: 13025533 markings, 18700048 edges, 5082 markings/sec, 2850 secs
lola: 13050838 markings, 18737720 edges, 5061 markings/sec, 2855 secs
lola: 13075943 markings, 18774085 edges, 5021 markings/sec, 2860 secs
lola: 13100917 markings, 18811355 edges, 4995 markings/sec, 2865 secs
lola: 13126383 markings, 18847850 edges, 5093 markings/sec, 2870 secs
lola: 13150964 markings, 18881596 edges, 4916 markings/sec, 2875 secs
lola: 13176422 markings, 18918038 edges, 5092 markings/sec, 2880 secs
lola: 13201901 markings, 18955321 edges, 5096 markings/sec, 2885 secs
lola: 13226885 markings, 18992400 edges, 4997 markings/sec, 2890 secs
lola: 13252121 markings, 19028548 edges, 5047 markings/sec, 2895 secs
lola: 13277797 markings, 19064513 edges, 5135 markings/sec, 2900 secs
lola: 13303138 markings, 19102691 edges, 5068 markings/sec, 2905 secs
lola: 13328432 markings, 19140543 edges, 5059 markings/sec, 2910 secs
lola: 13353540 markings, 19177788 edges, 5022 markings/sec, 2915 secs
lola: 13378981 markings, 19215205 edges, 5088 markings/sec, 2920 secs
lola: 13404092 markings, 19252300 edges, 5022 markings/sec, 2925 secs
lola: 13429444 markings, 19290226 edges, 5070 markings/sec, 2930 secs
lola: 13454782 markings, 19328401 edges, 5068 markings/sec, 2935 secs
lola: 13480161 markings, 19366414 edges, 5076 markings/sec, 2940 secs
lola: 13505923 markings, 19403411 edges, 5152 markings/sec, 2945 secs
lola: 13531267 markings, 19440321 edges, 5069 markings/sec, 2950 secs
lola: 13556813 markings, 19478739 edges, 5109 markings/sec, 2955 secs
lola: 13582163 markings, 19517683 edges, 5070 markings/sec, 2960 secs
lola: 13607589 markings, 19555391 edges, 5085 markings/sec, 2965 secs
lola: 13632999 markings, 19593701 edges, 5082 markings/sec, 2970 secs
lola: 13658462 markings, 19631200 edges, 5093 markings/sec, 2975 secs
lola: 13683585 markings, 19668173 edges, 5025 markings/sec, 2980 secs
lola: 13710177 markings, 19707464 edges, 5318 markings/sec, 2985 secs
lola: 13737051 markings, 19746822 edges, 5375 markings/sec, 2990 secs
lola: 13763554 markings, 19786372 edges, 5301 markings/sec, 2995 secs
lola: 13790146 markings, 19825910 edges, 5318 markings/sec, 3000 secs
lola: 13816804 markings, 19865876 edges, 5332 markings/sec, 3005 secs
lola: 13843273 markings, 19905262 edges, 5294 markings/sec, 3010 secs
lola: 13869953 markings, 19944145 edges, 5336 markings/sec, 3015 secs
lola: 13896415 markings, 19983395 edges, 5292 markings/sec, 3020 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1075984 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1075984 KB
lola: time consumption: 3570 seconds
BK_STOP 1553113159993
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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="win2018"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
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 r165-csrt-155286442000109"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
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 ;