Checked for one pass and found: 1
2026-03-22 15:16:06,041 INFO [default] Using mxClq groupCountThreshold: 2
	 ( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V16","V25","V35","V15",],
1:["V22","V25","V35","V43","V16",],
2:["V3","V4","V5","V14","V21","V25","V26","V30","V37","V38","V19",],
3:["V3","V5","V14","V21","V25","V26","V30","V34","V37","V38","V44","V4",],
4:["V5","V14","V20","V21","V25","V26","V30","V34","V36","V37","V40","V44","V3",],
5:["V5","V20","V24","V25","V26","V30","V34","V36","V37","V40","V43","V44","V48","V14",],
6:["V0","V2","V8","V10","V17","V23","V24","V27","V28","V33","V39","V41","V42","V46","V49","V47",],
7:["V0","V2","V17","V18","V20","V23","V24","V27","V28","V33","V36","V39","V41","V42","V46","V49","V8",],
8:["V0","V2","V18","V20","V23","V24","V27","V28","V36","V39","V40","V41","V46","V49","V42",],
9:["V0","V2","V5","V18","V20","V23","V24","V26","V27","V28","V34","V36","V39","V40","V46","V48","V49","V41",],
10:["V0","V2","V5","V18","V20","V23","V24","V26","V27","V28","V30","V34","V36","V39","V40","V48","V49","V46",],
11:["V0","V2","V5","V18","V20","V24","V26","V27","V28","V30","V34","V36","V37","V39","V40","V48","V49",],
12:["V0","V2","V5","V18","V20","V24","V25","V26","V27","V28","V30","V34","V36","V37","V39","V43","V44","V48","V40",],
13:["V0","V2","V18","V24","V25","V26","V27","V28","V34","V35","V37","V39","V43","V44","V48","V5",],
14:["V0","V2","V18","V22","V24","V27","V28","V34","V35","V37","V39","V43","V44","V48","V25",],
15:["V0","V2","V6","V18","V22","V24","V27","V28","V34","V35","V39","V43","V44","V48","V37",],
16:["V0","V2","V6","V18","V22","V24","V27","V28","V34","V35","V39","V43","V45","V48","V44",],
17:["V0","V2","V6","V18","V22","V24","V27","V28","V29","V35","V39","V43","V45","V48","V34",],
18:["V0","V1","V2","V6","V18","V22","V27","V28","V29","V32","V35","V43","V45","V48","V39",],
19:["V0","V1","V2","V6","V12","V18","V22","V27","V28","V29","V32","V43","V45","V48","V35",],
20:["V0","V1","V2","V6","V11","V12","V18","V22","V27","V28","V29","V32","V43","V45","V48",],
21:["V1","V6","V7","V11","V12","V13","V18","V22","V29","V31","V32","V45","V9",],
22:["V1","V6","V11","V12","V13","V18","V22","V27","V29","V31","V32","V45","V7",],
23:["V0","V1","V11","V12","V13","V18","V22","V27","V29","V31","V32","V45","V6",],
}

Variable Max Cliques: [(V0, 16), (V1, 6), (V10, 1), (V11, 4), (V12, 5), (V13, 3), (V14, 4), (V15, 1), (V16, 2), (V17, 2), (V18, 17), (V19, 1), (V2, 15), (V20, 8), (V21, 3), (V22, 11), (V23, 5), (V24, 13), (V25, 9), (V26, 9), (V27, 17), (V28, 15), (V29, 7), (V3, 3), (V30, 7), (V31, 3), (V32, 6), (V33, 2), (V34, 12), (V35, 9), (V36, 8), (V37, 9), (V38, 2), (V39, 13), (V4, 2), (V40, 7), (V41, 4), (V42, 3), (V43, 11), (V44, 8), (V45, 8), (V46, 5), (V47, 1), (V48, 13), (V49, 6), (V5, 9), (V6, 9), (V7, 2), (V8, 2), (V9, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(30033664, 0), (30043184, 0), (30069504, 0), (30079424, 0), (30080416, 0), (30083392, 0), (30085024, 0), (30088000, -17), (30090016, 0), (30099520, 0), (30106416, 0), (30109744, 0), (30116688, 0), (30118016, 0), (30120992, 0), (30140144, 0), (30144784, -16), (30149296, 0), (30153376, 0), (30165808, 0), (30169200, 0), (30172480, 0), (30193776, 0), (30197856, 0), (30200272, 0), (30225968, 0), (30228384, 0), (30230800, -17), (30233216, 0), (30235632, 0), (30238992, 0), (30242496, 0), (30246000, 0), (30249504, 0), (30253008, 0), (30256512, 0), (30260480, 0), (30263984, 0), (30267488, 0), (30271024, 0), (30274560, 0), (30278064, 0), (30281600, 0), (30285136, 0), (30288672, 0), (30292208, 0), (30295744, 0), (30299280, 0), (30302816, 0), (30306352, 0)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"466","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"50","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"36","CPU Time Post Normalization (ms)":"70273","CPU Time Problem Setup  (ms)":"130","CPU Time Search (ms)":"70237","Full CPU Time (ms)":"70404","Peak Memory (MB)":"52.2035"},
 "Components": [{"Component Stats": {"# Constraints":"466","# Variables":"50"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"2","# backtracks per level":"[0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"54","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"0","# value trigger per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# values removed after preprocessing":"0","# variable triggers per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "POAC1": null, "STR2": {"# calls to revise":"1346875","# isValid Checks":"219589075"}, "POACQ": null}]}