2026-03-24 13:24:56,402 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:["V0","V18","V26","V32","V48","V50","V68","V72","V80","V96","V98","V99",], 1:["V8","V12","V20","V36","V46","V52","V66","V78","V88","V90","V92","V91",], 2:["V6","V8","V12","V20","V36","V46","V52","V66","V78","V88","V90","V9",], 3:["V8","V12","V20","V36","V46","V52","V66","V78","V86","V88","V90","V89",], 4:["V0","V18","V26","V32","V48","V50","V68","V72","V80","V82","V98","V81",], 5:["V8","V12","V20","V36","V46","V52","V66","V76","V78","V88","V90","V79",], 6:["V6","V10","V28","V30","V42","V58","V60","V70","V72","V86","V92","V71",], 7:["V0","V18","V26","V32","V48","V50","V66","V68","V72","V80","V98","V69",], 8:["V6","V10","V28","V30","V42","V58","V60","V62","V70","V86","V92","V61",], 9:["V6","V10","V28","V30","V42","V56","V58","V60","V70","V86","V92","V59",], 10:["V0","V18","V26","V32","V48","V50","V52","V68","V72","V80","V98","V51",], 11:["V0","V18","V26","V32","V46","V48","V50","V68","V72","V80","V98","V49",], 12:["V2","V16","V22","V38","V40","V42","V56","V62","V76","V82","V96","V41",], 13:["V2","V16","V22","V36","V38","V40","V56","V62","V76","V82","V96","V39",], 14:["V6","V10","V28","V30","V32","V42","V58","V60","V70","V86","V92","V31",], 15:["V6","V10","V26","V28","V30","V42","V58","V60","V70","V86","V92","V29",], 16:["V8","V12","V20","V22","V36","V46","V52","V66","V78","V88","V90","V21",], 17:["V0","V16","V18","V26","V32","V48","V50","V68","V72","V80","V98","V19",], 18:["V6","V10","V12","V28","V30","V42","V58","V60","V70","V86","V92","V11",], 19:["V0","V2","V18","V26","V32","V48","V50","V68","V72","V80","V98","V1",], 20:["V2","V16","V22","V38","V40","V56","V62","V76","V82","V94","V96","V98","V97",], 21:["V4","V14","V24","V34","V44","V54","V64","V74","V84","V92","V94","V96","V95",], 22:["V6","V10","V28","V30","V42","V58","V60","V70","V86","V90","V92","V94","V93",], 23:["V6","V10","V28","V30","V42","V58","V60","V70","V84","V86","V88","V92","V87",], 24:["V4","V14","V24","V34","V44","V54","V64","V74","V82","V84","V86","V94","V85",], 25:["V2","V16","V22","V38","V40","V56","V62","V76","V80","V82","V84","V96","V83",], 26:["V2","V16","V22","V38","V40","V56","V62","V74","V76","V78","V82","V96","V77",], 27:["V4","V14","V24","V34","V44","V54","V64","V72","V74","V76","V84","V94","V75",], 28:["V0","V18","V26","V32","V48","V50","V68","V70","V72","V74","V80","V98","V73",], 29:["V4","V6","V8","V10","V28","V30","V42","V58","V60","V70","V86","V92","V7",], 30:["V8","V12","V20","V36","V46","V52","V64","V66","V68","V78","V88","V90","V67",], 31:["V4","V14","V24","V34","V44","V54","V62","V64","V66","V74","V84","V94","V65",], 32:["V2","V16","V22","V38","V40","V56","V60","V62","V64","V76","V82","V96","V63",], 33:["V2","V16","V22","V38","V40","V54","V56","V58","V62","V76","V82","V96","V57",], 34:["V4","V14","V24","V34","V44","V52","V54","V56","V64","V74","V84","V94","V55",], 35:["V8","V12","V20","V36","V46","V50","V52","V54","V66","V78","V88","V90","V53",], 36:["V2","V4","V6","V14","V24","V34","V44","V54","V64","V74","V84","V94","V5",], 37:["V8","V12","V20","V36","V44","V46","V48","V52","V66","V78","V88","V90","V47",], 38:["V4","V14","V24","V34","V42","V44","V46","V54","V64","V74","V84","V94","V45",], 39:["V6","V10","V28","V30","V40","V42","V44","V58","V60","V70","V86","V92","V43",], 40:["V8","V12","V20","V34","V36","V38","V46","V52","V66","V78","V88","V90","V37",], 41:["V4","V14","V24","V32","V34","V36","V44","V54","V64","V74","V84","V94","V35",], 42:["V0","V18","V26","V30","V32","V34","V48","V50","V68","V72","V80","V98","V33",], 43:["V0","V2","V4","V16","V22","V38","V40","V56","V62","V76","V82","V96","V3",], 44:["V0","V18","V24","V26","V28","V32","V48","V50","V68","V72","V80","V98","V27",], 45:["V4","V14","V22","V24","V26","V34","V44","V54","V64","V74","V84","V94","V25",], 46:["V2","V16","V20","V22","V24","V38","V40","V56","V62","V76","V82","V96","V23",], 47:["V2","V14","V16","V18","V22","V38","V40","V56","V62","V76","V82","V96","V17",], 48:["V4","V12","V14","V16","V24","V34","V44","V54","V64","V74","V84","V94","V15",], 49:["V8","V10","V12","V14","V20","V36","V46","V52","V66","V78","V88","V90","V13",], 50:["V6","V8","V10","V12","V14","V20","V22","V28","V30","V34","V36","V38","V42","V44","V46","V48","V50","V52","V54","V58","V60","V64","V66","V68","V70","V76","V78","V86","V88","V92","V94","V90",], 51:["V6","V8","V10","V12","V14","V20","V22","V28","V30","V34","V36","V38","V42","V44","V46","V48","V50","V52","V54","V58","V60","V64","V66","V68","V70","V76","V78","V84","V86","V92","V94","V88",], 52:["V4","V6","V10","V12","V14","V20","V22","V28","V30","V34","V36","V38","V42","V44","V46","V48","V50","V52","V54","V58","V60","V64","V66","V68","V70","V76","V78","V84","V86","V92","V94","V8",], 53:["V4","V6","V12","V14","V20","V22","V26","V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V50","V52","V54","V56","V58","V60","V62","V64","V66","V68","V70","V72","V76","V78","V84","V86","V92","V94","V10",], 54:["V2","V4","V6","V12","V14","V16","V20","V22","V26","V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V50","V52","V54","V56","V58","V62","V64","V66","V68","V70","V72","V76","V78","V82","V84","V86","V92","V94","V96","V60",], 55:["V2","V4","V6","V12","V14","V16","V20","V22","V26","V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V50","V52","V54","V56","V62","V64","V66","V68","V70","V72","V74","V76","V82","V84","V86","V92","V94","V96","V78",], 56:["V2","V4","V6","V12","V14","V16","V20","V22","V24","V26","V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V50","V52","V54","V56","V62","V64","V66","V68","V70","V72","V74","V76","V82","V84","V86","V94","V96","V92",], 57:["V2","V4","V16","V18","V22","V24","V26","V28","V30","V32","V34","V38","V40","V46","V48","V50","V52","V56","V62","V66","V68","V70","V72","V74","V76","V82","V84","V94","V96","V14",], 58:["V2","V4","V16","V18","V22","V24","V26","V28","V30","V32","V34","V38","V40","V46","V48","V50","V52","V56","V62","V66","V68","V70","V72","V74","V76","V82","V84","V96","V98","V94",], 59:["V2","V4","V16","V18","V22","V24","V26","V28","V30","V32","V34","V38","V40","V46","V48","V50","V52","V56","V62","V66","V68","V70","V72","V74","V76","V80","V82","V96","V98","V84",], 60:["V0","V2","V4","V16","V18","V22","V24","V26","V28","V30","V32","V34","V38","V40","V46","V48","V50","V52","V56","V62","V66","V68","V70","V72","V74","V76","V80","V82","V96","V98",], } Variable Max Cliques: [(V0, 12), (V1, 1), (V10, 15), (V11, 1), (V12, 19), (V13, 1), (V14, 20), (V15, 1), (V16, 19), (V17, 1), (V18, 15), (V19, 1), (V2, 19), (V20, 18), (V21, 1), (V22, 23), (V23, 1), (V24, 17), (V25, 1), (V26, 20), (V27, 1), (V28, 22), (V29, 1), (V3, 1), (V30, 22), (V31, 1), (V32, 20), (V33, 1), (V34, 23), (V35, 1), (V36, 19), (V37, 1), (V38, 22), (V39, 1), (V4, 21), (V40, 19), (V41, 1), (V42, 19), (V43, 1), (V44, 19), (V45, 1), (V46, 23), (V47, 1), (V48, 22), (V49, 1), (V5, 1), (V50, 22), (V51, 1), (V52, 23), (V53, 1), (V54, 19), (V55, 1), (V56, 20), (V57, 1), (V58, 16), (V59, 1), (V6, 19), (V60, 16), (V61, 1), (V62, 20), (V63, 1), (V64, 19), (V65, 1), (V66, 23), (V67, 1), (V68, 22), (V69, 1), (V7, 1), (V70, 22), (V71, 1), (V72, 20), (V73, 1), (V74, 18), (V75, 1), (V76, 23), (V77, 1), (V78, 17), (V79, 1), (V8, 14), (V80, 13), (V81, 1), (V82, 19), (V83, 1), (V84, 21), (V85, 1), (V86, 19), (V87, 1), (V88, 13), (V89, 1), (V9, 1), (V90, 12), (V91, 1), (V92, 19), (V93, 1), (V94, 21), (V95, 1), (V96, 19), (V97, 1), (V98, 14), (V99, 1)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(28753408, 0), (28764672, 0), (28772624, 0), (28798592, 0), (28819712, 0), (28828064, 0), (28865600, 0), (28872240, 0), (28898432, 0), (28909472, 0), (29469824, 0), (29480128, 0), (29490432, 0), (29500736, 0), (29511040, 0), (29521344, 0), (29531648, 0), (29541952, 0), (29552256, 0), (29562560, 0), (29572864, 0), (29584128, 0), (29595392, -23), (29607408, 0), (29619616, 0), (29631824, 0), (29644032, 0), (29656240, 0), (29668448, -22), (29680656, 0), (29692864, -22), (29703920, 0), (29714976, 0), (29726032, 0), (29737120, -23), (29748208, 0), (29759296, 0), (29770384, 0), (29781472, -22), (29792560, 0), (29803648, 0), (29815440, 0), (29827232, 0), (29839024, 0), (29850816, 0), (29862608, 0), (29874400, -23), (29886192, 0), (29897984, -22), (29909776, 0), (29921568, -22), (29933232, 0), (29944896, -23), (29956560, 0), (29968224, 0), (29979888, 0), (29991552, 0), (30003936, 0), (30015600, 0), (30027264, 0), (30038928, 0), (30050656, 0), (30062384, 0), (30074112, 0), (30085840, 0), (30097568, 0), (30109296, -23), (30121024, 0), (30132752, -22), (30144480, 0), (30156208, -22), (30167040, 0), (30177872, 0), (30188704, 0), (30199536, 0), (30210368, 0), (30221200, -23), (30232032, 0), (30242864, 0), (30253696, 0), (30264528, 0), (30276128, 0), (30287728, 0), (30299328, 0), (30310928, 0), (30322528, 0), (30334128, 0), (30345728, 0), (30357328, 0), (30368928, 0), (30381680, 0), (30392640, 0), (30403600, 0), (30414560, 0), (30425520, 0), (30436480, 0), (30447440, 0), (30458400, 0), (30469360, 0), (30480320, 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":"845","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"100","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)":"7392","Peak Memory (MB)":"0"}, "Components": [{"Component Stats": {"# Constraints":"845","# Variables":"100"}, "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]","# 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]","# 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]","# 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]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"845","# isValid Checks":"8927845"}}]}