About the Execution of LoLA for CloudReconfiguration-PT-301
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4865.160 | 3570112.00 | 3618092.00 | 8133.00 | ?TTFFTFFFTFTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2019-input.r038-smll-155229648700116.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudReconfiguration-PT-301, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648700116
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 4.2K Feb 9 09:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 9 09:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 08:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 08:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 02:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 02:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 660K Mar 10 17:31 model.pnml
--------------------
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-301-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-301-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1552595434439
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-301 @ 3570 seconds
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-301-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityCardinality @ CloudReconfiguration-PT-301
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=ReachabilityCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--json=ReachabilityCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 20:30:34 2019
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 219
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 233
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 250
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 269
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 292
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 318
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 350
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 389
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 438
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 501
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 584
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 33
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 701
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p114))))",
"processed_size": 21,
"rewrites": 34
},
"result":
{
"edges": 72,
"markings": 73,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 877
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (((p177 <= p174))))",
"processed_size": 24,
"rewrites": 35
},
"result":
{
"edges": 68,
"markings": 69,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1169
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((p761 <= 0) AND (p355 + 1 <= p635))))",
"processed_size": 44,
"rewrites": 34
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1754
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "A (G ((((p1580 <= p1562) AND ((p2448 <= p885) OR (1 <= p2082))) OR (p1615 <= p160))))",
"processed_size": 87,
"rewrites": 35
},
"result":
{
"edges": 113,
"markings": 114,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 5,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 4758160,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "ReachabilityCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(**)) : TRUE : E(F(**)) : A(G(**)) : FALSE : E(F(**)) : FALSE : A(G(**)) : FALSE : TRUE : FALSE : TRUE : FALSE : FALSE : FALSE : FALSE"
},
"net":
{
"arcs": 6459,
"conflict_clusters": 2448,
"places": 2584,
"places_significant": 2580,
"singleton_clusters": 0,
"transitions": 3094
},
"result":
{
"interim_value": "unknown yes yes no no yes no no no yes no yes no no no no ",
"preliminary_value": "unknown yes yes no no yes no no no yes no yes no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5678/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2584
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p431)
lola: LP says that atomic proposition is always false: (2 <= p2055)
lola: LP says that atomic proposition is always false: (3 <= p691)
lola: LP says that atomic proposition is always false: (3 <= p2472)
lola: LP says that atomic proposition is always false: (3 <= p1619)
lola: LP says that atomic proposition is always false: (2 <= p217)
lola: LP says that atomic proposition is always false: (3 <= p999)
lola: LP says that atomic proposition is always false: (3 <= p253)
lola: LP says that atomic proposition is always false: (2 <= p2541)
lola: LP says that atomic proposition is always false: (2 <= p425)
lola: LP says that atomic proposition is always false: (3 <= p785)
lola: LP says that atomic proposition is always false: (3 <= p382)
lola: LP says that atomic proposition is always false: (2 <= p1034)
lola: LP says that atomic proposition is always false: (2 <= p411)
lola: LP says that atomic proposition is always false: (2 <= p451)
lola: LP says that atomic proposition is always false: (2 <= p864)
lola: LP says that atomic proposition is always false: (2 <= p1442)
lola: LP says that atomic proposition is always false: (2 <= p1151)
lola: LP says that atomic proposition is always false: (2 <= p2266)
lola: E (F (((p964 <= p2284) AND (1 <= p1793) AND (p874 + 1 <= p611) AND (p480 + 1 <= p2388) AND (1 <= p2563)))) : A (G (())) : E (F (((p761 <= 0) AND (p355 + 1 <= p635)))) : A (G ((((p1580 <= p1562) AND ((p2448 <= p885) OR (1 <= p2082))) OR (p1615 <= p160)))) : E (F ((3 <= p691))) : E (F (((1 <= p114)))) : E (F (())) : A (G (((p177 <= p174)))) : E (F ((3 <= p253))) : A (G (())) : E (F (())) : A (G (())) : E (F (())) : E (F ((2 <= p411))) : E (F (())) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 584 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 701 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p114))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p114))))
lola: processed formula length: 21
lola: 34 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p114))
lola: state equation task get result unparse finished id 0
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: 73 markings, 72 edges
lola: ========================================
lola: subprocess 12 will run for 877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p177 <= p174))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p177 <= p174))))
lola: processed formula length: 24
lola: 35 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p174 + 1 <= p177))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 69 markings, 68 edges
lola: ========================================
lola: subprocess 13 will run for 1169 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p761 <= 0) AND (p355 + 1 <= p635))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p761 <= 0) AND (p355 + 1 <= p635))))
lola: processed formula length: 44
lola: 34 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p761 <= 0) AND (p355 + 1 <= p635))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 14 will run for 1754 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1580 <= p1562) AND ((p2448 <= p885) OR (1 <= p2082))) OR (p1615 <= p160))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p1580 <= p1562) AND ((p2448 <= p885) OR (1 <= p2082))) OR (p1615 <= p160))))
lola: processed formula length: 87
lola: 35 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p1562 + 1 <= p1580) OR ((p885 + 1 <= p2448) AND (p2082 <= 0))) AND (p160 + 1 <= p1615))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 114 markings, 113 edges
lola: ========================================
lola: subprocess 15 will run for 3508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p964 <= p2284) AND (1 <= p1793) AND (p874 + 1 <= p611) AND (p480 + 1 <= p2388) AND (1 <= p2563))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p964 <= p2284) AND (1 <= p1793) AND (p874 + 1 <= p611) AND (p480 + 1 <= p2388) AND (1 <= p2563))))
lola: processed formula length: 106
lola: 34 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p964 <= p2284) AND (1 <= p1793) AND (p874 + 1 <= p611) AND (p480 + 1 <= p2388) AND (1 <= p2563))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-15-0.sara.
sara: error: :11995: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 38611 markings, 69410 edges, 7722 markings/sec, 0 secs
lola: sara is running 5 secs || 77707 markings, 143663 edges, 7819 markings/sec, 5 secs
lola: sara is running 10 secs || 115384 markings, 222311 edges, 7535 markings/sec, 10 secs
lola: sara is running 15 secs || 167061 markings, 327557 edges, 10335 markings/sec, 15 secs
lola: sara is running 20 secs || 208436 markings, 407987 edges, 8275 markings/sec, 20 secs
lola: sara is running 25 secs || 250618 markings, 491654 edges, 8436 markings/sec, 25 secs
lola: sara is running 30 secs || 295425 markings, 586803 edges, 8961 markings/sec, 30 secs
lola: sara is running 35 secs || 336217 markings, 677847 edges, 8158 markings/sec, 35 secs
lola: sara is running 40 secs || 372564 markings, 762443 edges, 7269 markings/sec, 40 secs
lola: sara is running 45 secs || 421558 markings, 870464 edges, 9799 markings/sec, 45 secs
lola: sara is running 50 secs || 461134 markings, 961659 edges, 7915 markings/sec, 50 secs
lola: sara is running 55 secs || 517910 markings, 1091534 edges, 11355 markings/sec, 55 secs
lola: sara is running 60 secs || 571156 markings, 1211195 edges, 10649 markings/sec, 60 secs
lola: sara is running 65 secs || 607901 markings, 1296125 edges, 7349 markings/sec, 65 secs
lola: sara is running 70 secs || 644298 markings, 1380407 edges, 7279 markings/sec, 70 secs
lola: sara is running 75 secs || 693434 markings, 1489295 edges, 9827 markings/sec, 75 secs
lola: sara is running 80 secs || 736511 markings, 1586188 edges, 8615 markings/sec, 80 secs
lola: sara is running 85 secs || 790073 markings, 1710141 edges, 10712 markings/sec, 85 secs
lola: sara is running 90 secs || 846064 markings, 1835718 edges, 11198 markings/sec, 90 secs
lola: sara is running 95 secs || 891920 markings, 1931907 edges, 9171 markings/sec, 95 secs
lola: sara is running 100 secs || 930422 markings, 2005001 edges, 7700 markings/sec, 100 secs
lola: sara is running 105 secs || 966197 markings, 2082388 edges, 7155 markings/sec, 105 secs
lola: sara is running 110 secs || 1002086 markings, 2163636 edges, 7178 markings/sec, 110 secs
lola: sara is running 115 secs || 1047669 markings, 2247684 edges, 9117 markings/sec, 115 secs
lola: sara is running 120 secs || 1088698 markings, 2322353 edges, 8206 markings/sec, 120 secs
lola: sara is running 125 secs || 1127196 markings, 2399519 edges, 7700 markings/sec, 125 secs
lola: sara is running 130 secs || 1163947 markings, 2480790 edges, 7350 markings/sec, 130 secs
lola: sara is running 135 secs || 1199666 markings, 2563437 edges, 7144 markings/sec, 135 secs
lola: sara is running 140 secs || 1235816 markings, 2646722 edges, 7230 markings/sec, 140 secs
lola: sara is running 145 secs || 1278930 markings, 2743628 edges, 8623 markings/sec, 145 secs
lola: sara is running 150 secs || 1330835 markings, 2862565 edges, 10381 markings/sec, 150 secs
lola: sara is running 155 secs || 1372667 markings, 2941725 edges, 8366 markings/sec, 155 secs
lola: sara is running 160 secs || 1410363 markings, 3015715 edges, 7539 markings/sec, 160 secs
lola: sara is running 165 secs || 1445569 markings, 3092644 edges, 7041 markings/sec, 165 secs
lola: sara is running 170 secs || 1482791 markings, 3170886 edges, 7444 markings/sec, 170 secs
lola: sara is running 175 secs || 1521508 markings, 3242139 edges, 7743 markings/sec, 175 secs
lola: sara is running 180 secs || 1557431 markings, 3317630 edges, 7185 markings/sec, 180 secs
lola: sara is running 185 secs || 1593402 markings, 3397405 edges, 7194 markings/sec, 185 secs
lola: sara is running 190 secs || 1630772 markings, 3474721 edges, 7474 markings/sec, 190 secs
lola: sara is running 195 secs || 1665690 markings, 3553307 edges, 6984 markings/sec, 195 secs
lola: sara is running 200 secs || 1700934 markings, 3628589 edges, 7049 markings/sec, 200 secs
lola: sara is running 205 secs || 1735876 markings, 3705806 edges, 6988 markings/sec, 205 secs
lola: sara is running 210 secs || 1770114 markings, 3774373 edges, 6848 markings/sec, 210 secs
lola: sara is running 215 secs || 1800753 markings, 3838390 edges, 6128 markings/sec, 215 secs
lola: sara is running 220 secs || 1834014 markings, 3913232 edges, 6652 markings/sec, 220 secs
lola: sara is running 225 secs || 1871317 markings, 3994793 edges, 7461 markings/sec, 225 secs
lola: sara is running 230 secs || 1917694 markings, 4087074 edges, 9275 markings/sec, 230 secs
lola: sara is running 235 secs || 1969855 markings, 4202501 edges, 10432 markings/sec, 235 secs
lola: sara is running 240 secs || 2023005 markings, 4320290 edges, 10630 markings/sec, 240 secs
lola: sara is running 245 secs || 2070477 markings, 4424568 edges, 9494 markings/sec, 245 secs
lola: sara is running 250 secs || 2124795 markings, 4545748 edges, 10864 markings/sec, 250 secs
lola: sara is running 255 secs || 2180332 markings, 4669130 edges, 11107 markings/sec, 255 secs
lola: sara is running 260 secs || 2217322 markings, 4752682 edges, 7398 markings/sec, 260 secs
lola: sara is running 265 secs || 2250320 markings, 4829394 edges, 6600 markings/sec, 265 secs
lola: sara is running 270 secs || 2287134 markings, 4908519 edges, 7363 markings/sec, 270 secs
lola: sara is running 275 secs || 2320986 markings, 4982765 edges, 6770 markings/sec, 275 secs
lola: sara is running 280 secs || 2354030 markings, 5045447 edges, 6609 markings/sec, 280 secs
lola: sara is running 285 secs || 2386964 markings, 5120463 edges, 6587 markings/sec, 285 secs
lola: sara is running 290 secs || 2421339 markings, 5200263 edges, 6875 markings/sec, 290 secs
lola: sara is running 295 secs || 2455206 markings, 5267060 edges, 6773 markings/sec, 295 secs
lola: sara is running 300 secs || 2487364 markings, 5334567 edges, 6432 markings/sec, 300 secs
lola: sara is running 305 secs || 2520395 markings, 5413503 edges, 6606 markings/sec, 305 secs
lola: sara is running 310 secs || 2554832 markings, 5492301 edges, 6887 markings/sec, 310 secs
lola: sara is running 315 secs || 2605065 markings, 5567746 edges, 10047 markings/sec, 315 secs
lola: sara is running 320 secs || 2667755 markings, 5658758 edges, 12538 markings/sec, 320 secs
lola: sara is running 325 secs || 2718632 markings, 5740462 edges, 10175 markings/sec, 325 secs
lola: sara is running 330 secs || 2766830 markings, 5817877 edges, 9640 markings/sec, 330 secs
lola: sara is running 335 secs || 2829369 markings, 5921527 edges, 12508 markings/sec, 335 secs
lola: sara is running 340 secs || 2886648 markings, 6005841 edges, 11456 markings/sec, 340 secs
lola: sara is running 345 secs || 2927777 markings, 6084511 edges, 8226 markings/sec, 345 secs
lola: sara is running 350 secs || 2970293 markings, 6170957 edges, 8503 markings/sec, 350 secs
lola: sara is running 355 secs || 3015319 markings, 6257139 edges, 9005 markings/sec, 355 secs
lola: sara is running 360 secs || 3051204 markings, 6341456 edges, 7177 markings/sec, 360 secs
lola: sara is running 365 secs || 3091816 markings, 6425070 edges, 8122 markings/sec, 365 secs
lola: sara is running 370 secs || 3131608 markings, 6510527 edges, 7958 markings/sec, 370 secs
lola: sara is running 375 secs || 3172126 markings, 6595991 edges, 8104 markings/sec, 375 secs
lola: sara is running 380 secs || 3208925 markings, 6679596 edges, 7360 markings/sec, 380 secs
lola: sara is running 385 secs || 3253887 markings, 6765984 edges, 8992 markings/sec, 385 secs
lola: sara is running 390 secs || 3289817 markings, 6850349 edges, 7186 markings/sec, 390 secs
lola: sara is running 395 secs || 3330537 markings, 6933244 edges, 8144 markings/sec, 395 secs
lola: sara is running 400 secs || 3367702 markings, 7016484 edges, 7433 markings/sec, 400 secs
lola: sara is running 405 secs || 3410325 markings, 7103926 edges, 8525 markings/sec, 405 secs
lola: sara is running 410 secs || 3450179 markings, 7177102 edges, 7971 markings/sec, 410 secs
lola: sara is running 415 secs || 3491971 markings, 7243574 edges, 8358 markings/sec, 415 secs
lola: sara is running 420 secs || 3527656 markings, 7316927 edges, 7137 markings/sec, 420 secs
lola: sara is running 425 secs || 3562494 markings, 7398275 edges, 6968 markings/sec, 425 secs
lola: sara is running 430 secs || 3594347 markings, 7479828 edges, 6371 markings/sec, 430 secs
lola: sara is running 435 secs || 3623489 markings, 7559257 edges, 5828 markings/sec, 435 secs
lola: sara is running 440 secs || 3650991 markings, 7640192 edges, 5500 markings/sec, 440 secs
lola: sara is running 445 secs || 3679466 markings, 7727419 edges, 5695 markings/sec, 445 secs
lola: sara is running 450 secs || 3714092 markings, 7825689 edges, 6925 markings/sec, 450 secs
lola: sara is running 455 secs || 3748606 markings, 7915936 edges, 6903 markings/sec, 455 secs
lola: sara is running 460 secs || 3774983 markings, 7990201 edges, 5275 markings/sec, 460 secs
lola: sara is running 465 secs || 3802753 markings, 8066157 edges, 5554 markings/sec, 465 secs
lola: sara is running 470 secs || 3831154 markings, 8146880 edges, 5680 markings/sec, 470 secs
lola: sara is running 475 secs || 3864179 markings, 8234407 edges, 6605 markings/sec, 475 secs
lola: sara is running 480 secs || 3896027 markings, 8325485 edges, 6370 markings/sec, 480 secs
lola: sara is running 485 secs || 3924040 markings, 8418574 edges, 5603 markings/sec, 485 secs
lola: sara is running 490 secs || 3952232 markings, 8512152 edges, 5638 markings/sec, 490 secs
lola: sara is running 495 secs || 3993496 markings, 8619061 edges, 8253 markings/sec, 495 secs
lola: sara is running 500 secs || 4024351 markings, 8715597 edges, 6171 markings/sec, 500 secs
lola: sara is running 505 secs || 4067205 markings, 8822996 edges, 8571 markings/sec, 505 secs
lola: sara is running 510 secs || 4110918 markings, 8936988 edges, 8743 markings/sec, 510 secs
lola: sara is running 515 secs || 4152654 markings, 9047134 edges, 8347 markings/sec, 515 secs
lola: sara is running 520 secs || 4181272 markings, 9141990 edges, 5724 markings/sec, 520 secs
lola: sara is running 525 secs || 4210578 markings, 9238952 edges, 5861 markings/sec, 525 secs
lola: sara is running 530 secs || 4250499 markings, 9349430 edges, 7984 markings/sec, 530 secs
lola: sara is running 535 secs || 4284390 markings, 9450072 edges, 6778 markings/sec, 535 secs
lola: sara is running 540 secs || 4327620 markings, 9561488 edges, 8646 markings/sec, 540 secs
lola: sara is running 545 secs || 4374904 markings, 9683596 edges, 9457 markings/sec, 545 secs
lola: sara is running 550 secs || 4426331 markings, 9808770 edges, 10285 markings/sec, 550 secs
lola: sara is running 555 secs || 4459890 markings, 9903448 edges, 6712 markings/sec, 555 secs
lola: sara is running 560 secs || 4484815 markings, 9972339 edges, 4985 markings/sec, 560 secs
lola: sara is running 565 secs || 4512025 markings, 10054653 edges, 5442 markings/sec, 565 secs
lola: sara is running 570 secs || 4539716 markings, 10140411 edges, 5538 markings/sec, 570 secs
lola: sara is running 575 secs || 4569027 markings, 10235314 edges, 5862 markings/sec, 575 secs
lola: sara is running 580 secs || 4603959 markings, 10333828 edges, 6986 markings/sec, 580 secs
lola: sara is running 585 secs || 4634008 markings, 10426510 edges, 6010 markings/sec, 585 secs
lola: sara is running 590 secs || 4657790 markings, 10489900 edges, 4756 markings/sec, 590 secs
lola: sara is running 595 secs || 4684191 markings, 10568891 edges, 5280 markings/sec, 595 secs
lola: sara is running 600 secs || 4710188 markings, 10650752 edges, 5199 markings/sec, 600 secs
lola: sara is running 605 secs || 4738264 markings, 10740395 edges, 5615 markings/sec, 605 secs
lola: sara is running 610 secs || 4768159 markings, 10837112 edges, 5979 markings/sec, 610 secs
lola: sara is running 615 secs || 4796776 markings, 10933345 edges, 5723 markings/sec, 615 secs
lola: sara is running 620 secs || 4831196 markings, 11036368 edges, 6884 markings/sec, 620 secs
lola: sara is running 625 secs || 4867645 markings, 11139407 edges, 7290 markings/sec, 625 secs
lola: sara is running 630 secs || 4914358 markings, 11259727 edges, 9343 markings/sec, 630 secs
lola: sara is running 635 secs || 4940776 markings, 11337246 edges, 5284 markings/sec, 635 secs
lola: sara is running 640 secs || 4965870 markings, 11406422 edges, 5019 markings/sec, 640 secs
lola: sara is running 645 secs || 4991909 markings, 11487421 edges, 5208 markings/sec, 645 secs
lola: sara is running 650 secs || 5019287 markings, 11572704 edges, 5476 markings/sec, 650 secs
lola: sara is running 655 secs || 5047867 markings, 11666423 edges, 5716 markings/sec, 655 secs
lola: sara is running 660 secs || 5071183 markings, 11728998 edges, 4663 markings/sec, 660 secs
lola: sara is running 665 secs || 5097573 markings, 11806909 edges, 5278 markings/sec, 665 secs
lola: sara is running 670 secs || 5123157 markings, 11888224 edges, 5117 markings/sec, 670 secs
lola: sara is running 675 secs || 5150841 markings, 11976894 edges, 5537 markings/sec, 675 secs
lola: sara is running 680 secs || 5181499 markings, 12070319 edges, 6132 markings/sec, 680 secs
lola: sara is running 685 secs || 5211354 markings, 12163782 edges, 5971 markings/sec, 685 secs
lola: sara is running 690 secs || 5239869 markings, 12255609 edges, 5703 markings/sec, 690 secs
lola: sara is running 695 secs || 5268358 markings, 12345367 edges, 5698 markings/sec, 695 secs
lola: sara is running 700 secs || 5296557 markings, 12435711 edges, 5640 markings/sec, 700 secs
lola: sara is running 705 secs || 5324926 markings, 12527075 edges, 5674 markings/sec, 705 secs
lola: sara is running 710 secs || 5349509 markings, 12597847 edges, 4917 markings/sec, 710 secs
lola: sara is running 715 secs || 5375452 markings, 12677890 edges, 5189 markings/sec, 715 secs
lola: sara is running 720 secs || 5401779 markings, 12761702 edges, 5265 markings/sec, 720 secs
lola: sara is running 725 secs || 5428656 markings, 12853849 edges, 5375 markings/sec, 725 secs
lola: sara is running 730 secs || 5464723 markings, 12944674 edges, 7213 markings/sec, 730 secs
lola: sara is running 735 secs || 5500810 markings, 13031708 edges, 7217 markings/sec, 735 secs
lola: sara is running 740 secs || 5548820 markings, 13144252 edges, 9602 markings/sec, 740 secs
lola: sara is running 745 secs || 5594013 markings, 13247744 edges, 9039 markings/sec, 745 secs
lola: sara is running 750 secs || 5632733 markings, 13342435 edges, 7744 markings/sec, 750 secs
lola: sara is running 755 secs || 5679848 markings, 13458112 edges, 9423 markings/sec, 755 secs
lola: sara is running 760 secs || 5727683 markings, 13572498 edges, 9567 markings/sec, 760 secs
lola: sara is running 765 secs || 5773973 markings, 13691072 edges, 9258 markings/sec, 765 secs
lola: sara is running 770 secs || 5800298 markings, 13778414 edges, 5265 markings/sec, 770 secs
lola: sara is running 775 secs || 5826831 markings, 13865996 edges, 5307 markings/sec, 775 secs
lola: sara is running 780 secs || 5857139 markings, 13958412 edges, 6062 markings/sec, 780 secs
lola: sara is running 785 secs || 5884631 markings, 14046861 edges, 5498 markings/sec, 785 secs
lola: sara is running 790 secs || 5909024 markings, 14117449 edges, 4879 markings/sec, 790 secs
lola: sara is running 795 secs || 5934002 markings, 14194068 edges, 4996 markings/sec, 795 secs
lola: sara is running 800 secs || 5960855 markings, 14282588 edges, 5371 markings/sec, 800 secs
lola: sara is running 805 secs || 5988891 markings, 14376187 edges, 5607 markings/sec, 805 secs
lola: sara is running 810 secs || 6016892 markings, 14467851 edges, 5600 markings/sec, 810 secs
lola: sara is running 815 secs || 6040883 markings, 14533754 edges, 4798 markings/sec, 815 secs
lola: sara is running 820 secs || 6066736 markings, 14615356 edges, 5171 markings/sec, 820 secs
lola: sara is running 825 secs || 6093510 markings, 14706529 edges, 5355 markings/sec, 825 secs
lola: sara is running 830 secs || 6121455 markings, 14799777 edges, 5589 markings/sec, 830 secs
lola: sara is running 835 secs || 6154103 markings, 14888867 edges, 6530 markings/sec, 835 secs
lola: sara is running 840 secs || 6185952 markings, 14965298 edges, 6370 markings/sec, 840 secs
lola: sara is running 845 secs || 6224151 markings, 15059093 edges, 7640 markings/sec, 845 secs
lola: sara is running 850 secs || 6261085 markings, 15152699 edges, 7387 markings/sec, 850 secs
lola: sara is running 855 secs || 6294775 markings, 15237305 edges, 6738 markings/sec, 855 secs
lola: sara is running 860 secs || 6324580 markings, 15314463 edges, 5961 markings/sec, 860 secs
lola: sara is running 865 secs || 6365939 markings, 15413996 edges, 8272 markings/sec, 865 secs
lola: sara is running 870 secs || 6409477 markings, 15521481 edges, 8708 markings/sec, 870 secs
lola: sara is running 875 secs || 6451369 markings, 15620831 edges, 8378 markings/sec, 875 secs
lola: sara is running 880 secs || 6478431 markings, 15700484 edges, 5412 markings/sec, 880 secs
lola: sara is running 885 secs || 6509347 markings, 15788007 edges, 6183 markings/sec, 885 secs
lola: sara is running 890 secs || 6541403 markings, 15881480 edges, 6411 markings/sec, 890 secs
lola: sara is running 895 secs || 6570535 markings, 15979031 edges, 5826 markings/sec, 895 secs
lola: sara is running 900 secs || 6607677 markings, 16084043 edges, 7428 markings/sec, 900 secs
lola: sara is running 905 secs || 6638176 markings, 16182511 edges, 6100 markings/sec, 905 secs
lola: sara is running 910 secs || 6669670 markings, 16277970 edges, 6299 markings/sec, 910 secs
lola: sara is running 915 secs || 6698321 markings, 16374209 edges, 5730 markings/sec, 915 secs
lola: sara is running 920 secs || 6735184 markings, 16477777 edges, 7373 markings/sec, 920 secs
lola: sara is running 925 secs || 6763708 markings, 16573335 edges, 5705 markings/sec, 925 secs
lola: sara is running 930 secs || 6794482 markings, 16672092 edges, 6155 markings/sec, 930 secs
lola: sara is running 935 secs || 6832628 markings, 16780327 edges, 7629 markings/sec, 935 secs
lola: sara is running 940 secs || 6863306 markings, 16883262 edges, 6136 markings/sec, 940 secs
lola: sara is running 945 secs || 6897539 markings, 16986891 edges, 6847 markings/sec, 945 secs
lola: sara is running 950 secs || 6928412 markings, 17084902 edges, 6175 markings/sec, 950 secs
lola: sara is running 955 secs || 6965886 markings, 17194107 edges, 7495 markings/sec, 955 secs
lola: sara is running 960 secs || 6996233 markings, 17297045 edges, 6069 markings/sec, 960 secs
lola: sara is running 965 secs || 7028448 markings, 17381135 edges, 6443 markings/sec, 965 secs
lola: sara is running 970 secs || 7057604 markings, 17453424 edges, 5831 markings/sec, 970 secs
lola: sara is running 975 secs || 7083827 markings, 17530784 edges, 5245 markings/sec, 975 secs
lola: sara is running 980 secs || 7111724 markings, 17620375 edges, 5579 markings/sec, 980 secs
lola: sara is running 985 secs || 7141208 markings, 17717954 edges, 5897 markings/sec, 985 secs
lola: sara is running 990 secs || 7177321 markings, 17808639 edges, 7223 markings/sec, 990 secs
lola: sara is running 995 secs || 7233034 markings, 17910644 edges, 11143 markings/sec, 995 secs
lola: sara is running 1000 secs || 7289335 markings, 18020309 edges, 11260 markings/sec, 1000 secs
lola: sara is running 1005 secs || 7349897 markings, 18120813 edges, 12112 markings/sec, 1005 secs
lola: sara is running 1010 secs || 7401225 markings, 18217284 edges, 10266 markings/sec, 1010 secs
lola: sara is running 1015 secs || 7452839 markings, 18330369 edges, 10323 markings/sec, 1015 secs
lola: sara is running 1020 secs || 7491480 markings, 18424575 edges, 7728 markings/sec, 1020 secs
lola: sara is running 1025 secs || 7526858 markings, 18510389 edges, 7076 markings/sec, 1025 secs
lola: sara is running 1030 secs || 7564116 markings, 18599473 edges, 7452 markings/sec, 1030 secs
lola: sara is running 1035 secs || 7610646 markings, 18695029 edges, 9306 markings/sec, 1035 secs
lola: sara is running 1040 secs || 7659460 markings, 18808401 edges, 9763 markings/sec, 1040 secs
lola: sara is running 1045 secs || 7695488 markings, 18890509 edges, 7206 markings/sec, 1045 secs
lola: sara is running 1050 secs || 7734128 markings, 18972198 edges, 7728 markings/sec, 1050 secs
lola: sara is running 1055 secs || 7769997 markings, 19056842 edges, 7174 markings/sec, 1055 secs
lola: sara is running 1060 secs || 7806083 markings, 19146341 edges, 7217 markings/sec, 1060 secs
lola: sara is running 1065 secs || 7839227 markings, 19232314 edges, 6629 markings/sec, 1065 secs
lola: sara is running 1070 secs || 7879057 markings, 19314808 edges, 7966 markings/sec, 1070 secs
lola: sara is running 1075 secs || 7916367 markings, 19396082 edges, 7462 markings/sec, 1075 secs
lola: sara is running 1080 secs || 7943671 markings, 19463807 edges, 5461 markings/sec, 1080 secs
lola: sara is running 1085 secs || 7975694 markings, 19543759 edges, 6405 markings/sec, 1085 secs
lola: sara is running 1090 secs || 8014715 markings, 19625780 edges, 7804 markings/sec, 1090 secs
lola: sara is running 1095 secs || 8050919 markings, 19706346 edges, 7241 markings/sec, 1095 secs
lola: sara is running 1100 secs || 8090593 markings, 19788234 edges, 7935 markings/sec, 1100 secs
lola: sara is running 1105 secs || 8129450 markings, 19871717 edges, 7771 markings/sec, 1105 secs
lola: sara is running 1110 secs || 8172697 markings, 19955927 edges, 8649 markings/sec, 1110 secs
lola: sara is running 1115 secs || 8208743 markings, 20037792 edges, 7209 markings/sec, 1115 secs
lola: sara is running 1120 secs || 8245314 markings, 20131228 edges, 7314 markings/sec, 1120 secs
lola: sara is running 1125 secs || 8281640 markings, 20212572 edges, 7265 markings/sec, 1125 secs
lola: sara is running 1130 secs || 8312005 markings, 20292651 edges, 6073 markings/sec, 1130 secs
lola: sara is running 1135 secs || 8346505 markings, 20373828 edges, 6900 markings/sec, 1135 secs
lola: sara is running 1140 secs || 8397084 markings, 20473166 edges, 10116 markings/sec, 1140 secs
lola: sara is running 1145 secs || 8437742 markings, 20559810 edges, 8132 markings/sec, 1145 secs
lola: sara is running 1150 secs || 8468126 markings, 20638246 edges, 6077 markings/sec, 1150 secs
lola: sara is running 1155 secs || 8506915 markings, 20722531 edges, 7758 markings/sec, 1155 secs
lola: sara is running 1160 secs || 8539369 markings, 20802387 edges, 6491 markings/sec, 1160 secs
lola: sara is running 1165 secs || 8569506 markings, 20876783 edges, 6027 markings/sec, 1165 secs
lola: sara is running 1170 secs || 8606217 markings, 20960730 edges, 7342 markings/sec, 1170 secs
lola: sara is running 1175 secs || 8641749 markings, 21046092 edges, 7106 markings/sec, 1175 secs
lola: sara is running 1180 secs || 8672055 markings, 21117761 edges, 6061 markings/sec, 1180 secs
lola: sara is running 1185 secs || 8710248 markings, 21197704 edges, 7639 markings/sec, 1185 secs
lola: sara is running 1190 secs || 8742052 markings, 21277811 edges, 6361 markings/sec, 1190 secs
lola: sara is running 1195 secs || 8786295 markings, 21374697 edges, 8849 markings/sec, 1195 secs
lola: sara is running 1200 secs || 8829120 markings, 21466226 edges, 8565 markings/sec, 1200 secs
lola: sara is running 1205 secs || 8864863 markings, 21549777 edges, 7149 markings/sec, 1205 secs
lola: sara is running 1210 secs || 8894917 markings, 21626496 edges, 6011 markings/sec, 1210 secs
lola: sara is running 1215 secs || 8926242 markings, 21705321 edges, 6265 markings/sec, 1215 secs
lola: sara is running 1220 secs || 8959358 markings, 21785778 edges, 6623 markings/sec, 1220 secs
lola: sara is running 1225 secs || 9003329 markings, 21873765 edges, 8794 markings/sec, 1225 secs
lola: sara is running 1230 secs || 9049096 markings, 21948740 edges, 9153 markings/sec, 1230 secs
lola: sara is running 1235 secs || 9089069 markings, 22040490 edges, 7995 markings/sec, 1235 secs
lola: sara is running 1240 secs || 9117030 markings, 22103529 edges, 5592 markings/sec, 1240 secs
lola: sara is running 1245 secs || 9154062 markings, 22178859 edges, 7406 markings/sec, 1245 secs
lola: sara is running 1250 secs || 9184027 markings, 22254418 edges, 5993 markings/sec, 1250 secs
lola: sara is running 1255 secs || 9220809 markings, 22336558 edges, 7356 markings/sec, 1255 secs
lola: sara is running 1260 secs || 9253985 markings, 22417838 edges, 6635 markings/sec, 1260 secs
lola: sara is running 1265 secs || 9294985 markings, 22505600 edges, 8200 markings/sec, 1265 secs
lola: sara is running 1270 secs || 9342284 markings, 22615086 edges, 9460 markings/sec, 1270 secs
lola: sara is running 1275 secs || 9384564 markings, 22719440 edges, 8456 markings/sec, 1275 secs
lola: sara is running 1280 secs || 9425964 markings, 22814430 edges, 8280 markings/sec, 1280 secs
lola: sara is running 1285 secs || 9464154 markings, 22906702 edges, 7638 markings/sec, 1285 secs
lola: sara is running 1290 secs || 9492130 markings, 22987175 edges, 5595 markings/sec, 1290 secs
lola: sara is running 1295 secs || 9519490 markings, 23075735 edges, 5472 markings/sec, 1295 secs
lola: sara is running 1300 secs || 9555858 markings, 23174107 edges, 7274 markings/sec, 1300 secs
lola: sara is running 1305 secs || 9596772 markings, 23244079 edges, 8183 markings/sec, 1305 secs
lola: sara is running 1310 secs || 9630620 markings, 23324541 edges, 6770 markings/sec, 1310 secs
lola: sara is running 1315 secs || 9666807 markings, 23414606 edges, 7237 markings/sec, 1315 secs
lola: sara is running 1320 secs || 9700121 markings, 23495492 edges, 6663 markings/sec, 1320 secs
lola: sara is running 1325 secs || 9733420 markings, 23577306 edges, 6660 markings/sec, 1325 secs
lola: sara is running 1330 secs || 9768344 markings, 23661531 edges, 6985 markings/sec, 1330 secs
lola: sara is running 1335 secs || 9795484 markings, 23731742 edges, 5428 markings/sec, 1335 secs
lola: sara is running 1340 secs || 9827688 markings, 23804261 edges, 6441 markings/sec, 1340 secs
lola: sara is running 1345 secs || 9860968 markings, 23890435 edges, 6656 markings/sec, 1345 secs
lola: sara is running 1350 secs || 9890386 markings, 23961815 edges, 5884 markings/sec, 1350 secs
lola: sara is running 1355 secs || 9918215 markings, 24029997 edges, 5566 markings/sec, 1355 secs
lola: sara is running 1360 secs || 9946925 markings, 24098935 edges, 5742 markings/sec, 1360 secs
lola: sara is running 1365 secs || 9975135 markings, 24166810 edges, 5642 markings/sec, 1365 secs
lola: sara is running 1370 secs || 10002999 markings, 24234907 edges, 5573 markings/sec, 1370 secs
lola: sara is running 1375 secs || 10031659 markings, 24303920 edges, 5732 markings/sec, 1375 secs
lola: sara is running 1380 secs || 10064730 markings, 24383603 edges, 6614 markings/sec, 1380 secs
lola: sara is running 1385 secs || 10101687 markings, 24467868 edges, 7391 markings/sec, 1385 secs
lola: sara is running 1390 secs || 10130699 markings, 24541697 edges, 5802 markings/sec, 1390 secs
lola: sara is running 1395 secs || 10158771 markings, 24609535 edges, 5614 markings/sec, 1395 secs
lola: sara is running 1400 secs || 10187557 markings, 24678683 edges, 5757 markings/sec, 1400 secs
lola: sara is running 1405 secs || 10224909 markings, 24767856 edges, 7470 markings/sec, 1405 secs
lola: sara is running 1410 secs || 10260156 markings, 24853227 edges, 7049 markings/sec, 1410 secs
lola: sara is running 1415 secs || 10287312 markings, 24921419 edges, 5431 markings/sec, 1415 secs
lola: sara is running 1420 secs || 10312990 markings, 25003247 edges, 5136 markings/sec, 1420 secs
lola: sara is running 1425 secs || 10344916 markings, 25090579 edges, 6385 markings/sec, 1425 secs
lola: sara is running 1430 secs || 10398902 markings, 25200230 edges, 10797 markings/sec, 1430 secs
lola: sara is running 1435 secs || 10445801 markings, 25280807 edges, 9380 markings/sec, 1435 secs
lola: sara is running 1440 secs || 10488586 markings, 25374938 edges, 8557 markings/sec, 1440 secs
lola: sara is running 1445 secs || 10532595 markings, 25470361 edges, 8802 markings/sec, 1445 secs
lola: sara is running 1450 secs || 10575170 markings, 25568096 edges, 8515 markings/sec, 1450 secs
lola: sara is running 1455 secs || 10605977 markings, 25660363 edges, 6161 markings/sec, 1455 secs
lola: sara is running 1460 secs || 10642484 markings, 25753019 edges, 7301 markings/sec, 1460 secs
lola: sara is running 1465 secs || 10671462 markings, 25825378 edges, 5796 markings/sec, 1465 secs
lola: sara is running 1470 secs || 10705079 markings, 25904533 edges, 6723 markings/sec, 1470 secs
lola: sara is running 1475 secs || 10734061 markings, 25979900 edges, 5796 markings/sec, 1475 secs
lola: sara is running 1480 secs || 10765539 markings, 26056816 edges, 6296 markings/sec, 1480 secs
lola: sara is running 1485 secs || 10821828 markings, 26128693 edges, 11258 markings/sec, 1485 secs
lola: sara is running 1490 secs || 10861028 markings, 26192737 edges, 7840 markings/sec, 1490 secs
lola: sara is running 1495 secs || 10896503 markings, 26272182 edges, 7095 markings/sec, 1495 secs
lola: sara is running 1500 secs || 10924790 markings, 26346986 edges, 5657 markings/sec, 1500 secs
lola: sara is running 1505 secs || 10972513 markings, 26448224 edges, 9545 markings/sec, 1505 secs
lola: sara is running 1510 secs || 11009336 markings, 26533283 edges, 7365 markings/sec, 1510 secs
lola: sara is running 1515 secs || 11042929 markings, 26617821 edges, 6719 markings/sec, 1515 secs
lola: sara is running 1520 secs || 11074973 markings, 26694417 edges, 6409 markings/sec, 1520 secs
lola: sara is running 1525 secs || 11103614 markings, 26757558 edges, 5728 markings/sec, 1525 secs
lola: sara is running 1530 secs || 11127855 markings, 26822760 edges, 4848 markings/sec, 1530 secs
lola: sara is running 1535 secs || 11155008 markings, 26895889 edges, 5431 markings/sec, 1535 secs
lola: sara is running 1540 secs || 11187871 markings, 26970587 edges, 6573 markings/sec, 1540 secs
lola: sara is running 1545 secs || 11244757 markings, 27075602 edges, 11377 markings/sec, 1545 secs
lola: sara is running 1550 secs || 11275029 markings, 27157675 edges, 6054 markings/sec, 1550 secs
lola: sara is running 1555 secs || 11305834 markings, 27238426 edges, 6161 markings/sec, 1555 secs
lola: sara is running 1560 secs || 11341616 markings, 27319485 edges, 7156 markings/sec, 1560 secs
lola: sara is running 1565 secs || 11375691 markings, 27393821 edges, 6815 markings/sec, 1565 secs
lola: sara is running 1570 secs || 11414662 markings, 27480163 edges, 7794 markings/sec, 1570 secs
lola: sara is running 1575 secs || 11444108 markings, 27556808 edges, 5889 markings/sec, 1575 secs
lola: sara is running 1580 secs || 11479054 markings, 27640355 edges, 6989 markings/sec, 1580 secs
lola: sara is running 1585 secs || 11509443 markings, 27719589 edges, 6078 markings/sec, 1585 secs
lola: sara is running 1590 secs || 11540608 markings, 27797934 edges, 6233 markings/sec, 1590 secs
lola: sara is running 1595 secs || 11570798 markings, 27872291 edges, 6038 markings/sec, 1595 secs
lola: sara is running 1600 secs || 11595659 markings, 27942388 edges, 4972 markings/sec, 1600 secs
lola: sara is running 1605 secs || 11635777 markings, 28020928 edges, 8024 markings/sec, 1605 secs
lola: sara is running 1610 secs || 11669849 markings, 28106866 edges, 6814 markings/sec, 1610 secs
lola: sara is running 1615 secs || 11704125 markings, 28189678 edges, 6855 markings/sec, 1615 secs
lola: sara is running 1620 secs || 11733500 markings, 28258172 edges, 5875 markings/sec, 1620 secs
lola: sara is running 1625 secs || 11766787 markings, 28335121 edges, 6657 markings/sec, 1625 secs
lola: sara is running 1630 secs || 11793003 markings, 28400174 edges, 5243 markings/sec, 1630 secs
lola: sara is running 1635 secs || 11822107 markings, 28474934 edges, 5821 markings/sec, 1635 secs
lola: sara is running 1640 secs || 11852690 markings, 28553298 edges, 6117 markings/sec, 1640 secs
lola: sara is running 1645 secs || 11886355 markings, 28630334 edges, 6733 markings/sec, 1645 secs
lola: sara is running 1650 secs || 11920072 markings, 28711245 edges, 6743 markings/sec, 1650 secs
lola: sara is running 1655 secs || 11946206 markings, 28779588 edges, 5227 markings/sec, 1655 secs
lola: sara is running 1660 secs || 11972636 markings, 28845531 edges, 5286 markings/sec, 1660 secs
lola: sara is running 1665 secs || 12002211 markings, 28918791 edges, 5915 markings/sec, 1665 secs
lola: sara is running 1670 secs || 12038680 markings, 28993228 edges, 7294 markings/sec, 1670 secs
lola: sara is running 1675 secs || 12098738 markings, 29092459 edges, 12012 markings/sec, 1675 secs
lola: sara is running 1680 secs || 12159377 markings, 29184154 edges, 12128 markings/sec, 1680 secs
lola: sara is running 1685 secs || 12193181 markings, 29268847 edges, 6761 markings/sec, 1685 secs
lola: sara is running 1690 secs || 12221369 markings, 29339925 edges, 5638 markings/sec, 1690 secs
lola: sara is running 1695 secs || 12263166 markings, 29421909 edges, 8359 markings/sec, 1695 secs
lola: sara is running 1700 secs || 12293654 markings, 29505060 edges, 6098 markings/sec, 1700 secs
lola: sara is running 1705 secs || 12321997 markings, 29584141 edges, 5669 markings/sec, 1705 secs
lola: sara is running 1710 secs || 12351576 markings, 29658320 edges, 5916 markings/sec, 1710 secs
lola: sara is running 1715 secs || 12388427 markings, 29733911 edges, 7370 markings/sec, 1715 secs
lola: sara is running 1720 secs || 12424087 markings, 29814967 edges, 7132 markings/sec, 1720 secs
lola: sara is running 1725 secs || 12454226 markings, 29894304 edges, 6028 markings/sec, 1725 secs
lola: sara is running 1730 secs || 12495714 markings, 29980162 edges, 8298 markings/sec, 1730 secs
lola: sara is running 1735 secs || 12533364 markings, 30044387 edges, 7530 markings/sec, 1735 secs
lola: sara is running 1740 secs || 12567007 markings, 30132339 edges, 6729 markings/sec, 1740 secs
lola: sara is running 1745 secs || 12619180 markings, 30220853 edges, 10435 markings/sec, 1745 secs
lola: sara is running 1750 secs || 12649929 markings, 30305866 edges, 6150 markings/sec, 1750 secs
lola: sara is running 1755 secs || 12680114 markings, 30379674 edges, 6037 markings/sec, 1755 secs
lola: sara is running 1760 secs || 12717560 markings, 30458310 edges, 7489 markings/sec, 1760 secs
lola: sara is running 1765 secs || 12752636 markings, 30536884 edges, 7015 markings/sec, 1765 secs
lola: sara is running 1770 secs || 12781990 markings, 30618368 edges, 5871 markings/sec, 1770 secs
lola: sara is running 1775 secs || 12808472 markings, 30695387 edges, 5296 markings/sec, 1775 secs
lola: sara is running 1780 secs || 12839883 markings, 30773305 edges, 6282 markings/sec, 1780 secs
lola: sara is running 1785 secs || 12865276 markings, 30851773 edges, 5079 markings/sec, 1785 secs
lola: sara is running 1790 secs || 12901646 markings, 30933215 edges, 7274 markings/sec, 1790 secs
lola: sara is running 1795 secs || 12934659 markings, 31010672 edges, 6603 markings/sec, 1795 secs
lola: sara is running 1800 secs || 12963577 markings, 31079263 edges, 5784 markings/sec, 1800 secs
lola: sara is running 1805 secs || 12999428 markings, 31156113 edges, 7170 markings/sec, 1805 secs
lola: sara is running 1810 secs || 13033678 markings, 31232249 edges, 6850 markings/sec, 1810 secs
lola: sara is running 1815 secs || 13071362 markings, 31305346 edges, 7537 markings/sec, 1815 secs
lola: sara is running 1820 secs || 13106553 markings, 31380296 edges, 7038 markings/sec, 1820 secs
lola: sara is running 1825 secs || 13140476 markings, 31464797 edges, 6785 markings/sec, 1825 secs
lola: sara is running 1830 secs || 13168797 markings, 31548953 edges, 5664 markings/sec, 1830 secs
lola: sara is running 1835 secs || 13201639 markings, 31625533 edges, 6568 markings/sec, 1835 secs
lola: sara is running 1840 secs || 13229214 markings, 31694092 edges, 5515 markings/sec, 1840 secs
lola: sara is running 1845 secs || 13259074 markings, 31773007 edges, 5972 markings/sec, 1845 secs
lola: sara is running 1850 secs || 13291743 markings, 31846965 edges, 6534 markings/sec, 1850 secs
lola: sara is running 1855 secs || 13331741 markings, 31916770 edges, 8000 markings/sec, 1855 secs
lola: sara is running 1860 secs || 13365760 markings, 31986171 edges, 6804 markings/sec, 1860 secs
lola: sara is running 1865 secs || 13398640 markings, 32057961 edges, 6576 markings/sec, 1865 secs
lola: sara is running 1870 secs || 13449846 markings, 32138951 edges, 10241 markings/sec, 1870 secs
lola: sara is running 1875 secs || 13483869 markings, 32223028 edges, 6805 markings/sec, 1875 secs
lola: sara is running 1880 secs || 13523007 markings, 32300216 edges, 7828 markings/sec, 1880 secs
lola: sara is running 1885 secs || 13553725 markings, 32381655 edges, 6144 markings/sec, 1885 secs
lola: sara is running 1890 secs || 13581814 markings, 32462545 edges, 5618 markings/sec, 1890 secs
lola: sara is running 1895 secs || 13614023 markings, 32544204 edges, 6442 markings/sec, 1895 secs
lola: sara is running 1900 secs || 13653526 markings, 32621883 edges, 7901 markings/sec, 1900 secs
lola: sara is running 1905 secs || 13688885 markings, 32700673 edges, 7072 markings/sec, 1905 secs
lola: sara is running 1910 secs || 13726655 markings, 32789030 edges, 7554 markings/sec, 1910 secs
lola: sara is running 1915 secs || 13768556 markings, 32878328 edges, 8380 markings/sec, 1915 secs
lola: sara is running 1920 secs || 13802101 markings, 32957946 edges, 6709 markings/sec, 1920 secs
lola: sara is running 1925 secs || 13833411 markings, 33047743 edges, 6262 markings/sec, 1925 secs
lola: sara is running 1930 secs || 13861109 markings, 33143709 edges, 5540 markings/sec, 1930 secs
lola: sara is running 1935 secs || 13902919 markings, 33237687 edges, 8362 markings/sec, 1935 secs
lola: sara is running 1940 secs || 13940484 markings, 33317342 edges, 7513 markings/sec, 1940 secs
lola: sara is running 1945 secs || 13978959 markings, 33392396 edges, 7695 markings/sec, 1945 secs
lola: sara is running 1950 secs || 14016530 markings, 33469726 edges, 7514 markings/sec, 1950 secs
lola: sara is running 1955 secs || 14059741 markings, 33544397 edges, 8642 markings/sec, 1955 secs
lola: sara is running 1960 secs || 14094110 markings, 33620906 edges, 6874 markings/sec, 1960 secs
lola: sara is running 1965 secs || 14134767 markings, 33702483 edges, 8131 markings/sec, 1965 secs
lola: sara is running 1970 secs || 14169230 markings, 33781691 edges, 6893 markings/sec, 1970 secs
lola: sara is running 1975 secs || 14212370 markings, 33872319 edges, 8628 markings/sec, 1975 secs
lola: sara is running 1980 secs || 14252932 markings, 33951074 edges, 8112 markings/sec, 1980 secs
lola: sara is running 1985 secs || 14314254 markings, 34043815 edges, 12264 markings/sec, 1985 secs
lola: sara is running 1990 secs || 14368831 markings, 34132679 edges, 10915 markings/sec, 1990 secs
lola: sara is running 1995 secs || 14423719 markings, 34216684 edges, 10978 markings/sec, 1995 secs
lola: sara is running 2000 secs || 14484334 markings, 34297500 edges, 12123 markings/sec, 2000 secs
lola: sara is running 2005 secs || 14548032 markings, 34379287 edges, 12740 markings/sec, 2005 secs
lola: sara is running 2010 secs || 14605950 markings, 34459516 edges, 11584 markings/sec, 2010 secs
lola: sara is running 2015 secs || 14650135 markings, 34538986 edges, 8837 markings/sec, 2015 secs
lola: sara is running 2020 secs || 14709147 markings, 34629842 edges, 11802 markings/sec, 2020 secs
lola: sara is running 2025 secs || 14764709 markings, 34724485 edges, 11112 markings/sec, 2025 secs
lola: sara is running 2030 secs || 14824379 markings, 34808326 edges, 11934 markings/sec, 2030 secs
lola: sara is running 2035 secs || 14881459 markings, 34905684 edges, 11416 markings/sec, 2035 secs
lola: sara is running 2040 secs || 14942053 markings, 34989076 edges, 12119 markings/sec, 2040 secs
lola: sara is running 2045 secs || 14997471 markings, 35082279 edges, 11084 markings/sec, 2045 secs
lola: sara is running 2050 secs || 15043517 markings, 35176070 edges, 9209 markings/sec, 2050 secs
lola: sara is running 2055 secs || 15090169 markings, 35276011 edges, 9330 markings/sec, 2055 secs
lola: sara is running 2060 secs || 15143549 markings, 35372010 edges, 10676 markings/sec, 2060 secs
lola: sara is running 2065 secs || 15182478 markings, 35456681 edges, 7786 markings/sec, 2065 secs
lola: sara is running 2070 secs || 15224486 markings, 35555058 edges, 8402 markings/sec, 2070 secs
lola: sara is running 2075 secs || 15283866 markings, 35651871 edges, 11876 markings/sec, 2075 secs
lola: sara is running 2080 secs || 15333089 markings, 35739055 edges, 9845 markings/sec, 2080 secs
lola: sara is running 2085 secs || 15364451 markings, 35812803 edges, 6272 markings/sec, 2085 secs
lola: sara is running 2090 secs || 15416250 markings, 35891361 edges, 10360 markings/sec, 2090 secs
lola: sara is running 2095 secs || 15457672 markings, 35969818 edges, 8284 markings/sec, 2095 secs
lola: sara is running 2100 secs || 15517762 markings, 36062448 edges, 12018 markings/sec, 2100 secs
lola: sara is running 2105 secs || 15575983 markings, 36159020 edges, 11644 markings/sec, 2105 secs
lola: sara is running 2110 secs || 15627825 markings, 36241155 edges, 10368 markings/sec, 2110 secs
lola: sara is running 2115 secs || 15684099 markings, 36323190 edges, 11255 markings/sec, 2115 secs
lola: sara is running 2120 secs || 15748958 markings, 36408459 edges, 12972 markings/sec, 2120 secs
lola: sara is running 2125 secs || 15802708 markings, 36500400 edges, 10750 markings/sec, 2125 secs
lola: sara is running 2130 secs || 15859988 markings, 36598805 edges, 11456 markings/sec, 2130 secs
lola: sara is running 2135 secs || 15910439 markings, 36681763 edges, 10090 markings/sec, 2135 secs
lola: sara is running 2140 secs || 15976262 markings, 36781274 edges, 13165 markings/sec, 2140 secs
lola: sara is running 2145 secs || 16033082 markings, 36875417 edges, 11364 markings/sec, 2145 secs
lola: sara is running 2150 secs || 16066678 markings, 36953263 edges, 6719 markings/sec, 2150 secs
lola: sara is running 2155 secs || 16100253 markings, 37030361 edges, 6715 markings/sec, 2155 secs
lola: sara is running 2160 secs || 16133643 markings, 37107207 edges, 6678 markings/sec, 2160 secs
lola: sara is running 2165 secs || 16168629 markings, 37185251 edges, 6997 markings/sec, 2165 secs
lola: sara is running 2170 secs || 16235471 markings, 37281441 edges, 13368 markings/sec, 2170 secs
lola: sara is running 2175 secs || 16301656 markings, 37380003 edges, 13237 markings/sec, 2175 secs
lola: sara is running 2180 secs || 16365999 markings, 37477839 edges, 12869 markings/sec, 2180 secs
lola: sara is running 2185 secs || 16405375 markings, 37558322 edges, 7875 markings/sec, 2185 secs
lola: sara is running 2190 secs || 16437310 markings, 37633296 edges, 6387 markings/sec, 2190 secs
lola: sara is running 2195 secs || 16505241 markings, 37732836 edges, 13586 markings/sec, 2195 secs
lola: sara is running 2200 secs || 16546088 markings, 37815504 edges, 8169 markings/sec, 2200 secs
lola: sara is running 2205 secs || 16579345 markings, 37891705 edges, 6651 markings/sec, 2205 secs
lola: sara is running 2210 secs || 16612085 markings, 37967914 edges, 6548 markings/sec, 2210 secs
lola: sara is running 2215 secs || 16646056 markings, 38044149 edges, 6794 markings/sec, 2215 secs
lola: sara is running 2220 secs || 16688408 markings, 38125259 edges, 8470 markings/sec, 2220 secs
lola: sara is running 2225 secs || 16763100 markings, 38226262 edges, 14938 markings/sec, 2225 secs
lola: sara is running 2230 secs || 16827970 markings, 38323256 edges, 12974 markings/sec, 2230 secs
lola: sara is running 2235 secs || 16882785 markings, 38414006 edges, 10963 markings/sec, 2235 secs
lola: sara is running 2240 secs || 16940527 markings, 38507783 edges, 11548 markings/sec, 2240 secs
lola: sara is running 2245 secs || 17001539 markings, 38597784 edges, 12202 markings/sec, 2245 secs
lola: sara is running 2250 secs || 17060309 markings, 38693469 edges, 11754 markings/sec, 2250 secs
lola: sara is running 2255 secs || 17117408 markings, 38786425 edges, 11420 markings/sec, 2255 secs
lola: sara is running 2260 secs || 17182212 markings, 38883798 edges, 12961 markings/sec, 2260 secs
lola: sara is running 2265 secs || 17243145 markings, 38981626 edges, 12187 markings/sec, 2265 secs
lola: sara is running 2270 secs || 17277513 markings, 39060985 edges, 6874 markings/sec, 2270 secs
lola: sara is running 2275 secs || 17311586 markings, 39139184 edges, 6815 markings/sec, 2275 secs
lola: sara is running 2280 secs || 17345542 markings, 39217203 edges, 6791 markings/sec, 2280 secs
lola: sara is running 2285 secs || 17381056 markings, 39296234 edges, 7103 markings/sec, 2285 secs
lola: sara is running 2290 secs || 17450417 markings, 39395645 edges, 13872 markings/sec, 2290 secs
lola: sara is running 2295 secs || 17518454 markings, 39496871 edges, 13607 markings/sec, 2295 secs
lola: sara is running 2300 secs || 17582095 markings, 39594992 edges, 12728 markings/sec, 2300 secs
lola: sara is running 2305 secs || 17624732 markings, 39678547 edges, 8527 markings/sec, 2305 secs
lola: sara is running 2310 secs || 17657249 markings, 39754951 edges, 6503 markings/sec, 2310 secs
lola: sara is running 2315 secs || 17717073 markings, 39848927 edges, 11965 markings/sec, 2315 secs
lola: sara is running 2320 secs || 17765037 markings, 39937542 edges, 9593 markings/sec, 2320 secs
lola: sara is running 2325 secs || 17798664 markings, 40014761 edges, 6725 markings/sec, 2325 secs
lola: sara is running 2330 secs || 17832036 markings, 40091597 edges, 6674 markings/sec, 2330 secs
lola: sara is running 2335 secs || 17867041 markings, 40168491 edges, 7001 markings/sec, 2335 secs
lola: sara is running 2340 secs || 17914391 markings, 40253408 edges, 9470 markings/sec, 2340 secs
lola: sara is running 2345 secs || 17989724 markings, 40357096 edges, 15067 markings/sec, 2345 secs
lola: sara is running 2350 secs || 18048298 markings, 40450994 edges, 11715 markings/sec, 2350 secs
lola: sara is running 2355 secs || 18111119 markings, 40546405 edges, 12564 markings/sec, 2355 secs
lola: sara is running 2360 secs || 18167874 markings, 40639401 edges, 11351 markings/sec, 2360 secs
lola: sara is running 2365 secs || 18228935 markings, 40737286 edges, 12212 markings/sec, 2365 secs
lola: sara is running 2370 secs || 18282233 markings, 40828172 edges, 10660 markings/sec, 2370 secs
lola: sara is running 2375 secs || 18313747 markings, 40905307 edges, 6303 markings/sec, 2375 secs
lola: sara is running 2380 secs || 18351766 markings, 40983359 edges, 7604 markings/sec, 2380 secs
lola: sara is running 2385 secs || 18399387 markings, 41088722 edges, 9524 markings/sec, 2385 secs
lola: sara is running 2390 secs || 18431707 markings, 41166741 edges, 6464 markings/sec, 2390 secs
lola: sara is running 2395 secs || 18465023 markings, 41240880 edges, 6663 markings/sec, 2395 secs
lola: sara is running 2400 secs || 18496449 markings, 41307171 edges, 6285 markings/sec, 2400 secs
lola: sara is running 2405 secs || 18528889 markings, 41371001 edges, 6488 markings/sec, 2405 secs
lola: sara is running 2410 secs || 18562467 markings, 41447452 edges, 6716 markings/sec, 2410 secs
lola: sara is running 2415 secs || 18595386 markings, 41513943 edges, 6584 markings/sec, 2415 secs
lola: sara is running 2420 secs || 18624438 markings, 41585238 edges, 5810 markings/sec, 2420 secs
lola: sara is running 2425 secs || 18652538 markings, 41667863 edges, 5620 markings/sec, 2425 secs
lola: sara is running 2430 secs || 18688291 markings, 41741909 edges, 7151 markings/sec, 2430 secs
lola: sara is running 2435 secs || 18723167 markings, 41818453 edges, 6975 markings/sec, 2435 secs
lola: sara is running 2440 secs || 18757824 markings, 41896254 edges, 6931 markings/sec, 2440 secs
lola: sara is running 2445 secs || 18791526 markings, 41973475 edges, 6740 markings/sec, 2445 secs
lola: sara is running 2450 secs || 18825794 markings, 42055701 edges, 6854 markings/sec, 2450 secs
lola: sara is running 2455 secs || 18861288 markings, 42134521 edges, 7099 markings/sec, 2455 secs
lola: sara is running 2460 secs || 18896566 markings, 42211626 edges, 7056 markings/sec, 2460 secs
lola: sara is running 2465 secs || 18930618 markings, 42289147 edges, 6810 markings/sec, 2465 secs
lola: sara is running 2470 secs || 18966584 markings, 42367771 edges, 7193 markings/sec, 2470 secs
lola: sara is running 2475 secs || 18999043 markings, 42449156 edges, 6492 markings/sec, 2475 secs
lola: sara is running 2480 secs || 19034815 markings, 42528683 edges, 7154 markings/sec, 2480 secs
lola: sara is running 2485 secs || 19069810 markings, 42606031 edges, 6999 markings/sec, 2485 secs
lola: sara is running 2490 secs || 19116459 markings, 42690149 edges, 9330 markings/sec, 2490 secs
lola: sara is running 2495 secs || 19160228 markings, 42791272 edges, 8754 markings/sec, 2495 secs
lola: sara is running 2500 secs || 19198730 markings, 42886296 edges, 7700 markings/sec, 2500 secs
lola: sara is running 2505 secs || 19236393 markings, 42969781 edges, 7533 markings/sec, 2505 secs
lola: sara is running 2510 secs || 19271136 markings, 43057847 edges, 6949 markings/sec, 2510 secs
lola: sara is running 2515 secs || 19298530 markings, 43136994 edges, 5479 markings/sec, 2515 secs
lola: sara is running 2520 secs || 19324919 markings, 43223072 edges, 5278 markings/sec, 2520 secs
lola: sara is running 2525 secs || 19356727 markings, 43310824 edges, 6362 markings/sec, 2525 secs
lola: sara is running 2530 secs || 19388463 markings, 43376448 edges, 6347 markings/sec, 2530 secs
lola: sara is running 2535 secs || 19423367 markings, 43439123 edges, 6981 markings/sec, 2535 secs
lola: sara is running 2540 secs || 19455868 markings, 43497844 edges, 6500 markings/sec, 2540 secs
lola: sara is running 2545 secs || 19493728 markings, 43581558 edges, 7572 markings/sec, 2545 secs
lola: sara is running 2550 secs || 19525487 markings, 43662034 edges, 6352 markings/sec, 2550 secs
lola: sara is running 2555 secs || 19554149 markings, 43732329 edges, 5732 markings/sec, 2555 secs
lola: sara is running 2560 secs || 19583553 markings, 43787553 edges, 5881 markings/sec, 2560 secs
lola: sara is running 2565 secs || 19614108 markings, 43842668 edges, 6111 markings/sec, 2565 secs
lola: sara is running 2570 secs || 19651051 markings, 43919539 edges, 7389 markings/sec, 2570 secs
lola: sara is running 2575 secs || 19682830 markings, 44000660 edges, 6356 markings/sec, 2575 secs
lola: sara is running 2580 secs || 19713376 markings, 44074820 edges, 6109 markings/sec, 2580 secs
lola: sara is running 2585 secs || 19747382 markings, 44143089 edges, 6801 markings/sec, 2585 secs
lola: sara is running 2590 secs || 19776245 markings, 44216184 edges, 5773 markings/sec, 2590 secs
lola: sara is running 2595 secs || 19808660 markings, 44297195 edges, 6483 markings/sec, 2595 secs
lola: sara is running 2600 secs || 19837971 markings, 44372506 edges, 5862 markings/sec, 2600 secs
lola: sara is running 2605 secs || 19862555 markings, 44442967 edges, 4917 markings/sec, 2605 secs
lola: sara is running 2610 secs || 19889802 markings, 44509704 edges, 5449 markings/sec, 2610 secs
lola: sara is running 2615 secs || 19919750 markings, 44581701 edges, 5990 markings/sec, 2615 secs
lola: sara is running 2620 secs || 19960626 markings, 44673704 edges, 8175 markings/sec, 2620 secs
lola: sara is running 2625 secs || 19990191 markings, 44754348 edges, 5913 markings/sec, 2625 secs
lola: sara is running 2630 secs || 20031458 markings, 44831632 edges, 8253 markings/sec, 2630 secs
lola: sara is running 2635 secs || 20080512 markings, 44937005 edges, 9811 markings/sec, 2635 secs
lola: sara is running 2640 secs || 20131184 markings, 45042603 edges, 10134 markings/sec, 2640 secs
lola: sara is running 2645 secs || 20163057 markings, 45103527 edges, 6375 markings/sec, 2645 secs
lola: sara is running 2650 secs || 20190258 markings, 45173618 edges, 5440 markings/sec, 2650 secs
lola: sara is running 2655 secs || 20220072 markings, 45253593 edges, 5963 markings/sec, 2655 secs
lola: sara is running 2660 secs || 20262524 markings, 45339511 edges, 8490 markings/sec, 2660 secs
lola: sara is running 2665 secs || 20302464 markings, 45414681 edges, 7988 markings/sec, 2665 secs
lola: sara is running 2670 secs || 20329707 markings, 45483980 edges, 5449 markings/sec, 2670 secs
lola: sara is running 2675 secs || 20354992 markings, 45557064 edges, 5057 markings/sec, 2675 secs
lola: sara is running 2680 secs || 20379983 markings, 45627824 edges, 4998 markings/sec, 2680 secs
lola: sara is running 2685 secs || 20406867 markings, 45696718 edges, 5377 markings/sec, 2685 secs
lola: sara is running 2690 secs || 20442712 markings, 45771301 edges, 7169 markings/sec, 2690 secs
lola: sara is running 2695 secs || 20469799 markings, 45841918 edges, 5417 markings/sec, 2695 secs
lola: sara is running 2700 secs || 20502597 markings, 45916536 edges, 6560 markings/sec, 2700 secs
lola: sara is running 2705 secs || 20546251 markings, 46003290 edges, 8731 markings/sec, 2705 secs
lola: sara is running 2710 secs || 20579518 markings, 46072811 edges, 6653 markings/sec, 2710 secs
lola: sara is running 2715 secs || 20623101 markings, 46160316 edges, 8717 markings/sec, 2715 secs
lola: sara is running 2720 secs || 20652197 markings, 46239340 edges, 5819 markings/sec, 2720 secs
lola: sara is running 2725 secs || 20686666 markings, 46322878 edges, 6894 markings/sec, 2725 secs
lola: sara is running 2730 secs || 20714805 markings, 46396743 edges, 5628 markings/sec, 2730 secs
lola: sara is running 2735 secs || 20745659 markings, 46471540 edges, 6171 markings/sec, 2735 secs
lola: sara is running 2740 secs || 20780012 markings, 46556701 edges, 6871 markings/sec, 2740 secs
lola: sara is running 2745 secs || 20810581 markings, 46636403 edges, 6114 markings/sec, 2745 secs
lola: sara is running 2750 secs || 20844410 markings, 46719847 edges, 6766 markings/sec, 2750 secs
lola: sara is running 2755 secs || 20873561 markings, 46808047 edges, 5830 markings/sec, 2755 secs
lola: sara is running 2760 secs || 20910132 markings, 46883686 edges, 7314 markings/sec, 2760 secs
lola: sara is running 2765 secs || 20938680 markings, 46941198 edges, 5710 markings/sec, 2765 secs
lola: sara is running 2770 secs || 20975431 markings, 47021815 edges, 7350 markings/sec, 2770 secs
lola: sara is running 2775 secs || 21001260 markings, 47095198 edges, 5166 markings/sec, 2775 secs
lola: sara is running 2780 secs || 21025286 markings, 47167497 edges, 4805 markings/sec, 2780 secs
lola: sara is running 2785 secs || 21050259 markings, 47241034 edges, 4995 markings/sec, 2785 secs
lola: sara is running 2790 secs || 21076603 markings, 47308210 edges, 5269 markings/sec, 2790 secs
lola: sara is running 2795 secs || 21102501 markings, 47378814 edges, 5180 markings/sec, 2795 secs
lola: sara is running 2800 secs || 21132791 markings, 47454216 edges, 6058 markings/sec, 2800 secs
lola: sara is running 2805 secs || 21159207 markings, 47502428 edges, 5283 markings/sec, 2805 secs
lola: sara is running 2810 secs || 21204882 markings, 47601025 edges, 9135 markings/sec, 2810 secs
lola: sara is running 2815 secs || 21233724 markings, 47677738 edges, 5768 markings/sec, 2815 secs
lola: sara is running 2820 secs || 21265207 markings, 47744805 edges, 6297 markings/sec, 2820 secs
lola: sara is running 2825 secs || 21295890 markings, 47822135 edges, 6137 markings/sec, 2825 secs
lola: sara is running 2830 secs || 21325387 markings, 47878961 edges, 5899 markings/sec, 2830 secs
lola: sara is running 2835 secs || 21356743 markings, 47959542 edges, 6271 markings/sec, 2835 secs
lola: sara is running 2840 secs || 21385616 markings, 48031246 edges, 5775 markings/sec, 2840 secs
lola: sara is running 2845 secs || 21417970 markings, 48102678 edges, 6471 markings/sec, 2845 secs
lola: sara is running 2850 secs || 21441194 markings, 48171268 edges, 4645 markings/sec, 2850 secs
lola: sara is running 2855 secs || 21473104 markings, 48251539 edges, 6382 markings/sec, 2855 secs
lola: sara is running 2860 secs || 21498330 markings, 48321775 edges, 5045 markings/sec, 2860 secs
lola: sara is running 2865 secs || 21528460 markings, 48394779 edges, 6026 markings/sec, 2865 secs
lola: sara is running 2870 secs || 21557653 markings, 48464427 edges, 5839 markings/sec, 2870 secs
lola: sara is running 2875 secs || 21588112 markings, 48534214 edges, 6092 markings/sec, 2875 secs
lola: sara is running 2880 secs || 21614942 markings, 48605328 edges, 5366 markings/sec, 2880 secs
lola: sara is running 2885 secs || 21642785 markings, 48675073 edges, 5569 markings/sec, 2885 secs
lola: sara is running 2890 secs || 21676827 markings, 48753503 edges, 6808 markings/sec, 2890 secs
lola: sara is running 2895 secs || 21712310 markings, 48836724 edges, 7097 markings/sec, 2895 secs
lola: sara is running 2900 secs || 21738526 markings, 48910490 edges, 5243 markings/sec, 2900 secs
lola: sara is running 2905 secs || 21765312 markings, 48980704 edges, 5357 markings/sec, 2905 secs
lola: sara is running 2910 secs || 21797768 markings, 49059574 edges, 6491 markings/sec, 2910 secs
lola: sara is running 2915 secs || 21826010 markings, 49130203 edges, 5648 markings/sec, 2915 secs
lola: sara is running 2920 secs || 21877683 markings, 49202377 edges, 10335 markings/sec, 2920 secs
lola: sara is running 2925 secs || 21926164 markings, 49273097 edges, 9696 markings/sec, 2925 secs
lola: sara is running 2930 secs || 21952008 markings, 49337608 edges, 5169 markings/sec, 2930 secs
lola: sara is running 2935 secs || 21986045 markings, 49418907 edges, 6807 markings/sec, 2935 secs
lola: sara is running 2940 secs || 22018198 markings, 49501355 edges, 6431 markings/sec, 2940 secs
lola: sara is running 2945 secs || 22047180 markings, 49570504 edges, 5796 markings/sec, 2945 secs
lola: sara is running 2950 secs || 22075875 markings, 49631635 edges, 5739 markings/sec, 2950 secs
lola: sara is running 2955 secs || 22097696 markings, 49690667 edges, 4364 markings/sec, 2955 secs
lola: sara is running 2960 secs || 22120663 markings, 49760817 edges, 4593 markings/sec, 2960 secs
lola: sara is running 2965 secs || 22151388 markings, 49844388 edges, 6145 markings/sec, 2965 secs
lola: sara is running 2970 secs || 22192885 markings, 49935564 edges, 8299 markings/sec, 2970 secs
lola: sara is running 2975 secs || 22217614 markings, 50009663 edges, 4946 markings/sec, 2975 secs
lola: sara is running 2980 secs || 22244105 markings, 50079624 edges, 5298 markings/sec, 2980 secs
lola: sara is running 2985 secs || 22279147 markings, 50155944 edges, 7008 markings/sec, 2985 secs
lola: sara is running 2990 secs || 22307480 markings, 50225610 edges, 5667 markings/sec, 2990 secs
lola: sara is running 2995 secs || 22337080 markings, 50310194 edges, 5920 markings/sec, 2995 secs
lola: sara is running 3000 secs || 22365803 markings, 50380131 edges, 5745 markings/sec, 3000 secs
lola: sara is running 3005 secs || 22408698 markings, 50461056 edges, 8579 markings/sec, 3005 secs
lola: sara is running 3010 secs || 22437254 markings, 50527438 edges, 5711 markings/sec, 3010 secs
lola: sara is running 3015 secs || 22467010 markings, 50595045 edges, 5951 markings/sec, 3015 secs
lola: sara is running 3020 secs || 22508716 markings, 50678922 edges, 8341 markings/sec, 3020 secs
lola: sara is running 3025 secs || 22539569 markings, 50746989 edges, 6171 markings/sec, 3025 secs
lola: sara is running 3030 secs || 22574327 markings, 50822749 edges, 6952 markings/sec, 3030 secs
lola: sara is running 3035 secs || 22609535 markings, 50894199 edges, 7042 markings/sec, 3035 secs
lola: sara is running 3040 secs || 22640268 markings, 50963290 edges, 6147 markings/sec, 3040 secs
lola: sara is running 3045 secs || 22671765 markings, 51031663 edges, 6299 markings/sec, 3045 secs
lola: sara is running 3050 secs || 22707893 markings, 51103736 edges, 7226 markings/sec, 3050 secs
lola: sara is running 3055 secs || 22734945 markings, 51172976 edges, 5410 markings/sec, 3055 secs
lola: sara is running 3060 secs || 22770579 markings, 51258651 edges, 7127 markings/sec, 3060 secs
lola: sara is running 3065 secs || 22798641 markings, 51334210 edges, 5612 markings/sec, 3065 secs
lola: sara is running 3070 secs || 22830334 markings, 51405715 edges, 6339 markings/sec, 3070 secs
lola: sara is running 3075 secs || 22862942 markings, 51478996 edges, 6522 markings/sec, 3075 secs
lola: sara is running 3080 secs || 22893706 markings, 51557687 edges, 6153 markings/sec, 3080 secs
lola: sara is running 3085 secs || 22925436 markings, 51635109 edges, 6346 markings/sec, 3085 secs
lola: sara is running 3090 secs || 22949458 markings, 51712134 edges, 4804 markings/sec, 3090 secs
lola: sara is running 3095 secs || 22973127 markings, 51777250 edges, 4734 markings/sec, 3095 secs
lola: sara is running 3100 secs || 23004349 markings, 51837207 edges, 6244 markings/sec, 3100 secs
lola: sara is running 3105 secs || 23037257 markings, 51908650 edges, 6582 markings/sec, 3105 secs
lola: sara is running 3110 secs || 23073903 markings, 51979837 edges, 7329 markings/sec, 3110 secs
lola: sara is running 3115 secs || 23105817 markings, 52046198 edges, 6383 markings/sec, 3115 secs
lola: sara is running 3120 secs || 23134918 markings, 52106297 edges, 5820 markings/sec, 3120 secs
lola: sara is running 3125 secs || 23159061 markings, 52174019 edges, 4829 markings/sec, 3125 secs
lola: sara is running 3130 secs || 23199260 markings, 52251428 edges, 8040 markings/sec, 3130 secs
lola: sara is running 3135 secs || 23231789 markings, 52330588 edges, 6506 markings/sec, 3135 secs
lola: sara is running 3140 secs || 23258389 markings, 52397049 edges, 5320 markings/sec, 3140 secs
lola: sara is running 3145 secs || 23284055 markings, 52460946 edges, 5133 markings/sec, 3145 secs
lola: sara is running 3150 secs || 23316145 markings, 52534632 edges, 6418 markings/sec, 3150 secs
lola: sara is running 3155 secs || 23350648 markings, 52607479 edges, 6901 markings/sec, 3155 secs
lola: sara is running 3160 secs || 23381065 markings, 52680860 edges, 6083 markings/sec, 3160 secs
lola: sara is running 3165 secs || 23411736 markings, 52748807 edges, 6134 markings/sec, 3165 secs
lola: sara is running 3170 secs || 23449502 markings, 52829194 edges, 7553 markings/sec, 3170 secs
lola: sara is running 3175 secs || 23513421 markings, 52925570 edges, 12784 markings/sec, 3175 secs
lola: sara is running 3180 secs || 23562230 markings, 53036829 edges, 9762 markings/sec, 3180 secs
lola: sara is running 3185 secs || 23595443 markings, 53116307 edges, 6643 markings/sec, 3185 secs
lola: sara is running 3190 secs || 23637635 markings, 53212967 edges, 8438 markings/sec, 3190 secs
lola: sara is running 3195 secs || 23674649 markings, 53299566 edges, 7403 markings/sec, 3195 secs
lola: sara is running 3200 secs || 23713781 markings, 53393940 edges, 7826 markings/sec, 3200 secs
lola: sara is running 3205 secs || 23751771 markings, 53488897 edges, 7598 markings/sec, 3205 secs
lola: sara is running 3210 secs || 23782009 markings, 53573969 edges, 6048 markings/sec, 3210 secs
lola: sara is running 3215 secs || 23823731 markings, 53670396 edges, 8344 markings/sec, 3215 secs
lola: sara is running 3220 secs || 23859866 markings, 53762354 edges, 7227 markings/sec, 3220 secs
lola: sara is running 3225 secs || 23902830 markings, 53860895 edges, 8593 markings/sec, 3225 secs
lola: sara is running 3230 secs || 23935792 markings, 53951321 edges, 6592 markings/sec, 3230 secs
lola: sara is running 3235 secs || 23971388 markings, 54042130 edges, 7119 markings/sec, 3235 secs
lola: sara is running 3240 secs || 24014276 markings, 54141423 edges, 8578 markings/sec, 3240 secs
lola: sara is running 3245 secs || 24040626 markings, 54225429 edges, 5270 markings/sec, 3245 secs
lola: sara is running 3250 secs || 24076166 markings, 54316010 edges, 7108 markings/sec, 3250 secs
lola: sara is running 3255 secs || 24118218 markings, 54415096 edges, 8410 markings/sec, 3255 secs
lola: sara is running 3260 secs || 24143152 markings, 54493268 edges, 4987 markings/sec, 3260 secs
lola: sara is running 3265 secs || 24167743 markings, 54568112 edges, 4918 markings/sec, 3265 secs
lola: sara is running 3270 secs || 24219646 markings, 54654411 edges, 10381 markings/sec, 3270 secs
lola: sara is running 3275 secs || 24264026 markings, 54757337 edges, 8876 markings/sec, 3275 secs
lola: sara is running 3280 secs || 24304751 markings, 54850996 edges, 8145 markings/sec, 3280 secs
lola: sara is running 3285 secs || 24337660 markings, 54934187 edges, 6582 markings/sec, 3285 secs
lola: sara is running 3290 secs || 24363125 markings, 55015411 edges, 5093 markings/sec, 3290 secs
lola: sara is running 3295 secs || 24393278 markings, 55092118 edges, 6031 markings/sec, 3295 secs
lola: sara is running 3300 secs || 24421246 markings, 55161987 edges, 5594 markings/sec, 3300 secs
lola: sara is running 3305 secs || 24452390 markings, 55233844 edges, 6229 markings/sec, 3305 secs
lola: sara is running 3310 secs || 24484699 markings, 55321850 edges, 6462 markings/sec, 3310 secs
lola: sara is running 3315 secs || 24528774 markings, 55395419 edges, 8815 markings/sec, 3315 secs
lola: sara is running 3320 secs || 24554787 markings, 55463158 edges, 5203 markings/sec, 3320 secs
lola: sara is running 3325 secs || 24578042 markings, 55528839 edges, 4651 markings/sec, 3325 secs
lola: sara is running 3330 secs || 24609053 markings, 55607239 edges, 6202 markings/sec, 3330 secs
lola: sara is running 3335 secs || 24634122 markings, 55688918 edges, 5014 markings/sec, 3335 secs
lola: sara is running 3340 secs || 24659198 markings, 55759985 edges, 5015 markings/sec, 3340 secs
lola: sara is running 3345 secs || 24688331 markings, 55832492 edges, 5827 markings/sec, 3345 secs
lola: sara is running 3350 secs || 24721225 markings, 55916822 edges, 6579 markings/sec, 3350 secs
lola: sara is running 3355 secs || 24747857 markings, 56006061 edges, 5326 markings/sec, 3355 secs
lola: sara is running 3360 secs || 24800063 markings, 56091097 edges, 10441 markings/sec, 3360 secs
lola: sara is running 3365 secs || 24851517 markings, 56192689 edges, 10291 markings/sec, 3365 secs
lola: sara is running 3370 secs || 24891024 markings, 56285806 edges, 7901 markings/sec, 3370 secs
lola: sara is running 3375 secs || 24929627 markings, 56377296 edges, 7721 markings/sec, 3375 secs
lola: sara is running 3380 secs || 24954832 markings, 56460129 edges, 5041 markings/sec, 3380 secs
lola: sara is running 3385 secs || 24980579 markings, 56534707 edges, 5149 markings/sec, 3385 secs
lola: sara is running 3390 secs || 25006119 markings, 56611529 edges, 5108 markings/sec, 3390 secs
lola: sara is running 3395 secs || 25029980 markings, 56685455 edges, 4772 markings/sec, 3395 secs
lola: sara is running 3400 secs || 25089033 markings, 56770027 edges, 11811 markings/sec, 3400 secs
lola: sara is running 3405 secs || 25135537 markings, 56857965 edges, 9301 markings/sec, 3405 secs
lola: sara is running 3410 secs || 25163436 markings, 56941605 edges, 5580 markings/sec, 3410 secs
lola: sara is running 3415 secs || 25194843 markings, 57023760 edges, 6281 markings/sec, 3415 secs
lola: sara is running 3420 secs || 25221074 markings, 57106128 edges, 5246 markings/sec, 3420 secs
lola: sara is running 3425 secs || 25247822 markings, 57186737 edges, 5350 markings/sec, 3425 secs
lola: sara is running 3430 secs || 25275267 markings, 57262779 edges, 5489 markings/sec, 3430 secs
lola: sara is running 3435 secs || 25310117 markings, 57343498 edges, 6970 markings/sec, 3435 secs
lola: sara is running 3440 secs || 25335807 markings, 57424332 edges, 5138 markings/sec, 3440 secs
lola: sara is running 3445 secs || 25362140 markings, 57506055 edges, 5267 markings/sec, 3445 secs
lola: sara is running 3450 secs || 25393143 markings, 57592281 edges, 6201 markings/sec, 3450 secs
lola: sara is running 3455 secs || 25421477 markings, 57659648 edges, 5667 markings/sec, 3455 secs
lola: sara is running 3460 secs || 25449967 markings, 57734723 edges, 5698 markings/sec, 3460 secs
lola: sara is running 3465 secs || 25489217 markings, 57824053 edges, 7850 markings/sec, 3465 secs
lola: sara is running 3470 secs || 25525171 markings, 57905803 edges, 7191 markings/sec, 3470 secs
lola: sara is running 3475 secs || 25567948 markings, 57982345 edges, 8555 markings/sec, 3475 secs
lola: sara is running 3480 secs || 25595142 markings, 58051310 edges, 5439 markings/sec, 3480 secs
lola: sara is running 3485 secs || 25621248 markings, 58129634 edges, 5221 markings/sec, 3485 secs
lola: sara is running 3490 secs || 25647843 markings, 58206985 edges, 5319 markings/sec, 3490 secs
lola: sara is running 3495 secs || 25678545 markings, 58281057 edges, 6140 markings/sec, 3495 secs
lola: sara is running 3500 secs || 25708437 markings, 58354492 edges, 5978 markings/sec, 3500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no yes no no no yes no yes no no no no
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes no no yes no no no yes no yes no no no no
lola:
preliminary result: unknown yes yes no no yes no no no yes no yes no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes no no yes no no no yes no yes no no no no
lola: memory consumption: 4758160 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished
BK_STOP 1552599004551
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-301"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-301, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r038-smll-155229648700116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-301.tgz
mv CloudReconfiguration-PT-301 execution
cd execution
if [ "ReachabilityCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 ;