2026-03-22 22:37:22,280 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)":"0","CPU Time Search (ms)":"0","Full CPU Time (ms)":"0","Peak Memory (MB)":"8.34355"}
 "Components": []}