2026-03-23 04:55:35,892 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:["V10","V41","V48","V49","V58","V62","V80","V84","V16",], 1:["V2","V10","V41","V48","V58","V62","V80","V84","V103","V49",], 2:["V2","V8","V41","V48","V58","V62","V80","V103","V84",], 3:["V2","V8","V20","V48","V58","V62","V80","V103","V41",], 4:["V2","V4","V8","V20","V48","V58","V62","V103","V80",], 5:["V3","V8","V14","V17","V20","V25","V28","V48","V53","V58","V76","V103","V123","V39",], 6:["V2","V3","V8","V14","V17","V20","V28","V48","V53","V58","V76","V103","V123","V25",], 7:["V2","V4","V8","V14","V20","V28","V47","V48","V53","V58","V76","V103","V3",], 8:["V2","V4","V8","V14","V20","V28","V47","V48","V53","V62","V76","V103","V58",], 9:["V2","V4","V8","V14","V28","V47","V53","V62","V111","V76",], 10:["V2","V4","V8","V34","V47","V111","V62",], 11:["V2","V4","V34","V47","V86","V111","V8",], 12:["V64","V96","V120","V124","V34","V50","V33",], 13:["V86","V111","V4","V15","V31","V34","V47","V2",], 14:["V4","V11","V15","V31","V32","V34","V36","V47","V111","V86",], 15:["V11","V15","V31","V32","V34","V36","V46","V119","V111",], 16:["V5","V12","V22","V55","V59","V69","V70","V83","V88","V94","V95","V105",], 17:["V5","V12","V22","V55","V59","V69","V70","V83","V88","V95","V121","V126","V94",], 18:["V15","V32","V34","V38","V50","V64","V73","V77","V96","V104","V116","V124","V120",], 19:["V5","V12","V22","V59","V63","V66","V69","V70","V83","V88","V95","V110","V121","V126","V55",], 20:["V0","V30","V43","V46","V54","V56","V63","V66","V71","V79","V97","V102","V108","V119","V121","V118",], 21:["V15","V18","V32","V34","V38","V64","V72","V73","V77","V96","V99","V100","V104","V113","V116","V124","V50",], 22:["V0","V30","V36","V43","V46","V54","V56","V63","V66","V79","V97","V101","V102","V107","V108","V119","V121","V71",], 23:["V1","V5","V12","V22","V63","V66","V69","V70","V74","V83","V88","V92","V95","V106","V110","V121","V126","V59",], 24:["V0","V11","V15","V30","V32","V34","V36","V46","V73","V78","V79","V89","V97","V101","V108","V116","V119","V31",], 25:["V1","V5","V12","V22","V56","V63","V66","V69","V70","V74","V75","V83","V92","V95","V106","V110","V121","V126","V88",], 26:["V1","V5","V12","V54","V56","V63","V66","V69","V70","V74","V75","V83","V92","V95","V106","V110","V121","V126","V22",], 27:["V1","V9","V12","V40","V54","V56","V63","V66","V69","V70","V74","V75","V83","V92","V95","V106","V110","V112","V121","V126","V5",], 28:["V0","V11","V30","V36","V46","V54","V56","V63","V66","V69","V78","V79","V89","V97","V101","V102","V107","V108","V109","V119","V121","V43",], 29:["V0","V11","V26","V30","V36","V46","V54","V56","V63","V66","V69","V78","V79","V89","V97","V101","V107","V108","V109","V119","V121","V102",], 30:["V0","V11","V15","V26","V30","V32","V34","V36","V54","V56","V63","V66","V69","V73","V78","V79","V89","V97","V101","V107","V108","V109","V116","V119","V121","V46",], 31:["V0","V15","V26","V32","V34","V54","V56","V63","V66","V69","V73","V78","V79","V89","V101","V107","V108","V109","V116","V121","V127","V97",], 32:["V7","V13","V15","V18","V32","V34","V38","V42","V72","V73","V77","V78","V89","V96","V99","V100","V101","V104","V113","V116","V124","V64",], 33:["V66","V69","V73","V75","V78","V79","V87","V89","V101","V104","V107","V108","V109","V113","V116","V121","V127","V15","V26","V32","V34","V54","V56","V63","V0",], 34:["V7","V13","V15","V18","V26","V32","V34","V38","V42","V61","V72","V73","V77","V78","V79","V89","V90","V99","V100","V101","V104","V107","V108","V109","V113","V116","V124","V127","V96",], 35:["V1","V9","V19","V23","V24","V29","V35","V37","V40","V44","V45","V51","V52","V57","V60","V65","V68","V81","V82","V85","V92","V93","V112","V114","V115","V117","V122","V125","V21",], 36:["V6","V7","V13","V15","V18","V26","V27","V32","V34","V38","V42","V61","V67","V72","V73","V75","V77","V78","V79","V87","V89","V90","V99","V100","V101","V104","V107","V108","V109","V113","V116","V127","V124",], 37:["V6","V7","V13","V15","V18","V26","V27","V32","V34","V38","V42","V51","V61","V67","V72","V73","V75","V78","V79","V87","V89","V90","V91","V98","V99","V100","V101","V104","V107","V108","V109","V113","V116","V127","V77",], 38:["V6","V7","V13","V15","V18","V26","V27","V32","V34","V42","V51","V61","V65","V67","V72","V73","V75","V78","V79","V87","V89","V90","V91","V98","V99","V100","V101","V104","V107","V108","V109","V113","V116","V127","V38",], 39:["V6","V7","V13","V15","V18","V26","V27","V32","V34","V42","V51","V61","V65","V67","V72","V73","V75","V78","V79","V87","V89","V90","V91","V98","V99","V101","V104","V107","V108","V109","V113","V114","V116","V127","V100",], 40:["V6","V7","V13","V15","V26","V27","V32","V34","V42","V51","V61","V65","V67","V72","V73","V75","V78","V79","V87","V89","V90","V91","V98","V99","V101","V104","V107","V108","V109","V113","V114","V116","V122","V125","V127","V18",], 41:["V6","V7","V13","V15","V26","V27","V32","V34","V42","V51","V54","V56","V61","V63","V65","V66","V67","V69","V72","V73","V75","V78","V79","V87","V90","V91","V98","V99","V101","V104","V107","V108","V109","V113","V114","V116","V121","V122","V125","V127","V89",], 42:["V6","V7","V13","V26","V27","V42","V51","V54","V56","V61","V63","V65","V66","V67","V69","V72","V75","V87","V90","V91","V98","V99","V106","V114","V121","V122","V125","V127","V109",], 43:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V60","V65","V68","V74","V81","V82","V85","V92","V93","V110","V112","V114","V115","V117","V122","V125","V126","V35",], 44:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V60","V65","V68","V74","V81","V82","V85","V91","V92","V93","V98","V110","V112","V114","V115","V122","V125","V126","V117",], 45:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V60","V65","V68","V74","V81","V82","V83","V91","V92","V93","V98","V110","V112","V114","V115","V122","V125","V126","V85",], 46:["V1","V6","V7","V9","V12","V13","V26","V27","V40","V42","V51","V54","V56","V61","V63","V65","V66","V67","V70","V72","V74","V75","V83","V87","V90","V91","V92","V95","V98","V99","V106","V110","V112","V114","V121","V122","V125","V126","V127","V69",], 47:["V1","V6","V7","V9","V12","V13","V26","V27","V40","V42","V44","V51","V61","V65","V67","V68","V70","V72","V74","V75","V82","V83","V87","V90","V91","V92","V95","V98","V106","V110","V112","V114","V122","V125","V126","V127","V99",], 48:["V1","V6","V7","V9","V12","V27","V40","V42","V44","V51","V61","V65","V67","V68","V70","V74","V75","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V127","V13",], 49:["V1","V6","V7","V9","V12","V19","V27","V40","V44","V51","V61","V65","V67","V68","V70","V74","V75","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V127","V42",], 50:["V1","V6","V7","V9","V12","V19","V23","V27","V40","V44","V51","V61","V65","V67","V68","V74","V75","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V70",], 51:["V1","V6","V7","V9","V12","V19","V23","V27","V29","V40","V44","V51","V61","V65","V67","V68","V74","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V75",], 52:["V1","V6","V9","V19","V23","V27","V29","V40","V44","V51","V57","V61","V65","V67","V68","V74","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V7",], 53:["V1","V9","V19","V23","V24","V27","V29","V40","V44","V45","V51","V57","V61","V65","V67","V68","V74","V82","V83","V87","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V122","V125","V126","V6",], 54:["V1","V9","V19","V23","V24","V27","V29","V40","V44","V45","V51","V52","V57","V61","V65","V67","V68","V74","V82","V83","V90","V91","V92","V93","V95","V98","V106","V110","V112","V114","V115","V122","V125","V126","V87",], 55:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V61","V65","V67","V68","V74","V82","V83","V90","V91","V92","V93","V98","V106","V110","V112","V114","V115","V122","V125","V126","V95",], 56:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V65","V67","V68","V74","V81","V82","V83","V91","V92","V93","V98","V106","V110","V112","V114","V115","V122","V125","V126","V61",], 57:["V1","V9","V19","V23","V24","V27","V29","V37","V40","V44","V45","V51","V52","V57","V60","V65","V67","V68","V74","V81","V82","V83","V91","V92","V93","V106","V110","V112","V114","V115","V122","V125","V126","V98",], } Variable Max Cliques: [(V0, 8), (V1, 20), (V10, 2), (V100, 7), (V101, 15), (V102, 4), (V103, 8), (V104, 11), (V105, 1), (V106, 17), (V107, 13), (V108, 15), (V109, 13), (V11, 6), (V110, 20), (V111, 6), (V112, 17), (V113, 10), (V114, 20), (V115, 8), (V116, 14), (V117, 3), (V118, 1), (V119, 7), (V12, 13), (V120, 2), (V121, 16), (V122, 19), (V123, 2), (V124, 6), (V125, 19), (V126, 21), (V127, 14), (V13, 12), (V14, 5), (V15, 17), (V16, 1), (V17, 2), (V18, 8), (V19, 13), (V2, 11), (V20, 6), (V21, 1), (V22, 6), (V23, 12), (V24, 9), (V25, 2), (V26, 14), (V27, 22), (V28, 5), (V29, 11), (V3, 3), (V30, 6), (V31, 4), (V32, 16), (V33, 1), (V34, 20), (V35, 2), (V36, 7), (V37, 7), (V38, 7), (V39, 1), (V4, 8), (V40, 17), (V41, 4), (V42, 13), (V43, 3), (V44, 15), (V45, 9), (V46, 7), (V47, 7), (V48, 9), (V49, 2), (V5, 7), (V50, 3), (V51, 22), (V52, 8), (V53, 5), (V54, 12), (V55, 3), (V56, 13), (V57, 10), (V58, 9), (V59, 4), (V6, 15), (V60, 5), (V61, 19), (V62, 8), (V63, 15), (V64, 4), (V65, 21), (V66, 15), (V67, 19), (V68, 15), (V69, 15), (V7, 16), (V70, 12), (V71, 2), (V72, 12), (V73, 14), (V74, 19), (V75, 17), (V76, 5), (V77, 6), (V78, 14), (V79, 15), (V8, 10), (V80, 5), (V81, 6), (V82, 15), (V83, 20), (V84, 3), (V85, 4), (V86, 3), (V87, 17), (V88, 5), (V89, 14), (V9, 17), (V90, 18), (V91, 20), (V92, 20), (V93, 14), (V94, 2), (V95, 17), (V96, 5), (V97, 7), (V98, 20), (V99, 12)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(26022432, 0), (26025008, 0), (26026496, 0), (26028944, 0), (26039328, 0), (26040048, 0), (26044016, 0), (26050656, 0), (26052416, 0), (26056720, 0), (26062336, 0), (26065312, 0), (26068624, 0), (26070032, 0), (26073808, 0), (26076464, 0), (26082848, 0), (26083888, 0), (26085120, 0), (26087920, 0), (26090432, 0), (26095856, 0), (26098608, 0), (26099664, 0), (26100704, 0), (26103280, 0), (26105856, 0), (26110976, 0), (26112544, 0), (26114464, 0), (26120880, 0), (26125408, 0), (26131392, 0), (26133456, 0), (26136256, 0), (26139808, -22), (26141904, 0), (26144272, 0), (26147456, 0), (26151072, 0), (26155776, 0), (26157872, 0), (26159328, 0), (26161536, 0), (26166768, 0), (26170112, 0), (26172208, 0), (26175008, 0), (26176448, 0), (26180000, 0), (26181952, 0), (26185888, -22), (26188400, 0), (26220768, 0), (26222832, 0), (26224928, 0), (26227024, 0), (26229840, 0), (26231936, 0), (26234032, 0), (26236128, 0), (26238224, 0), (26240320, 0), (26242416, 0), (26244512, 0), (26246608, -21), (26248704, 0), (26250800, 0), (26252896, 0), (26254992, 0), (26257088, 0), (26259184, 0), (26261280, 0), (26263376, 0), (26265472, 0), (26267568, 0), (26269664, 0), (26271760, 0), (26273856, 0), (26275952, 0), (26278048, 0), (26280144, 0), (26282240, 0), (26284336, 0), (26286432, 0), (26288528, 0), (26290624, 0), (26292720, 0), (26294816, 0), (26296912, 0), (26300160, 0), (26302256, 0), (26304352, 0), (26306448, 0), (26308544, 0), (26310640, 0), (26312736, 0), (26314832, 0), (26316928, 0), (26319024, 0), (26321120, 0), (26323216, 0), (26325312, 0), (26327408, 0), (26329504, 0), (26331600, 0), (26333696, 0), (26335792, 0), (26337888, 0), (26339984, 0), (26342080, 0), (26344176, 0), (26346272, 0), (26348368, 0), (26350464, 0), (26352560, 0), (26354656, 0), (26356752, 0), (26358848, 0), (26360944, 0), (26363040, 0), (26365136, 0), (26367232, 0), (26369328, 0), (26371424, 0), (26373520, 0), (26375616, -21), (26377712, 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":"2113","# 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)":"127","CPU Time Post Normalization (ms)":"47402","CPU Time Problem Setup (ms)":"106","CPU Time Search (ms)":"47274","Full CPU Time (ms)":"47508","Peak Memory (MB)":"113.414"}, "Components": [{"Component Stats": {"# Constraints":"2113","# 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":"145","# 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":"130123","# isValid Checks":"1218831"}}]}