( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V32","V36","V37","V83","V38",],
1:["V15","V16","V19","V21","V46","V92","V23",],
2:["V12","V37","V100","V115","V123","V135","V137","V139",],
3:["V4","V54","V61","V91","V103","V105","V108","V109",],
4:["V61","V64","V66","V67","V68","V69","V83","V91","V70",],
5:["V7","V31","V63","V78","V102","V135","V136","V138","V140",],
6:["V56","V71","V95","V103","V119","V135","V136","V137","V134",],
7:["V13","V22","V44","V108","V127","V131","V132","V133","V130",],
8:["V10","V11","V12","V14","V15","V33","V41","V72","V97","V9",],
9:["V15","V46","V73","V74","V75","V78","V84","V92","V124","V76",],
10:["V40","V42","V43","V44","V77","V85","V93","V117","V125","V47",],
11:["V17","V19","V20","V21","V22","V41","V72","V79","V105","V18",],
12:["V3","V68","V103","V104","V105","V107","V108","V110","V114","V106",],
13:["V3","V48","V51","V53","V54","V55","V74","V90","V114","V128","V52",],
14:["V17","V48","V51","V55","V57","V64","V88","V96","V104","V135","V49",],
15:["V13","V22","V24","V25","V26","V28","V31","V44","V101","V108","V27",],
16:["V10","V19","V65","V73","V112","V113","V116","V117","V118","V136","V111",],
17:["V1","V20","V48","V51","V53","V54","V55","V58","V80","V112","V121","V50",],
18:["V10","V32","V33","V35","V36","V37","V39","V65","V73","V120","V136","V34",],
19:["V8","V15","V19","V21","V24","V40","V46","V48","V87","V92","V127","V16",],
20:["V6","V24","V25","V26","V28","V29","V39","V55","V86","V94","V118","V132","V30",],
21:["V11","V36","V43","V82","V99","V107","V122","V127","V128","V131","V132","V133","V129",],
22:["V12","V37","V53","V100","V112","V113","V114","V117","V118","V123","V135","V137","V115",],
23:["V1","V2","V3","V4","V5","V6","V7","V56","V71","V95","V103","V119","V0",],
24:["V2","V25","V35","V51","V59","V66","V96","V97","V99","V100","V101","V102","V138","V98",],
25:["V13","V22","V44","V61","V64","V65","V66","V67","V68","V83","V91","V101","V108","V69",],
26:["V21","V26","V42","V56","V57","V58","V59","V61","V62","V63","V67","V81","V113","V60",],
27:["V5","V14","V28","V40","V41","V42","V43","V44","V46","V62","V75","V116","V131","V45",],
28:["V7","V31","V63","V78","V102","V119","V120","V121","V122","V123","V124","V125","V133","V126",],
29:["V3","V29","V68","V77","V85","V103","V104","V105","V107","V108","V114","V117","V125","V110",],
30:["V17","V48","V51","V55","V57","V64","V87","V89","V90","V91","V92","V96","V104","V135","V88",],
31:["V29","V40","V42","V43","V44","V77","V85","V87","V89","V90","V91","V92","V94","V117","V125","V93",],
32:["V15","V46","V73","V74","V75","V78","V79","V80","V81","V82","V83","V85","V86","V92","V124","V84",],
33:["V10","V11","V12","V13","V14","V15","V19","V21","V24","V32","V40","V46","V48","V87","V92","V127","V8",],
34:["V1","V2","V3","V5","V6","V7","V54","V56","V61","V71","V91","V95","V103","V105","V108","V119","V4",],
35:["V10","V11","V12","V14","V15","V32","V35","V36","V37","V39","V41","V65","V72","V73","V79","V97","V120","V136","V33",],
36:["V2","V7","V25","V31","V35","V51","V59","V63","V66","V78","V96","V97","V99","V100","V101","V102","V135","V136","V138",],
37:["V1","V17","V19","V21","V22","V41","V48","V51","V53","V54","V55","V58","V72","V79","V80","V105","V112","V121","V137","V20",],
38:["V7","V11","V31","V36","V43","V63","V78","V82","V99","V102","V107","V119","V120","V121","V123","V124","V125","V127","V128","V131","V132","V133","V122",],
39:["V5","V10","V14","V19","V28","V40","V41","V42","V43","V44","V46","V62","V65","V73","V75","V112","V113","V114","V117","V118","V131","V136","V116",],
40:["V1","V2","V3","V5","V6","V7","V54","V56","V61","V71","V91","V96","V99","V100","V101","V102","V103","V105","V108","V119","V135","V136","V137","V95",],
41:["V6","V24","V25","V26","V28","V29","V39","V40","V42","V43","V44","V55","V77","V85","V86","V87","V89","V90","V91","V92","V117","V118","V125","V132","V94",],
42:["V13","V21","V22","V26","V42","V44","V56","V57","V58","V59","V61","V62","V63","V64","V65","V66","V68","V81","V83","V89","V91","V101","V108","V113","V67",],
43:["V7","V11","V13","V22","V31","V36","V43","V44","V63","V78","V82","V99","V102","V107","V108","V119","V120","V121","V123","V124","V125","V127","V128","V131","V132","V133",],
44:["V3","V17","V29","V48","V51","V55","V57","V64","V68","V77","V85","V87","V89","V90","V91","V92","V96","V103","V105","V107","V108","V114","V117","V125","V135","V104",],
45:["V10","V11","V12","V13","V14","V15","V19","V21","V24","V35","V36","V37","V39","V40","V41","V46","V48","V65","V72","V73","V79","V83","V87","V92","V97","V120","V127","V136","V32",],
46:["V1","V15","V17","V19","V21","V22","V41","V46","V48","V51","V53","V54","V55","V58","V72","V73","V74","V75","V78","V79","V81","V82","V83","V85","V86","V92","V105","V112","V121","V124","V137","V80",],
47:["V1","V3","V5","V6","V7","V25","V31","V35","V51","V54","V56","V59","V61","V63","V66","V71","V78","V91","V96","V97","V99","V100","V101","V102","V103","V105","V108","V119","V135","V136","V137","V2",],
48:["V3","V7","V11","V13","V22","V31","V36","V43","V44","V48","V51","V53","V54","V55","V63","V68","V74","V78","V82","V90","V99","V102","V107","V108","V114","V119","V120","V121","V123","V124","V125","V127","V131","V132","V128",],
49:["V1","V3","V5","V6","V7","V25","V31","V35","V51","V54","V56","V59","V61","V63","V66","V72","V73","V74","V75","V77","V78","V91","V96","V97","V99","V100","V101","V102","V103","V105","V108","V119","V135","V136","V137","V71",],
50:["V10","V11","V12","V13","V14","V15","V19","V21","V24","V35","V36","V39","V40","V41","V46","V48","V53","V65","V72","V73","V79","V83","V87","V92","V97","V100","V112","V113","V114","V117","V118","V120","V123","V127","V135","V136","V137","V37",],
51:["V3","V6","V17","V24","V25","V26","V28","V31","V39","V40","V42","V43","V44","V48","V51","V55","V57","V64","V68","V77","V85","V86","V87","V89","V90","V91","V92","V96","V103","V105","V107","V108","V114","V117","V118","V125","V132","V135","V29",],
52:["V5","V10","V11","V13","V15","V19","V21","V24","V28","V35","V36","V39","V40","V41","V42","V43","V44","V46","V48","V53","V62","V65","V72","V73","V75","V79","V83","V87","V92","V97","V100","V112","V113","V114","V117","V118","V120","V123","V127","V131","V135","V136","V137","V14",],
53:["V1","V3","V5","V6","V7","V13","V21","V22","V25","V26","V31","V35","V42","V44","V51","V54","V56","V57","V58","V59","V61","V62","V63","V64","V65","V68","V72","V73","V74","V75","V77","V78","V81","V83","V89","V91","V96","V97","V99","V100","V101","V102","V103","V105","V108","V113","V119","V135","V136","V137","V66",],
54:["V1","V5","V11","V13","V15","V17","V19","V21","V22","V24","V28","V35","V36","V39","V40","V41","V42","V43","V44","V46","V48","V51","V53","V54","V55","V58","V62","V65","V72","V73","V74","V75","V78","V81","V82","V83","V85","V86","V87","V92","V97","V100","V105","V112","V113","V114","V117","V118","V120","V121","V123","V124","V127","V131","V135","V136","V137","V79",],
55:["V1","V3","V5","V7","V11","V13","V17","V21","V22","V24","V28","V31","V35","V36","V39","V40","V42","V43","V44","V48","V51","V53","V54","V55","V58","V62","V63","V65","V68","V72","V73","V74","V75","V78","V81","V83","V85","V86","V87","V90","V92","V97","V99","V100","V102","V105","V107","V108","V113","V114","V117","V118","V119","V120","V121","V123","V124","V125","V127","V131","V132","V135","V136","V137","V82",],
56:["V1","V3","V5","V6","V7","V13","V17","V21","V22","V24","V25","V26","V28","V31","V35","V39","V40","V42","V43","V44","V48","V51","V54","V55","V57","V58","V62","V63","V64","V65","V68","V72","V73","V74","V75","V77","V78","V81","V83","V85","V86","V87","V89","V90","V91","V96","V97","V99","V100","V102","V103","V105","V107","V108","V113","V114","V117","V118","V119","V125","V132","V135","V136","V137","V92",],
57:["V1","V3","V5","V6","V7","V13","V21","V22","V24","V25","V26","V28","V31","V35","V42","V44","V51","V54","V57","V58","V62","V63","V64","V65","V68","V72","V73","V74","V75","V77","V78","V81","V83","V89","V91","V96","V97","V100","V101","V102","V103","V105","V108","V113","V119","V135","V136","V137","V99",],
}

Variable Max Cliques: [(V0, 1), (V1, 13), (V10, 9), (V100, 14), (V101, 10), (V102, 14), (V103, 14), (V104, 5), (V105, 17), (V106, 1), (V107, 10), (V108, 19), (V109, 1), (V11, 12), (V110, 2), (V111, 1), (V112, 9), (V113, 12), (V114, 13), (V115, 2), (V116, 3), (V117, 14), (V118, 11), (V119, 14), (V12, 7), (V120, 11), (V121, 9), (V122, 3), (V123, 10), (V124, 9), (V125, 12), (V126, 1), (V127, 12), (V128, 5), (V129, 1), (V13, 15), (V130, 1), (V131, 10), (V132, 10), (V133, 5), (V134, 1), (V135, 19), (V136, 18), (V137, 15), (V138, 3), (V139, 1), (V14, 8), (V140, 1), (V15, 12), (V16, 2), (V17, 10), (V18, 1), (V19, 12), (V2, 6), (V20, 3), (V21, 16), (V22, 14), (V23, 1), (V24, 13), (V25, 11), (V26, 9), (V27, 1), (V28, 11), (V29, 6), (V3, 15), (V30, 1), (V31, 14), (V32, 5), (V33, 3), (V34, 1), (V35, 14), (V36, 12), (V37, 7), (V38, 1), (V39, 11), (V4, 3), (V40, 14), (V41, 11), (V42, 14), (V43, 14), (V44, 18), (V45, 1), (V46, 12), (V47, 1), (V48, 17), (V49, 1), (V5, 13), (V50, 1), (V51, 18), (V52, 1), (V53, 10), (V54, 15), (V55, 14), (V56, 9), (V57, 9), (V58, 10), (V59, 7), (V6, 11), (V60, 1), (V61, 10), (V62, 10), (V63, 14), (V64, 10), (V65, 14), (V66, 8), (V67, 4), (V68, 12), (V69, 2), (V7, 15), (V70, 1), (V71, 6), (V72, 14), (V73, 16), (V74, 11), (V75, 12), (V76, 1), (V77, 10), (V78, 16), (V79, 9), (V8, 2), (V80, 4), (V81, 9), (V82, 8), (V83, 14), (V84, 2), (V85, 11), (V86, 8), (V87, 13), (V88, 2), (V89, 9), (V9, 1), (V90, 9), (V91, 16), (V92, 17), (V93, 2), (V94, 3), (V95, 4), (V96, 12), (V97, 14), (V98, 1), (V99, 13)]
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"854","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"141","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"64","CPU Time Post Normalization (ms)":"17463","CPU Time Problem Setup  (ms)":"25","CPU Time Search (ms)":"17398","Full CPU Time (ms)":"17491","Peak Memory (MB)":"44.3351"},
 "Components": [{"Component Stats": {"# Constraints":"854","# Variables":"141"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 6, 8, 12, 11, 19, 21, 25, 27, 27, 27, 37, 47, 61, 78, 94, 127, 172, 237, 295, 349, 386, 437, 479, 534, 607, 661, 740, 794, 822, 881, 858, 872, 857, 842, 851, 822, 740, 683, 640, 587, 562, 510, 438, 397, 352, 324, 293, 260, 222, 192, 166, 143, 124, 115, 103, 89, 84, 74, 66, 56, 47, 36, 28, 21, 21, 15, 12, 12, 12, 13, 9, 7, 8, 7, 7, 6, 6, 6, 4, 4, 4, 3, 3, 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, 0, 0, 0, 0, 0]","# backtracks":"20636","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 6, 8, 12, 11, 19, 21, 25, 27, 27, 27, 37, 47, 61, 78, 94, 127, 172, 237, 295, 349, 386, 437, 479, 534, 607, 661, 740, 794, 822, 881, 858, 872, 857, 842, 851, 822, 740, 683, 640, 587, 562, 510, 438, 397, 352, 324, 293, 260, 222, 192, 166, 143, 124, 115, 103, 89, 84, 74, 66, 56, 47, 36, 28, 21, 21, 15, 12, 12, 12, 13, 9, 7, 8, 7, 7, 6, 6, 6, 4, 4, 4, 3, 3, 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, 0, 0, 0, 0, 0, 0]","# nodes visited":"30214","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"596","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"15","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2653169","# isValid Checks":"16270512"}}]}