2026-03-23 14:13:44,419 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:["V4","V11","V17","V23","V30","V35","V43","V47","V56","V59","V69","V71","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95",], 1:["V1","V4","V13","V15","V24","V25","V26","V36","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V61","V63","V73","V76","V85","V89","V37",], 2:["V8","V10","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V35","V45","V46","V47","V56","V58","V67","V70","V78","V82","V89","V94","V34",], 3:["V2","V8","V14","V19","V26","V30","V38","V41","V48","V50","V52","V61","V62","V63","V72","V73","V75","V76","V77","V78","V79","V80","V81","V82","V83","V85","V86","V87","V74",], 4:["V5","V9","V18","V21","V31","V33","V35","V44","V45","V46","V48","V49","V50","V51","V52","V53","V54","V55","V56","V58","V59","V68","V69","V70","V79","V81","V83","V90","V93","V57",], 5:["V7","V8","V9","V12","V13","V14","V15","V16","V17","V18","V19","V21","V22","V23","V31","V32","V33","V42","V44","V46","V53","V56","V59","V64","V68","V75","V80","V86","V92","V20",], 6:["V1","V6","V11","V14","V18","V22","V27","V30","V33","V40","V42","V44","V53","V54","V55","V60","V61","V62","V63","V64","V65","V67","V68","V69","V70","V71","V77","V78","V79","V88","V90","V92","V66",], 7:["V1","V2","V4","V7","V8","V13","V14","V15","V18","V19","V24","V25","V26","V29","V30","V36","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V60","V61","V62","V63","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V89","V73",], 8:["V5","V6","V8","V9","V10","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V35","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V59","V67","V68","V69","V70","V71","V78","V79","V80","V81","V82","V83","V89","V90","V91","V93","V94","V58",], 9:["V1","V2","V4","V5","V7","V8","V12","V13","V14","V15","V16","V18","V19","V24","V25","V26","V27","V29","V30","V36","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V60","V61","V62","V63","V64","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V89","V90","V38",], 10:["V4","V5","V6","V8","V9","V10","V11","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V59","V67","V68","V69","V70","V71","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V35",], 11:["V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V64","V67","V68","V69","V70","V71","V75","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V59",], 12:["V1","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V21","V22","V24","V25","V26","V27","V28","V29","V30","V32","V33","V40","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V60","V61","V62","V63","V64","V65","V67","V68","V69","V70","V71","V75","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V93","V94","V92",], 13:["V1","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V21","V24","V25","V26","V27","V28","V29","V30","V32","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V54","V55","V60","V61","V62","V63","V64","V65","V67","V68","V75","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V93","V94","V53",], 14:["V1","V2","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V21","V24","V25","V26","V27","V28","V29","V30","V32","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V54","V55","V60","V61","V62","V63","V64","V65","V67","V68","V75","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V94","V93",], 15:["V1","V2","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V21","V24","V25","V26","V27","V28","V29","V30","V32","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V55","V60","V61","V62","V63","V64","V65","V68","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V94","V54",], 16:["V1","V2","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V19","V24","V25","V26","V27","V29","V30","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V55","V60","V61","V62","V63","V64","V65","V68","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V94","V28",], 17:["V1","V2","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V18","V19","V24","V25","V26","V27","V29","V30","V36","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V55","V60","V61","V62","V63","V64","V65","V68","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V91","V94","V90",], 18:["V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V24","V25","V26","V27","V29","V36","V39","V42","V48","V51","V52","V55","V60","V63","V65","V68","V72","V75","V78","V81","V84","V87","V91","V94",], 19:["V0","V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V24","V26","V36","V39","V48","V52","V60","V65","V72","V78","V84","V91",], } Variable Max Cliques: [(V0, 1), (V1, 12), (V10, 12), (V11, 12), (V12, 11), (V13, 13), (V14, 13), (V15, 12), (V16, 10), (V17, 9), (V18, 14), (V19, 13), (V2, 9), (V20, 1), (V21, 10), (V22, 7), (V23, 6), (V24, 15), (V25, 14), (V26, 16), (V27, 13), (V28, 9), (V29, 13), (V3, 2), (V30, 15), (V31, 6), (V32, 9), (V33, 8), (V34, 1), (V35, 5), (V36, 6), (V37, 1), (V38, 4), (V39, 7), (V4, 14), (V40, 10), (V41, 9), (V42, 13), (V43, 12), (V44, 15), (V45, 14), (V46, 15), (V47, 14), (V48, 16), (V49, 13), (V5, 13), (V50, 14), (V51, 13), (V52, 15), (V53, 8), (V54, 9), (V55, 12), (V56, 7), (V57, 1), (V58, 3), (V59, 6), (V6, 12), (V60, 11), (V61, 11), (V62, 10), (V63, 12), (V64, 10), (V65, 9), (V66, 1), (V67, 8), (V68, 13), (V69, 7), (V7, 12), (V70, 7), (V71, 6), (V72, 7), (V73, 3), (V74, 1), (V75, 12), (V76, 7), (V77, 10), (V78, 16), (V79, 14), (V8, 16), (V80, 13), (V81, 14), (V82, 14), (V83, 14), (V84, 13), (V85, 13), (V86, 13), (V87, 13), (V88, 10), (V89, 14), (V9, 13), (V90, 13), (V91, 12), (V92, 6), (V93, 8), (V94, 12), (V95, 1)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(37003808, -16), (37006384, 0), (37007872, 0), (37010096, 0), (37020704, 0), (37022752, 0), (37024080, -15), (37029376, 0), (37030688, 0), (37043712, 0), (37046688, 0), (37050000, 0), (37051408, 0), (37056576, 0), (37059232, 0), (37064224, 0), (37065104, 0), (37066400, 0), (37069296, 0), (37071808, 0), (37076304, 0), (37082080, 0), (37085680, -15), (37088256, 0), (37092352, 0), (37093920, 0), (37095840, 0), (37102848, 0), (37106416, 0), (37113984, 0), (37117856, -16), (37121520, 0), (37126064, 0), (37127376, 0), (37131488, 0), (37135008, 0), (37139008, 0), (37152016, 0), (37161376, 0), (37165008, 0), (37200752, 0), (37203424, 0), (37206096, 0), (37208768, 0), (37211440, -15), (37214112, 0), (37216816, -15), (37219552, 0), (37222256, -16), (37224960, 0), (37227664, 0), (37230368, 0), (37233072, -15), (37235776, 0), (37238480, 0), (37241184, 0), (37243856, 0), (37247248, 0), (37249920, 0), (37252656, 0), (37255360, 0), (37258064, 0), (37260768, 0), (37263472, 0), (37266176, 0), (37268880, 0), (37271584, 0), (37274288, 0), (37276992, 0), (37279696, 0), (37282400, 0), (37285104, 0), (37287808, 0), (37290512, 0), (37293216, 0), (37295920, 0), (37298624, 0), (37301328, 0), (37304032, -16), (37306736, 0), (37309440, 0), (37312144, 0), (37314848, 0), (37317552, 0), (37320256, 0), (37322960, 0), (37325664, 0), (37328368, 0), (37331072, 0), (37333776, 0), (37337632, 0), (37340304, 0), (37342976, 0), (37345680, 0), (37348416, 0), (37351120, 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":"1368","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"96","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"108","CPU Time Post Normalization (ms)":"86824","CPU Time Problem Setup (ms)":"107","CPU Time Search (ms)":"86716","Full CPU Time (ms)":"86932","Peak Memory (MB)":"100.61"}, "Components": [{"Component Stats": {"# Constraints":"1368","# Variables":"96"}, "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, 1, 2, 3, 3, 5, 9, 14, 18, 21, 26, 32, 41, 51, 56, 54, 57, 58, 55, 50, 49, 39, 34, 32, 30, 28, 17, 11, 8, 8, 7, 4, 2, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"829","# 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, 1, 2, 3, 3, 5, 9, 14, 18, 21, 26, 32, 41, 51, 56, 54, 57, 58, 55, 50, 49, 39, 34, 32, 30, 28, 17, 11, 8, 8, 7, 4, 2, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"1309","# solutions":"1","# 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]","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"229727","# isValid Checks":"2282553"}}]}