2026-03-23 21:00:28,248 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) == [(16655328, -16), (16657072, 0), (16667680, 0), (16668400, 0), (16671152, 0), (16676352, 0), (16679008, -15), (16685072, 0), (16693664, 0), (16696976, 0), (16698384, 0), (16702160, 0), (16706320, 0), (16712080, 0), (16713376, 0), (16718784, 0), (16723280, 0), (16726960, 0), (16728016, 0), (16729056, 0), (16731632, -15), (16735104, 0), (16739328, 0), (16742816, 0), (16754224, 0), (16761072, 0), (16765936, 0), (16768368, 0), (16773440, 0), (16775808, 0), (16778960, 0), (16781984, 0), (16785456, 0), (16788640, -16), (16789648, 0), (16797600, 0), (16800240, 0), (16806224, 0), (16808352, 0), (16810304, 0), (16816752, 0), (16847728, 0), (16850112, 0), (16852784, 0), (16855424, -15), (16858064, 0), (16860704, -15), (16863344, 0), (16865984, -16), (16868624, 0), (16871264, 0), (16873904, 0), (16876544, -15), (16879184, 0), (16881824, 0), (16884464, 0), (16887104, 0), (16890432, 0), (16893040, 0), (16895680, 0), (16898352, 0), (16900992, 0), (16903632, 0), (16906272, 0), (16908912, 0), (16911552, 0), (16914192, 0), (16916832, 0), (16919472, 0), (16922112, 0), (16924752, 0), (16927392, 0), (16930032, 0), (16932672, 0), (16935312, 0), (16937952, 0), (16940592, 0), (16943232, 0), (16945872, -16), (16948512, 0), (16951152, 0), (16953792, 0), (16956432, 0), (16959072, 0), (16961712, 0), (16964352, 0), (16966992, 0), (16969632, 0), (16972272, 0), (16974912, 0), (16978704, 0), (16980592, 0), (16983200, 0), (16985840, 0), (16988512, 0), (16991152, 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":"1368","# Normalized Constraints":"0","# Solutions":"0","# 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 Problem Setup (ms)":"113","Peak Memory (MB)":"0"}, "Components": [{"Component Stats": {"# Constraints":"1368","# Variables":"96"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 5, 58, 417, 2404, 12323, 54023, 196518, 577720, 64105, 44097, 41084, 33153, 19645, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"1045552","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 5, 58, 417, 2404, 12323, 54023, 196518, 577720, 64105, 44097, 41084, 33153, 19645, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2460628","# 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]","# 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":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"782112120","# isValid Checks":"3234351414"}}]}