About the Execution of LoLA for CloudReconfiguration-PT-305
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2575.550 | 3570455.00 | 3616619.00 | 10689.60 | 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
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-305, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800030
=====================================================================
--------------------
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 CloudReconfiguration-PT-305-UpperBounds-00
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-01
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-02
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-03
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-04
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-05
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-06
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-07
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-08
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-09
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-305-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526479413283
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-305 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-305 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudReconfiguration-PT-305 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-305-UpperBounds.task
lola: MAX(p26) : MAX(p103) : MAX(p1004) : MAX(p1137) : MAX(p117) : MAX(p1117) : MAX(p1836) : MAX(p1573) : MAX(p1507) : MAX(p598) : MAX(p676) : MAX(p1567) : MAX(p2088) : MAX(p2102) : MAX(p1209) : MAX(p564)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 23 markings, 22 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p103)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 83 markings, 82 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1004)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1004)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 65 markings, 64 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1137)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 74 markings, 73 edges
FORMULA CloudReconfiguration-PT-305-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p117)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 96 markings, 95 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1117)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 88 markings, 87 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1836)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1836)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 79 markings, 78 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1573)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 57 markings, 56 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1507)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1507)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 53 markings, 52 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p598)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p598)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 63 markings, 62 edges
FORMULA CloudReconfiguration-PT-305-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p676)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p676)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 27797 markings, 62554 edges, 5559 markings/sec, 0 secs
lola: 59932 markings, 137989 edges, 6427 markings/sec, 5 secs
lola: 92735 markings, 217519 edges, 6561 markings/sec, 10 secs
lola: 121858 markings, 318719 edges, 5825 markings/sec, 15 secs
lola: 149951 markings, 410444 edges, 5619 markings/sec, 20 secs
lola: 181507 markings, 505140 edges, 6311 markings/sec, 25 secs
lola: 208470 markings, 595962 edges, 5393 markings/sec, 30 secs
lola: 236676 markings, 680602 edges, 5641 markings/sec, 35 secs
lola: 263589 markings, 780675 edges, 5383 markings/sec, 40 secs
lola: 291126 markings, 873686 edges, 5507 markings/sec, 45 secs
lola: 317262 markings, 960762 edges, 5227 markings/sec, 50 secs
lola: 342309 markings, 1047355 edges, 5009 markings/sec, 55 secs
lola: 367880 markings, 1132866 edges, 5114 markings/sec, 60 secs
lola: 395380 markings, 1202660 edges, 5500 markings/sec, 65 secs
lola: 420182 markings, 1285380 edges, 4960 markings/sec, 70 secs
lola: 445551 markings, 1365813 edges, 5074 markings/sec, 75 secs
lola: 475601 markings, 1436893 edges, 6010 markings/sec, 80 secs
lola: 500936 markings, 1517875 edges, 5067 markings/sec, 85 secs
lola: 526364 markings, 1596645 edges, 5086 markings/sec, 90 secs
lola: 550437 markings, 1682097 edges, 4815 markings/sec, 95 secs
lola: 575090 markings, 1766873 edges, 4931 markings/sec, 100 secs
lola: 599514 markings, 1847632 edges, 4885 markings/sec, 105 secs
lola: 623863 markings, 1926729 edges, 4870 markings/sec, 110 secs
lola: 649217 markings, 2008974 edges, 5071 markings/sec, 115 secs
lola: 673687 markings, 2088713 edges, 4894 markings/sec, 120 secs
lola: 699372 markings, 2174423 edges, 5137 markings/sec, 125 secs
lola: 724038 markings, 2260738 edges, 4933 markings/sec, 130 secs
lola: 747230 markings, 2343416 edges, 4638 markings/sec, 135 secs
lola: 775337 markings, 2432429 edges, 5621 markings/sec, 140 secs
lola: 802590 markings, 2530538 edges, 5451 markings/sec, 145 secs
lola: 829042 markings, 2620001 edges, 5290 markings/sec, 150 secs
lola: 851797 markings, 2696626 edges, 4551 markings/sec, 155 secs
lola: 877291 markings, 2779135 edges, 5099 markings/sec, 160 secs
lola: 903921 markings, 2872382 edges, 5326 markings/sec, 165 secs
lola: 929828 markings, 2954310 edges, 5181 markings/sec, 170 secs
lola: 953673 markings, 3043391 edges, 4769 markings/sec, 175 secs
lola: 981294 markings, 3118701 edges, 5524 markings/sec, 180 secs
lola: 1008442 markings, 3193480 edges, 5430 markings/sec, 185 secs
lola: 1037960 markings, 3264896 edges, 5904 markings/sec, 190 secs
lola: 1066193 markings, 3337871 edges, 5647 markings/sec, 195 secs
lola: 1095980 markings, 3407796 edges, 5957 markings/sec, 200 secs
lola: 1125674 markings, 3477703 edges, 5939 markings/sec, 205 secs
lola: 1151660 markings, 3556552 edges, 5197 markings/sec, 210 secs
lola: 1181327 markings, 3627430 edges, 5933 markings/sec, 215 secs
lola: 1211510 markings, 3698340 edges, 6037 markings/sec, 220 secs
lola: 1237354 markings, 3774823 edges, 5169 markings/sec, 225 secs
lola: 1261964 markings, 3862909 edges, 4922 markings/sec, 230 secs
lola: 1288957 markings, 3946262 edges, 5399 markings/sec, 235 secs
lola: 1315336 markings, 4033681 edges, 5276 markings/sec, 240 secs
lola: 1341859 markings, 4122660 edges, 5305 markings/sec, 245 secs
lola: 1366197 markings, 4217020 edges, 4868 markings/sec, 250 secs
lola: 1391191 markings, 4306325 edges, 4999 markings/sec, 255 secs
lola: 1415676 markings, 4386174 edges, 4897 markings/sec, 260 secs
lola: 1438204 markings, 4464308 edges, 4506 markings/sec, 265 secs
lola: 1462096 markings, 4540270 edges, 4778 markings/sec, 270 secs
lola: 1487753 markings, 4627913 edges, 5131 markings/sec, 275 secs
lola: 1511549 markings, 4710141 edges, 4759 markings/sec, 280 secs
lola: 1536811 markings, 4787131 edges, 5052 markings/sec, 285 secs
lola: 1567539 markings, 4859347 edges, 6146 markings/sec, 290 secs
lola: 1597732 markings, 4931664 edges, 6039 markings/sec, 295 secs
lola: 1626609 markings, 5007315 edges, 5775 markings/sec, 300 secs
lola: 1657420 markings, 5080016 edges, 6162 markings/sec, 305 secs
lola: 1686939 markings, 5150616 edges, 5904 markings/sec, 310 secs
lola: 1712208 markings, 5223663 edges, 5054 markings/sec, 315 secs
lola: 1735307 markings, 5301353 edges, 4620 markings/sec, 320 secs
lola: 1760745 markings, 5381729 edges, 5088 markings/sec, 325 secs
lola: 1785268 markings, 5459854 edges, 4905 markings/sec, 330 secs
lola: 1808683 markings, 5538930 edges, 4683 markings/sec, 335 secs
lola: 1833172 markings, 5618645 edges, 4898 markings/sec, 340 secs
lola: 1861224 markings, 5691572 edges, 5610 markings/sec, 345 secs
lola: 1890632 markings, 5765077 edges, 5882 markings/sec, 350 secs
lola: 1916629 markings, 5843055 edges, 5199 markings/sec, 355 secs
lola: 1942771 markings, 5934735 edges, 5228 markings/sec, 360 secs
lola: 1970530 markings, 6021539 edges, 5552 markings/sec, 365 secs
lola: 1997712 markings, 6111364 edges, 5436 markings/sec, 370 secs
lola: 2023375 markings, 6198257 edges, 5133 markings/sec, 375 secs
lola: 2049240 markings, 6283465 edges, 5173 markings/sec, 380 secs
lola: 2074312 markings, 6366062 edges, 5014 markings/sec, 385 secs
lola: 2096946 markings, 6437859 edges, 4527 markings/sec, 390 secs
lola: 2120049 markings, 6515041 edges, 4621 markings/sec, 395 secs
lola: 2144623 markings, 6595624 edges, 4915 markings/sec, 400 secs
lola: 2169758 markings, 6679915 edges, 5027 markings/sec, 405 secs
lola: 2197157 markings, 6767866 edges, 5480 markings/sec, 410 secs
lola: 2223753 markings, 6863646 edges, 5319 markings/sec, 415 secs
lola: 2248939 markings, 6949176 edges, 5037 markings/sec, 420 secs
lola: 2274139 markings, 7025509 edges, 5040 markings/sec, 425 secs
lola: 2297186 markings, 7109573 edges, 4609 markings/sec, 430 secs
lola: 2320635 markings, 7184933 edges, 4690 markings/sec, 435 secs
lola: 2345136 markings, 7253782 edges, 4900 markings/sec, 440 secs
lola: 2372938 markings, 7320397 edges, 5560 markings/sec, 445 secs
lola: 2398488 markings, 7389674 edges, 5110 markings/sec, 450 secs
lola: 2425924 markings, 7455254 edges, 5487 markings/sec, 455 secs
lola: 2451582 markings, 7525399 edges, 5132 markings/sec, 460 secs
lola: 2477751 markings, 7595657 edges, 5234 markings/sec, 465 secs
lola: 2504296 markings, 7667309 edges, 5309 markings/sec, 470 secs
lola: 2528015 markings, 7740928 edges, 4744 markings/sec, 475 secs
lola: 2552720 markings, 7822682 edges, 4941 markings/sec, 480 secs
lola: 2576970 markings, 7905269 edges, 4850 markings/sec, 485 secs
lola: 2599728 markings, 7991445 edges, 4552 markings/sec, 490 secs
lola: 2622395 markings, 8071747 edges, 4533 markings/sec, 495 secs
lola: 2646600 markings, 8146088 edges, 4841 markings/sec, 500 secs
lola: 2675382 markings, 8215096 edges, 5756 markings/sec, 505 secs
lola: 2701789 markings, 8286439 edges, 5281 markings/sec, 510 secs
lola: 2730585 markings, 8355237 edges, 5759 markings/sec, 515 secs
lola: 2757285 markings, 8427601 edges, 5340 markings/sec, 520 secs
lola: 2784060 markings, 8499790 edges, 5355 markings/sec, 525 secs
lola: 2813724 markings, 8570746 edges, 5933 markings/sec, 530 secs
lola: 2837784 markings, 8645212 edges, 4812 markings/sec, 535 secs
lola: 2862500 markings, 8727951 edges, 4943 markings/sec, 540 secs
lola: 2887872 markings, 8813769 edges, 5074 markings/sec, 545 secs
lola: 2912270 markings, 8903591 edges, 4880 markings/sec, 550 secs
lola: 2935437 markings, 9000637 edges, 4633 markings/sec, 555 secs
lola: 2959797 markings, 9083234 edges, 4872 markings/sec, 560 secs
lola: 2989117 markings, 9154939 edges, 5864 markings/sec, 565 secs
lola: 3019550 markings, 9226360 edges, 6087 markings/sec, 570 secs
lola: 3043337 markings, 9324187 edges, 4757 markings/sec, 575 secs
lola: 3064694 markings, 9423024 edges, 4271 markings/sec, 580 secs
lola: 3088096 markings, 9499821 edges, 4680 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 656440 KB
lola: time consumption: 605 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1567)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1567)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 63 markings, 62 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 741 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2088)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2088)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 75 markings, 74 edges
FORMULA CloudReconfiguration-PT-305-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 988 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2102)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 51 markings, 50 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1481 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1209)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1209)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 70 markings, 69 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2962 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p564)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p564)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 69 markings, 68 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p676)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p676)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 28694 markings, 64924 edges, 5739 markings/sec, 0 secs
lola: 62741 markings, 144600 edges, 6809 markings/sec, 5 secs
lola: 96122 markings, 231221 edges, 6676 markings/sec, 10 secs
lola: 126613 markings, 333101 edges, 6098 markings/sec, 15 secs
lola: 156620 markings, 428663 edges, 6001 markings/sec, 20 secs
lola: 188863 markings, 533825 edges, 6449 markings/sec, 25 secs
lola: 216524 markings, 620353 edges, 5532 markings/sec, 30 secs
lola: 246479 markings, 715849 edges, 5991 markings/sec, 35 secs
lola: 274898 markings, 820020 edges, 5684 markings/sec, 40 secs
lola: 302951 markings, 913555 edges, 5611 markings/sec, 45 secs
lola: 330380 markings, 1001214 edges, 5486 markings/sec, 50 secs
lola: 355811 markings, 1094462 edges, 5086 markings/sec, 55 secs
lola: 385153 markings, 1172384 edges, 5868 markings/sec, 60 secs
lola: 411979 markings, 1256999 edges, 5365 markings/sec, 65 secs
lola: 437649 markings, 1345682 edges, 5134 markings/sec, 70 secs
lola: 468917 markings, 1421344 edges, 6254 markings/sec, 75 secs
lola: 496933 markings, 1504720 edges, 5603 markings/sec, 80 secs
lola: 523069 markings, 1587371 edges, 5227 markings/sec, 85 secs
lola: 548731 markings, 1676178 edges, 5132 markings/sec, 90 secs
lola: 574454 markings, 1764649 edges, 5145 markings/sec, 95 secs
lola: 599994 markings, 1849181 edges, 5108 markings/sec, 100 secs
lola: 625160 markings, 1931035 edges, 5033 markings/sec, 105 secs
lola: 651842 markings, 2017164 edges, 5336 markings/sec, 110 secs
lola: 677239 markings, 2099275 edges, 5079 markings/sec, 115 secs
lola: 703465 markings, 2189864 edges, 5245 markings/sec, 120 secs
lola: 728270 markings, 2280548 edges, 4961 markings/sec, 125 secs
lola: 753831 markings, 2364803 edges, 5112 markings/sec, 130 secs
lola: 783284 markings, 2460532 edges, 5891 markings/sec, 135 secs
lola: 811996 markings, 2563021 edges, 5742 markings/sec, 140 secs
lola: 837818 markings, 2648490 edges, 5164 markings/sec, 145 secs
lola: 862402 markings, 2729757 edges, 4917 markings/sec, 150 secs
lola: 890229 markings, 2825902 edges, 5565 markings/sec, 155 secs
lola: 917512 markings, 2917144 edges, 5457 markings/sec, 160 secs
lola: 943473 markings, 3007070 edges, 5192 markings/sec, 165 secs
lola: 970038 markings, 3091803 edges, 5313 markings/sec, 170 secs
lola: 998397 markings, 3169283 edges, 5672 markings/sec, 175 secs
lola: 1029865 markings, 3244112 edges, 6294 markings/sec, 180 secs
lola: 1059498 markings, 3322153 edges, 5927 markings/sec, 185 secs
lola: 1091197 markings, 3396394 edges, 6340 markings/sec, 190 secs
lola: 1122772 markings, 3470606 edges, 6315 markings/sec, 195 secs
lola: 1150891 markings, 3553718 edges, 5624 markings/sec, 200 secs
lola: 1182060 markings, 3629098 edges, 6234 markings/sec, 205 secs
lola: 1213696 markings, 3704639 edges, 6327 markings/sec, 210 secs
lola: 1240178 markings, 3784421 edges, 5296 markings/sec, 215 secs
lola: 1266186 markings, 3877531 edges, 5202 markings/sec, 220 secs
lola: 1294497 markings, 3964440 edges, 5662 markings/sec, 225 secs
lola: 1321753 markings, 4055086 edges, 5451 markings/sec, 230 secs
lola: 1347889 markings, 4149250 edges, 5227 markings/sec, 235 secs
lola: 1372738 markings, 4243271 edges, 4970 markings/sec, 240 secs
lola: 1398570 markings, 4330490 edges, 5166 markings/sec, 245 secs
lola: 1421597 markings, 4406585 edges, 4605 markings/sec, 250 secs
lola: 1444085 markings, 4482830 edges, 4498 markings/sec, 255 secs
lola: 1469252 markings, 4564744 edges, 5033 markings/sec, 260 secs
lola: 1494771 markings, 4652913 edges, 5104 markings/sec, 265 secs
lola: 1518932 markings, 4734645 edges, 4832 markings/sec, 270 secs
lola: 1548032 markings, 4813560 edges, 5820 markings/sec, 275 secs
lola: 1580019 markings, 4888628 edges, 6397 markings/sec, 280 secs
lola: 1609479 markings, 4966878 edges, 5892 markings/sec, 285 secs
lola: 1641307 markings, 5041739 edges, 6366 markings/sec, 290 secs
lola: 1672384 markings, 5116509 edges, 6215 markings/sec, 295 secs
lola: 1702201 markings, 5192992 edges, 5963 markings/sec, 300 secs
lola: 1725088 markings, 5266032 edges, 4577 markings/sec, 305 secs
lola: 1749993 markings, 5349938 edges, 4981 markings/sec, 310 secs
lola: 1774784 markings, 5425348 edges, 4958 markings/sec, 315 secs
lola: 1798851 markings, 5506754 edges, 4813 markings/sec, 320 secs
lola: 1824850 markings, 5591567 edges, 5200 markings/sec, 325 secs
lola: 1850536 markings, 5666460 edges, 5137 markings/sec, 330 secs
lola: 1882312 markings, 5741145 edges, 6355 markings/sec, 335 secs
lola: 1909617 markings, 5816954 edges, 5461 markings/sec, 340 secs
lola: 1934662 markings, 5908859 edges, 5009 markings/sec, 345 secs
lola: 1963013 markings, 5996585 edges, 5670 markings/sec, 350 secs
lola: 1990650 markings, 6088168 edges, 5527 markings/sec, 355 secs
lola: 2016993 markings, 6176218 edges, 5269 markings/sec, 360 secs
lola: 2043324 markings, 6264149 edges, 5266 markings/sec, 365 secs
lola: 2069666 markings, 6351045 edges, 5268 markings/sec, 370 secs
lola: 2092684 markings, 6423817 edges, 4604 markings/sec, 375 secs
lola: 2115050 markings, 6498646 edges, 4473 markings/sec, 380 secs
lola: 2139128 markings, 6578046 edges, 4816 markings/sec, 385 secs
lola: 2165517 markings, 6665090 edges, 5278 markings/sec, 390 secs
lola: 2192959 markings, 6753320 edges, 5488 markings/sec, 395 secs
lola: 2219428 markings, 6848916 edges, 5294 markings/sec, 400 secs
lola: 2245604 markings, 6937935 edges, 5235 markings/sec, 405 secs
lola: 2271104 markings, 7017726 edges, 5100 markings/sec, 410 secs
lola: 2293039 markings, 7098633 edges, 4387 markings/sec, 415 secs
lola: 2316478 markings, 7175830 edges, 4688 markings/sec, 420 secs
lola: 2341603 markings, 7245567 edges, 5025 markings/sec, 425 secs
lola: 2370350 markings, 7314273 edges, 5749 markings/sec, 430 secs
lola: 2397057 markings, 7386363 edges, 5341 markings/sec, 435 secs
lola: 2425919 markings, 7455244 edges, 5772 markings/sec, 440 secs
lola: 2452738 markings, 7529054 edges, 5364 markings/sec, 445 secs
lola: 2480385 markings, 7601702 edges, 5529 markings/sec, 450 secs
lola: 2507504 markings, 7674004 edges, 5424 markings/sec, 455 secs
lola: 2531255 markings, 7755239 edges, 4750 markings/sec, 460 secs
lola: 2557031 markings, 7837442 edges, 5155 markings/sec, 465 secs
lola: 2582173 markings, 7922765 edges, 5028 markings/sec, 470 secs
lola: 2605121 markings, 8009051 edges, 4590 markings/sec, 475 secs
lola: 2629371 markings, 8095296 edges, 4850 markings/sec, 480 secs
lola: 2655353 markings, 8167298 edges, 5196 markings/sec, 485 secs
lola: 2684624 markings, 8239839 edges, 5854 markings/sec, 490 secs
lola: 2712742 markings, 8312772 edges, 5624 markings/sec, 495 secs
lola: 2742889 markings, 8384495 edges, 6029 markings/sec, 500 secs
lola: 2769028 markings, 8462543 edges, 5228 markings/sec, 505 secs
lola: 2799347 markings, 8535971 edges, 6064 markings/sec, 510 secs
lola: 2827407 markings, 8610036 edges, 5612 markings/sec, 515 secs
lola: 2851260 markings, 8694647 edges, 4771 markings/sec, 520 secs
lola: 2877915 markings, 8779811 edges, 5331 markings/sec, 525 secs
lola: 2903903 markings, 8868668 edges, 5198 markings/sec, 530 secs
lola: 2927406 markings, 8967818 edges, 4701 markings/sec, 535 secs
lola: 2952280 markings, 9057791 edges, 4975 markings/sec, 540 secs
lola: 2980902 markings, 9135632 edges, 5724 markings/sec, 545 secs
lola: 3012959 markings, 9210960 edges, 6411 markings/sec, 550 secs
lola: 3038937 markings, 9309199 edges, 5196 markings/sec, 555 secs
lola: 3061410 markings, 9412959 edges, 4495 markings/sec, 560 secs
lola: 3085973 markings, 9493280 edges, 4913 markings/sec, 565 secs
lola: 3109492 markings, 9571503 edges, 4704 markings/sec, 570 secs
lola: 3132053 markings, 9647340 edges, 4512 markings/sec, 575 secs
lola: 3154171 markings, 9721214 edges, 4424 markings/sec, 580 secs
lola: 3176403 markings, 9795392 edges, 4446 markings/sec, 585 secs
lola: 3205019 markings, 9870169 edges, 5723 markings/sec, 590 secs
lola: 3236516 markings, 9945770 edges, 6299 markings/sec, 595 secs
lola: 3260826 markings, 10029382 edges, 4862 markings/sec, 600 secs
lola: 3284926 markings, 10109673 edges, 4820 markings/sec, 605 secs
lola: 3310841 markings, 10195147 edges, 5183 markings/sec, 610 secs
lola: 3335745 markings, 10276628 edges, 4981 markings/sec, 615 secs
lola: 3360679 markings, 10358841 edges, 4987 markings/sec, 620 secs
lola: 3386043 markings, 10439474 edges, 5073 markings/sec, 625 secs
lola: 3414605 markings, 10530205 edges, 5712 markings/sec, 630 secs
lola: 3440546 markings, 10628167 edges, 5188 markings/sec, 635 secs
lola: 3466321 markings, 10714059 edges, 5155 markings/sec, 640 secs
lola: 3492742 markings, 10806200 edges, 5284 markings/sec, 645 secs
lola: 3517797 markings, 10888081 edges, 5011 markings/sec, 650 secs
lola: 3541185 markings, 10970465 edges, 4678 markings/sec, 655 secs
lola: 3565125 markings, 11050513 edges, 4788 markings/sec, 660 secs
lola: 3590110 markings, 11119197 edges, 4997 markings/sec, 665 secs
lola: 3617983 markings, 11186489 edges, 5575 markings/sec, 670 secs
lola: 3644204 markings, 11257314 edges, 5244 markings/sec, 675 secs
lola: 3672591 markings, 11325154 edges, 5677 markings/sec, 680 secs
lola: 3698909 markings, 11398916 edges, 5264 markings/sec, 685 secs
lola: 3726512 markings, 11470696 edges, 5521 markings/sec, 690 secs
lola: 3753444 markings, 11542042 edges, 5386 markings/sec, 695 secs
lola: 3776795 markings, 11624646 edges, 4670 markings/sec, 700 secs
lola: 3801800 markings, 11704742 edges, 5001 markings/sec, 705 secs
lola: 3825538 markings, 11785221 edges, 4748 markings/sec, 710 secs
lola: 3847569 markings, 11870712 edges, 4406 markings/sec, 715 secs
lola: 3871798 markings, 11952733 edges, 4846 markings/sec, 720 secs
lola: 3899182 markings, 12026376 edges, 5477 markings/sec, 725 secs
lola: 3926762 markings, 12100668 edges, 5516 markings/sec, 730 secs
lola: 3955311 markings, 12168962 edges, 5710 markings/sec, 735 secs
lola: 3983610 markings, 12240350 edges, 5660 markings/sec, 740 secs
lola: 4009988 markings, 12316522 edges, 5276 markings/sec, 745 secs
lola: 4039855 markings, 12390469 edges, 5973 markings/sec, 750 secs
lola: 4064463 markings, 12467150 edges, 4922 markings/sec, 755 secs
lola: 4090036 markings, 12552897 edges, 5115 markings/sec, 760 secs
lola: 4116096 markings, 12641377 edges, 5212 markings/sec, 765 secs
lola: 4139839 markings, 12735511 edges, 4749 markings/sec, 770 secs
lola: 4164530 markings, 12822774 edges, 4938 markings/sec, 775 secs
lola: 4193770 markings, 12897077 edges, 5848 markings/sec, 780 secs
lola: 4219873 markings, 12987968 edges, 5221 markings/sec, 785 secs
lola: 4242519 markings, 13082112 edges, 4529 markings/sec, 790 secs
lola: 4271769 markings, 13157604 edges, 5850 markings/sec, 795 secs
lola: 4299521 markings, 13248219 edges, 5550 markings/sec, 800 secs
lola: 4325640 markings, 13336427 edges, 5224 markings/sec, 805 secs
lola: 4349951 markings, 13418349 edges, 4862 markings/sec, 810 secs
lola: 4373755 markings, 13493900 edges, 4761 markings/sec, 815 secs
lola: 4395135 markings, 13569182 edges, 4276 markings/sec, 820 secs
lola: 4418326 markings, 13648672 edges, 4638 markings/sec, 825 secs
lola: 4441481 markings, 13728934 edges, 4631 markings/sec, 830 secs
lola: 4463748 markings, 13804731 edges, 4453 markings/sec, 835 secs
lola: 4488788 markings, 13889573 edges, 5008 markings/sec, 840 secs
lola: 4515540 markings, 13970046 edges, 5350 markings/sec, 845 secs
lola: 4541921 markings, 14064575 edges, 5276 markings/sec, 850 secs
lola: 4568081 markings, 14145718 edges, 5232 markings/sec, 855 secs
lola: 4594697 markings, 14221727 edges, 5323 markings/sec, 860 secs
lola: 4619737 markings, 14312302 edges, 5008 markings/sec, 865 secs
lola: 4645717 markings, 14395693 edges, 5196 markings/sec, 870 secs
lola: 4670755 markings, 14479286 edges, 5008 markings/sec, 875 secs
lola: 4694907 markings, 14558904 edges, 4830 markings/sec, 880 secs
lola: 4719079 markings, 14633271 edges, 4834 markings/sec, 885 secs
lola: 4743743 markings, 14716323 edges, 4933 markings/sec, 890 secs
lola: 4765705 markings, 14787278 edges, 4392 markings/sec, 895 secs
lola: 4787452 markings, 14856581 edges, 4349 markings/sec, 900 secs
lola: 4815142 markings, 14948044 edges, 5538 markings/sec, 905 secs
lola: 4842144 markings, 15038911 edges, 5400 markings/sec, 910 secs
lola: 4868490 markings, 15127685 edges, 5269 markings/sec, 915 secs
lola: 4892818 markings, 15205943 edges, 4866 markings/sec, 920 secs
lola: 4914960 markings, 15286041 edges, 4428 markings/sec, 925 secs
lola: 4936750 markings, 15358998 edges, 4358 markings/sec, 930 secs
lola: 4959602 markings, 15432339 edges, 4570 markings/sec, 935 secs
lola: 4982879 markings, 15507361 edges, 4655 markings/sec, 940 secs
lola: 5007143 markings, 15588979 edges, 4853 markings/sec, 945 secs
lola: 5028767 markings, 15663550 edges, 4325 markings/sec, 950 secs
lola: 5047965 markings, 15731525 edges, 3840 markings/sec, 955 secs
lola: 5075016 markings, 15810475 edges, 5410 markings/sec, 960 secs
lola: 5101406 markings, 15905280 edges, 5278 markings/sec, 965 secs
lola: 5127627 markings, 15986457 edges, 5244 markings/sec, 970 secs
lola: 5154038 markings, 16063873 edges, 5282 markings/sec, 975 secs
lola: 5179444 markings, 16155467 edges, 5081 markings/sec, 980 secs
lola: 5205872 markings, 16239215 edges, 5286 markings/sec, 985 secs
lola: 5230895 markings, 16325435 edges, 5005 markings/sec, 990 secs
lola: 5254248 markings, 16397982 edges, 4671 markings/sec, 995 secs
lola: 5278063 markings, 16479366 edges, 4763 markings/sec, 1000 secs
lola: 5302507 markings, 16557230 edges, 4889 markings/sec, 1005 secs
lola: 5324805 markings, 16625887 edges, 4460 markings/sec, 1010 secs
lola: 5348915 markings, 16697690 edges, 4822 markings/sec, 1015 secs
lola: 5373695 markings, 16782362 edges, 4956 markings/sec, 1020 secs
lola: 5397086 markings, 16852328 edges, 4678 markings/sec, 1025 secs
lola: 5419853 markings, 16930291 edges, 4553 markings/sec, 1030 secs
lola: 5441892 markings, 17005006 edges, 4408 markings/sec, 1035 secs
lola: 5465478 markings, 17082627 edges, 4717 markings/sec, 1040 secs
lola: 5487489 markings, 17154852 edges, 4402 markings/sec, 1045 secs
lola: 5509872 markings, 17227193 edges, 4477 markings/sec, 1050 secs
lola: 5534580 markings, 17309563 edges, 4942 markings/sec, 1055 secs
lola: 5559518 markings, 17393248 edges, 4988 markings/sec, 1060 secs
lola: 5584444 markings, 17476843 edges, 4985 markings/sec, 1065 secs
lola: 5613229 markings, 17568064 edges, 5757 markings/sec, 1070 secs
lola: 5639520 markings, 17662688 edges, 5258 markings/sec, 1075 secs
lola: 5662092 markings, 17739875 edges, 4514 markings/sec, 1080 secs
lola: 5684901 markings, 17807669 edges, 4562 markings/sec, 1085 secs
lola: 5712246 markings, 17880881 edges, 5469 markings/sec, 1090 secs
lola: 5735330 markings, 17950164 edges, 4617 markings/sec, 1095 secs
lola: 5759534 markings, 18030449 edges, 4841 markings/sec, 1100 secs
lola: 5781662 markings, 18101228 edges, 4426 markings/sec, 1105 secs
lola: 5806425 markings, 18183970 edges, 4953 markings/sec, 1110 secs
lola: 5828609 markings, 18255435 edges, 4437 markings/sec, 1115 secs
lola: 5854168 markings, 18340169 edges, 5112 markings/sec, 1120 secs
lola: 5878292 markings, 18421560 edges, 4825 markings/sec, 1125 secs
lola: 5899114 markings, 18491196 edges, 4164 markings/sec, 1130 secs
lola: 5923124 markings, 18570816 edges, 4802 markings/sec, 1135 secs
lola: 5946411 markings, 18649533 edges, 4657 markings/sec, 1140 secs
lola: 5972108 markings, 18744862 edges, 5139 markings/sec, 1145 secs
lola: 5996914 markings, 18826333 edges, 4961 markings/sec, 1150 secs
lola: 6021940 markings, 18909998 edges, 5005 markings/sec, 1155 secs
lola: 6048151 markings, 18998067 edges, 5242 markings/sec, 1160 secs
lola: 6072863 markings, 19081473 edges, 4942 markings/sec, 1165 secs
lola: 6098814 markings, 19159393 edges, 5190 markings/sec, 1170 secs
lola: 6123050 markings, 19216813 edges, 4847 markings/sec, 1175 secs
lola: 6152744 markings, 19286596 edges, 5939 markings/sec, 1180 secs
lola: 6179786 markings, 19367110 edges, 5408 markings/sec, 1185 secs
lola: 6212549 markings, 19442570 edges, 6553 markings/sec, 1190 secs
lola: 6243000 markings, 19531040 edges, 6090 markings/sec, 1195 secs
lola: 6267268 markings, 19611964 edges, 4854 markings/sec, 1200 secs
lola: 6289962 markings, 19688521 edges, 4539 markings/sec, 1205 secs
lola: 6313550 markings, 19780173 edges, 4718 markings/sec, 1210 secs
lola: 6340730 markings, 19869013 edges, 5436 markings/sec, 1215 secs
lola: 6365143 markings, 19925770 edges, 4883 markings/sec, 1220 secs
lola: 6391645 markings, 20003190 edges, 5300 markings/sec, 1225 secs
lola: 6418419 markings, 20092271 edges, 5355 markings/sec, 1230 secs
lola: 6443780 markings, 20176655 edges, 5072 markings/sec, 1235 secs
lola: 6468283 markings, 20255607 edges, 4901 markings/sec, 1240 secs
lola: 6490590 markings, 20323204 edges, 4461 markings/sec, 1245 secs
lola: 6512387 markings, 20383410 edges, 4359 markings/sec, 1250 secs
lola: 6535722 markings, 20442633 edges, 4667 markings/sec, 1255 secs
lola: 6556539 markings, 20509664 edges, 4163 markings/sec, 1260 secs
lola: 6580751 markings, 20568047 edges, 4842 markings/sec, 1265 secs
lola: 6603806 markings, 20631422 edges, 4611 markings/sec, 1270 secs
lola: 6625600 markings, 20699283 edges, 4359 markings/sec, 1275 secs
lola: 6646940 markings, 20760913 edges, 4268 markings/sec, 1280 secs
lola: 6668249 markings, 20827763 edges, 4262 markings/sec, 1285 secs
lola: 6689845 markings, 20892798 edges, 4319 markings/sec, 1290 secs
lola: 6713282 markings, 20963385 edges, 4687 markings/sec, 1295 secs
lola: 6735440 markings, 21028873 edges, 4432 markings/sec, 1300 secs
lola: 6757699 markings, 21107924 edges, 4452 markings/sec, 1305 secs
lola: 6778871 markings, 21180497 edges, 4234 markings/sec, 1310 secs
lola: 6799925 markings, 21245337 edges, 4211 markings/sec, 1315 secs
lola: 6817287 markings, 21301837 edges, 3472 markings/sec, 1320 secs
lola: 6835180 markings, 21368841 edges, 3579 markings/sec, 1325 secs
lola: 6856813 markings, 21440105 edges, 4327 markings/sec, 1330 secs
lola: 6878250 markings, 21513424 edges, 4287 markings/sec, 1335 secs
lola: 6897628 markings, 21576063 edges, 3876 markings/sec, 1340 secs
lola: 6920678 markings, 21654041 edges, 4610 markings/sec, 1345 secs
lola: 6940240 markings, 21716765 edges, 3912 markings/sec, 1350 secs
lola: 6964880 markings, 21799740 edges, 4928 markings/sec, 1355 secs
lola: 6986979 markings, 21871034 edges, 4420 markings/sec, 1360 secs
lola: 7013201 markings, 21958759 edges, 5244 markings/sec, 1365 secs
lola: 7037820 markings, 22040406 edges, 4924 markings/sec, 1370 secs
lola: 7061770 markings, 22121165 edges, 4790 markings/sec, 1375 secs
lola: 7083491 markings, 22194534 edges, 4344 markings/sec, 1380 secs
lola: 7109907 markings, 22285373 edges, 5283 markings/sec, 1385 secs
lola: 7133386 markings, 22351809 edges, 4696 markings/sec, 1390 secs
lola: 7156174 markings, 22407851 edges, 4558 markings/sec, 1395 secs
lola: 7182106 markings, 22487737 edges, 5186 markings/sec, 1400 secs
lola: 7203277 markings, 22556986 edges, 4234 markings/sec, 1405 secs
lola: 7225555 markings, 22624752 edges, 4456 markings/sec, 1410 secs
lola: 7251499 markings, 22711369 edges, 5189 markings/sec, 1415 secs
lola: 7277717 markings, 22799487 edges, 5244 markings/sec, 1420 secs
lola: 7298990 markings, 22865896 edges, 4255 markings/sec, 1425 secs
lola: 7323085 markings, 22946451 edges, 4819 markings/sec, 1430 secs
lola: 7347975 markings, 23030511 edges, 4978 markings/sec, 1435 secs
lola: 7369811 markings, 23103360 edges, 4367 markings/sec, 1440 secs
lola: 7395825 markings, 23184415 edges, 5203 markings/sec, 1445 secs
lola: 7420516 markings, 23268221 edges, 4938 markings/sec, 1450 secs
lola: 7443765 markings, 23355160 edges, 4650 markings/sec, 1455 secs
lola: 7464572 markings, 23423126 edges, 4161 markings/sec, 1460 secs
lola: 7488292 markings, 23503404 edges, 4744 markings/sec, 1465 secs
lola: 7511343 markings, 23581518 edges, 4610 markings/sec, 1470 secs
lola: 7537540 markings, 23668974 edges, 5239 markings/sec, 1475 secs
lola: 7562996 markings, 23757209 edges, 5091 markings/sec, 1480 secs
lola: 7589742 markings, 23849059 edges, 5349 markings/sec, 1485 secs
lola: 7615579 markings, 23935740 edges, 5167 markings/sec, 1490 secs
lola: 7638975 markings, 24028695 edges, 4679 markings/sec, 1495 secs
lola: 7663934 markings, 24115545 edges, 4992 markings/sec, 1500 secs
lola: 7687690 markings, 24197250 edges, 4751 markings/sec, 1505 secs
lola: 7708050 markings, 24281356 edges, 4072 markings/sec, 1510 secs
lola: 7732463 markings, 24364949 edges, 4883 markings/sec, 1515 secs
lola: 7763570 markings, 24438910 edges, 6221 markings/sec, 1520 secs
lola: 7788657 markings, 24506639 edges, 5017 markings/sec, 1525 secs
lola: 7812267 markings, 24590645 edges, 4722 markings/sec, 1530 secs
lola: 7835190 markings, 24673352 edges, 4585 markings/sec, 1535 secs
lola: 7858138 markings, 24755875 edges, 4590 markings/sec, 1540 secs
lola: 7882668 markings, 24841383 edges, 4906 markings/sec, 1545 secs
lola: 7905489 markings, 24929995 edges, 4564 markings/sec, 1550 secs
lola: 7929476 markings, 25011191 edges, 4797 markings/sec, 1555 secs
lola: 7954986 markings, 25097803 edges, 5102 markings/sec, 1560 secs
lola: 7982116 markings, 25184008 edges, 5426 markings/sec, 1565 secs
lola: 8007495 markings, 25282665 edges, 5076 markings/sec, 1570 secs
lola: 8033422 markings, 25380535 edges, 5185 markings/sec, 1575 secs
lola: 8057942 markings, 25466998 edges, 4904 markings/sec, 1580 secs
lola: 8082382 markings, 25549961 edges, 4888 markings/sec, 1585 secs
lola: 8105838 markings, 25643791 edges, 4691 markings/sec, 1590 secs
lola: 8133674 markings, 25717590 edges, 5567 markings/sec, 1595 secs
lola: 8160803 markings, 25797170 edges, 5426 markings/sec, 1600 secs
lola: 8184389 markings, 25885721 edges, 4717 markings/sec, 1605 secs
lola: 8210247 markings, 25980639 edges, 5172 markings/sec, 1610 secs
lola: 8234695 markings, 26065147 edges, 4890 markings/sec, 1615 secs
lola: 8262380 markings, 26142725 edges, 5537 markings/sec, 1620 secs
lola: 8286178 markings, 26225198 edges, 4760 markings/sec, 1625 secs
lola: 8310420 markings, 26311863 edges, 4848 markings/sec, 1630 secs
lola: 8333256 markings, 26398701 edges, 4567 markings/sec, 1635 secs
lola: 8353824 markings, 26481706 edges, 4114 markings/sec, 1640 secs
lola: 8375731 markings, 26556071 edges, 4381 markings/sec, 1645 secs
lola: 8397736 markings, 26633559 edges, 4401 markings/sec, 1650 secs
lola: 8419151 markings, 26706340 edges, 4283 markings/sec, 1655 secs
lola: 8440521 markings, 26778400 edges, 4274 markings/sec, 1660 secs
lola: 8464224 markings, 26859154 edges, 4741 markings/sec, 1665 secs
lola: 8489437 markings, 26941573 edges, 5043 markings/sec, 1670 secs
lola: 8515537 markings, 27030132 edges, 5220 markings/sec, 1675 secs
lola: 8539609 markings, 27128429 edges, 4814 markings/sec, 1680 secs
lola: 8563458 markings, 27206561 edges, 4770 markings/sec, 1685 secs
lola: 8585017 markings, 27286787 edges, 4312 markings/sec, 1690 secs
lola: 8606138 markings, 27371363 edges, 4224 markings/sec, 1695 secs
lola: 8629566 markings, 27447425 edges, 4686 markings/sec, 1700 secs
lola: 8657411 markings, 27514166 edges, 5569 markings/sec, 1705 secs
lola: 8679581 markings, 27590552 edges, 4434 markings/sec, 1710 secs
lola: 8700556 markings, 27669563 edges, 4195 markings/sec, 1715 secs
lola: 8721093 markings, 27738727 edges, 4107 markings/sec, 1720 secs
lola: 8740948 markings, 27810981 edges, 3971 markings/sec, 1725 secs
lola: 8763018 markings, 27887715 edges, 4414 markings/sec, 1730 secs
lola: 8784166 markings, 27967848 edges, 4230 markings/sec, 1735 secs
lola: 8804678 markings, 28040499 edges, 4102 markings/sec, 1740 secs
lola: 8825667 markings, 28111695 edges, 4198 markings/sec, 1745 secs
lola: 8848245 markings, 28188223 edges, 4516 markings/sec, 1750 secs
lola: 8873051 markings, 28268515 edges, 4961 markings/sec, 1755 secs
lola: 8898175 markings, 28361289 edges, 5025 markings/sec, 1760 secs
lola: 8923644 markings, 28452998 edges, 5094 markings/sec, 1765 secs
lola: 8947019 markings, 28539963 edges, 4675 markings/sec, 1770 secs
lola: 8968892 markings, 28618902 edges, 4375 markings/sec, 1775 secs
lola: 8990199 markings, 28699384 edges, 4261 markings/sec, 1780 secs
lola: 9012820 markings, 28780706 edges, 4524 markings/sec, 1785 secs
lola: 9039078 markings, 28843495 edges, 5252 markings/sec, 1790 secs
lola: 9063155 markings, 28918792 edges, 4815 markings/sec, 1795 secs
lola: 9084558 markings, 28999638 edges, 4281 markings/sec, 1800 secs
lola: 9109497 markings, 29091262 edges, 4988 markings/sec, 1805 secs
lola: 9131391 markings, 29167068 edges, 4379 markings/sec, 1810 secs
lola: 9157279 markings, 29235322 edges, 5178 markings/sec, 1815 secs
lola: 9178296 markings, 29303784 edges, 4203 markings/sec, 1820 secs
lola: 9200425 markings, 29380382 edges, 4426 markings/sec, 1825 secs
lola: 9221671 markings, 29461043 edges, 4249 markings/sec, 1830 secs
lola: 9242277 markings, 29534070 edges, 4121 markings/sec, 1835 secs
lola: 9260245 markings, 29608610 edges, 3594 markings/sec, 1840 secs
lola: 9279084 markings, 29672321 edges, 3768 markings/sec, 1845 secs
lola: 9298431 markings, 29737786 edges, 3869 markings/sec, 1850 secs
lola: 9320176 markings, 29802033 edges, 4349 markings/sec, 1855 secs
lola: 9342351 markings, 29859397 edges, 4435 markings/sec, 1860 secs
lola: 9364037 markings, 29910683 edges, 4337 markings/sec, 1865 secs
lola: 9385619 markings, 29962010 edges, 4316 markings/sec, 1870 secs
lola: 9406710 markings, 30019664 edges, 4218 markings/sec, 1875 secs
lola: 9427683 markings, 30069167 edges, 4195 markings/sec, 1880 secs
lola: 9446485 markings, 30113144 edges, 3760 markings/sec, 1885 secs
lola: 9467408 markings, 30162221 edges, 4185 markings/sec, 1890 secs
lola: 9488267 markings, 30219860 edges, 4172 markings/sec, 1895 secs
lola: 9509253 markings, 30278145 edges, 4197 markings/sec, 1900 secs
lola: 9530592 markings, 30328251 edges, 4268 markings/sec, 1905 secs
lola: 9551895 markings, 30378495 edges, 4261 markings/sec, 1910 secs
lola: 9574422 markings, 30441050 edges, 4505 markings/sec, 1915 secs
lola: 9594286 markings, 30515676 edges, 3973 markings/sec, 1920 secs
lola: 9613132 markings, 30574788 edges, 3769 markings/sec, 1925 secs
lola: 9631054 markings, 30635329 edges, 3584 markings/sec, 1930 secs
lola: 9648596 markings, 30697825 edges, 3508 markings/sec, 1935 secs
lola: 9664376 markings, 30766312 edges, 3156 markings/sec, 1940 secs
lola: 9682831 markings, 30828720 edges, 3691 markings/sec, 1945 secs
lola: 9704496 markings, 30886826 edges, 4333 markings/sec, 1950 secs
lola: 9726194 markings, 30937634 edges, 4340 markings/sec, 1955 secs
lola: 9747289 markings, 30990239 edges, 4219 markings/sec, 1960 secs
lola: 9763684 markings, 31064230 edges, 3279 markings/sec, 1965 secs
lola: 9782667 markings, 31127783 edges, 3797 markings/sec, 1970 secs
lola: 9808147 markings, 31203940 edges, 5096 markings/sec, 1975 secs
lola: 9835510 markings, 31300676 edges, 5473 markings/sec, 1980 secs
lola: 9861565 markings, 31396970 edges, 5211 markings/sec, 1985 secs
lola: 9887552 markings, 31493789 edges, 5197 markings/sec, 1990 secs
lola: 9913874 markings, 31586736 edges, 5264 markings/sec, 1995 secs
lola: 9939818 markings, 31674524 edges, 5189 markings/sec, 2000 secs
lola: 9964745 markings, 31767574 edges, 4985 markings/sec, 2005 secs
lola: 9990007 markings, 31859661 edges, 5052 markings/sec, 2010 secs
lola: 10014674 markings, 31950240 edges, 4933 markings/sec, 2015 secs
lola: 10039093 markings, 32033911 edges, 4884 markings/sec, 2020 secs
lola: 10062525 markings, 32108818 edges, 4686 markings/sec, 2025 secs
lola: 10089937 markings, 32196536 edges, 5482 markings/sec, 2030 secs
lola: 10118544 markings, 32293799 edges, 5721 markings/sec, 2035 secs
lola: 10146198 markings, 32392050 edges, 5531 markings/sec, 2040 secs
lola: 10172849 markings, 32481393 edges, 5330 markings/sec, 2045 secs
lola: 10197849 markings, 32550068 edges, 5000 markings/sec, 2050 secs
lola: 10222332 markings, 32610377 edges, 4897 markings/sec, 2055 secs
lola: 10248198 markings, 32689148 edges, 5173 markings/sec, 2060 secs
lola: 10272649 markings, 32769968 edges, 4890 markings/sec, 2065 secs
lola: 10299589 markings, 32859530 edges, 5388 markings/sec, 2070 secs
lola: 10321829 markings, 32935835 edges, 4448 markings/sec, 2075 secs
lola: 10349205 markings, 33024276 edges, 5475 markings/sec, 2080 secs
lola: 10377775 markings, 33118713 edges, 5714 markings/sec, 2085 secs
lola: 10401503 markings, 33205507 edges, 4746 markings/sec, 2090 secs
lola: 10425270 markings, 33282938 edges, 4753 markings/sec, 2095 secs
lola: 10451728 markings, 33377421 edges, 5292 markings/sec, 2100 secs
lola: 10478310 markings, 33466721 edges, 5316 markings/sec, 2105 secs
lola: 10507464 markings, 33564976 edges, 5831 markings/sec, 2110 secs
lola: 10535545 markings, 33663360 edges, 5616 markings/sec, 2115 secs
lola: 10562453 markings, 33756922 edges, 5382 markings/sec, 2120 secs
lola: 10588554 markings, 33853995 edges, 5220 markings/sec, 2125 secs
lola: 10614241 markings, 33947613 edges, 5137 markings/sec, 2130 secs
lola: 10639486 markings, 34032218 edges, 5049 markings/sec, 2135 secs
lola: 10662826 markings, 34125712 edges, 4668 markings/sec, 2140 secs
lola: 10690136 markings, 34214662 edges, 5462 markings/sec, 2145 secs
lola: 10722011 markings, 34290208 edges, 6375 markings/sec, 2150 secs
lola: 10747983 markings, 34368530 edges, 5194 markings/sec, 2155 secs
lola: 10771852 markings, 34457337 edges, 4774 markings/sec, 2160 secs
lola: 10795650 markings, 34538880 edges, 4760 markings/sec, 2165 secs
lola: 10819495 markings, 34623899 edges, 4769 markings/sec, 2170 secs
lola: 10843723 markings, 34712831 edges, 4846 markings/sec, 2175 secs
lola: 10867577 markings, 34799534 edges, 4771 markings/sec, 2180 secs
lola: 10892755 markings, 34885124 edges, 5036 markings/sec, 2185 secs
lola: 10919126 markings, 34974221 edges, 5274 markings/sec, 2190 secs
lola: 10946869 markings, 35064568 edges, 5549 markings/sec, 2195 secs
lola: 10972076 markings, 35165110 edges, 5041 markings/sec, 2200 secs
lola: 10998006 markings, 35258472 edges, 5186 markings/sec, 2205 secs
lola: 11022316 markings, 35346611 edges, 4862 markings/sec, 2210 secs
lola: 11046636 markings, 35434654 edges, 4864 markings/sec, 2215 secs
lola: 11072235 markings, 35522220 edges, 5120 markings/sec, 2220 secs
lola: 11102296 markings, 35597150 edges, 6012 markings/sec, 2225 secs
lola: 11126508 markings, 35682885 edges, 4842 markings/sec, 2230 secs
lola: 11151523 markings, 35775868 edges, 5003 markings/sec, 2235 secs
lola: 11176501 markings, 35866451 edges, 4996 markings/sec, 2240 secs
lola: 11203406 markings, 35949211 edges, 5381 markings/sec, 2245 secs
lola: 11228316 markings, 36028615 edges, 4982 markings/sec, 2250 secs
lola: 11253079 markings, 36115541 edges, 4953 markings/sec, 2255 secs
lola: 11276444 markings, 36205007 edges, 4673 markings/sec, 2260 secs
lola: 11299709 markings, 36291240 edges, 4653 markings/sec, 2265 secs
lola: 11320768 markings, 36368327 edges, 4212 markings/sec, 2270 secs
lola: 11344550 markings, 36443353 edges, 4756 markings/sec, 2275 secs
lola: 11365155 markings, 36521668 edges, 4121 markings/sec, 2280 secs
lola: 11386839 markings, 36595083 edges, 4337 markings/sec, 2285 secs
lola: 11409773 markings, 36673065 edges, 4587 markings/sec, 2290 secs
lola: 11435061 markings, 36755129 edges, 5058 markings/sec, 2295 secs
lola: 11460400 markings, 36848759 edges, 5068 markings/sec, 2300 secs
lola: 11486323 markings, 36940751 edges, 5185 markings/sec, 2305 secs
lola: 11509870 markings, 37027446 edges, 4709 markings/sec, 2310 secs
lola: 11532282 markings, 37107244 edges, 4482 markings/sec, 2315 secs
lola: 11553869 markings, 37189795 edges, 4317 markings/sec, 2320 secs
lola: 11577030 markings, 37271348 edges, 4632 markings/sec, 2325 secs
lola: 11604460 markings, 37337267 edges, 5486 markings/sec, 2330 secs
lola: 11627889 markings, 37413772 edges, 4686 markings/sec, 2335 secs
lola: 11649135 markings, 37494600 edges, 4249 markings/sec, 2340 secs
lola: 11669971 markings, 37565278 edges, 4167 markings/sec, 2345 secs
lola: 11690450 markings, 37638888 edges, 4096 markings/sec, 2350 secs
lola: 11712774 markings, 37718310 edges, 4465 markings/sec, 2355 secs
lola: 11734242 markings, 37800637 edges, 4294 markings/sec, 2360 secs
lola: 11754813 markings, 37870423 edges, 4114 markings/sec, 2365 secs
lola: 11777208 markings, 37946674 edges, 4479 markings/sec, 2370 secs
lola: 11800561 markings, 38025768 edges, 4671 markings/sec, 2375 secs
lola: 11826887 markings, 38108279 edges, 5265 markings/sec, 2380 secs
lola: 11850706 markings, 38202518 edges, 4764 markings/sec, 2385 secs
lola: 11875785 markings, 38297484 edges, 5016 markings/sec, 2390 secs
lola: 11898752 markings, 38378777 edges, 4593 markings/sec, 2395 secs
lola: 11920688 markings, 38458882 edges, 4387 markings/sec, 2400 secs
lola: 11943321 markings, 38540886 edges, 4527 markings/sec, 2405 secs
lola: 11967193 markings, 38614712 edges, 4774 markings/sec, 2410 secs
lola: 11994834 markings, 38686420 edges, 5528 markings/sec, 2415 secs
lola: 12016907 markings, 38765093 edges, 4415 markings/sec, 2420 secs
lola: 12040450 markings, 38853208 edges, 4709 markings/sec, 2425 secs
lola: 12064046 markings, 38938582 edges, 4719 markings/sec, 2430 secs
lola: 12089496 markings, 39012592 edges, 5090 markings/sec, 2435 secs
lola: 12112170 markings, 39080195 edges, 4535 markings/sec, 2440 secs
lola: 12134221 markings, 39156026 edges, 4410 markings/sec, 2445 secs
lola: 12156574 markings, 39235438 edges, 4471 markings/sec, 2450 secs
lola: 12177279 markings, 39313997 edges, 4141 markings/sec, 2455 secs
lola: 12198147 markings, 39392088 edges, 4174 markings/sec, 2460 secs
lola: 12216789 markings, 39461539 edges, 3728 markings/sec, 2465 secs
lola: 12236408 markings, 39527927 edges, 3924 markings/sec, 2470 secs
lola: 12258024 markings, 39595245 edges, 4323 markings/sec, 2475 secs
lola: 12279299 markings, 39652366 edges, 4255 markings/sec, 2480 secs
lola: 12300114 markings, 39702736 edges, 4163 markings/sec, 2485 secs
lola: 12321054 markings, 39760755 edges, 4188 markings/sec, 2490 secs
lola: 12342067 markings, 39810865 edges, 4203 markings/sec, 2495 secs
lola: 12362722 markings, 39862118 edges, 4131 markings/sec, 2500 secs
lola: 12384234 markings, 39928192 edges, 4302 markings/sec, 2505 secs
lola: 12405398 markings, 39979298 edges, 4233 markings/sec, 2510 secs
lola: 12426326 markings, 40037539 edges, 4186 markings/sec, 2515 secs
lola: 12449490 markings, 40109149 edges, 4633 markings/sec, 2520 secs
lola: 12468105 markings, 40170869 edges, 3723 markings/sec, 2525 secs
lola: 12486115 markings, 40231892 edges, 3602 markings/sec, 2530 secs
lola: 12504012 markings, 40292604 edges, 3579 markings/sec, 2535 secs
lola: 12520302 markings, 40361948 edges, 3258 markings/sec, 2540 secs
lola: 12538182 markings, 40426137 edges, 3576 markings/sec, 2545 secs
lola: 12559491 markings, 40488420 edges, 4262 markings/sec, 2550 secs
lola: 12581204 markings, 40540550 edges, 4343 markings/sec, 2555 secs
lola: 12598990 markings, 40610114 edges, 3557 markings/sec, 2560 secs
lola: 12618908 markings, 40672305 edges, 3984 markings/sec, 2565 secs
lola: 12640238 markings, 40727666 edges, 4266 markings/sec, 2570 secs
lola: 12661059 markings, 40776502 edges, 4164 markings/sec, 2575 secs
lola: 12681938 markings, 40826144 edges, 4176 markings/sec, 2580 secs
lola: 12703929 markings, 40892119 edges, 4398 markings/sec, 2585 secs
lola: 12724895 markings, 40950735 edges, 4193 markings/sec, 2590 secs
lola: 12748194 markings, 41008615 edges, 4660 markings/sec, 2595 secs
lola: 12768564 markings, 41075366 edges, 4074 markings/sec, 2600 secs
lola: 12793110 markings, 41134607 edges, 4909 markings/sec, 2605 secs
lola: 12815882 markings, 41196686 edges, 4554 markings/sec, 2610 secs
lola: 12838777 markings, 41267806 edges, 4579 markings/sec, 2615 secs
lola: 12862508 markings, 41337139 edges, 4746 markings/sec, 2620 secs
lola: 12885313 markings, 41410336 edges, 4561 markings/sec, 2625 secs
lola: 12908713 markings, 41480843 edges, 4680 markings/sec, 2630 secs
lola: 12933669 markings, 41552415 edges, 4991 markings/sec, 2635 secs
lola: 12957749 markings, 41631560 edges, 4816 markings/sec, 2640 secs
lola: 12981983 markings, 41700246 edges, 4847 markings/sec, 2645 secs
lola: 13001485 markings, 41773486 edges, 3900 markings/sec, 2650 secs
lola: 13022453 markings, 41840064 edges, 4194 markings/sec, 2655 secs
lola: 13049952 markings, 41931716 edges, 5500 markings/sec, 2660 secs
lola: 13077825 markings, 42029098 edges, 5575 markings/sec, 2665 secs
lola: 13103954 markings, 42126758 edges, 5226 markings/sec, 2670 secs
lola: 13129941 markings, 42224050 edges, 5197 markings/sec, 2675 secs
lola: 13155560 markings, 42315387 edges, 5124 markings/sec, 2680 secs
lola: 13180871 markings, 42408874 edges, 5062 markings/sec, 2685 secs
lola: 13206170 markings, 42502436 edges, 5060 markings/sec, 2690 secs
lola: 13230613 markings, 42591515 edges, 4889 markings/sec, 2695 secs
lola: 13253275 markings, 42668182 edges, 4532 markings/sec, 2700 secs
lola: 13276717 markings, 42740838 edges, 4688 markings/sec, 2705 secs
lola: 13294450 markings, 42800512 edges, 3547 markings/sec, 2710 secs
lola: 13312411 markings, 42859234 edges, 3592 markings/sec, 2715 secs
lola: 13329924 markings, 42917507 edges, 3503 markings/sec, 2720 secs
lola: 13349473 markings, 42983186 edges, 3910 markings/sec, 2725 secs
lola: 13369680 markings, 43051855 edges, 4041 markings/sec, 2730 secs
lola: 13397027 markings, 43143089 edges, 5469 markings/sec, 2735 secs
lola: 13417348 markings, 43208903 edges, 4064 markings/sec, 2740 secs
lola: 13441105 markings, 43287846 edges, 4751 markings/sec, 2745 secs
lola: 13464125 markings, 43364240 edges, 4604 markings/sec, 2750 secs
lola: 13486645 markings, 43441445 edges, 4504 markings/sec, 2755 secs
lola: 13514975 markings, 43533914 edges, 5666 markings/sec, 2760 secs
lola: 13543499 markings, 43632717 edges, 5705 markings/sec, 2765 secs
lola: 13571235 markings, 43732939 edges, 5547 markings/sec, 2770 secs
lola: 13598750 markings, 43825487 edges, 5503 markings/sec, 2775 secs
lola: 13622313 markings, 43879478 edges, 4713 markings/sec, 2780 secs
lola: 13646034 markings, 43938747 edges, 4744 markings/sec, 2785 secs
lola: 13672701 markings, 44011123 edges, 5333 markings/sec, 2790 secs
lola: 13700457 markings, 44104242 edges, 5551 markings/sec, 2795 secs
lola: 13722771 markings, 44158237 edges, 4463 markings/sec, 2800 secs
lola: 13749167 markings, 44241223 edges, 5279 markings/sec, 2805 secs
lola: 13771051 markings, 44312398 edges, 4377 markings/sec, 2810 secs
lola: 13792380 markings, 44392579 edges, 4266 markings/sec, 2815 secs
lola: 13816380 markings, 44492683 edges, 4800 markings/sec, 2820 secs
lola: 13840174 markings, 44572886 edges, 4759 markings/sec, 2825 secs
lola: 13867532 markings, 44664032 edges, 5472 markings/sec, 2830 secs
lola: 13890243 markings, 44739314 edges, 4542 markings/sec, 2835 secs
lola: 13914257 markings, 44822779 edges, 4803 markings/sec, 2840 secs
lola: 13942908 markings, 44917553 edges, 5730 markings/sec, 2845 secs
lola: 13967147 markings, 44979683 edges, 4848 markings/sec, 2850 secs
lola: 13991295 markings, 45039636 edges, 4830 markings/sec, 2855 secs
lola: 14014759 markings, 45105498 edges, 4693 markings/sec, 2860 secs
lola: 14041895 markings, 45196228 edges, 5427 markings/sec, 2865 secs
lola: 14061978 markings, 45262083 edges, 4017 markings/sec, 2870 secs
lola: 14089209 markings, 45353434 edges, 5446 markings/sec, 2875 secs
lola: 14110548 markings, 45422152 edges, 4268 markings/sec, 2880 secs
lola: 14130465 markings, 45487718 edges, 3983 markings/sec, 2885 secs
lola: 14153099 markings, 45561140 edges, 4527 markings/sec, 2890 secs
lola: 14178974 markings, 45646910 edges, 5175 markings/sec, 2895 secs
lola: 14198111 markings, 45710040 edges, 3827 markings/sec, 2900 secs
lola: 14225063 markings, 45797108 edges, 5390 markings/sec, 2905 secs
lola: 14252467 markings, 45884802 edges, 5481 markings/sec, 2910 secs
lola: 14276621 markings, 45964272 edges, 4831 markings/sec, 2915 secs
lola: 14298762 markings, 46041288 edges, 4428 markings/sec, 2920 secs
lola: 14325047 markings, 46129709 edges, 5257 markings/sec, 2925 secs
lola: 14349643 markings, 46199338 edges, 4919 markings/sec, 2930 secs
lola: 14373294 markings, 46257566 edges, 4730 markings/sec, 2935 secs
lola: 14397169 markings, 46320993 edges, 4775 markings/sec, 2940 secs
lola: 14425277 markings, 46413372 edges, 5622 markings/sec, 2945 secs
lola: 14449561 markings, 46493605 edges, 4857 markings/sec, 2950 secs
lola: 14470032 markings, 46559724 edges, 4094 markings/sec, 2955 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 unknown 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 1 unknown 1 1 1 1 1
lola: memory consumption: 2414500 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 1 unknown 1 1 1 1 1
lola: memory consumption: 2414500 KB
lola: time consumption: 3570 seconds
BK_STOP 1526482983738
--------------------
content from 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="CloudReconfiguration-PT-305"
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/CloudReconfiguration-PT-305.tgz
mv CloudReconfiguration-PT-305 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-305, 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 r052-smll-152646379800030"
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 ;