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

Variable Max Cliques: [(V0, 10), (V1, 9), (V10, 10), (V11, 1), (V12, 8), (V13, 11), (V14, 1), (V15, 4), (V16, 11), (V17, 1), (V18, 11), (V19, 1), (V2, 1), (V20, 6), (V21, 8), (V22, 11), (V23, 8), (V24, 2), (V25, 9), (V26, 6), (V27, 2), (V28, 5), (V29, 1), (V3, 11), (V30, 9), (V31, 9), (V32, 8), (V33, 7), (V34, 4), (V35, 8), (V36, 1), (V37, 2), (V38, 11), (V39, 5), (V4, 3), (V5, 8), (V6, 12), (V7, 7), (V8, 9), (V9, 8)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(21297120, 0), (21298272, -12), (21312352, 0), (21325552, 0), (21335552, 0), (21338688, -11), (21343408, 0), (21345312, 0), (21356224, 0), (21358400, 0), (21361296, 0), (21362720, 0), (21363808, 0), (21384352, 0), (21387840, 0), (21391616, -11), (21394896, -11), (21395984, 0), (21399152, 0), (21404768, 0), (21411088, 0), (21412784, 0), (21416832, 0), (21423712, 0), (21429904, 0), (21432704, 0), (21433664, 0), (21434672, 0), (21443520, 0), (21451248, -11), (21461776, -11), (21492752, 0), (21496032, 0), (21499472, 0), (21502912, 0), (21506352, 0), (21510256, 0), (21513696, 0), (21517136, -11), (21520576, 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":"338","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"40","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"19","CPU Time Post Normalization (ms)":"3.51504e+06","CPU Time Problem Setup  (ms)":"82","CPU Time Search (ms)":"3.51502e+06","Full CPU Time (ms)":"3.51512e+06","Peak Memory (MB)":"36.4339"},
 "Components": [{"Component Stats": {"# Constraints":"338","# Variables":"40"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 1, 14, 158, 1159, 2040, 563, 92, 19, 3, 1, 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":"4050","# backtracks per level":"[1, 14, 158, 1159, 2040, 563, 92, 19, 3, 1, 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":"7308","# 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]","# 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":"1538601","# isValid Checks":"99796083"}}]}