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

Variable Max Cliques: [(V0, 11), (V1, 19), (V10, 3), (V100, 22), (V101, 20), (V102, 20), (V103, 7), (V104, 15), (V105, 1), (V106, 27), (V107, 24), (V108, 15), (V109, 25), (V11, 13), (V110, 16), (V111, 14), (V112, 19), (V113, 31), (V114, 25), (V115, 7), (V116, 17), (V117, 3), (V118, 1), (V119, 3), (V12, 19), (V120, 6), (V121, 32), (V122, 25), (V123, 7), (V124, 18), (V125, 25), (V126, 18), (V127, 31), (V13, 30), (V14, 4), (V15, 11), (V16, 1), (V17, 7), (V18, 29), (V19, 18), (V2, 13), (V20, 8), (V21, 1), (V22, 30), (V23, 12), (V24, 6), (V25, 7), (V26, 33), (V27, 29), (V28, 6), (V29, 11), (V3, 8), (V30, 8), (V31, 12), (V32, 14), (V33, 13), (V34, 14), (V35, 2), (V36, 14), (V37, 10), (V38, 21), (V39, 7), (V4, 13), (V40, 14), (V41, 4), (V42, 31), (V43, 9), (V44, 23), (V45, 6), (V46, 13), (V47, 9), (V48, 7), (V49, 5), (V5, 17), (V50, 7), (V51, 27), (V52, 8), (V53, 4), (V54, 27), (V55, 3), (V56, 28), (V57, 9), (V58, 6), (V59, 13), (V6, 32), (V60, 5), (V61, 32), (V62, 13), (V63, 31), (V64, 11), (V65, 26), (V66, 29), (V67, 29), (V68, 22), (V69, 31), (V7, 32), (V70, 29), (V71, 2), (V72, 32), (V73, 20), (V74, 20), (V75, 31), (V76, 5), (V77, 18), (V78, 26), (V79, 16), (V8, 8), (V80, 5), (V81, 4), (V82, 21), (V83, 16), (V84, 2), (V85, 5), (V86, 12), (V87, 30), (V88, 35), (V89, 20), (V9, 15), (V90, 32), (V91, 28), (V92, 16), (V93, 18), (V94, 2), (V95, 17), (V96, 14), (V97, 19), (V98, 29), (V99, 31)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(28254752, 0), (28257328, 0), (28258816, 0), (28261264, 0), (28271648, 0), (28272368, 0), (28276336, 0), (28282976, 0), (28284736, 0), (28289040, 0), (28294656, 0), (28297632, 0), (28300944, 0), (28302352, 0), (28306128, 0), (28308784, 0), (28315168, 0), (28316208, 0), (28317440, 0), (28320240, 0), (28322752, 0), (28328176, -33), (28330928, 0), (28331984, 0), (28333024, 0), (28335600, 0), (28338176, 0), (28343296, 0), (28344864, 0), (28346784, 0), (28353200, 0), (28357728, 0), (28363712, 0), (28365776, 0), (28368576, 0), (28372128, 0), (28374224, 0), (28376592, 0), (28379776, 0), (28383392, 0), (28388096, 0), (28390192, 0), (28391648, 0), (28393856, 0), (28399088, 0), (28402432, 0), (28404528, 0), (28407328, 0), (28408768, 0), (28412320, 0), (28414272, 0), (28418208, 0), (28420720, 0), (28453088, 0), (28455152, 0), (28457248, 0), (28459344, 0), (28462160, 0), (28464256, 0), (28466352, 0), (28468448, 0), (28470544, 0), (28472640, 0), (28474736, 0), (28476832, 0), (28478928, 0), (28481024, 0), (28483120, 0), (28485216, 0), (28487312, 0), (28489408, 0), (28491504, 0), (28493600, 0), (28495696, 0), (28497792, 0), (28499888, 0), (28501984, 0), (28504080, 0), (28506176, 0), (28508272, 0), (28510368, 0), (28512464, 0), (28514560, 0), (28516656, 0), (28518752, 0), (28520848, 0), (28522944, 0), (28525040, 0), (28527136, -35), (28529232, 0), (28532480, 0), (28534576, 0), (28536672, 0), (28538768, 0), (28540864, 0), (28542960, 0), (28545056, 0), (28547152, 0), (28549248, 0), (28551344, 0), (28553440, 0), (28555536, 0), (28557632, 0), (28559728, 0), (28561824, 0), (28563920, 0), (28566016, 0), (28568112, 0), (28570208, 0), (28572304, 0), (28574400, 0), (28576496, 0), (28578592, 0), (28580688, 0), (28582784, 0), (28584880, 0), (28586976, 0), (28589072, 0), (28591168, 0), (28593264, 0), (28595360, 0), (28597456, 0), (28599552, 0), (28601648, 0), (28603744, 0), (28605840, 0), (28607936, 0), (28610032, 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":"3216","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"128","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"158","CPU Time Post Normalization (ms)":"26375","CPU Time Problem Setup  (ms)":"201","CPU Time Search (ms)":"26217","Full CPU Time (ms)":"26576","Peak Memory (MB)":"166.547"},
 "Components": [{"Component Stats": {"# Constraints":"3216","# Variables":"128"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 5, 20, 60, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"85","# backtracks per level":"[5, 20, 60, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"205","# 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":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"236693","# isValid Checks":"2522101"}}]}