2026-03-23 12:17:38,789 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:["V80","V85","V86","V87","V90","V95","V103","V89",],
1:["V18","V34","V45","V68","V80","V82","V83","V81",],
2:["V3","V58","V59","V61","V62","V73","V80","V60",],
3:["V11","V21","V24","V25","V46","V69","V96","V26",],
4:["V32","V36","V59","V79","V85","V87","V90","V91","V88",],
5:["V10","V18","V34","V57","V58","V59","V62","V68","V63",],
6:["V28","V45","V46","V48","V49","V64","V92","V99","V43",],
7:["V16","V52","V64","V65","V66","V68","V69","V72","V102","V67",],
8:["V5","V12","V27","V40","V44","V48","V49","V54","V76","V47",],
9:["V2","V16","V21","V22","V24","V27","V52","V72","V102","V23",],
10:["V4","V16","V18","V19","V20","V25","V33","V62","V75","V17",],
11:["V8","V14","V16","V18","V19","V20","V32","V59","V79","V15",],
12:["V0","V7","V21","V30","V92","V93","V96","V97","V98","V101","V94",],
13:["V7","V8","V11","V12","V13","V24","V37","V44","V61","V74","V9",],
14:["V1","V22","V31","V71","V79","V80","V82","V83","V84","V87","V78",],
15:["V6","V20","V42","V56","V64","V65","V66","V68","V69","V77","V70",],
16:["V0","V7","V21","V30","V50","V52","V53","V54","V56","V101","V51",],
17:["V13","V19","V48","V91","V97","V99","V101","V102","V103","V105","V104",],
18:["V35","V41","V49","V50","V52","V53","V54","V56","V83","V98","V105","V55",],
19:["V11","V36","V37","V38","V40","V41","V42","V46","V53","V69","V96","V39",],
20:["V14","V29","V50","V58","V65","V86","V93","V99","V101","V102","V103","V105","V100",],
21:["V3","V73","V80","V85","V86","V87","V90","V92","V93","V96","V97","V98","V103","V95",],
22:["V10","V18","V28","V34","V58","V59","V61","V62","V64","V68","V85","V92","V99","V57",],
23:["V1","V6","V20","V22","V31","V42","V56","V71","V77","V79","V80","V82","V83","V87","V84",],
24:["V5","V12","V27","V40","V44","V48","V49","V54","V71","V72","V73","V74","V75","V77","V76",],
25:["V0","V1","V3","V4","V5","V6","V16","V21","V22","V24","V27","V52","V72","V102","V2",],
26:["V10","V18","V28","V34","V44","V46","V48","V49","V64","V68","V80","V82","V83","V92","V99","V45",],
27:["V4","V11","V25","V33","V36","V37","V40","V41","V42","V46","V53","V62","V69","V75","V96","V38",],
28:["V1","V6","V16","V20","V31","V42","V52","V56","V64","V65","V68","V69","V71","V72","V77","V87","V102","V66",],
29:["V28","V29","V30","V31","V32","V33","V34","V41","V49","V50","V52","V53","V54","V56","V83","V98","V105","V35",],
30:["V13","V19","V32","V36","V48","V59","V79","V82","V85","V86","V87","V90","V97","V99","V101","V102","V103","V105","V91",],
31:["V8","V16","V18","V19","V20","V29","V32","V50","V58","V59","V65","V79","V86","V93","V99","V101","V102","V103","V105","V14",],
32:["V5","V7","V8","V10","V11","V13","V24","V27","V37","V40","V44","V48","V49","V54","V61","V71","V72","V73","V74","V75","V77","V12",],
33:["V5","V7","V8","V10","V11","V13","V24","V27","V37","V40","V44","V48","V49","V54","V61","V71","V72","V73","V75","V77","V90","V74",],
34:["V4","V11","V16","V18","V19","V20","V21","V22","V24","V27","V33","V36","V37","V40","V41","V42","V46","V53","V62","V69","V75","V96","V25",],
35:["V0","V7","V21","V28","V29","V31","V32","V33","V34","V41","V49","V50","V52","V53","V54","V56","V83","V92","V93","V96","V97","V98","V101","V105","V30",],
36:["V0","V1","V3","V5","V6","V11","V16","V18","V19","V20","V21","V22","V24","V27","V33","V36","V37","V40","V41","V42","V46","V52","V53","V62","V69","V72","V75","V96","V102","V4",],
37:["V3","V8","V10","V16","V18","V19","V20","V28","V29","V32","V34","V50","V59","V61","V62","V64","V65","V68","V73","V79","V80","V85","V86","V92","V93","V99","V101","V102","V103","V105","V58",],
38:["V0","V3","V7","V21","V28","V29","V31","V32","V33","V34","V41","V49","V50","V52","V53","V54","V56","V73","V80","V83","V85","V86","V87","V90","V92","V93","V96","V97","V101","V103","V105","V98",],
39:["V3","V8","V10","V13","V16","V18","V19","V20","V28","V29","V32","V34","V36","V48","V50","V61","V62","V64","V65","V68","V73","V79","V80","V82","V85","V86","V87","V90","V92","V93","V97","V99","V101","V102","V103","V105","V59",],
40:["V3","V8","V10","V13","V16","V18","V19","V20","V28","V29","V32","V34","V36","V44","V46","V48","V49","V50","V61","V62","V64","V65","V68","V73","V79","V80","V82","V83","V85","V86","V87","V90","V92","V93","V97","V101","V102","V103","V105","V99",],
41:["V0","V3","V7","V8","V10","V13","V16","V18","V19","V20","V21","V28","V29","V31","V32","V33","V34","V36","V41","V44","V46","V48","V49","V50","V52","V53","V54","V56","V61","V62","V64","V65","V68","V73","V79","V80","V82","V83","V85","V86","V87","V90","V92","V93","V96","V101","V102","V103","V105","V97",],
42:["V0","V3","V5","V7","V8","V10","V11","V13","V16","V18","V19","V20","V21","V24","V27","V31","V33","V36","V37","V40","V41","V44","V46","V48","V49","V52","V53","V54","V56","V61","V62","V64","V65","V68","V71","V72","V73","V75","V77","V79","V80","V82","V83","V87","V96","V102","V90",],
43:["V0","V1","V3","V5","V6","V11","V16","V18","V19","V20","V21","V22","V24","V27","V31","V33","V36","V37","V40","V41","V42","V46","V52","V53","V56","V62","V64","V65","V68","V71","V72","V75","V77","V79","V80","V82","V87","V96","V102","V83",],
44:["V0","V1","V3","V5","V6","V11","V16","V18","V19","V20","V21","V22","V24","V27","V31","V33","V36","V37","V40","V41","V42","V46","V52","V53","V56","V62","V64","V65","V68","V69","V71","V72","V75","V77","V87","V102","V96",],
}

Variable Max Cliques: [(V0, 10), (V1, 7), (V10, 10), (V100, 1), (V101, 12), (V102, 16), (V103, 11), (V104, 1), (V105, 12), (V11, 11), (V12, 4), (V13, 9), (V14, 3), (V15, 1), (V16, 16), (V17, 1), (V18, 16), (V19, 14), (V2, 2), (V20, 15), (V21, 13), (V22, 8), (V23, 1), (V24, 11), (V25, 4), (V26, 1), (V27, 11), (V28, 10), (V29, 9), (V3, 12), (V30, 4), (V31, 10), (V32, 11), (V33, 11), (V34, 11), (V35, 2), (V36, 12), (V37, 10), (V38, 2), (V39, 1), (V4, 5), (V40, 11), (V41, 12), (V42, 9), (V43, 1), (V44, 9), (V45, 3), (V46, 12), (V47, 1), (V48, 12), (V49, 13), (V5, 9), (V50, 11), (V51, 1), (V52, 14), (V53, 13), (V54, 11), (V55, 1), (V56, 12), (V57, 2), (V58, 6), (V59, 9), (V6, 7), (V60, 1), (V61, 10), (V62, 14), (V63, 1), (V64, 13), (V65, 12), (V66, 3), (V67, 1), (V68, 14), (V69, 9), (V7, 9), (V70, 1), (V71, 9), (V72, 11), (V73, 11), (V74, 4), (V75, 10), (V76, 2), (V77, 9), (V78, 1), (V79, 12), (V8, 10), (V80, 14), (V81, 1), (V82, 10), (V83, 12), (V84, 2), (V85, 10), (V86, 10), (V87, 14), (V88, 1), (V89, 1), (V9, 1), (V90, 10), (V91, 3), (V92, 11), (V93, 10), (V94, 1), (V95, 2), (V96, 13), (V97, 9), (V98, 6), (V99, 10)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(20081440, 0), (20083344, 0), (20085360, 0), (20087216, 0), (20128736, 0), (20130768, 0), (20132528, 0), (20134160, 0), (20136016, 0), (20137824, 0), (20139808, 0), (20141808, 0), (20143792, 0), (20145648, 0), (20147424, 0), (20149200, 0), (20151168, 0), (20153184, 0), (20154896, 0), (20157104, 0), (20158864, -16), (20160768, 0), (20162672, -16), (20164928, 0), (20166768, -15), (20168752, 0), (20170736, 0), (20172960, 0), (20174880, 0), (20177008, 0), (20178864, 0), (20180624, 0), (20182864, 0), (20184576, 0), (20186560, 0), (20188544, 0), (20190400, 0), (20192368, 0), (20194432, 0), (20196432, 0), (20198816, 0), (20200800, 0), (20202768, 0), (20204688, 0), (20206544, 0), (20208528, 0), (20210512, 0), (20212368, 0), (20214128, 0), (20216208, 0), (20218128, 0), (20220048, 0), (20221808, 0), (20224080, 0), (20225984, 0), (20228032, 0), (20229744, 0), (20232000, 0), (20233776, 0), (20236080, 0), (20237856, 0), (20239712, 0), (20241616, 0), (20243792, 0), (20245680, 0), (20247440, 0), (20249648, 0), (20251536, 0), (20253296, 0), (20255232, 0), (20257136, 0), (20258880, 0), (20260720, 0), (20262896, 0), (20265024, 0), (20266880, 0), (20268848, 0), (20270816, 0), (20272720, 0), (20274992, 0), (20276896, 0), (20295056, 0), (20296384, 0), (20298400, 0), (20300320, 0), (20302176, 0), (20304080, 0), (20305984, 0), (20308000, 0), (20309712, 0), (20312752, 0), (20314768, 0), (20316704, 0), (20318560, 0), (20320416, 0), (20322448, 0), (20324304, 0), (20326208, 0), (20328112, 0), (20330144, 0), (20332272, 0), (20334128, 0), (20335920, -16), (20338176, 0), (20340224, 0), (20342080, 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":"585","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"106","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"33","CPU Time Post Normalization (ms)":"1659","CPU Time Problem Setup  (ms)":"33","CPU Time Search (ms)":"1626","Full CPU Time (ms)":"1693","Peak Memory (MB)":"30.7241"},
 "Components": [{"Component Stats": {"# Constraints":"585","# Variables":"106"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 2, 5, 11, 17, 33, 41, 64, 82, 99, 112, 125, 136, 142, 136, 131, 129, 135, 133, 128, 136, 142, 137, 134, 130, 120, 112, 102, 93, 86, 80, 77, 70, 62, 57, 49, 45, 44, 40, 39, 31, 28, 23, 17, 11, 8, 6, 5, 4, 4, 3, 2, 2, 2, 1, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"3565","# backtracks per level":"[2, 5, 11, 17, 33, 41, 64, 82, 99, 112, 125, 136, 142, 136, 131, 129, 135, 133, 128, 136, 142, 137, 134, 130, 120, 112, 102, 93, 86, 80, 77, 70, 62, 57, 49, 45, 44, 40, 39, 31, 28, 23, 17, 11, 8, 6, 5, 4, 4, 3, 2, 2, 2, 1, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"4584","# 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, 0, 0, 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, 0, 0, 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":"288751","# isValid Checks":"1944997"}}]}