2026-03-22 22:49:20,778 INFO [default] Using mxClq groupCountThreshold: 2
	 ( INFO) == Loading and Performing Problem Setup %right_file
	 ( WARNING) == Can't determine XCSP version.  Defaulting to 2.1 %right_file
{"StaticInstanceData": {"# Components":"0","# Constraints":"0","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"0","Boost Version":"1.75.0","Instance Name":"","Max Arity":"0","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"0","CPU Time Post Normalization (ms)":"0","CPU Time Problem Setup  (ms)":"18","CPU Time Search (ms)":"0","Full CPU Time (ms)":"18","Peak Memory (MB)":"7.89299"}
 "Components": []}