( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
	 ( TRACE) == Switching to other heuristic %right_file
	 ( TRACE) == Switching to other heuristic %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"6","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"4","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"0","CPU Time Post Normalization (ms)":"3","CPU Time Problem Setup  (ms)":"2","CPU Time Search (ms)":"2","Full CPU Time (ms)":"7","Peak Memory (MB)":"10.5431"},
 "Components": [{"Component Stats": {"# Constraints":"6","# Variables":"4"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0]","# backtracks":"0","# backtracks per level":"[0, 0, 0, 0, 0]","# nodes visited":"5","# solutions":"1","# total value trigger":"2","# total variable triggers":"0","# tuples removed after preprocessing":"0","# value trigger per level":"[1, 0, 0, 1, 0]","# values removed after preprocessing":"0","# variable triggers per level":"[0, 0, 0, 0, 0]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"12","# isValid Checks":"56"}}]}