2026-03-23 23:20:29,715 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:["V29","V46","V53","V56","V57","V58","V59","V60","V62","V77","V93","V139","V61",],
1:["V9","V56","V65","V80","V87","V111","V112","V113","V114","V115","V116","V118","V110",],
2:["V71","V73","V74","V75","V76","V77","V119","V1","V18","V24","V33","V40","V57","V72",],
3:["V7","V8","V9","V10","V11","V12","V13","V15","V70","V84","V100","V116","V131","V14",],
4:["V5","V52","V59","V86","V87","V88","V89","V91","V92","V93","V98","V106","V114","V138","V90",],
5:["V3","V26","V42","V78","V79","V80","V82","V83","V84","V85","V88","V97","V112","V135","V81",],
6:["V45","V60","V63","V64","V65","V66","V67","V69","V70","V83","V92","V115","V122","V129","V68",],
7:["V8","V16","V32","V49","V50","V51","V52","V53","V54","V55","V63","V78","V102","V117","V48",],
8:["V4","V35","V40","V41","V42","V44","V45","V46","V47","V51","V74","V104","V128","V136","V43",],
9:["V30","V32","V33","V34","V35","V36","V38","V39","V47","V54","V62","V69","V108","V123","V37",],
10:["V12","V24","V25","V26","V27","V29","V30","V31","V36","V76","V82","V91","V99","V107","V28",],
11:["V2","V16","V17","V18","V19","V20","V22","V23","V50","V73","V96","V121","V127","V134","V21",],
12:["V10","V19","V41","V66","V103","V120","V125","V134","V135","V136","V137","V138","V139","V140","V133",],
13:["V11","V20","V25","V34","V58","V95","V111","V125","V127","V128","V129","V130","V131","V132","V126",],
14:["V6","V13","V22","V38","V55","V130","V140","V117","V118","V119","V120","V121","V122","V123","V124",],
15:["V27","V44","V67","V75","V89","V102","V103","V104","V106","V107","V108","V109","V113","V137","V105",],
16:["V15","V23","V31","V39","V85","V94","V95","V96","V97","V98","V99","V100","V109","V132","V101",],
17:["V1","V2","V3","V4","V5","V6","V7","V17","V49","V64","V71","V79","V86","V94","V0",],
18:["V1","V18","V24","V29","V33","V40","V46","V53","V56","V57","V58","V59","V60","V62","V71","V73","V74","V75","V76","V93","V119","V139","V77",],
19:["V7","V8","V10","V11","V12","V13","V15","V56","V65","V70","V80","V84","V87","V100","V111","V112","V113","V114","V115","V116","V118","V131","V9",],
20:["V1","V2","V3","V4","V5","V6","V7","V17","V49","V52","V59","V64","V71","V79","V87","V88","V89","V91","V92","V93","V94","V98","V106","V114","V138","V86",],
21:["V12","V24","V25","V26","V27","V29","V30","V31","V32","V33","V34","V35","V38","V39","V47","V54","V62","V69","V76","V82","V91","V99","V107","V108","V123","V36",],
22:["V11","V15","V20","V23","V25","V31","V34","V39","V58","V85","V94","V96","V97","V98","V99","V100","V109","V111","V125","V127","V128","V129","V130","V131","V132","V95",],
23:["V2","V6","V13","V16","V17","V18","V19","V20","V23","V38","V50","V55","V73","V96","V117","V118","V119","V120","V121","V122","V123","V127","V130","V134","V140","V22",],
24:["V4","V27","V35","V40","V41","V42","V45","V46","V47","V51","V67","V74","V75","V89","V102","V103","V104","V106","V107","V108","V109","V113","V128","V136","V137","V44",],
25:["V3","V26","V42","V45","V60","V63","V64","V65","V66","V67","V69","V70","V78","V79","V80","V82","V84","V85","V88","V92","V97","V112","V115","V122","V129","V135","V83",],
26:["V2","V6","V8","V13","V16","V17","V18","V19","V20","V23","V32","V38","V49","V50","V51","V52","V53","V54","V63","V73","V78","V96","V102","V117","V118","V119","V120","V122","V123","V127","V130","V134","V140","V55",],
27:["V4","V10","V19","V27","V35","V40","V42","V45","V46","V47","V51","V66","V67","V74","V75","V89","V102","V103","V106","V107","V108","V109","V113","V120","V125","V128","V134","V135","V136","V137","V138","V139","V140","V41",],
28:["V69","V71","V73","V74","V75","V82","V91","V93","V99","V107","V108","V119","V123","V1","V12","V18","V24","V25","V26","V27","V29","V31","V32","V33","V34","V35","V38","V39","V40","V46","V47","V53","V54","V56","V58","V59","V60","V62","V139","V76",],
29:["V3","V7","V8","V10","V11","V12","V13","V15","V26","V42","V45","V56","V60","V63","V64","V65","V66","V67","V69","V70","V78","V79","V80","V82","V85","V87","V88","V92","V97","V100","V111","V112","V113","V114","V115","V118","V122","V129","V131","V135","V84",],
30:["V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V13","V15","V17","V26","V42","V45","V49","V52","V56","V59","V60","V63","V64","V66","V67","V69","V71","V78","V79","V82","V85","V87","V88","V89","V91","V93","V94","V97","V98","V100","V106","V111","V113","V114","V118","V122","V129","V131","V135","V138","V92",],
31:["V2","V6","V8","V11","V13","V15","V17","V18","V19","V20","V23","V25","V31","V32","V34","V38","V39","V49","V51","V52","V53","V54","V58","V63","V73","V78","V85","V94","V97","V98","V99","V100","V102","V109","V111","V118","V119","V120","V122","V123","V125","V127","V128","V129","V130","V131","V134","V140","V96",],
32:["V66","V67","V69","V71","V73","V74","V82","V89","V91","V93","V99","V102","V106","V107","V108","V109","V113","V119","V120","V123","V125","V1","V4","V10","V12","V18","V19","V25","V26","V27","V31","V32","V34","V35","V38","V39","V40","V42","V45","V46","V47","V51","V53","V54","V56","V58","V59","V60","V128","V134","V135","V138","V139","V140","V75",],
33:["V1","V2","V4","V6","V8","V10","V11","V12","V13","V15","V17","V18","V19","V25","V26","V31","V32","V34","V38","V39","V42","V45","V49","V51","V52","V53","V54","V56","V58","V59","V60","V63","V66","V67","V69","V71","V73","V78","V82","V85","V89","V91","V93","V94","V97","V98","V100","V102","V106","V109","V111","V113","V118","V119","V120","V122","V123","V125","V128","V129","V131","V134","V135","V138","V140","V99",],
}

Variable Max Cliques: [(V0, 1), (V1, 8), (V10, 8), (V100, 8), (V101, 1), (V102, 8), (V103, 4), (V104, 3), (V105, 1), (V106, 8), (V107, 7), (V108, 7), (V109, 8), (V11, 8), (V110, 1), (V111, 8), (V112, 5), (V113, 9), (V114, 6), (V115, 5), (V116, 3), (V117, 4), (V118, 9), (V119, 9), (V12, 9), (V120, 8), (V121, 3), (V122, 9), (V123, 9), (V124, 1), (V125, 7), (V126, 1), (V127, 6), (V128, 8), (V129, 8), (V13, 9), (V130, 6), (V131, 8), (V132, 3), (V133, 1), (V134, 8), (V135, 8), (V136, 4), (V137, 4), (V138, 7), (V139, 6), (V14, 1), (V140, 8), (V15, 8), (V16, 4), (V17, 8), (V18, 9), (V19, 8), (V2, 8), (V20, 6), (V21, 1), (V22, 3), (V23, 6), (V24, 5), (V25, 8), (V26, 9), (V27, 7), (V28, 1), (V29, 5), (V3, 6), (V30, 3), (V31, 8), (V32, 8), (V33, 5), (V34, 8), (V35, 7), (V36, 3), (V37, 1), (V38, 9), (V39, 8), (V4, 8), (V40, 7), (V41, 4), (V42, 9), (V43, 1), (V44, 3), (V45, 9), (V46, 7), (V47, 7), (V48, 1), (V49, 7), (V5, 3), (V50, 4), (V51, 8), (V52, 7), (V53, 8), (V54, 8), (V55, 4), (V56, 9), (V57, 3), (V58, 8), (V59, 8), (V6, 8), (V60, 9), (V61, 1), (V62, 5), (V63, 8), (V64, 6), (V65, 5), (V66, 8), (V67, 9), (V68, 1), (V69, 9), (V7, 6), (V70, 5), (V71, 8), (V72, 1), (V73, 9), (V74, 7), (V75, 7), (V76, 5), (V77, 3), (V78, 8), (V79, 6), (V8, 8), (V80, 5), (V81, 1), (V82, 9), (V83, 3), (V84, 5), (V85, 8), (V86, 3), (V87, 6), (V88, 6), (V89, 8), (V9, 3), (V90, 1), (V91, 8), (V92, 6), (V93, 8), (V94, 7), (V95, 3), (V96, 6), (V97, 8), (V98, 7), (V99, 8)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(17177472, 0), (17179472, 0), (17181488, -8), (17183200, -8), (17258240, 0), (17260240, -8), (17261984, -8), (17263776, 0), (17265408, -8), (17267376, 0), (17269104, -8), (17270832, 0), (17272720, -8), (17274816, 0), (17276736, -8), (17278416, -8), (17280528, -9), (17282480, -9), (17284608, 0), (17286736, -8), (17288592, 0), (17290448, -8), (17292656, -9), (17294432, -8), (17296400, 0), (17298320, 0), (17300320, 0), (17302800, 0), (17304576, 0), (17306576, -8), (17308704, -9), (17310848, 0), (17312896, 0), (17331168, 0), (17332768, -8), (17334480, 0), (17337264, 0), (17339216, 0), (17341440, -9), (17343216, -8), (17345296, 0), (17347424, 0), (17349344, -9), (17351392, 0), (17353408, 0), (17355408, -9), (17357440, 0), (17359424, 0), (17361424, 0), (17363456, 0), (17365376, 0), (17367392, -8), (17369360, 0), (17371360, -8), (17373072, -8), (17374912, 0), (17376960, -9), (17378944, 0), (17380864, -8), (17382576, -8), (17384640, -9), (17386576, 0), (17388496, 0), (17390352, -8), (17392240, 0), (17394368, 0), (17396496, -8), (17398400, -9), (17400448, 0), (17402416, -9), (17404608, 0), (17406528, -8), (17408448, 0), (17410304, -9), (17412240, 0), (17414208, 0), (17416208, 0), (17418400, 0), (17420304, -8), (17422304, 0), (17424224, 0), (17426224, 0), (17428208, -9), (17430192, 0), (17432048, 0), (17434016, -8), (17435984, 0), (17438064, 0), (17440000, 0), (17442016, -8), (17445152, 0), (17447184, -8), (17449184, 0), (17451200, -8), (17453216, 0), (17455408, 0), (17457248, 0), (17459168, -8), (17461152, 0), (17463072, -8), (17465104, -8), (17466960, 0), (17468992, -8), (17470912, 0), (17473152, 0), (17475120, 0), (17476976, -8), (17479232, 0), (17481280, 0), (17483200, -8), (17485056, 0), (17487072, -8), (17489040, 0), (17490816, -9), (17492832, 0), (17494896, 0), (17496944, 0), (17498864, 0), (17500720, -9), (17502512, -9), (17504480, -8), (17506832, 0), (17508448, -9), (17510208, -9), (17512000, 0), (17514016, 0), (17515936, 0), (17518160, 0), (17520016, -8), (17522368, -8), (17524224, 0), (17526208, -8), (17528064, 0), (17529744, 0), (17532000, -8), (17534112, -8), (17535888, 0), (17537888, 0), (17539600, 0), (17541600, 0), (17543488, -8)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"36","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"141","Boost Version":"1.75.0","Instance Name":"","Max Arity":"8","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"44","CPU Time Post Normalization (ms)":"87","CPU Time Problem Setup  (ms)":"95","CPU Time Search (ms)":"42","Full CPU Time (ms)":"183","Peak Memory (MB)":"27.82"},
 "Components": [{"Component Stats": {"# Constraints":"36","# Variables":"141"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 4, 4, 4, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"163","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 4, 4, 4, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"341","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"609","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"37","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2204","# isValid Checks":"64771"}}]}