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

Variable Max Cliques: [(V0, 1), (V1, 3), (V10, 8), (V100, 1), (V101, 8), (V102, 3), (V103, 5), (V104, 7), (V105, 8), (V11, 8), (V12, 8), (V13, 1), (V14, 3), (V15, 1), (V16, 6), (V17, 5), (V18, 8), (V19, 8), (V2, 7), (V20, 7), (V21, 7), (V22, 3), (V23, 4), (V24, 8), (V25, 8), (V26, 7), (V27, 1), (V28, 8), (V29, 7), (V3, 6), (V30, 1), (V31, 5), (V32, 3), (V33, 8), (V34, 7), (V35, 7), (V36, 3), (V37, 7), (V38, 7), (V39, 5), (V4, 8), (V40, 5), (V41, 1), (V42, 7), (V43, 1), (V44, 4), (V45, 8), (V46, 8), (V47, 7), (V48, 3), (V49, 8), (V5, 5), (V50, 5), (V51, 7), (V52, 3), (V53, 1), (V54, 5), (V55, 8), (V56, 7), (V57, 1), (V58, 7), (V59, 8), (V6, 8), (V60, 7), (V61, 8), (V62, 3), (V63, 8), (V64, 1), (V65, 7), (V66, 7), (V67, 8), (V68, 5), (V69, 3), (V7, 5), (V70, 5), (V71, 1), (V72, 8), (V73, 3), (V74, 8), (V75, 8), (V76, 7), (V77, 8), (V78, 7), (V79, 3), (V8, 5), (V80, 5), (V81, 1), (V82, 7), (V83, 8), (V84, 8), (V85, 8), (V86, 5), (V87, 3), (V88, 5), (V89, 7), (V9, 7), (V90, 1), (V91, 4), (V92, 1), (V93, 7), (V94, 7), (V95, 7), (V96, 6), (V97, 6), (V98, 7), (V99, 8)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(42806368, 0), (42867584, -8), (42869296, 0), (42910240, 0), (42911840, -7), (42913584, 0), (42976464, 0), (42978400, 0), (42980256, 0), (42982272, -7), (42988688, -8), (42989280, 0), (42989872, 0), (42990816, -7), (42992736, -8), (42994848, -8), (42996928, -8), (42998880, 0), (43001104, 0), (43002704, 0), (43004448, 0), (43006384, 0), (43008096, -8), (43010336, -8), (43012128, -7), (43014032, -7), (43015952, 0), (43018176, 0), (43019952, -8), (43021808, -8), (43023664, -7), (43025568, 0), (43027808, -8), (43029440, -7), (43031280, 0), (43033344, 0), (43035536, 0), (43037488, -8), (43039680, -7), (43041584, -7), (43044064, 0), (43045984, -7), (43048016, -7), (43049952, 0), (43051728, 0), (43053648, 0), (43055664, -7), (43057664, 0), (43059424, 0), (43061392, -8), (43063360, -8), (43065584, -7), (43067424, 0), (43069616, -8), (43071520, 0), (43073376, -7), (43075456, 0), (43077376, 0), (43079632, 0), (43081408, -8), (43083152, -7), (43085168, 0), (43087088, -7), (43089008, -8), (43091200, -7), (43092976, -8), (43095008, 0), (43097008, -8), (43098720, 0), (43100784, -7), (43102704, -7), (43104832, -8), (43106960, 0), (43108880, 0), (43110928, 0), (43112848, 0), (43114848, -8), (43116560, 0), (43118576, -8), (43120768, -8), (43122768, -7), (43124624, -8), (43126608, -7), (43128592, 0), (43130512, 0), (43132640, 0), (43134880, -7), (43136720, -8), (43138576, -8), (43140624, -8), (43160272, 0), (43162000, 0), (43163920, 0), (43165952, -7), (43167936, -7), (43169968, -7), (43172000, 0), (43173984, 0), (43176112, -7), (43178128, -8), (43179984, 0), (43181952, -8), (43183664, 0), (43185600, 0), (43187616, -7), (43189536, -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)":"25","CPU Time Post Normalization (ms)":"74","CPU Time Problem Setup  (ms)":"4","CPU Time Search (ms)":"48","Full CPU Time (ms)":"78","Peak Memory (MB)":"23.2325"},
 "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":"1682","# 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":"198","# 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":"10688","# isValid Checks":"74844"}, "POACQ": null}]}