( INFO) == Loading and Performing Problem Setup %right_file ( INFO) == Processing component #1 %right_file ( INFO) == Creating data structures %right_file Cliques: {0:["V8","V23","V40","V95","V111","V114","V110",], 1:["V15","V64","V65","V66","V69","V94","V102","V63",], 2:["V0","V1","V3","V6","V30","V38","V68","V101","V5",], 3:["V42","V56","V58","V61","V62","V64","V80","V96","V136","V57",], 4:["V0","V32","V56","V58","V59","V60","V62","V104","V134","V55",], 5:["V2","V3","V6","V13","V45","V61","V99","V131","V139","V4",], 6:["V7","V8","V9","V11","V12","V76","V92","V116","V132","V14",], 7:["V12","V18","V28","V59","V78","V79","V80","V84","V85","V114","V82",], 8:["V71","V74","V75","V76","V77","V81","V88","V106","V112","V137","V73",], 9:["V9","V41","V47","V48","V50","V52","V53","V54","V79","V135","V49",], 10:["V0","V32","V39","V104","V125","V126","V129","V130","V131","V134","V127",], 11:["V21","V38","V101","V118","V119","V120","V121","V122","V124","V140","V123",], 12:["V44","V51","V75","V86","V88","V89","V91","V92","V93","V108","V122","V90",], 13:["V36","V52","V66","V79","V80","V81","V84","V85","V91","V115","V130","V83",], 14:["V9","V24","V33","V41","V70","V71","V74","V75","V76","V77","V79","V72",], 15:["V12","V18","V28","V59","V65","V114","V133","V135","V137","V139","V140","V138",], 16:["V3","V27","V89","V107","V113","V121","V126","V129","V130","V131","V132","V128",], 17:["V7","V8","V9","V11","V12","V13","V42","V64","V80","V96","V111","V10",], 18:["V20","V29","V37","V62","V64","V65","V66","V68","V69","V84","V100","V109","V67",], 19:["V31","V33","V34","V36","V37","V38","V44","V51","V75","V108","V122","V129","V35",], 20:["V15","V17","V18","V19","V20","V21","V54","V69","V77","V85","V93","V117","V22",], 21:["V15","V17","V18","V19","V20","V21","V25","V58","V87","V97","V105","V119","V16",], 22:["V39","V40","V41","V42","V43","V44","V45","V53","V76","V92","V116","V124","V132","V46",], 23:["V7","V31","V48","V102","V104","V105","V106","V107","V108","V109","V118","V126","V133","V103",], 24:["V2","V11","V17","V26","V34","V43","V94","V95","V96","V97","V99","V100","V101","V120","V98",], 25:["V0","V32","V36","V52","V56","V58","V59","V62","V66","V91","V104","V115","V130","V134","V60",], 26:["V8","V24","V25","V26","V27","V28","V29","V30","V40","V56","V86","V95","V111","V114","V23",], 27:["V42","V56","V58","V61","V62","V64","V80","V96","V111","V133","V134","V137","V139","V140","V136",], 28:["V0","V2","V3","V6","V25","V30","V38","V58","V68","V87","V97","V101","V105","V119","V1",], 29:["V12","V15","V18","V28","V47","V59","V70","V79","V80","V84","V85","V94","V102","V114","V125","V78",], 30:["V9","V41","V47","V48","V51","V52","V53","V54","V79","V81","V88","V106","V112","V135","V137","V50",], 31:["V3","V27","V74","V89","V107","V111","V112","V114","V115","V116","V117","V121","V126","V129","V130","V131","V132","V113",], 32:["V2","V3","V6","V7","V8","V9","V11","V12","V19","V42","V45","V61","V64","V80","V96","V99","V111","V131","V139","V13",], 33:["V7","V9","V24","V31","V33","V41","V48","V70","V74","V75","V76","V77","V79","V81","V88","V106","V112","V118","V126","V133","V137","V71",], 34:["V0","V32","V40","V41","V42","V43","V44","V45","V53","V76","V92","V104","V116","V124","V125","V126","V129","V130","V131","V132","V134","V39",], 35:["V2","V11","V17","V21","V26","V34","V38","V43","V94","V95","V96","V97","V99","V100","V101","V118","V119","V121","V122","V124","V140","V120",], 36:["V6","V15","V17","V18","V19","V20","V21","V29","V37","V54","V62","V64","V65","V66","V68","V77","V84","V85","V93","V94","V100","V102","V109","V117","V69",], 37:["V2","V3","V6","V7","V8","V9","V11","V12","V19","V42","V45","V56","V58","V59","V62","V131","V133","V134","V137","V139","V140","V64","V80","V96","V99","V111","V61",], 38:["V9","V12","V15","V18","V28","V41","V48","V51","V52","V53","V54","V59","V70","V79","V80","V81","V84","V85","V88","V94","V102","V106","V112","V114","V125","V135","V137","V47",], 39:["V3","V8","V24","V25","V26","V28","V29","V30","V40","V56","V74","V86","V89","V95","V107","V111","V112","V114","V115","V116","V117","V121","V126","V129","V130","V131","V132","V27",], 40:["V0","V2","V3","V6","V11","V17","V21","V25","V26","V30","V34","V38","V43","V58","V68","V87","V94","V95","V96","V97","V99","V100","V105","V118","V119","V121","V122","V124","V140","V101",], 41:["V2","V3","V6","V7","V8","V9","V11","V12","V18","V19","V28","V42","V45","V56","V58","V59","V62","V64","V65","V80","V96","V99","V111","V114","V131","V133","V134","V135","V137","V140","V139",], 42:["V0","V2","V3","V6","V11","V15","V17","V18","V19","V20","V21","V25","V26","V30","V34","V38","V43","V58","V68","V87","V94","V95","V96","V99","V100","V105","V118","V119","V121","V122","V124","V140","V97",], 43:["V6","V15","V17","V18","V19","V20","V21","V29","V31","V32","V33","V34","V36","V38","V44","V51","V54","V62","V64","V65","V66","V68","V75","V77","V84","V85","V93","V94","V100","V102","V108","V109","V117","V122","V129","V37",], 44:["V0","V2","V3","V6","V11","V15","V17","V18","V19","V20","V21","V25","V26","V30","V34","V38","V43","V58","V68","V86","V88","V89","V91","V92","V93","V94","V95","V96","V99","V100","V105","V118","V121","V122","V124","V140","V87",], 45:["V7","V9","V12","V15","V18","V24","V28","V31","V33","V41","V48","V51","V52","V53","V54","V59","V74","V75","V76","V77","V79","V80","V81","V84","V85","V88","V94","V102","V106","V112","V114","V118","V125","V126","V133","V135","V137","V70",], 46:["V0","V3","V8","V24","V25","V26","V28","V29","V30","V32","V41","V42","V43","V44","V45","V53","V56","V74","V76","V86","V89","V92","V95","V104","V107","V111","V112","V114","V115","V116","V117","V121","V124","V125","V126","V129","V130","V131","V132","V134","V40",], 47:["V7","V9","V12","V15","V18","V24","V28","V31","V33","V41","V51","V52","V53","V54","V59","V74","V75","V76","V77","V79","V80","V81","V84","V85","V88","V94","V102","V104","V105","V106","V107","V108","V109","V112","V114","V118","V125","V126","V133","V135","V137","V48",], 48:["V0","V3","V7","V8","V9","V11","V12","V24","V25","V26","V28","V29","V30","V32","V41","V42","V43","V44","V45","V53","V56","V74","V76","V86","V89","V92","V95","V104","V107","V111","V112","V114","V115","V116","V117","V121","V124","V125","V126","V129","V130","V131","V134","V132",], 49:["V7","V9","V12","V15","V18","V24","V28","V31","V33","V36","V41","V51","V52","V53","V54","V59","V66","V74","V75","V76","V77","V79","V80","V84","V85","V88","V91","V94","V102","V104","V105","V107","V108","V109","V112","V114","V115","V118","V125","V126","V130","V133","V135","V137","V81",], 50:["V0","V7","V9","V12","V15","V18","V24","V28","V31","V32","V33","V36","V41","V51","V53","V54","V56","V58","V59","V62","V66","V74","V75","V76","V77","V80","V84","V85","V88","V91","V94","V102","V104","V105","V107","V108","V109","V112","V114","V115","V118","V125","V126","V130","V133","V134","V135","V137","V52",], 51:["V0","V2","V3","V6","V7","V9","V11","V12","V18","V19","V24","V25","V26","V28","V29","V30","V32","V41","V42","V43","V44","V45","V53","V56","V58","V59","V62","V64","V65","V74","V76","V80","V86","V89","V92","V95","V96","V99","V104","V107","V111","V112","V114","V115","V117","V121","V124","V125","V126","V129","V130","V131","V133","V134","V135","V137","V140","V8",], 52:["V0","V2","V3","V6","V7","V11","V12","V15","V18","V19","V24","V25","V26","V28","V29","V30","V31","V32","V33","V36","V41","V43","V44","V51","V53","V54","V56","V58","V59","V62","V64","V65","V66","V74","V75","V76","V77","V80","V84","V85","V86","V88","V89","V91","V92","V94","V95","V96","V99","V102","V104","V105","V107","V108","V109","V112","V114","V115","V117","V118","V121","V124","V125","V126","V129","V130","V133","V134","V135","V137","V140","V9",], 53:["V0","V2","V3","V6","V11","V15","V17","V18","V19","V20","V21","V25","V26","V29","V30","V31","V32","V33","V34","V36","V38","V43","V44","V51","V54","V58","V62","V64","V65","V66","V68","V75","V77","V84","V85","V86","V88","V89","V91","V92","V93","V94","V95","V96","V100","V102","V105","V108","V109","V117","V118","V121","V122","V124","V129","V140","V99",], } Variable Max Cliques: [(V0, 15), (V1, 2), (V10, 1), (V100, 9), (V101, 6), (V102, 12), (V103, 1), (V104, 12), (V105, 11), (V106, 7), (V107, 11), (V108, 9), (V109, 9), (V11, 14), (V110, 1), (V111, 12), (V112, 14), (V113, 2), (V114, 17), (V115, 10), (V116, 7), (V117, 10), (V118, 13), (V119, 6), (V12, 16), (V120, 3), (V121, 13), (V122, 9), (V123, 1), (V124, 12), (V125, 12), (V126, 15), (V127, 1), (V128, 1), (V129, 12), (V13, 3), (V130, 13), (V131, 12), (V132, 8), (V133, 12), (V134, 12), (V135, 11), (V136, 2), (V137, 14), (V138, 1), (V139, 6), (V14, 1), (V140, 12), (V15, 15), (V16, 1), (V17, 10), (V18, 18), (V19, 12), (V2, 13), (V20, 8), (V21, 10), (V22, 1), (V23, 2), (V24, 12), (V25, 12), (V26, 12), (V27, 4), (V28, 15), (V29, 10), (V3, 17), (V30, 12), (V31, 10), (V32, 11), (V33, 10), (V34, 8), (V35, 1), (V36, 8), (V37, 4), (V38, 10), (V39, 3), (V4, 1), (V40, 6), (V41, 15), (V42, 11), (V43, 12), (V44, 10), (V45, 9), (V46, 1), (V47, 4), (V48, 7), (V49, 1), (V5, 1), (V50, 2), (V51, 11), (V52, 9), (V53, 13), (V54, 12), (V55, 1), (V56, 13), (V57, 1), (V58, 15), (V59, 14), (V6, 14), (V60, 2), (V61, 5), (V62, 13), (V63, 1), (V64, 13), (V65, 9), (V66, 10), (V67, 1), (V68, 9), (V69, 4), (V7, 14), (V70, 5), (V71, 3), (V72, 1), (V73, 1), (V74, 13), (V75, 12), (V76, 14), (V77, 12), (V78, 2), (V79, 11), (V8, 11), (V80, 16), (V81, 8), (V82, 1), (V83, 1), (V84, 13), (V85, 13), (V86, 9), (V87, 5), (V88, 12), (V89, 10), (V9, 17), (V90, 1), (V91, 8), (V92, 10), (V93, 6), (V94, 16), (V95, 13), (V96, 14), (V97, 6), (V98, 1), (V99, 12)] ( INFO) == Finished creating data structures %right_file ( INFO) == Beginning Preprocessing %right_file ( INFO) == Finished with Preprocessing %right_file {"StaticInstanceData": {"# Components":"1","# Constraints":"873","# 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)":"63","CPU Time Post Normalization (ms)":"205049","CPU Time Problem Setup (ms)":"24","CPU Time Search (ms)":"204985","Full CPU Time (ms)":"205074","Peak Memory (MB)":"44.331"}, "Components": [{"Component Stats": {"# Constraints":"873","# Variables":"141"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 7, 19, 30, 47, 55, 72, 86, 147, 212, 291, 500, 656, 831, 969, 1179, 1487, 1641, 1751, 1959, 2325, 2777, 3660, 4814, 5958, 7033, 8043, 8836, 9650, 10309, 11187, 11888, 12334, 11948, 11053, 9970, 8877, 7980, 7072, 6233, 5334, 4634, 4110, 3540, 2977, 2597, 2196, 1880, 1554, 1267, 1038, 865, 732, 566, 441, 363, 299, 254, 229, 197, 169, 148, 130, 90, 75, 61, 55, 42, 27, 17, 15, 14, 12, 11, 10, 10, 4, 2, 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, 0, 0, 0, 0]","# backtracks":"209856","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 3, 7, 19, 30, 47, 55, 72, 86, 147, 212, 291, 500, 656, 831, 969, 1179, 1487, 1641, 1751, 1959, 2325, 2777, 3660, 4814, 5958, 7033, 8043, 8836, 9650, 10309, 11187, 11888, 12334, 11948, 11053, 9970, 8877, 7980, 7072, 6233, 5334, 4634, 4110, 3540, 2977, 2597, 2196, 1880, 1554, 1267, 1038, 865, 732, 566, 441, 363, 299, 254, 229, 197, 169, 148, 130, 90, 75, 61, 55, 42, 27, 17, 15, 14, 12, 11, 10, 10, 4, 2, 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, 0, 0, 0, 0, 0]","# nodes visited":"331900","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"252","# 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":"6","# 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":"37149653","# isValid Checks":"239710838"}}]}