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 21M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 20M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-7b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400268
=====================================================================

--------------------
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 CloudDeployment-PT-7b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526633778246

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-7b 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 CloudDeployment-PT-7b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-7b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 22023/65536 symbol table entries, 8095 collisions
lola: preprocessing...
lola: Size of bit vector: 2271
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3555 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7b-UpperBounds.task
lola: MAX(p36) : MAX(p128) : MAX(p1264) : MAX(p354) : MAX(p192) : MAX(p1546) : MAX(p274) : MAX(p1839) : MAX(p1430) : MAX(p799) : MAX(p355) : MAX(p1022) : MAX(p1445) : MAX(p2171) : MAX(p1383) : MAX(p920)
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(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p36)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 15 markings, 14 edges
lola: ========================================

FORMULA CloudDeployment-PT-7b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p128)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 878 markings, 1011 edges, 176 markings/sec, 0 secs
lola: 50829 markings, 85737 edges, 9990 markings/sec, 5 secs
lola: 107058 markings, 164284 edges, 11246 markings/sec, 10 secs
lola: 155050 markings, 252368 edges, 9598 markings/sec, 15 secs
lola: 191350 markings, 371008 edges, 7260 markings/sec, 20 secs
lola: 244621 markings, 458030 edges, 10654 markings/sec, 25 secs
lola: 293005 markings, 559368 edges, 9677 markings/sec, 30 secs
lola: 322597 markings, 690916 edges, 5918 markings/sec, 35 secs
lola: 375852 markings, 777313 edges, 10651 markings/sec, 40 secs
lola: 424263 markings, 865316 edges, 9682 markings/sec, 45 secs
lola: 463866 markings, 983574 edges, 7921 markings/sec, 50 secs
lola: 505704 markings, 1098467 edges, 8368 markings/sec, 55 secs
lola: 558527 markings, 1186370 edges, 10565 markings/sec, 60 secs
lola: 603203 markings, 1296980 edges, 8935 markings/sec, 65 secs
lola: 639266 markings, 1424440 edges, 7213 markings/sec, 70 secs
lola: 693103 markings, 1509147 edges, 10767 markings/sec, 75 secs
lola: 741163 markings, 1611308 edges, 9612 markings/sec, 80 secs
lola: 772003 markings, 1750321 edges, 6168 markings/sec, 85 secs
lola: 828047 markings, 1838313 edges, 11209 markings/sec, 90 secs
lola: 882113 markings, 1940281 edges, 10813 markings/sec, 95 secs
lola: 910775 markings, 2086677 edges, 5732 markings/sec, 100 secs
lola: 969514 markings, 2172695 edges, 11748 markings/sec, 105 secs
lola: 1023220 markings, 2274442 edges, 10741 markings/sec, 110 secs
lola: 1055362 markings, 2411912 edges, 6428 markings/sec, 115 secs
lola: 1107191 markings, 2514941 edges, 10366 markings/sec, 120 secs
lola: 1160613 markings, 2615056 edges, 10684 markings/sec, 125 secs
lola: 1201888 markings, 2734488 edges, 8255 markings/sec, 130 secs
lola: 1247547 markings, 2855249 edges, 9132 markings/sec, 135 secs
lola: 1296198 markings, 2962014 edges, 9730 markings/sec, 140 secs
lola: 1340157 markings, 3083999 edges, 8792 markings/sec, 145 secs
lola: 1373595 markings, 3226137 edges, 6688 markings/sec, 150 secs
lola: 1426625 markings, 3325574 edges, 10606 markings/sec, 155 secs
lola: 1473155 markings, 3438512 edges, 9306 markings/sec, 160 secs
lola: 1506871 markings, 3577854 edges, 6743 markings/sec, 165 secs
lola: 1556680 markings, 3691307 edges, 9962 markings/sec, 170 secs
lola: 1603640 markings, 3796252 edges, 9392 markings/sec, 175 secs
lola: 1645174 markings, 3916477 edges, 8307 markings/sec, 180 secs
lola: 1678700 markings, 4056520 edges, 6705 markings/sec, 185 secs
lola: 1729565 markings, 4152756 edges, 10173 markings/sec, 190 secs
lola: 1774514 markings, 4258666 edges, 8990 markings/sec, 195 secs
lola: 1807872 markings, 4394642 edges, 6672 markings/sec, 200 secs
lola: 1854569 markings, 4508406 edges, 9339 markings/sec, 205 secs
lola: 1902180 markings, 4610937 edges, 9522 markings/sec, 210 secs
lola: 1943840 markings, 4724946 edges, 8332 markings/sec, 215 secs
lola: 1971684 markings, 4868722 edges, 5569 markings/sec, 220 secs
lola: 2022924 markings, 4959150 edges, 10248 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 361252 KB
lola: time consumption: 266 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1264)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 62 markings, 61 edges
lola: ========================================

FORMULA CloudDeployment-PT-7b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p354)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 20 markings, 19 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p192)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: 41564 markings, 71664 edges, 8313 markings/sec, 5 secs
lola: 86972 markings, 161038 edges, 9082 markings/sec, 10 secs
lola: 130906 markings, 247074 edges, 8787 markings/sec, 15 secs
lola: 174084 markings, 337521 edges, 8636 markings/sec, 20 secs
lola: 215927 markings, 440130 edges, 8369 markings/sec, 25 secs
lola: 259905 markings, 525680 edges, 8796 markings/sec, 30 secs
lola: 303236 markings, 624377 edges, 8666 markings/sec, 35 secs
lola: 344296 markings, 717666 edges, 8212 markings/sec, 40 secs
lola: 386811 markings, 810283 edges, 8503 markings/sec, 45 secs
lola: 428500 markings, 907472 edges, 8338 markings/sec, 50 secs
lola: 469646 markings, 995115 edges, 8229 markings/sec, 55 secs
lola: 511473 markings, 1087087 edges, 8365 markings/sec, 60 secs
lola: 551747 markings, 1174971 edges, 8055 markings/sec, 65 secs
lola: 592598 markings, 1269478 edges, 8170 markings/sec, 70 secs
lola: 633440 markings, 1360514 edges, 8168 markings/sec, 75 secs
lola: 676147 markings, 1450279 edges, 8541 markings/sec, 80 secs
lola: 718813 markings, 1549825 edges, 8533 markings/sec, 85 secs
lola: 764170 markings, 1630794 edges, 9071 markings/sec, 90 secs
lola: 809659 markings, 1720322 edges, 9098 markings/sec, 95 secs
lola: 853733 markings, 1801716 edges, 8815 markings/sec, 100 secs
lola: 898540 markings, 1890056 edges, 8961 markings/sec, 105 secs
lola: 943347 markings, 1972801 edges, 8961 markings/sec, 110 secs
lola: 988672 markings, 2061669 edges, 9065 markings/sec, 115 secs
lola: 1033665 markings, 2144383 edges, 8999 markings/sec, 120 secs
lola: 1077956 markings, 2228249 edges, 8858 markings/sec, 125 secs
lola: 1122197 markings, 2316372 edges, 8848 markings/sec, 130 secs
lola: 1164769 markings, 2399637 edges, 8514 markings/sec, 135 secs
lola: 1208483 markings, 2482252 edges, 8743 markings/sec, 140 secs
lola: 1251758 markings, 2568601 edges, 8655 markings/sec, 145 secs
lola: 1295226 markings, 2647831 edges, 8694 markings/sec, 150 secs
lola: 1336692 markings, 2727211 edges, 8293 markings/sec, 155 secs
lola: 1380278 markings, 2805574 edges, 8717 markings/sec, 160 secs
lola: 1423078 markings, 2884566 edges, 8560 markings/sec, 165 secs
lola: 1466388 markings, 2967139 edges, 8662 markings/sec, 170 secs
lola: 1508366 markings, 3058948 edges, 8396 markings/sec, 175 secs
lola: 1549478 markings, 3159946 edges, 8222 markings/sec, 180 secs
lola: 1592528 markings, 3250707 edges, 8610 markings/sec, 185 secs
lola: 1634459 markings, 3340515 edges, 8386 markings/sec, 190 secs
lola: 1675089 markings, 3442601 edges, 8126 markings/sec, 195 secs
lola: 1718315 markings, 3533216 edges, 8645 markings/sec, 200 secs
lola: 1761770 markings, 3615498 edges, 8691 markings/sec, 205 secs
lola: 1810432 markings, 3689319 edges, 9732 markings/sec, 210 secs
lola: 1858963 markings, 3763577 edges, 9706 markings/sec, 215 secs
lola: 1907597 markings, 3838135 edges, 9727 markings/sec, 220 secs
lola: 1956392 markings, 3913087 edges, 9759 markings/sec, 225 secs
lola: 2003481 markings, 3988571 edges, 9418 markings/sec, 230 secs
lola: 2051209 markings, 4063482 edges, 9546 markings/sec, 235 secs
lola: 2098137 markings, 4138884 edges, 9386 markings/sec, 240 secs
lola: 2145176 markings, 4214238 edges, 9408 markings/sec, 245 secs
lola: 2192088 markings, 4291588 edges, 9382 markings/sec, 250 secs
lola: 2238709 markings, 4368967 edges, 9324 markings/sec, 255 secs
lola: 2285609 markings, 4447241 edges, 9380 markings/sec, 260 secs
lola: 2331664 markings, 4527059 edges, 9211 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 424316 KB
lola: time consumption: 548 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1546)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1546)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 10 markings, 9 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p274)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p274)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 37 markings, 36 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1839)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1839)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 29 markings, 28 edges
lola: ========================================

FORMULA CloudDeployment-PT-7b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1430)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1430)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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 CloudDeployment-PT-7b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p799)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 80 markings, 79 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 29 markings, 28 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 598 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1022)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1022)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 24 markings, 23 edges
lola: ========================================

FORMULA CloudDeployment-PT-7b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1445)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 55 markings, 54 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 994 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2171)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: 36061 markings, 52536 edges, 7212 markings/sec, 5 secs
lola: 75211 markings, 114929 edges, 7830 markings/sec, 10 secs
lola: 115099 markings, 184612 edges, 7978 markings/sec, 15 secs
lola: 155850 markings, 261043 edges, 8150 markings/sec, 20 secs
lola: 196253 markings, 336612 edges, 8081 markings/sec, 25 secs
lola: 233949 markings, 421192 edges, 7539 markings/sec, 30 secs
lola: 271047 markings, 507338 edges, 7420 markings/sec, 35 secs
lola: 309009 markings, 590042 edges, 7592 markings/sec, 40 secs
lola: 347411 markings, 670343 edges, 7680 markings/sec, 45 secs
lola: 385486 markings, 750389 edges, 7615 markings/sec, 50 secs
lola: 425196 markings, 822032 edges, 7942 markings/sec, 55 secs
lola: 465296 markings, 887142 edges, 8020 markings/sec, 60 secs
lola: 504950 markings, 955998 edges, 7931 markings/sec, 65 secs
lola: 545028 markings, 1031940 edges, 8016 markings/sec, 70 secs
lola: 584265 markings, 1106494 edges, 7847 markings/sec, 75 secs
lola: 622576 markings, 1187430 edges, 7662 markings/sec, 80 secs
lola: 658150 markings, 1274617 edges, 7115 markings/sec, 85 secs
lola: 694712 markings, 1354390 edges, 7312 markings/sec, 90 secs
lola: 732081 markings, 1432135 edges, 7474 markings/sec, 95 secs
lola: 769270 markings, 1511564 edges, 7438 markings/sec, 100 secs
lola: 806692 markings, 1589251 edges, 7484 markings/sec, 105 secs
lola: 850226 markings, 1657243 edges, 8707 markings/sec, 110 secs
lola: 890604 markings, 1725445 edges, 8076 markings/sec, 115 secs
lola: 926673 markings, 1809905 edges, 7214 markings/sec, 120 secs
lola: 959876 markings, 1907808 edges, 6641 markings/sec, 125 secs
lola: 995913 markings, 1991115 edges, 7207 markings/sec, 130 secs
lola: 1033304 markings, 2071463 edges, 7478 markings/sec, 135 secs
lola: 1069023 markings, 2150928 edges, 7144 markings/sec, 140 secs
lola: 1105184 markings, 2229905 edges, 7232 markings/sec, 145 secs
lola: 1145898 markings, 2299559 edges, 8143 markings/sec, 150 secs
lola: 1186830 markings, 2366925 edges, 8186 markings/sec, 155 secs
lola: 1224748 markings, 2442484 edges, 7584 markings/sec, 160 secs
lola: 1256819 markings, 2543673 edges, 6414 markings/sec, 165 secs
lola: 1293145 markings, 2621907 edges, 7265 markings/sec, 170 secs
lola: 1329210 markings, 2703768 edges, 7213 markings/sec, 175 secs
lola: 1365169 markings, 2782675 edges, 7192 markings/sec, 180 secs
lola: 1400708 markings, 2862771 edges, 7108 markings/sec, 185 secs
lola: 1438959 markings, 2937417 edges, 7650 markings/sec, 190 secs
lola: 1481666 markings, 3004668 edges, 8541 markings/sec, 195 secs
lola: 1520790 markings, 3075305 edges, 7825 markings/sec, 200 secs
lola: 1554538 markings, 3164265 edges, 6750 markings/sec, 205 secs
lola: 1587967 markings, 3256436 edges, 6686 markings/sec, 210 secs
lola: 1623227 markings, 3337323 edges, 7052 markings/sec, 215 secs
lola: 1659382 markings, 3415760 edges, 7231 markings/sec, 220 secs
lola: 1694616 markings, 3494784 edges, 7047 markings/sec, 225 secs
lola: 1730785 markings, 3574310 edges, 7234 markings/sec, 230 secs
lola: 1766197 markings, 3642599 edges, 7082 markings/sec, 235 secs
lola: 1801150 markings, 3712573 edges, 6991 markings/sec, 240 secs
lola: 1839048 markings, 3789072 edges, 7580 markings/sec, 245 secs
lola: 1877959 markings, 3867610 edges, 7782 markings/sec, 250 secs
lola: 1916857 markings, 3945688 edges, 7780 markings/sec, 255 secs
lola: 1956216 markings, 4024968 edges, 7872 markings/sec, 260 secs
lola: 1995623 markings, 4104698 edges, 7881 markings/sec, 265 secs
lola: 2034840 markings, 4183858 edges, 7843 markings/sec, 270 secs
lola: 2073997 markings, 4262895 edges, 7831 markings/sec, 275 secs
lola: 2113300 markings, 4342014 edges, 7861 markings/sec, 280 secs
lola: 2152780 markings, 4421635 edges, 7896 markings/sec, 285 secs
lola: 2191292 markings, 4499913 edges, 7702 markings/sec, 290 secs
lola: 2229861 markings, 4577492 edges, 7714 markings/sec, 295 secs
lola: 2268366 markings, 4655197 edges, 7701 markings/sec, 300 secs
lola: 2307210 markings, 4733836 edges, 7769 markings/sec, 305 secs
lola: 2345937 markings, 4811985 edges, 7745 markings/sec, 310 secs
lola: 2384324 markings, 4889287 edges, 7677 markings/sec, 315 secs
lola: 2422720 markings, 4966713 edges, 7679 markings/sec, 320 secs
lola: 2461737 markings, 5045732 edges, 7803 markings/sec, 325 secs
lola: 2500668 markings, 5124225 edges, 7786 markings/sec, 330 secs
lola: 2539533 markings, 5202710 edges, 7773 markings/sec, 335 secs
lola: 2578554 markings, 5281264 edges, 7804 markings/sec, 340 secs
lola: 2618314 markings, 5360952 edges, 7952 markings/sec, 345 secs
lola: 2658715 markings, 5442233 edges, 8080 markings/sec, 350 secs
lola: 2699011 markings, 5523162 edges, 8059 markings/sec, 355 secs
lola: 2739284 markings, 5603978 edges, 8055 markings/sec, 360 secs
lola: 2778718 markings, 5684337 edges, 7887 markings/sec, 365 secs
lola: 2817128 markings, 5767616 edges, 7682 markings/sec, 370 secs
lola: 2857165 markings, 5851611 edges, 8007 markings/sec, 375 secs
lola: 2894836 markings, 5937427 edges, 7534 markings/sec, 380 secs
lola: 2930312 markings, 6029547 edges, 7095 markings/sec, 385 secs
lola: 2959711 markings, 6136217 edges, 5880 markings/sec, 390 secs
lola: 2998050 markings, 6223474 edges, 7668 markings/sec, 395 secs
lola: 3038483 markings, 6306940 edges, 8087 markings/sec, 400 secs
lola: 3077685 markings, 6388076 edges, 7840 markings/sec, 405 secs
lola: 3114757 markings, 6467815 edges, 7414 markings/sec, 410 secs
lola: 3153217 markings, 6553168 edges, 7692 markings/sec, 415 secs
lola: 3192049 markings, 6638739 edges, 7766 markings/sec, 420 secs
lola: 3230172 markings, 6722239 edges, 7625 markings/sec, 425 secs
lola: 3268321 markings, 6809307 edges, 7630 markings/sec, 430 secs
lola: 3307170 markings, 6893710 edges, 7770 markings/sec, 435 secs
lola: 3344886 markings, 6979732 edges, 7543 markings/sec, 440 secs
lola: 3382226 markings, 7063594 edges, 7468 markings/sec, 445 secs
lola: 3420537 markings, 7146706 edges, 7662 markings/sec, 450 secs
lola: 3458532 markings, 7232996 edges, 7599 markings/sec, 455 secs
lola: 3496576 markings, 7318328 edges, 7609 markings/sec, 460 secs
lola: 3535622 markings, 7400395 edges, 7809 markings/sec, 465 secs
lola: 3572558 markings, 7484911 edges, 7387 markings/sec, 470 secs
lola: 3609253 markings, 7569071 edges, 7339 markings/sec, 475 secs
lola: 3645561 markings, 7650529 edges, 7262 markings/sec, 480 secs
lola: 3681901 markings, 7729962 edges, 7268 markings/sec, 485 secs
lola: 3718477 markings, 7811234 edges, 7315 markings/sec, 490 secs
lola: 3755337 markings, 7890951 edges, 7372 markings/sec, 495 secs
lola: 3791034 markings, 7973258 edges, 7139 markings/sec, 500 secs
lola: 3826429 markings, 8055671 edges, 7079 markings/sec, 505 secs
lola: 3861367 markings, 8139240 edges, 6988 markings/sec, 510 secs
lola: 3896659 markings, 8222187 edges, 7058 markings/sec, 515 secs
lola: 3930538 markings, 8310224 edges, 6776 markings/sec, 520 secs
lola: 3965035 markings, 8396771 edges, 6899 markings/sec, 525 secs
lola: 4000288 markings, 8481288 edges, 7051 markings/sec, 530 secs
lola: 4034323 markings, 8572814 edges, 6807 markings/sec, 535 secs
lola: 4070239 markings, 8656866 edges, 7183 markings/sec, 540 secs
lola: 4105890 markings, 8741431 edges, 7130 markings/sec, 545 secs
lola: 4141840 markings, 8827191 edges, 7190 markings/sec, 550 secs
lola: 4177819 markings, 8912472 edges, 7196 markings/sec, 555 secs
lola: 4213062 markings, 8999110 edges, 7049 markings/sec, 560 secs
lola: 4247597 markings, 9088399 edges, 6907 markings/sec, 565 secs
lola: 4281668 markings, 9179092 edges, 6814 markings/sec, 570 secs
lola: 4316938 markings, 9264513 edges, 7054 markings/sec, 575 secs
lola: 4351950 markings, 9351581 edges, 7002 markings/sec, 580 secs
lola: 4387227 markings, 9438956 edges, 7055 markings/sec, 585 secs
lola: 4420485 markings, 9528647 edges, 6652 markings/sec, 590 secs
lola: 4455535 markings, 9615820 edges, 7010 markings/sec, 595 secs
lola: 4490150 markings, 9706363 edges, 6923 markings/sec, 600 secs
lola: 4525877 markings, 9793637 edges, 7145 markings/sec, 605 secs
lola: 4560895 markings, 9880112 edges, 7004 markings/sec, 610 secs
lola: 4595929 markings, 9968676 edges, 7007 markings/sec, 615 secs
lola: 4632531 markings, 10058898 edges, 7320 markings/sec, 620 secs
lola: 4669250 markings, 10149514 edges, 7344 markings/sec, 625 secs
lola: 4706441 markings, 10240151 edges, 7438 markings/sec, 630 secs
lola: 4742916 markings, 10330298 edges, 7295 markings/sec, 635 secs
lola: 4779285 markings, 10420405 edges, 7274 markings/sec, 640 secs
lola: 4814799 markings, 10510647 edges, 7103 markings/sec, 645 secs
lola: 4850792 markings, 10601644 edges, 7199 markings/sec, 650 secs
lola: 4885625 markings, 10693186 edges, 6967 markings/sec, 655 secs
lola: 4920018 markings, 10783378 edges, 6879 markings/sec, 660 secs
lola: 4953488 markings, 10876810 edges, 6694 markings/sec, 665 secs
lola: 4986201 markings, 10976344 edges, 6543 markings/sec, 670 secs
lola: 5019702 markings, 11067638 edges, 6700 markings/sec, 675 secs
lola: 5052088 markings, 11166167 edges, 6477 markings/sec, 680 secs
lola: 5084871 markings, 11260539 edges, 6557 markings/sec, 685 secs
lola: 5117568 markings, 11351578 edges, 6539 markings/sec, 690 secs
lola: 5150284 markings, 11442833 edges, 6543 markings/sec, 695 secs
lola: 5182421 markings, 11536851 edges, 6427 markings/sec, 700 secs
lola: 5213787 markings, 11633898 edges, 6273 markings/sec, 705 secs
lola: 5246868 markings, 11722034 edges, 6616 markings/sec, 710 secs
lola: 5278237 markings, 11811033 edges, 6274 markings/sec, 715 secs
lola: 5308767 markings, 11906792 edges, 6106 markings/sec, 720 secs
lola: 5341596 markings, 12003448 edges, 6566 markings/sec, 725 secs
lola: 5374644 markings, 12099157 edges, 6610 markings/sec, 730 secs
lola: 5406741 markings, 12194683 edges, 6419 markings/sec, 735 secs
lola: 5437058 markings, 12287973 edges, 6063 markings/sec, 740 secs
lola: 5469547 markings, 12380597 edges, 6498 markings/sec, 745 secs
lola: 5499916 markings, 12480785 edges, 6074 markings/sec, 750 secs
lola: 5529493 markings, 12587002 edges, 5915 markings/sec, 755 secs
lola: 5558398 markings, 12694842 edges, 5781 markings/sec, 760 secs
lola: 5587609 markings, 12801572 edges, 5842 markings/sec, 765 secs
lola: 5616449 markings, 12909925 edges, 5768 markings/sec, 770 secs
lola: 5645573 markings, 13015278 edges, 5825 markings/sec, 775 secs
lola: 5673608 markings, 13127094 edges, 5607 markings/sec, 780 secs
lola: 5702638 markings, 13239098 edges, 5806 markings/sec, 785 secs
lola: 5730848 markings, 13352973 edges, 5642 markings/sec, 790 secs
lola: 5758149 markings, 13466251 edges, 5460 markings/sec, 795 secs
lola: 5785831 markings, 13576781 edges, 5536 markings/sec, 800 secs
lola: 5813926 markings, 13683088 edges, 5619 markings/sec, 805 secs
lola: 5840035 markings, 13802341 edges, 5222 markings/sec, 810 secs
lola: 5867096 markings, 13915932 edges, 5412 markings/sec, 815 secs
lola: 5893700 markings, 14030814 edges, 5321 markings/sec, 820 secs
lola: 5919511 markings, 14145224 edges, 5162 markings/sec, 825 secs
lola: 5944245 markings, 14265534 edges, 4947 markings/sec, 830 secs
lola: 5969871 markings, 14383679 edges, 5125 markings/sec, 835 secs
lola: 5996598 markings, 14492962 edges, 5345 markings/sec, 840 secs
lola: 6023678 markings, 14609967 edges, 5416 markings/sec, 845 secs
lola: 6046928 markings, 14727543 edges, 4650 markings/sec, 850 secs
lola: 6068884 markings, 14857775 edges, 4391 markings/sec, 855 secs
lola: 6091249 markings, 14992367 edges, 4473 markings/sec, 860 secs
lola: 6113338 markings, 15127030 edges, 4418 markings/sec, 865 secs
lola: 6149782 markings, 15216916 edges, 7289 markings/sec, 870 secs
lola: 6185468 markings, 15305007 edges, 7137 markings/sec, 875 secs
lola: 6217404 markings, 15402357 edges, 6387 markings/sec, 880 secs
lola: 6248663 markings, 15504698 edges, 6252 markings/sec, 885 secs
lola: 6285222 markings, 15590200 edges, 7312 markings/sec, 890 secs
lola: 6318390 markings, 15684162 edges, 6634 markings/sec, 895 secs
lola: 6347679 markings, 15791836 edges, 5858 markings/sec, 900 secs
lola: 6385017 markings, 15875642 edges, 7468 markings/sec, 905 secs
lola: 6420215 markings, 15965372 edges, 7040 markings/sec, 910 secs
lola: 6450352 markings, 16067678 edges, 6027 markings/sec, 915 secs
lola: 6484188 markings, 16162082 edges, 6767 markings/sec, 920 secs
lola: 6520265 markings, 16249595 edges, 7215 markings/sec, 925 secs
lola: 6551783 markings, 16347213 edges, 6304 markings/sec, 930 secs
lola: 6583491 markings, 16449202 edges, 6342 markings/sec, 935 secs
lola: 6619750 markings, 16534660 edges, 7252 markings/sec, 940 secs
lola: 6654383 markings, 16625847 edges, 6927 markings/sec, 945 secs
lola: 6681645 markings, 16730899 edges, 5452 markings/sec, 950 secs
lola: 6719845 markings, 16815639 edges, 7640 markings/sec, 955 secs
lola: 6755712 markings, 16902288 edges, 7173 markings/sec, 960 secs
lola: 6789758 markings, 16996953 edges, 6809 markings/sec, 965 secs
lola: 6819987 markings, 17104787 edges, 6046 markings/sec, 970 secs
lola: 6856760 markings, 17189381 edges, 7355 markings/sec, 975 secs
lola: 6891067 markings, 17281582 edges, 6861 markings/sec, 980 secs
lola: 6919088 markings, 17390210 edges, 5604 markings/sec, 985 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 1 1 1 1 1 1 unknown unknown unknown
lola: memory consumption: 1155800 KB
lola: time consumption: 1580 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 994 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1383)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 77 markings, 76 edges
lola: ========================================

FORMULA CloudDeployment-PT-7b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1984 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p920)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p920)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 31 markings, 30 edges

FORMULA CloudDeployment-PT-7b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola:
========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p128)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 3539 markings, 4323 edges, 708 markings/sec, 0 secs
lola: 55749 markings, 92217 edges, 10442 markings/sec, 5 secs
lola: 113760 markings, 174606 edges, 11602 markings/sec, 10 secs
lola: 163596 markings, 275751 edges, 9967 markings/sec, 15 secs
lola: 205327 markings, 394090 edges, 8346 markings/sec, 20 secs
lola: 259423 markings, 486398 edges, 10819 markings/sec, 25 secs
lola: 306517 markings, 599134 edges, 9419 markings/sec, 30 secs
lola: 344296 markings, 728670 edges, 7556 markings/sec, 35 secs
lola: 401152 markings, 819579 edges, 11371 markings/sec, 40 secs
lola: 449465 markings, 930973 edges, 9663 markings/sec, 45 secs
lola: 484181 markings, 1065982 edges, 6943 markings/sec, 50 secs
lola: 540837 markings, 1155335 edges, 11331 markings/sec, 55 secs
lola: 592205 markings, 1261046 edges, 10274 markings/sec, 60 secs
lola: 625215 markings, 1402633 edges, 6602 markings/sec, 65 secs
lola: 680947 markings, 1491020 edges, 11146 markings/sec, 70 secs
lola: 734433 markings, 1593435 edges, 10697 markings/sec, 75 secs
lola: 763945 markings, 1739548 edges, 5902 markings/sec, 80 secs
lola: 820457 markings, 1826888 edges, 11302 markings/sec, 85 secs
lola: 876372 markings, 1926553 edges, 11183 markings/sec, 90 secs
lola: 908963 markings, 2062213 edges, 6518 markings/sec, 95 secs
lola: 962056 markings, 2162131 edges, 10619 markings/sec, 100 secs
lola: 1016836 markings, 2260377 edges, 10956 markings/sec, 105 secs
lola: 1053284 markings, 2390663 edges, 7290 markings/sec, 110 secs
lola: 1100499 markings, 2504365 edges, 9443 markings/sec, 115 secs
lola: 1154160 markings, 2601534 edges, 10732 markings/sec, 120 secs
lola: 1198032 markings, 2719378 edges, 8774 markings/sec, 125 secs
lola: 1240477 markings, 2843274 edges, 8489 markings/sec, 130 secs
lola: 1290150 markings, 2948756 edges, 9935 markings/sec, 135 secs
lola: 1335703 markings, 3067633 edges, 9111 markings/sec, 140 secs
lola: 1365177 markings, 3212890 edges, 5895 markings/sec, 145 secs
lola: 1417857 markings, 3307032 edges, 10536 markings/sec, 150 secs
lola: 1464723 markings, 3412016 edges, 9373 markings/sec, 155 secs
lola: 1501708 markings, 3535610 edges, 7397 markings/sec, 160 secs
lola: 1539344 markings, 3662539 edges, 7527 markings/sec, 165 secs
lola: 1588219 markings, 3761275 edges, 9775 markings/sec, 170 secs
lola: 1633155 markings, 3876536 edges, 8987 markings/sec, 175 secs
lola: 1660791 markings, 4029342 edges, 5527 markings/sec, 180 secs
lola: 1716713 markings, 4125022 edges, 11184 markings/sec, 185 secs
lola: 1765912 markings, 4232326 edges, 9840 markings/sec, 190 secs
lola: 1803858 markings, 4362388 edges, 7589 markings/sec, 195 secs
lola: 1844536 markings, 4491974 edges, 8136 markings/sec, 200 secs
lola: 1894287 markings, 4594491 edges, 9950 markings/sec, 205 secs
lola: 1940486 markings, 4710620 edges, 9240 markings/sec, 210 secs
lola: 1968664 markings, 4864312 edges, 5636 markings/sec, 215 secs
lola: 2023060 markings, 4959409 edges, 10879 markings/sec, 220 secs
lola: 2071971 markings, 5067856 edges, 9782 markings/sec, 225 secs
lola: 2107733 markings, 5203408 edges, 7152 markings/sec, 230 secs
lola: 2150586 markings, 5326409 edges, 8571 markings/sec, 235 secs
lola: 2204206 markings, 5421944 edges, 10724 markings/sec, 240 secs
lola: 2249964 markings, 5535702 edges, 9152 markings/sec, 245 secs
lola: 2289132 markings, 5664121 edges, 7834 markings/sec, 250 secs
lola: 2340360 markings, 5766273 edges, 10246 markings/sec, 255 secs
lola: 2386230 markings, 5882879 edges, 9174 markings/sec, 260 secs
lola: 2414696 markings, 6032409 edges, 5693 markings/sec, 265 secs
lola: 2469737 markings, 6129684 edges, 11008 markings/sec, 270 secs
lola: 2517499 markings, 6237064 edges, 9552 markings/sec, 275 secs
lola: 2557213 markings, 6364041 edges, 7943 markings/sec, 280 secs
lola: 2595021 markings, 6495006 edges, 7562 markings/sec, 285 secs
lola: 2644728 markings, 6594487 edges, 9941 markings/sec, 290 secs
lola: 2689293 markings, 6708752 edges, 8913 markings/sec, 295 secs
lola: 2716387 markings, 6858122 edges, 5419 markings/sec, 300 secs
lola: 2771371 markings, 6952334 edges, 10997 markings/sec, 305 secs
lola: 2818879 markings, 7057939 edges, 9502 markings/sec, 310 secs
lola: 2858558 markings, 7183242 edges, 7936 markings/sec, 315 secs
lola: 2894747 markings, 7316026 edges, 7238 markings/sec, 320 secs
lola: 2943727 markings, 7415105 edges, 9796 markings/sec, 325 secs
lola: 2991045 markings, 7524261 edges, 9464 markings/sec, 330 secs
lola: 3017447 markings, 7674570 edges, 5280 markings/sec, 335 secs
lola: 3069931 markings, 7773419 edges, 10497 markings/sec, 340 secs
lola: 3118875 markings, 7876165 edges, 9789 markings/sec, 345 secs
lola: 3159096 markings, 8000417 edges, 8044 markings/sec, 350 secs
lola: 3193541 markings, 8138770 edges, 6889 markings/sec, 355 secs
lola: 3248053 markings, 8227913 edges, 10902 markings/sec, 360 secs
lola: 3295727 markings, 8336842 edges, 9535 markings/sec, 365 secs
lola: 3328818 markings, 8471282 edges, 6618 markings/sec, 370 secs
lola: 3382325 markings, 8566046 edges, 10701 markings/sec, 375 secs
lola: 3428434 markings, 8674435 edges, 9222 markings/sec, 380 secs
lola: 3464676 markings, 8804819 edges, 7248 markings/sec, 385 secs
lola: 3507052 markings, 8927088 edges, 8475 markings/sec, 390 secs
lola: 3555127 markings, 9029479 edges, 9615 markings/sec, 395 secs
lola: 3599371 markings, 9144744 edges, 8849 markings/sec, 400 secs
lola: 3627794 markings, 9292902 edges, 5685 markings/sec, 405 secs
lola: 3682116 markings, 9385517 edges, 10864 markings/sec, 410 secs
lola: 3728919 markings, 9492345 edges, 9361 markings/sec, 415 secs
lola: 3765577 markings, 9621077 edges, 7332 markings/sec, 420 secs
lola: 3806021 markings, 9746544 edges, 8089 markings/sec, 425 secs
lola: 3854764 markings, 9846889 edges, 9749 markings/sec, 430 secs
lola: 3899678 markings, 9961771 edges, 8983 markings/sec, 435 secs
lola: 3925878 markings, 10113549 edges, 5240 markings/sec, 440 secs
lola: 3980826 markings, 10203673 edges, 10990 markings/sec, 445 secs
lola: 4029507 markings, 10307546 edges, 9736 markings/sec, 450 secs
lola: 4066144 markings, 10435496 edges, 7327 markings/sec, 455 secs
lola: 4104527 markings, 10565639 edges, 7677 markings/sec, 460 secs
lola: 4153993 markings, 10665739 edges, 9893 markings/sec, 465 secs
lola: 4201061 markings, 10776226 edges, 9414 markings/sec, 470 secs
lola: 4224883 markings, 10935711 edges, 4764 markings/sec, 475 secs
lola: 4279807 markings, 11021748 edges, 10985 markings/sec, 480 secs
lola: 4333725 markings, 11117991 edges, 10784 markings/sec, 485 secs
lola: 4371179 markings, 11239111 edges, 7491 markings/sec, 490 secs
lola: 4417016 markings, 11355713 edges, 9167 markings/sec, 495 secs
lola: 4464647 markings, 11459060 edges, 9526 markings/sec, 500 secs
lola: 4507723 markings, 11577596 edges, 8615 markings/sec, 505 secs
lola: 4538222 markings, 11721578 edges, 6100 markings/sec, 510 secs
lola: 4591329 markings, 11814310 edges, 10621 markings/sec, 515 secs
lola: 4636472 markings, 11920215 edges, 9029 markings/sec, 520 secs
lola: 4671801 markings, 12051465 edges, 7066 markings/sec, 525 secs
lola: 4714581 markings, 12172737 edges, 8556 markings/sec, 530 secs
lola: 4762582 markings, 12273633 edges, 9600 markings/sec, 535 secs
lola: 4806588 markings, 12389121 edges, 8801 markings/sec, 540 secs
lola: 4834137 markings, 12538801 edges, 5510 markings/sec, 545 secs
lola: 4889090 markings, 12629379 edges, 10991 markings/sec, 550 secs
lola: 4935898 markings, 12735121 edges, 9362 markings/sec, 555 secs
lola: 4972306 markings, 12863986 edges, 7282 markings/sec, 560 secs
lola: 5012352 markings, 12990360 edges, 8009 markings/sec, 565 secs
lola: 5061203 markings, 13088747 edges, 9770 markings/sec, 570 secs
lola: 5106967 markings, 13200541 edges, 9153 markings/sec, 575 secs
lola: 5131047 markings, 13358196 edges, 4816 markings/sec, 580 secs
lola: 5186001 markings, 13448632 edges, 10991 markings/sec, 585 secs
lola: 5236130 markings, 13550790 edges, 10026 markings/sec, 590 secs
lola: 5273357 markings, 13677606 edges, 7445 markings/sec, 595 secs
lola: 5309607 markings, 13810869 edges, 7250 markings/sec, 600 secs
lola: 5364282 markings, 13898790 edges, 10935 markings/sec, 605 secs
lola: 5410629 markings, 14008938 edges, 9269 markings/sec, 610 secs
lola: 5444066 markings, 14143531 edges, 6687 markings/sec, 615 secs
lola: 5497043 markings, 14237311 edges, 10595 markings/sec, 620 secs
lola: 5542776 markings, 14344962 edges, 9147 markings/sec, 625 secs
lola: 5577549 markings, 14477773 edges, 6955 markings/sec, 630 secs
lola: 5621678 markings, 14596656 edges, 8826 markings/sec, 635 secs
lola: 5669298 markings, 14698061 edges, 9524 markings/sec, 640 secs
lola: 5712578 markings, 14813800 edges, 8656 markings/sec, 645 secs
lola: 5740815 markings, 14961831 edges, 5647 markings/sec, 650 secs
lola: 5795276 markings, 15052143 edges, 10892 markings/sec, 655 secs
lola: 5841673 markings, 15157777 edges, 9279 markings/sec, 660 secs
lola: 5877647 markings, 15287034 edges, 7195 markings/sec, 665 secs
lola: 5917818 markings, 15411954 edges, 8034 markings/sec, 670 secs
lola: 5966623 markings, 15510791 edges, 9761 markings/sec, 675 secs
lola: 6011363 markings, 15624570 edges, 8948 markings/sec, 680 secs
lola: 6035845 markings, 15778655 edges, 4896 markings/sec, 685 secs
lola: 6091229 markings, 15866063 edges, 11077 markings/sec, 690 secs
lola: 6140107 markings, 15967876 edges, 9776 markings/sec, 695 secs
lola: 6176972 markings, 16093933 edges, 7373 markings/sec, 700 secs
lola: 6213234 markings, 16226935 edges, 7252 markings/sec, 705 secs
lola: 6262767 markings, 16325097 edges, 9907 markings/sec, 710 secs
lola: 6310771 markings, 16432607 edges, 9601 markings/sec, 715 secs
lola: 6335611 markings, 16584096 edges, 4968 markings/sec, 720 secs
lola: 6386763 markings, 16678933 edges, 10230 markings/sec, 725 secs
lola: 6440452 markings, 16770229 edges, 10738 markings/sec, 730 secs
lola: 6480450 markings, 16889731 edges, 8000 markings/sec, 735 secs
lola: 6522859 markings, 17011613 edges, 8482 markings/sec, 740 secs
lola: 6570896 markings, 17112954 edges, 9607 markings/sec, 745 secs
lola: 6616589 markings, 17226744 edges, 9139 markings/sec, 750 secs
lola: 6644497 markings, 17380609 edges, 5582 markings/sec, 755 secs
lola: 6696823 markings, 17474325 edges, 10465 markings/sec, 760 secs
lola: 6747416 markings, 17576469 edges, 10119 markings/sec, 765 secs
lola: 6783367 markings, 17707610 edges, 7190 markings/sec, 770 secs
lola: 6823974 markings, 17834500 edges, 8121 markings/sec, 775 secs
lola: 6872145 markings, 17934525 edges, 9634 markings/sec, 780 secs
lola: 6918054 markings, 18047136 edges, 9182 markings/sec, 785 secs
lola: 6944446 markings, 18204028 edges, 5278 markings/sec, 790 secs
lola: 6997498 markings, 18296231 edges, 10610 markings/sec, 795 secs
lola: 7048436 markings, 18396370 edges, 10188 markings/sec, 800 secs
lola: 7084812 markings, 18527063 edges, 7275 markings/sec, 805 secs
lola: 7124163 markings, 18656247 edges, 7870 markings/sec, 810 secs
lola: 7172889 markings, 18754870 edges, 9745 markings/sec, 815 secs
lola: 7219079 markings, 18866067 edges, 9238 markings/sec, 820 secs
lola: 7243687 markings, 19026821 edges, 4922 markings/sec, 825 secs
lola: 7298974 markings, 19116001 edges, 11057 markings/sec, 830 secs
lola: 7349834 markings, 19218469 edges, 10172 markings/sec, 835 secs
lola: 7386012 markings, 19351682 edges, 7236 markings/sec, 840 secs
lola: 7425812 markings, 19481711 edges, 7960 markings/sec, 845 secs
lola: 7483402 markings, 19566491 edges, 11518 markings/sec, 850 secs
lola: 7531620 markings, 19673490 edges, 9644 markings/sec, 855 secs
lola: 7577053 markings, 19787514 edges, 9087 markings/sec, 860 secs
lola: 7631073 markings, 19883287 edges, 10804 markings/sec, 865 secs
lola: 7676355 markings, 19999561 edges, 9056 markings/sec, 870 secs
lola: 7717385 markings, 20123188 edges, 8206 markings/sec, 875 secs
lola: 7772620 markings, 20215805 edges, 11047 markings/sec, 880 secs
lola: 7819453 markings, 20329334 edges, 9367 markings/sec, 885 secs
lola: 7857131 markings, 20459627 edges, 7536 markings/sec, 890 secs
lola: 7912550 markings, 20547568 edges, 11084 markings/sec, 895 secs
lola: 7961187 markings, 20654570 edges, 9727 markings/sec, 900 secs
lola: 7992966 markings, 20792114 edges, 6356 markings/sec, 905 secs
lola: 8050298 markings, 20876006 edges, 11466 markings/sec, 910 secs
lola: 8100367 markings, 20979963 edges, 10014 markings/sec, 915 secs
lola: 8129447 markings, 21123088 edges, 5816 markings/sec, 920 secs
lola: 8186176 markings, 21208396 edges, 11346 markings/sec, 925 secs
lola: 8239660 markings, 21304528 edges, 10697 markings/sec, 930 secs
lola: 8272755 markings, 21434945 edges, 6619 markings/sec, 935 secs
lola: 8322860 markings, 21538673 edges, 10021 markings/sec, 940 secs
lola: 8376330 markings, 21632063 edges, 10694 markings/sec, 945 secs
lola: 8415726 markings, 21752865 edges, 7879 markings/sec, 950 secs
lola: 8460271 markings, 21867675 edges, 8909 markings/sec, 955 secs
lola: 8518060 markings, 21953567 edges, 11558 markings/sec, 960 secs
lola: 8563178 markings, 22061787 edges, 9024 markings/sec, 965 secs
lola: 8612018 markings, 22164335 edges, 9768 markings/sec, 970 secs
lola: 8669304 markings, 22246796 edges, 11457 markings/sec, 975 secs
lola: 8719701 markings, 22349920 edges, 10079 markings/sec, 980 secs
lola: 8763775 markings, 22462059 edges, 8815 markings/sec, 985 secs
lola: 8822211 markings, 22545921 edges, 11687 markings/sec, 990 secs
lola: 8867667 markings, 22652273 edges, 9091 markings/sec, 995 secs
lola: 8914278 markings, 22757792 edges, 9322 markings/sec, 1000 secs
lola: 8973244 markings, 22839341 edges, 11793 markings/sec, 1005 secs
lola: 9024998 markings, 22940835 edges, 10351 markings/sec, 1010 secs
lola: 9064251 markings, 23058628 edges, 7851 markings/sec, 1015 secs
lola: 9119330 markings, 23142712 edges, 11016 markings/sec, 1020 secs
lola: 9175717 markings, 23227658 edges, 11277 markings/sec, 1025 secs
lola: 9230535 markings, 23313648 edges, 10964 markings/sec, 1030 secs
lola: 9289514 markings, 23397601 edges, 11796 markings/sec, 1035 secs
lola: 9348861 markings, 23479101 edges, 11869 markings/sec, 1040 secs
lola: 9405850 markings, 23562658 edges, 11398 markings/sec, 1045 secs
lola: 9464638 markings, 23646488 edges, 11758 markings/sec, 1050 secs
lola: 9523859 markings, 23728825 edges, 11844 markings/sec, 1055 secs
lola: 9582560 markings, 23812939 edges, 11740 markings/sec, 1060 secs
lola: 9643805 markings, 23894319 edges, 12249 markings/sec, 1065 secs
lola: 9701522 markings, 23985768 edges, 11543 markings/sec, 1070 secs
lola: 9737454 markings, 24112829 edges, 7186 markings/sec, 1075 secs
lola: 9798365 markings, 24194842 edges, 12182 markings/sec, 1080 secs
lola: 9860525 markings, 24280257 edges, 12432 markings/sec, 1085 secs
lola: 9920201 markings, 24364332 edges, 11935 markings/sec, 1090 secs
lola: 9979693 markings, 24448394 edges, 11898 markings/sec, 1095 secs
lola: 10040911 markings, 24532570 edges, 12244 markings/sec, 1100 secs
lola: 10103299 markings, 24617532 edges, 12478 markings/sec, 1105 secs
lola: 10162917 markings, 24705027 edges, 11924 markings/sec, 1110 secs
lola: 10220186 markings, 24790583 edges, 11454 markings/sec, 1115 secs
lola: 10279572 markings, 24874356 edges, 11877 markings/sec, 1120 secs
lola: 10338813 markings, 24959427 edges, 11848 markings/sec, 1125 secs
lola: 10400010 markings, 25043781 edges, 12239 markings/sec, 1130 secs
lola: 10460031 markings, 25128059 edges, 12004 markings/sec, 1135 secs
lola: 10520409 markings, 25212938 edges, 12076 markings/sec, 1140 secs
lola: 10579636 markings, 25299011 edges, 11845 markings/sec, 1145 secs
lola: 10639565 markings, 25385622 edges, 11986 markings/sec, 1150 secs
lola: 10698379 markings, 25471189 edges, 11763 markings/sec, 1155 secs
lola: 10757061 markings, 25554183 edges, 11736 markings/sec, 1160 secs
lola: 10815924 markings, 25640114 edges, 11773 markings/sec, 1165 secs
lola: 10876923 markings, 25727144 edges, 12200 markings/sec, 1170 secs
lola: 10937314 markings, 25813519 edges, 12078 markings/sec, 1175 secs
lola: 10996752 markings, 25897904 edges, 11888 markings/sec, 1180 secs
lola: 11056767 markings, 25984813 edges, 12003 markings/sec, 1185 secs
lola: 11116154 markings, 26069790 edges, 11877 markings/sec, 1190 secs
lola: 11175290 markings, 26156191 edges, 11827 markings/sec, 1195 secs
lola: 11235074 markings, 26243544 edges, 11957 markings/sec, 1200 secs
lola: 11294531 markings, 26331033 edges, 11891 markings/sec, 1205 secs
lola: 11352832 markings, 26414610 edges, 11660 markings/sec, 1210 secs
lola: 11411822 markings, 26495023 edges, 11798 markings/sec, 1215 secs
lola: 11460662 markings, 26597499 edges, 9768 markings/sec, 1220 secs
lola: 11503338 markings, 26713187 edges, 8535 markings/sec, 1225 secs
lola: 11562000 markings, 26800001 edges, 11732 markings/sec, 1230 secs
lola: 11619924 markings, 26886774 edges, 11585 markings/sec, 1235 secs
lola: 11678918 markings, 26976876 edges, 11799 markings/sec, 1240 secs
lola: 11736861 markings, 27065334 edges, 11589 markings/sec, 1245 secs
lola: 11794942 markings, 27155763 edges, 11616 markings/sec, 1250 secs
lola: 11852093 markings, 27244701 edges, 11430 markings/sec, 1255 secs
lola: 11909696 markings, 27336720 edges, 11521 markings/sec, 1260 secs
lola: 11964194 markings, 27428721 edges, 10900 markings/sec, 1265 secs
lola: 12018958 markings, 27520497 edges, 10953 markings/sec, 1270 secs
lola: 12076961 markings, 27613327 edges, 11601 markings/sec, 1275 secs
lola: 12132454 markings, 27708338 edges, 11099 markings/sec, 1280 secs
lola: 12186689 markings, 27800676 edges, 10847 markings/sec, 1285 secs
lola: 12240343 markings, 27893451 edges, 10731 markings/sec, 1290 secs
lola: 12295988 markings, 27991048 edges, 11129 markings/sec, 1295 secs
lola: 12353346 markings, 28089909 edges, 11472 markings/sec, 1300 secs
lola: 12410287 markings, 28188925 edges, 11388 markings/sec, 1305 secs
lola: 12462715 markings, 28284520 edges, 10486 markings/sec, 1310 secs
lola: 12515662 markings, 28379269 edges, 10589 markings/sec, 1315 secs
lola: 12569164 markings, 28476154 edges, 10700 markings/sec, 1320 secs
lola: 12621663 markings, 28573961 edges, 10500 markings/sec, 1325 secs
lola: 12675618 markings, 28671224 edges, 10791 markings/sec, 1330 secs
lola: 12729310 markings, 28773120 edges, 10738 markings/sec, 1335 secs
lola: 12781671 markings, 28871686 edges, 10472 markings/sec, 1340 secs
lola: 12835668 markings, 28971771 edges, 10799 markings/sec, 1345 secs
lola: 12886876 markings, 29068210 edges, 10242 markings/sec, 1350 secs
lola: 12939479 markings, 29167745 edges, 10521 markings/sec, 1355 secs
lola: 12992247 markings, 29269563 edges, 10554 markings/sec, 1360 secs
lola: 13045677 markings, 29371942 edges, 10686 markings/sec, 1365 secs
lola: 13095485 markings, 29472263 edges, 9962 markings/sec, 1370 secs
lola: 13147253 markings, 29573154 edges, 10354 markings/sec, 1375 secs
lola: 13197277 markings, 29674318 edges, 10005 markings/sec, 1380 secs
lola: 13247939 markings, 29774722 edges, 10132 markings/sec, 1385 secs
lola: 13300587 markings, 29879632 edges, 10530 markings/sec, 1390 secs
lola: 13350722 markings, 29982900 edges, 10027 markings/sec, 1395 secs
lola: 13399633 markings, 30086998 edges, 9782 markings/sec, 1400 secs
lola: 13449727 markings, 30192628 edges, 10019 markings/sec, 1405 secs
lola: 13499720 markings, 30299123 edges, 9999 markings/sec, 1410 secs
lola: 13551205 markings, 30405199 edges, 10297 markings/sec, 1415 secs
lola: 13599972 markings, 30510965 edges, 9753 markings/sec, 1420 secs
lola: 13647973 markings, 30616551 edges, 9600 markings/sec, 1425 secs
lola: 13697434 markings, 30722343 edges, 9892 markings/sec, 1430 secs
lola: 13745083 markings, 30830382 edges, 9530 markings/sec, 1435 secs
lola: 13791524 markings, 30939454 edges, 9288 markings/sec, 1440 secs
lola: 13835017 markings, 31048709 edges, 8699 markings/sec, 1445 secs
lola: 13880207 markings, 31155712 edges, 9038 markings/sec, 1450 secs
lola: 13922957 markings, 31265451 edges, 8550 markings/sec, 1455 secs
lola: 13968254 markings, 31372341 edges, 9059 markings/sec, 1460 secs
lola: 14012625 markings, 31480527 edges, 8874 markings/sec, 1465 secs
lola: 14055529 markings, 31592142 edges, 8581 markings/sec, 1470 secs
lola: 14100381 markings, 31698019 edges, 8970 markings/sec, 1475 secs
lola: 14138687 markings, 31805506 edges, 7661 markings/sec, 1480 secs
lola: 14179220 markings, 31913875 edges, 8107 markings/sec, 1485 secs
lola: 14218451 markings, 32025064 edges, 7846 markings/sec, 1490 secs
lola: 14259727 markings, 32142235 edges, 8255 markings/sec, 1495 secs
lola: 14299471 markings, 32260816 edges, 7949 markings/sec, 1500 secs
lola: 14337645 markings, 32382756 edges, 7635 markings/sec, 1505 secs
lola: 14371354 markings, 32514127 edges, 6742 markings/sec, 1510 secs
lola: 14402128 markings, 32647497 edges, 6155 markings/sec, 1515 secs
lola: 14432651 markings, 32784353 edges, 6105 markings/sec, 1520 secs
lola: 14459799 markings, 32925178 edges, 5430 markings/sec, 1525 secs
lola: 14487083 markings, 33063856 edges, 5457 markings/sec, 1530 secs
lola: 14512977 markings, 33211012 edges, 5179 markings/sec, 1535 secs
lola: 14536932 markings, 33363739 edges, 4791 markings/sec, 1540 secs
lola: 14559878 markings, 33517319 edges, 4589 markings/sec, 1545 secs
lola: 14582359 markings, 33670722 edges, 4496 markings/sec, 1550 secs
lola: 14604126 markings, 33829940 edges, 4353 markings/sec, 1555 secs
lola: 14624319 markings, 33992399 edges, 4039 markings/sec, 1560 secs
lola: 14643963 markings, 34158736 edges, 3929 markings/sec, 1565 secs
lola: 14661230 markings, 34332917 edges, 3453 markings/sec, 1570 secs
lola: 14677995 markings, 34510061 edges, 3353 markings/sec, 1575 secs
lola: 14694392 markings, 34692534 edges, 3279 markings/sec, 1580 secs
lola: 14710112 markings, 34879538 edges, 3144 markings/sec, 1585 secs
lola: 14726381 markings, 35065748 edges, 3254 markings/sec, 1590 secs
lola: 14741713 markings, 35256794 edges, 3066 markings/sec, 1595 secs
lola: 14756994 markings, 35448934 edges, 3056 markings/sec, 1600 secs
lola: 14772067 markings, 35641775 edges, 3015 markings/sec, 1605 secs
lola: 14786563 markings, 35837966 edges, 2899 markings/sec, 1610 secs
lola: 14800428 markings, 36036166 edges, 2773 markings/sec, 1615 secs
lola: 14813792 markings, 36238406 edges, 2673 markings/sec, 1620 secs
lola: 14827252 markings, 36440091 edges, 2692 markings/sec, 1625 secs
lola: 14871254 markings, 36560050 edges, 8800 markings/sec, 1630 secs
lola: 14926658 markings, 36653819 edges, 11081 markings/sec, 1635 secs
lola: 14972543 markings, 36768527 edges, 9177 markings/sec, 1640 secs
lola: 15013845 markings, 36893793 edges, 8260 markings/sec, 1645 secs
lola: 15068500 markings, 36988087 edges, 10931 markings/sec, 1650 secs
lola: 15116169 markings, 37098637 edges, 9534 markings/sec, 1655 secs
lola: 15152350 markings, 37229980 edges, 7236 markings/sec, 1660 secs
lola: 15208292 markings, 37323565 edges, 11188 markings/sec, 1665 secs
lola: 15263947 markings, 37417450 edges, 11131 markings/sec, 1670 secs
lola: 15319082 markings, 37510664 edges, 11027 markings/sec, 1675 secs
lola: 15368224 markings, 37619388 edges, 9828 markings/sec, 1680 secs
lola: 15403781 markings, 37753517 edges, 7111 markings/sec, 1685 secs
lola: 15460973 markings, 37844454 edges, 11438 markings/sec, 1690 secs
lola: 15511332 markings, 37951717 edges, 10072 markings/sec, 1695 secs
lola: 15545105 markings, 38090916 edges, 6755 markings/sec, 1700 secs
lola: 15597583 markings, 38187589 edges, 10496 markings/sec, 1705 secs
lola: 15654189 markings, 38279468 edges, 11321 markings/sec, 1710 secs
lola: 15714287 markings, 38369112 edges, 12020 markings/sec, 1715 secs
lola: 15768910 markings, 38471472 edges, 10925 markings/sec, 1720 secs
lola: 15802622 markings, 38603452 edges, 6742 markings/sec, 1725 secs
lola: 15855745 markings, 38702680 edges, 10625 markings/sec, 1730 secs
lola: 15912216 markings, 38795423 edges, 11294 markings/sec, 1735 secs
lola: 15969287 markings, 38888190 edges, 11414 markings/sec, 1740 secs
lola: 16028668 markings, 38981556 edges, 11876 markings/sec, 1745 secs
lola: 16088775 markings, 39075963 edges, 12021 markings/sec, 1750 secs
lola: 16149175 markings, 39167567 edges, 12080 markings/sec, 1755 secs
lola: 16209367 markings, 39258872 edges, 12038 markings/sec, 1760 secs
lola: 16267551 markings, 39348626 edges, 11637 markings/sec, 1765 secs
lola: 16318295 markings, 39452235 edges, 10149 markings/sec, 1770 secs
lola: 16351598 markings, 39591050 edges, 6661 markings/sec, 1775 secs
lola: 16410345 markings, 39684088 edges, 11749 markings/sec, 1780 secs
lola: 16470198 markings, 39775084 edges, 11971 markings/sec, 1785 secs
lola: 16529716 markings, 39866829 edges, 11904 markings/sec, 1790 secs
lola: 16586007 markings, 39961198 edges, 11258 markings/sec, 1795 secs
lola: 16644823 markings, 40052538 edges, 11763 markings/sec, 1800 secs
lola: 16702169 markings, 40144129 edges, 11469 markings/sec, 1805 secs
lola: 16760683 markings, 40234910 edges, 11703 markings/sec, 1810 secs
lola: 16819676 markings, 40326603 edges, 11799 markings/sec, 1815 secs
lola: 16879564 markings, 40420376 edges, 11978 markings/sec, 1820 secs
lola: 16936927 markings, 40514211 edges, 11473 markings/sec, 1825 secs
lola: 16994715 markings, 40608729 edges, 11558 markings/sec, 1830 secs
lola: 17052238 markings, 40703111 edges, 11505 markings/sec, 1835 secs
lola: 17108847 markings, 40799393 edges, 11322 markings/sec, 1840 secs
lola: 17167516 markings, 40892953 edges, 11734 markings/sec, 1845 secs
lola: 17224105 markings, 40990036 edges, 11318 markings/sec, 1850 secs
lola: 17279748 markings, 41083369 edges, 11129 markings/sec, 1855 secs
lola: 17334980 markings, 41175004 edges, 11046 markings/sec, 1860 secs
lola: 17385311 markings, 41256605 edges, 10066 markings/sec, 1865 secs
lola: 17437215 markings, 41342034 edges, 10381 markings/sec, 1870 secs
lola: 17494326 markings, 41434945 edges, 11422 markings/sec, 1875 secs
lola: 17549906 markings, 41529662 edges, 11116 markings/sec, 1880 secs
lola: 17607661 markings, 41624024 edges, 11551 markings/sec, 1885 secs
lola: 17662093 markings, 41718134 edges, 10886 markings/sec, 1890 secs
lola: 17718557 markings, 41811866 edges, 11293 markings/sec, 1895 secs
lola: 17774664 markings, 41905208 edges, 11221 markings/sec, 1900 secs
lola: 17831243 markings, 42000112 edges, 11316 markings/sec, 1905 secs
lola: 17887017 markings, 42097380 edges, 11155 markings/sec, 1910 secs
lola: 17942958 markings, 42193066 edges, 11188 markings/sec, 1915 secs
lola: 17999022 markings, 42289626 edges, 11213 markings/sec, 1920 secs
lola: 18054484 markings, 42384368 edges, 11092 markings/sec, 1925 secs
lola: 18110403 markings, 42480321 edges, 11184 markings/sec, 1930 secs
lola: 18167043 markings, 42577839 edges, 11328 markings/sec, 1935 secs
lola: 18221496 markings, 42675747 edges, 10891 markings/sec, 1940 secs
lola: 18273445 markings, 42773704 edges, 10390 markings/sec, 1945 secs
lola: 18327643 markings, 42869751 edges, 10840 markings/sec, 1950 secs
lola: 18380966 markings, 42970704 edges, 10665 markings/sec, 1955 secs
lola: 18435585 markings, 43069273 edges, 10924 markings/sec, 1960 secs
lola: 18488003 markings, 43167758 edges, 10484 markings/sec, 1965 secs
lola: 18540788 markings, 43269119 edges, 10557 markings/sec, 1970 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 1 1 1 1 1 1 unknown 1 1
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 1 1 1 1 1 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 1 1 1 1 1 1 unknown 1 1
lola: memory consumption: 2911952 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 1 1 1 1 1 1 unknown 1 1
lola: memory consumption: 2912196 KB
lola: time consumption: 3569 seconds

BK_STOP 1526637348579

--------------------
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="CloudDeployment-PT-7b"
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/CloudDeployment-PT-7b.tgz
mv CloudDeployment-PT-7b 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 CloudDeployment-PT-7b, 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 r040-smll-152646357400268"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;