2026-03-23 08:26:41,027 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:["V6","V7","V10","V16","V18","V20","V31","V33","V36","V2",],
1:["V3","V4","V11","V14","V26","V33","V37","V38","V39","V1",],
2:["V8","V13","V15","V17","V23","V25","V30","V36","V38","V0",],
3:["V5","V8","V18","V25","V27","V29","V30","V32","V35","V36","V9",],
4:["V4","V5","V10","V12","V13","V18","V27","V33","V36","V37","V34",],
5:["V5","V7","V13","V17","V20","V29","V30","V31","V35","V36","V28",],
6:["V3","V8","V21","V23","V29","V30","V31","V32","V35","V38","V22",],
7:["V5","V7","V10","V12","V18","V20","V27","V29","V35","V39","V19",],
8:["V5","V7","V10","V12","V16","V18","V20","V24","V29","V31","V32","V33","V36","V37","V6",],
9:["V4","V5","V7","V8","V10","V12","V14","V15","V18","V20","V24","V25","V26","V29","V31","V32","V33","V36","V37","V16",],
10:["V4","V5","V7","V8","V10","V12","V14","V15","V17","V18","V20","V25","V26","V29","V31","V32","V33","V36","V37","V24",],
11:["V4","V5","V7","V8","V10","V12","V13","V14","V15","V17","V18","V25","V26","V27","V29","V30","V31","V32","V33","V35","V36","V37","V39","V20",],
12:["V4","V5","V8","V10","V12","V13","V14","V15","V17","V18","V21","V25","V26","V27","V29","V30","V31","V32","V33","V35","V36","V37","V39","V7",],
13:["V4","V8","V10","V13","V14","V15","V17","V18","V21","V23","V25","V26","V27","V29","V30","V31","V32","V33","V35","V37","V38","V39","V36",],
14:["V3","V4","V8","V10","V14","V18","V21","V23","V26","V27","V29","V30","V31","V32","V33","V37","V38","V39","V35",],
15:["V3","V4","V10","V11","V14","V23","V26","V27","V30","V33","V37","V38","V39","V8",],
}

Variable Max Cliques: [(V0, 1), (V1, 1), (V10, 11), (V11, 2), (V12, 7), (V13, 6), (V14, 8), (V15, 6), (V16, 3), (V17, 6), (V18, 11), (V19, 1), (V2, 1), (V20, 7), (V21, 4), (V22, 1), (V23, 5), (V24, 3), (V25, 7), (V26, 8), (V27, 8), (V28, 1), (V29, 11), (V3, 4), (V30, 9), (V31, 10), (V32, 9), (V33, 11), (V34, 1), (V35, 8), (V36, 11), (V37, 10), (V38, 6), (V39, 7), (V4, 9), (V5, 9), (V6, 2), (V7, 8), (V8, 10), (V9, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(35229408, 0), (35237792, 0), (35238464, 0), (35241040, -11), (35242752, -10), (35245680, 0), (35257184, 0), (35259280, 0), (35265136, 0), (35266752, 0), (35273856, 0), (35278432, 0), (35281408, 0), (35283040, 0), (35286128, 0), (35288032, 0), (35298944, 0), (35301120, 0), (35304016, -10), (35305664, 0), (35306528, 0), (35312064, 0), (35315760, 0), (35323392, -10), (35327072, 0), (35328640, 0), (35330560, 0), (35334432, 0), (35335296, -11), (35342192, 0), (35349776, 0), (35355984, -11), (35361600, -11), (35367248, -11), (35373728, 0), (35377392, 0), (35386880, 0), (35391312, 0), (35394912, 0), (35437568, 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":"250","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"40","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"11","CPU Time Post Normalization (ms)":"6.02183e+06","CPU Time Problem Setup  (ms)":"44","CPU Time Search (ms)":"6.02182e+06","Full CPU Time (ms)":"6.02188e+06","Peak Memory (MB)":"25.0143"},
 "Components": [{"Component Stats": {"# Constraints":"250","# Variables":"40"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 16, 191, 2215, 14220, 9827, 1752, 239, 42, 13, 4, 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":"28519","# backtracks per level":"[16, 191, 2215, 14220, 9827, 1752, 239, 42, 13, 4, 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":"51935","# solutions":"0","# 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]","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"7530294","# isValid Checks":"400660707"}}]}