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

Variable Max Cliques: [(V0, 7), (V1, 1), (V10, 7), (V100, 3), (V101, 7), (V102, 7), (V103, 1), (V104, 7), (V105, 7), (V11, 1), (V12, 7), (V13, 3), (V14, 7), (V15, 7), (V16, 7), (V17, 7), (V18, 5), (V19, 3), (V2, 6), (V20, 1), (V21, 9), (V22, 1), (V23, 6), (V24, 9), (V25, 7), (V26, 3), (V27, 6), (V28, 3), (V29, 5), (V3, 3), (V30, 8), (V31, 8), (V32, 1), (V33, 5), (V34, 7), (V35, 6), (V36, 6), (V37, 1), (V38, 5), (V39, 8), (V4, 7), (V40, 8), (V41, 3), (V42, 3), (V43, 7), (V44, 6), (V45, 4), (V46, 7), (V47, 1), (V48, 6), (V49, 7), (V5, 7), (V50, 1), (V51, 3), (V52, 5), (V53, 7), (V54, 5), (V55, 8), (V56, 5), (V57, 3), (V58, 9), (V59, 8), (V6, 7), (V60, 7), (V61, 7), (V62, 1), (V63, 1), (V64, 7), (V65, 5), (V66, 7), (V67, 9), (V68, 3), (V69, 7), (V7, 9), (V70, 8), (V71, 4), (V72, 6), (V73, 5), (V74, 1), (V75, 8), (V76, 4), (V77, 8), (V78, 1), (V79, 5), (V8, 8), (V80, 7), (V81, 3), (V82, 7), (V83, 5), (V84, 8), (V85, 8), (V86, 3), (V87, 1), (V88, 5), (V89, 7), (V9, 5), (V90, 5), (V91, 8), (V92, 8), (V93, 8), (V94, 3), (V95, 8), (V96, 8), (V97, 6), (V98, 1), (V99, 7)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(35068800, 0), (35070768, 0), (35111456, 0), (35112944, 0), (35114672, 0), (35177680, 0), (35179648, 0), (35181504, 0), (35184912, 0), (35189904, 0), (35190496, 0), (35191088, -9), (35191680, -8), (35193280, 0), (35195248, 0), (35197184, 0), (35199040, 0), (35201056, 0), (35203056, 0), (35204768, 0), (35206544, 0), (35208256, 0), (35210176, 0), (35212064, 0), (35214048, 0), (35216032, -9), (35217888, 0), (35219984, 0), (35221696, -9), (35223584, 0), (35225488, 0), (35227344, 0), (35229200, 0), (35231392, 0), (35233504, -8), (35235456, -8), (35237136, 0), (35239088, 0), (35241312, 0), (35243088, 0), (35245728, 0), (35247584, 0), (35249600, 0), (35251456, -8), (35253360, -8), (35255264, 0), (35257296, 0), (35259488, 0), (35261392, 0), (35263312, 0), (35265344, 0), (35267280, 0), (35269200, 0), (35271120, 0), (35273104, 0), (35275296, 0), (35277344, 0), (35279280, 0), (35281040, 0), (35283216, -8), (35285408, 0), (35287296, 0), (35289152, -9), (35291040, -8), (35293072, 0), (35294928, 0), (35296928, 0), (35298640, 0), (35300704, 0), (35302416, 0), (35304480, 0), (35306416, -9), (35308544, 0), (35310384, 0), (35312368, -8), (35314368, 0), (35316496, 0), (35318352, 0), (35320320, 0), (35322304, -8), (35324224, 0), (35326352, -8), (35328544, 0), (35330448, 0), (35332448, 0), (35334432, 0), (35336640, 0), (35338560, 0), (35340496, -8), (35342416, -8), (35344128, 0), (35363296, -8), (35365328, -8), (35367328, -8), (35369312, 0), (35371264, -8), (35372976, -8), (35375200, 0), (35377040, 0), (35379264, 0), (35381392, 0), (35383168, 0), (35385200, 0), (35387184, 0), (35388896, 0), (35390896, 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)":"23","CPU Time Post Normalization (ms)":"251","CPU Time Problem Setup  (ms)":"4","CPU Time Search (ms)":"227","Full CPU Time (ms)":"255","Peak Memory (MB)":"20.1605"},
 "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":"650","# 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":"66","# 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":"35742","# isValid Checks":"843001"}, "POACQ": null}]}