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

Variable Max Cliques: [(V0, 8), (V1, 1), (V10, 6), (V11, 1), (V12, 6), (V13, 1), (V14, 6), (V15, 1), (V16, 6), (V17, 1), (V18, 6), (V19, 1), (V2, 7), (V20, 5), (V21, 1), (V22, 5), (V23, 1), (V24, 5), (V25, 1), (V26, 5), (V27, 1), (V28, 5), (V29, 1), (V3, 2), (V30, 5), (V31, 1), (V32, 5), (V33, 1), (V34, 5), (V35, 1), (V36, 5), (V37, 1), (V38, 5), (V39, 1), (V4, 7), (V40, 6), (V41, 1), (V42, 6), (V43, 1), (V44, 6), (V45, 1), (V46, 7), (V47, 1), (V48, 7), (V49, 2), (V5, 1), (V50, 4), (V51, 4), (V52, 5), (V53, 3), (V54, 7), (V55, 3), (V56, 5), (V57, 3), (V58, 8), (V59, 3), (V6, 6), (V60, 5), (V61, 3), (V62, 9), (V63, 3), (V64, 5), (V65, 3), (V66, 7), (V67, 3), (V68, 6), (V69, 3), (V7, 1), (V70, 5), (V71, 4), (V72, 4), (V73, 2), (V74, 1), (V75, 1), (V8, 6), (V9, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(27668192, 0), (27676576, -8), (27679824, 0), (27682656, 0), (27684224, 0), (27694016, 0), (27705536, 0), (27707392, 0), (27717216, 0), (27720192, 0), (27721824, 0), (27723504, 0), (27726816, 0), (27738928, 0), (27742800, 0), (27744320, 0), (27745312, 0), (27754544, 0), (27756320, 0), (27765856, 0), (27767424, 0), (27769344, 0), (27773120, 0), (27774080, 0), (27777488, 0), (27779424, 0), (27780656, 0), (27784592, 0), (27787024, 0), (27788352, 0), (27795248, 0), (27805152, 0), (27809152, 0), (27810656, 0), (27813504, 0), (27814208, 0), (27826160, 0), (27832352, 0), (27834880, 0), (27843280, 0), (27902992, 0), (27906064, 0), (28571536, 0), (28574112, 0), (28662848, 0), (28748752, 0), (28751360, 0), (28839056, 0), (28927968, 0), (29015952, 0), (29105440, 0), (29107008, 0), (29192192, 0), (29195376, 0), (29282208, 0), (29283776, 0), (29372272, 0), (29458256, -9), (29460528, 0), (29550000, 0), (29637472, 0), (29725776, -8), (29813008, 0), (29814576, 0), (29816144, 0), (29901696, 0), (29904240, 0), (29991520, 0), (30079072, 0), (30082288, 0), (30168800, 0), (30171168, 0), (30520576, 0), (30556144, 0), (30557536, 0), (30576528, 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":"350","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"76","Boost Version":"1.75.0","Instance Name":"","Max Arity":"3","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"68","CPU Time Post Normalization (ms)":"1.10902e+06","CPU Time Problem Setup  (ms)":"386","CPU Time Search (ms)":"1.10896e+06","Full CPU Time (ms)":"1.10941e+06","Peak Memory (MB)":"153.543"},
 "Components": [{"Component Stats": {"# Constraints":"350","# Variables":"76"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 1, 39, 143, 390, 705, 705, 1137, 1450, 1966, 2696, 3096, 4615, 5014, 6328, 7080, 8335, 9084, 10326, 10981, 11841, 12243, 12764, 12912, 12778, 12655, 12134, 11543, 10749, 10101, 9466, 8789, 8144, 7414, 6663, 5763, 5122, 4595, 3834, 3357, 2885, 2459, 2124, 1677, 1131, 875, 490, 281, 163, 118, 88, 69, 19, 5, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"269344","# backtracks per level":"[0, 0, 0, 1, 39, 143, 390, 705, 705, 1137, 1450, 1966, 2696, 3096, 4615, 5014, 6328, 7080, 8335, 9084, 10326, 10981, 11841, 12243, 12764, 12912, 12778, 12655, 12134, 11543, 10749, 10101, 9466, 8789, 8144, 7414, 6663, 5763, 5122, 4595, 3834, 3357, 2885, 2459, 2124, 1677, 1131, 875, 490, 281, 163, 118, 88, 69, 19, 5, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"352079","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"441140","# 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]","# values removed after preprocessing":"27004","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"47057140","# isValid Checks":"655215551"}}]}