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 1.6M
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 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.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 1.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-5b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400240
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526608444078

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-5b 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-5b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-5b @ 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: 4657/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: Size of bit vector: 1525
lola: finding significant places
lola: 1525 places, 3132 transitions, 1504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2183 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5b-UpperBounds.task
lola: MAX(p1244) : MAX(p735) : MAX(p386) : MAX(p1084) : MAX(p6) : MAX(p1313) : MAX(p367) : MAX(p487) : MAX(p1262) : MAX(p1193) : MAX(p1483) : MAX(p176) : MAX(p389) : MAX(p399) : MAX(p1385) : MAX(p800)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1244)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1244)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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
lola: ========================================

FORMULA CloudDeployment-PT-5b-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(p735)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p735)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 91 markings, 90 edges
lola: ========================================

FORMULA CloudDeployment-PT-5b-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(p386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p386)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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 CloudDeployment-PT-5b-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(p1084)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1084)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 247 markings, 251 edges
lola: ========================================

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

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

FORMULA CloudDeployment-PT-5b-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(p367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p367)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 27 markings, 26 edges
lola: ========================================

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

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

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

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

FORMULA CloudDeployment-PT-5b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 68090 markings, 150836 edges, 13618 markings/sec, 0 secs
lola: 140759 markings, 327932 edges, 14534 markings/sec, 5 secs
lola: 214566 markings, 498299 edges, 14761 markings/sec, 10 secs
lola: 310346 markings, 639667 edges, 19156 markings/sec, 15 secs
lola: 383340 markings, 829482 edges, 14599 markings/sec, 20 secs
lola: 472537 markings, 990526 edges, 17839 markings/sec, 25 secs
lola: 540596 markings, 1188380 edges, 13612 markings/sec, 30 secs
lola: 626768 markings, 1352138 edges, 17234 markings/sec, 35 secs
lola: 696285 markings, 1547035 edges, 13903 markings/sec, 40 secs
lola: 777759 markings, 1717709 edges, 16295 markings/sec, 45 secs
lola: 852849 markings, 1904242 edges, 15018 markings/sec, 50 secs
lola: 926884 markings, 2088640 edges, 14807 markings/sec, 55 secs
lola: 1007518 markings, 2263438 edges, 16127 markings/sec, 60 secs
lola: 1074169 markings, 2465089 edges, 13330 markings/sec, 65 secs
lola: 1162305 markings, 2623517 edges, 17627 markings/sec, 70 secs
lola: 1224424 markings, 2839710 edges, 12424 markings/sec, 75 secs
lola: 1313964 markings, 2995281 edges, 17908 markings/sec, 80 secs
lola: 1379936 markings, 3203773 edges, 13194 markings/sec, 85 secs
lola: 1464178 markings, 3374126 edges, 16848 markings/sec, 90 secs
lola: 1522116 markings, 3598560 edges, 11588 markings/sec, 95 secs
lola: 1607110 markings, 3763602 edges, 16999 markings/sec, 100 secs
lola: 1663970 markings, 3989863 edges, 11372 markings/sec, 105 secs
lola: 1749252 markings, 4153577 edges, 17056 markings/sec, 110 secs
lola: 1806722 markings, 4375912 edges, 11494 markings/sec, 115 secs
lola: 1891054 markings, 4542584 edges, 16866 markings/sec, 120 secs
lola: 1951717 markings, 4757972 edges, 12133 markings/sec, 125 secs
lola: 2032799 markings, 4933693 edges, 16216 markings/sec, 130 secs
lola: 2096543 markings, 5139937 edges, 12749 markings/sec, 135 secs
lola: 2173507 markings, 5325138 edges, 15393 markings/sec, 140 secs
lola: 2241147 markings, 5525742 edges, 13528 markings/sec, 145 secs
lola: 2317007 markings, 5710831 edges, 15172 markings/sec, 150 secs
lola: 2390300 markings, 5899398 edges, 14659 markings/sec, 155 secs
lola: 2468731 markings, 6081427 edges, 15686 markings/sec, 160 secs
lola: 2535313 markings, 6280125 edges, 13316 markings/sec, 165 secs
lola: 2609406 markings, 6469620 edges, 14819 markings/sec, 170 secs
lola: 2679256 markings, 6662877 edges, 13970 markings/sec, 175 secs
lola: 2748660 markings, 6859791 edges, 13881 markings/sec, 180 secs
lola: 2822786 markings, 7045743 edges, 14825 markings/sec, 185 secs
lola: 2890042 markings, 7246905 edges, 13451 markings/sec, 190 secs
lola: 2965997 markings, 7428544 edges, 15191 markings/sec, 195 secs
lola: 3027575 markings, 7637947 edges, 12316 markings/sec, 200 secs
lola: 3107860 markings, 7813112 edges, 16057 markings/sec, 205 secs
lola: 3167872 markings, 8026529 edges, 12002 markings/sec, 210 secs
lola: 3249213 markings, 8199075 edges, 16268 markings/sec, 215 secs
lola: 3307415 markings, 8416068 edges, 11640 markings/sec, 220 secs
lola: 3397032 markings, 8575327 edges, 17923 markings/sec, 225 secs
lola: 3462026 markings, 8781329 edges, 12999 markings/sec, 230 secs
lola: 3543770 markings, 8955852 edges, 16349 markings/sec, 235 secs
lola: 3603330 markings, 9173256 edges, 11912 markings/sec, 240 secs
lola: 3687320 markings, 9342140 edges, 16798 markings/sec, 245 secs
lola: 3743527 markings, 9565072 edges, 11241 markings/sec, 250 secs
lola: 3829030 markings, 9728065 edges, 17101 markings/sec, 255 secs
lola: 3880330 markings, 9953611 edges, 10260 markings/sec, 260 secs
lola: 3967398 markings, 10111795 edges, 17414 markings/sec, 265 secs
lola: 4020178 markings, 10340796 edges, 10556 markings/sec, 270 secs
lola: 4107147 markings, 10498859 edges, 17394 markings/sec, 275 secs
lola: 4159631 markings, 10731114 edges, 10497 markings/sec, 280 secs
lola: 4248303 markings, 10888237 edges, 17734 markings/sec, 285 secs
lola: 4303856 markings, 11109675 edges, 11111 markings/sec, 290 secs
lola: 4391128 markings, 11268240 edges, 17454 markings/sec, 295 secs
lola: 4453498 markings, 11482055 edges, 12474 markings/sec, 300 secs
lola: 4539787 markings, 11641852 edges, 17258 markings/sec, 305 secs
lola: 4598011 markings, 11859284 edges, 11645 markings/sec, 310 secs
lola: 4680514 markings, 12028053 edges, 16501 markings/sec, 315 secs
lola: 4742424 markings, 12233001 edges, 12382 markings/sec, 320 secs
lola: 4817858 markings, 12414905 edges, 15087 markings/sec, 325 secs
lola: 4886503 markings, 12605794 edges, 13729 markings/sec, 330 secs
lola: 4956646 markings, 12797270 edges, 14029 markings/sec, 335 secs
lola: 5028820 markings, 12981506 edges, 14435 markings/sec, 340 secs
lola: 5092576 markings, 13183863 edges, 12751 markings/sec, 345 secs
lola: 5170200 markings, 13359687 edges, 15525 markings/sec, 350 secs
lola: 5230319 markings, 13568633 edges, 12024 markings/sec, 355 secs
lola: 5310669 markings, 13740574 edges, 16070 markings/sec, 360 secs
lola: 5367949 markings, 13955030 edges, 11456 markings/sec, 365 secs
lola: 5456179 markings, 14111637 edges, 17646 markings/sec, 370 secs
lola: 5519297 markings, 14315236 edges, 12624 markings/sec, 375 secs
lola: 5600582 markings, 14484849 edges, 16257 markings/sec, 380 secs
lola: 5656940 markings, 14701913 edges, 11272 markings/sec, 385 secs
lola: 5741290 markings, 14864470 edges, 16870 markings/sec, 390 secs
lola: 5781638 markings, 15064353 edges, 8070 markings/sec, 395 secs
lola: 5867221 markings, 15219786 edges, 17117 markings/sec, 400 secs
lola: 5921587 markings, 15441045 edges, 10873 markings/sec, 405 secs
lola: 6005261 markings, 15601530 edges, 16735 markings/sec, 410 secs
lola: 6065555 markings, 15808037 edges, 12059 markings/sec, 415 secs
lola: 6141018 markings, 15987106 edges, 15093 markings/sec, 420 secs
lola: 6209069 markings, 16178295 edges, 13610 markings/sec, 425 secs
lola: 6278928 markings, 16371672 edges, 13972 markings/sec, 430 secs
lola: 6351437 markings, 16553830 edges, 14502 markings/sec, 435 secs
lola: 6417017 markings, 16753526 edges, 13116 markings/sec, 440 secs
lola: 6498809 markings, 16924138 edges, 16358 markings/sec, 445 secs
lola: 6568397 markings, 17119809 edges, 13918 markings/sec, 450 secs
lola: 6642597 markings, 17302679 edges, 14840 markings/sec, 455 secs
lola: 6708060 markings, 17505860 edges, 13093 markings/sec, 460 secs
lola: 6784784 markings, 17684095 edges, 15345 markings/sec, 465 secs
lola: 6846109 markings, 17895035 edges, 12265 markings/sec, 470 secs
lola: 6927613 markings, 18066291 edges, 16301 markings/sec, 475 secs
lola: 6985626 markings, 18283852 edges, 11603 markings/sec, 480 secs
lola: 7069754 markings, 18452217 edges, 16826 markings/sec, 485 secs
lola: 7125790 markings, 18676728 edges, 11207 markings/sec, 490 secs
lola: 7212903 markings, 18841587 edges, 17423 markings/sec, 495 secs
lola: 7266331 markings, 19071004 edges, 10686 markings/sec, 500 secs
lola: 7354465 markings, 19231125 edges, 17627 markings/sec, 505 secs
lola: 7404515 markings, 19465372 edges, 10010 markings/sec, 510 secs
lola: 7490556 markings, 19624004 edges, 17208 markings/sec, 515 secs
lola: 7562974 markings, 19816524 edges, 14484 markings/sec, 520 secs
lola: 7642549 markings, 19998219 edges, 15915 markings/sec, 525 secs
lola: 7708310 markings, 20201561 edges, 13152 markings/sec, 530 secs
lola: 7784315 markings, 20388447 edges, 15201 markings/sec, 535 secs
lola: 7853178 markings, 20584494 edges, 13773 markings/sec, 540 secs
lola: 7924897 markings, 20777958 edges, 14344 markings/sec, 545 secs
lola: 7997175 markings, 20967889 edges, 14456 markings/sec, 550 secs
lola: 8066183 markings, 21167334 edges, 13802 markings/sec, 555 secs
lola: 8140457 markings, 21353240 edges, 14855 markings/sec, 560 secs
lola: 8206180 markings, 21557309 edges, 13145 markings/sec, 565 secs
lola: 8282872 markings, 21739960 edges, 15338 markings/sec, 570 secs
lola: 8346857 markings, 21947595 edges, 12797 markings/sec, 575 secs
lola: 8425754 markings, 22127198 edges, 15779 markings/sec, 580 secs
lola: 8487308 markings, 22342726 edges, 12311 markings/sec, 585 secs
lola: 8566366 markings, 22522766 edges, 15812 markings/sec, 590 secs
lola: 8627870 markings, 22738394 edges, 12301 markings/sec, 595 secs
lola: 8703506 markings, 22926277 edges, 15127 markings/sec, 600 secs
lola: 8754562 markings, 23162461 edges, 10211 markings/sec, 605 secs
lola: 8832345 markings, 23340651 edges, 15557 markings/sec, 610 secs
lola: 8894133 markings, 23552474 edges, 12358 markings/sec, 615 secs
lola: 8956122 markings, 23741877 edges, 12398 markings/sec, 620 secs
lola: 9023310 markings, 23920311 edges, 13438 markings/sec, 625 secs
lola: 9078821 markings, 24143230 edges, 11102 markings/sec, 630 secs
lola: 9154633 markings, 24326041 edges, 15162 markings/sec, 635 secs
lola: 9202727 markings, 24564172 edges, 9619 markings/sec, 640 secs
lola: 9282091 markings, 24738413 edges, 15873 markings/sec, 645 secs
lola: 9345418 markings, 24946326 edges, 12665 markings/sec, 650 secs
lola: 9412123 markings, 25150960 edges, 13341 markings/sec, 655 secs
lola: 9482067 markings, 25347737 edges, 13989 markings/sec, 660 secs
lola: 9539353 markings, 25569373 edges, 11457 markings/sec, 665 secs
lola: 9618241 markings, 25744230 edges, 15778 markings/sec, 670 secs
lola: 9679166 markings, 25963068 edges, 12185 markings/sec, 675 secs
lola: 9754801 markings, 26147163 edges, 15127 markings/sec, 680 secs
lola: 9805883 markings, 26385374 edges, 10216 markings/sec, 685 secs
lola: 9884224 markings, 26564270 edges, 15668 markings/sec, 690 secs
lola: 9948538 markings, 26773146 edges, 12863 markings/sec, 695 secs
lola: 10013982 markings, 26981312 edges, 13089 markings/sec, 700 secs
lola: 10085715 markings, 27176469 edges, 14347 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 557268 KB
lola: time consumption: 719 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p389)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 103440 markings, 134246 edges, 20688 markings/sec, 0 secs
lola: 195113 markings, 320174 edges, 18335 markings/sec, 5 secs
lola: 298404 markings, 486509 edges, 20658 markings/sec, 10 secs
lola: 403985 markings, 657472 edges, 21116 markings/sec, 15 secs
lola: 503905 markings, 837631 edges, 19984 markings/sec, 20 secs
lola: 614796 markings, 997845 edges, 22178 markings/sec, 25 secs
lola: 712041 markings, 1180676 edges, 19449 markings/sec, 30 secs
lola: 824284 markings, 1348894 edges, 22449 markings/sec, 35 secs
lola: 922146 markings, 1529875 edges, 19572 markings/sec, 40 secs
lola: 1026102 markings, 1708583 edges, 20791 markings/sec, 45 secs
lola: 1137954 markings, 1892283 edges, 22370 markings/sec, 50 secs
lola: 1244225 markings, 2083706 edges, 21254 markings/sec, 55 secs
lola: 1349958 markings, 2264291 edges, 21147 markings/sec, 60 secs
lola: 1466455 markings, 2426968 edges, 23299 markings/sec, 65 secs
lola: 1579981 markings, 2589881 edges, 22705 markings/sec, 70 secs
lola: 1702962 markings, 2753606 edges, 24596 markings/sec, 75 secs
lola: 1828038 markings, 2916078 edges, 25015 markings/sec, 80 secs
lola: 1950516 markings, 3074956 edges, 24496 markings/sec, 85 secs
lola: 2075709 markings, 3236389 edges, 25039 markings/sec, 90 secs
lola: 2203374 markings, 3399446 edges, 25533 markings/sec, 95 secs
lola: 2327896 markings, 3563638 edges, 24904 markings/sec, 100 secs
lola: 2455326 markings, 3731813 edges, 25486 markings/sec, 105 secs
lola: 2585040 markings, 3903836 edges, 25943 markings/sec, 110 secs
lola: 2714407 markings, 4078527 edges, 25873 markings/sec, 115 secs
lola: 2841012 markings, 4249989 edges, 25321 markings/sec, 120 secs
lola: 2961523 markings, 4421797 edges, 24102 markings/sec, 125 secs
lola: 3080450 markings, 4593731 edges, 23785 markings/sec, 130 secs
lola: 3196087 markings, 4766235 edges, 23127 markings/sec, 135 secs
lola: 3309533 markings, 4941818 edges, 22689 markings/sec, 140 secs
lola: 3428834 markings, 5126971 edges, 23860 markings/sec, 145 secs
lola: 3536383 markings, 5309479 edges, 21510 markings/sec, 150 secs
lola: 3643022 markings, 5494247 edges, 21328 markings/sec, 155 secs
lola: 3752206 markings, 5683201 edges, 21837 markings/sec, 160 secs
lola: 3868067 markings, 5876115 edges, 23172 markings/sec, 165 secs
lola: 3965574 markings, 6072334 edges, 19501 markings/sec, 170 secs
lola: 4066798 markings, 6274165 edges, 20245 markings/sec, 175 secs
lola: 4166221 markings, 6471617 edges, 19885 markings/sec, 180 secs
lola: 4265146 markings, 6668549 edges, 19785 markings/sec, 185 secs
lola: 4358653 markings, 6865904 edges, 18701 markings/sec, 190 secs
lola: 4441874 markings, 7069230 edges, 16644 markings/sec, 195 secs
lola: 4507586 markings, 7267589 edges, 13142 markings/sec, 200 secs
lola: 4564825 markings, 7475607 edges, 11448 markings/sec, 205 secs
lola: 4616558 markings, 7701504 edges, 10347 markings/sec, 210 secs
lola: 4662660 markings, 7943442 edges, 9220 markings/sec, 215 secs
lola: 4705437 markings, 8183511 edges, 8555 markings/sec, 220 secs
lola: 4749347 markings, 8427638 edges, 8782 markings/sec, 225 secs
lola: 4789333 markings, 8684944 edges, 7997 markings/sec, 230 secs
lola: 4826720 markings, 8960669 edges, 7477 markings/sec, 235 secs
lola: 4863515 markings, 9249296 edges, 7359 markings/sec, 240 secs
lola: 4909902 markings, 9535561 edges, 9277 markings/sec, 245 secs
lola: 4969545 markings, 9824657 edges, 11929 markings/sec, 250 secs
lola: 5067228 markings, 10029705 edges, 19537 markings/sec, 255 secs
lola: 5157237 markings, 10235862 edges, 18002 markings/sec, 260 secs
lola: 5249966 markings, 10434514 edges, 18546 markings/sec, 265 secs
lola: 5355764 markings, 10621828 edges, 21160 markings/sec, 270 secs
lola: 5448216 markings, 10823177 edges, 18490 markings/sec, 275 secs
lola: 5534395 markings, 11034594 edges, 17236 markings/sec, 280 secs
lola: 5641415 markings, 11213969 edges, 21404 markings/sec, 285 secs
lola: 5737663 markings, 11408840 edges, 19250 markings/sec, 290 secs
lola: 5826081 markings, 11612948 edges, 17684 markings/sec, 295 secs
lola: 5923897 markings, 11804357 edges, 19563 markings/sec, 300 secs
lola: 6024486 markings, 11996404 edges, 20118 markings/sec, 305 secs
lola: 6110103 markings, 12202659 edges, 17123 markings/sec, 310 secs
lola: 6227804 markings, 12365166 edges, 23540 markings/sec, 315 secs
lola: 6345379 markings, 12523278 edges, 23515 markings/sec, 320 secs
lola: 6462972 markings, 12683607 edges, 23519 markings/sec, 325 secs
lola: 6576907 markings, 12850132 edges, 22787 markings/sec, 330 secs
lola: 6685868 markings, 13030841 edges, 21792 markings/sec, 335 secs
lola: 6777219 markings, 13221690 edges, 18270 markings/sec, 340 secs
lola: 6851737 markings, 13418925 edges, 14904 markings/sec, 345 secs
lola: 6911976 markings, 13657622 edges, 12048 markings/sec, 350 secs
lola: 6979336 markings, 13921910 edges, 13472 markings/sec, 355 secs
lola: 7068440 markings, 14159830 edges, 17821 markings/sec, 360 secs
lola: 7159154 markings, 14358331 edges, 18143 markings/sec, 365 secs
lola: 7266064 markings, 14543008 edges, 21382 markings/sec, 370 secs
lola: 7357248 markings, 14746334 edges, 18237 markings/sec, 375 secs
lola: 7445924 markings, 14950181 edges, 17735 markings/sec, 380 secs
lola: 7553082 markings, 15128725 edges, 21432 markings/sec, 385 secs
lola: 7641213 markings, 15328277 edges, 17626 markings/sec, 390 secs
lola: 7730870 markings, 15528464 edges, 17931 markings/sec, 395 secs
lola: 7834990 markings, 15709259 edges, 20824 markings/sec, 400 secs
lola: 7923790 markings, 15908186 edges, 17760 markings/sec, 405 secs
lola: 8017237 markings, 16103955 edges, 18689 markings/sec, 410 secs
lola: 8115651 markings, 16289439 edges, 19683 markings/sec, 415 secs
lola: 8240060 markings, 16450632 edges, 24882 markings/sec, 420 secs
lola: 8364088 markings, 16615308 edges, 24806 markings/sec, 425 secs
lola: 8480790 markings, 16792721 edges, 23340 markings/sec, 430 secs
lola: 8585601 markings, 16984961 edges, 20962 markings/sec, 435 secs
lola: 8673240 markings, 17182032 edges, 17528 markings/sec, 440 secs
lola: 8717821 markings, 17417798 edges, 8916 markings/sec, 445 secs
lola: 8782891 markings, 17663202 edges, 13014 markings/sec, 450 secs
lola: 8876046 markings, 17859711 edges, 18631 markings/sec, 455 secs
lola: 8980270 markings, 18045639 edges, 20845 markings/sec, 460 secs
lola: 9070388 markings, 18249151 edges, 18024 markings/sec, 465 secs
lola: 9162296 markings, 18446369 edges, 18382 markings/sec, 470 secs
lola: 9266816 markings, 18631620 edges, 20904 markings/sec, 475 secs
lola: 9355740 markings, 18836536 edges, 17785 markings/sec, 480 secs
lola: 9447891 markings, 19033483 edges, 18430 markings/sec, 485 secs
lola: 9546970 markings, 19218794 edges, 19816 markings/sec, 490 secs
lola: 9672091 markings, 19377805 edges, 25024 markings/sec, 495 secs
lola: 9795526 markings, 19541784 edges, 24687 markings/sec, 500 secs
lola: 9911327 markings, 19717840 edges, 23160 markings/sec, 505 secs
lola: 10015594 markings, 19909257 edges, 20853 markings/sec, 510 secs
lola: 10102789 markings, 20104799 edges, 17439 markings/sec, 515 secs
lola: 10147380 markings, 20338469 edges, 8918 markings/sec, 520 secs
lola: 10210826 markings, 20584551 edges, 12689 markings/sec, 525 secs
lola: 10304878 markings, 20778565 edges, 18810 markings/sec, 530 secs
lola: 10407861 markings, 20965594 edges, 20597 markings/sec, 535 secs
lola: 10497382 markings, 21167949 edges, 17904 markings/sec, 540 secs
lola: 10590683 markings, 21361137 edges, 18660 markings/sec, 545 secs
lola: 10693106 markings, 21546219 edges, 20485 markings/sec, 550 secs
lola: 10781568 markings, 21748362 edges, 17692 markings/sec, 555 secs
lola: 10877027 markings, 21933970 edges, 19092 markings/sec, 560 secs
lola: 10972460 markings, 22121020 edges, 19087 markings/sec, 565 secs
lola: 11070865 markings, 22309616 edges, 19681 markings/sec, 570 secs
lola: 11171086 markings, 22498104 edges, 20044 markings/sec, 575 secs
lola: 11260832 markings, 22701737 edges, 17949 markings/sec, 580 secs
lola: 11357469 markings, 22890732 edges, 19327 markings/sec, 585 secs
lola: 11455941 markings, 23081078 edges, 19694 markings/sec, 590 secs
lola: 11544106 markings, 23285897 edges, 17633 markings/sec, 595 secs
lola: 11642543 markings, 23473553 edges, 19687 markings/sec, 600 secs
lola: 11741451 markings, 23663089 edges, 19782 markings/sec, 605 secs
lola: 11829609 markings, 23867942 edges, 17632 markings/sec, 610 secs
lola: 11928560 markings, 24052929 edges, 19790 markings/sec, 615 secs
lola: 12024669 markings, 24242328 edges, 19222 markings/sec, 620 secs
lola: 12104956 markings, 24450149 edges, 16057 markings/sec, 625 secs
lola: 12211145 markings, 24625197 edges, 21238 markings/sec, 630 secs
lola: 12286406 markings, 24840055 edges, 15052 markings/sec, 635 secs
lola: 12374394 markings, 25032067 edges, 17598 markings/sec, 640 secs
lola: 12476450 markings, 25203147 edges, 20411 markings/sec, 645 secs
lola: 12556768 markings, 25407068 edges, 16064 markings/sec, 650 secs
lola: 12643724 markings, 25597079 edges, 17391 markings/sec, 655 secs
lola: 12732033 markings, 25778327 edges, 17662 markings/sec, 660 secs
lola: 12843855 markings, 25939271 edges, 22364 markings/sec, 665 secs
lola: 12939229 markings, 26120494 edges, 19075 markings/sec, 670 secs
lola: 13044062 markings, 26282546 edges, 20967 markings/sec, 675 secs
lola: 13144146 markings, 26464662 edges, 20017 markings/sec, 680 secs
lola: 13245347 markings, 26635154 edges, 20240 markings/sec, 685 secs
lola: 13357304 markings, 26791550 edges, 22391 markings/sec, 690 secs
lola: 13451012 markings, 26978356 edges, 18742 markings/sec, 695 secs
lola: 13555214 markings, 27150961 edges, 20840 markings/sec, 700 secs
lola: 13663152 markings, 27320819 edges, 21588 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 932876 KB
lola: time consumption: 1431 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p399)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p399)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 180 markings, 179 edges

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

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

FORMULA CloudDeployment-PT-5b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 62561 markings, 138183 edges, 12512 markings/sec, 0 secs
lola: 136873 markings, 319815 edges, 14862 markings/sec, 5 secs
lola: 213147 markings, 496121 edges, 15255 markings/sec, 10 secs
lola: 310939 markings, 640914 edges, 19558 markings/sec, 15 secs
lola: 385816 markings, 833262 edges, 14975 markings/sec, 20 secs
lola: 476139 markings, 998984 edges, 18065 markings/sec, 25 secs
lola: 546229 markings, 1196932 edges, 14018 markings/sec, 30 secs
lola: 631687 markings, 1368329 edges, 17092 markings/sec, 35 secs
lola: 705827 markings, 1560765 edges, 14828 markings/sec, 40 secs
lola: 783070 markings, 1745761 edges, 15449 markings/sec, 45 secs
lola: 864874 markings, 1924156 edges, 16361 markings/sec, 50 secs
lola: 931718 markings, 2132021 edges, 13369 markings/sec, 55 secs
lola: 1022633 markings, 2290325 edges, 18183 markings/sec, 60 secs
lola: 1085773 markings, 2505401 edges, 12628 markings/sec, 65 secs
lola: 1180069 markings, 2658560 edges, 18859 markings/sec, 70 secs
lola: 1243996 markings, 2870911 edges, 12785 markings/sec, 75 secs
lola: 1333796 markings, 3037204 edges, 17960 markings/sec, 80 secs
lola: 1401051 markings, 3243624 edges, 13451 markings/sec, 85 secs
lola: 1483487 markings, 3422875 edges, 16487 markings/sec, 90 secs
lola: 1544962 markings, 3639732 edges, 12295 markings/sec, 95 secs
lola: 1625930 markings, 3808684 edges, 16194 markings/sec, 100 secs
lola: 1682870 markings, 4026790 edges, 11388 markings/sec, 105 secs
lola: 1768026 markings, 4197045 edges, 17031 markings/sec, 110 secs
lola: 1825984 markings, 4420803 edges, 11592 markings/sec, 115 secs
lola: 1911839 markings, 4589998 edges, 17171 markings/sec, 120 secs
lola: 1967170 markings, 4818211 edges, 11066 markings/sec, 125 secs
lola: 2056427 markings, 4984032 edges, 17851 markings/sec, 130 secs
lola: 2110461 markings, 5212352 edges, 10807 markings/sec, 135 secs
lola: 2199667 markings, 5378915 edges, 17841 markings/sec, 140 secs
lola: 2254138 markings, 5608683 edges, 10894 markings/sec, 145 secs
lola: 2346068 markings, 5764946 edges, 18386 markings/sec, 150 secs
lola: 2411870 markings, 5975694 edges, 13160 markings/sec, 155 secs
lola: 2496746 markings, 6146035 edges, 16975 markings/sec, 160 secs
lola: 2554102 markings, 6371048 edges, 11471 markings/sec, 165 secs
lola: 2640707 markings, 6537484 edges, 17321 markings/sec, 170 secs
lola: 2696679 markings, 6764150 edges, 11194 markings/sec, 175 secs
lola: 2783109 markings, 6928987 edges, 17286 markings/sec, 180 secs
lola: 2838322 markings, 7158622 edges, 11043 markings/sec, 185 secs
lola: 2926084 markings, 7320322 edges, 17552 markings/sec, 190 secs
lola: 2982503 markings, 7545435 edges, 11284 markings/sec, 195 secs
lola: 3068676 markings, 7713543 edges, 17235 markings/sec, 200 secs
lola: 3127856 markings, 7931376 edges, 11836 markings/sec, 205 secs
lola: 3211160 markings, 8105212 edges, 16661 markings/sec, 210 secs
lola: 3273109 markings, 8320040 edges, 12390 markings/sec, 215 secs
lola: 3357023 markings, 8492802 edges, 16783 markings/sec, 220 secs
lola: 3423097 markings, 8700267 edges, 13215 markings/sec, 225 secs
lola: 3508069 markings, 8869628 edges, 16994 markings/sec, 230 secs
lola: 3568577 markings, 9086305 edges, 12102 markings/sec, 235 secs
lola: 3651018 markings, 9261043 edges, 16488 markings/sec, 240 secs
lola: 3713895 markings, 9470357 edges, 12575 markings/sec, 245 secs
lola: 3792789 markings, 9652252 edges, 15779 markings/sec, 250 secs
lola: 3859234 markings, 9854768 edges, 13289 markings/sec, 255 secs
lola: 3933747 markings, 10044107 edges, 14903 markings/sec, 260 secs
lola: 4004081 markings, 10239888 edges, 14067 markings/sec, 265 secs
lola: 4075222 markings, 10436308 edges, 14228 markings/sec, 270 secs
lola: 4148873 markings, 10624789 edges, 14730 markings/sec, 275 secs
lola: 4217497 markings, 10828754 edges, 13725 markings/sec, 280 secs
lola: 4292989 markings, 11014035 edges, 15098 markings/sec, 285 secs
lola: 4359593 markings, 11218772 edges, 13321 markings/sec, 290 secs
lola: 4441899 markings, 11393080 edges, 16461 markings/sec, 295 secs
lola: 4513060 markings, 11589719 edges, 14232 markings/sec, 300 secs
lola: 4586663 markings, 11778748 edges, 14721 markings/sec, 305 secs
lola: 4654512 markings, 11980846 edges, 13570 markings/sec, 310 secs
lola: 4730624 markings, 12164166 edges, 15222 markings/sec, 315 secs
lola: 4795225 markings, 12371775 edges, 12920 markings/sec, 320 secs
lola: 4874662 markings, 12549955 edges, 15887 markings/sec, 325 secs
lola: 4933077 markings, 12756664 edges, 11683 markings/sec, 330 secs
lola: 5012884 markings, 12922101 edges, 15961 markings/sec, 335 secs
lola: 5064840 markings, 13137013 edges, 10391 markings/sec, 340 secs
lola: 5150610 markings, 13295647 edges, 17154 markings/sec, 345 secs
lola: 5200822 markings, 13524649 edges, 10042 markings/sec, 350 secs
lola: 5291555 markings, 13685098 edges, 18147 markings/sec, 355 secs
lola: 5342866 markings, 13915137 edges, 10262 markings/sec, 360 secs
lola: 5436493 markings, 14066575 edges, 18725 markings/sec, 365 secs
lola: 5497535 markings, 14280856 edges, 12208 markings/sec, 370 secs
lola: 5584272 markings, 14444590 edges, 17347 markings/sec, 375 secs
lola: 5638576 markings, 14670913 edges, 10861 markings/sec, 380 secs
lola: 5726409 markings, 14832047 edges, 17567 markings/sec, 385 secs
lola: 5779251 markings, 15060813 edges, 10568 markings/sec, 390 secs
lola: 5866133 markings, 15217616 edges, 17376 markings/sec, 395 secs
lola: 5921569 markings, 15440811 edges, 11087 markings/sec, 400 secs
lola: 6007065 markings, 15605217 edges, 17099 markings/sec, 405 secs
lola: 6066447 markings, 15818314 edges, 11876 markings/sec, 410 secs
lola: 6146034 markings, 15995659 edges, 15917 markings/sec, 415 secs
lola: 6211027 markings, 16197299 edges, 12999 markings/sec, 420 secs
lola: 6285691 markings, 16385869 edges, 14933 markings/sec, 425 secs
lola: 6355368 markings, 16578893 edges, 13935 markings/sec, 430 secs
lola: 6428658 markings, 16770311 edges, 14658 markings/sec, 435 secs
lola: 6504619 markings, 16957585 edges, 15192 markings/sec, 440 secs
lola: 6582638 markings, 17144163 edges, 15604 markings/sec, 445 secs
lola: 6650628 markings, 17344772 edges, 13598 markings/sec, 450 secs
lola: 6725481 markings, 17536505 edges, 14971 markings/sec, 455 secs
lola: 6795491 markings, 17732859 edges, 14002 markings/sec, 460 secs
lola: 6866339 markings, 17930645 edges, 14170 markings/sec, 465 secs
lola: 6940362 markings, 18119555 edges, 14805 markings/sec, 470 secs
lola: 7010055 markings, 18320762 edges, 13939 markings/sec, 475 secs
lola: 7085169 markings, 18507266 edges, 15023 markings/sec, 480 secs
lola: 7149532 markings, 18716099 edges, 12873 markings/sec, 485 secs
lola: 7228824 markings, 18896414 edges, 15858 markings/sec, 490 secs
lola: 7290371 markings, 19109220 edges, 12309 markings/sec, 495 secs
lola: 7372576 markings, 19285478 edges, 16441 markings/sec, 500 secs
lola: 7425582 markings, 19514769 edges, 10601 markings/sec, 505 secs
lola: 7516656 markings, 19674414 edges, 18215 markings/sec, 510 secs
lola: 7584736 markings, 19882135 edges, 13616 markings/sec, 515 secs
lola: 7668464 markings, 20057554 edges, 16746 markings/sec, 520 secs
lola: 7727888 markings, 20278020 edges, 11885 markings/sec, 525 secs
lola: 7812330 markings, 20449896 edges, 16888 markings/sec, 530 secs
lola: 7868810 markings, 20674570 edges, 11296 markings/sec, 535 secs
lola: 7956089 markings, 20841546 edges, 17456 markings/sec, 540 secs
lola: 8012128 markings, 21068309 edges, 11208 markings/sec, 545 secs
lola: 8098790 markings, 21234071 edges, 17332 markings/sec, 550 secs
lola: 8154706 markings, 21460538 edges, 11183 markings/sec, 555 secs
lola: 8241510 markings, 21627219 edges, 17361 markings/sec, 560 secs
lola: 8300207 markings, 21847580 edges, 11739 markings/sec, 565 secs
lola: 8384303 markings, 22021513 edges, 16819 markings/sec, 570 secs
lola: 8445509 markings, 22238576 edges, 12241 markings/sec, 575 secs
lola: 8525906 markings, 22423245 edges, 16079 markings/sec, 580 secs
lola: 8592441 markings, 22629144 edges, 13307 markings/sec, 585 secs
lola: 8663380 markings, 22831432 edges, 14188 markings/sec, 590 secs
lola: 8734127 markings, 23032885 edges, 14149 markings/sec, 595 secs
lola: 8795906 markings, 23248937 edges, 12356 markings/sec, 600 secs
lola: 8869519 markings, 23443340 edges, 14723 markings/sec, 605 secs
lola: 8925346 markings, 23668841 edges, 11165 markings/sec, 610 secs
lola: 9001969 markings, 23854096 edges, 15325 markings/sec, 615 secs
lola: 9051765 markings, 24092519 edges, 9959 markings/sec, 620 secs
lola: 9131143 markings, 24271059 edges, 15876 markings/sec, 625 secs
lola: 9194609 markings, 24479935 edges, 12693 markings/sec, 630 secs
lola: 9260554 markings, 24687620 edges, 13189 markings/sec, 635 secs
lola: 9331612 markings, 24884124 edges, 14212 markings/sec, 640 secs
lola: 9392493 markings, 25103800 edges, 12176 markings/sec, 645 secs
lola: 9466283 markings, 25296096 edges, 14758 markings/sec, 650 secs
lola: 9517772 markings, 25531784 edges, 10298 markings/sec, 655 secs
lola: 9601877 markings, 25703232 edges, 16821 markings/sec, 660 secs
lola: 9659654 markings, 25926909 edges, 11555 markings/sec, 665 secs
lola: 9738331 markings, 26106984 edges, 15735 markings/sec, 670 secs
lola: 9799684 markings, 26320926 edges, 12271 markings/sec, 675 secs
lola: 9867403 markings, 26524677 edges, 13544 markings/sec, 680 secs
lola: 9938556 markings, 26721556 edges, 14231 markings/sec, 685 secs
lola: 9998273 markings, 26939090 edges, 11943 markings/sec, 690 secs
lola: 10072439 markings, 27131229 edges, 14833 markings/sec, 695 secs
lola: 10125024 markings, 27359576 edges, 10517 markings/sec, 700 secs
lola: 10202487 markings, 27540092 edges, 15493 markings/sec, 705 secs
lola: 10256177 markings, 27768342 edges, 10738 markings/sec, 710 secs
lola: 10331734 markings, 27957117 edges, 15111 markings/sec, 715 secs
lola: 10397756 markings, 28161481 edges, 13204 markings/sec, 720 secs
lola: 10462221 markings, 28371539 edges, 12893 markings/sec, 725 secs
lola: 10534455 markings, 28567009 edges, 14447 markings/sec, 730 secs
lola: 10590322 markings, 28793736 edges, 11173 markings/sec, 735 secs
lola: 10672177 markings, 28968819 edges, 16371 markings/sec, 740 secs
lola: 10730835 markings, 29188981 edges, 11732 markings/sec, 745 secs
lola: 10807062 markings, 29371591 edges, 15245 markings/sec, 750 secs
lola: 10860141 markings, 29600739 edges, 10616 markings/sec, 755 secs
lola: 10935554 markings, 29787225 edges, 15083 markings/sec, 760 secs
lola: 11002492 markings, 29989440 edges, 13388 markings/sec, 765 secs
lola: 11065081 markings, 30201382 edges, 12518 markings/sec, 770 secs
lola: 11137938 markings, 30394635 edges, 14571 markings/sec, 775 secs
lola: 11193910 markings, 30616715 edges, 11194 markings/sec, 780 secs
lola: 11269872 markings, 30801817 edges, 15192 markings/sec, 785 secs
lola: 11317225 markings, 31039278 edges, 9471 markings/sec, 790 secs
lola: 11398171 markings, 31213346 edges, 16189 markings/sec, 795 secs
lola: 11458628 markings, 31425652 edges, 12091 markings/sec, 800 secs
lola: 11527443 markings, 31626999 edges, 13763 markings/sec, 805 secs
lola: 11597108 markings, 31824805 edges, 13933 markings/sec, 810 secs
lola: 11656489 markings, 32044211 edges, 11876 markings/sec, 815 secs
lola: 11736215 markings, 32222235 edges, 15945 markings/sec, 820 secs
lola: 11795362 markings, 32439024 edges, 11829 markings/sec, 825 secs
lola: 11871420 markings, 32623605 edges, 15212 markings/sec, 830 secs
lola: 11919109 markings, 32860820 edges, 9538 markings/sec, 835 secs
lola: 11999002 markings, 33036396 edges, 15979 markings/sec, 840 secs
lola: 12061283 markings, 33246086 edges, 12456 markings/sec, 845 secs
lola: 12127167 markings, 33451398 edges, 13177 markings/sec, 850 secs
lola: 12198651 markings, 33645359 edges, 14297 markings/sec, 855 secs
lola: 12256869 markings, 33863274 edges, 11644 markings/sec, 860 secs
lola: 12331648 markings, 34051342 edges, 14956 markings/sec, 865 secs
lola: 12379770 markings, 34284337 edges, 9624 markings/sec, 870 secs
lola: 12459719 markings, 34459100 edges, 15990 markings/sec, 875 secs
lola: 12516375 markings, 34676467 edges, 11331 markings/sec, 880 secs
lola: 12587244 markings, 34872382 edges, 14174 markings/sec, 885 secs
lola: 12656085 markings, 35069657 edges, 13768 markings/sec, 890 secs
lola: 12717225 markings, 35285982 edges, 12228 markings/sec, 895 secs
lola: 12795127 markings, 35465595 edges, 15580 markings/sec, 900 secs
lola: 12855531 markings, 35680386 edges, 12081 markings/sec, 905 secs
lola: 12930363 markings, 35866572 edges, 14966 markings/sec, 910 secs
lola: 12978474 markings, 36101108 edges, 9622 markings/sec, 915 secs
lola: 13058145 markings, 36276201 edges, 15934 markings/sec, 920 secs
lola: 13118205 markings, 36487664 edges, 12012 markings/sec, 925 secs
lola: 13184733 markings, 36690475 edges, 13306 markings/sec, 930 secs
lola: 13256099 markings, 36883112 edges, 14273 markings/sec, 935 secs
lola: 13314423 markings, 37099575 edges, 11665 markings/sec, 940 secs
lola: 13388512 markings, 37287281 edges, 14818 markings/sec, 945 secs
lola: 13436055 markings, 37519299 edges, 9509 markings/sec, 950 secs
lola: 13516331 markings, 37693014 edges, 16055 markings/sec, 955 secs
lola: 13572299 markings, 37909624 edges, 11194 markings/sec, 960 secs
lola: 13643079 markings, 38105073 edges, 14156 markings/sec, 965 secs
lola: 13712000 markings, 38301932 edges, 13784 markings/sec, 970 secs
lola: 13771530 markings, 38520606 edges, 11906 markings/sec, 975 secs
lola: 13851624 markings, 38701262 edges, 16019 markings/sec, 980 secs
lola: 13913738 markings, 38918069 edges, 12423 markings/sec, 985 secs
lola: 13989735 markings, 39106234 edges, 15199 markings/sec, 990 secs
lola: 14039784 markings, 39344335 edges, 10010 markings/sec, 995 secs
lola: 14119773 markings, 39522047 edges, 15998 markings/sec, 1000 secs
lola: 14176913 markings, 39745385 edges, 11428 markings/sec, 1005 secs
lola: 14249051 markings, 39941611 edges, 14428 markings/sec, 1010 secs
lola: 14319003 markings, 40141386 edges, 13990 markings/sec, 1015 secs
lola: 14380983 markings, 40356280 edges, 12396 markings/sec, 1020 secs
lola: 14453868 markings, 40549969 edges, 14577 markings/sec, 1025 secs
lola: 14507812 markings, 40779003 edges, 10789 markings/sec, 1030 secs
lola: 14586505 markings, 40959205 edges, 15739 markings/sec, 1035 secs
lola: 14633213 markings, 41201308 edges, 9342 markings/sec, 1040 secs
lola: 14715311 markings, 41376684 edges, 16420 markings/sec, 1045 secs
lola: 14776939 markings, 41592574 edges, 12326 markings/sec, 1050 secs
lola: 14841684 markings, 41796890 edges, 12949 markings/sec, 1055 secs
lola: 14929601 markings, 41964031 edges, 17583 markings/sec, 1060 secs
lola: 14998097 markings, 42165258 edges, 13699 markings/sec, 1065 secs
lola: 15078373 markings, 42347261 edges, 16055 markings/sec, 1070 secs
lola: 15140606 markings, 42558712 edges, 12447 markings/sec, 1075 secs
lola: 15222363 markings, 42736903 edges, 16351 markings/sec, 1080 secs
lola: 15281919 markings, 42951691 edges, 11911 markings/sec, 1085 secs
lola: 15365111 markings, 43125214 edges, 16638 markings/sec, 1090 secs
lola: 15423224 markings, 43344686 edges, 11623 markings/sec, 1095 secs
lola: 15508522 markings, 43515079 edges, 17060 markings/sec, 1100 secs
lola: 15563527 markings, 43737440 edges, 11001 markings/sec, 1105 secs
lola: 15649998 markings, 43905158 edges, 17294 markings/sec, 1110 secs
lola: 15704151 markings, 44130735 edges, 10831 markings/sec, 1115 secs
lola: 15791537 markings, 44295764 edges, 17477 markings/sec, 1120 secs
lola: 15844855 markings, 44525192 edges, 10664 markings/sec, 1125 secs
lola: 15930887 markings, 44695075 edges, 17206 markings/sec, 1130 secs
lola: 15989843 markings, 44915113 edges, 11791 markings/sec, 1135 secs
lola: 16067593 markings, 45100303 edges, 15550 markings/sec, 1140 secs
lola: 16132701 markings, 45308488 edges, 13022 markings/sec, 1145 secs
lola: 16197581 markings, 45517714 edges, 12976 markings/sec, 1150 secs
lola: 16269827 markings, 45713460 edges, 14449 markings/sec, 1155 secs
lola: 16328800 markings, 45932829 edges, 11795 markings/sec, 1160 secs
lola: 16403853 markings, 46123308 edges, 15011 markings/sec, 1165 secs
lola: 16454299 markings, 46355896 edges, 10089 markings/sec, 1170 secs
lola: 16532605 markings, 46534300 edges, 15661 markings/sec, 1175 secs
lola: 16589775 markings, 46753794 edges, 11434 markings/sec, 1180 secs
lola: 16662611 markings, 46948439 edges, 14567 markings/sec, 1185 secs
lola: 16729756 markings, 47150733 edges, 13429 markings/sec, 1190 secs
lola: 16792279 markings, 47364331 edges, 12505 markings/sec, 1195 secs
lola: 16864778 markings, 47558873 edges, 14500 markings/sec, 1200 secs
lola: 16918351 markings, 47789017 edges, 10715 markings/sec, 1205 secs
lola: 17001051 markings, 47961474 edges, 16540 markings/sec, 1210 secs
lola: 17059168 markings, 48183079 edges, 11623 markings/sec, 1215 secs
lola: 17136526 markings, 48363788 edges, 15472 markings/sec, 1220 secs
lola: 17193746 markings, 48583937 edges, 11444 markings/sec, 1225 secs
lola: 17264632 markings, 48780498 edges, 14177 markings/sec, 1230 secs
lola: 17333762 markings, 48979080 edges, 13826 markings/sec, 1235 secs
lola: 17394599 markings, 49193124 edges, 12167 markings/sec, 1240 secs
lola: 17467999 markings, 49384368 edges, 14680 markings/sec, 1245 secs
lola: 17521380 markings, 49609791 edges, 10676 markings/sec, 1250 secs
lola: 17598293 markings, 49789978 edges, 15383 markings/sec, 1255 secs
lola: 17648672 markings, 50021217 edges, 10076 markings/sec, 1260 secs
lola: 17725893 markings, 50203226 edges, 15444 markings/sec, 1265 secs
lola: 17790519 markings, 50407521 edges, 12925 markings/sec, 1270 secs
lola: 17855139 markings, 50614807 edges, 12924 markings/sec, 1275 secs
lola: 17926422 markings, 50808381 edges, 14257 markings/sec, 1280 secs
lola: 17981143 markings, 51033981 edges, 10944 markings/sec, 1285 secs
lola: 18062945 markings, 51206610 edges, 16360 markings/sec, 1290 secs
lola: 18109789 markings, 51408191 edges, 9369 markings/sec, 1295 secs
lola: 18185271 markings, 51579024 edges, 15096 markings/sec, 1300 secs
lola: 18246609 markings, 51789585 edges, 12268 markings/sec, 1305 secs
lola: 18312578 markings, 51993743 edges, 13194 markings/sec, 1310 secs
lola: 18384121 markings, 52186811 edges, 14309 markings/sec, 1315 secs
lola: 18442566 markings, 52403404 edges, 11689 markings/sec, 1320 secs
lola: 18516720 markings, 52592320 edges, 14831 markings/sec, 1325 secs
lola: 18565493 markings, 52823554 edges, 9755 markings/sec, 1330 secs
lola: 18644014 markings, 52998204 edges, 15704 markings/sec, 1335 secs
lola: 18701055 markings, 53214752 edges, 11408 markings/sec, 1340 secs
lola: 18771805 markings, 53409330 edges, 14150 markings/sec, 1345 secs
lola: 18839920 markings, 53606238 edges, 13623 markings/sec, 1350 secs
lola: 18900430 markings, 53819798 edges, 12102 markings/sec, 1355 secs
lola: 18973210 markings, 54009908 edges, 14556 markings/sec, 1360 secs
lola: 19021978 markings, 54243384 edges, 9754 markings/sec, 1365 secs
lola: 19106713 markings, 54409207 edges, 16947 markings/sec, 1370 secs
lola: 19160774 markings, 54634449 edges, 10812 markings/sec, 1375 secs
lola: 19240203 markings, 54809569 edges, 15886 markings/sec, 1380 secs
lola: 19301979 markings, 55017860 edges, 12355 markings/sec, 1385 secs
lola: 19367219 markings, 55221455 edges, 13048 markings/sec, 1390 secs
lola: 19438374 markings, 55413657 edges, 14231 markings/sec, 1395 secs
lola: 19495443 markings, 55631056 edges, 11414 markings/sec, 1400 secs
lola: 19570067 markings, 55815786 edges, 14925 markings/sec, 1405 secs
lola: 19616420 markings, 56049987 edges, 9271 markings/sec, 1410 secs
lola: 19696165 markings, 56222022 edges, 15949 markings/sec, 1415 secs
lola: 19755497 markings, 56432128 edges, 11866 markings/sec, 1420 secs
lola: 19822072 markings, 56632417 edges, 13315 markings/sec, 1425 secs
lola: 19891714 markings, 56824705 edges, 13928 markings/sec, 1430 secs
lola: 19949616 markings, 57041486 edges, 11580 markings/sec, 1435 secs
lola: 20023592 markings, 57226877 edges, 14795 markings/sec, 1440 secs
lola: 20069151 markings, 57464743 edges, 9112 markings/sec, 1445 secs
lola: 20155928 markings, 57626814 edges, 17355 markings/sec, 1450 secs
lola: 20212786 markings, 57843534 edges, 11372 markings/sec, 1455 secs
lola: 20288482 markings, 58026002 edges, 15139 markings/sec, 1460 secs
lola: 20354809 markings, 58225204 edges, 13265 markings/sec, 1465 secs
lola: 20416179 markings, 58433865 edges, 12274 markings/sec, 1470 secs
lola: 20488214 markings, 58623244 edges, 14407 markings/sec, 1475 secs
lola: 20540635 markings, 58845961 edges, 10484 markings/sec, 1480 secs
lola: 20617152 markings, 59023576 edges, 15303 markings/sec, 1485 secs
lola: 20665570 markings, 59253358 edges, 9684 markings/sec, 1490 secs
lola: 20741520 markings, 59432703 edges, 15190 markings/sec, 1495 secs
lola: 20807472 markings, 59630221 edges, 13190 markings/sec, 1500 secs
lola: 20867978 markings, 59839282 edges, 12101 markings/sec, 1505 secs
lola: 20939847 markings, 60026111 edges, 14374 markings/sec, 1510 secs
lola: 20991790 markings, 60252141 edges, 10389 markings/sec, 1515 secs
lola: 21069591 markings, 60429237 edges, 15560 markings/sec, 1520 secs
lola: 21117570 markings, 60660203 edges, 9596 markings/sec, 1525 secs
lola: 21200916 markings, 60833412 edges, 16669 markings/sec, 1530 secs
lola: 21264716 markings, 61039756 edges, 12760 markings/sec, 1535 secs
lola: 21335904 markings, 61236839 edges, 14238 markings/sec, 1540 secs
lola: 21406147 markings, 61434905 edges, 14049 markings/sec, 1545 secs
lola: 21467316 markings, 61648705 edges, 12234 markings/sec, 1550 secs
lola: 21539855 markings, 61840736 edges, 14508 markings/sec, 1555 secs
lola: 21591520 markings, 62071444 edges, 10333 markings/sec, 1560 secs
lola: 21670374 markings, 62248136 edges, 15771 markings/sec, 1565 secs
lola: 21721340 markings, 62479608 edges, 10193 markings/sec, 1570 secs
lola: 21797144 markings, 62664396 edges, 15161 markings/sec, 1575 secs
lola: 21863251 markings, 62868005 edges, 13221 markings/sec, 1580 secs
lola: 21926770 markings, 63076711 edges, 12704 markings/sec, 1585 secs
lola: 21999273 markings, 63268306 edges, 14501 markings/sec, 1590 secs
lola: 22042632 markings, 63478205 edges, 8672 markings/sec, 1595 secs
lola: 22119732 markings, 63647167 edges, 15420 markings/sec, 1600 secs
lola: 22172308 markings, 63877651 edges, 10515 markings/sec, 1605 secs
lola: 22247587 markings, 64060230 edges, 15056 markings/sec, 1610 secs
lola: 22332034 markings, 64230123 edges, 16889 markings/sec, 1615 secs
lola: 22401627 markings, 64428838 edges, 13919 markings/sec, 1620 secs
lola: 22478410 markings, 64612779 edges, 15357 markings/sec, 1625 secs
lola: 22543121 markings, 64819954 edges, 12942 markings/sec, 1630 secs
lola: 22622110 markings, 64998701 edges, 15798 markings/sec, 1635 secs
lola: 22683312 markings, 65210539 edges, 12240 markings/sec, 1640 secs
lola: 22764564 markings, 65386657 edges, 16250 markings/sec, 1645 secs
lola: 22824572 markings, 65600714 edges, 12002 markings/sec, 1650 secs
lola: 22907853 markings, 65773717 edges, 16656 markings/sec, 1655 secs
lola: 22963919 markings, 65991963 edges, 11213 markings/sec, 1660 secs
lola: 23048814 markings, 66161831 edges, 16979 markings/sec, 1665 secs
lola: 23103519 markings, 66383954 edges, 10941 markings/sec, 1670 secs
lola: 23190371 markings, 66550043 edges, 17370 markings/sec, 1675 secs
lola: 23243351 markings, 66778419 edges, 10596 markings/sec, 1680 secs
lola: 23328343 markings, 66947380 edges, 16998 markings/sec, 1685 secs
lola: 23384191 markings, 67172184 edges, 11170 markings/sec, 1690 secs
lola: 23463554 markings, 67350500 edges, 15873 markings/sec, 1695 secs
lola: 23525976 markings, 67561194 edges, 12484 markings/sec, 1700 secs
lola: 23592013 markings, 67766334 edges, 13207 markings/sec, 1705 secs
lola: 23663376 markings, 67960758 edges, 14273 markings/sec, 1710 secs
lola: 23722449 markings, 68177929 edges, 11815 markings/sec, 1715 secs
lola: 23796722 markings, 68368302 edges, 14855 markings/sec, 1720 secs
lola: 23846743 markings, 68599350 edges, 10004 markings/sec, 1725 secs
lola: 23924916 markings, 68776561 edges, 15635 markings/sec, 1730 secs
lola: 23981419 markings, 68995698 edges, 11301 markings/sec, 1735 secs
lola: 24054135 markings, 69188926 edges, 14543 markings/sec, 1740 secs
lola: 24120992 markings, 69389775 edges, 13371 markings/sec, 1745 secs
lola: 24182857 markings, 69602359 edges, 12373 markings/sec, 1750 secs
lola: 24255449 markings, 69795043 edges, 14518 markings/sec, 1755 secs
lola: 24307058 markings, 70025612 edges, 10322 markings/sec, 1760 secs
lola: 24390643 markings, 70194825 edges, 16717 markings/sec, 1765 secs
lola: 24446587 markings, 70417765 edges, 11189 markings/sec, 1770 secs
lola: 24524861 markings, 70595387 edges, 15655 markings/sec, 1775 secs
lola: 24583709 markings, 70809633 edges, 11770 markings/sec, 1780 secs
lola: 24651396 markings, 71009911 edges, 13537 markings/sec, 1785 secs
lola: 24722125 markings, 71203603 edges, 14146 markings/sec, 1790 secs
lola: 24780812 markings, 71418728 edges, 11737 markings/sec, 1795 secs
lola: 24854527 markings, 71608056 edges, 14743 markings/sec, 1800 secs
lola: 24904482 markings, 71836792 edges, 9991 markings/sec, 1805 secs
lola: 24982394 markings, 72012727 edges, 15582 markings/sec, 1810 secs
lola: 25037796 markings, 72232268 edges, 11080 markings/sec, 1815 secs
lola: 25110339 markings, 72422598 edges, 14509 markings/sec, 1820 secs
lola: 25177421 markings, 72623965 edges, 13416 markings/sec, 1825 secs
lola: 25239368 markings, 72837871 edges, 12389 markings/sec, 1830 secs
lola: 25311958 markings, 73030265 edges, 14518 markings/sec, 1835 secs
lola: 25364897 markings, 73262261 edges, 10588 markings/sec, 1840 secs
lola: 25448763 markings, 73430078 edges, 16773 markings/sec, 1845 secs
lola: 25504998 markings, 73656511 edges, 11247 markings/sec, 1850 secs
lola: 25583076 markings, 73833881 edges, 15616 markings/sec, 1855 secs
lola: 25640606 markings, 74053659 edges, 11506 markings/sec, 1860 secs
lola: 25710371 markings, 74251241 edges, 13953 markings/sec, 1865 secs
lola: 25780274 markings, 74448189 edges, 13981 markings/sec, 1870 secs
lola: 25840603 markings, 74663470 edges, 12066 markings/sec, 1875 secs
lola: 25914107 markings, 74851430 edges, 14701 markings/sec, 1880 secs
lola: 25964629 markings, 75078134 edges, 10104 markings/sec, 1885 secs
lola: 26041917 markings, 75253553 edges, 15458 markings/sec, 1890 secs
lola: 26094581 markings, 75476339 edges, 10533 markings/sec, 1895 secs
lola: 26168443 markings, 75663287 edges, 14772 markings/sec, 1900 secs
lola: 26234437 markings, 75862035 edges, 13199 markings/sec, 1905 secs
lola: 26295829 markings, 76071985 edges, 12278 markings/sec, 1910 secs
lola: 26367686 markings, 76262052 edges, 14371 markings/sec, 1915 secs
lola: 26417918 markings, 76491738 edges, 10046 markings/sec, 1920 secs
lola: 26502552 markings, 76656573 edges, 16927 markings/sec, 1925 secs
lola: 26555315 markings, 76881600 edges, 10553 markings/sec, 1930 secs
lola: 26634060 markings, 77054977 edges, 15749 markings/sec, 1935 secs
lola: 26694089 markings, 77262907 edges, 12006 markings/sec, 1940 secs
lola: 26759398 markings, 77464070 edges, 13062 markings/sec, 1945 secs
lola: 26830181 markings, 77654485 edges, 14157 markings/sec, 1950 secs
lola: 26886533 markings, 77871253 edges, 11270 markings/sec, 1955 secs
lola: 26960877 markings, 78053722 edges, 14869 markings/sec, 1960 secs
lola: 27005650 markings, 78288559 edges, 8955 markings/sec, 1965 secs
lola: 27085806 markings, 78458391 edges, 16031 markings/sec, 1970 secs
lola: 27146219 markings, 78665153 edges, 12083 markings/sec, 1975 secs
lola: 27211463 markings, 78869048 edges, 13049 markings/sec, 1980 secs
lola: 27282051 markings, 79058504 edges, 14118 markings/sec, 1985 secs
lola: 27339222 markings, 79279148 edges, 11434 markings/sec, 1990 secs
lola: 27414668 markings, 79464754 edges, 15089 markings/sec, 1995 secs
lola: 27460061 markings, 79706069 edges, 9079 markings/sec, 2000 secs
lola: 27547864 markings, 79866123 edges, 17561 markings/sec, 2005 secs
lola: 27604389 markings, 80084909 edges, 11305 markings/sec, 2010 secs
lola: 27680116 markings, 80266806 edges, 15145 markings/sec, 2015 secs
lola: 27746811 markings, 80467900 edges, 13339 markings/sec, 2020 secs
lola: 27808880 markings, 80679633 edges, 12414 markings/sec, 2025 secs
lola: 27881920 markings, 80870704 edges, 14608 markings/sec, 2030 secs
lola: 27936297 markings, 81094475 edges, 10875 markings/sec, 2035 secs
lola: 28013625 markings, 81275834 edges, 15466 markings/sec, 2040 secs
lola: 28058844 markings, 81517458 edges, 9044 markings/sec, 2045 secs
lola: 28140216 markings, 81687929 edges, 16274 markings/sec, 2050 secs
lola: 28201904 markings, 81896159 edges, 12338 markings/sec, 2055 secs
lola: 28266558 markings, 82100738 edges, 12931 markings/sec, 2060 secs
lola: 28338041 markings, 82291443 edges, 14297 markings/sec, 2065 secs
lola: 28394923 markings, 82512322 edges, 11376 markings/sec, 2070 secs
lola: 28470392 markings, 82696721 edges, 15094 markings/sec, 2075 secs
lola: 28515536 markings, 82938497 edges, 9029 markings/sec, 2080 secs
lola: 28604497 markings, 83099634 edges, 17792 markings/sec, 2085 secs
lola: 28661381 markings, 83326333 edges, 11377 markings/sec, 2090 secs
lola: 28740114 markings, 83508525 edges, 15747 markings/sec, 2095 secs
lola: 28804890 markings, 83719404 edges, 12955 markings/sec, 2100 secs
lola: 28871463 markings, 83926859 edges, 13315 markings/sec, 2105 secs
lola: 28943289 markings, 84124715 edges, 14365 markings/sec, 2110 secs
lola: 29002576 markings, 84345608 edges, 11857 markings/sec, 2115 secs
lola: 29078817 markings, 84533319 edges, 15248 markings/sec, 2120 secs
lola: 29127035 markings, 84772032 edges, 9644 markings/sec, 2125 secs
lola: 29207843 markings, 84945947 edges, 16162 markings/sec, 2130 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown unknown 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown unknown 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 1 unknown unknown 1 1 1
lola: memory consumption: 1526736 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 1 unknown unknown 1 1 1
lola: memory consumption: 1526928 KB
lola: time consumption: 3570 seconds

BK_STOP 1526612014433

--------------------
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-5b"
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-5b.tgz
mv CloudDeployment-PT-5b 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-5b, 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-152646357400240"
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 ;