2026-03-05 06:26:15,491 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:["V45","V47","V75","V79","V61",],
1:["V46","V48","V75","V79","V60",],
2:["V1","V3","V16","V18","V0",],
3:["V51","V55","V59","V75","V79","V69",],
4:["V52","V55","V59","V75","V79","V68",],
5:["V49","V53","V58","V75","V79","V67",],
6:["V50","V54","V58","V75","V79","V66",],
7:["V47","V51","V57","V75","V79","V65",],
8:["V48","V52","V57","V75","V79","V64",],
9:["V45","V49","V56","V75","V79","V63",],
10:["V46","V50","V56","V75","V79","V62",],
11:["V16","V18","V46","V48","V77","V30",],
12:["V1","V3","V31","V33","V76","V15",],
13:["V6","V10","V14","V21","V25","V29","V9",],
14:["V7","V10","V14","V22","V25","V29","V8",],
15:["V2","V6","V12","V17","V21","V27","V5",],
16:["V3","V7","V12","V18","V22","V27","V4",],
17:["V21","V25","V29","V51","V55","V59","V77","V39",],
18:["V22","V25","V29","V52","V55","V59","V77","V38",],
19:["V17","V21","V27","V47","V51","V57","V77","V35",],
20:["V18","V22","V27","V48","V52","V57","V77","V34",],
21:["V6","V10","V14","V36","V40","V44","V76","V24",],
22:["V7","V10","V14","V37","V40","V44","V76","V23",],
23:["V2","V6","V12","V32","V36","V42","V76","V20",],
24:["V3","V7","V12","V33","V37","V42","V76","V19",],
25:["V53","V54","V55","V56","V57","V58","V75","V79","V74",],
26:["V51","V52","V55","V56","V57","V59","V75","V79","V73",],
27:["V49","V50","V55","V56","V58","V59","V75","V79","V72",],
28:["V47","V48","V55","V57","V58","V59","V75","V79","V71",],
29:["V53","V54","V56","V57","V58","V59","V75","V79","V70",],
30:["V31","V33","V47","V49","V56","V75","V78","V79","V45",],
31:["V2","V3","V16","V17","V18","V31","V33","V76","V1",],
32:["V16","V18","V32","V48","V50","V56","V75","V77","V78","V79","V46",],
33:["V6","V7","V10","V11","V12","V14","V21","V22","V25","V26","V27","V29","V13",],
34:["V37","V40","V44","V49","V54","V55","V56","V57","V58","V59","V75","V78","V79","V53",],
35:["V21","V22","V25","V26","V27","V29","V51","V52","V55","V56","V57","V59","V77","V43",],
36:["V6","V7","V10","V11","V12","V14","V36","V37","V40","V41","V42","V44","V76","V28",],
37:["V36","V37","V40","V44","V49","V50","V55","V56","V57","V58","V59","V75","V78","V79","V54",],
38:["V36","V37","V40","V41","V42","V44","V47","V48","V49","V50","V55","V56","V57","V59","V75","V78","V79","V58",],
39:["V31","V33","V36","V37","V40","V41","V42","V44","V47","V48","V50","V55","V56","V57","V59","V75","V78","V79","V49",],
40:["V16","V18","V31","V32","V33","V36","V37","V40","V41","V42","V44","V47","V48","V55","V56","V57","V59","V75","V77","V78","V79","V50",],
41:["V16","V18","V31","V32","V33","V36","V37","V40","V41","V42","V44","V47","V48","V51","V52","V55","V56","V57","V59","V75","V76","V77","V78","V79",],
42:["V16","V18","V22","V27","V31","V32","V33","V36","V37","V40","V41","V42","V44","V47","V51","V52","V55","V56","V57","V59","V76","V77","V48",],
43:["V16","V18","V21","V22","V25","V26","V27","V29","V31","V32","V33","V36","V37","V40","V41","V42","V44","V47","V51","V52","V55","V56","V57","V76","V77","V59",],
44:["V16","V17","V18","V21","V22","V25","V26","V27","V29","V31","V32","V33","V36","V37","V40","V41","V42","V44","V47","V51","V57","V76","V77",],
45:["V2","V3","V16","V17","V18","V21","V22","V25","V26","V27","V29","V32","V33","V36","V37","V40","V41","V42","V44","V76","V31",],
46:["V2","V3","V6","V12","V17","V18","V21","V22","V25","V26","V27","V29","V33","V36","V37","V40","V41","V42","V44","V76","V32",],
47:["V3","V6","V11","V12","V17","V18","V21","V22","V25","V26","V27","V29","V33","V36","V37","V40","V41","V42","V44","V76","V2",],
48:["V3","V6","V7","V11","V12","V18","V21","V22","V25","V26","V27","V29","V36","V37","V40","V41","V42","V44","V76","V33",],
49:["V6","V7","V10","V11","V12","V14","V21","V22","V25","V26","V27","V29","V36","V37","V40","V41","V42","V44","V76",],
}

Variable Max Cliques: [(V0, 1), (V1, 3), (V10, 7), (V11, 5), (V12, 10), (V13, 1), (V14, 7), (V15, 1), (V16, 10), (V17, 7), (V18, 15), (V19, 1), (V2, 6), (V20, 1), (V21, 13), (V22, 14), (V23, 1), (V24, 1), (V25, 13), (V26, 9), (V27, 14), (V28, 1), (V29, 13), (V3, 9), (V30, 1), (V31, 10), (V32, 9), (V33, 14), (V34, 1), (V35, 1), (V36, 16), (V37, 17), (V38, 1), (V39, 1), (V4, 1), (V40, 17), (V41, 13), (V42, 15), (V43, 1), (V44, 17), (V45, 3), (V46, 4), (V47, 12), (V48, 11), (V49, 8), (V5, 1), (V50, 8), (V51, 10), (V52, 9), (V53, 4), (V54, 5), (V55, 17), (V56, 17), (V57, 18), (V58, 9), (V59, 17), (V6, 10), (V60, 1), (V61, 1), (V62, 1), (V63, 1), (V64, 1), (V65, 1), (V66, 1), (V67, 1), (V68, 1), (V69, 1), (V7, 8), (V70, 1), (V71, 1), (V72, 1), (V73, 1), (V74, 1), (V75, 23), (V76, 16), (V77, 12), (V78, 8), (V79, 23), (V8, 1), (V9, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(34932592, 0), (34933936, 0), (34935360, 0), (34936512, 0), (34945968, 0), (34946912, 0), (34948512, 0), (34949888, 0), (34957968, 0), (34960688, 0), (34968448, 0), (34972848, 0), (34978624, 0), (34982000, 0), (34983008, 0), (34984240, 0), (34987568, 0), (34997584, 0), (34999184, 0), (35000272, 0), (35013344, 0), (35016384, 0), (35019232, 0), (35035728, 0), (35037424, 0), (35038352, 0), (35064064, 0), (35066192, 0), (35068352, 0), (35070512, 0), (35072672, 0), (35074832, 0), (35076992, 0), (35079152, 0), (35081312, 0), (35083472, 0), (35086096, 0), (35088256, 0), (35090416, 0), (35092576, 0), (35094736, 0), (35096896, 0), (35099056, 0), (35101216, 0), (35103376, 0), (35105536, 0), (35107696, 0), (35109856, 0), (35112016, 0), (35114176, 0), (35116336, 0), (35118496, 0), (35120656, 0), (35122816, 0), (35124976, 0), (35127136, 0), (35129296, 0), (35131456, -18), (35133616, 0), (35135776, 0), (35137936, 0), (35140096, 0), (35142256, 0), (35144416, 0), (35146576, 0), (35148736, 0), (35150896, 0), (35153056, 0), (35155216, 0), (35157376, 0), (35159536, 0), (35161696, 0), (35163856, 0), (35166016, 0), (35168176, 0), (35170336, -23), (35172496, 0), (35174656, 0), (35176816, 0), (35178976, -23)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"346","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"80","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"11","CPU Time Post Normalization (ms)":"21","CPU Time Problem Setup  (ms)":"8","CPU Time Search (ms)":"10","Full CPU Time (ms)":"30","Peak Memory (MB)":"19.8246"},
 "Components": [{"Component Stats": {"# Constraints":"346","# Variables":"80"}, "LoggingSearchEngine": {"# BTs for 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, 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":"0","# backtracks 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, 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":"80","# 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, 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, 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":"2183","# isValid Checks":"42412"}}]}