2026-03-23 18:34:16,736 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:["V73","V74","V75",],
1:["V72","V49","V73",],
2:["V48","V72","V49",],
3:["V8","V52","V53","V9",],
4:["V46","V71","V72","V47",],
5:["V71","V46","V48","V72",],
6:["V6","V51","V52","V7",],
7:["V4","V50","V51","V5",],
8:["V44","V70","V71","V45",],
9:["V42","V69","V70","V43",],
10:["V40","V68","V69","V41",],
11:["V38","V67","V68","V39",],
12:["V36","V66","V67","V37",],
13:["V34","V65","V66","V35",],
14:["V32","V64","V65","V33",],
15:["V30","V63","V64","V31",],
16:["V0","V3","V50","V1",],
17:["V0","V2","V50","V3",],
18:["V28","V62","V63","V29",],
19:["V26","V61","V62","V27",],
20:["V24","V60","V61","V25",],
21:["V22","V59","V60","V23",],
22:["V20","V58","V59","V21",],
23:["V18","V57","V58","V19",],
24:["V16","V56","V57","V17",],
25:["V14","V55","V56","V15",],
26:["V12","V54","V55","V13",],
27:["V10","V53","V54","V11",],
28:["V70","V44","V46","V48","V71",],
29:["V68","V70","V40","V42","V69",],
30:["V66","V68","V36","V38","V67",],
31:["V64","V66","V32","V34","V65",],
32:["V28","V30","V62","V64","V63",],
33:["V24","V26","V60","V62","V61",],
34:["V20","V22","V58","V60","V59",],
35:["V16","V18","V56","V58","V57",],
36:["V12","V14","V54","V56","V55",],
37:["V8","V10","V52","V54","V53",],
38:["V0","V2","V4","V51","V50",],
39:["V0","V2","V4","V6","V52","V51",],
40:["V68","V40","V42","V44","V46","V48","V70",],
41:["V28","V30","V32","V34","V62","V66","V64",],
42:["V20","V22","V24","V26","V58","V62","V60",],
43:["V12","V14","V16","V18","V54","V58","V56",],
44:["V0","V2","V4","V6","V8","V10","V54","V52",],
45:["V66","V36","V38","V40","V42","V44","V46","V48","V68",],
46:["V0","V2","V4","V6","V8","V10","V12","V14","V16","V18","V58","V54",],
47:["V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V62","V66",],
48:["V0","V2","V4","V6","V8","V10","V12","V14","V16","V18","V20","V22","V24","V26","V62","V58",],
49:["V0","V2","V4","V6","V10","V12","V14","V16","V18","V20","V22","V24","V26","V28","V30","V32","V34","V36","V38","V40","V42","V44","V46","V48","V62","V8",],
}

Variable Max Cliques: [(V0, 8), (V1, 1), (V10, 6), (V11, 1), (V12, 6), (V13, 1), (V14, 6), (V15, 1), (V16, 6), (V17, 1), (V18, 6), (V19, 1), (V2, 7), (V20, 5), (V21, 1), (V22, 5), (V23, 1), (V24, 5), (V25, 1), (V26, 5), (V27, 1), (V28, 5), (V29, 1), (V3, 2), (V30, 5), (V31, 1), (V32, 5), (V33, 1), (V34, 5), (V35, 1), (V36, 5), (V37, 1), (V38, 5), (V39, 1), (V4, 7), (V40, 6), (V41, 1), (V42, 6), (V43, 1), (V44, 6), (V45, 1), (V46, 7), (V47, 1), (V48, 7), (V49, 2), (V5, 1), (V50, 4), (V51, 4), (V52, 5), (V53, 3), (V54, 7), (V55, 3), (V56, 5), (V57, 3), (V58, 8), (V59, 3), (V6, 6), (V60, 5), (V61, 3), (V62, 9), (V63, 3), (V64, 5), (V65, 3), (V66, 7), (V67, 3), (V68, 6), (V69, 3), (V7, 1), (V70, 5), (V71, 4), (V72, 4), (V73, 2), (V74, 1), (V75, 1), (V8, 6), (V9, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(26570464, 0), (26578848, -8), (26580944, 0), (26582096, 0), (26586224, 0), (26596288, 0), (26599856, 0), (26601008, 0), (26607968, 0), (26617952, 0), (26619488, 0), (26622464, 0), (26624336, 0), (26626304, 0), (26629088, 0), (26640880, 0), (26645072, 0), (26647584, 0), (26656816, 0), (26664256, 0), (26668128, 0), (26669696, 0), (26671616, 0), (26682224, 0), (26687264, 0), (26690160, 0), (26697008, 0), (26698576, 0), (26701200, 0), (26702432, 0), (26710784, 0), (26716480, 0), (26717440, 0), (26718448, 0), (26726400, 0), (26729248, 0), (26733536, 0), (26735296, 0), (26737152, 0), (26745552, 0), (26820512, 0), (26862800, 0), (27394496, 0), (27396064, 0), (27482272, 0), (27483504, 0), (27572384, 0), (27660928, 0), (27747920, 0), (27750352, 0), (27836608, 0), (27839792, 0), (27926624, 0), (27928192, 0), (28016688, 0), (28103712, 0), (28105984, 0), (28192400, 0), (28281888, 0), (28370272, 0), (28457520, 0), (28460128, 0), (28546112, 0), (28549296, 0), (28636064, -9), (28723488, 0), (28726096, 0), (28813312, 0), (28901808, 0), (28904080, -8), (28989776, 0), (28992384, 0), (29078240, 0), (29080512, 0), (29518784, 0), (29524960, 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":"350","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"76","Boost Version":"1.75.0","Instance Name":"","Max Arity":"3","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Problem Setup  (ms)":"464","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"350","# Variables":"76"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 17, 749, 1574, 1867, 3435, 3854, 5751, 7205, 8727, 10285, 11581, 12639, 13333, 13729, 13945, 14594, 14290, 14706, 14367, 14298, 13704, 12977, 12191, 11204, 10290, 9133, 8251, 7267, 6409, 5496, 4353, 3671, 2767, 2226, 1722, 1389, 975, 784, 593, 457, 380, 264, 207, 124, 104, 48, 41, 30, 18, 12, 9, 8, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"298062","# backtracks per level":"[0, 0, 0, 17, 749, 1574, 1867, 3435, 3854, 5751, 7205, 8727, 10285, 11581, 12639, 13333, 13729, 13945, 14594, 14290, 14706, 14367, 14298, 13704, 12977, 12191, 11204, 10290, 9133, 8251, 7267, 6409, 5496, 4353, 3671, 2767, 2226, 1722, 1389, 975, 784, 593, 457, 380, 264, 207, 124, 104, 48, 41, 30, 18, 12, 9, 8, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"397916","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"553181","# 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]","# values removed after preprocessing":"27311","# 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]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"66481793","# isValid Checks":"1002319086"}}]}