2026-03-24 03:26:34,217 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","V3","V4","V8","V10","V11","V14","V15","V16","V17","V20","V25","V28","V31","V32","V34","V36","V41","V46","V47","V48","V49","V53","V58","V62","V76","V80","V84","V86","V103","V111","V123","V39",], 1:["V2","V4","V8","V10","V11","V14","V15","V16","V28","V31","V32","V34","V36","V41","V46","V47","V48","V49","V53","V58","V62","V76","V80","V84","V86","V111","V120","V20",], 2:["V2","V4","V8","V10","V11","V14","V15","V16","V28","V31","V32","V33","V34","V36","V41","V46","V47","V48","V49","V53","V62","V76","V80","V84","V86","V111","V120","V58",], 3:["V2","V4","V8","V10","V11","V14","V15","V28","V31","V32","V33","V34","V36","V41","V46","V47","V49","V53","V62","V64","V76","V80","V86","V111","V120","V84",], 4:["V2","V4","V8","V11","V14","V15","V28","V31","V32","V33","V34","V36","V41","V46","V47","V49","V53","V62","V64","V76","V80","V86","V96","V111","V120","V10",], 5:["V2","V4","V11","V14","V15","V28","V31","V32","V33","V34","V36","V41","V46","V47","V49","V53","V62","V64","V76","V80","V86","V96","V111","V116","V120","V8",], 6:["V2","V4","V11","V14","V15","V28","V31","V32","V33","V34","V36","V41","V46","V47","V50","V53","V62","V64","V76","V80","V86","V96","V104","V111","V116","V120","V49",], 7:["V2","V4","V11","V15","V28","V30","V31","V32","V33","V34","V36","V46","V47","V50","V53","V62","V64","V71","V76","V79","V80","V86","V96","V104","V111","V116","V119","V120","V14",], 8:["V0","V2","V4","V11","V15","V28","V30","V31","V32","V33","V34","V36","V43","V46","V47","V50","V53","V62","V64","V71","V79","V80","V86","V96","V97","V101","V104","V108","V111","V116","V118","V119","V120","V76",], 9:["V0","V2","V4","V11","V15","V28","V30","V31","V32","V33","V34","V36","V43","V46","V47","V50","V62","V64","V71","V79","V80","V86","V96","V97","V101","V102","V104","V108","V111","V116","V118","V119","V120","V53",], 10:["V0","V2","V4","V11","V15","V30","V31","V32","V33","V34","V36","V43","V46","V47","V50","V62","V64","V71","V79","V86","V96","V97","V101","V102","V104","V108","V111","V116","V118","V119","V120","V124","V80",], 11:["V0","V2","V4","V11","V15","V30","V31","V32","V33","V34","V36","V38","V43","V46","V47","V50","V64","V71","V73","V77","V79","V86","V96","V97","V101","V102","V104","V108","V111","V116","V118","V119","V120","V124","V62",], 12:["V0","V2","V4","V11","V15","V26","V30","V31","V32","V33","V34","V36","V38","V43","V46","V47","V50","V54","V56","V64","V66","V71","V73","V77","V78","V79","V86","V89","V96","V97","V101","V102","V104","V107","V108","V109","V116","V118","V119","V120","V124","V111",], 13:["V0","V4","V11","V15","V26","V30","V31","V32","V33","V34","V36","V38","V43","V46","V47","V50","V54","V56","V64","V66","V71","V73","V77","V78","V79","V86","V89","V96","V97","V101","V102","V104","V107","V108","V109","V113","V116","V118","V119","V120","V124","V2",], 14:["V0","V4","V11","V15","V26","V30","V31","V32","V33","V34","V36","V38","V43","V46","V50","V54","V56","V64","V66","V71","V73","V77","V78","V79","V86","V89","V96","V97","V101","V102","V104","V107","V108","V109","V113","V116","V118","V119","V120","V124","V127","V47",], 15:["V0","V7","V11","V15","V18","V26","V30","V31","V32","V33","V34","V36","V38","V42","V43","V46","V50","V54","V56","V64","V66","V71","V72","V73","V77","V78","V79","V86","V89","V96","V97","V99","V100","V101","V102","V104","V107","V108","V109","V113","V116","V118","V119","V120","V124","V127","V4",], 16:["V0","V7","V11","V15","V18","V26","V27","V30","V31","V32","V33","V34","V36","V38","V42","V43","V46","V50","V54","V56","V61","V64","V66","V67","V71","V72","V73","V75","V77","V78","V79","V87","V89","V90","V91","V96","V97","V99","V100","V101","V102","V104","V107","V108","V109","V113","V116","V118","V119","V120","V124","V127","V86",], 17:["V0","V6","V7","V11","V13","V15","V18","V26","V27","V30","V31","V32","V33","V36","V38","V42","V43","V46","V50","V51","V54","V56","V61","V64","V66","V67","V71","V72","V73","V75","V77","V78","V79","V87","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V107","V108","V109","V113","V116","V118","V119","V120","V124","V127","V34",], 18:["V0","V6","V7","V11","V13","V15","V18","V26","V27","V30","V31","V32","V36","V38","V42","V43","V46","V50","V51","V54","V56","V61","V64","V65","V66","V67","V71","V72","V73","V75","V77","V78","V79","V87","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V107","V108","V109","V113","V114","V116","V118","V119","V124","V127","V120",], 19:["V0","V6","V7","V11","V13","V15","V18","V26","V27","V30","V31","V32","V38","V42","V43","V46","V50","V51","V54","V56","V61","V63","V64","V65","V66","V67","V69","V71","V72","V73","V75","V77","V78","V79","V87","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V107","V108","V109","V113","V114","V116","V118","V119","V121","V124","V127","V36",], 20:["V0","V5","V6","V7","V11","V13","V15","V18","V22","V26","V27","V30","V31","V32","V38","V42","V43","V50","V51","V54","V56","V61","V63","V64","V65","V66","V67","V69","V70","V71","V72","V73","V75","V77","V78","V79","V87","V88","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V107","V108","V109","V113","V114","V116","V118","V119","V121","V124","V127","V46",], 21:["V0","V5","V6","V7","V11","V13","V15","V18","V22","V26","V27","V30","V32","V38","V42","V43","V50","V51","V54","V56","V61","V63","V64","V65","V66","V67","V69","V70","V71","V72","V73","V75","V77","V78","V79","V87","V88","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V119","V121","V122","V124","V127","V31",], 22:["V0","V5","V6","V7","V13","V15","V18","V22","V26","V27","V30","V32","V38","V42","V43","V50","V51","V54","V56","V61","V63","V64","V65","V66","V67","V69","V70","V71","V72","V73","V75","V77","V78","V79","V87","V88","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V119","V121","V122","V124","V125","V127","V11",], 23:["V0","V5","V6","V7","V13","V18","V22","V26","V27","V30","V32","V38","V42","V43","V44","V50","V51","V54","V56","V61","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V75","V77","V78","V79","V82","V87","V88","V89","V90","V91","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V119","V121","V122","V124","V125","V127","V15",], 24:["V0","V5","V6","V7","V13","V18","V22","V26","V27","V30","V32","V38","V42","V43","V44","V51","V54","V56","V61","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V75","V77","V78","V79","V82","V87","V88","V89","V90","V91","V93","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V119","V121","V122","V124","V125","V127","V50",], 25:["V0","V5","V6","V7","V13","V18","V22","V26","V27","V30","V38","V42","V43","V44","V51","V54","V56","V61","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V77","V78","V79","V82","V87","V88","V89","V90","V91","V93","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V119","V121","V122","V124","V125","V127","V32",], 26:["V0","V5","V6","V7","V12","V13","V18","V22","V26","V27","V30","V38","V42","V43","V44","V51","V54","V55","V56","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V77","V78","V79","V82","V87","V88","V89","V90","V91","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V104","V106","V107","V108","V109","V113","V114","V116","V118","V121","V122","V124","V125","V126","V127","V119",], 27:["V0","V1","V5","V6","V7","V12","V13","V18","V22","V26","V27","V30","V38","V42","V43","V44","V51","V54","V55","V56","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V113","V114","V116","V118","V121","V122","V124","V125","V126","V127","V71",], 28:["V0","V1","V5","V6","V7","V12","V13","V18","V22","V26","V27","V30","V38","V42","V43","V44","V51","V54","V55","V56","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V113","V114","V116","V121","V122","V124","V125","V126","V127","V118",], 29:["V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V35","V37","V38","V40","V42","V44","V45","V51","V52","V55","V57","V59","V60","V61","V63","V65","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V81","V82","V83","V85","V87","V88","V90","V91","V92","V93","V94","V95","V98","V99","V100","V106","V107","V109","V110","V112","V113","V114","V115","V117","V121","V122","V124","V125","V126","V127","V21",], 30:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V22","V26","V27","V30","V38","V42","V44","V51","V54","V55","V56","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V116","V121","V122","V124","V125","V126","V127","V43",], 31:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V26","V27","V38","V42","V44","V51","V54","V55","V56","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V116","V121","V122","V124","V125","V126","V127","V30",], 32:["V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V35","V37","V38","V40","V42","V44","V45","V51","V52","V55","V57","V59","V60","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V81","V82","V83","V85","V87","V88","V89","V90","V91","V92","V93","V94","V95","V98","V99","V100","V104","V106","V107","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V117",], 33:["V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V35","V37","V38","V40","V42","V44","V45","V51","V52","V55","V57","V59","V60","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V81","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V98","V99","V100","V104","V105","V106","V107","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V85",], 34:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V26","V27","V29","V38","V42","V44","V51","V54","V55","V56","V57","V59","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V116","V121","V122","V124","V125","V126","V127","V97",], 35:["V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V37","V38","V40","V42","V44","V45","V51","V52","V55","V57","V59","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V81","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V98","V99","V100","V101","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V60",], 36:["V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V37","V38","V40","V42","V44","V45","V51","V52","V55","V57","V59","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V100","V101","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V81",], 37:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V38","V42","V44","V45","V51","V52","V54","V55","V56","V57","V59","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V64",], 38:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V38","V40","V42","V44","V45","V51","V52","V54","V55","V56","V57","V59","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V100","V101","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V37",], 39:["V0","V1","V5","V6","V7","V9","V12","V13","V18","V19","V22","V23","V24","V26","V27","V29","V38","V40","V42","V44","V45","V51","V52","V54","V55","V56","V57","V59","V61","V63","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V77","V78","V79","V82","V83","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V100","V101","V102","V104","V105","V106","V107","V108","V109","V110","V112","V113","V114","V115","V116","V121","V122","V124","V125","V126","V127","V99",], } Variable Max Cliques: [(V0, 27), (V1, 13), (V10, 5), (V100, 25), (V101, 29), (V102, 25), (V103, 1), (V104, 33), (V105, 11), (V106, 19), (V107, 28), (V108, 29), (V109, 28), (V11, 23), (V110, 12), (V111, 13), (V112, 11), (V113, 27), (V114, 22), (V115, 8), (V116, 34), (V117, 2), (V118, 21), (V119, 20), (V12, 14), (V120, 18), (V121, 21), (V122, 19), (V123, 1), (V124, 30), (V125, 18), (V126, 14), (V127, 26), (V13, 23), (V14, 8), (V15, 24), (V16, 3), (V17, 1), (V18, 25), (V19, 10), (V2, 14), (V20, 2), (V21, 1), (V22, 20), (V23, 9), (V24, 8), (V25, 1), (V26, 28), (V27, 24), (V28, 10), (V29, 9), (V3, 1), (V30, 24), (V31, 22), (V32, 26), (V33, 16), (V34, 18), (V35, 3), (V36, 20), (V37, 6), (V38, 29), (V39, 1), (V4, 16), (V40, 7), (V41, 7), (V42, 25), (V43, 22), (V44, 17), (V45, 8), (V46, 21), (V47, 15), (V48, 3), (V49, 7), (V5, 20), (V50, 19), (V51, 23), (V52, 8), (V53, 10), (V54, 23), (V55, 14), (V56, 23), (V57, 9), (V58, 3), (V59, 14), (V6, 23), (V60, 4), (V61, 24), (V62, 12), (V63, 21), (V64, 30), (V65, 22), (V66, 27), (V67, 24), (V68, 17), (V69, 21), (V7, 25), (V70, 20), (V71, 21), (V72, 25), (V73, 29), (V74, 15), (V75, 24), (V76, 9), (V77, 29), (V78, 28), (V79, 29), (V8, 6), (V80, 11), (V81, 5), (V82, 17), (V83, 13), (V84, 4), (V85, 3), (V86, 17), (V87, 24), (V88, 20), (V89, 27), (V9, 11), (V90, 24), (V91, 24), (V92, 11), (V93, 16), (V94, 14), (V95, 14), (V96, 32), (V97, 24), (V98, 23), (V99, 25)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(45658656, 0), (45661232, 0), (45665984, 0), (45675552, 0), (45677680, 0), (45686976, 0), (45688736, 0), (45698560, 0), (45701536, 0), (45703168, 0), (45706256, 0), (45711072, 0), (45719072, 0), (45724144, 0), (45725568, 0), (45726656, 0), (45732192, 0), (45735056, 0), (45735888, 0), (45740768, 0), (45743536, 0), (45747200, 0), (45748768, 0), (45750688, 0), (45762176, 0), (45769824, 0), (45781536, 0), (45787376, 0), (45793584, 0), (45796512, 0), (45797520, 0), (45807200, 0), (45811440, 0), (45814192, 0), (45818176, 0), (45821952, 0), (45824896, 0), (45999312, 0), (46005776, 0), (46012480, 0), (46019184, 0), (46025888, 0), (46032592, 0), (46039296, 0), (46046000, 0), (46052704, 0), (46059408, 0), (46066112, 0), (46072816, 0), (46079520, 0), (46086224, 0), (46092928, 0), (46099632, 0), (46106336, 0), (46113040, 0), (46119744, 0), (46126448, 0), (46133904, 0), (46140640, 0), (46147376, 0), (46154112, 0), (46160848, 0), (46167552, 0), (46174320, 0), (46181024, 0), (46187792, 0), (46194496, 0), (46201264, 0), (46207968, 0), (46214736, 0), (46221440, 0), (46228208, 0), (46234912, 0), (46241680, 0), (46248384, 0), (46255152, 0), (46261856, 0), (46268624, 0), (46275328, 0), (46282096, 0), (46288800, 0), (46295568, 0), (46302272, 0), (46309040, 0), (46315744, 0), (46322512, 0), (46329216, 0), (46335984, 0), (46342688, 0), (46349456, 0), (46357312, 0), (46364080, 0), (46370784, 0), (46377552, 0), (46384256, 0), (46391024, 0), (46397728, 0), (46404496, 0), (46411200, 0), (46417968, 0), (46424672, 0), (46431440, 0), (46438144, 0), (46444912, 0), (46451616, -33), (46458384, 0), (46465088, 0), (46471856, 0), (46478560, 0), (46485328, 0), (46492032, 0), (46498800, 0), (46505504, 0), (46512272, 0), (46518976, 0), (46525744, 0), (46532448, -34), (46539216, 0), (46545920, 0), (46552688, 0), (46559392, 0), (46566160, 0), (46572864, 0), (46579632, 0), (46586336, 0), (46593104, 0), (46599808, 0), (46606576, 0)] %right_file ( INFO) == Finished creating data structures %right_file ( INFO) == Beginning Preprocessing %right_file ( INFO) == Finished with Preprocessing %right_file ERROR: Caught signal 24 {"StaticInstanceData": {"# Components":"1","# Constraints":"5198","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"128","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Problem Setup (ms)":"11847","Peak Memory (MB)":"0"}, "Components": [{"Component Stats": {"# Constraints":"5198","# Variables":"128"}, "LoggingSearchEngine": {"# BTs for 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]","# backtracks":"0","# backtracks 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]","# nodes visited":"1","# solutions":"0","# 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"5198","# isValid Checks":"18400920"}}]}