About the Execution of LoLA for CloudDeployment-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8228.410 | 3540196.00 | 3557175.00 | 855.30 | ?TTFFF??TFTFFFTF | 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)
....................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is CloudDeployment-PT-6a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800041
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-0
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-1
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-10
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-11
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-12
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-13
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-14
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-15
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-2
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-3
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-4
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-5
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-6
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-7
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-8
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1494614266521
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
LTLCardinality @ CloudDeployment-PT-6a @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1129/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 221 places, 908 transitions, 185 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 797 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6a-LTLCardinality.task
lola: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207))))) : A (X ((X ((p182 <= p202)) U F ((p21 <= p192))))) : A ((X (F ((3 <= p148))) U X ((p91 <= p152)))) : A (F ((3 <= p19))) : A ((p68 <= p135)) : A ((X (F ((2 <= p111))) U X ((3 <= p65)))) : A (((3 <= p160) U ((p65 <= p163) U (2 <= p181)))) : A ((2 <= p14)) : A ((p214 <= p43)) : A ((3 <= p56)) : A (((p118 <= p121) U X (F ((p166 <= p200))))) : A (F (G ((2 <= p152)))) : A ((3 <= p77)) : A (G ((G ((p74 <= p88)) U F ((3 <= p151))))) : A ((F (G ((1 <= p149))) U F (X ((p97 <= p144))))) : A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: processed formula: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 3 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 21019 markings, 3191093 edges, 4204 markings/sec, 0 secs
lola: 39395 markings, 5993774 edges, 3675 markings/sec, 5 secs
lola: 59147 markings, 9016333 edges, 3950 markings/sec, 10 secs
lola: 78651 markings, 12022026 edges, 3901 markings/sec, 15 secs
lola: 97493 markings, 14931771 edges, 3768 markings/sec, 20 secs
lola: 118511 markings, 18179023 edges, 4204 markings/sec, 25 secs
lola: 139923 markings, 21496488 edges, 4282 markings/sec, 30 secs
lola: 159645 markings, 24528853 edges, 3944 markings/sec, 35 secs
lola: 178163 markings, 27390935 edges, 3704 markings/sec, 40 secs
lola: 197293 markings, 30347488 edges, 3826 markings/sec, 45 secs
lola: 214517 markings, 33009545 edges, 3445 markings/sec, 50 secs
lola: 233965 markings, 35913628 edges, 3890 markings/sec, 55 secs
lola: 253669 markings, 39052966 edges, 3941 markings/sec, 60 secs
lola: 272009 markings, 41880545 edges, 3668 markings/sec, 65 secs
lola: 292115 markings, 44990693 edges, 4021 markings/sec, 70 secs
lola: 310635 markings, 47847195 edges, 3704 markings/sec, 75 secs
lola: 330429 markings, 50905092 edges, 3959 markings/sec, 80 secs
lola: 347885 markings, 53613656 edges, 3491 markings/sec, 85 secs
lola: 365975 markings, 56409388 edges, 3618 markings/sec, 90 secs
lola: 384223 markings, 59226788 edges, 3650 markings/sec, 95 secs
lola: 402173 markings, 61981152 edges, 3590 markings/sec, 100 secs
lola: 420021 markings, 64734454 edges, 3570 markings/sec, 105 secs
lola: 437663 markings, 67452795 edges, 3528 markings/sec, 110 secs
lola: 455677 markings, 70232943 edges, 3603 markings/sec, 115 secs
lola: 473229 markings, 72948233 edges, 3510 markings/sec, 120 secs
lola: 490057 markings, 75547893 edges, 3366 markings/sec, 125 secs
lola: 507355 markings, 78217461 edges, 3460 markings/sec, 130 secs
lola: 524523 markings, 80859233 edges, 3434 markings/sec, 135 secs
lola: 541441 markings, 83454170 edges, 3384 markings/sec, 140 secs
lola: 557855 markings, 85969499 edges, 3283 markings/sec, 145 secs
lola: 574017 markings, 88464314 edges, 3232 markings/sec, 150 secs
lola: 590161 markings, 90972986 edges, 3229 markings/sec, 155 secs
lola: 605503 markings, 93345147 edges, 3068 markings/sec, 160 secs
lola: 621605 markings, 95760630 edges, 3220 markings/sec, 165 secs
lola: 639759 markings, 98614546 edges, 3631 markings/sec, 170 secs
lola: 656019 markings, 101140611 edges, 3252 markings/sec, 175 secs
lola: 671557 markings, 103524736 edges, 3108 markings/sec, 180 secs
lola: 689427 markings, 106298440 edges, 3574 markings/sec, 185 secs
lola: 706801 markings, 108990677 edges, 3475 markings/sec, 190 secs
lola: 725093 markings, 111819664 edges, 3658 markings/sec, 195 secs
lola: 742919 markings, 114574086 edges, 3565 markings/sec, 200 secs
lola: 761173 markings, 117383533 edges, 3651 markings/sec, 205 secs
lola: 779269 markings, 120165747 edges, 3619 markings/sec, 210 secs
lola: 796859 markings, 122888625 edges, 3518 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: processed formula: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: processed formula length: 48
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((3 <= p148))) U X ((p91 <= p152))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((3 <= p148)) U (p91 <= p152))))
lola: processed formula: A (X ((F ((3 <= p148)) U (p91 <= p152))))
lola: processed formula length: 41
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= p19)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((3 <= p19)))
lola: processed formula: A (F ((3 <= p19)))
lola: processed formula length: 18
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 6 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p68 <= p135))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p68 <= p135)
lola: processed formula length: 13
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((2 <= p111))) U X ((3 <= p65))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((2 <= p111)) U (3 <= p65))))
lola: processed formula: A (X ((F ((2 <= p111)) U (3 <= p65))))
lola: processed formula length: 38
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: ========================================
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: processed formula: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: ========================================
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((2 <= p14))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p14)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p214 <= p43))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p214 <= p43)
lola: processed formula length: 13
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: ========================================
lola: subprocess 9 will run for 474 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((3 <= p56))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (3 <= p56)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: ========================================
lola: subprocess 10 will run for 553 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: processed formula: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: processed formula length: 45
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: ========================================
lola: subprocess 11 will run for 663 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (G ((2 <= p152))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((2 <= p152))))
lola: processed formula: A (F (G ((2 <= p152))))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: ========================================
lola: subprocess 12 will run for 829 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((3 <= p77))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (3 <= p77)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: ========================================
lola: subprocess 13 will run for 1106 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: processed formula: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: processed formula length: 44
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: ========================================
lola: subprocess 14 will run for 1659 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: processed formula: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: ========================================
lola: subprocess 15 will run for 3319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: processed formula: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: processed formula length: 46
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 4 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 20642 markings, 3141303 edges, 4128 markings/sec, 0 secs
lola: 40614 markings, 6211951 edges, 3994 markings/sec, 5 secs
lola: 61746 markings, 9478274 edges, 4226 markings/sec, 10 secs
lola: 82732 markings, 12660194 edges, 4197 markings/sec, 15 secs
lola: 101613 markings, 15634389 edges, 3776 markings/sec, 20 secs
lola: 120887 markings, 18604834 edges, 3855 markings/sec, 25 secs
lola: 139561 markings, 21491725 edges, 3735 markings/sec, 30 secs
lola: 159914 markings, 24638658 edges, 4071 markings/sec, 35 secs
lola: 178519 markings, 27509296 edges, 3721 markings/sec, 40 secs
lola: 197392 markings, 30425865 edges, 3775 markings/sec, 45 secs
lola: 216210 markings, 33321710 edges, 3764 markings/sec, 50 secs
lola: 234451 markings, 36135534 edges, 3648 markings/sec, 55 secs
lola: 252554 markings, 38935615 edges, 3621 markings/sec, 60 secs
lola: 270305 markings, 41665364 edges, 3550 markings/sec, 65 secs
lola: 286971 markings, 44228820 edges, 3333 markings/sec, 70 secs
lola: 303021 markings, 46712887 edges, 3210 markings/sec, 75 secs
lola: 320398 markings, 49391662 edges, 3475 markings/sec, 80 secs
lola: 336533 markings, 51885017 edges, 3227 markings/sec, 85 secs
lola: 354979 markings, 54740324 edges, 3689 markings/sec, 90 secs
lola: 374035 markings, 57681271 edges, 3811 markings/sec, 95 secs
lola: 393109 markings, 60619302 edges, 3815 markings/sec, 100 secs
lola: 411579 markings, 63474307 edges, 3694 markings/sec, 105 secs
lola: 429660 markings, 66214143 edges, 3616 markings/sec, 110 secs
lola: 446011 markings, 68761313 edges, 3270 markings/sec, 115 secs
lola: 462823 markings, 71381476 edges, 3362 markings/sec, 120 secs
lola: 478791 markings, 73842359 edges, 3194 markings/sec, 125 secs
lola: 494909 markings, 76276939 edges, 3224 markings/sec, 130 secs
lola: 512058 markings, 78982044 edges, 3430 markings/sec, 135 secs
lola: 529341 markings, 81660854 edges, 3457 markings/sec, 140 secs
lola: 547902 markings, 84488571 edges, 3712 markings/sec, 145 secs
lola: 565903 markings, 87334758 edges, 3600 markings/sec, 150 secs
lola: 585109 markings, 90306168 edges, 3841 markings/sec, 155 secs
lola: 603882 markings, 93235399 edges, 3755 markings/sec, 160 secs
lola: 624158 markings, 96383913 edges, 4055 markings/sec, 165 secs
lola: 644860 markings, 99604374 edges, 4140 markings/sec, 170 secs
lola: 665530 markings, 102807695 edges, 4134 markings/sec, 175 secs
lola: 685163 markings, 105846800 edges, 3927 markings/sec, 180 secs
lola: 703883 markings, 108761604 edges, 3744 markings/sec, 185 secs
lola: 722450 markings, 111646952 edges, 3713 markings/sec, 190 secs
lola: 739852 markings, 114353143 edges, 3480 markings/sec, 195 secs
lola: 757330 markings, 117026031 edges, 3496 markings/sec, 200 secs
lola: 776306 markings, 120011795 edges, 3795 markings/sec, 205 secs
lola: 794465 markings, 122832884 edges, 3632 markings/sec, 210 secs
lola: 812499 markings, 125641476 edges, 3607 markings/sec, 215 secs
lola: 830145 markings, 128329440 edges, 3529 markings/sec, 220 secs
lola: 848179 markings, 131166503 edges, 3607 markings/sec, 225 secs
lola: 866216 markings, 133978906 edges, 3607 markings/sec, 230 secs
lola: 889308 markings, 136942088 edges, 4618 markings/sec, 235 secs
lola: 907488 markings, 139693633 edges, 3636 markings/sec, 240 secs
lola: 919737 markings, 142330949 edges, 2450 markings/sec, 245 secs
lola: 935753 markings, 144875181 edges, 3203 markings/sec, 250 secs
lola: 954378 markings, 147322197 edges, 3725 markings/sec, 255 secs
lola: 968978 markings, 149682638 edges, 2920 markings/sec, 260 secs
lola: 983626 markings, 152347088 edges, 2930 markings/sec, 265 secs
lola: 1004821 markings, 155388550 edges, 4239 markings/sec, 270 secs
lola: 1023592 markings, 158633931 edges, 3754 markings/sec, 275 secs
lola: 1044938 markings, 161822782 edges, 4269 markings/sec, 280 secs
lola: 1063413 markings, 164811266 edges, 3695 markings/sec, 285 secs
lola: 1079228 markings, 167384966 edges, 3163 markings/sec, 290 secs
lola: 1094679 markings, 169717363 edges, 3090 markings/sec, 295 secs
lola: 1112787 markings, 172575403 edges, 3622 markings/sec, 300 secs
lola: 1130953 markings, 175482062 edges, 3633 markings/sec, 305 secs
lola: 1147687 markings, 178080099 edges, 3347 markings/sec, 310 secs
lola: 1164131 markings, 180650298 edges, 3289 markings/sec, 315 secs
lola: 1180196 markings, 183205223 edges, 3213 markings/sec, 320 secs
lola: 1196694 markings, 185737397 edges, 3300 markings/sec, 325 secs
lola: 1212268 markings, 188248416 edges, 3115 markings/sec, 330 secs
lola: 1228144 markings, 190731421 edges, 3175 markings/sec, 335 secs
lola: 1244115 markings, 193174951 edges, 3194 markings/sec, 340 secs
lola: 1264035 markings, 196061501 edges, 3984 markings/sec, 345 secs
lola: 1280678 markings, 198576454 edges, 3329 markings/sec, 350 secs
lola: 1295136 markings, 201168964 edges, 2892 markings/sec, 355 secs
lola: 1313738 markings, 204090672 edges, 3720 markings/sec, 360 secs
lola: 1334930 markings, 207407580 edges, 4238 markings/sec, 365 secs
lola: 1358253 markings, 210625124 edges, 4665 markings/sec, 370 secs
lola: 1375557 markings, 213821164 edges, 3461 markings/sec, 375 secs
lola: 1392452 markings, 216367434 edges, 3379 markings/sec, 380 secs
lola: 1410690 markings, 219287155 edges, 3648 markings/sec, 385 secs
lola: 1428898 markings, 222197468 edges, 3642 markings/sec, 390 secs
lola: 1446913 markings, 224995399 edges, 3603 markings/sec, 395 secs
lola: 1463643 markings, 227639970 edges, 3346 markings/sec, 400 secs
lola: 1481144 markings, 230387732 edges, 3500 markings/sec, 405 secs
lola: 1497568 markings, 232960640 edges, 3285 markings/sec, 410 secs
lola: 1516195 markings, 235609820 edges, 3725 markings/sec, 415 secs
lola: 1531721 markings, 238231029 edges, 3105 markings/sec, 420 secs
lola: 1550417 markings, 240770862 edges, 3739 markings/sec, 425 secs
lola: 1563615 markings, 243300677 edges, 2640 markings/sec, 430 secs
lola: 1581079 markings, 246033220 edges, 3493 markings/sec, 435 secs
lola: 1600682 markings, 249126182 edges, 3921 markings/sec, 440 secs
lola: 1621424 markings, 252365056 edges, 4148 markings/sec, 445 secs
lola: 1641613 markings, 255511126 edges, 4038 markings/sec, 450 secs
lola: 1661587 markings, 258459537 edges, 3995 markings/sec, 455 secs
lola: 1678460 markings, 261309710 edges, 3375 markings/sec, 460 secs
lola: 1696006 markings, 264061595 edges, 3509 markings/sec, 465 secs
lola: 1718142 markings, 267506209 edges, 4427 markings/sec, 470 secs
lola: 1735914 markings, 270338474 edges, 3554 markings/sec, 475 secs
lola: 1755183 markings, 273365143 edges, 3854 markings/sec, 480 secs
lola: 1772966 markings, 276148098 edges, 3557 markings/sec, 485 secs
lola: 1790467 markings, 278884473 edges, 3500 markings/sec, 490 secs
lola: 1809671 markings, 281825772 edges, 3841 markings/sec, 495 secs
lola: 1832950 markings, 285341534 edges, 4656 markings/sec, 500 secs
lola: 1851930 markings, 288523977 edges, 3796 markings/sec, 505 secs
lola: 1871384 markings, 291584698 edges, 3891 markings/sec, 510 secs
lola: 1890967 markings, 294468671 edges, 3917 markings/sec, 515 secs
lola: 1907631 markings, 297274123 edges, 3333 markings/sec, 520 secs
lola: 1929639 markings, 300732696 edges, 4402 markings/sec, 525 secs
lola: 1948912 markings, 303747942 edges, 3855 markings/sec, 530 secs
lola: 1968015 markings, 306737559 edges, 3821 markings/sec, 535 secs
lola: 1987615 markings, 309795970 edges, 3920 markings/sec, 540 secs
lola: 2006922 markings, 312824033 edges, 3861 markings/sec, 545 secs
lola: 2026872 markings, 315942052 edges, 3990 markings/sec, 550 secs
lola: 2045339 markings, 318819812 edges, 3693 markings/sec, 555 secs
lola: 2065514 markings, 321985430 edges, 4035 markings/sec, 560 secs
lola: 2085492 markings, 325098033 edges, 3996 markings/sec, 565 secs
lola: 2105117 markings, 328180377 edges, 3925 markings/sec, 570 secs
lola: 2123854 markings, 331094309 edges, 3747 markings/sec, 575 secs
lola: 2143655 markings, 334162566 edges, 3960 markings/sec, 580 secs
lola: 2163035 markings, 337232585 edges, 3876 markings/sec, 585 secs
lola: 2182644 markings, 340303215 edges, 3922 markings/sec, 590 secs
lola: 2202304 markings, 343369057 edges, 3932 markings/sec, 595 secs
lola: 2221818 markings, 346430321 edges, 3903 markings/sec, 600 secs
lola: 2241257 markings, 349469177 edges, 3888 markings/sec, 605 secs
lola: 2258781 markings, 352247366 edges, 3505 markings/sec, 610 secs
lola: 2278403 markings, 355335903 edges, 3924 markings/sec, 615 secs
lola: 2297275 markings, 358302000 edges, 3774 markings/sec, 620 secs
lola: 2316411 markings, 361297197 edges, 3827 markings/sec, 625 secs
lola: 2334439 markings, 364086874 edges, 3606 markings/sec, 630 secs
lola: 2353954 markings, 367165896 edges, 3903 markings/sec, 635 secs
lola: 2373099 markings, 370155058 edges, 3829 markings/sec, 640 secs
lola: 2391932 markings, 373103185 edges, 3767 markings/sec, 645 secs
lola: 2409562 markings, 375860140 edges, 3526 markings/sec, 650 secs
lola: 2428851 markings, 378874342 edges, 3858 markings/sec, 655 secs
lola: 2448004 markings, 381859785 edges, 3831 markings/sec, 660 secs
lola: 2466070 markings, 384673197 edges, 3613 markings/sec, 665 secs
lola: 2485693 markings, 387683720 edges, 3925 markings/sec, 670 secs
lola: 2505147 markings, 390427249 edges, 3891 markings/sec, 675 secs
lola: 2519708 markings, 392997396 edges, 2912 markings/sec, 680 secs
lola: 2537439 markings, 395807357 edges, 3546 markings/sec, 685 secs
lola: 2560210 markings, 398848665 edges, 4554 markings/sec, 690 secs
lola: 2576400 markings, 401887194 edges, 3238 markings/sec, 695 secs
lola: 2595575 markings, 404863782 edges, 3835 markings/sec, 700 secs
lola: 2613397 markings, 407695320 edges, 3564 markings/sec, 705 secs
lola: 2630107 markings, 410364068 edges, 3342 markings/sec, 710 secs
lola: 2649758 markings, 413260654 edges, 3930 markings/sec, 715 secs
lola: 2666243 markings, 415999001 edges, 3297 markings/sec, 720 secs
lola: 2683143 markings, 418686388 edges, 3380 markings/sec, 725 secs
lola: 2700549 markings, 421412587 edges, 3481 markings/sec, 730 secs
lola: 2717290 markings, 424043830 edges, 3348 markings/sec, 735 secs
lola: 2734358 markings, 426714526 edges, 3414 markings/sec, 740 secs
lola: 2755801 markings, 429371711 edges, 4289 markings/sec, 745 secs
lola: 2768392 markings, 431981316 edges, 2518 markings/sec, 750 secs
lola: 2787649 markings, 434544905 edges, 3851 markings/sec, 755 secs
lola: 2800414 markings, 437017035 edges, 2553 markings/sec, 760 secs
lola: 2819830 markings, 439887310 edges, 3883 markings/sec, 765 secs
lola: 2837317 markings, 442853113 edges, 3497 markings/sec, 770 secs
lola: 2857798 markings, 446051907 edges, 4096 markings/sec, 775 secs
lola: 2876761 markings, 449039097 edges, 3793 markings/sec, 780 secs
lola: 2894010 markings, 451686315 edges, 3450 markings/sec, 785 secs
lola: 2911831 markings, 454513623 edges, 3564 markings/sec, 790 secs
lola: 2929258 markings, 457250263 edges, 3485 markings/sec, 795 secs
lola: 2946036 markings, 459904817 edges, 3356 markings/sec, 800 secs
lola: 2962555 markings, 462491575 edges, 3304 markings/sec, 805 secs
lola: 2979327 markings, 465031470 edges, 3354 markings/sec, 810 secs
lola: 2994281 markings, 467475307 edges, 2991 markings/sec, 815 secs
lola: 3012230 markings, 470294343 edges, 3590 markings/sec, 820 secs
lola: 3030272 markings, 473094857 edges, 3608 markings/sec, 825 secs
lola: 3046561 markings, 475671492 edges, 3258 markings/sec, 830 secs
lola: 3063408 markings, 478261851 edges, 3369 markings/sec, 835 secs
lola: 3079746 markings, 480859098 edges, 3268 markings/sec, 840 secs
lola: 3096040 markings, 483408226 edges, 3259 markings/sec, 845 secs
lola: 3112567 markings, 485995751 edges, 3305 markings/sec, 850 secs
lola: 3128243 markings, 488446168 edges, 3135 markings/sec, 855 secs
lola: 3145177 markings, 491080978 edges, 3387 markings/sec, 860 secs
lola: 3160682 markings, 493515726 edges, 3101 markings/sec, 865 secs
lola: 3177310 markings, 496114543 edges, 3326 markings/sec, 870 secs
lola: 3192915 markings, 498580535 edges, 3121 markings/sec, 875 secs
lola: 3209178 markings, 501100610 edges, 3253 markings/sec, 880 secs
lola: 3224959 markings, 503608879 edges, 3156 markings/sec, 885 secs
lola: 3240760 markings, 506078934 edges, 3160 markings/sec, 890 secs
lola: 3256821 markings, 508591746 edges, 3212 markings/sec, 895 secs
lola: 3271889 markings, 510941005 edges, 3014 markings/sec, 900 secs
lola: 3291531 markings, 513974698 edges, 3928 markings/sec, 905 secs
lola: 3312640 markings, 516741385 edges, 4222 markings/sec, 910 secs
lola: 3326808 markings, 519462082 edges, 2834 markings/sec, 915 secs
lola: 3343837 markings, 522146569 edges, 3406 markings/sec, 920 secs
lola: 3360680 markings, 524779488 edges, 3369 markings/sec, 925 secs
lola: 3380374 markings, 527916941 edges, 3939 markings/sec, 930 secs
lola: 3400447 markings, 531070760 edges, 4015 markings/sec, 935 secs
lola: 3421304 markings, 534348396 edges, 4171 markings/sec, 940 secs
lola: 3438949 markings, 537069284 edges, 3529 markings/sec, 945 secs
lola: 3454776 markings, 539596791 edges, 3165 markings/sec, 950 secs
lola: 3473784 markings, 542580986 edges, 3802 markings/sec, 955 secs
lola: 3491498 markings, 545360921 edges, 3543 markings/sec, 960 secs
lola: 3508729 markings, 548052022 edges, 3446 markings/sec, 965 secs
lola: 3525537 markings, 550682261 edges, 3362 markings/sec, 970 secs
lola: 3542641 markings, 553371414 edges, 3421 markings/sec, 975 secs
lola: 3559308 markings, 555973725 edges, 3333 markings/sec, 980 secs
lola: 3575699 markings, 558540788 edges, 3278 markings/sec, 985 secs
lola: 3594197 markings, 561436984 edges, 3700 markings/sec, 990 secs
lola: 3613035 markings, 564391210 edges, 3768 markings/sec, 995 secs
lola: 3630332 markings, 567112696 edges, 3459 markings/sec, 1000 secs
lola: 3647815 markings, 569856784 edges, 3497 markings/sec, 1005 secs
lola: 3665104 markings, 572535487 edges, 3458 markings/sec, 1010 secs
lola: 3683899 markings, 575290235 edges, 3759 markings/sec, 1015 secs
lola: 3699042 markings, 577772849 edges, 3029 markings/sec, 1020 secs
lola: 3713917 markings, 580182466 edges, 2975 markings/sec, 1025 secs
lola: 3734343 markings, 583178814 edges, 4085 markings/sec, 1030 secs
lola: 3750096 markings, 585873144 edges, 3151 markings/sec, 1035 secs
lola: 3766822 markings, 588502499 edges, 3345 markings/sec, 1040 secs
lola: 3782407 markings, 590944243 edges, 3117 markings/sec, 1045 secs
lola: 3798062 markings, 593402334 edges, 3131 markings/sec, 1050 secs
lola: 3814283 markings, 595927452 edges, 3244 markings/sec, 1055 secs
lola: 3830345 markings, 598446208 edges, 3212 markings/sec, 1060 secs
lola: 3851406 markings, 601508710 edges, 4212 markings/sec, 1065 secs
lola: 3867545 markings, 604242659 edges, 3228 markings/sec, 1070 secs
lola: 3884566 markings, 606971348 edges, 3404 markings/sec, 1075 secs
lola: 3900950 markings, 609541028 edges, 3277 markings/sec, 1080 secs
lola: 3917118 markings, 612055086 edges, 3234 markings/sec, 1085 secs
lola: 3934017 markings, 614683565 edges, 3380 markings/sec, 1090 secs
lola: 3953157 markings, 617713637 edges, 3828 markings/sec, 1095 secs
lola: 3970754 markings, 620474463 edges, 3519 markings/sec, 1100 secs
lola: 3990000 markings, 623519250 edges, 3849 markings/sec, 1105 secs
lola: 4007330 markings, 626242533 edges, 3466 markings/sec, 1110 secs
lola: 4026891 markings, 629312439 edges, 3912 markings/sec, 1115 secs
lola: 4045411 markings, 632212406 edges, 3704 markings/sec, 1120 secs
lola: 4064501 markings, 635217824 edges, 3818 markings/sec, 1125 secs
lola: 4083122 markings, 638123976 edges, 3724 markings/sec, 1130 secs
lola: 4101891 markings, 641061022 edges, 3754 markings/sec, 1135 secs
lola: 4121108 markings, 644079848 edges, 3843 markings/sec, 1140 secs
lola: 4140094 markings, 647036357 edges, 3797 markings/sec, 1145 secs
lola: 4158875 markings, 649991182 edges, 3756 markings/sec, 1150 secs
lola: 4176919 markings, 652828589 edges, 3609 markings/sec, 1155 secs
lola: 4195154 markings, 655693093 edges, 3647 markings/sec, 1160 secs
lola: 4213446 markings, 658558107 edges, 3658 markings/sec, 1165 secs
lola: 4231357 markings, 661357210 edges, 3582 markings/sec, 1170 secs
lola: 4249786 markings, 664242295 edges, 3686 markings/sec, 1175 secs
lola: 4267961 markings, 667007621 edges, 3635 markings/sec, 1180 secs
lola: 4285686 markings, 669727912 edges, 3545 markings/sec, 1185 secs
lola: 4303262 markings, 672602874 edges, 3515 markings/sec, 1190 secs
lola: 4320357 markings, 675279697 edges, 3419 markings/sec, 1195 secs
lola: 4336854 markings, 677877640 edges, 3299 markings/sec, 1200 secs
lola: 4352947 markings, 680397085 edges, 3219 markings/sec, 1205 secs
lola: 4369876 markings, 682859692 edges, 3386 markings/sec, 1210 secs
lola: 4385258 markings, 685467021 edges, 3076 markings/sec, 1215 secs
lola: 4403924 markings, 688404479 edges, 3733 markings/sec, 1220 secs
lola: 4420456 markings, 691002846 edges, 3306 markings/sec, 1225 secs
lola: 4436156 markings, 693476091 edges, 3140 markings/sec, 1230 secs
lola: 4452190 markings, 695994700 edges, 3207 markings/sec, 1235 secs
lola: 4468364 markings, 698529262 edges, 3235 markings/sec, 1240 secs
lola: 4484150 markings, 700998110 edges, 3157 markings/sec, 1245 secs
lola: 4499874 markings, 703457890 edges, 3145 markings/sec, 1250 secs
lola: 4515330 markings, 705888618 edges, 3091 markings/sec, 1255 secs
lola: 4530718 markings, 708285982 edges, 3078 markings/sec, 1260 secs
lola: 4545761 markings, 710652141 edges, 3009 markings/sec, 1265 secs
lola: 4563544 markings, 713400929 edges, 3557 markings/sec, 1270 secs
lola: 4580435 markings, 716041227 edges, 3378 markings/sec, 1275 secs
lola: 4599735 markings, 719096446 edges, 3860 markings/sec, 1280 secs
lola: 4616348 markings, 721725173 edges, 3323 markings/sec, 1285 secs
lola: 4633491 markings, 724413655 edges, 3429 markings/sec, 1290 secs
lola: 4650024 markings, 726992871 edges, 3307 markings/sec, 1295 secs
lola: 4667208 markings, 729701338 edges, 3437 markings/sec, 1300 secs
lola: 4684115 markings, 732352847 edges, 3381 markings/sec, 1305 secs
lola: 4700839 markings, 734913078 edges, 3345 markings/sec, 1310 secs
lola: 4716689 markings, 737441874 edges, 3170 markings/sec, 1315 secs
lola: 4733081 markings, 739978910 edges, 3278 markings/sec, 1320 secs
lola: 4748997 markings, 742491971 edges, 3183 markings/sec, 1325 secs
lola: 4766662 markings, 745258947 edges, 3533 markings/sec, 1330 secs
lola: 4784833 markings, 748105854 edges, 3634 markings/sec, 1335 secs
lola: 4803335 markings, 750992866 edges, 3700 markings/sec, 1340 secs
lola: 4821604 markings, 753846994 edges, 3654 markings/sec, 1345 secs
lola: 4839258 markings, 756593054 edges, 3531 markings/sec, 1350 secs
lola: 4856351 markings, 759270245 edges, 3419 markings/sec, 1355 secs
lola: 4873266 markings, 761902452 edges, 3383 markings/sec, 1360 secs
lola: 4889064 markings, 764392430 edges, 3160 markings/sec, 1365 secs
lola: 4904204 markings, 766755155 edges, 3028 markings/sec, 1370 secs
lola: 4921442 markings, 769433605 edges, 3448 markings/sec, 1375 secs
lola: 4938014 markings, 772043344 edges, 3314 markings/sec, 1380 secs
lola: 4954982 markings, 774623301 edges, 3394 markings/sec, 1385 secs
lola: 4971257 markings, 777232948 edges, 3255 markings/sec, 1390 secs
lola: 4986613 markings, 779625772 edges, 3071 markings/sec, 1395 secs
lola: 5003818 markings, 782318946 edges, 3441 markings/sec, 1400 secs
lola: 5020759 markings, 784972760 edges, 3388 markings/sec, 1405 secs
lola: 5038959 markings, 787824698 edges, 3640 markings/sec, 1410 secs
lola: 5057493 markings, 790719530 edges, 3707 markings/sec, 1415 secs
lola: 5075818 markings, 793583865 edges, 3665 markings/sec, 1420 secs
lola: 5093748 markings, 796373484 edges, 3586 markings/sec, 1425 secs
lola: 5110900 markings, 799060544 edges, 3430 markings/sec, 1430 secs
lola: 5127073 markings, 801583985 edges, 3235 markings/sec, 1435 secs
lola: 5143613 markings, 804173852 edges, 3308 markings/sec, 1440 secs
lola: 5158993 markings, 806578854 edges, 3076 markings/sec, 1445 secs
lola: 5175184 markings, 809091701 edges, 3238 markings/sec, 1450 secs
lola: 5192235 markings, 811774773 edges, 3410 markings/sec, 1455 secs
lola: 5209248 markings, 814420684 edges, 3403 markings/sec, 1460 secs
lola: 5225676 markings, 816989525 edges, 3286 markings/sec, 1465 secs
lola: 5240640 markings, 819338843 edges, 2993 markings/sec, 1470 secs
lola: 5257820 markings, 822022283 edges, 3436 markings/sec, 1475 secs
lola: 5273756 markings, 824516320 edges, 3187 markings/sec, 1480 secs
lola: 5291642 markings, 827294528 edges, 3577 markings/sec, 1485 secs
lola: 5309814 markings, 830154305 edges, 3634 markings/sec, 1490 secs
lola: 5328307 markings, 833044595 edges, 3699 markings/sec, 1495 secs
lola: 5346095 markings, 835827031 edges, 3558 markings/sec, 1500 secs
lola: 5363927 markings, 838556342 edges, 3566 markings/sec, 1505 secs
lola: 5380000 markings, 841112150 edges, 3215 markings/sec, 1510 secs
lola: 5396678 markings, 843730354 edges, 3336 markings/sec, 1515 secs
lola: 5412204 markings, 846158236 edges, 3105 markings/sec, 1520 secs
lola: 5427464 markings, 848537027 edges, 3052 markings/sec, 1525 secs
lola: 5444656 markings, 851229484 edges, 3438 markings/sec, 1530 secs
lola: 5461143 markings, 853806120 edges, 3297 markings/sec, 1535 secs
lola: 5477018 markings, 856277763 edges, 3175 markings/sec, 1540 secs
lola: 5493553 markings, 858869089 edges, 3307 markings/sec, 1545 secs
lola: 5509450 markings, 861344560 edges, 3179 markings/sec, 1550 secs
lola: 5526244 markings, 863931700 edges, 3359 markings/sec, 1555 secs
lola: 5543206 markings, 866628372 edges, 3392 markings/sec, 1560 secs
lola: 5560901 markings, 869398370 edges, 3539 markings/sec, 1565 secs
lola: 5579324 markings, 872281131 edges, 3685 markings/sec, 1570 secs
lola: 5597324 markings, 875094725 edges, 3600 markings/sec, 1575 secs
lola: 5615324 markings, 877847718 edges, 3600 markings/sec, 1580 secs
lola: 5631868 markings, 880487518 edges, 3309 markings/sec, 1585 secs
lola: 5648283 markings, 883055936 edges, 3283 markings/sec, 1590 secs
lola: 5664190 markings, 885546520 edges, 3181 markings/sec, 1595 secs
lola: 5679365 markings, 887914642 edges, 3035 markings/sec, 1600 secs
lola: 5695465 markings, 890429101 edges, 3220 markings/sec, 1605 secs
lola: 5712212 markings, 893045495 edges, 3349 markings/sec, 1610 secs
lola: 5729109 markings, 895643185 edges, 3379 markings/sec, 1615 secs
lola: 5744873 markings, 898170092 edges, 3153 markings/sec, 1620 secs
lola: 5759582 markings, 900490987 edges, 2942 markings/sec, 1625 secs
lola: 5776388 markings, 903125520 edges, 3361 markings/sec, 1630 secs
lola: 5791852 markings, 905566744 edges, 3093 markings/sec, 1635 secs
lola: 5809224 markings, 908306401 edges, 3474 markings/sec, 1640 secs
lola: 5827023 markings, 911104997 edges, 3560 markings/sec, 1645 secs
lola: 5844957 markings, 913924786 edges, 3587 markings/sec, 1650 secs
lola: 5862344 markings, 916661890 edges, 3477 markings/sec, 1655 secs
lola: 5879334 markings, 919303450 edges, 3398 markings/sec, 1660 secs
lola: 5895474 markings, 921867757 edges, 3228 markings/sec, 1665 secs
lola: 5911818 markings, 924427425 edges, 3269 markings/sec, 1670 secs
lola: 5927084 markings, 926844544 edges, 3053 markings/sec, 1675 secs
lola: 5941662 markings, 929137212 edges, 2916 markings/sec, 1680 secs
lola: 5958035 markings, 931708745 edges, 3275 markings/sec, 1685 secs
lola: 5973950 markings, 934215992 edges, 3183 markings/sec, 1690 secs
lola: 5990220 markings, 936749011 edges, 3254 markings/sec, 1695 secs
lola: 6006084 markings, 939221019 edges, 3173 markings/sec, 1700 secs
lola: 6021271 markings, 941603086 edges, 3037 markings/sec, 1705 secs
lola: 6037976 markings, 944221596 edges, 3341 markings/sec, 1710 secs
lola: 6053991 markings, 946727741 edges, 3203 markings/sec, 1715 secs
lola: 6071278 markings, 949430866 edges, 3457 markings/sec, 1720 secs
lola: 6089224 markings, 952241604 edges, 3589 markings/sec, 1725 secs
lola: 6107240 markings, 955052686 edges, 3603 markings/sec, 1730 secs
lola: 6124535 markings, 957757832 edges, 3459 markings/sec, 1735 secs
lola: 6141720 markings, 960408441 edges, 3437 markings/sec, 1740 secs
lola: 6157634 markings, 962904486 edges, 3183 markings/sec, 1745 secs
lola: 6173803 markings, 965456297 edges, 3234 markings/sec, 1750 secs
lola: 6189147 markings, 967854297 edges, 3069 markings/sec, 1755 secs
lola: 6203896 markings, 970155448 edges, 2950 markings/sec, 1760 secs
lola: 6220655 markings, 972777380 edges, 3352 markings/sec, 1765 secs
lola: 6236937 markings, 975326451 edges, 3256 markings/sec, 1770 secs
lola: 6253049 markings, 977794799 edges, 3222 markings/sec, 1775 secs
lola: 6268997 markings, 980327251 edges, 3190 markings/sec, 1780 secs
lola: 6283803 markings, 982624056 edges, 2961 markings/sec, 1785 secs
lola: 6300374 markings, 985237493 edges, 3314 markings/sec, 1790 secs
lola: 6316444 markings, 987751403 edges, 3214 markings/sec, 1795 secs
lola: 6333825 markings, 990470508 edges, 3476 markings/sec, 1800 secs
lola: 6351428 markings, 993223716 edges, 3521 markings/sec, 1805 secs
lola: 6369300 markings, 996007282 edges, 3574 markings/sec, 1810 secs
lola: 6386459 markings, 998696101 edges, 3432 markings/sec, 1815 secs
lola: 6403381 markings, 1001330722 edges, 3384 markings/sec, 1820 secs
lola: 6419438 markings, 1003785216 edges, 3211 markings/sec, 1825 secs
lola: 6435311 markings, 1006331244 edges, 3175 markings/sec, 1830 secs
lola: 6450439 markings, 1008695121 edges, 3026 markings/sec, 1835 secs
lola: 6465256 markings, 1011009576 edges, 2963 markings/sec, 1840 secs
lola: 6481898 markings, 1013611621 edges, 3328 markings/sec, 1845 secs
lola: 6497965 markings, 1016120934 edges, 3213 markings/sec, 1850 secs
lola: 6514167 markings, 1018627242 edges, 3240 markings/sec, 1855 secs
lola: 6529527 markings, 1020993609 edges, 3072 markings/sec, 1860 secs
lola: 6545159 markings, 1023455117 edges, 3126 markings/sec, 1865 secs
lola: 6559927 markings, 1025747721 edges, 2954 markings/sec, 1870 secs
lola: 6574388 markings, 1027992123 edges, 2892 markings/sec, 1875 secs
lola: 6590543 markings, 1030501515 edges, 3231 markings/sec, 1880 secs
lola: 6606331 markings, 1032915060 edges, 3158 markings/sec, 1885 secs
lola: 6622256 markings, 1035429158 edges, 3185 markings/sec, 1890 secs
lola: 6637737 markings, 1037832716 edges, 3096 markings/sec, 1895 secs
lola: 6654976 markings, 1040479775 edges, 3448 markings/sec, 1900 secs
lola: 6669959 markings, 1042805655 edges, 2997 markings/sec, 1905 secs
lola: 6684292 markings, 1045035663 edges, 2867 markings/sec, 1910 secs
lola: 6699289 markings, 1047439238 edges, 2999 markings/sec, 1915 secs
lola: 6715747 markings, 1049980543 edges, 3292 markings/sec, 1920 secs
lola: 6734261 markings, 1052691352 edges, 3703 markings/sec, 1925 secs
lola: 6751638 markings, 1055282452 edges, 3475 markings/sec, 1930 secs
lola: 6765909 markings, 1057876776 edges, 2854 markings/sec, 1935 secs
lola: 6782018 markings, 1060246546 edges, 3222 markings/sec, 1940 secs
lola: 6795387 markings, 1062526954 edges, 2674 markings/sec, 1945 secs
lola: 6812299 markings, 1065054935 edges, 3382 markings/sec, 1950 secs
lola: 6826399 markings, 1067404533 edges, 2820 markings/sec, 1955 secs
lola: 6841865 markings, 1069776808 edges, 3093 markings/sec, 1960 secs
lola: 6856395 markings, 1072088747 edges, 2906 markings/sec, 1965 secs
lola: 6870896 markings, 1074372888 edges, 2900 markings/sec, 1970 secs
lola: 6885607 markings, 1076682231 edges, 2942 markings/sec, 1975 secs
lola: 6900363 markings, 1078965656 edges, 2951 markings/sec, 1980 secs
lola: 6919835 markings, 1081294475 edges, 3894 markings/sec, 1985 secs
lola: 6929918 markings, 1083577238 edges, 2017 markings/sec, 1990 secs
lola: 6947947 markings, 1085819106 edges, 3606 markings/sec, 1995 secs
lola: 6958381 markings, 1088022302 edges, 2087 markings/sec, 2000 secs
lola: 6973824 markings, 1090301890 edges, 3089 markings/sec, 2005 secs
lola: 6988748 markings, 1092831561 edges, 2985 markings/sec, 2010 secs
lola: 7005825 markings, 1095482589 edges, 3415 markings/sec, 2015 secs
lola: 7023514 markings, 1098253433 edges, 3538 markings/sec, 2020 secs
lola: 7039894 markings, 1100822035 edges, 3276 markings/sec, 2025 secs
lola: 7055903 markings, 1103178583 edges, 3202 markings/sec, 2030 secs
lola: 7069954 markings, 1105505679 edges, 2810 markings/sec, 2035 secs
lola: 7085760 markings, 1108022260 edges, 3161 markings/sec, 2040 secs
lola: 7100391 markings, 1110311409 edges, 2926 markings/sec, 2045 secs
lola: 7114944 markings, 1112628303 edges, 2911 markings/sec, 2050 secs
lola: 7129003 markings, 1114848803 edges, 2812 markings/sec, 2055 secs
lola: 7144101 markings, 1117078720 edges, 3020 markings/sec, 2060 secs
lola: 7157070 markings, 1119237702 edges, 2594 markings/sec, 2065 secs
lola: 7172028 markings, 1121599891 edges, 2992 markings/sec, 2070 secs
lola: 7188363 markings, 1124161830 edges, 3267 markings/sec, 2075 secs
lola: 7202980 markings, 1126447002 edges, 2923 markings/sec, 2080 secs
lola: 7216736 markings, 1128598687 edges, 2751 markings/sec, 2085 secs
lola: 7231973 markings, 1130928453 edges, 3047 markings/sec, 2090 secs
lola: 7245851 markings, 1133156785 edges, 2776 markings/sec, 2095 secs
lola: 7260145 markings, 1135393146 edges, 2859 markings/sec, 2100 secs
lola: 7274612 markings, 1137654326 edges, 2893 markings/sec, 2105 secs
lola: 7288667 markings, 1139800621 edges, 2811 markings/sec, 2110 secs
lola: 7302760 markings, 1142054470 edges, 2819 markings/sec, 2115 secs
lola: 7317040 markings, 1144289193 edges, 2856 markings/sec, 2120 secs
lola: 7330785 markings, 1146437483 edges, 2749 markings/sec, 2125 secs
lola: 7345244 markings, 1148706178 edges, 2892 markings/sec, 2130 secs
lola: 7358948 markings, 1150825487 edges, 2741 markings/sec, 2135 secs
lola: 7372973 markings, 1153037926 edges, 2805 markings/sec, 2140 secs
lola: 7386848 markings, 1155244391 edges, 2775 markings/sec, 2145 secs
lola: 7400153 markings, 1157317713 edges, 2661 markings/sec, 2150 secs
lola: 7414684 markings, 1159570968 edges, 2906 markings/sec, 2155 secs
lola: 7428144 markings, 1161703200 edges, 2692 markings/sec, 2160 secs
lola: 7441976 markings, 1163864150 edges, 2766 markings/sec, 2165 secs
lola: 7459471 markings, 1166523836 edges, 3499 markings/sec, 2170 secs
lola: 7477585 markings, 1168991483 edges, 3623 markings/sec, 2175 secs
lola: 7490460 markings, 1171368261 edges, 2575 markings/sec, 2180 secs
lola: 7508142 markings, 1173759981 edges, 3536 markings/sec, 2185 secs
lola: 7519858 markings, 1176035584 edges, 2343 markings/sec, 2190 secs
lola: 7537197 markings, 1178652000 edges, 3468 markings/sec, 2195 secs
lola: 7553630 markings, 1181318560 edges, 3287 markings/sec, 2200 secs
lola: 7571297 markings, 1184107983 edges, 3533 markings/sec, 2205 secs
lola: 7589259 markings, 1186921691 edges, 3592 markings/sec, 2210 secs
lola: 7604673 markings, 1189299839 edges, 3083 markings/sec, 2215 secs
lola: 7618617 markings, 1191533538 edges, 2789 markings/sec, 2220 secs
lola: 7635015 markings, 1194110512 edges, 3280 markings/sec, 2225 secs
lola: 7650860 markings, 1196591961 edges, 3169 markings/sec, 2230 secs
lola: 7665988 markings, 1198964796 edges, 3026 markings/sec, 2235 secs
lola: 7681251 markings, 1201348588 edges, 3053 markings/sec, 2240 secs
lola: 7696273 markings, 1203699600 edges, 3004 markings/sec, 2245 secs
lola: 7711061 markings, 1206004432 edges, 2958 markings/sec, 2250 secs
lola: 7725860 markings, 1208285699 edges, 2960 markings/sec, 2255 secs
lola: 7739912 markings, 1210539487 edges, 2810 markings/sec, 2260 secs
lola: 7755918 markings, 1213051197 edges, 3201 markings/sec, 2265 secs
lola: 7770738 markings, 1215382330 edges, 2964 markings/sec, 2270 secs
lola: 7786736 markings, 1217877683 edges, 3200 markings/sec, 2275 secs
lola: 7806027 markings, 1220626242 edges, 3858 markings/sec, 2280 secs
lola: 7821159 markings, 1223248861 edges, 3026 markings/sec, 2285 secs
lola: 7840004 markings, 1226129158 edges, 3769 markings/sec, 2290 secs
lola: 7856475 markings, 1228807076 edges, 3294 markings/sec, 2295 secs
lola: 7873240 markings, 1231435540 edges, 3353 markings/sec, 2300 secs
lola: 7889481 markings, 1233988557 edges, 3248 markings/sec, 2305 secs
lola: 7906173 markings, 1236482585 edges, 3338 markings/sec, 2310 secs
lola: 7921938 markings, 1239017863 edges, 3153 markings/sec, 2315 secs
lola: 7940176 markings, 1241942497 edges, 3648 markings/sec, 2320 secs
lola: 7957427 markings, 1244573876 edges, 3450 markings/sec, 2325 secs
lola: 7972963 markings, 1247098755 edges, 3107 markings/sec, 2330 secs
lola: 7988429 markings, 1249524946 edges, 3093 markings/sec, 2335 secs
lola: 8004983 markings, 1252114882 edges, 3311 markings/sec, 2340 secs
lola: 8020686 markings, 1254584365 edges, 3141 markings/sec, 2345 secs
lola: 8036356 markings, 1257026985 edges, 3134 markings/sec, 2350 secs
lola: 8051934 markings, 1259455960 edges, 3116 markings/sec, 2355 secs
lola: 8067027 markings, 1261847569 edges, 3019 markings/sec, 2360 secs
lola: 8082044 markings, 1264202495 edges, 3003 markings/sec, 2365 secs
lola: 8100537 markings, 1266822994 edges, 3699 markings/sec, 2370 secs
lola: 8115353 markings, 1269380807 edges, 2963 markings/sec, 2375 secs
lola: 8133688 markings, 1272290971 edges, 3667 markings/sec, 2380 secs
lola: 8151126 markings, 1275017737 edges, 3488 markings/sec, 2385 secs
lola: 8168214 markings, 1277713905 edges, 3418 markings/sec, 2390 secs
lola: 8184628 markings, 1280286575 edges, 3283 markings/sec, 2395 secs
lola: 8201007 markings, 1282844451 edges, 3276 markings/sec, 2400 secs
lola: 8218040 markings, 1285484952 edges, 3407 markings/sec, 2405 secs
lola: 8234866 markings, 1288150399 edges, 3365 markings/sec, 2410 secs
lola: 8251807 markings, 1290797884 edges, 3388 markings/sec, 2415 secs
lola: 8267747 markings, 1293300063 edges, 3188 markings/sec, 2420 secs
lola: 8282916 markings, 1295670238 edges, 3034 markings/sec, 2425 secs
lola: 8299545 markings, 1298260886 edges, 3326 markings/sec, 2430 secs
lola: 8316320 markings, 1300889979 edges, 3355 markings/sec, 2435 secs
lola: 8333972 markings, 1303639389 edges, 3530 markings/sec, 2440 secs
lola: 8350731 markings, 1306238422 edges, 3352 markings/sec, 2445 secs
lola: 8367730 markings, 1308922413 edges, 3400 markings/sec, 2450 secs
lola: 8383713 markings, 1311424262 edges, 3197 markings/sec, 2455 secs
lola: 8399858 markings, 1313914501 edges, 3229 markings/sec, 2460 secs
lola: 8417193 markings, 1316656539 edges, 3467 markings/sec, 2465 secs
lola: 8434210 markings, 1319305116 edges, 3403 markings/sec, 2470 secs
lola: 8451396 markings, 1321997981 edges, 3437 markings/sec, 2475 secs
lola: 8468357 markings, 1324635155 edges, 3392 markings/sec, 2480 secs
lola: 8484272 markings, 1327142466 edges, 3183 markings/sec, 2485 secs
lola: 8499554 markings, 1329528397 edges, 3056 markings/sec, 2490 secs
lola: 8516706 markings, 1332205182 edges, 3430 markings/sec, 2495 secs
lola: 8533433 markings, 1334826720 edges, 3345 markings/sec, 2500 secs
lola: 8551223 markings, 1337596198 edges, 3558 markings/sec, 2505 secs
lola: 8567822 markings, 1340193495 edges, 3320 markings/sec, 2510 secs
lola: 8584765 markings, 1342853373 edges, 3389 markings/sec, 2515 secs
lola: 8600694 markings, 1345341827 edges, 3186 markings/sec, 2520 secs
lola: 8616823 markings, 1347840697 edges, 3226 markings/sec, 2525 secs
lola: 8634147 markings, 1350570280 edges, 3465 markings/sec, 2530 secs
lola: 8651340 markings, 1353221805 edges, 3439 markings/sec, 2535 secs
lola: 8667360 markings, 1355784686 edges, 3204 markings/sec, 2540 secs
lola: 8683806 markings, 1358361137 edges, 3289 markings/sec, 2545 secs
lola: 8699066 markings, 1360777236 edges, 3052 markings/sec, 2550 secs
lola: 8713889 markings, 1363104355 edges, 2965 markings/sec, 2555 secs
lola: 8730604 markings, 1365721208 edges, 3343 markings/sec, 2560 secs
lola: 8746548 markings, 1368244260 edges, 3189 markings/sec, 2565 secs
lola: 8763848 markings, 1370935306 edges, 3460 markings/sec, 2570 secs
lola: 8779896 markings, 1373452677 edges, 3210 markings/sec, 2575 secs
lola: 8796599 markings, 1376069210 edges, 3341 markings/sec, 2580 secs
lola: 8812236 markings, 1378514611 edges, 3127 markings/sec, 2585 secs
lola: 8827848 markings, 1380942438 edges, 3122 markings/sec, 2590 secs
lola: 8844767 markings, 1383599151 edges, 3384 markings/sec, 2595 secs
lola: 8861521 markings, 1386168134 edges, 3351 markings/sec, 2600 secs
lola: 8877887 markings, 1388770000 edges, 3273 markings/sec, 2605 secs
lola: 8894165 markings, 1391320792 edges, 3256 markings/sec, 2610 secs
lola: 8909789 markings, 1393762638 edges, 3125 markings/sec, 2615 secs
lola: 8924690 markings, 1396092982 edges, 2980 markings/sec, 2620 secs
lola: 8940511 markings, 1398559928 edges, 3164 markings/sec, 2625 secs
lola: 8956871 markings, 1401122825 edges, 3272 markings/sec, 2630 secs
lola: 8973703 markings, 1403739961 edges, 3366 markings/sec, 2635 secs
lola: 8990082 markings, 1406286987 edges, 3276 markings/sec, 2640 secs
lola: 9007776 markings, 1408992485 edges, 3539 markings/sec, 2645 secs
lola: 9025786 markings, 1411557394 edges, 3602 markings/sec, 2650 secs
lola: 9040051 markings, 1414049062 edges, 2853 markings/sec, 2655 secs
lola: 9056339 markings, 1416508418 edges, 3258 markings/sec, 2660 secs
lola: 9070884 markings, 1418897493 edges, 2909 markings/sec, 2665 secs
lola: 9088790 markings, 1421531027 edges, 3581 markings/sec, 2670 secs
lola: 9104387 markings, 1424129548 edges, 3119 markings/sec, 2675 secs
lola: 9121536 markings, 1426848170 edges, 3430 markings/sec, 2680 secs
lola: 9138547 markings, 1429527187 edges, 3402 markings/sec, 2685 secs
lola: 9154647 markings, 1432038392 edges, 3220 markings/sec, 2690 secs
lola: 9170179 markings, 1434472149 edges, 3106 markings/sec, 2695 secs
lola: 9186610 markings, 1437063913 edges, 3286 markings/sec, 2700 secs
lola: 9202611 markings, 1439589013 edges, 3200 markings/sec, 2705 secs
lola: 9218736 markings, 1442106827 edges, 3225 markings/sec, 2710 secs
lola: 9234568 markings, 1444578753 edges, 3166 markings/sec, 2715 secs
lola: 9250030 markings, 1447005602 edges, 3092 markings/sec, 2720 secs
lola: 9265567 markings, 1449442927 edges, 3107 markings/sec, 2725 secs
lola: 9281140 markings, 1451885618 edges, 3115 markings/sec, 2730 secs
lola: 9297039 markings, 1454371562 edges, 3180 markings/sec, 2735 secs
lola: 9313024 markings, 1456893907 edges, 3197 markings/sec, 2740 secs
lola: 9329392 markings, 1459410665 edges, 3274 markings/sec, 2745 secs
lola: 9344916 markings, 1461771869 edges, 3105 markings/sec, 2750 secs
lola: 9360429 markings, 1464306784 edges, 3103 markings/sec, 2755 secs
lola: 9376109 markings, 1466762361 edges, 3136 markings/sec, 2760 secs
lola: 9391205 markings, 1469155469 edges, 3019 markings/sec, 2765 secs
lola: 9406126 markings, 1471487782 edges, 2984 markings/sec, 2770 secs
lola: 9420685 markings, 1473755021 edges, 2912 markings/sec, 2775 secs
lola: 9436313 markings, 1476161091 edges, 3126 markings/sec, 2780 secs
lola: 9450987 markings, 1478521708 edges, 2935 markings/sec, 2785 secs
lola: 9465957 markings, 1480831175 edges, 2994 markings/sec, 2790 secs
lola: 9480776 markings, 1483176197 edges, 2964 markings/sec, 2795 secs
lola: 9495501 markings, 1485465614 edges, 2945 markings/sec, 2800 secs
lola: 9510289 markings, 1487792228 edges, 2958 markings/sec, 2805 secs
lola: 9524873 markings, 1490059544 edges, 2917 markings/sec, 2810 secs
lola: 9539567 markings, 1492369346 edges, 2939 markings/sec, 2815 secs
lola: 9554019 markings, 1494621293 edges, 2890 markings/sec, 2820 secs
lola: 9568498 markings, 1496913096 edges, 2896 markings/sec, 2825 secs
lola: 9582875 markings, 1499147618 edges, 2875 markings/sec, 2830 secs
lola: 9597240 markings, 1501416632 edges, 2873 markings/sec, 2835 secs
lola: 9611861 markings, 1503637193 edges, 2924 markings/sec, 2840 secs
lola: 9625844 markings, 1505885009 edges, 2797 markings/sec, 2845 secs
lola: 9640234 markings, 1508130618 edges, 2878 markings/sec, 2850 secs
lola: 9656383 markings, 1510671534 edges, 3230 markings/sec, 2855 secs
lola: 9671744 markings, 1513087061 edges, 3072 markings/sec, 2860 secs
lola: 9688578 markings, 1515719944 edges, 3367 markings/sec, 2865 secs
lola: 9706813 markings, 1518579349 edges, 3647 markings/sec, 2870 secs
lola: 9725136 markings, 1521454127 edges, 3665 markings/sec, 2875 secs
lola: 9742395 markings, 1524162852 edges, 3452 markings/sec, 2880 secs
lola: 9760147 markings, 1526953506 edges, 3550 markings/sec, 2885 secs
lola: 9777028 markings, 1529605623 edges, 3376 markings/sec, 2890 secs
lola: 9793904 markings, 1532243548 edges, 3375 markings/sec, 2895 secs
lola: 9810416 markings, 1534835758 edges, 3302 markings/sec, 2900 secs
lola: 9825887 markings, 1537253545 edges, 3094 markings/sec, 2905 secs
lola: 9840790 markings, 1539582069 edges, 2981 markings/sec, 2910 secs
lola: 9856227 markings, 1542024283 edges, 3087 markings/sec, 2915 secs
lola: 9872900 markings, 1544643592 edges, 3335 markings/sec, 2920 secs
lola: 9889588 markings, 1547264315 edges, 3338 markings/sec, 2925 secs
lola: 9905405 markings, 1549734402 edges, 3163 markings/sec, 2930 secs
lola: 9920766 markings, 1552156235 edges, 3072 markings/sec, 2935 secs
lola: 9935753 markings, 1554509407 edges, 2997 markings/sec, 2940 secs
lola: 9951606 markings, 1557027188 edges, 3171 markings/sec, 2945 secs
lola: 9969332 markings, 1559778040 edges, 3545 markings/sec, 2950 secs
lola: 9985689 markings, 1562349128 edges, 3271 markings/sec, 2955 secs
lola: 10002884 markings, 1565029221 edges, 3439 markings/sec, 2960 secs
lola: 10018694 markings, 1567513788 edges, 3162 markings/sec, 2965 secs
lola: 10035012 markings, 1569996638 edges, 3264 markings/sec, 2970 secs
lola: 10051952 markings, 1572710167 edges, 3388 markings/sec, 2975 secs
lola: 10069506 markings, 1575438688 edges, 3511 markings/sec, 2980 secs
lola: 10086801 markings, 1578148972 edges, 3459 markings/sec, 2985 secs
lola: 10105796 markings, 1581077819 edges, 3799 markings/sec, 2990 secs
lola: 10125417 markings, 1583742981 edges, 3924 markings/sec, 2995 secs
lola: 10139750 markings, 1586222848 edges, 2867 markings/sec, 3000 secs
lola: 10155227 markings, 1588868784 edges, 3095 markings/sec, 3005 secs
lola: 10175095 markings, 1591751721 edges, 3974 markings/sec, 3010 secs
lola: 10193029 markings, 1594811462 edges, 3587 markings/sec, 3015 secs
lola: 10214891 markings, 1597781991 edges, 4372 markings/sec, 3020 secs
lola: 10229482 markings, 1600603046 edges, 2918 markings/sec, 3025 secs
lola: 10245543 markings, 1603151380 edges, 3212 markings/sec, 3030 secs
lola: 10263424 markings, 1605972917 edges, 3576 markings/sec, 3035 secs
lola: 10280287 markings, 1608656281 edges, 3373 markings/sec, 3040 secs
lola: 10297597 markings, 1611356278 edges, 3462 markings/sec, 3045 secs
lola: 10313928 markings, 1613947249 edges, 3266 markings/sec, 3050 secs
lola: 10330800 markings, 1616586978 edges, 3374 markings/sec, 3055 secs
lola: 10346881 markings, 1619131062 edges, 3216 markings/sec, 3060 secs
lola: 10364129 markings, 1621752074 edges, 3450 markings/sec, 3065 secs
lola: 10382170 markings, 1624432387 edges, 3608 markings/sec, 3070 secs
lola: 10398963 markings, 1626981478 edges, 3359 markings/sec, 3075 secs
lola: 10413259 markings, 1629486568 edges, 2859 markings/sec, 3080 secs
lola: 10429826 markings, 1632058084 edges, 3313 markings/sec, 3085 secs
lola: 10446864 markings, 1634907211 edges, 3408 markings/sec, 3090 secs
lola: 10466219 markings, 1637974551 edges, 3871 markings/sec, 3095 secs
lola: 10486633 markings, 1641175115 edges, 4083 markings/sec, 3100 secs
lola: 10504432 markings, 1643882327 edges, 3560 markings/sec, 3105 secs
lola: 10519545 markings, 1646375023 edges, 3023 markings/sec, 3110 secs
lola: 10538802 markings, 1649224951 edges, 3851 markings/sec, 3115 secs
lola: 10553964 markings, 1651821169 edges, 3032 markings/sec, 3120 secs
lola: 10570583 markings, 1654447988 edges, 3324 markings/sec, 3125 secs
lola: 10586363 markings, 1656938115 edges, 3156 markings/sec, 3130 secs
lola: 10602364 markings, 1659443632 edges, 3200 markings/sec, 3135 secs
lola: 10618025 markings, 1661866868 edges, 3132 markings/sec, 3140 secs
lola: 10635670 markings, 1664725719 edges, 3529 markings/sec, 3145 secs
lola: 10652408 markings, 1667359271 edges, 3348 markings/sec, 3150 secs
lola: 10668183 markings, 1669795345 edges, 3155 markings/sec, 3155 secs
lola: 10683906 markings, 1672296536 edges, 3145 markings/sec, 3160 secs
lola: 10699614 markings, 1674791025 edges, 3142 markings/sec, 3165 secs
lola: 10715218 markings, 1677243366 edges, 3121 markings/sec, 3170 secs
lola: 10731068 markings, 1679738437 edges, 3170 markings/sec, 3175 secs
lola: 10746106 markings, 1682087536 edges, 3008 markings/sec, 3180 secs
lola: 10762360 markings, 1684629541 edges, 3251 markings/sec, 3185 secs
lola: 10777566 markings, 1687005152 edges, 3041 markings/sec, 3190 secs
lola: 10792743 markings, 1689445221 edges, 3035 markings/sec, 3195 secs
lola: 10808168 markings, 1691892543 edges, 3085 markings/sec, 3200 secs
lola: 10823133 markings, 1694263300 edges, 2993 markings/sec, 3205 secs
lola: 10838724 markings, 1696710432 edges, 3118 markings/sec, 3210 secs
lola: 10853627 markings, 1699024416 edges, 2981 markings/sec, 3215 secs
lola: 10869091 markings, 1701455813 edges, 3093 markings/sec, 3220 secs
lola: 10883870 markings, 1703821034 edges, 2956 markings/sec, 3225 secs
lola: 10899457 markings, 1706231855 edges, 3117 markings/sec, 3230 secs
lola: 10918348 markings, 1709159520 edges, 3778 markings/sec, 3235 secs
lola: 10937656 markings, 1711960217 edges, 3862 markings/sec, 3240 secs
lola: 10955290 markings, 1714623654 edges, 3527 markings/sec, 3245 secs
lola: 10969703 markings, 1717255029 edges, 2883 markings/sec, 3250 secs
lola: 10987242 markings, 1720041587 edges, 3508 markings/sec, 3255 secs
lola: 11006255 markings, 1723088514 edges, 3803 markings/sec, 3260 secs
lola: 11026560 markings, 1726273294 edges, 4061 markings/sec, 3265 secs
lola: 11046264 markings, 1729391548 edges, 3941 markings/sec, 3270 secs
lola: 11063241 markings, 1732059781 edges, 3395 markings/sec, 3275 secs
lola: 11079792 markings, 1734664532 edges, 3310 markings/sec, 3280 secs
lola: 11098657 markings, 1737675298 edges, 3773 markings/sec, 3285 secs
lola: 11115717 markings, 1740337100 edges, 3412 markings/sec, 3290 secs
lola: 11132149 markings, 1742942716 edges, 3286 markings/sec, 3295 secs
lola: 11148983 markings, 1745595151 edges, 3367 markings/sec, 3300 secs
lola: 11165791 markings, 1748192291 edges, 3362 markings/sec, 3305 secs
lola: 11181681 markings, 1750735036 edges, 3178 markings/sec, 3310 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes no yes no no no yes no yes no no no yeslola:
caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-6a-LTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494617806717
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6a"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-6a, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436308800041"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;