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

Variable Max Cliques: [(V0, 13), (V1, 10), (V10, 10), (V100, 1), (V101, 9), (V102, 11), (V103, 2), (V104, 12), (V105, 10), (V11, 7), (V12, 11), (V13, 11), (V14, 1), (V15, 4), (V16, 10), (V17, 2), (V18, 10), (V19, 9), (V2, 10), (V20, 10), (V21, 16), (V22, 1), (V23, 13), (V24, 1), (V25, 15), (V26, 12), (V27, 3), (V28, 13), (V29, 17), (V3, 1), (V30, 1), (V31, 9), (V32, 15), (V33, 6), (V34, 8), (V35, 1), (V36, 15), (V37, 11), (V38, 7), (V39, 13), (V4, 1), (V40, 5), (V41, 1), (V42, 7), (V43, 13), (V44, 8), (V45, 1), (V46, 2), (V47, 12), (V48, 7), (V49, 11), (V5, 9), (V50, 11), (V51, 5), (V52, 4), (V53, 10), (V54, 1), (V55, 8), (V56, 12), (V57, 9), (V58, 1), (V59, 2), (V6, 1), (V60, 10), (V61, 10), (V62, 7), (V63, 9), (V64, 2), (V65, 1), (V66, 4), (V67, 14), (V68, 9), (V69, 8), (V7, 1), (V70, 10), (V71, 12), (V72, 3), (V73, 8), (V74, 7), (V75, 9), (V76, 1), (V77, 5), (V78, 8), (V79, 7), (V8, 10), (V80, 6), (V81, 8), (V82, 7), (V83, 4), (V84, 2), (V85, 7), (V86, 1), (V87, 8), (V88, 9), (V89, 7), (V9, 10), (V90, 14), (V91, 8), (V92, 13), (V93, 10), (V94, 12), (V95, 2), (V96, 9), (V97, 1), (V98, 14), (V99, 13)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(35666720, 0), (35668896, 0), (35670656, 0), (35672688, 0), (35713440, 0), (35715392, 0), (35717072, 0), (35718784, 0), (35720544, 0), (35722288, 0), (35724240, 0), (35726064, 0), (35727888, 0), (35729856, 0), (35731776, 0), (35733424, 0), (35735136, 0), (35737216, 0), (35739216, 0), (35741264, 0), (35743184, 0), (35745312, 0), (35747152, 0), (35749008, 0), (35750960, 0), (35752944, -16), (35754864, 0), (35757072, 0), (35759056, 0), (35760912, 0), (35762944, 0), (35764864, 0), (35766752, 0), (35768928, -17), (35771088, 0), (35772720, 0), (35774928, 0), (35776848, 0), (35778704, 0), (35780672, 0), (35783120, 0), (35785152, 0), (35787136, 0), (35789344, 0), (35791248, 0), (35793168, 0), (35795136, 0), (35797168, 0), (35799376, 0), (35801424, 0), (35803344, 0), (35805264, 0), (35807200, 0), (35809232, 0), (35811232, 0), (35813152, 0), (35815136, 0), (35817136, 0), (35819344, 0), (35821264, 0), (35823248, 0), (35825104, 0), (35827008, 0), (35829040, 0), (35831024, 0), (35833008, 0), (35835136, 0), (35836976, 0), (35838864, 0), (35840752, 0), (35842656, 0), (35844624, 0), (35846480, 0), (35848512, 0), (35850496, 0), (35852416, 0), (35854464, 0), (35856384, 0), (35858096, 0), (35860096, 0), (35862000, 0), (35864160, 0), (35866048, 0), (35868080, 0), (35886240, 0), (35888016, 0), (35889968, 0), (35892144, 0), (35894128, 0), (35896048, 0), (35899184, 0), (35901312, 0), (35903424, 0), (35905568, 0), (35907712, 0), (35909392, 0), (35911632, 0), (35913744, 0), (35915376, 0), (35917440, 0), (35919456, 0), (35921648, 0), (35923552, 0), (35925776, 0), (35927408, 0), (35929552, 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":"600","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"106","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"31","CPU Time Post Normalization (ms)":"495","CPU Time Problem Setup  (ms)":"14","CPU Time Search (ms)":"463","Full CPU Time (ms)":"510","Peak Memory (MB)":"30.1834"},
 "Components": [{"Component Stats": {"# Constraints":"600","# Variables":"106"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 1, 3, 4, 5, 6, 6, 7, 11, 11, 14, 15, 18, 22, 29, 33, 33, 34, 34, 37, 32, 32, 35, 35, 32, 31, 28, 27, 26, 22, 20, 18, 20, 20, 21, 20, 16, 16, 20, 20, 21, 17, 16, 18, 15, 13, 12, 9, 6, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"963","# backtracks per level":"[0, 0, 0, 0, 0, 0, 1, 3, 4, 5, 6, 6, 7, 11, 11, 14, 15, 18, 22, 29, 33, 33, 34, 34, 37, 32, 32, 35, 35, 32, 31, 28, 27, 26, 22, 20, 18, 20, 20, 21, 20, 16, 16, 20, 20, 21, 17, 16, 18, 15, 13, 12, 9, 6, 4, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"1370","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"36","# 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":"1","# 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."}, "STR2": {"# calls to revise":"100207","# isValid Checks":"631145"}}]}