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

Variable Max Cliques: [(V0, 10), (V1, 9), (V10, 6), (V100, 12), (V101, 7), (V102, 7), (V103, 8), (V104, 3), (V105, 11), (V11, 1), (V12, 7), (V13, 13), (V14, 9), (V15, 8), (V16, 9), (V17, 1), (V18, 10), (V19, 10), (V2, 10), (V20, 8), (V21, 11), (V22, 2), (V23, 12), (V24, 15), (V25, 1), (V26, 13), (V27, 12), (V28, 1), (V29, 3), (V3, 4), (V30, 15), (V31, 10), (V32, 6), (V33, 13), (V34, 8), (V35, 13), (V36, 1), (V37, 9), (V38, 1), (V39, 15), (V4, 10), (V40, 14), (V41, 11), (V42, 9), (V43, 10), (V44, 5), (V45, 3), (V46, 10), (V47, 1), (V48, 11), (V49, 10), (V5, 10), (V50, 6), (V51, 10), (V52, 13), (V53, 1), (V54, 12), (V55, 2), (V56, 9), (V57, 10), (V58, 5), (V59, 1), (V6, 1), (V60, 11), (V61, 11), (V62, 1), (V63, 14), (V64, 6), (V65, 11), (V66, 10), (V67, 14), (V68, 1), (V69, 10), (V7, 14), (V70, 1), (V71, 1), (V72, 12), (V73, 12), (V74, 13), (V75, 3), (V76, 13), (V77, 9), (V78, 8), (V79, 8), (V8, 10), (V80, 2), (V81, 10), (V82, 10), (V83, 1), (V84, 1), (V85, 1), (V86, 13), (V87, 14), (V88, 14), (V89, 1), (V9, 3), (V90, 4), (V91, 13), (V92, 11), (V93, 15), (V94, 1), (V95, 1), (V96, 5), (V97, 13), (V98, 14), (V99, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(40360736, 0), (40362640, 0), (40364592, 0), (40366832, 0), (40410016, 0), (40412000, 0), (40413680, 0), (40415472, 0), (40417456, 0), (40419568, 0), (40421312, 0), (40423104, -14), (40424896, 0), (40426736, 0), (40428656, 0), (40430800, 0), (40432736, 0), (40434656, 0), (40436576, 0), (40438480, 0), (40440656, 0), (40442624, 0), (40444480, 0), (40446448, 0), (40448352, 0), (40450320, 0), (40452368, 0), (40454656, 0), (40456880, -15), (40459072, 0), (40460848, 0), (40462768, 0), (40464688, 0), (40466816, 0), (40468784, -15), (40470976, 0), (40473024, 0), (40474864, 0), (40477088, 0), (40479136, 0), (40481616, 0), (40483392, 0), (40485360, 0), (40487120, -15), (40489168, -14), (40491360, 0), (40493504, 0), (40495616, 0), (40497552, 0), (40499552, 0), (40501408, 0), (40503472, 0), (40505184, 0), (40507488, 0), (40509648, 0), (40511584, 0), (40513600, 0), (40515824, 0), (40517728, 0), (40519856, 0), (40521872, 0), (40523760, 0), (40525600, 0), (40527456, 0), (40529344, 0), (40531312, 0), (40533280, 0), (40535184, -14), (40537136, 0), (40539168, 0), (40541360, 0), (40543280, -14), (40545472, 0), (40547312, 0), (40549280, 0), (40551200, 0), (40552912, 0), (40554864, 0), (40557104, 0), (40558880, 0), (40577136, 0), (40579008, 0), (40580928, 0), (40582640, 0), (40584384, 0), (40586240, 0), (40588144, 0), (40590176, -14), (40592192, -14), (40594048, 0), (40596944, 0), (40599008, 0), (40600928, 0), (40602928, -15), (40604864, 0), (40606576, 0), (40608544, 0), (40610544, 0), (40612528, -14), (40614528, 0), (40616512, 0), (40618496, 0), (40620416, 0), (40622384, 0), (40624368, 0), (40626496, 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":"606","# 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)":"30","CPU Time Post Normalization (ms)":"578","CPU Time Problem Setup  (ms)":"66","CPU Time Search (ms)":"548","Full CPU Time (ms)":"645","Peak Memory (MB)":"31.8915"},
 "Components": [{"Component Stats": {"# Constraints":"606","# Variables":"106"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 2, 4, 4, 6, 10, 22, 45, 69, 75, 84, 89, 86, 84, 75, 66, 58, 45, 41, 34, 30, 29, 26, 23, 21, 16, 15, 11, 8, 6, 6, 6, 5, 4, 4, 4, 4, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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]","# backtracks":"1167","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 2, 4, 4, 6, 10, 22, 45, 69, 75, 84, 89, 86, 84, 75, 66, 58, 45, 41, 34, 30, 29, 26, 23, 21, 16, 15, 11, 8, 6, 6, 6, 5, 4, 4, 4, 4, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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]","# nodes visited":"1676","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"0","# 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":"0","# 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":"164727","# isValid Checks":"1159929"}}]}