About the Execution of M4M.struct for CloudReconfiguration-PT-311
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7662.280 | 3585070.00 | 7104570.00 | 11530.80 | TFTTTFTFFFFTFFT? | 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 824K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is CloudReconfiguration-PT-311, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r059-smll-152646386100077
=====================================================================
--------------------
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 CloudReconfiguration-PT-311-ReachabilityFireability-00
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-01
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-02
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-03
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-04
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-05
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-06
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-07
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-08
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-09
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-10
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-11
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-12
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-13
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-14
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526538406646
BK_STOP 1526541991716
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudReconfiguration-PT-311 as instance name.
Using CloudReconfiguration as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 8863, 'Memory': 598.34, 'Tool': 'itstools'}, {'Time': 1028363, 'Memory': 5252.72, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 116.02877129640076x far from the best tool itstools.
ReachabilityFireability lola CloudReconfiguration-PT-311...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
CloudReconfiguration-PT-311: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-311: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityFireability @ CloudReconfiguration-PT-311 @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-311-ReachabilityFireability.task
lola: E (F (FIREABLE(t1294))) : A (G (NOT FIREABLE(t899))) : E (F (FIREABLE(t2038))) : E (F ((((FIREABLE(t978) AND FIREABLE(t1073)) OR NOT FIREABLE(t336)) AND FIREABLE(t1928) AND FIREABLE(t754)))) : E (F (((FIREABLE(t873) AND FIREABLE(t2869)) OR (FIREABLE(t723) AND FIREABLE(t259)) OR FIREABLE(t861) OR ((FIREABLE(t2978) OR FIREABLE(t877) OR FIREABLE(t1551)) AND FIREABLE(t1491))))) : A (G ((FIREABLE(t913) OR FIREABLE(t2137) OR NOT FIREABLE(t1968)))) : E (F (FIREABLE(t2295))) : A (G ((NOT FIREABLE(t1347) AND ((NOT FIREABLE(t1040) AND NOT FIREABLE(t3071)) OR (NOT FIREABLE(t2772) AND NOT FIREABLE(t2498)))))) : A (G ((NOT FIREABLE(t2735) OR NOT FIREABLE(t1862)))) : A (G (((FIREABLE(t3033) AND (NOT FIREABLE(t1457) OR FIREABLE(t1127))) OR NOT FIREABLE(t346)))) : E (F (((FIREABLE(t3088) OR (FIREABLE(t238) AND FIREABLE(t786) AND FIREABLE(t324))) AND FIREABLE(t194)))) : E (F (FIREABLE(t2277))) : A (G ((NOT FIREABLE(t270) OR FIREABLE(t1027) OR (NOT FIREABLE(t1978) AND NOT FIREABLE(t3010)) OR (NOT FIREABLE(t1321) AND NOT FIREABLE(t750) AND FIREABLE(t2567))))) : A (G (((NOT FIREABLE(t2739) AND NOT FIREABLE(t1494)) OR FIREABLE(t130) OR (FIREABLE(t1882) AND FIREABLE(t472))))) : E (F (FIREABLE(t1561))) : A (G ((NOT FIREABLE(t1812) OR NOT FIREABLE(t2478) OR FIREABLE(t2978) OR FIREABLE(t308))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1294)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 102 markings, 101 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t899)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 65 markings, 64 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2038)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-2.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 62 markings, 61 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t978) AND FIREABLE(t1073)) OR NOT FIREABLE(t336)) AND FIREABLE(t1928) AND FIREABLE(t754))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-3.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-3.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 86 markings, 85 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t873) AND FIREABLE(t2869)) OR (FIREABLE(t723) AND FIREABLE(t259)) OR FIREABLE(t861) OR ((FIREABLE(t2978) OR FIREABLE(t877) OR FIREABLE(t1551)) AND FIREABLE(t1491)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 13 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-4.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 14012 markings, 25997 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t913) OR FIREABLE(t2137) OR NOT FIREABLE(t1968))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-5.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 72 markings, 71 edges
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2295)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 78 markings, 77 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1347) AND ((NOT FIREABLE(t1040) AND NOT FIREABLE(t3071)) OR (NOT FIREABLE(t2772) AND NOT FIREABLE(t2498))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 11 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-7.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-7.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 863 markings, 965 edges
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2735) OR NOT FIREABLE(t1862))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-8.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 72494 markings, 87894 edges, 14499 markings/sec, 0 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: subprocess 9 will run for 504 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t3033) AND (NOT FIREABLE(t1457) OR FIREABLE(t1127))) OR NOT FIREABLE(t346))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-9.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 10 will run for 588 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t3088) OR (FIREABLE(t238) AND FIREABLE(t786) AND FIREABLE(t324))) AND FIREABLE(t194))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-10.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 87010 markings, 104386 edges, 17402 markings/sec, 0 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 11 will run for 705 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2277)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-11.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 85 markings, 84 edges
lola: ========================================
lola: subprocess 12 will run for 881 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t270) OR FIREABLE(t1027) OR (NOT FIREABLE(t1978) AND NOT FIREABLE(t3010)) OR (NOT FIREABLE(t1321) AND NOT FIREABLE(t750) AND FIREABLE(t2567)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 27 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-12.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-12.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 504 markings, 565 edges
lola: ========================================
lola: subprocess 13 will run for 1175 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t2739) AND NOT FIREABLE(t1494)) OR FIREABLE(t130) OR (FIREABLE(t1882) AND FIREABLE(t472)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-13.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-13.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 63 markings, 62 edges
lola: ========================================
lola: subprocess 14 will run for 1763 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1561)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-14.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-14.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 69 markings, 68 edges
lola: ========================================
lola: subprocess 15 will run for 3526 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1812) OR NOT FIREABLE(t2478) OR FIREABLE(t2978) OR FIREABLE(t308))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityFireability-15.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityFireability-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 82660 markings, 158478 edges, 16532 markings/sec, 0 secs
lola: sara is running 5 secs || 164568 markings, 337381 edges, 16382 markings/sec, 5 secs
lola: sara is running 10 secs || 249419 markings, 510343 edges, 16970 markings/sec, 10 secs
lola: sara is running 15 secs || 327279 markings, 680239 edges, 15572 markings/sec, 15 secs
lola: sara is running 20 secs || 406677 markings, 846164 edges, 15880 markings/sec, 20 secs
lola: sara is running 25 secs || 495936 markings, 1017663 edges, 17852 markings/sec, 25 secs
lola: sara is running 30 secs || 580074 markings, 1208498 edges, 16828 markings/sec, 30 secs
lola: sara is running 35 secs || 663536 markings, 1390084 edges, 16692 markings/sec, 35 secs
lola: sara is running 40 secs || 744642 markings, 1562986 edges, 16221 markings/sec, 40 secs
lola: sara is running 45 secs || 823501 markings, 1734659 edges, 15772 markings/sec, 45 secs
lola: sara is running 50 secs || 901214 markings, 1904363 edges, 15543 markings/sec, 50 secs
lola: sara is running 55 secs || 978661 markings, 2071920 edges, 15489 markings/sec, 55 secs
lola: sara is running 60 secs || 1053854 markings, 2234397 edges, 15039 markings/sec, 60 secs
lola: sara is running 65 secs || 1128477 markings, 2397512 edges, 14925 markings/sec, 65 secs
lola: sara is running 70 secs || 1201966 markings, 2561095 edges, 14698 markings/sec, 70 secs
lola: sara is running 75 secs || 1282536 markings, 2729023 edges, 16114 markings/sec, 75 secs
lola: sara is running 80 secs || 1363288 markings, 2899211 edges, 16150 markings/sec, 80 secs
lola: sara is running 85 secs || 1438464 markings, 3055974 edges, 15035 markings/sec, 85 secs
lola: sara is running 90 secs || 1515871 markings, 3225356 edges, 15481 markings/sec, 90 secs
lola: sara is running 95 secs || 1593380 markings, 3393312 edges, 15502 markings/sec, 95 secs
lola: sara is running 100 secs || 1667892 markings, 3552472 edges, 14902 markings/sec, 100 secs
lola: sara is running 105 secs || 1741202 markings, 3716083 edges, 14662 markings/sec, 105 secs
lola: sara is running 110 secs || 1818193 markings, 3880014 edges, 15398 markings/sec, 110 secs
lola: sara is running 115 secs || 1892311 markings, 4047044 edges, 14824 markings/sec, 115 secs
lola: sara is running 120 secs || 1969050 markings, 4211883 edges, 15348 markings/sec, 120 secs
lola: sara is running 125 secs || 2041760 markings, 4370124 edges, 14542 markings/sec, 125 secs
lola: sara is running 130 secs || 2113824 markings, 4519442 edges, 14413 markings/sec, 130 secs
lola: sara is running 135 secs || 2181831 markings, 4670850 edges, 13601 markings/sec, 135 secs
lola: sara is running 140 secs || 2255335 markings, 4827611 edges, 14701 markings/sec, 140 secs
lola: sara is running 145 secs || 2324952 markings, 4982065 edges, 13923 markings/sec, 145 secs
lola: sara is running 150 secs || 2383907 markings, 5107666 edges, 11791 markings/sec, 150 secs
lola: sara is running 155 secs || 2455897 markings, 5261642 edges, 14398 markings/sec, 155 secs
lola: sara is running 160 secs || 2524612 markings, 5416249 edges, 13743 markings/sec, 160 secs
lola: sara is running 165 secs || 2597125 markings, 5569905 edges, 14503 markings/sec, 165 secs
lola: sara is running 170 secs || 2659816 markings, 5723387 edges, 12538 markings/sec, 170 secs
lola: sara is running 175 secs || 2731255 markings, 5879507 edges, 14288 markings/sec, 175 secs
lola: sara is running 180 secs || 2801905 markings, 6027835 edges, 14130 markings/sec, 180 secs
lola: sara is running 185 secs || 2871467 markings, 6171333 edges, 13912 markings/sec, 185 secs
lola: sara is running 190 secs || 2937864 markings, 6315855 edges, 13279 markings/sec, 190 secs
lola: sara is running 195 secs || 3004073 markings, 6462032 edges, 13242 markings/sec, 195 secs
lola: sara is running 200 secs || 3072084 markings, 6608960 edges, 13602 markings/sec, 200 secs
lola: sara is running 205 secs || 3135269 markings, 6752075 edges, 12637 markings/sec, 205 secs
lola: sara is running 210 secs || 3199930 markings, 6890791 edges, 12932 markings/sec, 210 secs
lola: sara is running 215 secs || 3264346 markings, 7033429 edges, 12883 markings/sec, 215 secs
lola: sara is running 220 secs || 3335128 markings, 7181977 edges, 14156 markings/sec, 220 secs
lola: sara is running 225 secs || 3404164 markings, 7335205 edges, 13807 markings/sec, 225 secs
lola: sara is running 230 secs || 3477201 markings, 7491970 edges, 14607 markings/sec, 230 secs
lola: sara is running 235 secs || 3545758 markings, 7645128 edges, 13711 markings/sec, 235 secs
lola: sara is running 240 secs || 3612706 markings, 7792941 edges, 13390 markings/sec, 240 secs
lola: sara is running 245 secs || 3682378 markings, 7942705 edges, 13934 markings/sec, 245 secs
lola: sara is running 250 secs || 3746672 markings, 8098040 edges, 12859 markings/sec, 250 secs
lola: sara is running 255 secs || 3818179 markings, 8253246 edges, 14301 markings/sec, 255 secs
lola: sara is running 260 secs || 3887817 markings, 8405314 edges, 13928 markings/sec, 260 secs
lola: sara is running 265 secs || 3961397 markings, 8538752 edges, 14716 markings/sec, 265 secs
lola: sara is running 270 secs || 4032612 markings, 8689228 edges, 14243 markings/sec, 270 secs
lola: sara is running 275 secs || 4106617 markings, 8850500 edges, 14801 markings/sec, 275 secs
lola: sara is running 280 secs || 4180151 markings, 9010006 edges, 14707 markings/sec, 280 secs
lola: sara is running 285 secs || 4252038 markings, 9160601 edges, 14377 markings/sec, 285 secs
lola: sara is running 290 secs || 4321294 markings, 9316985 edges, 13851 markings/sec, 290 secs
lola: sara is running 295 secs || 4393576 markings, 9470752 edges, 14456 markings/sec, 295 secs
lola: sara is running 300 secs || 4464551 markings, 9630926 edges, 14195 markings/sec, 300 secs
lola: sara is running 305 secs || 4538328 markings, 9790955 edges, 14755 markings/sec, 305 secs
lola: sara is running 310 secs || 4598821 markings, 9924120 edges, 12099 markings/sec, 310 secs
lola: sara is running 315 secs || 4659023 markings, 10055089 edges, 12040 markings/sec, 315 secs
lola: sara is running 320 secs || 4720777 markings, 10190844 edges, 12351 markings/sec, 320 secs
lola: sara is running 325 secs || 4783403 markings, 10324888 edges, 12525 markings/sec, 325 secs
lola: sara is running 330 secs || 4844337 markings, 10460076 edges, 12187 markings/sec, 330 secs
lola: sara is running 335 secs || 4909828 markings, 10599681 edges, 13098 markings/sec, 335 secs
lola: sara is running 340 secs || 4973163 markings, 10741701 edges, 12667 markings/sec, 340 secs
lola: sara is running 345 secs || 5041571 markings, 10885168 edges, 13682 markings/sec, 345 secs
lola: sara is running 350 secs || 5105686 markings, 11030693 edges, 12823 markings/sec, 350 secs
lola: sara is running 355 secs || 5172976 markings, 11175602 edges, 13458 markings/sec, 355 secs
lola: sara is running 360 secs || 5242007 markings, 11327742 edges, 13806 markings/sec, 360 secs
lola: sara is running 365 secs || 5326928 markings, 11510930 edges, 16984 markings/sec, 365 secs
lola: sara is running 370 secs || 5411707 markings, 11679669 edges, 16956 markings/sec, 370 secs
lola: sara is running 375 secs || 5491117 markings, 11859731 edges, 15882 markings/sec, 375 secs
lola: sara is running 380 secs || 5565374 markings, 12030156 edges, 14851 markings/sec, 380 secs
lola: sara is running 385 secs || 5647240 markings, 12207932 edges, 16373 markings/sec, 385 secs
lola: sara is running 390 secs || 5729278 markings, 12373400 edges, 16408 markings/sec, 390 secs
lola: sara is running 395 secs || 5805921 markings, 12548991 edges, 15329 markings/sec, 395 secs
lola: sara is running 400 secs || 5882941 markings, 12721004 edges, 15404 markings/sec, 400 secs
lola: sara is running 405 secs || 5963993 markings, 12889933 edges, 16210 markings/sec, 405 secs
lola: sara is running 410 secs || 6031362 markings, 13033533 edges, 13474 markings/sec, 410 secs
lola: sara is running 415 secs || 6102092 markings, 13190888 edges, 14146 markings/sec, 415 secs
lola: sara is running 420 secs || 6181366 markings, 13344490 edges, 15855 markings/sec, 420 secs
lola: sara is running 425 secs || 6261268 markings, 13523075 edges, 15980 markings/sec, 425 secs
lola: sara is running 430 secs || 6338571 markings, 13699882 edges, 15461 markings/sec, 430 secs
lola: sara is running 435 secs || 6424234 markings, 13868946 edges, 17133 markings/sec, 435 secs
lola: sara is running 440 secs || 6502259 markings, 14046573 edges, 15605 markings/sec, 440 secs
lola: sara is running 445 secs || 6578391 markings, 14218599 edges, 15226 markings/sec, 445 secs
lola: sara is running 450 secs || 6643359 markings, 14358640 edges, 12994 markings/sec, 450 secs
lola: sara is running 455 secs || 6726680 markings, 14522505 edges, 16664 markings/sec, 455 secs
lola: sara is running 460 secs || 6802884 markings, 14695856 edges, 15241 markings/sec, 460 secs
lola: sara is running 465 secs || 6877685 markings, 14867248 edges, 14960 markings/sec, 465 secs
lola: sara is running 470 secs || 6948891 markings, 15021619 edges, 14241 markings/sec, 470 secs
lola: sara is running 475 secs || 7029281 markings, 15194865 edges, 16078 markings/sec, 475 secs
lola: sara is running 480 secs || 7106755 markings, 15365540 edges, 15495 markings/sec, 480 secs
lola: sara is running 485 secs || 7190714 markings, 15537133 edges, 16792 markings/sec, 485 secs
lola: sara is running 490 secs || 7283690 markings, 15724293 edges, 18595 markings/sec, 490 secs
lola: sara is running 495 secs || 7370791 markings, 15922652 edges, 17420 markings/sec, 495 secs
lola: sara is running 500 secs || 7454185 markings, 16097196 edges, 16679 markings/sec, 500 secs
lola: sara is running 505 secs || 7522133 markings, 16245397 edges, 13590 markings/sec, 505 secs
lola: sara is running 510 secs || 7591813 markings, 16395286 edges, 13936 markings/sec, 510 secs
lola: sara is running 515 secs || 7658429 markings, 16539003 edges, 13323 markings/sec, 515 secs
lola: sara is running 520 secs || 7728434 markings, 16689697 edges, 14001 markings/sec, 520 secs
lola: sara is running 525 secs || 7785230 markings, 16812127 edges, 11359 markings/sec, 525 secs
lola: sara is running 530 secs || 7843258 markings, 16937036 edges, 11606 markings/sec, 530 secs
lola: sara is running 535 secs || 7903570 markings, 17067037 edges, 12062 markings/sec, 535 secs
lola: sara is running 540 secs || 7965777 markings, 17200787 edges, 12441 markings/sec, 540 secs
lola: sara is running 545 secs || 8026421 markings, 17331828 edges, 12129 markings/sec, 545 secs
lola: sara is running 550 secs || 8098078 markings, 17492783 edges, 14331 markings/sec, 550 secs
lola: sara is running 555 secs || 8176113 markings, 17661240 edges, 15607 markings/sec, 555 secs
lola: sara is running 560 secs || 8253550 markings, 17829477 edges, 15487 markings/sec, 560 secs
lola: sara is running 565 secs || 8328846 markings, 17992047 edges, 15059 markings/sec, 565 secs
lola: sara is running 570 secs || 8403994 markings, 18149666 edges, 15030 markings/sec, 570 secs
lola: sara is running 575 secs || 8495902 markings, 18331651 edges, 18382 markings/sec, 575 secs
lola: sara is running 580 secs || 8581766 markings, 18527215 edges, 17173 markings/sec, 580 secs
lola: sara is running 585 secs || 8664859 markings, 18712521 edges, 16619 markings/sec, 585 secs
lola: sara is running 590 secs || 8749125 markings, 18895275 edges, 16853 markings/sec, 590 secs
lola: sara is running 595 secs || 8837937 markings, 19075949 edges, 17762 markings/sec, 595 secs
lola: sara is running 600 secs || 8921048 markings, 19266222 edges, 16622 markings/sec, 600 secs
lola: sara is running 605 secs || 8996972 markings, 19439105 edges, 15185 markings/sec, 605 secs
lola: sara is running 610 secs || 9079668 markings, 19617532 edges, 16539 markings/sec, 610 secs
lola: sara is running 615 secs || 9157398 markings, 19779392 edges, 15546 markings/sec, 615 secs
lola: sara is running 620 secs || 9245289 markings, 19968186 edges, 17578 markings/sec, 620 secs
lola: sara is running 625 secs || 9328515 markings, 20153599 edges, 16645 markings/sec, 625 secs
lola: sara is running 630 secs || 9391340 markings, 20303188 edges, 12565 markings/sec, 630 secs
lola: sara is running 635 secs || 9462450 markings, 20467717 edges, 14222 markings/sec, 635 secs
lola: sara is running 640 secs || 9546589 markings, 20636428 edges, 16828 markings/sec, 640 secs
lola: sara is running 645 secs || 9631543 markings, 20829724 edges, 16991 markings/sec, 645 secs
lola: sara is running 650 secs || 9711220 markings, 21003357 edges, 15935 markings/sec, 650 secs
lola: sara is running 655 secs || 9801317 markings, 21187650 edges, 18019 markings/sec, 655 secs
lola: sara is running 660 secs || 9884873 markings, 21378677 edges, 16711 markings/sec, 660 secs
lola: sara is running 665 secs || 9968085 markings, 21560827 edges, 16642 markings/sec, 665 secs
lola: sara is running 670 secs || 10056002 markings, 21734689 edges, 17583 markings/sec, 670 secs
lola: sara is running 675 secs || 10138123 markings, 21921130 edges, 16424 markings/sec, 675 secs
lola: sara is running 680 secs || 10218078 markings, 22103676 edges, 15991 markings/sec, 680 secs
lola: sara is running 685 secs || 10295376 markings, 22273806 edges, 15460 markings/sec, 685 secs
lola: sara is running 690 secs || 10372168 markings, 22436067 edges, 15358 markings/sec, 690 secs
lola: sara is running 695 secs || 10458496 markings, 22622534 edges, 17266 markings/sec, 695 secs
lola: sara is running 700 secs || 10539892 markings, 22803424 edges, 16279 markings/sec, 700 secs
lola: sara is running 705 secs || 10613052 markings, 22960133 edges, 14632 markings/sec, 705 secs
lola: sara is running 710 secs || 10689453 markings, 23092972 edges, 15280 markings/sec, 710 secs
lola: sara is running 715 secs || 10757135 markings, 23230495 edges, 13536 markings/sec, 715 secs
lola: sara is running 720 secs || 10825461 markings, 23382184 edges, 13665 markings/sec, 720 secs
lola: sara is running 725 secs || 10896452 markings, 23534546 edges, 14198 markings/sec, 725 secs
lola: sara is running 730 secs || 10960598 markings, 23676456 edges, 12829 markings/sec, 730 secs
lola: sara is running 735 secs || 11028463 markings, 23820046 edges, 13573 markings/sec, 735 secs
lola: sara is running 740 secs || 11094847 markings, 23964376 edges, 13277 markings/sec, 740 secs
lola: sara is running 745 secs || 11162842 markings, 24113015 edges, 13599 markings/sec, 745 secs
lola: sara is running 750 secs || 11228796 markings, 24261088 edges, 13191 markings/sec, 750 secs
lola: sara is running 755 secs || 11294214 markings, 24401349 edges, 13084 markings/sec, 755 secs
lola: sara is running 760 secs || 11351498 markings, 24524746 edges, 11457 markings/sec, 760 secs
lola: sara is running 765 secs || 11406609 markings, 24648256 edges, 11022 markings/sec, 765 secs
lola: sara is running 770 secs || 11467161 markings, 24774347 edges, 12110 markings/sec, 770 secs
lola: sara is running 775 secs || 11523037 markings, 24901025 edges, 11175 markings/sec, 775 secs
lola: sara is running 780 secs || 11580622 markings, 25026539 edges, 11517 markings/sec, 780 secs
lola: sara is running 785 secs || 11641667 markings, 25158092 edges, 12209 markings/sec, 785 secs
lola: sara is running 790 secs || 11700669 markings, 25289530 edges, 11800 markings/sec, 790 secs
lola: sara is running 795 secs || 11763997 markings, 25424571 edges, 12666 markings/sec, 795 secs
lola: sara is running 800 secs || 11824544 markings, 25559689 edges, 12109 markings/sec, 800 secs
lola: sara is running 805 secs || 11886580 markings, 25693960 edges, 12407 markings/sec, 805 secs
lola: sara is running 810 secs || 11949769 markings, 25834226 edges, 12638 markings/sec, 810 secs
lola: sara is running 815 secs || 12023465 markings, 25978492 edges, 14739 markings/sec, 815 secs
lola: sara is running 820 secs || 12100076 markings, 26148815 edges, 15322 markings/sec, 820 secs
lola: sara is running 825 secs || 12175596 markings, 26320234 edges, 15104 markings/sec, 825 secs
lola: sara is running 830 secs || 12253229 markings, 26488235 edges, 15527 markings/sec, 830 secs
lola: sara is running 835 secs || 12335254 markings, 26652853 edges, 16405 markings/sec, 835 secs
lola: sara is running 840 secs || 12409415 markings, 26817384 edges, 14832 markings/sec, 840 secs
lola: sara is running 845 secs || 12481987 markings, 26982437 edges, 14514 markings/sec, 845 secs
lola: sara is running 850 secs || 12556398 markings, 27145805 edges, 14882 markings/sec, 850 secs
lola: sara is running 855 secs || 12631092 markings, 27315568 edges, 14939 markings/sec, 855 secs
lola: sara is running 860 secs || 12717429 markings, 27487146 edges, 17267 markings/sec, 860 secs
lola: sara is running 865 secs || 12797743 markings, 27669462 edges, 16063 markings/sec, 865 secs
lola: sara is running 870 secs || 12878571 markings, 27846453 edges, 16166 markings/sec, 870 secs
lola: sara is running 875 secs || 12964938 markings, 28020017 edges, 17273 markings/sec, 875 secs
lola: sara is running 880 secs || 13043503 markings, 28196252 edges, 15713 markings/sec, 880 secs
lola: sara is running 885 secs || 13121421 markings, 28373724 edges, 15584 markings/sec, 885 secs
lola: sara is running 890 secs || 13201408 markings, 28550547 edges, 15997 markings/sec, 890 secs
lola: sara is running 895 secs || 13270961 markings, 28708006 edges, 13911 markings/sec, 895 secs
lola: sara is running 900 secs || 13326879 markings, 28828717 edges, 11184 markings/sec, 900 secs
lola: sara is running 905 secs || 13382889 markings, 28961416 edges, 11202 markings/sec, 905 secs
lola: sara is running 910 secs || 13436588 markings, 29071626 edges, 10740 markings/sec, 910 secs
lola: sara is running 915 secs || 13488635 markings, 29190777 edges, 10409 markings/sec, 915 secs
lola: sara is running 920 secs || 13543166 markings, 29324040 edges, 10906 markings/sec, 920 secs
lola: sara is running 925 secs || 13599743 markings, 29463186 edges, 11315 markings/sec, 925 secs
lola: sara is running 930 secs || 13648966 markings, 29582390 edges, 9845 markings/sec, 930 secs
lola: sara is running 935 secs || 13700930 markings, 29698789 edges, 10393 markings/sec, 935 secs
lola: sara is running 940 secs || 13768915 markings, 29782087 edges, 13597 markings/sec, 940 secs
lola: sara is running 945 secs || 13836783 markings, 29885046 edges, 13574 markings/sec, 945 secs
lola: sara is running 950 secs || 13886405 markings, 29995781 edges, 9924 markings/sec, 950 secs
lola: sara is running 955 secs || 13951438 markings, 30075917 edges, 13007 markings/sec, 955 secs
lola: sara is running 960 secs || 14025816 markings, 30167120 edges, 14876 markings/sec, 960 secs
lola: sara is running 965 secs || 14097203 markings, 30254757 edges, 14277 markings/sec, 965 secs
lola: sara is running 970 secs || 14153436 markings, 30359179 edges, 11247 markings/sec, 970 secs
lola: sara is running 975 secs || 14202162 markings, 30467562 edges, 9745 markings/sec, 975 secs
lola: sara is running 980 secs || 14259266 markings, 30563095 edges, 11421 markings/sec, 980 secs
lola: sara is running 985 secs || 14333107 markings, 30653766 edges, 14768 markings/sec, 985 secs
lola: sara is running 990 secs || 14397370 markings, 30732470 edges, 12853 markings/sec, 990 secs
lola: sara is running 995 secs || 14465933 markings, 30831774 edges, 13713 markings/sec, 995 secs
lola: sara is running 1000 secs || 14513516 markings, 30935416 edges, 9517 markings/sec, 1000 secs
lola: sara is running 1005 secs || 14560692 markings, 31042417 edges, 9435 markings/sec, 1005 secs
lola: sara is running 1010 secs || 14626917 markings, 31123652 edges, 13245 markings/sec, 1010 secs
lola: sara is running 1015 secs || 14691421 markings, 31223499 edges, 12901 markings/sec, 1015 secs
lola: sara is running 1020 secs || 14737936 markings, 31324284 edges, 9303 markings/sec, 1020 secs
lola: sara is running 1025 secs || 14785273 markings, 31427776 edges, 9467 markings/sec, 1025 secs
lola: sara is running 1030 secs || 14844593 markings, 31537995 edges, 11864 markings/sec, 1030 secs
lola: sara is running 1035 secs || 14909725 markings, 31665127 edges, 13026 markings/sec, 1035 secs
lola: sara is running 1040 secs || 14969605 markings, 31783667 edges, 11976 markings/sec, 1040 secs
lola: sara is running 1045 secs || 15025858 markings, 31894623 edges, 11251 markings/sec, 1045 secs
lola: sara is running 1050 secs || 15085536 markings, 32011453 edges, 11936 markings/sec, 1050 secs
lola: sara is running 1055 secs || 15156359 markings, 32149974 edges, 14165 markings/sec, 1055 secs
lola: sara is running 1060 secs || 15230122 markings, 32294448 edges, 14753 markings/sec, 1060 secs
lola: sara is running 1065 secs || 15307759 markings, 32446402 edges, 15527 markings/sec, 1065 secs
lola: sara is running 1070 secs || 15386598 markings, 32600389 edges, 15768 markings/sec, 1070 secs
lola: sara is running 1075 secs || 15436322 markings, 32706684 edges, 9945 markings/sec, 1075 secs
lola: sara is running 1080 secs || 15483063 markings, 32808434 edges, 9348 markings/sec, 1080 secs
lola: sara is running 1085 secs || 15538354 markings, 32924971 edges, 11058 markings/sec, 1085 secs
lola: sara is running 1090 secs || 15603764 markings, 33060737 edges, 13082 markings/sec, 1090 secs
lola: sara is running 1095 secs || 15667003 markings, 33192027 edges, 12648 markings/sec, 1095 secs
lola: sara is running 1100 secs || 15729777 markings, 33322613 edges, 12555 markings/sec, 1100 secs
lola: sara is running 1105 secs || 15783763 markings, 33434677 edges, 10797 markings/sec, 1105 secs
lola: sara is running 1110 secs || 15839821 markings, 33551045 edges, 11212 markings/sec, 1110 secs
lola: sara is running 1115 secs || 15897803 markings, 33671250 edges, 11596 markings/sec, 1115 secs
lola: sara is running 1120 secs || 15959061 markings, 33798697 edges, 12252 markings/sec, 1120 secs
lola: sara is running 1125 secs || 16034014 markings, 33955057 edges, 14991 markings/sec, 1125 secs
lola: sara is running 1130 secs || 16107840 markings, 34108701 edges, 14765 markings/sec, 1130 secs
lola: sara is running 1135 secs || 16180153 markings, 34259345 edges, 14463 markings/sec, 1135 secs
lola: sara is running 1140 secs || 16259048 markings, 34423966 edges, 15779 markings/sec, 1140 secs
lola: sara is running 1145 secs || 16337658 markings, 34587535 edges, 15722 markings/sec, 1145 secs
lola: sara is running 1150 secs || 16412116 markings, 34743098 edges, 14892 markings/sec, 1150 secs
lola: sara is running 1155 secs || 16457646 markings, 34841715 edges, 9106 markings/sec, 1155 secs
lola: sara is running 1160 secs || 16515227 markings, 34949293 edges, 11516 markings/sec, 1160 secs
lola: sara is running 1165 secs || 16580088 markings, 35076389 edges, 12972 markings/sec, 1165 secs
lola: sara is running 1170 secs || 16641381 markings, 35196940 edges, 12259 markings/sec, 1170 secs
lola: sara is running 1175 secs || 16697106 markings, 35306922 edges, 11145 markings/sec, 1175 secs
lola: sara is running 1180 secs || 16756274 markings, 35423490 edges, 11834 markings/sec, 1180 secs
lola: sara is running 1185 secs || 16826788 markings, 35560644 edges, 14103 markings/sec, 1185 secs
lola: sara is running 1190 secs || 16900763 markings, 35705559 edges, 14795 markings/sec, 1190 secs
lola: sara is running 1195 secs || 16978440 markings, 35857344 edges, 15535 markings/sec, 1195 secs
lola: sara is running 1200 secs || 17057111 markings, 36011161 edges, 15734 markings/sec, 1200 secs
lola: sara is running 1205 secs || 17109036 markings, 36121469 edges, 10385 markings/sec, 1205 secs
lola: sara is running 1210 secs || 17155757 markings, 36223127 edges, 9344 markings/sec, 1210 secs
lola: sara is running 1215 secs || 17201708 markings, 36322680 edges, 9190 markings/sec, 1215 secs
lola: sara is running 1220 secs || 17246947 markings, 36427644 edges, 9048 markings/sec, 1220 secs
lola: sara is running 1225 secs || 17289419 markings, 36549967 edges, 8494 markings/sec, 1225 secs
lola: sara is running 1230 secs || 17349295 markings, 36623269 edges, 11975 markings/sec, 1230 secs
lola: sara is running 1235 secs || 17418983 markings, 36708725 edges, 13938 markings/sec, 1235 secs
lola: sara is running 1240 secs || 17481827 markings, 36785836 edges, 12569 markings/sec, 1240 secs
lola: sara is running 1245 secs || 17542567 markings, 36879170 edges, 12148 markings/sec, 1245 secs
lola: sara is running 1250 secs || 17584734 markings, 36970513 edges, 8433 markings/sec, 1250 secs
lola: sara is running 1255 secs || 17636413 markings, 37076786 edges, 10336 markings/sec, 1255 secs
lola: sara is running 1260 secs || 17698220 markings, 37197966 edges, 12361 markings/sec, 1260 secs
lola: sara is running 1265 secs || 17758243 markings, 37316152 edges, 12005 markings/sec, 1265 secs
lola: sara is running 1270 secs || 17811279 markings, 37420525 edges, 10607 markings/sec, 1270 secs
lola: sara is running 1275 secs || 17867676 markings, 37531270 edges, 11279 markings/sec, 1275 secs
lola: sara is running 1280 secs || 17931709 markings, 37655321 edges, 12807 markings/sec, 1280 secs
lola: sara is running 1285 secs || 18003569 markings, 37795947 edges, 14372 markings/sec, 1285 secs
lola: sara is running 1290 secs || 18076440 markings, 37937608 edges, 14574 markings/sec, 1290 secs
lola: sara is running 1295 secs || 18151746 markings, 38085479 edges, 15061 markings/sec, 1295 secs
lola: sara is running 1300 secs || 18212811 markings, 38210279 edges, 12213 markings/sec, 1300 secs
lola: sara is running 1305 secs || 18254251 markings, 38300037 edges, 8288 markings/sec, 1305 secs
lola: sara is running 1310 secs || 18295117 markings, 38391123 edges, 8173 markings/sec, 1310 secs
lola: sara is running 1315 secs || 18348904 markings, 38472318 edges, 10757 markings/sec, 1315 secs
lola: sara is running 1320 secs || 18419316 markings, 38558756 edges, 14082 markings/sec, 1320 secs
lola: sara is running 1325 secs || 18478330 markings, 38631058 edges, 11803 markings/sec, 1325 secs
lola: sara is running 1330 secs || 18543598 markings, 38721972 edges, 13054 markings/sec, 1330 secs
lola: sara is running 1335 secs || 18584316 markings, 38810143 edges, 8144 markings/sec, 1335 secs
lola: sara is running 1340 secs || 18630009 markings, 38896607 edges, 9139 markings/sec, 1340 secs
lola: sara is running 1345 secs || 18694796 markings, 38976146 edges, 12957 markings/sec, 1345 secs
lola: sara is running 1350 secs || 18746981 markings, 39065372 edges, 10437 markings/sec, 1350 secs
lola: sara is running 1355 secs || 18787094 markings, 39152255 edges, 8023 markings/sec, 1355 secs
lola: sara is running 1360 secs || 18826744 markings, 39239637 edges, 7930 markings/sec, 1360 secs
lola: sara is running 1365 secs || 18864859 markings, 39342182 edges, 7623 markings/sec, 1365 secs
lola: sara is running 1370 secs || 18906737 markings, 39425684 edges, 8376 markings/sec, 1370 secs
lola: sara is running 1375 secs || 18967588 markings, 39500348 edges, 12170 markings/sec, 1375 secs
lola: sara is running 1380 secs || 19034450 markings, 39582330 edges, 13372 markings/sec, 1380 secs
lola: sara is running 1385 secs || 19098330 markings, 39660726 edges, 12776 markings/sec, 1385 secs
lola: sara is running 1390 secs || 19151594 markings, 39748458 edges, 10653 markings/sec, 1390 secs
lola: sara is running 1395 secs || 19190484 markings, 39832664 edges, 7778 markings/sec, 1395 secs
lola: sara is running 1400 secs || 19238701 markings, 39931872 edges, 9643 markings/sec, 1400 secs
lola: sara is running 1405 secs || 19299195 markings, 40050208 edges, 12099 markings/sec, 1405 secs
lola: sara is running 1410 secs || 19357823 markings, 40165697 edges, 11726 markings/sec, 1410 secs
lola: sara is running 1415 secs || 19408895 markings, 40266558 edges, 10214 markings/sec, 1415 secs
lola: sara is running 1420 secs || 19462916 markings, 40372808 edges, 10804 markings/sec, 1420 secs
lola: sara is running 1425 secs || 19522154 markings, 40487885 edges, 11848 markings/sec, 1425 secs
lola: sara is running 1430 secs || 19592648 markings, 40625843 edges, 14099 markings/sec, 1430 secs
lola: sara is running 1435 secs || 19660615 markings, 40760131 edges, 13593 markings/sec, 1435 secs
lola: sara is running 1440 secs || 19735451 markings, 40905249 edges, 14967 markings/sec, 1440 secs
lola: sara is running 1445 secs || 19805181 markings, 41043456 edges, 13946 markings/sec, 1445 secs
lola: sara is running 1450 secs || 19843324 markings, 41126083 edges, 7629 markings/sec, 1450 secs
lola: sara is running 1455 secs || 19881298 markings, 41208342 edges, 7595 markings/sec, 1455 secs
lola: sara is running 1460 secs || 19919506 markings, 41290867 edges, 7642 markings/sec, 1460 secs
lola: sara is running 1465 secs || 19980792 markings, 41366064 edges, 12257 markings/sec, 1465 secs
lola: sara is running 1470 secs || 20045637 markings, 41445564 edges, 12969 markings/sec, 1470 secs
lola: sara is running 1475 secs || 20108168 markings, 41522323 edges, 12506 markings/sec, 1475 secs
lola: sara is running 1480 secs || 20160267 markings, 41607793 edges, 10420 markings/sec, 1480 secs
lola: sara is running 1485 secs || 20197706 markings, 41688901 edges, 7488 markings/sec, 1485 secs
lola: sara is running 1490 secs || 20245136 markings, 41769809 edges, 9486 markings/sec, 1490 secs
lola: sara is running 1495 secs || 20309447 markings, 41848755 edges, 12862 markings/sec, 1495 secs
lola: sara is running 1500 secs || 20354388 markings, 41931137 edges, 8988 markings/sec, 1500 secs
lola: sara is running 1505 secs || 20391458 markings, 42011419 edges, 7414 markings/sec, 1505 secs
lola: sara is running 1510 secs || 20427030 markings, 42095561 edges, 7114 markings/sec, 1510 secs
lola: sara is running 1515 secs || 20464146 markings, 42182033 edges, 7423 markings/sec, 1515 secs
lola: sara is running 1520 secs || 20509683 markings, 42263697 edges, 9107 markings/sec, 1520 secs
lola: sara is running 1525 secs || 20576612 markings, 42345875 edges, 13386 markings/sec, 1525 secs
lola: sara is running 1530 secs || 20628479 markings, 42438631 edges, 10373 markings/sec, 1530 secs
lola: sara is running 1535 secs || 20670544 markings, 42529741 edges, 8413 markings/sec, 1535 secs
lola: sara is running 1540 secs || 20714938 markings, 42618845 edges, 8879 markings/sec, 1540 secs
lola: sara is running 1545 secs || 20757477 markings, 42709423 edges, 8508 markings/sec, 1545 secs
lola: sara is running 1550 secs || 20790274 markings, 42837850 edges, 6559 markings/sec, 1550 secs
lola: sara is running 1555 secs || 20834767 markings, 42941512 edges, 8899 markings/sec, 1555 secs
lola: sara is running 1560 secs || 20916780 markings, 43117235 edges, 16403 markings/sec, 1560 secs
lola: sara is running 1565 secs || 21000427 markings, 43291057 edges, 16729 markings/sec, 1565 secs
lola: sara is running 1570 secs || 21083745 markings, 43459825 edges, 16664 markings/sec, 1570 secs
lola: sara is running 1575 secs || 21166942 markings, 43635508 edges, 16639 markings/sec, 1575 secs
lola: sara is running 1580 secs || 21241502 markings, 43794409 edges, 14912 markings/sec, 1580 secs
lola: sara is running 1585 secs || 21326029 markings, 43965604 edges, 16905 markings/sec, 1585 secs
lola: sara is running 1590 secs || 21411252 markings, 44143969 edges, 17045 markings/sec, 1590 secs
lola: sara is running 1595 secs || 21489176 markings, 44310544 edges, 15585 markings/sec, 1595 secs
lola: sara is running 1600 secs || 21564235 markings, 44467424 edges, 15012 markings/sec, 1600 secs
lola: sara is running 1605 secs || 21639944 markings, 44620673 edges, 15142 markings/sec, 1605 secs
lola: sara is running 1610 secs || 21715251 markings, 44775869 edges, 15061 markings/sec, 1610 secs
lola: sara is running 1615 secs || 21786395 markings, 44932129 edges, 14229 markings/sec, 1615 secs
lola: sara is running 1620 secs || 21855793 markings, 45083640 edges, 13880 markings/sec, 1620 secs
lola: sara is running 1625 secs || 21931315 markings, 45247400 edges, 15104 markings/sec, 1625 secs
lola: sara is running 1630 secs || 21996488 markings, 45382553 edges, 13035 markings/sec, 1630 secs
lola: sara is running 1635 secs || 22060545 markings, 45512028 edges, 12811 markings/sec, 1635 secs
lola: sara is running 1640 secs || 22123938 markings, 45640865 edges, 12679 markings/sec, 1640 secs
lola: sara is running 1645 secs || 22187023 markings, 45770143 edges, 12617 markings/sec, 1645 secs
lola: sara is running 1650 secs || 22247544 markings, 45898386 edges, 12104 markings/sec, 1650 secs
lola: sara is running 1655 secs || 22306692 markings, 46017697 edges, 11830 markings/sec, 1655 secs
lola: sara is running 1660 secs || 22364226 markings, 46139854 edges, 11507 markings/sec, 1660 secs
lola: sara is running 1665 secs || 22425325 markings, 46268127 edges, 12220 markings/sec, 1665 secs
lola: sara is running 1670 secs || 22489896 markings, 46404122 edges, 12914 markings/sec, 1670 secs
lola: sara is running 1675 secs || 22547942 markings, 46522996 edges, 11609 markings/sec, 1675 secs
lola: sara is running 1680 secs || 22611366 markings, 46658955 edges, 12685 markings/sec, 1680 secs
lola: sara is running 1685 secs || 22674174 markings, 46797967 edges, 12562 markings/sec, 1685 secs
lola: sara is running 1690 secs || 22745182 markings, 46942221 edges, 14202 markings/sec, 1690 secs
lola: sara is running 1695 secs || 22813198 markings, 47082134 edges, 13603 markings/sec, 1695 secs
lola: sara is running 1700 secs || 22884696 markings, 47228740 edges, 14300 markings/sec, 1700 secs
lola: sara is running 1705 secs || 22962907 markings, 47388000 edges, 15642 markings/sec, 1705 secs
lola: sara is running 1710 secs || 23040692 markings, 47545324 edges, 15557 markings/sec, 1710 secs
lola: sara is running 1715 secs || 23107164 markings, 47685375 edges, 13294 markings/sec, 1715 secs
lola: sara is running 1720 secs || 23178262 markings, 47832070 edges, 14220 markings/sec, 1720 secs
lola: sara is running 1725 secs || 23245888 markings, 47969403 edges, 13525 markings/sec, 1725 secs
lola: sara is running 1730 secs || 23309729 markings, 48098851 edges, 12768 markings/sec, 1730 secs
lola: sara is running 1735 secs || 23383495 markings, 48257480 edges, 14753 markings/sec, 1735 secs
lola: sara is running 1740 secs || 23456015 markings, 48416642 edges, 14504 markings/sec, 1740 secs
lola: sara is running 1745 secs || 23528882 markings, 48570335 edges, 14573 markings/sec, 1745 secs
lola: sara is running 1750 secs || 23595813 markings, 48716135 edges, 13386 markings/sec, 1750 secs
lola: sara is running 1755 secs || 23665888 markings, 48862936 edges, 14015 markings/sec, 1755 secs
lola: sara is running 1760 secs || 23744573 markings, 49016473 edges, 15737 markings/sec, 1760 secs
lola: sara is running 1765 secs || 23825412 markings, 49198793 edges, 16168 markings/sec, 1765 secs
lola: sara is running 1770 secs || 23903930 markings, 49377057 edges, 15704 markings/sec, 1770 secs
lola: sara is running 1775 secs || 23979440 markings, 49537506 edges, 15102 markings/sec, 1775 secs
lola: sara is running 1780 secs || 24051752 markings, 49688547 edges, 14462 markings/sec, 1780 secs
lola: sara is running 1785 secs || 24120071 markings, 49844143 edges, 13664 markings/sec, 1785 secs
lola: sara is running 1790 secs || 24188665 markings, 49997503 edges, 13719 markings/sec, 1790 secs
lola: sara is running 1795 secs || 24257402 markings, 50145283 edges, 13747 markings/sec, 1795 secs
lola: sara is running 1800 secs || 24323732 markings, 50289499 edges, 13266 markings/sec, 1800 secs
lola: sara is running 1805 secs || 24390686 markings, 50436508 edges, 13391 markings/sec, 1805 secs
lola: sara is running 1810 secs || 24458267 markings, 50593981 edges, 13516 markings/sec, 1810 secs
lola: sara is running 1815 secs || 24528683 markings, 50743424 edges, 14083 markings/sec, 1815 secs
lola: sara is running 1820 secs || 24607485 markings, 50914368 edges, 15760 markings/sec, 1820 secs
lola: sara is running 1825 secs || 24671688 markings, 51053812 edges, 12841 markings/sec, 1825 secs
lola: sara is running 1830 secs || 24739900 markings, 51203013 edges, 13642 markings/sec, 1830 secs
lola: sara is running 1835 secs || 24810430 markings, 51358049 edges, 14106 markings/sec, 1835 secs
lola: sara is running 1840 secs || 24877902 markings, 51503933 edges, 13494 markings/sec, 1840 secs
lola: sara is running 1845 secs || 24945055 markings, 51648056 edges, 13431 markings/sec, 1845 secs
lola: sara is running 1850 secs || 25010368 markings, 51794456 edges, 13063 markings/sec, 1850 secs
lola: sara is running 1855 secs || 25080034 markings, 51942679 edges, 13933 markings/sec, 1855 secs
lola: sara is running 1860 secs || 25145696 markings, 52092171 edges, 13132 markings/sec, 1860 secs
lola: sara is running 1865 secs || 25215114 markings, 52242442 edges, 13884 markings/sec, 1865 secs
lola: sara is running 1870 secs || 25273305 markings, 52370200 edges, 11638 markings/sec, 1870 secs
lola: sara is running 1875 secs || 25329964 markings, 52494656 edges, 11332 markings/sec, 1875 secs
lola: sara is running 1880 secs || 25389844 markings, 52618668 edges, 11976 markings/sec, 1880 secs
lola: sara is running 1885 secs || 25449688 markings, 52755409 edges, 11969 markings/sec, 1885 secs
lola: sara is running 1890 secs || 25510261 markings, 52884421 edges, 12115 markings/sec, 1890 secs
lola: sara is running 1895 secs || 25566105 markings, 53011347 edges, 11169 markings/sec, 1895 secs
lola: sara is running 1900 secs || 25627071 markings, 53142366 edges, 12193 markings/sec, 1900 secs
lola: sara is running 1905 secs || 25689290 markings, 53278304 edges, 12444 markings/sec, 1905 secs
lola: sara is running 1910 secs || 25748726 markings, 53415999 edges, 11887 markings/sec, 1910 secs
lola: sara is running 1915 secs || 25810958 markings, 53551567 edges, 12446 markings/sec, 1915 secs
lola: sara is running 1920 secs || 25869058 markings, 53700990 edges, 11620 markings/sec, 1920 secs
lola: sara is running 1925 secs || 25932783 markings, 53842763 edges, 12745 markings/sec, 1925 secs
lola: sara is running 1930 secs || 25995803 markings, 53971428 edges, 12604 markings/sec, 1930 secs
lola: sara is running 1935 secs || 26057948 markings, 54113755 edges, 12429 markings/sec, 1935 secs
lola: sara is running 1940 secs || 26121506 markings, 54248368 edges, 12712 markings/sec, 1940 secs
lola: sara is running 1945 secs || 26181371 markings, 54377174 edges, 11973 markings/sec, 1945 secs
lola: sara is running 1950 secs || 26238257 markings, 54505693 edges, 11377 markings/sec, 1950 secs
lola: sara is running 1955 secs || 26300571 markings, 54638510 edges, 12463 markings/sec, 1955 secs
lola: sara is running 1960 secs || 26357165 markings, 54766780 edges, 11319 markings/sec, 1960 secs
lola: sara is running 1965 secs || 26412793 markings, 54893002 edges, 11126 markings/sec, 1965 secs
lola: sara is running 1970 secs || 26468366 markings, 55012380 edges, 11115 markings/sec, 1970 secs
lola: sara is running 1975 secs || 26525476 markings, 55136433 edges, 11422 markings/sec, 1975 secs
lola: sara is running 1980 secs || 26587951 markings, 55274748 edges, 12495 markings/sec, 1980 secs
lola: sara is running 1985 secs || 26649594 markings, 55409572 edges, 12329 markings/sec, 1985 secs
lola: sara is running 1990 secs || 26712881 markings, 55549878 edges, 12657 markings/sec, 1990 secs
lola: sara is running 1995 secs || 26776745 markings, 55688746 edges, 12773 markings/sec, 1995 secs
lola: sara is running 2000 secs || 26835789 markings, 55824250 edges, 11809 markings/sec, 2000 secs
lola: sara is running 2005 secs || 26895525 markings, 55952521 edges, 11947 markings/sec, 2005 secs
lola: sara is running 2010 secs || 26956479 markings, 56084732 edges, 12191 markings/sec, 2010 secs
lola: sara is running 2015 secs || 27015754 markings, 56231771 edges, 11855 markings/sec, 2015 secs
lola: sara is running 2020 secs || 27079527 markings, 56372057 edges, 12755 markings/sec, 2020 secs
lola: sara is running 2025 secs || 27144531 markings, 56490084 edges, 13001 markings/sec, 2025 secs
lola: sara is running 2030 secs || 27209831 markings, 56635139 edges, 13060 markings/sec, 2030 secs
lola: sara is running 2035 secs || 27276906 markings, 56784384 edges, 13415 markings/sec, 2035 secs
lola: sara is running 2040 secs || 27345536 markings, 56933263 edges, 13726 markings/sec, 2040 secs
lola: sara is running 2045 secs || 27408313 markings, 57071907 edges, 12555 markings/sec, 2045 secs
lola: sara is running 2050 secs || 27474304 markings, 57212503 edges, 13198 markings/sec, 2050 secs
lola: sara is running 2055 secs || 27537461 markings, 57354166 edges, 12631 markings/sec, 2055 secs
lola: sara is running 2060 secs || 27605502 markings, 57499598 edges, 13608 markings/sec, 2060 secs
lola: sara is running 2065 secs || 27670169 markings, 57645112 edges, 12933 markings/sec, 2065 secs
lola: sara is running 2070 secs || 27735938 markings, 57787705 edges, 13154 markings/sec, 2070 secs
lola: sara is running 2075 secs || 27791523 markings, 57907965 edges, 11117 markings/sec, 2075 secs
lola: sara is running 2080 secs || 27844619 markings, 58027632 edges, 10619 markings/sec, 2080 secs
lola: sara is running 2085 secs || 27901429 markings, 58153006 edges, 11362 markings/sec, 2085 secs
lola: sara is running 2090 secs || 27958893 markings, 58275840 edges, 11493 markings/sec, 2090 secs
lola: sara is running 2095 secs || 28012570 markings, 58396900 edges, 10735 markings/sec, 2095 secs
lola: sara is running 2100 secs || 28071723 markings, 58526586 edges, 11831 markings/sec, 2100 secs
lola: sara is running 2105 secs || 28130579 markings, 58654641 edges, 11771 markings/sec, 2105 secs
lola: sara is running 2110 secs || 28190718 markings, 58787229 edges, 12028 markings/sec, 2110 secs
lola: sara is running 2115 secs || 28251943 markings, 58919014 edges, 12245 markings/sec, 2115 secs
lola: sara is running 2120 secs || 28310431 markings, 59050723 edges, 11698 markings/sec, 2120 secs
lola: sara is running 2125 secs || 28374074 markings, 59188824 edges, 12729 markings/sec, 2125 secs
lola: sara is running 2130 secs || 28447644 markings, 59346436 edges, 14714 markings/sec, 2130 secs
lola: sara is running 2135 secs || 28528965 markings, 59516544 edges, 16264 markings/sec, 2135 secs
lola: sara is running 2140 secs || 28608864 markings, 59690902 edges, 15980 markings/sec, 2140 secs
lola: sara is running 2145 secs || 28685912 markings, 59867121 edges, 15410 markings/sec, 2145 secs
lola: sara is running 2150 secs || 28757658 markings, 60033085 edges, 14349 markings/sec, 2150 secs
lola: sara is running 2155 secs || 28835765 markings, 60202638 edges, 15621 markings/sec, 2155 secs
lola: sara is running 2160 secs || 28915556 markings, 60368753 edges, 15958 markings/sec, 2160 secs
lola: sara is running 2165 secs || 28990392 markings, 60538806 edges, 14967 markings/sec, 2165 secs
lola: sara is running 2170 secs || 29065649 markings, 60704667 edges, 15051 markings/sec, 2170 secs
lola: sara is running 2175 secs || 29142614 markings, 60869358 edges, 15393 markings/sec, 2175 secs
lola: sara is running 2180 secs || 29204054 markings, 61006349 edges, 12288 markings/sec, 2180 secs
lola: sara is running 2185 secs || 29270681 markings, 61158352 edges, 13325 markings/sec, 2185 secs
lola: sara is running 2190 secs || 29345087 markings, 61304883 edges, 14881 markings/sec, 2190 secs
lola: sara is running 2195 secs || 29422704 markings, 61476457 edges, 15523 markings/sec, 2195 secs
lola: sara is running 2200 secs || 29497718 markings, 61648646 edges, 15003 markings/sec, 2200 secs
lola: sara is running 2205 secs || 29579161 markings, 61812156 edges, 16289 markings/sec, 2205 secs
lola: sara is running 2210 secs || 29655457 markings, 61985189 edges, 15259 markings/sec, 2210 secs
lola: sara is running 2215 secs || 29730333 markings, 62155980 edges, 14975 markings/sec, 2215 secs
lola: sara is running 2220 secs || 29805322 markings, 62319990 edges, 14998 markings/sec, 2220 secs
lola: sara is running 2225 secs || 29885756 markings, 62480262 edges, 16087 markings/sec, 2225 secs
lola: sara is running 2230 secs || 29960861 markings, 62649167 edges, 15021 markings/sec, 2230 secs
lola: sara is running 2235 secs || 30033610 markings, 62816384 edges, 14550 markings/sec, 2235 secs
lola: sara is running 2240 secs || 30096762 markings, 62965571 edges, 12630 markings/sec, 2240 secs
lola: sara is running 2245 secs || 30174098 markings, 63135400 edges, 15467 markings/sec, 2245 secs
lola: sara is running 2250 secs || 30251167 markings, 63303178 edges, 15414 markings/sec, 2250 secs
lola: sara is running 2255 secs || 30328590 markings, 63467153 edges, 15485 markings/sec, 2255 secs
lola: sara is running 2260 secs || 30414401 markings, 63636014 edges, 17162 markings/sec, 2260 secs
lola: sara is running 2265 secs || 30499233 markings, 63826100 edges, 16966 markings/sec, 2265 secs
lola: sara is running 2270 secs || 30581995 markings, 64014359 edges, 16552 markings/sec, 2270 secs
lola: sara is running 2275 secs || 30657992 markings, 64172675 edges, 15199 markings/sec, 2275 secs
lola: sara is running 2280 secs || 30719056 markings, 64305606 edges, 12213 markings/sec, 2280 secs
lola: sara is running 2285 secs || 30783879 markings, 64444890 edges, 12965 markings/sec, 2285 secs
lola: sara is running 2290 secs || 30846706 markings, 64580514 edges, 12565 markings/sec, 2290 secs
lola: sara is running 2295 secs || 30912404 markings, 64722249 edges, 13140 markings/sec, 2295 secs
lola: sara is running 2300 secs || 30964101 markings, 64833659 edges, 10339 markings/sec, 2300 secs
lola: sara is running 2305 secs || 31017311 markings, 64948337 edges, 10642 markings/sec, 2305 secs
lola: sara is running 2310 secs || 31073246 markings, 65068711 edges, 11187 markings/sec, 2310 secs
lola: sara is running 2315 secs || 31130823 markings, 65192783 edges, 11515 markings/sec, 2315 secs
lola: sara is running 2320 secs || 31190941 markings, 65322557 edges, 12024 markings/sec, 2320 secs
lola: sara is running 2325 secs || 31250899 markings, 65461324 edges, 11992 markings/sec, 2325 secs
lola: sara is running 2330 secs || 31325338 markings, 65623269 edges, 14888 markings/sec, 2330 secs
lola: sara is running 2335 secs || 31401560 markings, 65788120 edges, 15244 markings/sec, 2335 secs
lola: sara is running 2340 secs || 31474061 markings, 65945323 edges, 14500 markings/sec, 2340 secs
lola: sara is running 2345 secs || 31544850 markings, 66100520 edges, 14158 markings/sec, 2345 secs
lola: sara is running 2350 secs || 31625430 markings, 66256313 edges, 16116 markings/sec, 2350 secs
lola: sara is running 2355 secs || 31711018 markings, 66446265 edges, 17118 markings/sec, 2355 secs
lola: sara is running 2360 secs || 31793971 markings, 66635840 edges, 16591 markings/sec, 2360 secs
lola: sara is running 2365 secs || 31875281 markings, 66815319 edges, 16262 markings/sec, 2365 secs
lola: sara is running 2370 secs || 31958608 markings, 66986058 edges, 16665 markings/sec, 2370 secs
lola: sara is running 2375 secs || 32040634 markings, 67170830 edges, 16405 markings/sec, 2375 secs
lola: sara is running 2380 secs || 32119780 markings, 67353263 edges, 15829 markings/sec, 2380 secs
lola: sara is running 2385 secs || 32191752 markings, 67519080 edges, 14394 markings/sec, 2385 secs
lola: sara is running 2390 secs || 32269678 markings, 67688324 edges, 15585 markings/sec, 2390 secs
lola: sara is running 2395 secs || 32344439 markings, 67848316 edges, 14952 markings/sec, 2395 secs
lola: sara is running 2400 secs || 32429883 markings, 68033381 edges, 17089 markings/sec, 2400 secs
lola: sara is running 2405 secs || 32511150 markings, 68215162 edges, 16253 markings/sec, 2405 secs
lola: sara is running 2410 secs || 32570456 markings, 68363078 edges, 11861 markings/sec, 2410 secs
lola: sara is running 2415 secs || 32636322 markings, 68522280 edges, 13173 markings/sec, 2415 secs
lola: sara is running 2420 secs || 32714788 markings, 68682807 edges, 15693 markings/sec, 2420 secs
lola: sara is running 2425 secs || 32796985 markings, 68869533 edges, 16439 markings/sec, 2425 secs
lola: sara is running 2430 secs || 32877354 markings, 69050526 edges, 16074 markings/sec, 2430 secs
lola: sara is running 2435 secs || 32959209 markings, 69213238 edges, 16371 markings/sec, 2435 secs
lola: sara is running 2440 secs || 33040703 markings, 69399425 edges, 16299 markings/sec, 2440 secs
lola: sara is running 2445 secs || 33120919 markings, 69580193 edges, 16043 markings/sec, 2445 secs
lola: sara is running 2450 secs || 33202555 markings, 69755301 edges, 16327 markings/sec, 2450 secs
lola: sara is running 2455 secs || 33287499 markings, 69931657 edges, 16989 markings/sec, 2455 secs
lola: sara is running 2460 secs || 33367008 markings, 70114014 edges, 15902 markings/sec, 2460 secs
lola: sara is running 2465 secs || 33438300 markings, 70279442 edges, 14258 markings/sec, 2465 secs
lola: sara is running 2470 secs || 33515642 markings, 70447202 edges, 15468 markings/sec, 2470 secs
lola: sara is running 2475 secs || 33590432 markings, 70612521 edges, 14958 markings/sec, 2475 secs
lola: sara is running 2480 secs || 33672784 markings, 70791968 edges, 16470 markings/sec, 2480 secs
lola: sara is running 2485 secs || 33749797 markings, 70962341 edges, 15403 markings/sec, 2485 secs
lola: sara is running 2490 secs || 33818148 markings, 71102235 edges, 13670 markings/sec, 2490 secs
lola: sara is running 2495 secs || 33882533 markings, 71223557 edges, 12877 markings/sec, 2495 secs
lola: sara is running 2500 secs || 33948487 markings, 71366971 edges, 13191 markings/sec, 2500 secs
lola: sara is running 2505 secs || 34014501 markings, 71511760 edges, 13203 markings/sec, 2505 secs
lola: sara is running 2510 secs || 34081426 markings, 71656496 edges, 13385 markings/sec, 2510 secs
lola: sara is running 2515 secs || 34141470 markings, 71791243 edges, 12009 markings/sec, 2515 secs
lola: sara is running 2520 secs || 34205815 markings, 71928156 edges, 12869 markings/sec, 2520 secs
lola: sara is running 2525 secs || 34267228 markings, 72065703 edges, 12283 markings/sec, 2525 secs
lola: sara is running 2530 secs || 34332607 markings, 72205407 edges, 13076 markings/sec, 2530 secs
lola: sara is running 2535 secs || 34395183 markings, 72347021 edges, 12515 markings/sec, 2535 secs
lola: sara is running 2540 secs || 34459211 markings, 72486550 edges, 12806 markings/sec, 2540 secs
lola: sara is running 2545 secs || 34512180 markings, 72602848 edges, 10594 markings/sec, 2545 secs
lola: sara is running 2550 secs || 34564976 markings, 72717879 edges, 10559 markings/sec, 2550 secs
lola: sara is running 2555 secs || 34619181 markings, 72837128 edges, 10841 markings/sec, 2555 secs
lola: sara is running 2560 secs || 34674885 markings, 72956717 edges, 11141 markings/sec, 2560 secs
lola: sara is running 2565 secs || 34727168 markings, 73074493 edges, 10457 markings/sec, 2565 secs
lola: sara is running 2570 secs || 34783242 markings, 73197134 edges, 11215 markings/sec, 2570 secs
lola: sara is running 2575 secs || 34840823 markings, 73321603 edges, 11516 markings/sec, 2575 secs
lola: sara is running 2580 secs || 34897219 markings, 73447072 edges, 11279 markings/sec, 2580 secs
lola: sara is running 2585 secs || 34957490 markings, 73576780 edges, 12054 markings/sec, 2585 secs
lola: sara is running 2590 secs || 35014125 markings, 73704968 edges, 11327 markings/sec, 2590 secs
lola: sara is running 2595 secs || 35074744 markings, 73835687 edges, 12124 markings/sec, 2595 secs
lola: sara is running 2600 secs || 35135861 markings, 73972364 edges, 12223 markings/sec, 2600 secs
lola: sara is running 2605 secs || 35207405 markings, 74112357 edges, 14309 markings/sec, 2605 secs
lola: sara is running 2610 secs || 35280995 markings, 74278200 edges, 14718 markings/sec, 2610 secs
lola: sara is running 2615 secs || 35354442 markings, 74445107 edges, 14689 markings/sec, 2615 secs
lola: sara is running 2620 secs || 35429162 markings, 74607177 edges, 14944 markings/sec, 2620 secs
lola: sara is running 2625 secs || 35508046 markings, 74769187 edges, 15777 markings/sec, 2625 secs
lola: sara is running 2630 secs || 35580292 markings, 74926935 edges, 14449 markings/sec, 2630 secs
lola: sara is running 2635 secs || 35650519 markings, 75086755 edges, 14045 markings/sec, 2635 secs
lola: sara is running 2640 secs || 35721558 markings, 75244195 edges, 14208 markings/sec, 2640 secs
lola: sara is running 2645 secs || 35793451 markings, 75407506 edges, 14379 markings/sec, 2645 secs
lola: sara is running 2650 secs || 35875288 markings, 75572287 edges, 16367 markings/sec, 2650 secs
lola: sara is running 2655 secs || 35953600 markings, 75750377 edges, 15662 markings/sec, 2655 secs
lola: sara is running 2660 secs || 36030970 markings, 75924727 edges, 15474 markings/sec, 2660 secs
lola: sara is running 2665 secs || 36112278 markings, 76102109 edges, 16262 markings/sec, 2665 secs
lola: sara is running 2670 secs || 36193885 markings, 76266154 edges, 16321 markings/sec, 2670 secs
lola: sara is running 2675 secs || 36270150 markings, 76439567 edges, 15253 markings/sec, 2675 secs
lola: sara is running 2680 secs || 36347776 markings, 76611709 edges, 15525 markings/sec, 2680 secs
lola: sara is running 2685 secs || 36425108 markings, 76789997 edges, 15466 markings/sec, 2685 secs
lola: sara is running 2690 secs || 36477610 markings, 76899887 edges, 10500 markings/sec, 2690 secs
lola: sara is running 2695 secs || 36530147 markings, 77038346 edges, 10507 markings/sec, 2695 secs
lola: sara is running 2700 secs || 36579521 markings, 77156365 edges, 9875 markings/sec, 2700 secs
lola: sara is running 2705 secs || 36627448 markings, 77267811 edges, 9585 markings/sec, 2705 secs
lola: sara is running 2710 secs || 36675387 markings, 77378293 edges, 9588 markings/sec, 2710 secs
lola: sara is running 2715 secs || 36726679 markings, 77510704 edges, 10258 markings/sec, 2715 secs
lola: sara is running 2720 secs || 36779020 markings, 77649735 edges, 10468 markings/sec, 2720 secs
lola: sara is running 2725 secs || 36824614 markings, 77756895 edges, 9119 markings/sec, 2725 secs
lola: sara is running 2730 secs || 36869834 markings, 77881631 edges, 9044 markings/sec, 2730 secs
lola: sara is running 2735 secs || 36922792 markings, 77955994 edges, 10592 markings/sec, 2735 secs
lola: sara is running 2740 secs || 36991174 markings, 78040800 edges, 13676 markings/sec, 2740 secs
lola: sara is running 2745 secs || 37037589 markings, 78145329 edges, 9283 markings/sec, 2745 secs
lola: sara is running 2750 secs || 37085156 markings, 78238530 edges, 9513 markings/sec, 2750 secs
lola: sara is running 2755 secs || 37141238 markings, 78308027 edges, 11216 markings/sec, 2755 secs
lola: sara is running 2760 secs || 37207481 markings, 78391711 edges, 13249 markings/sec, 2760 secs
lola: sara is running 2765 secs || 37265287 markings, 78463355 edges, 11561 markings/sec, 2765 secs
lola: sara is running 2770 secs || 37321730 markings, 78560022 edges, 11289 markings/sec, 2770 secs
lola: sara is running 2775 secs || 37363747 markings, 78660943 edges, 8403 markings/sec, 2775 secs
lola: sara is running 2780 secs || 37406121 markings, 78762053 edges, 8475 markings/sec, 2780 secs
lola: sara is running 2785 secs || 37459942 markings, 78829752 edges, 10764 markings/sec, 2785 secs
lola: sara is running 2790 secs || 37527049 markings, 78914236 edges, 13421 markings/sec, 2790 secs
lola: sara is running 2795 secs || 37580858 markings, 78981199 edges, 10762 markings/sec, 2795 secs
lola: sara is running 2800 secs || 37645309 markings, 79076496 edges, 12890 markings/sec, 2800 secs
lola: sara is running 2805 secs || 37687789 markings, 79174678 edges, 8496 markings/sec, 2805 secs
sara: warning, failure of lp_solve (at job 7295)
lola: sara is running 2810 secs || 37729502 markings, 79282116 edges, 8343 markings/sec, 2810 secs
lola: sara is running 2815 secs || 37780681 markings, 79354024 edges, 10236 markings/sec, 2815 secs
lola: sara is running 2820 secs || 37847793 markings, 79437247 edges, 13422 markings/sec, 2820 secs
lola: sara is running 2825 secs || 37890274 markings, 79532377 edges, 8496 markings/sec, 2825 secs
lola: sara is running 2830 secs || 37932638 markings, 79622140 edges, 8473 markings/sec, 2830 secs
lola: sara is running 2835 secs || 37972902 markings, 79724366 edges, 8053 markings/sec, 2835 secs
lola: sara is running 2840 secs || 38028609 markings, 79830205 edges, 11141 markings/sec, 2840 secs
lola: sara is running 2845 secs || 38089188 markings, 79948988 edges, 12116 markings/sec, 2845 secs
lola: sara is running 2850 secs || 38145192 markings, 80060272 edges, 11201 markings/sec, 2850 secs
lola: sara is running 2855 secs || 38195189 markings, 80159397 edges, 9999 markings/sec, 2855 secs
lola: sara is running 2860 secs || 38249324 markings, 80266634 edges, 10827 markings/sec, 2860 secs
lola: sara is running 2865 secs || 38312329 markings, 80389377 edges, 12601 markings/sec, 2865 secs
lola: sara is running 2870 secs || 38384015 markings, 80530321 edges, 14337 markings/sec, 2870 secs
lola: sara is running 2875 secs || 38456098 markings, 80671166 edges, 14417 markings/sec, 2875 secs
lola: sara is running 2880 secs || 38531040 markings, 80819363 edges, 14988 markings/sec, 2880 secs
lola: sara is running 2885 secs || 38591963 markings, 80945801 edges, 12185 markings/sec, 2885 secs
lola: sara is running 2890 secs || 38633465 markings, 81039638 edges, 8300 markings/sec, 2890 secs
lola: sara is running 2895 secs || 38673555 markings, 81134966 edges, 8018 markings/sec, 2895 secs
lola: sara is running 2900 secs || 38726676 markings, 81247744 edges, 10624 markings/sec, 2900 secs
lola: sara is running 2905 secs || 38787582 markings, 81374276 edges, 12181 markings/sec, 2905 secs
lola: sara is running 2910 secs || 38847565 markings, 81498961 edges, 11997 markings/sec, 2910 secs
lola: sara is running 2915 secs || 38907800 markings, 81624359 edges, 12047 markings/sec, 2915 secs
lola: sara is running 2920 secs || 38958543 markings, 81729591 edges, 10149 markings/sec, 2920 secs
lola: sara is running 2925 secs || 39010337 markings, 81837475 edges, 10359 markings/sec, 2925 secs
lola: sara is running 2930 secs || 39064487 markings, 81949766 edges, 10830 markings/sec, 2930 secs
lola: sara is running 2935 secs || 39120908 markings, 82067093 edges, 11284 markings/sec, 2935 secs
lola: sara is running 2940 secs || 39189854 markings, 82210912 edges, 13789 markings/sec, 2940 secs
lola: sara is running 2945 secs || 39262656 markings, 82362561 edges, 14560 markings/sec, 2945 secs
lola: sara is running 2950 secs || 39331359 markings, 82505779 edges, 13741 markings/sec, 2950 secs
lola: sara is running 2955 secs || 39405014 markings, 82659398 edges, 14731 markings/sec, 2955 secs
lola: sara is running 2960 secs || 39481540 markings, 82818856 edges, 15305 markings/sec, 2960 secs
lola: sara is running 2965 secs || 39556950 markings, 82976018 edges, 15082 markings/sec, 2965 secs
lola: sara is running 2970 secs || 39612200 markings, 83096768 edges, 11050 markings/sec, 2970 secs
lola: sara is running 2975 secs || 39652532 markings, 83189560 edges, 8066 markings/sec, 2975 secs
lola: sara is running 2980 secs || 39709239 markings, 83296768 edges, 11341 markings/sec, 2980 secs
lola: sara is running 2985 secs || 39769300 markings, 83414661 edges, 12012 markings/sec, 2985 secs
lola: sara is running 2990 secs || 39824920 markings, 83524947 edges, 11124 markings/sec, 2990 secs
lola: sara is running 2995 secs || 39876202 markings, 83626351 edges, 10256 markings/sec, 2995 secs
lola: sara is running 3000 secs || 39929223 markings, 83731661 edges, 10604 markings/sec, 3000 secs
lola: sara is running 3005 secs || 39992578 markings, 83855092 edges, 12671 markings/sec, 3005 secs
lola: sara is running 3010 secs || 40062894 markings, 83993304 edges, 14063 markings/sec, 3010 secs
lola: sara is running 3015 secs || 40134337 markings, 84132837 edges, 14289 markings/sec, 3015 secs
lola: sara is running 3020 secs || 40208849 markings, 84279852 edges, 14902 markings/sec, 3020 secs
lola: sara is running 3025 secs || 40269023 markings, 84405363 edges, 12035 markings/sec, 3025 secs
lola: sara is running 3030 secs || 40310507 markings, 84497592 edges, 8297 markings/sec, 3030 secs
lola: sara is running 3035 secs || 40351800 markings, 84597290 edges, 8259 markings/sec, 3035 secs
lola: sara is running 3040 secs || 40393457 markings, 84690897 edges, 8331 markings/sec, 3040 secs
lola: sara is running 3045 secs || 40433089 markings, 84796819 edges, 7926 markings/sec, 3045 secs
lola: sara is running 3050 secs || 40472404 markings, 84911497 edges, 7863 markings/sec, 3050 secs
lola: sara is running 3055 secs || 40526370 markings, 84980257 edges, 10793 markings/sec, 3055 secs
lola: sara is running 3060 secs || 40593762 markings, 85064372 edges, 13478 markings/sec, 3060 secs
lola: sara is running 3065 secs || 40649146 markings, 85133999 edges, 11077 markings/sec, 3065 secs
lola: sara is running 3070 secs || 40713229 markings, 85223581 edges, 12817 markings/sec, 3070 secs
lola: sara is running 3075 secs || 40750744 markings, 85310365 edges, 7503 markings/sec, 3075 secs
lola: sara is running 3080 secs || 40788342 markings, 85398006 edges, 7520 markings/sec, 3080 secs
lola: sara is running 3085 secs || 40846387 markings, 85513475 edges, 11609 markings/sec, 3085 secs
lola: sara is running 3090 secs || 40904760 markings, 85628769 edges, 11675 markings/sec, 3090 secs
lola: sara is running 3095 secs || 40957248 markings, 85732661 edges, 10498 markings/sec, 3095 secs
lola: sara is running 3100 secs || 41007868 markings, 85832878 edges, 10124 markings/sec, 3100 secs
lola: sara is running 3105 secs || 41060648 markings, 85937538 edges, 10556 markings/sec, 3105 secs
lola: sara is running 3110 secs || 41125180 markings, 86063192 edges, 12906 markings/sec, 3110 secs
lola: sara is running 3115 secs || 41194054 markings, 86198522 edges, 13775 markings/sec, 3115 secs
lola: sara is running 3120 secs || 41264564 markings, 86336412 edges, 14102 markings/sec, 3120 secs
lola: sara is running 3125 secs || 41337452 markings, 86480158 edges, 14578 markings/sec, 3125 secs
lola: sara is running 3130 secs || 41393820 markings, 86597821 edges, 11274 markings/sec, 3130 secs
lola: sara is running 3135 secs || 41430669 markings, 86682911 edges, 7370 markings/sec, 3135 secs
lola: sara is running 3140 secs || 41467192 markings, 86767444 edges, 7305 markings/sec, 3140 secs
lola: sara is running 3145 secs || 41509644 markings, 86850240 edges, 8490 markings/sec, 3145 secs
lola: sara is running 3150 secs || 41568890 markings, 86923659 edges, 11849 markings/sec, 3150 secs
lola: sara is running 3155 secs || 41629554 markings, 87000440 edges, 12133 markings/sec, 3155 secs
lola: sara is running 3160 secs || 41689688 markings, 87074982 edges, 12027 markings/sec, 3160 secs
lola: sara is running 3165 secs || 41737815 markings, 87161033 edges, 9625 markings/sec, 3165 secs
lola: sara is running 3170 secs || 41773692 markings, 87243807 edges, 7175 markings/sec, 3170 secs
lola: sara is running 3175 secs || 41817417 markings, 87324161 edges, 8745 markings/sec, 3175 secs
lola: sara is running 3180 secs || 41873790 markings, 87394038 edges, 11275 markings/sec, 3180 secs
lola: sara is running 3185 secs || 41922859 markings, 87478158 edges, 9814 markings/sec, 3185 secs
lola: sara is running 3190 secs || 41957757 markings, 87558676 edges, 6980 markings/sec, 3190 secs
lola: sara is running 3195 secs || 41992448 markings, 87638727 edges, 6938 markings/sec, 3195 secs
lola: sara is running 3200 secs || 42027808 markings, 87722106 edges, 7072 markings/sec, 3200 secs
lola: sara is running 3205 secs || 42061999 markings, 87814299 edges, 6838 markings/sec, 3205 secs
lola: sara is running 3210 secs || 42101132 markings, 87890762 edges, 7827 markings/sec, 3210 secs
lola: sara is running 3215 secs || 42154748 markings, 87957208 edges, 10723 markings/sec, 3215 secs
lola: sara is running 3220 secs || 42215247 markings, 88033776 edges, 12100 markings/sec, 3220 secs
lola: sara is running 3225 secs || 42271538 markings, 88103537 edges, 11258 markings/sec, 3225 secs
lola: sara is running 3230 secs || 42325224 markings, 88187490 edges, 10737 markings/sec, 3230 secs
lola: sara is running 3235 secs || 42359377 markings, 88266405 edges, 6831 markings/sec, 3235 secs
lola: sara is running 3240 secs || 42393928 markings, 88346748 edges, 6910 markings/sec, 3240 secs
lola: sara is running 3245 secs || 42450314 markings, 88459052 edges, 11277 markings/sec, 3245 secs
lola: sara is running 3250 secs || 42507209 markings, 88571321 edges, 11379 markings/sec, 3250 secs
lola: sara is running 3255 secs || 42558787 markings, 88673575 edges, 10316 markings/sec, 3255 secs
lola: sara is running 3260 secs || 42607663 markings, 88770100 edges, 9775 markings/sec, 3260 secs
lola: sara is running 3265 secs || 42658171 markings, 88870236 edges, 10102 markings/sec, 3265 secs
lola: sara is running 3270 secs || 42717915 markings, 88986330 edges, 11949 markings/sec, 3270 secs
lola: sara is running 3275 secs || 42784566 markings, 89117164 edges, 13330 markings/sec, 3275 secs
lola: sara is running 3280 secs || 42850423 markings, 89247379 edges, 13171 markings/sec, 3280 secs
lola: sara is running 3285 secs || 42921267 markings, 89385976 edges, 14169 markings/sec, 3285 secs
lola: sara is running 3290 secs || 42986781 markings, 89517788 edges, 13103 markings/sec, 3290 secs
lola: sara is running 3295 secs || 43020396 markings, 89595401 edges, 6723 markings/sec, 3295 secs
lola: sara is running 3300 secs || 43053404 markings, 89671637 edges, 6602 markings/sec, 3300 secs
lola: sara is running 3305 secs || 43085361 markings, 89751904 edges, 6391 markings/sec, 3305 secs
lola: sara is running 3310 secs || 43132083 markings, 89819823 edges, 9344 markings/sec, 3310 secs
lola: sara is running 3315 secs || 43196156 markings, 89899273 edges, 12815 markings/sec, 3315 secs
lola: sara is running 3320 secs || 43249282 markings, 89966655 edges, 10625 markings/sec, 3320 secs
lola: sara is running 3325 secs || 43314174 markings, 90047109 edges, 12978 markings/sec, 3325 secs
lola: sara is running 3330 secs || 43349815 markings, 90124789 edges, 7128 markings/sec, 3330 secs
lola: sara is running 3335 secs || 43382597 markings, 90201856 edges, 6556 markings/sec, 3335 secs
lola: sara is running 3340 secs || 43426759 markings, 90277517 edges, 8832 markings/sec, 3340 secs
lola: sara is running 3345 secs || 43484151 markings, 90348649 edges, 11478 markings/sec, 3345 secs
lola: sara is running 3350 secs || 43528297 markings, 90426887 edges, 8829 markings/sec, 3350 secs
lola: sara is running 3355 secs || 43560818 markings, 90502008 edges, 6504 markings/sec, 3355 secs
lola: sara is running 3360 secs || 43593361 markings, 90577197 edges, 6509 markings/sec, 3360 secs
lola: sara is running 3365 secs || 43623246 markings, 90667342 edges, 5977 markings/sec, 3365 secs
lola: sara is running 3370 secs || 43656587 markings, 90744838 edges, 6668 markings/sec, 3370 secs
lola: sara is running 3375 secs || 43706493 markings, 90816156 edges, 9981 markings/sec, 3375 secs
lola: sara is running 3380 secs || 43774205 markings, 90900099 edges, 13542 markings/sec, 3380 secs
lola: sara is running 3385 secs || 43814105 markings, 90987656 edges, 7980 markings/sec, 3385 secs
lola: sara is running 3390 secs || 43851913 markings, 91074932 edges, 7562 markings/sec, 3390 secs
lola: sara is running 3395 secs || 43891592 markings, 91160035 edges, 7936 markings/sec, 3395 secs
lola: sara is running 3400 secs || 43930597 markings, 91243643 edges, 7801 markings/sec, 3400 secs
lola: sara is running 3405 secs || 43957025 markings, 91372472 edges, 5286 markings/sec, 3405 secs
lola: sara is running 3410 secs || 43991532 markings, 91453339 edges, 6901 markings/sec, 3410 secs
lola: sara is running 3415 secs || 44060082 markings, 91600140 edges, 13710 markings/sec, 3415 secs
lola: sara is running 3420 secs || 44139912 markings, 91772697 edges, 15966 markings/sec, 3420 secs
lola: sara is running 3425 secs || 44219690 markings, 91935478 edges, 15956 markings/sec, 3425 secs
lola: sara is running 3430 secs || 44299495 markings, 92098643 edges, 15961 markings/sec, 3430 secs
lola: sara is running 3435 secs || 44375415 markings, 92264211 edges, 15184 markings/sec, 3435 secs
lola: sara is running 3440 secs || 44451323 markings, 92420984 edges, 15182 markings/sec, 3440 secs
lola: sara is running 3445 secs || 44532885 markings, 92586047 edges, 16312 markings/sec, 3445 secs
lola: sara is running 3450 secs || 44614495 markings, 92761939 edges, 16322 markings/sec, 3450 secs
lola: sara is running 3455 secs || 44689495 markings, 92920136 edges, 15000 markings/sec, 3455 secs
lola: sara is running 3460 secs || 44763397 markings, 93074589 edges, 14780 markings/sec, 3460 secs
lola: sara is running 3465 secs || 44838616 markings, 93227070 edges, 15044 markings/sec, 3465 secs
lola: sara is running 3470 secs || 44913376 markings, 93383769 edges, 14952 markings/sec, 3470 secs
lola: sara is running 3475 secs || 44979946 markings, 93532302 edges, 13314 markings/sec, 3475 secs
lola: sara is running 3480 secs || 45044294 markings, 93674207 edges, 12870 markings/sec, 3480 secs
lola: sara is running 3485 secs || 45111126 markings, 93821758 edges, 13366 markings/sec, 3485 secs
lola: sara is running 3490 secs || 45187219 markings, 93988563 edges, 15219 markings/sec, 3490 secs
lola: sara is running 3495 secs || 45252794 markings, 94129776 edges, 13115 markings/sec, 3495 secs
lola: sara is running 3500 secs || 45316855 markings, 94260471 edges, 12812 markings/sec, 3500 secs
lola: sara is running 3505 secs || 45379911 markings, 94388649 edges, 12611 markings/sec, 3505 secs
lola: sara is running 3510 secs || 45442887 markings, 94516830 edges, 12595 markings/sec, 3510 secs
lola: sara is running 3515 secs || 45503826 markings, 94645700 edges, 12188 markings/sec, 3515 secs
lola: sara is running 3520 secs || 45563516 markings, 94768421 edges, 11938 markings/sec, 3520 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: yes no yes yes yes no yes no no no no yes no no yes
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes yes yes no yes no no no no yes no no yes unknown
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-311-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- 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="CloudReconfiguration-PT-311"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-311.tgz
mv CloudReconfiguration-PT-311 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 mcc4mcc-structural"
echo " Input is CloudReconfiguration-PT-311, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r059-smll-152646386100077"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;