2026-03-22 21:09:01,526 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:["V31","V38","V50","V53","V60","V73","V75","V100","V102","V110","V120","V137","V144","V164","V165","V185","V227","V262","V263","V284","V290","V292","V294","V311","V244",], 1:["V0","V1","V2","V3","V5","V6","V7","V8","V9","V11","V12","V16","V17","V19","V65","V124","V130","V163","V180","V191","V217","V239","V272","V310","V18",], 2:["V28","V70","V71","V84","V90","V92","V100","V103","V104","V111","V148","V151","V171","V195","V206","V207","V208","V220","V230","V233","V260","V281","V287","V300","V309","V33",], 3:["V20","V31","V50","V62","V80","V85","V88","V91","V120","V124","V135","V142","V162","V166","V174","V183","V189","V205","V209","V252","V257","V267","V268","V285","V303","V216",], 4:["V26","V30","V35","V56","V57","V68","V99","V106","V132","V137","V156","V158","V168","V210","V211","V221","V225","V235","V256","V279","V280","V286","V292","V293","V305","V311","V76",], 5:["V25","V29","V34","V40","V51","V57","V92","V95","V106","V109","V134","V153","V162","V170","V177","V180","V184","V233","V241","V253","V262","V269","V274","V294","V307","V310","V255",], 6:["V20","V29","V39","V47","V55","V94","V107","V108","V123","V144","V168","V174","V176","V178","V183","V192","V194","V197","V228","V232","V247","V248","V261","V274","V277","V309","V251",], 7:["V34","V39","V54","V77","V89","V93","V101","V114","V118","V125","V133","V136","V163","V164","V182","V193","V202","V204","V205","V223","V224","V241","V254","V271","V299","V311","V181",], 8:["V27","V44","V51","V80","V85","V114","V132","V140","V154","V169","V202","V223","V227","V228","V231","V238","V240","V250","V264","V270","V277","V279","V280","V295","V299","V314","V161",], 9:["V23","V47","V60","V67","V68","V86","V105","V114","V128","V130","V139","V148","V158","V186","V192","V210","V212","V221","V226","V239","V248","V249","V254","V257","V302","V306","V143",], 10:["V21","V24","V25","V42","V46","V52","V79","V94","V103","V112","V116","V129","V134","V140","V146","V191","V199","V207","V213","V221","V232","V258","V263","V273","V277","V283","V285","V58",], 11:["V27","V30","V39","V42","V80","V117","V122","V141","V147","V152","V162","V172","V175","V176","V188","V190","V196","V200","V201","V206","V214","V219","V278","V283","V296","V298","V308","V69",], 12:["V32","V70","V78","V82","V83","V98","V121","V122","V123","V127","V128","V141","V148","V155","V173","V186","V193","V196","V220","V222","V254","V265","V275","V287","V298","V300","V301","V41",], 13:["V36","V71","V84","V100","V117","V128","V132","V135","V152","V177","V178","V182","V187","V198","V212","V214","V219","V224","V228","V242","V246","V256","V265","V282","V290","V291","V299","V313","V81",], 14:["V22","V36","V42","V74","V92","V98","V99","V104","V121","V124","V127","V142","V156","V165","V213","V219","V223","V229","V245","V261","V262","V266","V267","V276","V278","V293","V298","V302","V72",], 15:["V22","V26","V27","V43","V64","V66","V73","V79","V95","V96","V119","V136","V149","V166","V172","V178","V179","V190","V211","V234","V236","V237","V243","V249","V260","V289","V291","V305","V59",], 16:["V20","V37","V45","V52","V55","V62","V64","V78","V88","V97","V101","V111","V131","V140","V154","V163","V177","V180","V189","V195","V200","V204","V235","V256","V260","V295","V296","V305","V312",], 17:["V0","V1","V2","V5","V6","V7","V8","V9","V10","V11","V12","V15","V16","V17","V19","V36","V65","V124","V130","V158","V163","V180","V191","V217","V239","V269","V272","V304","V310","V3",], 18:["V21","V32","V38","V48","V52","V61","V63","V71","V77","V98","V113","V116","V117","V118","V119","V133","V157","V201","V253","V259","V265","V269","V271","V275","V282","V288","V297","V301","V303","V167",], 19:["V23","V28","V43","V56","V67","V73","V75","V82","V93","V96","V99","V101","V115","V130","V155","V157","V164","V197","V206","V208","V212","V214","V218","V222","V234","V250","V258","V276","V286","V150",], 20:["V31","V38","V50","V53","V60","V73","V75","V91","V100","V102","V110","V120","V137","V144","V156","V164","V165","V166","V175","V185","V202","V227","V231","V262","V263","V288","V290","V292","V294","V311","V284",], 21:["V28","V63","V64","V70","V71","V83","V84","V87","V92","V100","V103","V104","V111","V139","V148","V151","V152","V171","V179","V195","V206","V207","V208","V220","V230","V233","V247","V260","V268","V281","V287","V300","V309","V90",], 22:["V23","V47","V60","V67","V68","V86","V97","V105","V114","V126","V128","V130","V136","V139","V148","V158","V159","V160","V186","V192","V210","V212","V215","V221","V239","V242","V248","V249","V254","V257","V272","V302","V306","V226",], 23:["V20","V31","V50","V53","V57","V62","V74","V80","V85","V88","V91","V93","V120","V124","V135","V142","V162","V166","V170","V174","V183","V189","V205","V218","V240","V252","V257","V267","V268","V270","V285","V301","V303","V209",], 24:["V0","V1","V2","V4","V5","V6","V8","V9","V10","V11","V12","V13","V15","V16","V17","V19","V36","V37","V65","V124","V130","V144","V158","V163","V180","V191","V204","V217","V239","V269","V272","V304","V308","V310","V7",], 25:["V26","V30","V44","V48","V56","V57","V68","V99","V106","V132","V137","V145","V156","V158","V168","V171","V199","V203","V208","V210","V211","V221","V225","V233","V235","V238","V256","V279","V280","V286","V292","V293","V305","V311","V35",], 26:["V34","V39","V54","V61","V77","V89","V93","V101","V114","V118","V133","V136","V154","V163","V164","V171","V182","V188","V193","V202","V204","V205","V207","V211","V223","V224","V229","V241","V243","V254","V271","V296","V299","V311","V125",], 27:["V25","V29","V34","V38","V40","V44","V51","V57","V70","V87","V92","V95","V97","V102","V106","V126","V134","V153","V162","V170","V177","V180","V184","V233","V241","V253","V262","V266","V269","V274","V281","V294","V307","V310","V109",], 28:["V20","V22","V29","V39","V46","V47","V54","V55","V85","V86","V94","V107","V108","V123","V131","V144","V145","V146","V168","V174","V176","V178","V183","V192","V197","V228","V232","V247","V248","V259","V261","V274","V277","V288","V309","V194",], 29:["V23","V27","V44","V51","V79","V80","V85","V114","V132","V138","V140","V154","V159","V182","V184","V193","V202","V223","V227","V228","V231","V235","V238","V240","V250","V264","V270","V277","V279","V280","V290","V295","V299","V306","V314","V169",], 30:["V31","V38","V50","V53","V60","V73","V75","V91","V100","V102","V105","V110","V112","V120","V137","V144","V147","V156","V160","V164","V165","V166","V175","V202","V227","V231","V236","V241","V262","V263","V288","V290","V292","V294","V307","V311","V185",], 31:["V0","V1","V2","V4","V5","V6","V9","V10","V11","V12","V13","V15","V16","V17","V19","V36","V37","V65","V108","V124","V130","V144","V151","V158","V159","V163","V180","V191","V204","V217","V239","V269","V272","V282","V295","V304","V308","V310","V8",], 32:["V20","V31","V50","V53","V57","V62","V74","V75","V80","V85","V88","V91","V93","V106","V120","V124","V135","V142","V146","V162","V166","V170","V174","V183","V189","V192","V199","V205","V218","V234","V240","V257","V267","V268","V270","V273","V278","V280","V285","V301","V303","V307","V252",], 33:["V31","V34","V38","V49","V50","V53","V60","V73","V75","V91","V100","V102","V105","V112","V120","V137","V144","V147","V156","V160","V164","V165","V166","V175","V189","V202","V227","V230","V231","V236","V241","V246","V262","V263","V264","V266","V281","V288","V290","V292","V294","V307","V311","V110",], 34:["V21","V22","V26","V27","V43","V49","V64","V66","V73","V74","V79","V87","V95","V96","V104","V119","V120","V136","V138","V153","V166","V172","V178","V179","V190","V211","V224","V225","V232","V234","V236","V237","V239","V243","V249","V253","V260","V276","V289","V291","V304","V305","V308","V309","V149",], 35:["V21","V24","V25","V28","V32","V37","V38","V45","V48","V52","V61","V63","V67","V68","V71","V77","V89","V98","V115","V116","V117","V118","V119","V133","V157","V160","V196","V201","V213","V227","V253","V259","V261","V265","V269","V271","V273","V275","V282","V288","V289","V297","V301","V303","V113",], 36:["V30","V36","V43","V47","V49","V50","V62","V71","V84","V89","V94","V100","V116","V117","V121","V128","V132","V135","V141","V152","V177","V178","V182","V183","V198","V200","V212","V214","V219","V224","V225","V228","V242","V245","V246","V256","V265","V267","V279","V282","V285","V290","V291","V299","V313","V187",], 37:["V23","V26","V47","V60","V65","V67","V68","V77","V86","V97","V105","V108","V111","V114","V126","V128","V130","V131","V136","V139","V148","V158","V159","V160","V175","V184","V186","V192","V210","V212","V218","V221","V230","V236","V239","V242","V245","V248","V249","V254","V257","V259","V270","V272","V289","V302","V304","V306","V215",], 38:["V21","V24","V25","V27","V30","V39","V42","V46","V52","V79","V80","V94","V103","V112","V116","V117","V122","V134","V140","V141","V146","V147","V152","V162","V172","V175","V176","V188","V190","V191","V196","V199","V200","V201","V206","V207","V213","V214","V219","V221","V232","V258","V263","V273","V277","V278","V285","V296","V298","V308","V283",], 39:["V22","V32","V36","V42","V70","V74","V78","V82","V83","V92","V98","V99","V104","V121","V122","V123","V124","V128","V141","V142","V148","V155","V156","V165","V173","V186","V193","V196","V213","V219","V220","V222","V223","V229","V245","V254","V261","V262","V265","V266","V267","V275","V276","V278","V287","V293","V298","V300","V301","V302","V127",], 40:["V21","V22","V26","V27","V43","V49","V64","V65","V73","V74","V79","V87","V95","V96","V102","V104","V107","V119","V120","V123","V126","V136","V138","V153","V155","V166","V172","V178","V179","V190","V211","V224","V225","V232","V234","V236","V237","V239","V243","V249","V253","V260","V263","V274","V276","V287","V289","V291","V304","V305","V308","V309","V66",], 41:["V20","V31","V37","V45","V50","V52","V53","V55","V57","V62","V64","V74","V75","V78","V80","V85","V91","V93","V97","V101","V106","V111","V120","V124","V131","V135","V140","V142","V146","V154","V162","V163","V166","V170","V174","V177","V180","V183","V189","V192","V195","V199","V200","V204","V205","V218","V234","V235","V240","V256","V257","V260","V267","V268","V270","V273","V278","V280","V285","V295","V296","V301","V303","V305","V307","V88",], 42:["V20","V22","V28","V29","V39","V46","V47","V54","V55","V63","V64","V70","V71","V83","V84","V85","V86","V87","V92","V94","V100","V103","V104","V107","V108","V111","V123","V131","V139","V144","V145","V146","V148","V151","V152","V168","V171","V174","V176","V178","V179","V183","V192","V195","V197","V206","V207","V208","V220","V228","V230","V232","V233","V248","V259","V260","V261","V268","V274","V277","V281","V287","V288","V300","V309","V247",], 43:["V25","V29","V31","V34","V38","V40","V44","V49","V50","V51","V53","V57","V60","V70","V73","V75","V87","V91","V92","V95","V97","V100","V102","V105","V106","V112","V120","V126","V134","V137","V144","V147","V153","V156","V160","V162","V164","V165","V166","V170","V175","V177","V180","V184","V189","V202","V227","V230","V231","V233","V236","V241","V246","V253","V262","V263","V264","V266","V269","V274","V281","V288","V290","V292","V307","V310","V311","V294",], 44:["V21","V24","V25","V28","V32","V34","V37","V38","V39","V45","V48","V52","V54","V61","V63","V67","V68","V71","V77","V89","V93","V98","V101","V114","V115","V116","V117","V118","V119","V133","V136","V154","V157","V160","V163","V164","V171","V182","V188","V193","V196","V201","V202","V204","V205","V207","V211","V213","V223","V224","V227","V229","V241","V243","V253","V254","V259","V261","V265","V269","V273","V275","V282","V288","V289","V296","V297","V299","V301","V303","V311","V271",], 45:["V21","V22","V23","V26","V27","V28","V43","V49","V56","V64","V65","V67","V73","V74","V75","V79","V82","V87","V93","V95","V99","V101","V102","V104","V107","V115","V119","V120","V123","V126","V130","V136","V138","V153","V155","V157","V164","V166","V172","V178","V179","V190","V197","V206","V208","V211","V212","V214","V218","V222","V224","V225","V232","V234","V236","V237","V239","V243","V249","V250","V253","V258","V260","V263","V274","V276","V286","V287","V289","V291","V304","V305","V308","V309","V96",], 46:["V23","V26","V27","V44","V47","V51","V60","V65","V67","V68","V77","V79","V80","V85","V86","V97","V105","V108","V111","V114","V126","V128","V130","V131","V132","V136","V138","V139","V140","V148","V154","V158","V159","V160","V175","V182","V184","V186","V192","V193","V202","V210","V212","V218","V221","V223","V227","V228","V230","V231","V235","V236","V238","V239","V240","V242","V245","V248","V249","V250","V254","V257","V259","V264","V270","V272","V277","V279","V280","V289","V290","V295","V299","V302","V304","V314","V306",], 47:["V22","V30","V32","V36","V42","V43","V47","V49","V50","V62","V70","V71","V74","V78","V82","V83","V84","V89","V92","V94","V98","V99","V100","V104","V116","V117","V122","V123","V124","V128","V132","V135","V141","V142","V148","V152","V155","V156","V165","V173","V177","V178","V182","V183","V186","V193","V196","V198","V200","V212","V213","V214","V219","V220","V222","V223","V224","V225","V228","V229","V242","V245","V246","V254","V256","V261","V262","V265","V266","V267","V275","V276","V278","V279","V282","V285","V287","V290","V291","V293","V298","V299","V300","V301","V302","V313","V121",], 48:["V20","V21","V22","V24","V25","V27","V28","V29","V30","V39","V42","V46","V47","V52","V54","V55","V63","V64","V70","V71","V79","V80","V83","V84","V85","V86","V87","V92","V94","V100","V104","V107","V108","V111","V112","V116","V117","V122","V123","V131","V134","V139","V140","V141","V144","V145","V146","V147","V148","V151","V152","V162","V168","V171","V172","V174","V175","V176","V178","V179","V183","V188","V190","V191","V192","V195","V196","V197","V199","V200","V201","V206","V207","V208","V213","V214","V219","V220","V221","V228","V230","V232","V233","V248","V258","V259","V260","V261","V263","V268","V273","V274","V277","V278","V281","V285","V287","V288","V296","V298","V300","V308","V309","V103",], 49:["V20","V25","V29","V31","V34","V37","V38","V40","V44","V45","V49","V50","V51","V52","V53","V55","V57","V60","V62","V64","V70","V73","V74","V75","V78","V80","V85","V87","V92","V93","V95","V97","V100","V101","V102","V105","V106","V111","V112","V120","V124","V126","V131","V134","V135","V137","V140","V142","V144","V146","V147","V153","V154","V156","V160","V162","V163","V164","V165","V166","V170","V174","V175","V177","V180","V183","V184","V189","V192","V195","V199","V200","V202","V204","V205","V218","V227","V230","V231","V233","V234","V235","V236","V240","V241","V246","V253","V256","V257","V260","V262","V263","V264","V266","V267","V268","V269","V270","V273","V274","V278","V280","V281","V285","V288","V290","V292","V295","V296","V301","V303","V305","V307","V310","V311","V91",], 50:["V20","V25","V29","V34","V37","V38","V40","V44","V45","V49","V50","V51","V52","V54","V55","V57","V60","V62","V64","V70","V73","V74","V75","V78","V80","V85","V87","V92","V93","V95","V97","V100","V101","V102","V105","V106","V107","V111","V112","V120","V124","V126","V131","V134","V135","V137","V140","V142","V144","V146","V147","V151","V153","V154","V156","V160","V162","V163","V164","V165","V166","V170","V174","V175","V177","V180","V183","V184","V192","V195","V199","V200","V201","V202","V204","V205","V218","V227","V230","V231","V233","V234","V235","V236","V240","V241","V246","V253","V256","V257","V260","V262","V263","V264","V266","V267","V268","V269","V270","V272","V273","V274","V278","V280","V281","V285","V288","V290","V292","V295","V296","V300","V301","V303","V305","V310","V311","V31",], 51:["V21","V22","V26","V27","V28","V43","V44","V47","V49","V51","V56","V60","V64","V65","V67","V68","V73","V74","V75","V77","V79","V80","V82","V85","V86","V87","V93","V95","V97","V99","V101","V102","V104","V105","V107","V108","V111","V114","V115","V119","V120","V123","V126","V128","V130","V131","V132","V136","V138","V139","V140","V148","V153","V154","V155","V157","V158","V159","V160","V164","V166","V172","V175","V178","V179","V182","V184","V186","V190","V192","V193","V197","V202","V206","V208","V210","V211","V212","V214","V218","V221","V222","V223","V224","V225","V227","V228","V230","V231","V232","V234","V235","V236","V237","V238","V239","V240","V242","V243","V245","V248","V249","V250","V253","V254","V257","V258","V259","V260","V263","V264","V270","V272","V274","V276","V277","V279","V280","V286","V287","V289","V290","V291","V295","V299","V302","V304","V305","V308","V309","V314","V23",], 52:["V21","V22","V26","V27","V28","V32","V43","V44","V47","V49","V51","V56","V60","V63","V64","V65","V67","V68","V73","V74","V75","V77","V79","V80","V82","V85","V86","V87","V93","V95","V97","V99","V101","V102","V104","V105","V107","V108","V111","V114","V115","V119","V120","V123","V126","V128","V130","V131","V132","V136","V139","V140","V142","V148","V153","V154","V155","V157","V158","V159","V160","V164","V166","V172","V174","V175","V178","V179","V182","V184","V186","V190","V191","V192","V193","V197","V202","V206","V208","V210","V211","V212","V214","V218","V221","V222","V223","V224","V225","V227","V228","V230","V231","V232","V234","V235","V236","V237","V238","V239","V240","V242","V243","V245","V248","V250","V253","V254","V257","V258","V259","V260","V263","V264","V270","V272","V274","V276","V277","V279","V280","V286","V287","V289","V290","V291","V295","V299","V302","V304","V305","V308","V309","V314","V249",], 53:["V20","V21","V22","V24","V25","V27","V28","V29","V30","V32","V36","V39","V42","V43","V46","V47","V49","V50","V52","V54","V55","V62","V63","V128","V131","V132","V134","V135","V139","V140","V141","V142","V144","V145","V146","V147","V148","V151","V152","V155","V156","V162","V165","V168","V171","V172","V173","V174","V175","V176","V177","V178","V179","V182","V183","V186","V188","V190","V191","V192","V193","V195","V196","V197","V198","V199","V200","V201","V206","V207","V208","V212","V213","V214","V219","V220","V221","V222","V223","V224","V225","V228","V229","V230","V232","V233","V242","V245","V246","V248","V254","V256","V258","V259","V260","V261","V262","V263","V265","V266","V267","V268","V273","V274","V275","V276","V277","V278","V279","V281","V282","V285","V287","V288","V290","V291","V293","V296","V298","V299","V300","V301","V302","V308","V309","V313","V64","V70","V71","V74","V78","V79","V80","V82","V83","V84","V85","V86","V87","V89","V92","V98","V99","V100","V104","V107","V108","V111","V112","V116","V117","V122","V123","V124","V94",], 54:["V20","V21","V22","V24","V25","V27","V28","V29","V30","V32","V36","V39","V40","V43","V46","V47","V49","V50","V52","V54","V55","V62","V63","V64","V70","V71","V74","V78","V79","V80","V82","V83","V85","V86","V87","V89","V92","V98","V99","V100","V104","V107","V108","V111","V112","V116","V117","V122","V123","V124","V128","V131","V132","V134","V135","V139","V140","V142","V144","V145","V146","V147","V148","V151","V155","V156","V162","V165","V168","V171","V172","V173","V174","V175","V176","V177","V178","V179","V182","V183","V186","V188","V190","V191","V192","V193","V195","V196","V197","V198","V199","V200","V201","V206","V207","V208","V212","V213","V214","V221","V222","V223","V224","V225","V228","V229","V230","V232","V233","V242","V245","V246","V248","V254","V256","V258","V259","V260","V261","V262","V263","V265","V266","V267","V268","V273","V274","V275","V276","V277","V278","V279","V281","V282","V285","V287","V288","V290","V291","V293","V296","V299","V300","V301","V302","V308","V309","V313","V84",], 55:["V20","V21","V22","V24","V25","V27","V28","V29","V30","V32","V34","V36","V37","V38","V39","V40","V43","V44","V45","V46","V47","V49","V50","V51","V52","V54","V55","V57","V60","V62","V63","V64","V70","V71","V73","V74","V75","V78","V79","V80","V82","V85","V86","V87","V89","V93","V95","V97","V98","V99","V100","V101","V102","V104","V105","V106","V107","V108","V111","V112","V116","V117","V120","V122","V123","V124","V126","V128","V131","V132","V134","V135","V137","V139","V140","V142","V144","V145","V146","V147","V148","V151","V153","V154","V155","V156","V160","V162","V163","V164","V165","V166","V168","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V182","V183","V184","V186","V188","V190","V191","V192","V193","V195","V196","V197","V198","V199","V200","V201","V202","V204","V205","V206","V207","V208","V212","V213","V214","V218","V221","V222","V223","V224","V225","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V240","V241","V242","V245","V246","V248","V253","V254","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V275","V276","V277","V278","V279","V280","V281","V282","V285","V287","V288","V290","V291","V292","V293","V295","V296","V299","V300","V301","V302","V303","V305","V308","V309","V310","V311","V313","V92",], 56:["V21","V22","V24","V25","V26","V27","V28","V30","V32","V34","V36","V37","V38","V39","V40","V43","V44","V45","V46","V47","V49","V51","V52","V54","V55","V56","V57","V60","V63","V64","V65","V67","V68","V71","V73","V74","V75","V77","V79","V80","V82","V85","V86","V87","V89","V93","V95","V98","V99","V101","V102","V104","V105","V106","V107","V108","V111","V112","V114","V115","V116","V117","V119","V120","V122","V123","V124","V126","V128","V130","V131","V132","V136","V137","V139","V140","V142","V144","V145","V147","V148","V151","V153","V154","V155","V156","V157","V158","V159","V160","V163","V164","V166","V168","V170","V171","V172","V173","V174","V175","V176","V178","V179","V180","V182","V184","V186","V188","V190","V191","V192","V193","V196","V197","V198","V199","V201","V202","V204","V205","V206","V207","V208","V210","V211","V212","V213","V214","V218","V221","V222","V223","V224","V225","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V238","V239","V240","V241","V242","V243","V245","V246","V248","V250","V253","V254","V256","V257","V258","V259","V260","V261","V263","V264","V265","V268","V269","V270","V272","V273","V274","V275","V276","V277","V279","V280","V282","V286","V287","V288","V289","V290","V291","V292","V293","V295","V296","V299","V301","V302","V303","V304","V305","V308","V309","V310","V311","V313","V314","V97",], 57:["V21","V24","V25","V26","V28","V30","V32","V34","V36","V37","V38","V39","V40","V44","V45","V46","V48","V51","V52","V54","V55","V56","V57","V61","V63","V65","V67","V68","V71","V77","V82","V89","V93","V99","V101","V106","V108","V112","V114","V115","V116","V117","V118","V119","V122","V124","V130","V132","V133","V136","V137","V139","V144","V145","V147","V151","V153","V154","V156","V157","V158","V159","V160","V163","V164","V168","V170","V171","V172","V173","V176","V180","V182","V188","V190","V191","V193","V196","V198","V199","V201","V202","V204","V205","V207","V208","V210","V211","V213","V221","V222","V223","V224","V225","V227","V229","V233","V235","V237","V238","V239","V241","V243","V246","V250","V253","V254","V256","V259","V261","V264","V265","V268","V269","V272","V273","V275","V279","V280","V282","V286","V288","V289","V292","V293","V295","V296","V297","V299","V301","V303","V304","V305","V308","V310","V311","V313","V314","V98",], 58:["V26","V30","V36","V37","V40","V44","V45","V46","V48","V51","V55","V56","V57","V61","V65","V68","V82","V106","V108","V112","V115","V118","V122","V124","V130","V132","V133","V137","V139","V144","V145","V147","V151","V153","V156","V157","V158","V159","V163","V168","V170","V171","V172","V173","V176","V180","V190","V191","V198","V199","V203","V204","V205","V208","V210","V211","V221","V222","V225","V233","V235","V237","V238","V239","V243","V246","V250","V256","V264","V268","V269","V272","V275","V279","V280","V282","V286","V292","V293","V295","V297","V304","V305","V308","V310","V311","V313","V314","V99",], 59:["V36","V37","V40","V45","V46","V48","V51","V55","V56","V61","V65","V108","V112","V115","V118","V122","V124","V130","V133","V139","V144","V145","V147","V151","V153","V157","V158","V159","V163","V170","V172","V173","V176","V180","V190","V191","V198","V203","V204","V205","V217","V222","V237","V238","V239","V243","V246","V250","V264","V268","V269","V272","V275","V282","V286","V295","V297","V304","V308","V310","V313","V314","V82",], 60:["V11","V12","V13","V36","V37","V40","V45","V51","V56","V65","V108","V115","V118","V124","V130","V144","V145","V147","V151","V158","V159","V163","V170","V173","V180","V190","V191","V198","V203","V204","V205","V217","V222","V237","V238","V239","V243","V250","V269","V272","V282","V295","V297","V304","V308","V310","V313","V314","V61",], 61:["V0","V1","V9","V11","V12","V13","V14","V15","V36","V37","V51","V56","V65","V108","V115","V124","V130","V144","V147","V151","V158","V159","V163","V170","V173","V180","V190","V191","V203","V204","V217","V222","V238","V239","V243","V250","V269","V272","V282","V295","V297","V304","V308","V310","V313","V314","V45",], 62:["V0","V1","V4","V6","V9","V11","V12","V13","V14","V15","V19","V36","V37","V56","V65","V108","V115","V124","V130","V144","V151","V158","V159","V163","V170","V173","V180","V191","V203","V204","V217","V222","V238","V239","V243","V250","V269","V272","V282","V295","V304","V308","V310","V314","V51",], 63:["V0","V1","V2","V4","V5","V6","V10","V11","V12","V13","V14","V15","V17","V19","V36","V37","V56","V130","V144","V151","V158","V159","V163","V170","V180","V191","V204","V217","V222","V238","V239","V269","V272","V282","V295","V304","V308","V310","V65","V108","V115","V124","V9",], } Variable Max Cliques: [(V0, 7), (V1, 7), (V10, 4), (V100, 17), (V101, 14), (V102, 14), (V103, 6), (V104, 16), (V105, 13), (V106, 13), (V107, 13), (V108, 20), (V109, 2), (V11, 8), (V110, 4), (V111, 16), (V112, 15), (V113, 2), (V114, 13), (V115, 14), (V116, 13), (V117, 14), (V118, 9), (V119, 11), (V12, 8), (V120, 18), (V121, 5), (V122, 13), (V123, 15), (V124, 24), (V125, 2), (V126, 13), (V127, 3), (V128, 15), (V129, 1), (V13, 6), (V130, 20), (V131, 15), (V132, 16), (V133, 8), (V134, 11), (V135, 12), (V136, 14), (V137, 13), (V138, 6), (V139, 16), (V14, 3), (V140, 16), (V141, 8), (V142, 14), (V143, 1), (V144, 24), (V145, 12), (V146, 12), (V147, 17), (V148, 17), (V149, 2), (V15, 6), (V150, 1), (V151, 17), (V152, 9), (V153, 15), (V154, 14), (V155, 12), (V156, 17), (V157, 11), (V158, 19), (V159, 15), (V16, 4), (V160, 15), (V161, 1), (V162, 15), (V163, 20), (V164, 17), (V165, 13), (V166, 18), (V167, 1), (V168, 12), (V169, 2), (V17, 5), (V170, 17), (V171, 13), (V172, 16), (V173, 13), (V174, 15), (V175, 17), (V176, 13), (V177, 13), (V178, 17), (V179, 13), (V18, 1), (V180, 20), (V181, 1), (V182, 15), (V183, 15), (V184, 12), (V185, 3), (V186, 13), (V187, 2), (V188, 10), (V189, 8), (V19, 6), (V190, 18), (V191, 19), (V192, 18), (V193, 15), (V194, 2), (V195, 11), (V196, 13), (V197, 12), (V198, 11), (V199, 14), (V2, 5), (V20, 14), (V200, 12), (V201, 12), (V202, 17), (V203, 6), (V204, 18), (V205, 15), (V206, 14), (V207, 13), (V208, 15), (V209, 2), (V21, 16), (V210, 11), (V211, 13), (V212, 15), (V213, 13), (V214, 14), (V215, 2), (V216, 1), (V217, 9), (V218, 13), (V219, 9), (V22, 16), (V220, 8), (V221, 17), (V222, 18), (V223, 16), (V224, 16), (V225, 15), (V226, 2), (V227, 17), (V228, 16), (V229, 10), (V23, 8), (V230, 16), (V231, 13), (V232, 15), (V233, 16), (V234, 13), (V235, 14), (V236, 15), (V237, 11), (V238, 14), (V239, 21), (V24, 10), (V240, 12), (V241, 13), (V242, 12), (V243, 15), (V244, 1), (V245, 12), (V246, 14), (V247, 4), (V248, 14), (V249, 10), (V25, 15), (V250, 14), (V251, 1), (V252, 3), (V253, 16), (V254, 17), (V255, 1), (V256, 15), (V257, 14), (V258, 11), (V259, 15), (V26, 13), (V260, 18), (V261, 14), (V262, 15), (V263, 18), (V264, 14), (V265, 13), (V266, 11), (V267, 13), (V268, 16), (V269, 20), (V27, 16), (V270, 13), (V271, 5), (V272, 19), (V273, 14), (V274, 17), (V275, 13), (V276, 13), (V277, 15), (V278, 13), (V279, 15), (V28, 15), (V280, 15), (V281, 12), (V282, 18), (V283, 3), (V284, 2), (V285, 14), (V286, 10), (V287, 15), (V288, 17), (V289, 12), (V29, 12), (V290, 18), (V291, 13), (V292, 13), (V293, 11), (V294, 7), (V295, 19), (V296, 14), (V297, 8), (V298, 8), (V299, 16), (V3, 2), (V30, 13), (V300, 11), (V301, 16), (V302, 13), (V303, 12), (V304, 18), (V305, 16), (V306, 5), (V307, 8), (V308, 21), (V309, 15), (V31, 11), (V310, 18), (V311, 16), (V312, 1), (V313, 12), (V314, 12), (V32, 12), (V33, 1), (V34, 12), (V35, 2), (V36, 19), (V37, 17), (V38, 14), (V39, 14), (V4, 4), (V40, 12), (V41, 1), (V42, 8), (V43, 13), (V44, 14), (V45, 13), (V46, 12), (V47, 16), (V48, 7), (V49, 15), (V5, 5), (V50, 16), (V51, 18), (V52, 15), (V53, 9), (V54, 12), (V55, 15), (V56, 14), (V57, 14), (V58, 1), (V59, 1), (V6, 6), (V60, 15), (V61, 8), (V62, 12), (V63, 12), (V64, 17), (V65, 18), (V66, 3), (V67, 12), (V68, 13), (V69, 1), (V7, 3), (V70, 14), (V71, 15), (V72, 1), (V73, 16), (V74, 17), (V75, 15), (V76, 1), (V77, 11), (V78, 10), (V79, 15), (V8, 4), (V80, 18), (V81, 1), (V82, 14), (V83, 8), (V84, 9), (V85, 18), (V86, 13), (V87, 16), (V88, 5), (V89, 11), (V9, 7), (V90, 2), (V91, 9), (V92, 15), (V93, 15), (V94, 9), (V95, 13), (V96, 5), (V97, 13), (V98, 12), (V99, 15)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(39029664, 0), (39040512, 0), (39042288, 0), (39043232, 0), (39043984, 0), (39046208, 0), (39049056, 0), (39054320, 0), (39057008, 0), (39064544, 0), (39067472, 0), (39069168, 0), (39072144, 0), (39076640, 0), (39078768, 0), (39080736, 0), (39084224, 0), (39096176, 0), (39097264, 0), (39099440, 0), (39110128, 0), (39114528, 0), (39116272, 0), (39132768, 0), (39135392, 0), (39148256, 0), (39150480, 0), (39152704, 0), (39154928, 0), (39161312, 0), (39163536, 0), (39165712, 0), (39167936, 0), (39170160, 0), (39172384, 0), (39174608, 0), (39176832, 0), (39179056, 0), (39181280, 0), (39183504, 0), (39186192, 0), (39188416, 0), (39190640, 0), (39192864, 0), (39195088, 0), (39197312, 0), (39199536, 0), (39201760, 0), (39203984, 0), (39206208, 0), (39208432, 0), (39210656, 0), (39212880, 0), (39215104, 0), (39217328, 0), (39219552, 0), (39221776, 0), (39224000, 0), (39226224, 0), (39228448, 0), (39230672, 0), (39232896, 0), (39234656, 0), (39236880, 0), (39239104, 0), (39241328, 0), (39243552, 0), (39245776, 0), (39248000, 0), (39250224, 0), (39252448, 0), (39254672, 0), (39256896, 0), (39259120, 0), (39261344, 0), (39263568, 0), (39265792, 0), (39268016, 0), (39270240, 0), (39272464, 0), (39274688, 0), (39276912, 0), (39279136, 0), (39281360, 0), (39283584, 0), (39285808, 0), (39288032, 0), (39290256, 0), (39292480, 0), (39294704, 0), (39296928, 0), (39299152, 0), (39301376, 0), (39303600, 0), (39305824, 0), (39306976, 0), (39309200, 0), (39311424, 0), (39313648, 0), (39315872, 0), (39318096, 0), (39320320, 0), (39322544, 0), (39324768, 0), (39326992, 0), (39329216, 0), (39331440, 0), (39333664, 0), (39335888, 0), (39338112, 0), (39340336, 0), (39342560, 0), (39344784, 0), (39347008, 0), (39349232, 0), (39351456, 0), (39353680, 0), (39355904, 0), (39358128, 0), (39360352, 0), (39362576, 0), (39364800, 0), (39367024, 0), (39369248, 0), (39371472, 0), (39373696, 0), (39375920, 0), (39378144, 0), (39380368, 0), (39382592, -24), (39384816, 0), (39387040, 0), (39389264, 0), (39391488, 0), (39393712, 0), (39395936, 0), (39398160, 0), (39400384, 0), (39402608, 0), (39404832, 0), (39407056, 0), (39409280, 0), (39411504, 0), (39413728, 0), (39415952, 0), (39418176, 0), (39420400, 0), (39422624, 0), (39424848, 0), (39427760, -24), (39429984, 0), (39432208, 0), (39434432, 0), (39436656, 0), (39438880, 0), (39441104, 0), (39443328, 0), (39445552, 0), (39447776, 0), (39450000, 0), (39452224, 0), (39454448, 0), (39456672, 0), (39458896, 0), (39461120, 0), (39463344, 0), (39465568, 0), (39467792, 0), (39470016, 0), (39472240, 0), (39474464, 0), (39476688, 0), (39478912, 0), (39481136, 0), (39483360, 0), (39485584, 0), (39487808, 0), (39490032, 0), (39492256, 0), (39494480, 0), (39496704, 0), (39498928, 0), (39501152, 0), (39503376, 0), (39505600, 0), (39507824, 0), (39510048, 0), (39512272, 0), (39514496, 0), (39516720, 0), (39518944, 0), (39521168, 0), (39523392, 0), (39525616, 0), (39527840, 0), (39530064, 0), (39532288, 0), (39534512, 0), (39536736, 0), (39538960, 0), (39541184, 0), (39543408, 0), (39545632, 0), (39547856, 0), (39550080, 0), (39552304, 0), (39554528, 0), (39556752, 0), (39558976, 0), (39561200, 0), (39563424, 0), (39565648, 0), (39567872, 0), (39570096, 0), (39572320, 0), (39574544, 0), (39576768, 0), (39578992, 0), (39581216, 0), (39583440, 0), (39585664, 0), (39587888, 0), (39590112, 0), (39609472, 0), (39611696, 0), (39613872, 0), (39616096, 0), (39618320, 0), (39620544, 0), (39626080, 0), (39628304, 0), (39630528, 0), (39632752, 0), (39634976, 0), (39637200, 0), (39639424, 0), (39641648, 0), (39643872, 0), (39646096, 0), (39648320, -21), (39650544, 0), (39652768, 0), (39654992, 0), (39657216, 0), (39659440, 0), (39661664, 0), (39663888, 0), (39666112, 0), (39668336, 0), (39670560, 0), (39672784, 0), (39675008, 0), (39677232, 0), (39679456, 0), (39681680, 0), (39683904, 0), (39686128, 0), (39688352, 0), (39690576, 0), (39692800, 0), (39695024, 0), (39697248, 0), (39699472, 0), (39701696, 0), (39703920, 0), (39706144, 0), (39708368, 0), (39710592, 0), (39712816, 0), (39715040, 0), (39717264, 0), (39719488, 0), (39721712, 0), (39723936, 0), (39726160, 0), (39728384, 0), (39730608, 0), (39732832, 0), (39735056, 0), (39737280, 0), (39739504, 0), (39741728, 0), (39743952, 0), (39746176, 0), (39748400, 0), (39750624, 0), (39752848, 0), (39755072, 0), (39757296, 0), (39759520, 0), (39761744, 0), (39763968, 0), (39766192, 0), (39768416, 0), (39770640, 0), (39772864, 0), (39775088, 0), (39777312, 0), (39779536, 0), (39781760, 0), (39783984, 0), (39786208, 0), (39788432, 0), (39790656, 0), (39792880, 0), (39795104, 0), (39797328, 0), (39799552, 0), (39801776, -21), (39804000, 0), (39806224, 0), (39808448, 0), (39810672, 0), (39812896, 0), (39815120, 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":"4387","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"315","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"765","CPU Time Post Normalization (ms)":"3703","CPU Time Problem Setup (ms)":"486","CPU Time Search (ms)":"2937","Full CPU Time (ms)":"4189","Peak Memory (MB)":"272.138"}, "Components": [{"Component Stats": {"# Constraints":"4387","# Variables":"315"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 4, 12, 30, 50, 64, 46, 26, 16, 8, 3, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"262","# backtracks per level":"[4, 12, 30, 50, 64, 46, 26, 16, 8, 3, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"567","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"183","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"172242","# isValid Checks":"2802343"}}]}