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

Variable Max Cliques: [(V0, 6), (V1, 1), (V10, 8), (V100, 5), (V101, 7), (V102, 5), (V103, 1), (V104, 7), (V105, 8), (V11, 5), (V12, 8), (V13, 1), (V14, 8), (V15, 5), (V16, 3), (V17, 8), (V18, 8), (V19, 1), (V2, 8), (V20, 8), (V21, 8), (V22, 1), (V23, 7), (V24, 7), (V25, 3), (V26, 8), (V27, 5), (V28, 5), (V29, 7), (V3, 8), (V30, 3), (V31, 7), (V32, 7), (V33, 8), (V34, 1), (V35, 6), (V36, 1), (V37, 8), (V38, 7), (V39, 8), (V4, 3), (V40, 5), (V41, 3), (V42, 2), (V43, 5), (V44, 8), (V45, 5), (V46, 7), (V47, 7), (V48, 3), (V49, 7), (V5, 5), (V50, 1), (V51, 8), (V52, 6), (V53, 9), (V54, 8), (V55, 4), (V56, 8), (V57, 7), (V58, 7), (V59, 1), (V6, 8), (V60, 8), (V61, 5), (V62, 8), (V63, 3), (V64, 7), (V65, 3), (V66, 8), (V67, 1), (V68, 7), (V69, 5), (V7, 8), (V70, 8), (V71, 8), (V72, 2), (V73, 7), (V74, 1), (V75, 4), (V76, 8), (V77, 8), (V78, 3), (V79, 5), (V8, 3), (V80, 8), (V81, 7), (V82, 6), (V83, 1), (V84, 5), (V85, 6), (V86, 7), (V87, 1), (V88, 8), (V89, 3), (V9, 7), (V90, 8), (V91, 8), (V92, 8), (V93, 3), (V94, 6), (V95, 6), (V96, 4), (V97, 1), (V98, 6), (V99, 4)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(43592096, 0), (43593488, 0), (43654016, 0), (43655952, 0), (43696672, -8), (43698128, -8), (43762896, -8), (43764864, -8), (43766832, -8), (43768688, 0), (43775120, -8), (43775712, -8), (43776304, 0), (43776896, 0), (43777584, -8), (43779328, 0), (43781456, -8), (43783488, 0), (43785440, -8), (43787360, 0), (43789376, 0), (43791296, -8), (43793536, -8), (43795376, 0), (43797232, -8), (43799184, -8), (43801136, 0), (43803280, 0), (43805392, 0), (43807232, 0), (43809152, -8), (43811152, 0), (43813280, 0), (43815376, 0), (43817200, 0), (43819200, 0), (43821392, 0), (43823072, -8), (43824896, 0), (43826848, 0), (43828816, 0), (43830672, -8), (43832752, 0), (43834944, -8), (43836784, 0), (43838560, 0), (43840576, 0), (43842704, 0), (43844672, -8), (43846528, 0), (43848592, 0), (43850592, 0), (43852592, 0), (43854720, 0), (43856704, 0), (43858416, -8), (43860304, 0), (43862336, -9), (43864368, -8), (43866352, 0), (43868208, -8), (43870064, 0), (43872112, 0), (43874096, 0), (43876224, -8), (43878192, 0), (43880048, -8), (43881968, 0), (43883872, 0), (43885920, 0), (43887680, -8), (43889488, 0), (43891728, 0), (43893504, 0), (43895520, -8), (43897504, -8), (43899632, 0), (43901344, 0), (43903184, 0), (43905104, 0), (43906864, -8), (43908880, -8), (43910800, 0), (43912816, 0), (43914672, -8), (43916944, 0), (43918784, 0), (43920640, 0), (43922592, 0), (43924640, 0), (43926768, 0), (43928688, 0), (43930976, -8), (43932880, 0), (43952112, 0), (43953472, 0), (43955472, 0), (43957424, 0), (43959440, 0), (43961296, 0), (43963328, 0), (43965312, 0), (43967168, 0), (43969072, 0), (43970928, 0), (43972976, -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":"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)":"24","CPU Time Post Normalization (ms)":"384","CPU Time Problem Setup  (ms)":"4","CPU Time Search (ms)":"359","Full CPU Time (ms)":"389","Peak Memory (MB)":"22.6877"},
 "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":"936","# 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":"55","# 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":"60723","# isValid Checks":"1576521"}, "POACQ": null}]}