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

Variable Max Cliques: [(V0, 13), (V1, 13), (V10, 13), (V100, 13), (V101, 13), (V102, 15), (V103, 11), (V104, 19), (V105, 11), (V106, 13), (V107, 1), (V108, 1), (V109, 7), (V11, 12), (V110, 13), (V111, 1), (V112, 3), (V113, 10), (V114, 10), (V115, 5), (V116, 7), (V117, 1), (V118, 9), (V119, 11), (V12, 12), (V120, 9), (V121, 10), (V122, 3), (V123, 9), (V124, 5), (V125, 5), (V126, 13), (V127, 7), (V128, 7), (V129, 10), (V13, 10), (V130, 10), (V131, 1), (V132, 11), (V133, 10), (V134, 13), (V135, 1), (V136, 11), (V137, 11), (V138, 10), (V139, 4), (V14, 14), (V140, 10), (V15, 1), (V16, 10), (V17, 13), (V18, 13), (V19, 1), (V2, 1), (V20, 3), (V21, 10), (V22, 10), (V23, 11), (V24, 13), (V25, 3), (V26, 8), (V27, 1), (V28, 7), (V29, 12), (V3, 1), (V30, 10), (V31, 10), (V32, 12), (V33, 1), (V34, 11), (V35, 11), (V36, 12), (V37, 11), (V38, 2), (V39, 10), (V4, 11), (V40, 12), (V41, 2), (V42, 12), (V43, 17), (V44, 12), (V45, 9), (V46, 4), (V47, 3), (V48, 12), (V49, 1), (V5, 1), (V50, 12), (V51, 14), (V52, 5), (V53, 2), (V54, 1), (V55, 1), (V56, 8), (V57, 8), (V58, 1), (V59, 10), (V6, 4), (V60, 7), (V61, 3), (V62, 15), (V63, 1), (V64, 13), (V65, 1), (V66, 14), (V67, 10), (V68, 2), (V69, 2), (V7, 11), (V70, 13), (V71, 11), (V72, 10), (V73, 2), (V74, 10), (V75, 8), (V76, 6), (V77, 6), (V78, 1), (V79, 12), (V8, 3), (V80, 1), (V81, 12), (V82, 17), (V83, 13), (V84, 12), (V85, 14), (V86, 11), (V87, 14), (V88, 15), (V89, 1), (V9, 17), (V90, 1), (V91, 13), (V92, 9), (V93, 11), (V94, 13), (V95, 10), (V96, 1), (V97, 1), (V98, 8), (V99, 5)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(23131088, 0), (23133248, 0), (23135088, 0), (23137296, 0), (23154640, 0), (23156144, 0), (23157824, 0), (23159472, 0), (23161280, 0), (23163248, 0), (23164992, 0), (23166896, 0), (23168800, 0), (23170720, -17), (23172448, 0), (23174288, 0), (23176176, 0), (23177888, 0), (23179808, 0), (23181984, 0), (23183904, 0), (23185824, 0), (23188064, 0), (23190304, 0), (23192128, 0), (23194272, 0), (23196128, 0), (23198128, 0), (23200096, 0), (23202368, 0), (23204224, 0), (23206080, 0), (23224672, 0), (23226848, 0), (23228800, 0), (23231024, 0), (23233408, 0), (23235552, 0), (23237472, 0), (23239392, 0), (23241376, 0), (23243296, 0), (23245328, 0), (23247456, -17), (23249344, 0), (23251248, 0), (23253264, 0), (23255120, 0), (23257008, 0), (23258928, 0), (23260608, 0), (23262608, 0), (23264832, 0), (23266608, 0), (23268592, 0), (23270304, 0), (23272304, 0), (23275024, 0), (23276944, 0), (23278928, 0), (23280912, 0), (23282896, 0), (23284832, 0), (23286752, 0), (23288464, 0), (23290512, 0), (23292192, 0), (23294208, 0), (23296064, 0), (23298048, 0), (23299760, 0), (23301856, 0), (23303840, 0), (23305760, 0), (23307984, 0), (23310032, 0), (23311984, 0), (23313840, 0), (23316000, 0), (23317712, 0), (23319600, 0), (23321440, 0), (23323408, -17), (23325456, 0), (23327504, 0), (23329632, 0), (23331616, 0), (23333552, 0), (23335760, 0), (23337696, 0), (23340800, 0), (23342576, 0), (23344352, 0), (23346448, 0), (23348576, 0), (23350496, 0), (23352272, 0), (23354128, 0), (23356096, 0), (23357952, 0), (23359840, 0), (23361744, 0), (23363648, 0), (23365536, 0), (23367440, -19), (23369712, 0), (23371488, 0), (23373472, 0), (23375488, 0), (23377344, 0), (23379360, 0), (23381280, 0), (23383200, 0), (23385264, 0), (23387264, 0), (23389536, 0), (23391744, 0), (23393792, 0), (23395744, 0), (23397728, 0), (23399712, 0), (23401840, 0), (23403984, 0), (23406048, 0), (23407888, 0), (23409872, 0), (23411856, 0), (23414144, 0), (23416256, 0), (23418400, 0), (23420448, 0), (23422496, 0), (23424384, 0), (23426656, 0), (23428560, 0), (23430416, 0), (23432464, 0), (23434384, 0), (23436560, 0), (23438752, 0), (23440672, 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":"882","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"141","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"88","CPU Time Post Normalization (ms)":"5249","CPU Time Problem Setup  (ms)":"24","CPU Time Search (ms)":"5160","Full CPU Time (ms)":"5273","Peak Memory (MB)":"67.3874"},
 "Components": [{"Component Stats": {"# Constraints":"882","# Variables":"141"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 5, 8, 14, 24, 37, 43, 51, 51, 52, 56, 59, 61, 71, 82, 86, 96, 107, 110, 114, 116, 123, 128, 139, 141, 143, 145, 137, 135, 130, 127, 130, 134, 134, 133, 133, 137, 134, 135, 146, 146, 142, 142, 138, 132, 131, 124, 128, 122, 119, 111, 111, 107, 100, 93, 85, 83, 76, 69, 61, 58, 50, 46, 48, 43, 40, 37, 30, 26, 24, 24, 18, 18, 17, 15, 15, 14, 9, 8, 7, 6, 5, 5, 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]","# backtracks":"6609","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 5, 8, 14, 24, 37, 43, 51, 51, 52, 56, 59, 61, 71, 82, 86, 96, 107, 110, 114, 116, 123, 128, 139, 141, 143, 145, 137, 135, 130, 127, 130, 134, 134, 133, 133, 137, 134, 135, 146, 146, 142, 142, 138, 132, 131, 124, 128, 122, 119, 111, 111, 107, 100, 93, 85, 83, 76, 69, 61, 58, 50, 46, 48, 43, 40, 37, 30, 26, 24, 24, 18, 18, 17, 15, 15, 14, 9, 8, 7, 6, 5, 5, 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]","# nodes visited":"8100","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"553","# 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":"15","# 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":"581562","# isValid Checks":"3790156"}}]}