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

Variable Max Cliques: [(V0, 10), (V1, 11), (V10, 7), (V11, 6), (V12, 1), (V13, 8), (V14, 9), (V15, 12), (V16, 1), (V17, 11), (V18, 11), (V19, 1), (V2, 1), (V20, 12), (V21, 1), (V22, 3), (V23, 1), (V24, 3), (V25, 11), (V26, 7), (V27, 4), (V28, 7), (V29, 10), (V3, 1), (V30, 9), (V31, 7), (V32, 1), (V33, 2), (V34, 5), (V35, 1), (V36, 5), (V37, 9), (V38, 13), (V39, 2), (V4, 1), (V5, 6), (V6, 1), (V7, 4), (V8, 7), (V9, 3)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(21163744, 0), (21172128, 0), (21172800, 0), (21174224, 0), (21176864, 0), (21189568, 0), (21212768, 0), (21219056, 0), (21222368, 0), (21234160, 0), (21235456, -12), (21240864, 0), (21249040, -12), (21251888, 0), (21261408, 0), (21262976, 0), (21264896, 0), (21268672, 0), (21269632, 0), (21273040, 0), (21280144, 0), (21289184, 0), (21304752, 0), (21309760, 0), (21310720, 0), (21329248, 0), (21330432, 0), (21338832, 0), (21369808, 0), (21372848, 0), (21376672, 0), (21380496, 0), (21384320, 0), (21388144, 0), (21391968, 0), (21395792, 0), (21400080, 0), (21403904, 0), (21407728, -13), (21411552, 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":"180","# 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)":"10","CPU Time Post Normalization (ms)":"2.01649e+06","CPU Time Problem Setup  (ms)":"73","CPU Time Search (ms)":"2.01648e+06","Full CPU Time (ms)":"2.01656e+06","Peak Memory (MB)":"27.0295"},
 "Components": [{"Component Stats": {"# Constraints":"180","# Variables":"40"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 25, 614, 8097, 12641, 15626, 16207, 13466, 9018, 4772, 2059, 825, 307, 101, 33, 8, 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]","# backtracks":"83800","# backtracks per level":"[25, 614, 8097, 12641, 15626, 16207, 13466, 9018, 4772, 2059, 825, 307, 101, 33, 8, 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]","# nodes visited":"169579","# 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":"26409634","# isValid Checks":"1094570424"}}]}