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 824K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K 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 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-307, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800044
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-00
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-01
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-02
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-03
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-04
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-05
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-06
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-07
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-08
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-09
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-307-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526490356017

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-307 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-307 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudReconfiguration-PT-307 @ 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: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: Size of bit vector: 2584
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-307-UpperBounds.task
lola: MAX(p306) : MAX(p2351) : MAX(p10) : MAX(p1123) : MAX(p1116) : MAX(p2431) : MAX(p2160) : MAX(p1) : MAX(p1240) : MAX(p992) : MAX(p409) : MAX(p264) : MAX(p2221) : MAX(p1192) : MAX(p1317) : MAX(p477)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p306)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 88 markings, 87 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-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(p2351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2351)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: 59 markings, 58 edges

FORMULA CloudReconfiguration-PT-307-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-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(p1123)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1123)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: 61 markings, 60 edges
lola: ========================================

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

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

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

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

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

FORMULA CloudReconfiguration-PT-307-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p992)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p992)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 53 markings, 52 edges
lola: ========================================

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

FORMULA CloudReconfiguration-PT-307-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p264)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 88 markings, 87 edges
lola: ========================================

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

FORMULA CloudReconfiguration-PT-307-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1185 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1192)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 65 markings, 64 edges

FORMULA CloudReconfiguration-PT-307-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1777 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1317)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1317)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: 27409 markings, 62254 edges, 5482 markings/sec, 0 secs
lola: 60210 markings, 137389 edges, 6560 markings/sec, 5 secs
lola: 89265 markings, 209777 edges, 5811 markings/sec, 10 secs
lola: 118285 markings, 304374 edges, 5804 markings/sec, 15 secs
lola: 148624 markings, 398956 edges, 6068 markings/sec, 20 secs
lola: 176969 markings, 497262 edges, 5669 markings/sec, 25 secs
lola: 205114 markings, 584426 edges, 5629 markings/sec, 30 secs
lola: 232945 markings, 670771 edges, 5566 markings/sec, 35 secs
lola: 261446 markings, 757715 edges, 5700 markings/sec, 40 secs
lola: 290377 markings, 838770 edges, 5786 markings/sec, 45 secs
lola: 321042 markings, 917980 edges, 6133 markings/sec, 50 secs
lola: 349674 markings, 1000005 edges, 5726 markings/sec, 55 secs
lola: 381097 markings, 1074260 edges, 6285 markings/sec, 60 secs
lola: 408305 markings, 1157583 edges, 5442 markings/sec, 65 secs
lola: 436738 markings, 1237408 edges, 5687 markings/sec, 70 secs
lola: 465451 markings, 1317727 edges, 5743 markings/sec, 75 secs
lola: 494234 markings, 1397058 edges, 5757 markings/sec, 80 secs
lola: 522851 markings, 1486399 edges, 5723 markings/sec, 85 secs
lola: 548975 markings, 1573702 edges, 5225 markings/sec, 90 secs
lola: 574779 markings, 1662732 edges, 5161 markings/sec, 95 secs
lola: 603166 markings, 1751638 edges, 5677 markings/sec, 100 secs
lola: 631056 markings, 1836898 edges, 5578 markings/sec, 105 secs
lola: 659241 markings, 1912879 edges, 5637 markings/sec, 110 secs
lola: 686835 markings, 1989588 edges, 5519 markings/sec, 115 secs
lola: 714097 markings, 2071679 edges, 5452 markings/sec, 120 secs
lola: 738623 markings, 2144097 edges, 4905 markings/sec, 125 secs
lola: 769838 markings, 2221637 edges, 6243 markings/sec, 130 secs
lola: 797686 markings, 2303170 edges, 5570 markings/sec, 135 secs
lola: 827985 markings, 2382078 edges, 6060 markings/sec, 140 secs
lola: 856996 markings, 2463993 edges, 5802 markings/sec, 145 secs
lola: 884963 markings, 2549133 edges, 5593 markings/sec, 150 secs
lola: 911158 markings, 2631914 edges, 5239 markings/sec, 155 secs
lola: 938432 markings, 2717137 edges, 5455 markings/sec, 160 secs
lola: 969010 markings, 2791657 edges, 6116 markings/sec, 165 secs
lola: 997841 markings, 2877066 edges, 5766 markings/sec, 170 secs
lola: 1027022 markings, 2954033 edges, 5836 markings/sec, 175 secs
lola: 1057976 markings, 3030739 edges, 6191 markings/sec, 180 secs
lola: 1086816 markings, 3105996 edges, 5768 markings/sec, 185 secs
lola: 1114273 markings, 3187267 edges, 5491 markings/sec, 190 secs
lola: 1140315 markings, 3275050 edges, 5208 markings/sec, 195 secs
lola: 1167219 markings, 3357494 edges, 5381 markings/sec, 200 secs
lola: 1194170 markings, 3440006 edges, 5390 markings/sec, 205 secs
lola: 1221892 markings, 3519098 edges, 5544 markings/sec, 210 secs
lola: 1251433 markings, 3594565 edges, 5908 markings/sec, 215 secs
lola: 1282402 markings, 3674735 edges, 6194 markings/sec, 220 secs
lola: 1309909 markings, 3758097 edges, 5501 markings/sec, 225 secs
lola: 1337323 markings, 3843019 edges, 5483 markings/sec, 230 secs
lola: 1365263 markings, 3922500 edges, 5588 markings/sec, 235 secs
lola: 1394050 markings, 4012543 edges, 5757 markings/sec, 240 secs
lola: 1421698 markings, 4097086 edges, 5530 markings/sec, 245 secs
lola: 1450553 markings, 4169173 edges, 5771 markings/sec, 250 secs
lola: 1479272 markings, 4244484 edges, 5744 markings/sec, 255 secs
lola: 1507293 markings, 4325433 edges, 5604 markings/sec, 260 secs
lola: 1535766 markings, 4407349 edges, 5695 markings/sec, 265 secs
lola: 1563124 markings, 4490441 edges, 5472 markings/sec, 270 secs
lola: 1591959 markings, 4564029 edges, 5767 markings/sec, 275 secs
lola: 1620374 markings, 4641325 edges, 5683 markings/sec, 280 secs
lola: 1651584 markings, 4715542 edges, 6242 markings/sec, 285 secs
lola: 1683201 markings, 4789442 edges, 6323 markings/sec, 290 secs
lola: 1712397 markings, 4870397 edges, 5839 markings/sec, 295 secs
lola: 1743044 markings, 4951175 edges, 6129 markings/sec, 300 secs
lola: 1769561 markings, 5041673 edges, 5303 markings/sec, 305 secs
lola: 1797478 markings, 5118362 edges, 5583 markings/sec, 310 secs
lola: 1825321 markings, 5190876 edges, 5569 markings/sec, 315 secs
lola: 1850497 markings, 5283093 edges, 5035 markings/sec, 320 secs
lola: 1877567 markings, 5368125 edges, 5414 markings/sec, 325 secs
lola: 1904673 markings, 5448979 edges, 5421 markings/sec, 330 secs
lola: 1933104 markings, 5524434 edges, 5686 markings/sec, 335 secs
lola: 1961946 markings, 5599679 edges, 5768 markings/sec, 340 secs
lola: 1993434 markings, 5676783 edges, 6298 markings/sec, 345 secs
lola: 2022627 markings, 5757295 edges, 5839 markings/sec, 350 secs
lola: 2049768 markings, 5842973 edges, 5428 markings/sec, 355 secs
lola: 2078148 markings, 5922593 edges, 5676 markings/sec, 360 secs
lola: 2107373 markings, 6000158 edges, 5845 markings/sec, 365 secs
lola: 2137364 markings, 6077096 edges, 5998 markings/sec, 370 secs
lola: 2164963 markings, 6153476 edges, 5520 markings/sec, 375 secs
lola: 2193655 markings, 6218021 edges, 5738 markings/sec, 380 secs
lola: 2217470 markings, 6309970 edges, 4763 markings/sec, 385 secs
lola: 2242949 markings, 6397536 edges, 5096 markings/sec, 390 secs
lola: 2269961 markings, 6483207 edges, 5402 markings/sec, 395 secs
lola: 2298376 markings, 6569897 edges, 5683 markings/sec, 400 secs
lola: 2324974 markings, 6654105 edges, 5320 markings/sec, 405 secs
lola: 2352376 markings, 6733323 edges, 5480 markings/sec, 410 secs
lola: 2381304 markings, 6808069 edges, 5786 markings/sec, 415 secs
lola: 2408579 markings, 6888768 edges, 5455 markings/sec, 420 secs
lola: 2435192 markings, 6973721 edges, 5323 markings/sec, 425 secs
lola: 2463836 markings, 7060524 edges, 5729 markings/sec, 430 secs
lola: 2490120 markings, 7145075 edges, 5257 markings/sec, 435 secs
lola: 2517228 markings, 7224751 edges, 5422 markings/sec, 440 secs
lola: 2546294 markings, 7296953 edges, 5813 markings/sec, 445 secs
lola: 2573878 markings, 7377552 edges, 5517 markings/sec, 450 secs
lola: 2600286 markings, 7462064 edges, 5282 markings/sec, 455 secs
lola: 2627277 markings, 7546861 edges, 5398 markings/sec, 460 secs
lola: 2655719 markings, 7620782 edges, 5688 markings/sec, 465 secs
lola: 2686288 markings, 7700011 edges, 6114 markings/sec, 470 secs
lola: 2717581 markings, 7779155 edges, 6259 markings/sec, 475 secs
lola: 2748425 markings, 7848080 edges, 6169 markings/sec, 480 secs
lola: 2775179 markings, 7933764 edges, 5351 markings/sec, 485 secs
lola: 2799756 markings, 8030345 edges, 4915 markings/sec, 490 secs
lola: 2824155 markings, 8114277 edges, 4880 markings/sec, 495 secs
lola: 2849032 markings, 8197969 edges, 4975 markings/sec, 500 secs
lola: 2872221 markings, 8281508 edges, 4638 markings/sec, 505 secs
lola: 2898029 markings, 8364802 edges, 5162 markings/sec, 510 secs
lola: 2923635 markings, 8446299 edges, 5121 markings/sec, 515 secs
lola: 2948571 markings, 8529484 edges, 4987 markings/sec, 520 secs
lola: 2974826 markings, 8609569 edges, 5251 markings/sec, 525 secs
lola: 3000651 markings, 8688721 edges, 5165 markings/sec, 530 secs
lola: 3029826 markings, 8758463 edges, 5835 markings/sec, 535 secs
lola: 3057300 markings, 8834910 edges, 5495 markings/sec, 540 secs
lola: 3083975 markings, 8915044 edges, 5335 markings/sec, 545 secs
lola: 3110744 markings, 8993935 edges, 5354 markings/sec, 550 secs
lola: 3135230 markings, 9083367 edges, 4897 markings/sec, 555 secs
lola: 3161892 markings, 9167127 edges, 5332 markings/sec, 560 secs
lola: 3189235 markings, 9250937 edges, 5469 markings/sec, 565 secs
lola: 3217277 markings, 9324058 edges, 5608 markings/sec, 570 secs
lola: 3247293 markings, 9403556 edges, 6003 markings/sec, 575 secs
lola: 3279159 markings, 9482432 edges, 6373 markings/sec, 580 secs
lola: 3309412 markings, 9549842 edges, 6051 markings/sec, 585 secs
lola: 3338570 markings, 9630592 edges, 5832 markings/sec, 590 secs
lola: 3362343 markings, 9726821 edges, 4755 markings/sec, 595 secs
lola: 3388986 markings, 9818544 edges, 5329 markings/sec, 600 secs
lola: 3415272 markings, 9902552 edges, 5257 markings/sec, 605 secs
lola: 3441656 markings, 9985993 edges, 5277 markings/sec, 610 secs
lola: 3468739 markings, 10072133 edges, 5417 markings/sec, 615 secs
lola: 3497776 markings, 10162457 edges, 5807 markings/sec, 620 secs
lola: 3525458 markings, 10249197 edges, 5536 markings/sec, 625 secs
lola: 3554010 markings, 10321342 edges, 5710 markings/sec, 630 secs
lola: 3582124 markings, 10395853 edges, 5623 markings/sec, 635 secs
lola: 3610169 markings, 10473811 edges, 5609 markings/sec, 640 secs
lola: 3637615 markings, 10553529 edges, 5489 markings/sec, 645 secs
lola: 3664757 markings, 10636188 edges, 5428 markings/sec, 650 secs
lola: 3692216 markings, 10721162 edges, 5492 markings/sec, 655 secs
lola: 3720160 markings, 10806223 edges, 5589 markings/sec, 660 secs
lola: 3748168 markings, 10892751 edges, 5602 markings/sec, 665 secs
lola: 3775056 markings, 10971829 edges, 5378 markings/sec, 670 secs
lola: 3800310 markings, 11059937 edges, 5051 markings/sec, 675 secs
lola: 3827138 markings, 11146422 edges, 5366 markings/sec, 680 secs
lola: 3854521 markings, 11235040 edges, 5477 markings/sec, 685 secs
lola: 3882684 markings, 11326091 edges, 5633 markings/sec, 690 secs
lola: 3910992 markings, 11405761 edges, 5662 markings/sec, 695 secs
lola: 3939356 markings, 11478254 edges, 5673 markings/sec, 700 secs
lola: 3968544 markings, 11552362 edges, 5838 markings/sec, 705 secs
lola: 3996098 markings, 11633356 edges, 5511 markings/sec, 710 secs
lola: 4022666 markings, 11718295 edges, 5314 markings/sec, 715 secs
lola: 4050448 markings, 11797322 edges, 5556 markings/sec, 720 secs
lola: 4074813 markings, 11871578 edges, 4873 markings/sec, 725 secs
lola: 4102014 markings, 11960830 edges, 5440 markings/sec, 730 secs
lola: 4128436 markings, 12044951 edges, 5284 markings/sec, 735 secs
lola: 4155709 markings, 12118060 edges, 5455 markings/sec, 740 secs
lola: 4182222 markings, 12199846 edges, 5303 markings/sec, 745 secs
lola: 4209243 markings, 12284614 edges, 5404 markings/sec, 750 secs
lola: 4236225 markings, 12358203 edges, 5396 markings/sec, 755 secs
lola: 4261886 markings, 12446588 edges, 5132 markings/sec, 760 secs
lola: 4292670 markings, 12527358 edges, 6157 markings/sec, 765 secs
lola: 4325037 markings, 12605410 edges, 6473 markings/sec, 770 secs
lola: 4354616 markings, 12690771 edges, 5916 markings/sec, 775 secs
lola: 4382475 markings, 12772036 edges, 5572 markings/sec, 780 secs
lola: 4410086 markings, 12858419 edges, 5522 markings/sec, 785 secs
lola: 4436343 markings, 12943949 edges, 5251 markings/sec, 790 secs
lola: 4461494 markings, 13028494 edges, 5030 markings/sec, 795 secs
lola: 4489724 markings, 13098845 edges, 5646 markings/sec, 800 secs
lola: 4517615 markings, 13168046 edges, 5578 markings/sec, 805 secs
lola: 4543998 markings, 13244764 edges, 5277 markings/sec, 810 secs
lola: 4573216 markings, 13314401 edges, 5844 markings/sec, 815 secs
lola: 4600423 markings, 13391220 edges, 5441 markings/sec, 820 secs
lola: 4627264 markings, 13470954 edges, 5368 markings/sec, 825 secs
lola: 4653055 markings, 13552752 edges, 5158 markings/sec, 830 secs
lola: 4678330 markings, 13637779 edges, 5055 markings/sec, 835 secs
lola: 4706032 markings, 13715801 edges, 5540 markings/sec, 840 secs
lola: 4734008 markings, 13795079 edges, 5595 markings/sec, 845 secs
lola: 4760723 markings, 13881399 edges, 5343 markings/sec, 850 secs
lola: 4786848 markings, 13974454 edges, 5225 markings/sec, 855 secs
lola: 4815191 markings, 14056954 edges, 5669 markings/sec, 860 secs
lola: 4843439 markings, 14137592 edges, 5650 markings/sec, 865 secs
lola: 4870325 markings, 14211275 edges, 5377 markings/sec, 870 secs
lola: 4897723 markings, 14291956 edges, 5480 markings/sec, 875 secs
lola: 4924106 markings, 14375785 edges, 5277 markings/sec, 880 secs
lola: 4950947 markings, 14452034 edges, 5368 markings/sec, 885 secs
lola: 4978333 markings, 14527159 edges, 5477 markings/sec, 890 secs
lola: 5007682 markings, 14608639 edges, 5870 markings/sec, 895 secs
lola: 5039227 markings, 14688023 edges, 6309 markings/sec, 900 secs
lola: 5069729 markings, 14769881 edges, 6100 markings/sec, 905 secs
lola: 5099454 markings, 14850886 edges, 5945 markings/sec, 910 secs
lola: 5125269 markings, 14944428 edges, 5163 markings/sec, 915 secs
lola: 5147052 markings, 15046374 edges, 4357 markings/sec, 920 secs
lola: 5172870 markings, 15133192 edges, 5164 markings/sec, 925 secs
lola: 5199175 markings, 15217183 edges, 5261 markings/sec, 930 secs
lola: 5225752 markings, 15301203 edges, 5315 markings/sec, 935 secs
lola: 5253404 markings, 15390060 edges, 5530 markings/sec, 940 secs
lola: 5281272 markings, 15473819 edges, 5574 markings/sec, 945 secs
lola: 5310854 markings, 15539794 edges, 5916 markings/sec, 950 secs
lola: 5338320 markings, 15623621 edges, 5493 markings/sec, 955 secs
lola: 5359822 markings, 15724429 edges, 4300 markings/sec, 960 secs
lola: 5386579 markings, 15816134 edges, 5351 markings/sec, 965 secs
lola: 5413474 markings, 15901979 edges, 5379 markings/sec, 970 secs
lola: 5438892 markings, 15982815 edges, 5084 markings/sec, 975 secs
lola: 5465034 markings, 16059438 edges, 5228 markings/sec, 980 secs
lola: 5492209 markings, 16132836 edges, 5435 markings/sec, 985 secs
lola: 5519974 markings, 16207766 edges, 5553 markings/sec, 990 secs
lola: 5547402 markings, 16284083 edges, 5486 markings/sec, 995 secs
lola: 5573673 markings, 16376327 edges, 5254 markings/sec, 1000 secs
lola: 5598886 markings, 16468675 edges, 5043 markings/sec, 1005 secs
lola: 5626733 markings, 16539930 edges, 5569 markings/sec, 1010 secs
lola: 5654191 markings, 16618330 edges, 5492 markings/sec, 1015 secs
lola: 5683956 markings, 16700970 edges, 5953 markings/sec, 1020 secs
lola: 5713510 markings, 16788564 edges, 5911 markings/sec, 1025 secs
lola: 5744219 markings, 16857194 edges, 6142 markings/sec, 1030 secs
lola: 5773321 markings, 16928572 edges, 5820 markings/sec, 1035 secs
lola: 5796381 markings, 17021569 edges, 4612 markings/sec, 1040 secs
lola: 5816528 markings, 17115241 edges, 4029 markings/sec, 1045 secs
lola: 5838045 markings, 17200349 edges, 4303 markings/sec, 1050 secs
lola: 5858580 markings, 17285163 edges, 4107 markings/sec, 1055 secs
lola: 5881225 markings, 17366745 edges, 4529 markings/sec, 1060 secs
lola: 5905217 markings, 17443239 edges, 4798 markings/sec, 1065 secs
lola: 5933099 markings, 17514521 edges, 5576 markings/sec, 1070 secs
lola: 5960690 markings, 17593533 edges, 5518 markings/sec, 1075 secs
lola: 5986107 markings, 17675190 edges, 5083 markings/sec, 1080 secs
lola: 6014282 markings, 17758742 edges, 5635 markings/sec, 1085 secs
lola: 6041623 markings, 17831033 edges, 5468 markings/sec, 1090 secs
lola: 6069371 markings, 17913755 edges, 5550 markings/sec, 1095 secs
lola: 6099258 markings, 17995712 edges, 5977 markings/sec, 1100 secs
lola: 6131245 markings, 18071667 edges, 6397 markings/sec, 1105 secs
lola: 6161820 markings, 18140363 edges, 6115 markings/sec, 1110 secs
lola: 6188743 markings, 18223099 edges, 5385 markings/sec, 1115 secs
lola: 6214988 markings, 18303677 edges, 5249 markings/sec, 1120 secs
lola: 6241889 markings, 18376678 edges, 5380 markings/sec, 1125 secs
lola: 6268883 markings, 18453274 edges, 5399 markings/sec, 1130 secs
lola: 6296336 markings, 18534630 edges, 5491 markings/sec, 1135 secs
lola: 6320094 markings, 18636874 edges, 4752 markings/sec, 1140 secs
lola: 6339348 markings, 18745233 edges, 3851 markings/sec, 1145 secs
lola: 6362774 markings, 18826483 edges, 4685 markings/sec, 1150 secs
lola: 6387273 markings, 18905588 edges, 4900 markings/sec, 1155 secs
lola: 6412311 markings, 18985552 edges, 5008 markings/sec, 1160 secs
lola: 6436718 markings, 19063253 edges, 4881 markings/sec, 1165 secs
lola: 6461783 markings, 19143301 edges, 5013 markings/sec, 1170 secs
lola: 6486866 markings, 19223459 edges, 5017 markings/sec, 1175 secs
lola: 6512185 markings, 19303454 edges, 5064 markings/sec, 1180 secs
lola: 6536662 markings, 19382503 edges, 4895 markings/sec, 1185 secs
lola: 6562869 markings, 19466093 edges, 5241 markings/sec, 1190 secs
lola: 6589821 markings, 19548330 edges, 5390 markings/sec, 1195 secs
lola: 6617726 markings, 19625432 edges, 5581 markings/sec, 1200 secs
lola: 6645066 markings, 19700520 edges, 5468 markings/sec, 1205 secs
lola: 6672843 markings, 19786579 edges, 5555 markings/sec, 1210 secs
lola: 6698348 markings, 19881417 edges, 5101 markings/sec, 1215 secs
lola: 6721975 markings, 19969682 edges, 4725 markings/sec, 1220 secs
lola: 6750748 markings, 20058348 edges, 5755 markings/sec, 1225 secs
lola: 6776669 markings, 20158334 edges, 5184 markings/sec, 1230 secs
lola: 6803163 markings, 20246571 edges, 5299 markings/sec, 1235 secs
lola: 6831239 markings, 20331850 edges, 5615 markings/sec, 1240 secs
lola: 6860667 markings, 20432518 edges, 5886 markings/sec, 1245 secs
lola: 6889242 markings, 20521334 edges, 5715 markings/sec, 1250 secs
lola: 6915995 markings, 20606349 edges, 5351 markings/sec, 1255 secs
lola: 6941170 markings, 20694910 edges, 5035 markings/sec, 1260 secs
lola: 6967280 markings, 20779277 edges, 5222 markings/sec, 1265 secs
lola: 6992151 markings, 20866081 edges, 4974 markings/sec, 1270 secs
lola: 7018569 markings, 20953007 edges, 5284 markings/sec, 1275 secs
lola: 7045529 markings, 21040515 edges, 5392 markings/sec, 1280 secs
lola: 7071248 markings, 21127569 edges, 5144 markings/sec, 1285 secs
lola: 7097868 markings, 21211678 edges, 5324 markings/sec, 1290 secs
lola: 7126567 markings, 21288101 edges, 5740 markings/sec, 1295 secs
lola: 7152754 markings, 21370395 edges, 5237 markings/sec, 1300 secs
lola: 7177023 markings, 21457183 edges, 4854 markings/sec, 1305 secs
lola: 7204990 markings, 21537078 edges, 5593 markings/sec, 1310 secs
lola: 7234546 markings, 21608659 edges, 5911 markings/sec, 1315 secs
lola: 7262611 markings, 21682859 edges, 5613 markings/sec, 1320 secs
lola: 7288767 markings, 21745747 edges, 5231 markings/sec, 1325 secs
lola: 7315943 markings, 21827328 edges, 5435 markings/sec, 1330 secs
lola: 7342807 markings, 21915779 edges, 5373 markings/sec, 1335 secs
lola: 7368923 markings, 22001798 edges, 5223 markings/sec, 1340 secs
lola: 7394658 markings, 22088055 edges, 5147 markings/sec, 1345 secs
lola: 7423106 markings, 22164590 edges, 5690 markings/sec, 1350 secs
lola: 7450699 markings, 22243603 edges, 5519 markings/sec, 1355 secs
lola: 7473976 markings, 22333355 edges, 4655 markings/sec, 1360 secs
lola: 7500959 markings, 22412832 edges, 5397 markings/sec, 1365 secs
lola: 7529331 markings, 22489793 edges, 5674 markings/sec, 1370 secs
lola: 7550813 markings, 22588089 edges, 4296 markings/sec, 1375 secs
lola: 7578041 markings, 22668413 edges, 5446 markings/sec, 1380 secs
lola: 7607184 markings, 22746219 edges, 5829 markings/sec, 1385 secs
lola: 7631956 markings, 22834174 edges, 4954 markings/sec, 1390 secs
lola: 7659663 markings, 22920103 edges, 5541 markings/sec, 1395 secs
lola: 7686255 markings, 23010154 edges, 5318 markings/sec, 1400 secs
lola: 7712479 markings, 23099835 edges, 5245 markings/sec, 1405 secs
lola: 7737612 markings, 23193520 edges, 5027 markings/sec, 1410 secs
lola: 7765608 markings, 23277729 edges, 5599 markings/sec, 1415 secs
lola: 7795506 markings, 23351652 edges, 5980 markings/sec, 1420 secs
lola: 7821701 markings, 23436914 edges, 5239 markings/sec, 1425 secs
lola: 7849088 markings, 23525073 edges, 5477 markings/sec, 1430 secs
lola: 7874964 markings, 23615814 edges, 5175 markings/sec, 1435 secs
lola: 7901070 markings, 23705023 edges, 5221 markings/sec, 1440 secs
lola: 7924432 markings, 23798157 edges, 4672 markings/sec, 1445 secs
lola: 7952276 markings, 23877508 edges, 5569 markings/sec, 1450 secs
lola: 7982244 markings, 23953678 edges, 5994 markings/sec, 1455 secs
lola: 8008268 markings, 24038020 edges, 5205 markings/sec, 1460 secs
lola: 8037223 markings, 24115043 edges, 5791 markings/sec, 1465 secs
lola: 8063732 markings, 24202914 edges, 5302 markings/sec, 1470 secs
lola: 8084015 markings, 24281390 edges, 4057 markings/sec, 1475 secs
lola: 8106043 markings, 24355790 edges, 4406 markings/sec, 1480 secs
lola: 8131523 markings, 24444230 edges, 5096 markings/sec, 1485 secs
lola: 8159531 markings, 24535726 edges, 5602 markings/sec, 1490 secs
lola: 8186665 markings, 24630488 edges, 5427 markings/sec, 1495 secs
lola: 8213676 markings, 24722730 edges, 5402 markings/sec, 1500 secs
lola: 8241061 markings, 24818614 edges, 5477 markings/sec, 1505 secs
lola: 8265254 markings, 24908777 edges, 4839 markings/sec, 1510 secs
lola: 8290799 markings, 24999263 edges, 5109 markings/sec, 1515 secs
lola: 8310984 markings, 25085511 edges, 4037 markings/sec, 1520 secs
lola: 8332543 markings, 25179233 edges, 4312 markings/sec, 1525 secs
lola: 8356371 markings, 25271680 edges, 4766 markings/sec, 1530 secs
lola: 8378970 markings, 25356388 edges, 4520 markings/sec, 1535 secs
lola: 8401073 markings, 25432215 edges, 4421 markings/sec, 1540 secs
lola: 8426027 markings, 25512864 edges, 4991 markings/sec, 1545 secs
lola: 8451300 markings, 25594111 edges, 5055 markings/sec, 1550 secs
lola: 8473069 markings, 25665659 edges, 4354 markings/sec, 1555 secs
lola: 8496243 markings, 25752617 edges, 4635 markings/sec, 1560 secs
lola: 8521212 markings, 25833077 edges, 4994 markings/sec, 1565 secs
lola: 8544524 markings, 25908234 edges, 4662 markings/sec, 1570 secs
lola: 8568002 markings, 25983482 edges, 4696 markings/sec, 1575 secs
lola: 8593488 markings, 26065393 edges, 5097 markings/sec, 1580 secs
lola: 8617962 markings, 26127816 edges, 4895 markings/sec, 1585 secs
lola: 8642790 markings, 26193994 edges, 4966 markings/sec, 1590 secs
lola: 8667086 markings, 26264550 edges, 4859 markings/sec, 1595 secs
lola: 8691723 markings, 26341291 edges, 4927 markings/sec, 1600 secs
lola: 8716702 markings, 26418207 edges, 4996 markings/sec, 1605 secs
lola: 8741096 markings, 26504113 edges, 4879 markings/sec, 1610 secs
lola: 8764457 markings, 26590173 edges, 4672 markings/sec, 1615 secs
lola: 8783936 markings, 26670616 edges, 3896 markings/sec, 1620 secs
lola: 8812848 markings, 26767965 edges, 5782 markings/sec, 1625 secs
lola: 8840414 markings, 26866098 edges, 5513 markings/sec, 1630 secs
lola: 8868035 markings, 26962915 edges, 5524 markings/sec, 1635 secs
lola: 8895151 markings, 27060951 edges, 5423 markings/sec, 1640 secs
lola: 8920134 markings, 27147186 edges, 4997 markings/sec, 1645 secs
lola: 8941716 markings, 27216773 edges, 4316 markings/sec, 1650 secs
lola: 8966800 markings, 27297642 edges, 5017 markings/sec, 1655 secs
lola: 8991743 markings, 27377853 edges, 4989 markings/sec, 1660 secs
lola: 9016994 markings, 27459198 edges, 5050 markings/sec, 1665 secs
lola: 9040418 markings, 27534693 edges, 4685 markings/sec, 1670 secs
lola: 9063364 markings, 27608383 edges, 4589 markings/sec, 1675 secs
lola: 9088284 markings, 27688384 edges, 4984 markings/sec, 1680 secs
lola: 9113267 markings, 27768905 edges, 4997 markings/sec, 1685 secs
lola: 9135659 markings, 27840825 edges, 4478 markings/sec, 1690 secs
lola: 9159655 markings, 27917523 edges, 4799 markings/sec, 1695 secs
lola: 9186184 markings, 27999231 edges, 5306 markings/sec, 1700 secs
lola: 9208377 markings, 28071197 edges, 4439 markings/sec, 1705 secs
lola: 9233853 markings, 28152451 edges, 5095 markings/sec, 1710 secs
lola: 9259090 markings, 28232916 edges, 5047 markings/sec, 1715 secs
lola: 9281759 markings, 28304529 edges, 4534 markings/sec, 1720 secs
lola: 9310553 markings, 28397050 edges, 5759 markings/sec, 1725 secs
lola: 9337509 markings, 28495981 edges, 5391 markings/sec, 1730 secs
lola: 9364763 markings, 28584547 edges, 5451 markings/sec, 1735 secs
lola: 9393224 markings, 28677487 edges, 5692 markings/sec, 1740 secs
lola: 9421189 markings, 28776725 edges, 5593 markings/sec, 1745 secs
lola: 9451035 markings, 28862391 edges, 5969 markings/sec, 1750 secs
lola: 9477819 markings, 28949144 edges, 5357 markings/sec, 1755 secs
lola: 9504052 markings, 29037280 edges, 5247 markings/sec, 1760 secs
lola: 9529791 markings, 29124691 edges, 5148 markings/sec, 1765 secs
lola: 9555874 markings, 29213209 edges, 5217 markings/sec, 1770 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown unknown
lola: memory consumption: 2962852 KB
lola: time consumption: 1793 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1776 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p477)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p477)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1317)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1317)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: 28347 markings, 64448 edges, 5669 markings/sec, 0 secs
lola: 62142 markings, 142397 edges, 6759 markings/sec, 5 secs
lola: 95162 markings, 224400 edges, 6604 markings/sec, 10 secs
lola: 124871 markings, 328871 edges, 5942 markings/sec, 15 secs
lola: 155120 markings, 425190 edges, 6050 markings/sec, 20 secs
lola: 183964 markings, 519846 edges, 5769 markings/sec, 25 secs
lola: 211832 markings, 605775 edges, 5574 markings/sec, 30 secs
lola: 240221 markings, 691197 edges, 5678 markings/sec, 35 secs
lola: 268569 markings, 777599 edges, 5670 markings/sec, 40 secs
lola: 297395 markings, 861096 edges, 5765 markings/sec, 45 secs
lola: 328030 markings, 940232 edges, 6127 markings/sec, 50 secs
lola: 357644 markings, 1018304 edges, 5923 markings/sec, 55 secs
lola: 387924 markings, 1096425 edges, 6056 markings/sec, 60 secs
lola: 415582 markings, 1177454 edges, 5532 markings/sec, 65 secs
lola: 443554 markings, 1258749 edges, 5594 markings/sec, 70 secs
lola: 473024 markings, 1338185 edges, 5894 markings/sec, 75 secs
lola: 501861 markings, 1416842 edges, 5767 markings/sec, 80 secs
lola: 529378 markings, 1509821 edges, 5503 markings/sec, 85 secs
lola: 555604 markings, 1594611 edges, 5245 markings/sec, 90 secs
lola: 581576 markings, 1683158 edges, 5194 markings/sec, 95 secs
lola: 610518 markings, 1772047 edges, 5788 markings/sec, 100 secs
lola: 637843 markings, 1858412 edges, 5465 markings/sec, 105 secs
lola: 666795 markings, 1930361 edges, 5790 markings/sec, 110 secs
lola: 694209 markings, 2009617 edges, 5483 markings/sec, 115 secs
lola: 721642 markings, 2094852 edges, 5487 markings/sec, 120 secs
lola: 750036 markings, 2175252 edges, 5679 markings/sec, 125 secs
lola: 780572 markings, 2253889 edges, 6107 markings/sec, 130 secs
lola: 808356 markings, 2333357 edges, 5557 markings/sec, 135 secs
lola: 839808 markings, 2409226 edges, 6290 markings/sec, 140 secs
lola: 867671 markings, 2492403 edges, 5573 markings/sec, 145 secs
lola: 893972 markings, 2577618 edges, 5260 markings/sec, 150 secs
lola: 920283 markings, 2660729 edges, 5262 markings/sec, 155 secs
lola: 948156 markings, 2742073 edges, 5575 markings/sec, 160 secs
lola: 978873 markings, 2817610 edges, 6143 markings/sec, 165 secs
lola: 1006882 markings, 2902211 edges, 5602 markings/sec, 170 secs
lola: 1036223 markings, 2977575 edges, 5868 markings/sec, 175 secs
lola: 1067024 markings, 3052083 edges, 6160 markings/sec, 180 secs
lola: 1094641 markings, 3129209 edges, 5523 markings/sec, 185 secs
lola: 1121834 markings, 3211803 edges, 5439 markings/sec, 190 secs
lola: 1147527 markings, 3298672 edges, 5139 markings/sec, 195 secs
lola: 1174236 markings, 3377425 edges, 5342 markings/sec, 200 secs
lola: 1201204 markings, 3459308 edges, 5394 markings/sec, 205 secs
lola: 1229038 markings, 3537835 edges, 5567 markings/sec, 210 secs
lola: 1258091 markings, 3612479 edges, 5811 markings/sec, 215 secs
lola: 1289103 markings, 3690951 edges, 6202 markings/sec, 220 secs
lola: 1315359 markings, 3776555 edges, 5251 markings/sec, 225 secs
lola: 1343128 markings, 3856329 edges, 5554 markings/sec, 230 secs
lola: 1371296 markings, 3938680 edges, 5634 markings/sec, 235 secs
lola: 1398939 markings, 4029735 edges, 5529 markings/sec, 240 secs
lola: 1426861 markings, 4110212 edges, 5584 markings/sec, 245 secs
lola: 1455537 markings, 4180643 edges, 5735 markings/sec, 250 secs
lola: 1484177 markings, 4255975 edges, 5728 markings/sec, 255 secs
lola: 1510145 markings, 4332316 edges, 5194 markings/sec, 260 secs
lola: 1538321 markings, 4412938 edges, 5635 markings/sec, 265 secs
lola: 1565071 markings, 4496678 edges, 5350 markings/sec, 270 secs
lola: 1593847 markings, 4569770 edges, 5755 markings/sec, 275 secs
lola: 1621813 markings, 4645649 edges, 5593 markings/sec, 280 secs
lola: 1653210 markings, 4718638 edges, 6279 markings/sec, 285 secs
lola: 1684517 markings, 4792492 edges, 6261 markings/sec, 290 secs
lola: 1713414 markings, 4872534 edges, 5779 markings/sec, 295 secs
lola: 1741716 markings, 4948081 edges, 5660 markings/sec, 300 secs
lola: 1767466 markings, 5035174 edges, 5150 markings/sec, 305 secs
lola: 1794997 markings, 5112871 edges, 5506 markings/sec, 310 secs
lola: 1823265 markings, 5181636 edges, 5654 markings/sec, 315 secs
lola: 1847746 markings, 5274318 edges, 4896 markings/sec, 320 secs
lola: 1874490 markings, 5357964 edges, 5349 markings/sec, 325 secs
lola: 1901378 markings, 5439495 edges, 5378 markings/sec, 330 secs
lola: 1928889 markings, 5514897 edges, 5502 markings/sec, 335 secs
lola: 1957977 markings, 5588739 edges, 5818 markings/sec, 340 secs
lola: 1988729 markings, 5666039 edges, 6150 markings/sec, 345 secs
lola: 2018690 markings, 5744352 edges, 5992 markings/sec, 350 secs
lola: 2045070 markings, 5832085 edges, 5276 markings/sec, 355 secs
lola: 2073198 markings, 5907971 edges, 5626 markings/sec, 360 secs
lola: 2102527 markings, 5984604 edges, 5866 markings/sec, 365 secs
lola: 2132754 markings, 6058643 edges, 6045 markings/sec, 370 secs
lola: 2159390 markings, 6139129 edges, 5327 markings/sec, 375 secs
lola: 2187794 markings, 6203924 edges, 5681 markings/sec, 380 secs
lola: 2211966 markings, 6291888 edges, 4834 markings/sec, 385 secs
lola: 2236962 markings, 6378645 edges, 4999 markings/sec, 390 secs
lola: 2263554 markings, 6462857 edges, 5318 markings/sec, 395 secs
lola: 2292032 markings, 6549460 edges, 5696 markings/sec, 400 secs
lola: 2318333 markings, 6633653 edges, 5260 markings/sec, 405 secs
lola: 2345247 markings, 6713004 edges, 5383 markings/sec, 410 secs
lola: 2374150 markings, 6784924 edges, 5781 markings/sec, 415 secs
lola: 2401689 markings, 6865124 edges, 5508 markings/sec, 420 secs
lola: 2427691 markings, 6947847 edges, 5200 markings/sec, 425 secs
lola: 2455788 markings, 7036167 edges, 5619 markings/sec, 430 secs
lola: 2482165 markings, 7120018 edges, 5275 markings/sec, 435 secs
lola: 2509571 markings, 7199861 edges, 5481 markings/sec, 440 secs
lola: 2537153 markings, 7275590 edges, 5516 markings/sec, 445 secs
lola: 2564600 markings, 7354567 edges, 5489 markings/sec, 450 secs
lola: 2591047 markings, 7433711 edges, 5289 markings/sec, 455 secs
lola: 2618004 markings, 7518733 edges, 5391 markings/sec, 460 secs
lola: 2646345 markings, 7593083 edges, 5668 markings/sec, 465 secs
lola: 2675031 markings, 7674770 edges, 5737 markings/sec, 470 secs
lola: 2706083 markings, 7751765 edges, 6210 markings/sec, 475 secs
lola: 2737436 markings, 7824060 edges, 6271 markings/sec, 480 secs
lola: 2766717 markings, 7894665 edges, 5856 markings/sec, 485 secs
lola: 2789816 markings, 7993104 edges, 4620 markings/sec, 490 secs
lola: 2815379 markings, 8085553 edges, 5113 markings/sec, 495 secs
lola: 2841942 markings, 8169606 edges, 5313 markings/sec, 500 secs
lola: 2865921 markings, 8260926 edges, 4796 markings/sec, 505 secs
lola: 2891970 markings, 8345272 edges, 5210 markings/sec, 510 secs
lola: 2917307 markings, 8427289 edges, 5067 markings/sec, 515 secs
lola: 2942290 markings, 8508011 edges, 4997 markings/sec, 520 secs
lola: 2967472 markings, 8591039 edges, 5036 markings/sec, 525 secs
lola: 2993938 markings, 8666805 edges, 5293 markings/sec, 530 secs
lola: 3021630 markings, 8739282 edges, 5538 markings/sec, 535 secs
lola: 3049521 markings, 8811295 edges, 5578 markings/sec, 540 secs
lola: 3075390 markings, 8893373 edges, 5174 markings/sec, 545 secs
lola: 3101599 markings, 8972142 edges, 5242 markings/sec, 550 secs
lola: 3126852 markings, 9056898 edges, 5051 markings/sec, 555 secs
lola: 3153805 markings, 9137895 edges, 5391 markings/sec, 560 secs
lola: 3179739 markings, 9223155 edges, 5187 markings/sec, 565 secs
lola: 3207798 markings, 9297189 edges, 5612 markings/sec, 570 secs
lola: 3236325 markings, 9377121 edges, 5705 markings/sec, 575 secs
lola: 3267279 markings, 9455377 edges, 6191 markings/sec, 580 secs
lola: 3298346 markings, 9525373 edges, 6213 markings/sec, 585 secs
lola: 3328441 markings, 9594202 edges, 6019 markings/sec, 590 secs
lola: 3352859 markings, 9688734 edges, 4884 markings/sec, 595 secs
lola: 3376329 markings, 9776905 edges, 4694 markings/sec, 600 secs
lola: 3402167 markings, 9860409 edges, 5168 markings/sec, 605 secs
lola: 3428919 markings, 9946104 edges, 5350 markings/sec, 610 secs
lola: 3455303 markings, 10029295 edges, 5277 markings/sec, 615 secs
lola: 3483271 markings, 10118016 edges, 5594 markings/sec, 620 secs
lola: 3511134 markings, 10207362 edges, 5573 markings/sec, 625 secs
lola: 3539124 markings, 10285210 edges, 5598 markings/sec, 630 secs
lola: 3566508 markings, 10355538 edges, 5477 markings/sec, 635 secs
lola: 3594778 markings, 10426126 edges, 5654 markings/sec, 640 secs
lola: 3621163 markings, 10504364 edges, 5277 markings/sec, 645 secs
lola: 3646927 markings, 10585816 edges, 5153 markings/sec, 650 secs
lola: 3674245 markings, 10663378 edges, 5464 markings/sec, 655 secs
lola: 3700978 markings, 10745484 edges, 5347 markings/sec, 660 secs
lola: 3728432 markings, 10832176 edges, 5491 markings/sec, 665 secs
lola: 3756093 markings, 10911405 edges, 5532 markings/sec, 670 secs
lola: 3781009 markings, 10996546 edges, 4983 markings/sec, 675 secs
lola: 3806276 markings, 11079695 edges, 5053 markings/sec, 680 secs
lola: 3832710 markings, 11164741 edges, 5287 markings/sec, 685 secs
lola: 3860317 markings, 11254865 edges, 5521 markings/sec, 690 secs
lola: 3887440 markings, 11342198 edges, 5425 markings/sec, 695 secs
lola: 3915427 markings, 11418689 edges, 5597 markings/sec, 700 secs
lola: 3942445 markings, 11488917 edges, 5404 markings/sec, 705 secs
lola: 3970527 markings, 11557872 edges, 5616 markings/sec, 710 secs
lola: 3996726 markings, 11634627 edges, 5240 markings/sec, 715 secs
lola: 4021869 markings, 11715759 edges, 5029 markings/sec, 720 secs
lola: 4048591 markings, 11791339 edges, 5344 markings/sec, 725 secs
lola: 4074846 markings, 11871619 edges, 5251 markings/sec, 730 secs
lola: 4100789 markings, 11956498 edges, 5189 markings/sec, 735 secs
lola: 4126037 markings, 12036912 edges, 5050 markings/sec, 740 secs
lola: 4151775 markings, 12107158 edges, 5148 markings/sec, 745 secs
lola: 4177018 markings, 12182998 edges, 5049 markings/sec, 750 secs
lola: 4202540 markings, 12264971 edges, 5104 markings/sec, 755 secs
lola: 4228271 markings, 12336199 edges, 5146 markings/sec, 760 secs
lola: 4253362 markings, 12412194 edges, 5018 markings/sec, 765 secs
lola: 4282425 markings, 12493138 edges, 5813 markings/sec, 770 secs
lola: 4311810 markings, 12575443 edges, 5877 markings/sec, 775 secs
lola: 4342522 markings, 12655384 edges, 6142 markings/sec, 780 secs
lola: 4369047 markings, 12736099 edges, 5305 markings/sec, 785 secs
lola: 4396879 markings, 12816239 edges, 5566 markings/sec, 790 secs
lola: 4422388 markings, 12898188 edges, 5102 markings/sec, 795 secs
lola: 4446352 markings, 12976381 edges, 4793 markings/sec, 800 secs
lola: 4471849 markings, 13055373 edges, 5099 markings/sec, 805 secs
lola: 4499283 markings, 13122713 edges, 5487 markings/sec, 810 secs
lola: 4526982 markings, 13190727 edges, 5540 markings/sec, 815 secs
lola: 4552821 markings, 13266955 edges, 5168 markings/sec, 820 secs
lola: 4581300 markings, 13334967 edges, 5696 markings/sec, 825 secs
lola: 4607309 markings, 13414154 edges, 5202 markings/sec, 830 secs
lola: 4634670 markings, 13488193 edges, 5472 markings/sec, 835 secs
lola: 4659504 markings, 13569472 edges, 4967 markings/sec, 840 secs
lola: 4684347 markings, 13652792 edges, 4969 markings/sec, 845 secs
lola: 4711722 markings, 13729025 edges, 5475 markings/sec, 850 secs
lola: 4738599 markings, 13809706 edges, 5375 markings/sec, 855 secs
lola: 4764949 markings, 13895462 edges, 5270 markings/sec, 860 secs
lola: 4790259 markings, 13987093 edges, 5062 markings/sec, 865 secs
lola: 4818629 markings, 14067283 edges, 5674 markings/sec, 870 secs
lola: 4846579 markings, 14145808 edges, 5590 markings/sec, 875 secs
lola: 4872565 markings, 14216999 edges, 5197 markings/sec, 880 secs
lola: 4899422 markings, 14297597 edges, 5371 markings/sec, 885 secs
lola: 4925277 markings, 14379659 edges, 5171 markings/sec, 890 secs
lola: 4951545 markings, 14453344 edges, 5254 markings/sec, 895 secs
lola: 4978380 markings, 14527221 edges, 5367 markings/sec, 900 secs
lola: 5007327 markings, 14607540 edges, 5789 markings/sec, 905 secs
lola: 5038357 markings, 14686134 edges, 6206 markings/sec, 910 secs
lola: 5068561 markings, 14766044 edges, 6041 markings/sec, 915 secs
lola: 5097929 markings, 14845080 edges, 5874 markings/sec, 920 secs
lola: 5123136 markings, 14937748 edges, 5041 markings/sec, 925 secs
lola: 5145423 markings, 15036345 edges, 4457 markings/sec, 930 secs
lola: 5170083 markings, 15124019 edges, 4932 markings/sec, 935 secs
lola: 5195924 markings, 15206436 edges, 5168 markings/sec, 940 secs
lola: 5221764 markings, 15288982 edges, 5168 markings/sec, 945 secs
lola: 5248697 markings, 15375193 edges, 5387 markings/sec, 950 secs
lola: 5275994 markings, 15462274 edges, 5459 markings/sec, 955 secs
lola: 5304982 markings, 15526365 edges, 5798 markings/sec, 960 secs
lola: 5332203 markings, 15604376 edges, 5444 markings/sec, 965 secs
lola: 5355104 markings, 15700331 edges, 4580 markings/sec, 970 secs
lola: 5379983 markings, 15795061 edges, 4976 markings/sec, 975 secs
lola: 5407017 markings, 15881094 edges, 5407 markings/sec, 980 secs
lola: 5431698 markings, 15960239 edges, 4936 markings/sec, 985 secs
lola: 5457078 markings, 16037279 edges, 5076 markings/sec, 990 secs
lola: 5483079 markings, 16107893 edges, 5200 markings/sec, 995 secs
lola: 5510242 markings, 16184077 edges, 5433 markings/sec, 1000 secs
lola: 5536807 markings, 16254490 edges, 5313 markings/sec, 1005 secs
lola: 5563573 markings, 16338032 edges, 5353 markings/sec, 1010 secs
lola: 5588148 markings, 16427387 edges, 4915 markings/sec, 1015 secs
lola: 5614602 markings, 16508825 edges, 5291 markings/sec, 1020 secs
lola: 5641326 markings, 16581371 edges, 5345 markings/sec, 1025 secs
lola: 5669140 markings, 16664663 edges, 5563 markings/sec, 1030 secs
lola: 5696980 markings, 16751061 edges, 5568 markings/sec, 1035 secs
lola: 5728422 markings, 16821566 edges, 6288 markings/sec, 1040 secs
lola: 5758463 markings, 16889254 edges, 6008 markings/sec, 1045 secs
lola: 5782432 markings, 16971007 edges, 4794 markings/sec, 1050 secs
lola: 5806448 markings, 17058922 edges, 4803 markings/sec, 1055 secs
lola: 5823121 markings, 17152060 edges, 3335 markings/sec, 1060 secs
lola: 5845999 markings, 17230418 edges, 4576 markings/sec, 1065 secs
lola: 5865858 markings, 17310810 edges, 3972 markings/sec, 1070 secs
lola: 5888792 markings, 17390622 edges, 4587 markings/sec, 1075 secs
lola: 5913203 markings, 17463088 edges, 4882 markings/sec, 1080 secs
lola: 5939807 markings, 17533583 edges, 5321 markings/sec, 1085 secs
lola: 5966447 markings, 17612353 edges, 5328 markings/sec, 1090 secs
lola: 5991913 markings, 17693533 edges, 5093 markings/sec, 1095 secs
lola: 6019434 markings, 17771098 edges, 5504 markings/sec, 1100 secs
lola: 6046082 markings, 17843344 edges, 5330 markings/sec, 1105 secs
lola: 6073326 markings, 17926480 edges, 5449 markings/sec, 1110 secs
lola: 6102731 markings, 18007025 edges, 5881 markings/sec, 1115 secs
lola: 6134510 markings, 18078842 edges, 6356 markings/sec, 1120 secs
lola: 6164400 markings, 18146301 edges, 5978 markings/sec, 1125 secs
lola: 6189149 markings, 18224792 edges, 4950 markings/sec, 1130 secs
lola: 6214833 markings, 18303200 edges, 5137 markings/sec, 1135 secs
lola: 6240782 markings, 18373495 edges, 5190 markings/sec, 1140 secs
lola: 6265731 markings, 18444096 edges, 4990 markings/sec, 1145 secs
lola: 6292905 markings, 18523791 edges, 5435 markings/sec, 1150 secs
lola: 6317621 markings, 18618844 edges, 4943 markings/sec, 1155 secs
lola: 6334957 markings, 18726988 edges, 3467 markings/sec, 1160 secs
lola: 6357499 markings, 18810411 edges, 4508 markings/sec, 1165 secs
lola: 6380682 markings, 18884145 edges, 4637 markings/sec, 1170 secs
lola: 6405057 markings, 18962232 edges, 4875 markings/sec, 1175 secs
lola: 6427435 markings, 19033846 edges, 4476 markings/sec, 1180 secs
lola: 6451167 markings, 19109371 edges, 4746 markings/sec, 1185 secs
lola: 6474857 markings, 19185082 edges, 4738 markings/sec, 1190 secs
lola: 6498579 markings, 19260332 edges, 4744 markings/sec, 1195 secs
lola: 6522785 markings, 19338315 edges, 4841 markings/sec, 1200 secs
lola: 6548586 markings, 19420591 edges, 5160 markings/sec, 1205 secs
lola: 6574821 markings, 19503846 edges, 5247 markings/sec, 1210 secs
lola: 6601999 markings, 19587343 edges, 5436 markings/sec, 1215 secs
lola: 6628996 markings, 19655594 edges, 5399 markings/sec, 1220 secs
lola: 6655367 markings, 19730591 edges, 5274 markings/sec, 1225 secs
lola: 6681651 markings, 19818903 edges, 5257 markings/sec, 1230 secs
lola: 6705550 markings, 19907950 edges, 4780 markings/sec, 1235 secs
lola: 6728551 markings, 19990591 edges, 4600 markings/sec, 1240 secs
lola: 6755891 markings, 20078051 edges, 5468 markings/sec, 1245 secs
lola: 6780995 markings, 20172238 edges, 5021 markings/sec, 1250 secs
lola: 6806088 markings, 20256539 edges, 5019 markings/sec, 1255 secs
lola: 6833055 markings, 20339488 edges, 5393 markings/sec, 1260 secs
lola: 6861470 markings, 20434929 edges, 5683 markings/sec, 1265 secs
lola: 6888884 markings, 20520208 edges, 5483 markings/sec, 1270 secs
lola: 6914359 markings, 20600716 edges, 5095 markings/sec, 1275 secs
lola: 6938240 markings, 20686124 edges, 4776 markings/sec, 1280 secs
lola: 6963261 markings, 20765488 edges, 5004 markings/sec, 1285 secs
lola: 6987134 markings, 20845884 edges, 4775 markings/sec, 1290 secs
lola: 7011589 markings, 20930445 edges, 4891 markings/sec, 1295 secs
lola: 7037119 markings, 21016643 edges, 5106 markings/sec, 1300 secs
lola: 7062607 markings, 21098208 edges, 5098 markings/sec, 1305 secs
lola: 7087213 markings, 21181896 edges, 4921 markings/sec, 1310 secs
lola: 7114231 markings, 21258514 edges, 5404 markings/sec, 1315 secs
lola: 7142597 markings, 21327573 edges, 5673 markings/sec, 1320 secs
lola: 7164426 markings, 21414591 edges, 4366 markings/sec, 1325 secs
lola: 7189893 markings, 21494286 edges, 5093 markings/sec, 1330 secs
lola: 7217693 markings, 21567350 edges, 5560 markings/sec, 1335 secs
lola: 7244992 markings, 21640436 edges, 5460 markings/sec, 1340 secs
lola: 7273236 markings, 21708376 edges, 5649 markings/sec, 1345 secs
lola: 7300532 markings, 21778291 edges, 5459 markings/sec, 1350 secs
lola: 7326491 markings, 21862746 edges, 5192 markings/sec, 1355 secs
lola: 7352433 markings, 21945917 edges, 5188 markings/sec, 1360 secs
lola: 7377252 markings, 22030180 edges, 4964 markings/sec, 1365 secs
lola: 7402766 markings, 22109719 edges, 5103 markings/sec, 1370 secs
lola: 7430567 markings, 22182084 edges, 5560 markings/sec, 1375 secs
lola: 7455018 markings, 22264625 edges, 4890 markings/sec, 1380 secs
lola: 7477861 markings, 22346434 edges, 4569 markings/sec, 1385 secs
lola: 7504253 markings, 22420967 edges, 5278 markings/sec, 1390 secs
lola: 7530769 markings, 22497944 edges, 5303 markings/sec, 1395 secs
lola: 7551406 markings, 22590016 edges, 4127 markings/sec, 1400 secs
lola: 7577287 markings, 22666786 edges, 5176 markings/sec, 1405 secs
lola: 7605869 markings, 22740334 edges, 5716 markings/sec, 1410 secs
lola: 7629418 markings, 22825438 edges, 4710 markings/sec, 1415 secs
lola: 7655855 markings, 22905518 edges, 5287 markings/sec, 1420 secs
lola: 7681425 markings, 22993735 edges, 5114 markings/sec, 1425 secs
lola: 7706794 markings, 23080598 edges, 5074 markings/sec, 1430 secs
lola: 7730954 markings, 23170808 edges, 4832 markings/sec, 1435 secs
lola: 7756278 markings, 23256170 edges, 5065 markings/sec, 1440 secs
lola: 7785742 markings, 23327804 edges, 5893 markings/sec, 1445 secs
lola: 7812050 markings, 23403948 edges, 5262 markings/sec, 1450 secs
lola: 7837811 markings, 23491760 edges, 5152 markings/sec, 1455 secs
lola: 7864070 markings, 23575458 edges, 5252 markings/sec, 1460 secs
lola: 7888839 markings, 23664113 edges, 4954 markings/sec, 1465 secs
lola: 7912068 markings, 23756409 edges, 4646 markings/sec, 1470 secs
lola: 7937159 markings, 23834731 edges, 5018 markings/sec, 1475 secs
lola: 7965283 markings, 23908451 edges, 5625 markings/sec, 1480 secs
lola: 7991775 markings, 23988404 edges, 5298 markings/sec, 1485 secs
lola: 8016680 markings, 24066006 edges, 4981 markings/sec, 1490 secs
lola: 8046336 markings, 24136876 edges, 5931 markings/sec, 1495 secs
lola: 8068485 markings, 24228285 edges, 4430 markings/sec, 1500 secs
lola: 8088172 markings, 24295211 edges, 3937 markings/sec, 1505 secs
lola: 8109662 markings, 24366905 edges, 4298 markings/sec, 1510 secs
lola: 8134042 markings, 24452324 edges, 4876 markings/sec, 1515 secs
lola: 8161644 markings, 24542226 edges, 5520 markings/sec, 1520 secs
lola: 8187592 markings, 24633522 edges, 5190 markings/sec, 1525 secs
lola: 8213691 markings, 24722795 edges, 5220 markings/sec, 1530 secs
lola: 8240242 markings, 24815747 edges, 5310 markings/sec, 1535 secs
lola: 8263795 markings, 24902629 edges, 4711 markings/sec, 1540 secs
lola: 8288450 markings, 24989329 edges, 4931 markings/sec, 1545 secs
lola: 8308759 markings, 25071793 edges, 4062 markings/sec, 1550 secs
lola: 8326981 markings, 25161471 edges, 3644 markings/sec, 1555 secs
lola: 8352234 markings, 25251441 edges, 5051 markings/sec, 1560 secs
lola: 8371322 markings, 25331675 edges, 3818 markings/sec, 1565 secs
lola: 8394005 markings, 25409754 edges, 4537 markings/sec, 1570 secs
lola: 8418062 markings, 25487362 edges, 4811 markings/sec, 1575 secs
lola: 8440729 markings, 25559843 edges, 4533 markings/sec, 1580 secs
lola: 8462998 markings, 25631914 edges, 4454 markings/sec, 1585 secs
lola: 8485409 markings, 25717963 edges, 4482 markings/sec, 1590 secs
lola: 8506423 markings, 25785370 edges, 4203 markings/sec, 1595 secs
lola: 8529718 markings, 25860389 edges, 4659 markings/sec, 1600 secs
lola: 8552995 markings, 25935497 edges, 4655 markings/sec, 1605 secs
lola: 8574823 markings, 26005375 edges, 4366 markings/sec, 1610 secs
lola: 8599629 markings, 26082311 edges, 4961 markings/sec, 1615 secs
lola: 8623716 markings, 26141137 edges, 4817 markings/sec, 1620 secs
lola: 8646760 markings, 26208325 edges, 4609 markings/sec, 1625 secs
lola: 8670807 markings, 26276636 edges, 4809 markings/sec, 1630 secs
lola: 8694781 markings, 26351072 edges, 4795 markings/sec, 1635 secs
lola: 8719474 markings, 26426927 edges, 4939 markings/sec, 1640 secs
lola: 8742633 markings, 26510600 edges, 4632 markings/sec, 1645 secs
lola: 8765641 markings, 26594003 edges, 4602 markings/sec, 1650 secs
lola: 8783399 markings, 26668159 edges, 3552 markings/sec, 1655 secs
lola: 8811223 markings, 26759628 edges, 5565 markings/sec, 1660 secs
lola: 8837174 markings, 26854822 edges, 5190 markings/sec, 1665 secs
lola: 8863397 markings, 26946970 edges, 5245 markings/sec, 1670 secs
lola: 8889285 markings, 27040209 edges, 5178 markings/sec, 1675 secs
lola: 8914508 markings, 27128687 edges, 5045 markings/sec, 1680 secs
lola: 8934550 markings, 27193529 edges, 4008 markings/sec, 1685 secs
lola: 8954954 markings, 27260313 edges, 4081 markings/sec, 1690 secs
lola: 8981693 markings, 27345184 edges, 5348 markings/sec, 1695 secs
lola: 9003116 markings, 27414817 edges, 4285 markings/sec, 1700 secs
lola: 9025695 markings, 27487155 edges, 4516 markings/sec, 1705 secs
lola: 9049546 markings, 27563834 edges, 4770 markings/sec, 1710 secs
lola: 9070638 markings, 27632041 edges, 4218 markings/sec, 1715 secs
lola: 9092909 markings, 27703398 edges, 4454 markings/sec, 1720 secs
lola: 9116721 markings, 27779959 edges, 4762 markings/sec, 1725 secs
lola: 9138021 markings, 27848265 edges, 4260 markings/sec, 1730 secs
lola: 9160224 markings, 27919356 edges, 4441 markings/sec, 1735 secs
lola: 9185475 markings, 27997343 edges, 5050 markings/sec, 1740 secs
lola: 9205601 markings, 28062260 edges, 4025 markings/sec, 1745 secs
lola: 9230625 markings, 28141983 edges, 5005 markings/sec, 1750 secs
lola: 9253062 markings, 28214171 edges, 4487 markings/sec, 1755 secs
lola: 9274258 markings, 28281980 edges, 4239 markings/sec, 1760 secs
lola: 9301555 markings, 28363544 edges, 5459 markings/sec, 1765 secs
lola: 9327008 markings, 28459503 edges, 5091 markings/sec, 1770 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 2891976 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 1 1 1 unknown 1
lola: memory consumption: 2892236 KB
lola: time consumption: 3570 seconds

BK_STOP 1526493926505

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-307"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-307.tgz
mv CloudReconfiguration-PT-307 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-307, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379800044"
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 ;