2026-03-23 06:53:02,389 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:["V2","V89","V94","V95","V90",],
1:["V13","V24","V73","V78","V80","V76",],
2:["V57","V58","V60","V61","V63","V62",],
3:["V42","V44","V45","V47","V48","V46",],
4:["V22","V34","V37","V38","V40","V39",],
5:["V3","V25","V26","V28","V29","V31",],
6:["V11","V89","V91","V92","V93","V94","V96",],
7:["V14","V81","V82","V85","V86","V87","V83",],
8:["V18","V65","V66","V67","V70","V71","V69",],
9:["V57","V59","V60","V61","V63","V64","V58",],
10:["V8","V59","V60","V61","V63","V64","V57",],
11:["V19","V41","V42","V44","V45","V47","V48",],
12:["V19","V41","V42","V43","V45","V47","V44",],
13:["V6","V19","V41","V43","V45","V47","V42",],
14:["V4","V25","V26","V27","V29","V32","V30",],
15:["V97","V98","V100","V101","V102","V103","V104","V99",],
16:["V0","V12","V73","V75","V78","V79","V80","V74",],
17:["V10","V13","V65","V66","V67","V70","V71","V72",],
18:["V4","V49","V51","V52","V53","V54","V56","V50",],
19:["V10","V22","V33","V34","V35","V37","V38","V40",],
20:["V2","V11","V24","V91","V92","V93","V94","V95","V89",],
21:["V7","V11","V81","V82","V84","V85","V86","V87","V88",],
22:["V0","V11","V12","V73","V75","V77","V78","V80","V79",],
23:["V6","V8","V17","V24","V59","V60","V61","V64","V63",],
24:["V4","V11","V49","V51","V52","V53","V55","V56","V54",],
25:["V0","V6","V18","V19","V24","V41","V45","V47","V43",],
26:["V9","V10","V22","V33","V35","V36","V37","V38","V34",],
27:["V3","V4","V23","V25","V26","V27","V28","V32","V29",],
28:["V3","V4","V11","V23","V25","V27","V28","V32","V26",],
29:["V2","V3","V4","V11","V23","V25","V28","V32","V27",],
30:["V2","V20","V97","V98","V100","V102","V103","V104","V101",],
31:["V2","V17","V20","V97","V98","V100","V103","V104","V102",],
32:["V2","V17","V20","V21","V97","V98","V100","V103","V104",],
33:["V2","V10","V11","V13","V24","V91","V92","V93","V94","V95",],
34:["V1","V7","V11","V22","V81","V82","V85","V86","V87","V84",],
35:["V0","V11","V12","V13","V24","V73","V75","V77","V78","V80",],
36:["V0","V10","V11","V12","V13","V24","V73","V75","V78","V77",],
37:["V10","V13","V18","V19","V22","V65","V66","V67","V71","V70",],
38:["V6","V8","V14","V17","V19","V24","V59","V60","V61","V64",],
39:["V0","V4","V10","V11","V49","V52","V53","V55","V56","V51",],
40:["V0","V4","V10","V11","V17","V49","V52","V53","V55","V56",],
41:["V4","V8","V9","V10","V22","V33","V36","V37","V38","V35",],
42:["V2","V3","V4","V6","V11","V13","V23","V28","V32","V25",],
43:["V2","V5","V11","V17","V20","V21","V97","V98","V103","V100",],
44:["V0","V2","V5","V6","V11","V17","V20","V21","V97","V103","V98",],
45:["V2","V6","V10","V11","V13","V23","V24","V91","V92","V94","V93",],
46:["V2","V10","V13","V18","V19","V22","V65","V67","V68","V71","V66",],
47:["V2","V10","V12","V13","V18","V19","V22","V65","V68","V71","V67",],
48:["V0","V4","V10","V11","V14","V17","V21","V49","V52","V55","V53",],
49:["V0","V4","V6","V9","V17","V18","V19","V24","V41","V45","V47",],
50:["V3","V4","V8","V9","V10","V20","V22","V36","V37","V38","V33",],
51:["V2","V6","V10","V11","V13","V14","V18","V23","V24","V91","V92","V94",],
52:["V1","V5","V7","V11","V14","V15","V22","V81","V85","V86","V87","V82",],
53:["V0","V1","V5","V8","V10","V11","V12","V13","V24","V73","V78","V75",],
54:["V0","V5","V6","V8","V14","V17","V19","V22","V24","V60","V61","V59",],
55:["V0","V4","V5","V10","V11","V14","V17","V21","V24","V52","V55","V49",],
56:["V1","V3","V4","V8","V9","V10","V20","V22","V24","V37","V38","V36",],
57:["V0","V2","V4","V5","V6","V11","V13","V17","V20","V21","V24","V97","V103",],
58:["V0","V2","V4","V5","V6","V7","V11","V13","V17","V20","V21","V24","V97",],
59:["V1","V4","V5","V7","V11","V14","V15","V16","V22","V85","V86","V87","V81",],
60:["V2","V8","V10","V12","V13","V18","V19","V22","V23","V24","V65","V71","V68",],
61:["V0","V3","V4","V5","V10","V11","V13","V14","V17","V21","V24","V55","V52",],
62:["V1","V3","V4","V8","V9","V10","V12","V16","V20","V22","V24","V38","V37",],
63:["V2","V3","V4","V5","V6","V11","V13","V14","V16","V23","V24","V28","V32",],
64:["V0","V1","V5","V8","V10","V11","V12","V13","V15","V16","V22","V24","V73","V78",],
65:["V0","V3","V4","V5","V10","V11","V12","V13","V14","V17","V20","V21","V24","V55",],
66:["V0","V4","V6","V7","V8","V9","V11","V16","V17","V18","V19","V24","V45","V41",],
67:["V0","V2","V6","V9","V10","V11","V13","V14","V18","V20","V22","V23","V24","V92","V91",],
68:["V1","V2","V4","V5","V7","V11","V13","V14","V15","V16","V19","V22","V85","V86","V87",],
69:["V1","V2","V4","V5","V7","V11","V13","V14","V15","V16","V19","V22","V24","V86","V85",],
70:["V0","V1","V2","V5","V8","V10","V11","V12","V13","V15","V16","V18","V22","V24","V73",],
71:["V0","V2","V8","V10","V12","V13","V15","V18","V19","V21","V22","V23","V24","V71","V65",],
72:["V0","V5","V6","V7","V8","V13","V14","V15","V17","V19","V21","V22","V24","V61","V60",],
73:["V0","V1","V2","V4","V5","V7","V10","V11","V13","V14","V15","V16","V19","V22","V24","V86",],
74:["V0","V2","V3","V8","V10","V12","V13","V15","V16","V18","V19","V21","V22","V23","V24","V71",],
75:["V0","V4","V6","V7","V8","V9","V11","V12","V16","V17","V18","V19","V22","V23","V24","V45",],
76:["V0","V1","V3","V4","V5","V8","V9","V10","V11","V12","V15","V16","V20","V22","V24","V38",],
77:["V0","V3","V5","V6","V7","V8","V13","V14","V15","V17","V18","V19","V21","V22","V23","V24","V61",],
78:["V1","V2","V3","V4","V5","V6","V7","V11","V12","V13","V14","V16","V21","V22","V23","V24","V28",],
79:["V0","V2","V5","V6","V9","V10","V11","V12","V13","V14","V15","V16","V18","V20","V22","V23","V24","V92",],
80:["V0","V1","V2","V3","V4","V5","V6","V7","V8","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V22","V23","V24","V9",],
81:["V0","V1","V2","V3","V4","V5","V6","V7","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V8",],
}

Variable Max Cliques: [(V0, 31), (V1, 15), (V10, 32), (V100, 5), (V101, 2), (V102, 3), (V103, 7), (V104, 4), (V11, 41), (V12, 19), (V13, 32), (V14, 21), (V15, 15), (V16, 16), (V17, 21), (V18, 18), (V19, 22), (V2, 29), (V20, 16), (V21, 15), (V22, 31), (V23, 17), (V24, 38), (V25, 6), (V26, 4), (V27, 4), (V28, 7), (V29, 3), (V3, 17), (V30, 1), (V31, 1), (V32, 6), (V33, 4), (V34, 3), (V35, 3), (V36, 4), (V37, 7), (V38, 8), (V39, 1), (V4, 31), (V40, 2), (V41, 6), (V42, 4), (V43, 3), (V44, 3), (V45, 8), (V46, 1), (V47, 6), (V48, 2), (V49, 6), (V5, 24), (V50, 1), (V51, 3), (V52, 7), (V53, 5), (V54, 2), (V55, 7), (V56, 4), (V57, 3), (V58, 2), (V59, 5), (V6, 22), (V60, 7), (V61, 8), (V62, 1), (V63, 4), (V64, 4), (V65, 7), (V66, 4), (V67, 5), (V68, 3), (V69, 1), (V7, 15), (V70, 3), (V71, 8), (V72, 1), (V73, 8), (V74, 1), (V75, 5), (V76, 1), (V77, 3), (V78, 7), (V79, 2), (V8, 21), (V80, 4), (V81, 5), (V82, 4), (V83, 1), (V84, 2), (V85, 7), (V86, 8), (V87, 6), (V88, 1), (V89, 3), (V9, 12), (V90, 1), (V91, 6), (V92, 7), (V93, 4), (V94, 6), (V95, 3), (V96, 1), (V97, 8), (V98, 6), (V99, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(23894160, 0), (23896928, 0), (23909232, 0), (23911088, -41), (23919040, 0), (23928800, 0), (23932720, 0), (23934416, 0), (23939024, 0), (23940704, 0), (23945024, 0), (23945888, 0), (23948544, 0), (23957104, 0), (23962512, 0), (23974704, 0), (23980576, 0), (23998144, 0), (24000768, 0), (24025856, 0), (24027104, 0), (24028352, 0), (24029600, 0), (24030848, 0), (24032576, -38), (24035120, 0), (24037728, 0), (24040304, 0), (24042880, 0), (24045456, 0), (24048032, 0), (24050608, 0), (24053184, 0), (24055760, 0), (24058336, 0), (24060912, 0), (24063952, 0), (24066528, 0), (24069104, 0), (24071680, 0), (24074256, 0), (24076832, 0), (24079408, 0), (24081984, 0), (24084560, 0), (24087136, 0), (24089712, 0), (24092288, 0), (24094864, 0), (24097440, 0), (24100016, 0), (24102592, 0), (24105168, 0), (24107744, 0), (24110320, 0), (24112896, 0), (24115472, 0), (24118048, 0), (24120624, 0), (24123200, 0), (24125776, 0), (24128352, 0), (24130928, 0), (24133504, 0), (24136048, 0), (24138656, 0), (24141232, 0), (24143808, 0), (24146384, 0), (24148960, 0), (24151536, 0), (24154112, 0), (24156688, 0), (24159264, 0), (24161840, 0), (24164416, 0), (24166992, 0), (24169568, 0), (24172144, 0), (24174720, 0), (24177296, 0), (24179872, 0), (24182448, 0), (24185024, 0), (24187600, 0), (24190176, 0), (24192752, 0), (24195328, 0), (24197904, 0), (24200480, 0), (24204208, 0), (24206752, 0), (24209360, 0), (24211936, 0), (24214512, 0), (24217088, 0), (24219664, 0), (24222240, 0), (24224816, 0), (24227392, 0), (24229968, 0), (24232544, 0), (24235120, 0), (24237696, 0), (24240272, 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":"620","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"105","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"19","CPU Time Post Normalization (ms)":"144","CPU Time Problem Setup  (ms)":"37","CPU Time Search (ms)":"125","Full CPU Time (ms)":"182","Peak Memory (MB)":"31.49"},
 "Components": [{"Component Stats": {"# Constraints":"620","# Variables":"105"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 7, 5, 4, 6, 5, 6, 6, 2, 1, 1, 1, 1, 1, 2, 3, 3, 3, 3, 9, 3, 2, 3, 1, 2, 2, 4, 3, 1, 3, 2, 2, 2, 2, 2, 2, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"111","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 7, 5, 4, 6, 5, 6, 6, 2, 1, 1, 1, 1, 1, 2, 3, 3, 3, 3, 9, 3, 2, 3, 1, 2, 2, 4, 3, 1, 3, 2, 2, 2, 2, 2, 2, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"444","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"89","# 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]","# values removed after preprocessing":"2","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"19525","# isValid Checks":"414204"}}]}