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

Variable Max Cliques: [(V0, 1), (V1, 7), (V10, 8), (V100, 3), (V101, 6), (V102, 6), (V103, 8), (V104, 6), (V105, 1), (V11, 6), (V12, 8), (V13, 3), (V14, 3), (V15, 7), (V16, 8), (V17, 7), (V18, 1), (V19, 5), (V2, 7), (V20, 5), (V21, 5), (V22, 6), (V23, 9), (V24, 3), (V25, 1), (V26, 7), (V27, 8), (V28, 1), (V29, 7), (V3, 7), (V30, 6), (V31, 7), (V32, 3), (V33, 5), (V34, 9), (V35, 7), (V36, 3), (V37, 4), (V38, 1), (V39, 7), (V4, 7), (V40, 9), (V41, 7), (V42, 9), (V43, 8), (V44, 5), (V45, 1), (V46, 9), (V47, 7), (V48, 3), (V49, 6), (V5, 3), (V50, 4), (V51, 1), (V52, 4), (V53, 8), (V54, 8), (V55, 6), (V56, 3), (V57, 7), (V58, 6), (V59, 7), (V6, 6), (V60, 7), (V61, 1), (V62, 7), (V63, 7), (V64, 6), (V65, 9), (V66, 5), (V67, 1), (V68, 5), (V69, 6), (V7, 8), (V70, 7), (V71, 6), (V72, 8), (V73, 5), (V74, 1), (V75, 3), (V76, 7), (V77, 7), (V78, 7), (V79, 1), (V8, 7), (V80, 3), (V81, 7), (V82, 9), (V83, 8), (V84, 8), (V85, 5), (V86, 9), (V87, 3), (V88, 5), (V89, 7), (V9, 1), (V90, 1), (V91, 9), (V92, 6), (V93, 1), (V94, 5), (V95, 3), (V96, 7), (V97, 5), (V98, 6), (V99, 8)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(33442928, 0), (33504128, 0), (33505840, 0), (33546784, 0), (33548592, 0), (33613008, -8), (33614928, 0), (33616688, -9), (33618752, 0), (33620464, 0), (33625232, 0), (33625824, 0), (33626416, -8), (33627008, 0), (33628368, 0), (33630032, -8), (33631600, 0), (33633792, -8), (33635696, 0), (33637616, 0), (33639744, 0), (33641456, -8), (33643248, 0), (33645216, 0), (33647232, 0), (33649440, 0), (33651360, 0), (33653392, 0), (33655872, -9), (33657712, 0), (33659904, 0), (33661744, 0), (33663664, -8), (33665648, 0), (33667360, 0), (33669376, 0), (33671296, 0), (33673152, 0), (33674960, 0), (33676928, -9), (33679152, 0), (33681456, 0), (33683424, 0), (33685616, 0), (33687664, 0), (33689616, -9), (33691744, 0), (33693632, -9), (33695344, -8), (33697376, 0), (33699296, 0), (33701008, -9), (33702960, 0), (33704928, 0), (33706992, 0), (33709120, 0), (33711072, 0), (33713280, 0), (33715056, -8), (33717120, -8), (33719088, 0), (33721104, 0), (33722960, 0), (33724848, 0), (33727072, 0), (33729184, 0), (33731024, 0), (33732880, 0), (33734912, 0), (33736896, 0), (33738688, -9), (33740544, 0), (33742528, 0), (33744448, 0), (33746704, 0), (33748384, 0), (33750624, 0), (33752576, -8), (33754432, 0), (33756352, 0), (33758320, 0), (33760256, 0), (33761968, 0), (33763920, 0), (33765680, 0), (33767760, 0), (33769680, 0), (33771664, -9), (33773584, -8), (33792944, 0), (33796096, 0), (33797872, -9), (33799872, 0), (33801728, 0), (33803744, 0), (33805456, 0), (33807408, 0), (33809456, 0), (33811440, 0), (33813376, -8), (33815504, 0), (33817408, 0), (33819600, 0), (33821440, -8), (33823152, 0), (33824976, 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":"30","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"106","Boost Version":"1.75.0","Instance Name":"","Max Arity":"8","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"26","CPU Time Post Normalization (ms)":"77","CPU Time Problem Setup  (ms)":"4","CPU Time Search (ms)":"51","Full CPU Time (ms)":"82","Peak Memory (MB)":"20.1318"},
 "Components": [{"Component Stats": {"# Constraints":"30","# Variables":"106"}, "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, 0, 0, 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, 0, 0, 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":"106","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"1540","# 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":"186","# 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."}, "POAC1": null, "STR2": {"# calls to revise":"10322","# isValid Checks":"106327"}, "POACQ": null}]}