fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306400352
Last Updated
June 26, 2018

About the Execution of LoLA for BridgeAndVehicles-PT-V80P20N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
457.950 3570603.00 3668770.00 504.90 1 1 80 80 ? 1 80 ? 1 1 1 1 1 1 1 1 normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 252K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 728K 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.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 124K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 353K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 195K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 568K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.4K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 2.3M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V80P20N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400352
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526581056403

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P20N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P20N10 @ 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: 2296/65536 symbol table entries, 15 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(0) : MAX(0) : MAX(ROUTE_B) : MAX(ATTENTE_A) : MAX(SUR_PONT_B) : MAX(0) : MAX(ATTENTE_B) : MAX(SUR_PONT_A) : MAX(NB_ATTENTE_B_37) : MAX(NB_ATTENTE_A_22) : MAX(NB_ATTENTE_B_3) : MAX(NB_ATTENTE_A_71) : MAX(NB_ATTENTE_A_20) : MAX(NB_ATTENTE_B_23) : MAX(NB_ATTENTE_A_52) : MAX(NB_ATTENTE_B_68)
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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-5 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(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-3 80 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(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 20
lola: 8190 markings, 16085 edges, 1638 markings/sec, 0 secs
lola: 16251 markings, 29553 edges, 1612 markings/sec, 5 secs
lola: 24043 markings, 42210 edges, 1558 markings/sec, 10 secs
lola: 31802 markings, 55330 edges, 1552 markings/sec, 15 secs
lola: 39636 markings, 68905 edges, 1567 markings/sec, 20 secs
lola: 47165 markings, 82066 edges, 1506 markings/sec, 25 secs
lola: 55448 markings, 96793 edges, 1657 markings/sec, 30 secs
lola: 64779 markings, 119202 edges, 1866 markings/sec, 35 secs
lola: 74264 markings, 141691 edges, 1897 markings/sec, 40 secs
lola: 83167 markings, 162872 edges, 1781 markings/sec, 45 secs
lola: 89956 markings, 178436 edges, 1358 markings/sec, 50 secs
lola: 97144 markings, 193363 edges, 1438 markings/sec, 55 secs
lola: 104069 markings, 207562 edges, 1385 markings/sec, 60 secs
lola: 111430 markings, 222424 edges, 1472 markings/sec, 65 secs
lola: 119769 markings, 241150 edges, 1668 markings/sec, 70 secs
lola: 129080 markings, 263567 edges, 1862 markings/sec, 75 secs
lola: 138647 markings, 286012 edges, 1913 markings/sec, 80 secs
lola: 147046 markings, 304117 edges, 1680 markings/sec, 85 secs
lola: 154092 markings, 318671 edges, 1409 markings/sec, 90 secs
lola: 161157 markings, 332727 edges, 1413 markings/sec, 95 secs
lola: 168282 markings, 347519 edges, 1425 markings/sec, 100 secs
lola: 176982 markings, 367554 edges, 1740 markings/sec, 105 secs
lola: 186603 markings, 390093 edges, 1924 markings/sec, 110 secs
lola: 195840 markings, 412567 edges, 1847 markings/sec, 115 secs
lola: 203646 markings, 428562 edges, 1561 markings/sec, 120 secs
lola: 210845 markings, 442833 edges, 1440 markings/sec, 125 secs
lola: 217986 markings, 457712 edges, 1428 markings/sec, 130 secs
lola: 225461 markings, 473309 edges, 1495 markings/sec, 135 secs
lola: 235029 markings, 495779 edges, 1914 markings/sec, 140 secs
lola: 244270 markings, 518197 edges, 1848 markings/sec, 145 secs
lola: 253217 markings, 537708 edges, 1789 markings/sec, 150 secs
lola: 260655 markings, 552953 edges, 1488 markings/sec, 155 secs
lola: 267501 markings, 567229 edges, 1369 markings/sec, 160 secs
lola: 274892 markings, 582140 edges, 1478 markings/sec, 165 secs
lola: 283559 markings, 601896 edges, 1733 markings/sec, 170 secs
lola: 292919 markings, 624038 edges, 1872 markings/sec, 175 secs
lola: 301706 markings, 645690 edges, 1757 markings/sec, 180 secs
lola: 309290 markings, 660862 edges, 1517 markings/sec, 185 secs
lola: 316635 markings, 675363 edges, 1469 markings/sec, 190 secs
lola: 323762 markings, 689992 edges, 1425 markings/sec, 195 secs
lola: 331631 markings, 707184 edges, 1574 markings/sec, 200 secs
lola: 340902 markings, 729533 edges, 1854 markings/sec, 205 secs
lola: 350439 markings, 752024 edges, 1907 markings/sec, 210 secs
lola: 358608 markings, 769379 edges, 1634 markings/sec, 215 secs
lola: 365501 markings, 783430 edges, 1379 markings/sec, 220 secs
lola: 372793 markings, 798322 edges, 1458 markings/sec, 225 secs
lola: 380430 markings, 814544 edges, 1527 markings/sec, 230 secs
lola: 389863 markings, 837016 edges, 1887 markings/sec, 235 secs
lola: 399391 markings, 859368 edges, 1906 markings/sec, 240 secs
lola: 407625 markings, 877165 edges, 1647 markings/sec, 245 secs
lola: 414462 markings, 891220 edges, 1367 markings/sec, 250 secs
lola: 421762 markings, 906057 edges, 1460 markings/sec, 255 secs
lola: 429520 markings, 922654 edges, 1552 markings/sec, 260 secs
lola: 438830 markings, 945102 edges, 1862 markings/sec, 265 secs
lola: 448380 markings, 967473 edges, 1910 markings/sec, 270 secs
lola: 456283 markings, 984231 edges, 1581 markings/sec, 275 secs
lola: 463472 markings, 998477 edges, 1438 markings/sec, 280 secs
lola: 470662 markings, 1013259 edges, 1438 markings/sec, 285 secs
lola: 478739 markings, 1031461 edges, 1615 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 80 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 54476 KB
lola: time consumption: 309 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola:
FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-2 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-6 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 20
lola: 12549 markings, 24324 edges, 2510 markings/sec, 0 secs
lola: 24957 markings, 48706 edges, 2482 markings/sec, 5 secs
lola: 51421 markings, 122165 edges, 5293 markings/sec, 10 secs
lola: 68163 markings, 161728 edges, 3348 markings/sec, 15 secs
lola: 81029 markings, 186723 edges, 2573 markings/sec, 20 secs
lola: 99046 markings, 231255 edges, 3603 markings/sec, 25 secs
lola: 123596 markings, 297687 edges, 4910 markings/sec, 30 secs
lola: 136195 markings, 323024 edges, 2520 markings/sec, 35 secs
lola: 148738 markings, 348049 edges, 2509 markings/sec, 40 secs
lola: 175531 markings, 422275 edges, 5359 markings/sec, 45 secs
lola: 191277 markings, 458393 edges, 3149 markings/sec, 50 secs
lola: 203751 markings, 483336 edges, 2495 markings/sec, 55 secs
lola: 231117 markings, 559905 edges, 5473 markings/sec, 60 secs
lola: 245432 markings, 591421 edges, 2863 markings/sec, 65 secs
lola: 258109 markings, 616400 edges, 2535 markings/sec, 70 secs
lola: 286491 markings, 697706 edges, 5676 markings/sec, 75 secs
lola: 299573 markings, 723145 edges, 2616 markings/sec, 80 secs
lola: 312147 markings, 748612 edges, 2515 markings/sec, 85 secs
lola: 340914 markings, 829044 edges, 5753 markings/sec, 90 secs
lola: 353256 markings, 854199 edges, 2468 markings/sec, 95 secs
lola: 371274 markings, 898413 edges, 3604 markings/sec, 100 secs
lola: 393804 markings, 958170 edges, 4506 markings/sec, 105 secs
lola: 406507 markings, 983393 edges, 2541 markings/sec, 110 secs
lola: 431619 markings, 1051763 edges, 5022 markings/sec, 115 secs
lola: 446727 markings, 1086053 edges, 3022 markings/sec, 120 secs
lola: 459316 markings, 1111063 edges, 2518 markings/sec, 125 secs
lola: 486751 markings, 1187281 edges, 5487 markings/sec, 130 secs
lola: 499224 markings, 1212060 edges, 2495 markings/sec, 135 secs
lola: 521446 markings, 1271502 edges, 4444 markings/sec, 140 secs
lola: 536918 markings, 1314189 edges, 3094 markings/sec, 145 secs
lola: 548166 markings, 1342639 edges, 2250 markings/sec, 150 secs
lola: 558618 markings, 1366237 edges, 2090 markings/sec, 155 secs
lola: 569565 markings, 1394592 edges, 2189 markings/sec, 160 secs
lola: 579994 markings, 1418616 edges, 2086 markings/sec, 165 secs
lola: 590850 markings, 1445224 edges, 2171 markings/sec, 170 secs
lola: 601284 markings, 1472837 edges, 2087 markings/sec, 175 secs
lola: 611998 markings, 1497702 edges, 2143 markings/sec, 180 secs
lola: 622771 markings, 1523944 edges, 2155 markings/sec, 185 secs
lola: 641634 markings, 1575226 edges, 3773 markings/sec, 190 secs
lola: 661347 markings, 1633086 edges, 3943 markings/sec, 195 secs
lola: 673600 markings, 1659422 edges, 2451 markings/sec, 200 secs
lola: 683783 markings, 1688855 edges, 2037 markings/sec, 205 secs
lola: 695288 markings, 1716267 edges, 2301 markings/sec, 210 secs
lola: 706459 markings, 1745691 edges, 2234 markings/sec, 215 secs
lola: 716945 markings, 1775070 edges, 2097 markings/sec, 220 secs
lola: 728031 markings, 1803560 edges, 2217 markings/sec, 225 secs
lola: 739359 markings, 1831887 edges, 2266 markings/sec, 230 secs
lola: 753452 markings, 1870666 edges, 2819 markings/sec, 235 secs
lola: 779248 markings, 1944350 edges, 5159 markings/sec, 240 secs
lola: 789779 markings, 1965219 edges, 2106 markings/sec, 245 secs
lola: 799747 markings, 1990167 edges, 1994 markings/sec, 250 secs
lola: 811033 markings, 2019814 edges, 2257 markings/sec, 255 secs
lola: 821300 markings, 2046386 edges, 2053 markings/sec, 260 secs
lola: 833084 markings, 2076543 edges, 2357 markings/sec, 265 secs
lola: 843487 markings, 2105839 edges, 2081 markings/sec, 270 secs
lola: 854461 markings, 2133473 edges, 2195 markings/sec, 275 secs
lola: 865505 markings, 2161632 edges, 2209 markings/sec, 280 secs
lola: 876607 markings, 2191846 edges, 2220 markings/sec, 285 secs
lola: 888720 markings, 2223646 edges, 2423 markings/sec, 290 secs
lola: 916578 markings, 2304129 edges, 5572 markings/sec, 295 secs
lola: 928056 markings, 2330819 edges, 2296 markings/sec, 300 secs
lola: 939351 markings, 2360588 edges, 2259 markings/sec, 305 secs
lola: 949775 markings, 2388779 edges, 2085 markings/sec, 310 secs
lola: 961104 markings, 2416994 edges, 2266 markings/sec, 315 secs
lola: 972235 markings, 2446042 edges, 2226 markings/sec, 320 secs
lola: 983036 markings, 2474487 edges, 2160 markings/sec, 325 secs
lola: 994029 markings, 2503974 edges, 2199 markings/sec, 330 secs
lola: 1022378 markings, 2586543 edges, 5670 markings/sec, 335 secs
lola: 1034062 markings, 2613262 edges, 2337 markings/sec, 340 secs
lola: 1045130 markings, 2642788 edges, 2214 markings/sec, 345 secs
lola: 1055557 markings, 2670137 edges, 2085 markings/sec, 350 secs
lola: 1066943 markings, 2699075 edges, 2277 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 80 80 unknown 1 80 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 83732 KB
lola: time consumption: 674 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_37)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 42 markings, 41 edges
lola: ========================================

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

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

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

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

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_23)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 28 markings, 27 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_52)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 15 will run for 2895 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_68)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 73 markings, 72 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 20
lola: 8313 markings, 16365 edges, 1663 markings/sec, 0 secs
lola: 16339 markings, 29770 edges, 1605 markings/sec, 5 secs
lola: 24232 markings, 42677 edges, 1579 markings/sec, 10 secs
lola: 32051 markings, 55828 edges, 1564 markings/sec, 15 secs
lola: 39852 markings, 69387 edges, 1560 markings/sec, 20 secs
lola: 47467 markings, 82408 edges, 1523 markings/sec, 25 secs
lola: 55743 markings, 97551 edges, 1655 markings/sec, 30 secs
lola: 65083 markings, 120108 edges, 1868 markings/sec, 35 secs
lola: 74590 markings, 142550 edges, 1901 markings/sec, 40 secs
lola: 83413 markings, 163390 edges, 1765 markings/sec, 45 secs
lola: 90274 markings, 179143 edges, 1372 markings/sec, 50 secs
lola: 97428 markings, 194073 edges, 1431 markings/sec, 55 secs
lola: 104257 markings, 207912 edges, 1366 markings/sec, 60 secs
lola: 111555 markings, 222675 edges, 1460 markings/sec, 65 secs
lola: 119925 markings, 241555 edges, 1674 markings/sec, 70 secs
lola: 129245 markings, 264034 edges, 1864 markings/sec, 75 secs
lola: 138867 markings, 286480 edges, 1924 markings/sec, 80 secs
lola: 147270 markings, 304510 edges, 1681 markings/sec, 85 secs
lola: 154320 markings, 319153 edges, 1410 markings/sec, 90 secs
lola: 161637 markings, 333683 edges, 1463 markings/sec, 95 secs
lola: 168550 markings, 348071 edges, 1383 markings/sec, 100 secs
lola: 177574 markings, 368700 edges, 1805 markings/sec, 105 secs
lola: 187035 markings, 391136 edges, 1892 markings/sec, 110 secs
lola: 196222 markings, 413698 edges, 1837 markings/sec, 115 secs
lola: 203897 markings, 429168 edges, 1535 markings/sec, 120 secs
lola: 211235 markings, 443580 edges, 1468 markings/sec, 125 secs
lola: 218329 markings, 458274 edges, 1419 markings/sec, 130 secs
lola: 225927 markings, 474242 edges, 1520 markings/sec, 135 secs
lola: 235444 markings, 496696 edges, 1903 markings/sec, 140 secs
lola: 244650 markings, 518949 edges, 1841 markings/sec, 145 secs
lola: 253593 markings, 538459 edges, 1789 markings/sec, 150 secs
lola: 260945 markings, 553631 edges, 1470 markings/sec, 155 secs
lola: 267854 markings, 567810 edges, 1382 markings/sec, 160 secs
lola: 275171 markings, 582752 edges, 1463 markings/sec, 165 secs
lola: 283955 markings, 602810 edges, 1757 markings/sec, 170 secs
lola: 293378 markings, 625212 edges, 1885 markings/sec, 175 secs
lola: 302598 markings, 647609 edges, 1844 markings/sec, 180 secs
lola: 309936 markings, 662032 edges, 1468 markings/sec, 185 secs
lola: 317484 markings, 677245 edges, 1510 markings/sec, 190 secs
lola: 324577 markings, 691843 edges, 1419 markings/sec, 195 secs
lola: 332626 markings, 709629 edges, 1610 markings/sec, 200 secs
lola: 341961 markings, 731960 edges, 1867 markings/sec, 205 secs
lola: 351418 markings, 754602 edges, 1891 markings/sec, 210 secs
lola: 359305 markings, 770896 edges, 1577 markings/sec, 215 secs
lola: 366474 markings, 785114 edges, 1434 markings/sec, 220 secs
lola: 373645 markings, 799824 edges, 1434 markings/sec, 225 secs
lola: 381596 markings, 817144 edges, 1590 markings/sec, 230 secs
lola: 390804 markings, 839582 edges, 1842 markings/sec, 235 secs
lola: 400391 markings, 861960 edges, 1917 markings/sec, 240 secs
lola: 408346 markings, 878794 edges, 1591 markings/sec, 245 secs
lola: 415439 markings, 892849 edges, 1419 markings/sec, 250 secs
lola: 422645 markings, 907626 edges, 1441 markings/sec, 255 secs
lola: 430631 markings, 925278 edges, 1597 markings/sec, 260 secs
lola: 440075 markings, 947723 edges, 1889 markings/sec, 265 secs
lola: 449370 markings, 970089 edges, 1859 markings/sec, 270 secs
lola: 456880 markings, 985460 edges, 1502 markings/sec, 275 secs
lola: 464225 markings, 1000023 edges, 1469 markings/sec, 280 secs
lola: 471281 markings, 1014666 edges, 1411 markings/sec, 285 secs
lola: 479744 markings, 1033611 edges, 1693 markings/sec, 290 secs
lola: 489106 markings, 1056003 edges, 1872 markings/sec, 295 secs
lola: 498111 markings, 1077031 edges, 1801 markings/sec, 300 secs
lola: 505709 markings, 1092049 edges, 1520 markings/sec, 305 secs
lola: 512488 markings, 1106273 edges, 1356 markings/sec, 310 secs
lola: 519704 markings, 1120901 edges, 1443 markings/sec, 315 secs
lola: 529080 markings, 1142892 edges, 1875 markings/sec, 320 secs
lola: 538512 markings, 1165221 edges, 1886 markings/sec, 325 secs
lola: 546807 markings, 1182988 edges, 1659 markings/sec, 330 secs
lola: 554428 markings, 1200223 edges, 1524 markings/sec, 335 secs
lola: 561077 markings, 1213101 edges, 1330 markings/sec, 340 secs
lola: 568396 markings, 1226060 edges, 1464 markings/sec, 345 secs
lola: 576380 markings, 1243083 edges, 1597 markings/sec, 350 secs
lola: 582887 markings, 1256115 edges, 1301 markings/sec, 355 secs
lola: 590227 markings, 1269115 edges, 1468 markings/sec, 360 secs
lola: 597732 markings, 1285472 edges, 1501 markings/sec, 365 secs
lola: 604575 markings, 1298135 edges, 1369 markings/sec, 370 secs
lola: 612298 markings, 1313025 edges, 1545 markings/sec, 375 secs
lola: 618950 markings, 1326612 edges, 1330 markings/sec, 380 secs
lola: 626690 markings, 1341783 edges, 1548 markings/sec, 385 secs
lola: 633703 markings, 1354939 edges, 1403 markings/sec, 390 secs
lola: 641106 markings, 1369698 edges, 1481 markings/sec, 395 secs
lola: 649279 markings, 1386912 edges, 1635 markings/sec, 400 secs
lola: 658471 markings, 1408936 edges, 1838 markings/sec, 405 secs
lola: 667668 markings, 1431097 edges, 1839 markings/sec, 410 secs
lola: 676188 markings, 1451158 edges, 1704 markings/sec, 415 secs
lola: 681808 markings, 1465398 edges, 1124 markings/sec, 420 secs
lola: 690005 markings, 1482266 edges, 1639 markings/sec, 425 secs
lola: 696527 markings, 1496866 edges, 1304 markings/sec, 430 secs
lola: 704023 markings, 1513624 edges, 1499 markings/sec, 435 secs
lola: 711502 markings, 1529265 edges, 1496 markings/sec, 440 secs
lola: 718631 markings, 1544535 edges, 1426 markings/sec, 445 secs
lola: 725765 markings, 1560389 edges, 1427 markings/sec, 450 secs
lola: 732679 markings, 1576273 edges, 1383 markings/sec, 455 secs
lola: 740752 markings, 1594611 edges, 1615 markings/sec, 460 secs
lola: 750169 markings, 1616966 edges, 1883 markings/sec, 465 secs
lola: 759785 markings, 1639661 edges, 1923 markings/sec, 470 secs
lola: 767643 markings, 1657502 edges, 1572 markings/sec, 475 secs
lola: 775642 markings, 1674740 edges, 1600 markings/sec, 480 secs
lola: 782498 markings, 1689213 edges, 1371 markings/sec, 485 secs
lola: 789529 markings, 1705545 edges, 1406 markings/sec, 490 secs
lola: 797131 markings, 1721688 edges, 1520 markings/sec, 495 secs
lola: 804350 markings, 1737277 edges, 1444 markings/sec, 500 secs
lola: 811404 markings, 1752960 edges, 1411 markings/sec, 505 secs
lola: 818397 markings, 1768286 edges, 1399 markings/sec, 510 secs
lola: 827116 markings, 1788760 edges, 1744 markings/sec, 515 secs
lola: 836646 markings, 1811231 edges, 1906 markings/sec, 520 secs
lola: 845842 markings, 1833672 edges, 1839 markings/sec, 525 secs
lola: 853738 markings, 1849368 edges, 1579 markings/sec, 530 secs
lola: 860686 markings, 1865960 edges, 1390 markings/sec, 535 secs
lola: 868382 markings, 1881801 edges, 1539 markings/sec, 540 secs
lola: 875123 markings, 1896556 edges, 1348 markings/sec, 545 secs
lola: 882024 markings, 1912256 edges, 1380 markings/sec, 550 secs
lola: 889268 markings, 1928078 edges, 1449 markings/sec, 555 secs
lola: 896768 markings, 1944243 edges, 1500 markings/sec, 560 secs
lola: 904311 markings, 1961763 edges, 1509 markings/sec, 565 secs
lola: 913810 markings, 1984174 edges, 1900 markings/sec, 570 secs
lola: 923264 markings, 2006450 edges, 1891 markings/sec, 575 secs
lola: 931045 markings, 2024048 edges, 1556 markings/sec, 580 secs
lola: 938934 markings, 2041170 edges, 1578 markings/sec, 585 secs
lola: 945942 markings, 2055687 edges, 1402 markings/sec, 590 secs
lola: 952514 markings, 2071354 edges, 1314 markings/sec, 595 secs
lola: 960036 markings, 2087579 edges, 1504 markings/sec, 600 secs
lola: 967191 markings, 2103035 edges, 1431 markings/sec, 605 secs
lola: 974049 markings, 2118244 edges, 1372 markings/sec, 610 secs
lola: 981395 markings, 2134549 edges, 1469 markings/sec, 615 secs
lola: 990993 markings, 2157020 edges, 1920 markings/sec, 620 secs
lola: 1000197 markings, 2179329 edges, 1841 markings/sec, 625 secs
lola: 1008379 markings, 2198027 edges, 1636 markings/sec, 630 secs
lola: 1016471 markings, 2214991 edges, 1618 markings/sec, 635 secs
lola: 1023317 markings, 2229671 edges, 1369 markings/sec, 640 secs
lola: 1030296 markings, 2245833 edges, 1396 markings/sec, 645 secs
lola: 1037826 markings, 2262160 edges, 1506 markings/sec, 650 secs
lola: 1045009 markings, 2277805 edges, 1437 markings/sec, 655 secs
lola: 1051928 markings, 2292882 edges, 1384 markings/sec, 660 secs
lola: 1059577 markings, 2310194 edges, 1530 markings/sec, 665 secs
lola: 1069042 markings, 2332576 edges, 1893 markings/sec, 670 secs
lola: 1078606 markings, 2355180 edges, 1913 markings/sec, 675 secs
lola: 1086459 markings, 2372701 edges, 1571 markings/sec, 680 secs
lola: 1094125 markings, 2389609 edges, 1533 markings/sec, 685 secs
lola: 1101507 markings, 2404590 edges, 1476 markings/sec, 690 secs
lola: 1108146 markings, 2419967 edges, 1328 markings/sec, 695 secs
lola: 1115206 markings, 2435825 edges, 1412 markings/sec, 700 secs
lola: 1122521 markings, 2451624 edges, 1463 markings/sec, 705 secs
lola: 1129826 markings, 2467703 edges, 1461 markings/sec, 710 secs
lola: 1138315 markings, 2487204 edges, 1698 markings/sec, 715 secs
lola: 1147746 markings, 2509604 edges, 1886 markings/sec, 720 secs
lola: 1156800 markings, 2531637 edges, 1811 markings/sec, 725 secs
lola: 1164797 markings, 2547175 edges, 1599 markings/sec, 730 secs
lola: 1171187 markings, 2562375 edges, 1278 markings/sec, 735 secs
lola: 1178878 markings, 2579273 edges, 1538 markings/sec, 740 secs
lola: 1186208 markings, 2594847 edges, 1466 markings/sec, 745 secs
lola: 1193316 markings, 2610448 edges, 1422 markings/sec, 750 secs
lola: 1200153 markings, 2625786 edges, 1367 markings/sec, 755 secs
lola: 1207796 markings, 2642949 edges, 1529 markings/sec, 760 secs
lola: 1217166 markings, 2665497 edges, 1874 markings/sec, 765 secs
lola: 1226735 markings, 2687926 edges, 1914 markings/sec, 770 secs
lola: 1234598 markings, 2704413 edges, 1573 markings/sec, 775 secs
lola: 1241632 markings, 2720935 edges, 1407 markings/sec, 780 secs
lola: 1249239 markings, 2736827 edges, 1521 markings/sec, 785 secs
lola: 1256389 markings, 2751938 edges, 1430 markings/sec, 790 secs
lola: 1263419 markings, 2767483 edges, 1406 markings/sec, 795 secs
lola: 1270438 markings, 2783487 edges, 1404 markings/sec, 800 secs
lola: 1277643 markings, 2799699 edges, 1441 markings/sec, 805 secs
lola: 1287011 markings, 2822163 edges, 1874 markings/sec, 810 secs
lola: 1296530 markings, 2844663 edges, 1904 markings/sec, 815 secs
lola: 1304416 markings, 2861266 edges, 1577 markings/sec, 820 secs
lola: 1311516 markings, 2877794 edges, 1420 markings/sec, 825 secs
lola: 1319068 markings, 2893665 edges, 1510 markings/sec, 830 secs
lola: 1326197 markings, 2908824 edges, 1426 markings/sec, 835 secs
lola: 1333272 markings, 2924529 edges, 1415 markings/sec, 840 secs
lola: 1340184 markings, 2940291 edges, 1382 markings/sec, 845 secs
lola: 1347850 markings, 2957606 edges, 1533 markings/sec, 850 secs
lola: 1357327 markings, 2980080 edges, 1895 markings/sec, 855 secs
lola: 1366515 markings, 3002538 edges, 1838 markings/sec, 860 secs
lola: 1373745 markings, 3016919 edges, 1446 markings/sec, 865 secs
lola: 1382179 markings, 3035519 edges, 1687 markings/sec, 870 secs
lola: 1388573 markings, 3051386 edges, 1279 markings/sec, 875 secs
lola: 1394941 markings, 3064424 edges, 1274 markings/sec, 880 secs
lola: 1401636 markings, 3077800 edges, 1339 markings/sec, 885 secs
lola: 1408135 markings, 3090772 edges, 1300 markings/sec, 890 secs
lola: 1414665 markings, 3104161 edges, 1306 markings/sec, 895 secs
lola: 1423086 markings, 3121430 edges, 1684 markings/sec, 900 secs
lola: 1429721 markings, 3138095 edges, 1327 markings/sec, 905 secs
lola: 1436006 markings, 3151157 edges, 1257 markings/sec, 910 secs
lola: 1442461 markings, 3164110 edges, 1291 markings/sec, 915 secs
lola: 1448904 markings, 3176736 edges, 1289 markings/sec, 920 secs
lola: 1455810 markings, 3190408 edges, 1381 markings/sec, 925 secs
lola: 1463444 markings, 3208101 edges, 1527 markings/sec, 930 secs
lola: 1469423 markings, 3221473 edges, 1196 markings/sec, 935 secs
lola: 1475788 markings, 3234155 edges, 1273 markings/sec, 940 secs
lola: 1482341 markings, 3247288 edges, 1311 markings/sec, 945 secs
lola: 1490021 markings, 3262471 edges, 1536 markings/sec, 950 secs
lola: 1496648 markings, 3278862 edges, 1325 markings/sec, 955 secs
lola: 1503100 markings, 3291729 edges, 1290 markings/sec, 960 secs
lola: 1509666 markings, 3304827 edges, 1313 markings/sec, 965 secs
lola: 1517455 markings, 3321529 edges, 1558 markings/sec, 970 secs
lola: 1523879 markings, 3335404 edges, 1285 markings/sec, 975 secs
lola: 1530481 markings, 3348468 edges, 1320 markings/sec, 980 secs
lola: 1537906 markings, 3364799 edges, 1485 markings/sec, 985 secs
lola: 1544700 markings, 3378103 edges, 1359 markings/sec, 990 secs
lola: 1552056 markings, 3393463 edges, 1471 markings/sec, 995 secs
lola: 1561116 markings, 3414650 edges, 1812 markings/sec, 1000 secs
lola: 1570645 markings, 3437193 edges, 1906 markings/sec, 1005 secs
lola: 1579873 markings, 3459692 edges, 1846 markings/sec, 1010 secs
lola: 1586002 markings, 3475093 edges, 1226 markings/sec, 1015 secs
lola: 1592044 markings, 3488547 edges, 1208 markings/sec, 1020 secs
lola: 1600406 markings, 3505430 edges, 1672 markings/sec, 1025 secs
lola: 1607001 markings, 3522633 edges, 1319 markings/sec, 1030 secs
lola: 1613616 markings, 3536374 edges, 1323 markings/sec, 1035 secs
lola: 1621582 markings, 3554787 edges, 1593 markings/sec, 1040 secs
lola: 1627781 markings, 3569219 edges, 1240 markings/sec, 1045 secs
lola: 1635819 markings, 3586715 edges, 1608 markings/sec, 1050 secs
lola: 1642179 markings, 3601854 edges, 1272 markings/sec, 1055 secs
lola: 1649744 markings, 3618833 edges, 1513 markings/sec, 1060 secs
lola: 1656801 markings, 3634050 edges, 1411 markings/sec, 1065 secs
lola: 1663608 markings, 3649791 edges, 1361 markings/sec, 1070 secs
lola: 1670606 markings, 3666220 edges, 1400 markings/sec, 1075 secs
lola: 1678872 markings, 3685815 edges, 1653 markings/sec, 1080 secs
lola: 1688080 markings, 3708128 edges, 1842 markings/sec, 1085 secs
lola: 1697738 markings, 3730597 edges, 1932 markings/sec, 1090 secs
lola: 1704883 markings, 3747099 edges, 1429 markings/sec, 1095 secs
lola: 1712888 markings, 3762761 edges, 1601 markings/sec, 1100 secs
lola: 1720006 markings, 3780518 edges, 1424 markings/sec, 1105 secs
lola: 1726359 markings, 3794981 edges, 1271 markings/sec, 1110 secs
lola: 1734430 markings, 3812348 edges, 1614 markings/sec, 1115 secs
lola: 1740491 markings, 3827478 edges, 1212 markings/sec, 1120 secs
lola: 1748596 markings, 3844557 edges, 1621 markings/sec, 1125 secs
lola: 1754783 markings, 3859562 edges, 1237 markings/sec, 1130 secs
lola: 1762649 markings, 3877012 edges, 1573 markings/sec, 1135 secs
lola: 1769662 markings, 3892109 edges, 1403 markings/sec, 1140 secs
lola: 1776464 markings, 3907938 edges, 1360 markings/sec, 1145 secs
lola: 1783440 markings, 3924453 edges, 1395 markings/sec, 1150 secs
lola: 1791633 markings, 3943890 edges, 1639 markings/sec, 1155 secs
lola: 1801111 markings, 3966143 edges, 1896 markings/sec, 1160 secs
lola: 1810191 markings, 3988033 edges, 1816 markings/sec, 1165 secs
lola: 1816749 markings, 4002791 edges, 1312 markings/sec, 1170 secs
lola: 1824867 markings, 4018812 edges, 1624 markings/sec, 1175 secs
lola: 1831622 markings, 4035988 edges, 1351 markings/sec, 1180 secs
lola: 1837984 markings, 4050035 edges, 1272 markings/sec, 1185 secs
lola: 1845901 markings, 4067492 edges, 1583 markings/sec, 1190 secs
lola: 1851870 markings, 4082032 edges, 1194 markings/sec, 1195 secs
lola: 1859857 markings, 4099045 edges, 1597 markings/sec, 1200 secs
lola: 1866119 markings, 4113955 edges, 1252 markings/sec, 1205 secs
lola: 1873495 markings, 4130635 edges, 1475 markings/sec, 1210 secs
lola: 1880550 markings, 4146145 edges, 1411 markings/sec, 1215 secs
lola: 1887439 markings, 4161952 edges, 1378 markings/sec, 1220 secs
lola: 1894031 markings, 4177455 edges, 1318 markings/sec, 1225 secs
lola: 1902923 markings, 4198543 edges, 1778 markings/sec, 1230 secs
lola: 1912212 markings, 4220605 edges, 1858 markings/sec, 1235 secs
lola: 1921022 markings, 4241871 edges, 1762 markings/sec, 1240 secs
lola: 1927770 markings, 4256114 edges, 1350 markings/sec, 1245 secs
lola: 1935928 markings, 4273717 edges, 1632 markings/sec, 1250 secs
lola: 1942219 markings, 4289480 edges, 1258 markings/sec, 1255 secs
lola: 1949858 markings, 4304646 edges, 1528 markings/sec, 1260 secs
lola: 1956782 markings, 4322160 edges, 1385 markings/sec, 1265 secs
lola: 1963670 markings, 4336265 edges, 1378 markings/sec, 1270 secs
lola: 1970716 markings, 4353555 edges, 1409 markings/sec, 1275 secs
lola: 1977968 markings, 4368855 edges, 1450 markings/sec, 1280 secs
lola: 1984486 markings, 4384504 edges, 1304 markings/sec, 1285 secs
lola: 1991304 markings, 4400357 edges, 1364 markings/sec, 1290 secs
lola: 1998633 markings, 4416719 edges, 1466 markings/sec, 1295 secs
lola: 2007163 markings, 4436831 edges, 1706 markings/sec, 1300 secs
lola: 2016577 markings, 4459093 edges, 1883 markings/sec, 1305 secs
lola: 2025584 markings, 4481413 edges, 1801 markings/sec, 1310 secs
lola: 2032230 markings, 4495175 edges, 1329 markings/sec, 1315 secs
lola: 2040399 markings, 4512339 edges, 1634 markings/sec, 1320 secs
lola: 2046814 markings, 4528707 edges, 1283 markings/sec, 1325 secs
lola: 2054097 markings, 4543334 edges, 1457 markings/sec, 1330 secs
lola: 2061325 markings, 4561251 edges, 1446 markings/sec, 1335 secs
lola: 2068206 markings, 4575571 edges, 1376 markings/sec, 1340 secs
lola: 2075416 markings, 4593177 edges, 1442 markings/sec, 1345 secs
lola: 2082747 markings, 4608796 edges, 1466 markings/sec, 1350 secs
lola: 2089306 markings, 4624154 edges, 1312 markings/sec, 1355 secs
lola: 2096350 markings, 4640443 edges, 1409 markings/sec, 1360 secs
lola: 2103461 markings, 4656870 edges, 1422 markings/sec, 1365 secs
lola: 2112452 markings, 4678257 edges, 1798 markings/sec, 1370 secs
lola: 2121845 markings, 4700670 edges, 1879 markings/sec, 1375 secs
lola: 2130438 markings, 4720487 edges, 1719 markings/sec, 1380 secs
lola: 2137405 markings, 4734923 edges, 1393 markings/sec, 1385 secs
lola: 2145391 markings, 4753297 edges, 1597 markings/sec, 1390 secs
lola: 2151347 markings, 4767900 edges, 1191 markings/sec, 1395 secs
lola: 2159562 markings, 4784855 edges, 1643 markings/sec, 1400 secs
lola: 2165821 markings, 4800536 edges, 1252 markings/sec, 1405 secs
lola: 2173496 markings, 4816645 edges, 1535 markings/sec, 1410 secs
lola: 2179654 markings, 4831683 edges, 1232 markings/sec, 1415 secs
lola: 2187250 markings, 4848713 edges, 1519 markings/sec, 1420 secs
lola: 2194275 markings, 4864346 edges, 1405 markings/sec, 1425 secs
lola: 2201036 markings, 4880147 edges, 1352 markings/sec, 1430 secs
lola: 2208669 markings, 4897783 edges, 1527 markings/sec, 1435 secs
lola: 2217872 markings, 4920018 edges, 1841 markings/sec, 1440 secs
lola: 2227202 markings, 4942044 edges, 1866 markings/sec, 1445 secs
lola: 2233892 markings, 4957203 edges, 1338 markings/sec, 1450 secs
lola: 2242134 markings, 4973490 edges, 1648 markings/sec, 1455 secs
lola: 2248541 markings, 4990115 edges, 1281 markings/sec, 1460 secs
lola: 2255327 markings, 5004109 edges, 1357 markings/sec, 1465 secs
lola: 2262716 markings, 5021799 edges, 1478 markings/sec, 1470 secs
lola: 2269203 markings, 5035910 edges, 1297 markings/sec, 1475 secs
lola: 2276511 markings, 5053456 edges, 1462 markings/sec, 1480 secs
lola: 2283709 markings, 5068758 edges, 1440 markings/sec, 1485 secs
lola: 2290166 markings, 5083807 edges, 1291 markings/sec, 1490 secs
lola: 2297095 markings, 5099613 edges, 1386 markings/sec, 1495 secs
lola: 2303881 markings, 5115621 edges, 1357 markings/sec, 1500 secs
lola: 2312981 markings, 5137114 edges, 1820 markings/sec, 1505 secs
lola: 2322358 markings, 5159255 edges, 1875 markings/sec, 1510 secs
lola: 2329783 markings, 5176550 edges, 1485 markings/sec, 1515 secs
lola: 2337452 markings, 5191959 edges, 1534 markings/sec, 1520 secs
lola: 2344485 markings, 5209495 edges, 1407 markings/sec, 1525 secs
lola: 2350835 markings, 5223350 edges, 1270 markings/sec, 1530 secs
lola: 2358636 markings, 5241476 edges, 1560 markings/sec, 1535 secs
lola: 2364922 markings, 5255440 edges, 1257 markings/sec, 1540 secs
lola: 2372474 markings, 5273028 edges, 1510 markings/sec, 1545 secs
lola: 2379568 markings, 5288106 edges, 1419 markings/sec, 1550 secs
lola: 2386111 markings, 5303560 edges, 1309 markings/sec, 1555 secs
lola: 2393234 markings, 5319771 edges, 1425 markings/sec, 1560 secs
lola: 2400494 markings, 5337039 edges, 1452 markings/sec, 1565 secs
lola: 2409723 markings, 5359330 edges, 1846 markings/sec, 1570 secs
lola: 2419150 markings, 5381435 edges, 1885 markings/sec, 1575 secs
lola: 2425810 markings, 5396453 edges, 1332 markings/sec, 1580 secs
lola: 2433996 markings, 5413080 edges, 1637 markings/sec, 1585 secs
lola: 2440424 markings, 5429583 edges, 1286 markings/sec, 1590 secs
lola: 2447631 markings, 5444189 edges, 1441 markings/sec, 1595 secs
lola: 2454536 markings, 5461397 edges, 1381 markings/sec, 1600 secs
lola: 2461737 markings, 5476351 edges, 1440 markings/sec, 1605 secs
lola: 2468156 markings, 5492449 edges, 1284 markings/sec, 1610 secs
lola: 2475574 markings, 5508807 edges, 1484 markings/sec, 1615 secs
lola: 2482456 markings, 5524520 edges, 1376 markings/sec, 1620 secs
lola: 2488990 markings, 5539604 edges, 1307 markings/sec, 1625 secs
lola: 2497591 markings, 5560106 edges, 1720 markings/sec, 1630 secs
lola: 2506758 markings, 5582229 edges, 1833 markings/sec, 1635 secs
lola: 2515110 markings, 5600624 edges, 1670 markings/sec, 1640 secs
lola: 2521846 markings, 5615369 edges, 1347 markings/sec, 1645 secs
lola: 2530273 markings, 5632071 edges, 1685 markings/sec, 1650 secs
lola: 2537320 markings, 5650529 edges, 1409 markings/sec, 1655 secs
lola: 2543529 markings, 5665580 edges, 1242 markings/sec, 1660 secs
lola: 2549462 markings, 5678588 edges, 1187 markings/sec, 1665 secs
lola: 2555720 markings, 5691377 edges, 1252 markings/sec, 1670 secs
lola: 2561822 markings, 5705338 edges, 1220 markings/sec, 1675 secs
lola: 2567873 markings, 5718238 edges, 1210 markings/sec, 1680 secs
lola: 2574180 markings, 5731811 edges, 1261 markings/sec, 1685 secs
lola: 2580170 markings, 5744968 edges, 1198 markings/sec, 1690 secs
lola: 2586426 markings, 5758299 edges, 1251 markings/sec, 1695 secs
lola: 2593657 markings, 5772592 edges, 1446 markings/sec, 1700 secs
lola: 2602019 markings, 5791950 edges, 1672 markings/sec, 1705 secs
lola: 2608577 markings, 5808128 edges, 1312 markings/sec, 1710 secs
lola: 2614631 markings, 5821863 edges, 1211 markings/sec, 1715 secs
lola: 2620820 markings, 5834550 edges, 1238 markings/sec, 1720 secs
lola: 2626833 markings, 5848206 edges, 1203 markings/sec, 1725 secs
lola: 2633085 markings, 5861349 edges, 1250 markings/sec, 1730 secs
lola: 2639206 markings, 5874178 edges, 1224 markings/sec, 1735 secs
lola: 2644964 markings, 5887111 edges, 1152 markings/sec, 1740 secs
lola: 2651515 markings, 5900699 edges, 1310 markings/sec, 1745 secs
lola: 2659740 markings, 5918329 edges, 1645 markings/sec, 1750 secs
lola: 2666410 markings, 5934869 edges, 1334 markings/sec, 1755 secs
lola: 2672416 markings, 5948353 edges, 1201 markings/sec, 1760 secs
lola: 2678540 markings, 5961463 edges, 1225 markings/sec, 1765 secs
lola: 2684542 markings, 5974309 edges, 1200 markings/sec, 1770 secs
lola: 2690571 markings, 5987198 edges, 1206 markings/sec, 1775 secs
lola: 2696447 markings, 5999796 edges, 1175 markings/sec, 1780 secs
lola: 2702844 markings, 6012806 edges, 1279 markings/sec, 1785 secs
lola: 2710956 markings, 6031189 edges, 1622 markings/sec, 1790 secs
lola: 2717275 markings, 6046033 edges, 1264 markings/sec, 1795 secs
lola: 2723482 markings, 6059365 edges, 1241 markings/sec, 1800 secs
lola: 2729441 markings, 6072333 edges, 1192 markings/sec, 1805 secs
lola: 2735691 markings, 6085453 edges, 1250 markings/sec, 1810 secs
lola: 2741644 markings, 6098207 edges, 1191 markings/sec, 1815 secs
lola: 2749728 markings, 6115893 edges, 1617 markings/sec, 1820 secs
lola: 2756062 markings, 6130635 edges, 1267 markings/sec, 1825 secs
lola: 2762174 markings, 6143757 edges, 1222 markings/sec, 1830 secs
lola: 2768425 markings, 6156788 edges, 1250 markings/sec, 1835 secs
lola: 2775393 markings, 6171050 edges, 1394 markings/sec, 1840 secs
lola: 2782425 markings, 6187519 edges, 1406 markings/sec, 1845 secs
lola: 2788649 markings, 6200721 edges, 1245 markings/sec, 1850 secs
lola: 2795620 markings, 6215057 edges, 1394 markings/sec, 1855 secs
lola: 2802384 markings, 6230198 edges, 1353 markings/sec, 1860 secs
lola: 2810688 markings, 6248806 edges, 1661 markings/sec, 1865 secs
lola: 2820059 markings, 6271099 edges, 1874 markings/sec, 1870 secs
lola: 2829626 markings, 6293600 edges, 1913 markings/sec, 1875 secs
lola: 2836746 markings, 6311161 edges, 1424 markings/sec, 1880 secs
lola: 2842659 markings, 6325229 edges, 1183 markings/sec, 1885 secs
lola: 2848398 markings, 6338585 edges, 1148 markings/sec, 1890 secs
lola: 2856718 markings, 6355157 edges, 1664 markings/sec, 1895 secs
lola: 2864250 markings, 6373994 edges, 1506 markings/sec, 1900 secs
lola: 2870392 markings, 6389896 edges, 1228 markings/sec, 1905 secs
lola: 2877074 markings, 6403272 edges, 1336 markings/sec, 1910 secs
lola: 2885498 markings, 6422427 edges, 1685 markings/sec, 1915 secs
lola: 2891962 markings, 6438787 edges, 1293 markings/sec, 1920 secs
lola: 2898400 markings, 6452608 edges, 1288 markings/sec, 1925 secs
lola: 2906632 markings, 6471246 edges, 1646 markings/sec, 1930 secs
lola: 2912761 markings, 6486881 edges, 1226 markings/sec, 1935 secs
lola: 2920576 markings, 6502847 edges, 1563 markings/sec, 1940 secs
lola: 2927192 markings, 6519959 edges, 1323 markings/sec, 1945 secs
lola: 2934583 markings, 6535423 edges, 1478 markings/sec, 1950 secs
lola: 2940793 markings, 6551423 edges, 1242 markings/sec, 1955 secs
lola: 2948148 markings, 6568164 edges, 1471 markings/sec, 1960 secs
lola: 2954701 markings, 6583368 edges, 1311 markings/sec, 1965 secs
lola: 2963301 markings, 6603791 edges, 1720 markings/sec, 1970 secs
lola: 2972580 markings, 6625815 edges, 1856 markings/sec, 1975 secs
lola: 2981995 markings, 6648204 edges, 1883 markings/sec, 1980 secs
lola: 2988715 markings, 6663227 edges, 1344 markings/sec, 1985 secs
lola: 2995161 markings, 6677753 edges, 1289 markings/sec, 1990 secs
lola: 3003559 markings, 6694492 edges, 1680 markings/sec, 1995 secs
lola: 3010540 markings, 6712961 edges, 1396 markings/sec, 2000 secs
lola: 3016210 markings, 6726964 edges, 1134 markings/sec, 2005 secs
lola: 3023587 markings, 6741302 edges, 1475 markings/sec, 2010 secs
lola: 3031486 markings, 6760417 edges, 1580 markings/sec, 2015 secs
lola: 3037584 markings, 6776053 edges, 1220 markings/sec, 2020 secs
lola: 3044798 markings, 6790400 edges, 1443 markings/sec, 2025 secs
lola: 3052369 markings, 6809332 edges, 1514 markings/sec, 2030 secs
lola: 3058510 markings, 6823562 edges, 1228 markings/sec, 2035 secs
lola: 3066553 markings, 6841333 edges, 1609 markings/sec, 2040 secs
lola: 3072595 markings, 6856415 edges, 1208 markings/sec, 2045 secs
lola: 3080503 markings, 6874184 edges, 1582 markings/sec, 2050 secs
lola: 3087449 markings, 6889604 edges, 1389 markings/sec, 2055 secs
lola: 3094362 markings, 6905956 edges, 1383 markings/sec, 2060 secs
lola: 3101939 markings, 6924338 edges, 1515 markings/sec, 2065 secs
lola: 3111394 markings, 6946712 edges, 1891 markings/sec, 2070 secs
lola: 3120903 markings, 6969127 edges, 1902 markings/sec, 2075 secs
lola: 3128621 markings, 6986829 edges, 1544 markings/sec, 2080 secs
lola: 3134236 markings, 6999893 edges, 1123 markings/sec, 2085 secs
lola: 3142467 markings, 7016291 edges, 1646 markings/sec, 2090 secs
lola: 3149883 markings, 7034915 edges, 1483 markings/sec, 2095 secs
lola: 3155934 markings, 7050461 edges, 1210 markings/sec, 2100 secs
lola: 3162720 markings, 7063999 edges, 1357 markings/sec, 2105 secs
lola: 3170893 markings, 7082900 edges, 1635 markings/sec, 2110 secs
lola: 3177136 markings, 7098902 edges, 1249 markings/sec, 2115 secs
lola: 3183994 markings, 7112860 edges, 1372 markings/sec, 2120 secs
lola: 3191749 markings, 7131639 edges, 1551 markings/sec, 2125 secs
lola: 3197629 markings, 7145991 edges, 1176 markings/sec, 2130 secs
lola: 3205752 markings, 7163574 edges, 1625 markings/sec, 2135 secs
lola: 3211833 markings, 7178773 edges, 1216 markings/sec, 2140 secs
lola: 3219579 markings, 7196009 edges, 1549 markings/sec, 2145 secs
lola: 3226438 markings, 7211368 edges, 1372 markings/sec, 2150 secs
lola: 3233287 markings, 7227771 edges, 1370 markings/sec, 2155 secs
lola: 3241136 markings, 7246468 edges, 1570 markings/sec, 2160 secs
lola: 3250297 markings, 7268708 edges, 1832 markings/sec, 2165 secs
lola: 3259803 markings, 7290906 edges, 1901 markings/sec, 2170 secs
lola: 3266834 markings, 7306850 edges, 1406 markings/sec, 2175 secs
lola: 3273213 markings, 7321378 edges, 1276 markings/sec, 2180 secs
lola: 3281567 markings, 7337981 edges, 1671 markings/sec, 2185 secs
lola: 3288534 markings, 7356301 edges, 1393 markings/sec, 2190 secs
lola: 3294377 markings, 7370913 edges, 1169 markings/sec, 2195 secs
lola: 3302277 markings, 7386306 edges, 1580 markings/sec, 2200 secs
lola: 3309745 markings, 7405154 edges, 1494 markings/sec, 2205 secs
lola: 3315655 markings, 7419687 edges, 1182 markings/sec, 2210 secs
lola: 3323836 markings, 7436049 edges, 1636 markings/sec, 2215 secs
lola: 3330575 markings, 7453778 edges, 1348 markings/sec, 2220 secs
lola: 3337320 markings, 7467845 edges, 1349 markings/sec, 2225 secs
lola: 3344770 markings, 7486262 edges, 1490 markings/sec, 2230 secs
lola: 3351709 markings, 7501226 edges, 1388 markings/sec, 2235 secs
lola: 3358327 markings, 7517863 edges, 1324 markings/sec, 2240 secs
lola: 3365493 markings, 7534311 edges, 1433 markings/sec, 2245 secs
lola: 3372894 markings, 7551535 edges, 1480 markings/sec, 2250 secs
lola: 3382371 markings, 7573904 edges, 1895 markings/sec, 2255 secs
lola: 3391915 markings, 7596480 edges, 1909 markings/sec, 2260 secs
lola: 3399687 markings, 7614295 edges, 1554 markings/sec, 2265 secs
lola: 3405538 markings, 7627746 edges, 1170 markings/sec, 2270 secs
lola: 3413914 markings, 7644704 edges, 1675 markings/sec, 2275 secs
lola: 3421119 markings, 7663415 edges, 1441 markings/sec, 2280 secs
lola: 3427088 markings, 7678042 edges, 1194 markings/sec, 2285 secs
lola: 3434646 markings, 7692911 edges, 1512 markings/sec, 2290 secs
lola: 3442295 markings, 7711910 edges, 1530 markings/sec, 2295 secs
lola: 3448264 markings, 7726897 edges, 1194 markings/sec, 2300 secs
lola: 3456348 markings, 7743023 edges, 1617 markings/sec, 2305 secs
lola: 3463099 markings, 7760684 edges, 1350 markings/sec, 2310 secs
lola: 3469862 markings, 7774757 edges, 1353 markings/sec, 2315 secs
lola: 3477203 markings, 7793052 edges, 1468 markings/sec, 2320 secs
lola: 3484321 markings, 7808333 edges, 1424 markings/sec, 2325 secs
lola: 3490811 markings, 7824357 edges, 1298 markings/sec, 2330 secs
lola: 3497862 markings, 7840689 edges, 1410 markings/sec, 2335 secs
lola: 3505924 markings, 7859736 edges, 1612 markings/sec, 2340 secs
lola: 3515273 markings, 7882095 edges, 1870 markings/sec, 2345 secs
lola: 3524747 markings, 7904720 edges, 1895 markings/sec, 2350 secs
lola: 3531571 markings, 7920229 edges, 1365 markings/sec, 2355 secs
lola: 3537974 markings, 7933727 edges, 1281 markings/sec, 2360 secs
lola: 3546450 markings, 7951882 edges, 1695 markings/sec, 2365 secs
lola: 3553148 markings, 7969524 edges, 1340 markings/sec, 2370 secs
lola: 3559254 markings, 7983306 edges, 1221 markings/sec, 2375 secs
lola: 3567578 markings, 8000299 edges, 1665 markings/sec, 2380 secs
lola: 3574318 markings, 8018278 edges, 1348 markings/sec, 2385 secs
lola: 3580692 markings, 8032488 edges, 1275 markings/sec, 2390 secs
lola: 3588734 markings, 8050311 edges, 1608 markings/sec, 2395 secs
lola: 3594790 markings, 8065823 edges, 1211 markings/sec, 2400 secs
lola: 3602726 markings, 8082795 edges, 1587 markings/sec, 2405 secs
lola: 3608879 markings, 8098016 edges, 1231 markings/sec, 2410 secs
lola: 3616535 markings, 8115496 edges, 1531 markings/sec, 2415 secs
lola: 3623516 markings, 8131615 edges, 1396 markings/sec, 2420 secs
lola: 3630458 markings, 8147839 edges, 1388 markings/sec, 2425 secs
lola: 3639908 markings, 8170209 edges, 1890 markings/sec, 2430 secs
lola: 3649422 markings, 8192758 edges, 1903 markings/sec, 2435 secs
lola: 3657010 markings, 8210103 edges, 1518 markings/sec, 2440 secs
lola: 3663132 markings, 8224020 edges, 1224 markings/sec, 2445 secs
lola: 3671475 markings, 8240932 edges, 1669 markings/sec, 2450 secs
lola: 3678426 markings, 8259036 edges, 1390 markings/sec, 2455 secs
lola: 3684213 markings, 8273382 edges, 1157 markings/sec, 2460 secs
lola: 3692422 markings, 8289704 edges, 1642 markings/sec, 2465 secs
lola: 3699511 markings, 8307680 edges, 1418 markings/sec, 2470 secs
lola: 3705673 markings, 8322039 edges, 1232 markings/sec, 2475 secs
lola: 3713732 markings, 8339919 edges, 1612 markings/sec, 2480 secs
lola: 3719977 markings, 8355563 edges, 1249 markings/sec, 2485 secs
lola: 3727684 markings, 8371990 edges, 1541 markings/sec, 2490 secs
lola: 3733902 markings, 8387685 edges, 1244 markings/sec, 2495 secs
lola: 3741488 markings, 8404917 edges, 1517 markings/sec, 2500 secs
lola: 3748407 markings, 8420952 edges, 1384 markings/sec, 2505 secs
lola: 3755648 markings, 8438051 edges, 1448 markings/sec, 2510 secs
lola: 3765035 markings, 8460551 edges, 1877 markings/sec, 2515 secs
lola: 3774585 markings, 8482979 edges, 1910 markings/sec, 2520 secs
lola: 3781503 markings, 8499048 edges, 1384 markings/sec, 2525 secs
lola: 3787911 markings, 8512540 edges, 1282 markings/sec, 2530 secs
lola: 3796356 markings, 8530899 edges, 1689 markings/sec, 2535 secs
lola: 3802984 markings, 8548384 edges, 1326 markings/sec, 2540 secs
lola: 3809344 markings, 8562578 edges, 1272 markings/sec, 2545 secs
lola: 3817458 markings, 8579776 edges, 1623 markings/sec, 2550 secs
lola: 3824002 markings, 8596574 edges, 1309 markings/sec, 2555 secs
lola: 3830725 markings, 8610724 edges, 1345 markings/sec, 2560 secs
lola: 3838399 markings, 8629440 edges, 1535 markings/sec, 2565 secs
lola: 3844695 markings, 8643912 edges, 1259 markings/sec, 2570 secs
lola: 3852381 markings, 8661703 edges, 1537 markings/sec, 2575 secs
lola: 3859282 markings, 8677007 edges, 1380 markings/sec, 2580 secs
lola: 3865820 markings, 8692906 edges, 1308 markings/sec, 2585 secs
lola: 3872914 markings, 8709740 edges, 1419 markings/sec, 2590 secs
lola: 3881807 markings, 8730797 edges, 1779 markings/sec, 2595 secs
lola: 3891180 markings, 8753146 edges, 1875 markings/sec, 2600 secs
lola: 3899264 markings, 8771002 edges, 1617 markings/sec, 2605 secs
lola: 3905245 markings, 8785173 edges, 1196 markings/sec, 2610 secs
lola: 3913529 markings, 8802048 edges, 1657 markings/sec, 2615 secs
lola: 3920460 markings, 8819977 edges, 1386 markings/sec, 2620 secs
lola: 3926218 markings, 8834188 edges, 1152 markings/sec, 2625 secs
lola: 3934256 markings, 8850180 edges, 1608 markings/sec, 2630 secs
lola: 3941188 markings, 8867900 edges, 1386 markings/sec, 2635 secs
lola: 3947368 markings, 8882308 edges, 1236 markings/sec, 2640 secs
lola: 3955225 markings, 8899575 edges, 1571 markings/sec, 2645 secs
lola: 3961228 markings, 8914777 edges, 1201 markings/sec, 2650 secs
lola: 3969002 markings, 8931630 edges, 1555 markings/sec, 2655 secs
lola: 3975237 markings, 8946418 edges, 1247 markings/sec, 2660 secs
lola: 3982286 markings, 8963347 edges, 1410 markings/sec, 2665 secs
lola: 3989209 markings, 8979171 edges, 1385 markings/sec, 2670 secs
lola: 3997735 markings, 8999793 edges, 1705 markings/sec, 2675 secs
lola: 4007029 markings, 9022017 edges, 1859 markings/sec, 2680 secs
lola: 4015199 markings, 9040102 edges, 1634 markings/sec, 2685 secs
lola: 4020851 markings, 9053820 edges, 1130 markings/sec, 2690 secs
lola: 4028107 markings, 9067533 edges, 1451 markings/sec, 2695 secs
lola: 4037024 markings, 9086208 edges, 1783 markings/sec, 2700 secs
lola: 4044164 markings, 9105135 edges, 1428 markings/sec, 2705 secs
lola: 4050633 markings, 9121244 edges, 1294 markings/sec, 2710 secs
lola: 4056503 markings, 9134428 edges, 1174 markings/sec, 2715 secs
lola: 4062261 markings, 9148194 edges, 1152 markings/sec, 2720 secs
lola: 4068307 markings, 9161968 edges, 1209 markings/sec, 2725 secs
lola: 4074279 markings, 9175051 edges, 1194 markings/sec, 2730 secs
lola: 4080177 markings, 9187980 edges, 1180 markings/sec, 2735 secs
lola: 4086074 markings, 9200689 edges, 1179 markings/sec, 2740 secs
lola: 4091719 markings, 9214317 edges, 1129 markings/sec, 2745 secs
lola: 4097663 markings, 9227891 edges, 1189 markings/sec, 2750 secs
lola: 4103702 markings, 9241503 edges, 1208 markings/sec, 2755 secs
lola: 4109582 markings, 9254487 edges, 1176 markings/sec, 2760 secs
lola: 4115593 markings, 9267940 edges, 1202 markings/sec, 2765 secs
lola: 4121421 markings, 9280702 edges, 1166 markings/sec, 2770 secs
lola: 4127855 markings, 9294363 edges, 1287 markings/sec, 2775 secs
lola: 4136107 markings, 9311018 edges, 1650 markings/sec, 2780 secs
lola: 4143937 markings, 9330115 edges, 1566 markings/sec, 2785 secs
lola: 4150527 markings, 9346974 edges, 1318 markings/sec, 2790 secs
lola: 4156757 markings, 9360966 edges, 1246 markings/sec, 2795 secs
lola: 4162353 markings, 9373376 edges, 1119 markings/sec, 2800 secs
lola: 4168126 markings, 9386802 edges, 1155 markings/sec, 2805 secs
lola: 4174021 markings, 9400207 edges, 1179 markings/sec, 2810 secs
lola: 4179948 markings, 9413584 edges, 1185 markings/sec, 2815 secs
lola: 4185874 markings, 9426917 edges, 1185 markings/sec, 2820 secs
lola: 4191757 markings, 9439980 edges, 1177 markings/sec, 2825 secs
lola: 4197677 markings, 9453190 edges, 1184 markings/sec, 2830 secs
lola: 4203462 markings, 9466106 edges, 1157 markings/sec, 2835 secs
lola: 4209335 markings, 9479224 edges, 1175 markings/sec, 2840 secs
lola: 4215192 markings, 9492169 edges, 1171 markings/sec, 2845 secs
lola: 4223341 markings, 9507859 edges, 1630 markings/sec, 2850 secs
lola: 4231303 markings, 9527173 edges, 1592 markings/sec, 2855 secs
lola: 4237762 markings, 9543640 edges, 1292 markings/sec, 2860 secs
lola: 4243826 markings, 9557180 edges, 1213 markings/sec, 2865 secs
lola: 4249621 markings, 9570254 edges, 1159 markings/sec, 2870 secs
lola: 4255536 markings, 9583574 edges, 1183 markings/sec, 2875 secs
lola: 4261329 markings, 9596444 edges, 1159 markings/sec, 2880 secs
lola: 4267230 markings, 9609385 edges, 1180 markings/sec, 2885 secs
lola: 4273457 markings, 9622886 edges, 1245 markings/sec, 2890 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 80 80 unknown 1 80 unknown 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 80 80 unknown 1 80 unknown 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 80 80 unknown 1 80 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 249336 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 80 80 unknown 1 80 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 249336 KB
lola: time consumption: 3570 seconds

BK_STOP 1526584627006

--------------------
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="BridgeAndVehicles-PT-V80P20N10"
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/BridgeAndVehicles-PT-V80P20N10.tgz
mv BridgeAndVehicles-PT-V80P20N10 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 BridgeAndVehicles-PT-V80P20N10, 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 r028-ebro-152646306400352"
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 ;