2026-03-23 20:33:16,673 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:["V97","V98","V0","V99",],
1:["V48","V49","V148","V149",],
2:["V47","V49","V147","V48",],
3:["V47","V50","V147","V49",],
4:["V46","V50","V146","V47",],
5:["V146","V46","V51","V50",],
6:["V45","V51","V145","V46",],
7:["V145","V45","V52","V51",],
8:["V44","V52","V144","V45",],
9:["V144","V44","V53","V52",],
10:["V43","V53","V143","V44",],
11:["V143","V43","V54","V53",],
12:["V42","V54","V142","V43",],
13:["V142","V42","V55","V54",],
14:["V41","V55","V141","V42",],
15:["V141","V41","V56","V55",],
16:["V40","V56","V140","V41",],
17:["V140","V40","V57","V56",],
18:["V39","V57","V139","V40",],
19:["V139","V39","V58","V57",],
20:["V38","V58","V138","V39",],
21:["V138","V38","V59","V58",],
22:["V37","V59","V137","V38",],
23:["V137","V37","V60","V59",],
24:["V36","V60","V136","V37",],
25:["V136","V36","V61","V60",],
26:["V35","V61","V135","V36",],
27:["V135","V35","V62","V61",],
28:["V34","V62","V134","V35",],
29:["V134","V34","V63","V62",],
30:["V33","V63","V133","V34",],
31:["V133","V33","V64","V63",],
32:["V32","V132","V64","V33",],
33:["V132","V32","V65","V64",],
34:["V31","V131","V65","V32",],
35:["V131","V66","V31","V65",],
36:["V30","V130","V66","V31",],
37:["V130","V67","V30","V66",],
38:["V29","V129","V67","V30",],
39:["V129","V68","V29","V67",],
40:["V28","V128","V68","V29",],
41:["V128","V69","V28","V68",],
42:["V27","V69","V127","V28",],
43:["V70","V127","V27","V69",],
44:["V26","V70","V126","V27",],
45:["V71","V126","V26","V70",],
46:["V25","V71","V125","V26",],
47:["V72","V125","V25","V71",],
48:["V24","V72","V124","V25",],
49:["V73","V124","V24","V72",],
50:["V23","V73","V123","V24",],
51:["V74","V123","V23","V73",],
52:["V22","V74","V122","V23",],
53:["V75","V122","V22","V74",],
54:["V21","V75","V121","V22",],
55:["V76","V121","V21","V75",],
56:["V20","V76","V120","V21",],
57:["V77","V120","V20","V76",],
58:["V19","V77","V119","V20",],
59:["V78","V119","V19","V77",],
60:["V18","V78","V118","V19",],
61:["V79","V118","V18","V78",],
62:["V17","V79","V117","V18",],
63:["V80","V117","V17","V79",],
64:["V16","V80","V116","V17",],
65:["V81","V116","V16","V80",],
66:["V15","V81","V115","V16",],
67:["V82","V115","V15","V81",],
68:["V14","V82","V114","V15",],
69:["V83","V114","V14","V82",],
70:["V13","V83","V113","V14",],
71:["V84","V113","V13","V83",],
72:["V12","V84","V112","V13",],
73:["V85","V112","V12","V84",],
74:["V11","V85","V111","V12",],
75:["V86","V111","V11","V85",],
76:["V10","V86","V110","V11",],
77:["V87","V110","V10","V86",],
78:["V9","V87","V109","V10",],
79:["V88","V109","V9","V87",],
80:["V89","V108","V9","V88",],
81:["V8","V89","V108","V9",],
82:["V96","V100","V0","V97",],
83:["V0","V1","V96","V100",],
84:["V95","V101","V1","V96",],
85:["V1","V2","V95","V101",],
86:["V94","V102","V2","V95",],
87:["V3","V94","V102","V2",],
88:["V93","V103","V3","V94",],
89:["V4","V93","V103","V3",],
90:["V92","V104","V4","V93",],
91:["V5","V92","V104","V4",],
92:["V91","V105","V5","V92",],
93:["V6","V91","V105","V5",],
94:["V90","V106","V6","V91",],
95:["V7","V90","V106","V6",],
96:["V89","V107","V7","V90",],
97:["V7","V89","V107","V8",],
}

Variable Max Cliques: [(V0, 3), (V1, 3), (V10, 3), (V100, 2), (V101, 2), (V102, 2), (V103, 2), (V104, 2), (V105, 2), (V106, 2), (V107, 2), (V108, 2), (V109, 2), (V11, 3), (V110, 2), (V111, 2), (V112, 2), (V113, 2), (V114, 2), (V115, 2), (V116, 2), (V117, 2), (V118, 2), (V119, 2), (V12, 3), (V120, 2), (V121, 2), (V122, 2), (V123, 2), (V124, 2), (V125, 2), (V126, 2), (V127, 2), (V128, 2), (V129, 2), (V13, 3), (V130, 2), (V131, 2), (V132, 2), (V133, 2), (V134, 2), (V135, 2), (V136, 2), (V137, 2), (V138, 2), (V139, 2), (V14, 3), (V140, 2), (V141, 2), (V142, 2), (V143, 2), (V144, 2), (V145, 2), (V146, 2), (V147, 2), (V148, 1), (V149, 1), (V15, 3), (V16, 3), (V17, 3), (V18, 3), (V19, 3), (V2, 3), (V20, 3), (V21, 3), (V22, 3), (V23, 3), (V24, 3), (V25, 3), (V26, 3), (V27, 3), (V28, 3), (V29, 3), (V3, 3), (V30, 3), (V31, 3), (V32, 3), (V33, 3), (V34, 3), (V35, 3), (V36, 3), (V37, 3), (V38, 3), (V39, 3), (V4, 3), (V40, 3), (V41, 3), (V42, 3), (V43, 3), (V44, 3), (V45, 3), (V46, 3), (V47, 3), (V48, 2), (V49, 3), (V5, 3), (V50, 3), (V51, 3), (V52, 3), (V53, 3), (V54, 3), (V55, 3), (V56, 3), (V57, 3), (V58, 3), (V59, 3), (V6, 3), (V60, 3), (V61, 3), (V62, 3), (V63, 3), (V64, 3), (V65, 3), (V66, 3), (V67, 3), (V68, 3), (V69, 3), (V7, 3), (V70, 3), (V71, 3), (V72, 3), (V73, 3), (V74, 3), (V75, 3), (V76, 3), (V77, 3), (V78, 3), (V79, 3), (V8, 2), (V80, 3), (V81, 3), (V82, 3), (V83, 3), (V84, 3), (V85, 3), (V86, 3), (V87, 3), (V88, 2), (V89, 4), (V9, 4), (V90, 3), (V91, 3), (V92, 3), (V93, 3), (V94, 3), (V95, 3), (V96, 3), (V97, 2), (V98, 1), (V99, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(47272480, 0), (47273904, -3), (47275056, -4), (47276544, -3), (47278768, -3), (47289376, -3), (47290096, -3), (47292752, -3), (47294512, -3), (47298048, -3), (47300704, -3), (47302352, -3), (47306768, -3), (47311424, -3), (47312384, -3), (47315360, -3), (47320080, -3), (47323856, -3), (47326512, -3), (47332896, -3), (47333776, -3), (47335072, -3), (47337968, -3), (47340480, -3), (47344976, -3), (47348656, -3), (47349712, -3), (47350976, -3), (47353328, -3), (47355536, -3), (47357328, -3), (47361024, -3), (47362592, -3), (47364512, -3), (47370240, -3), (47372656, -3), (47374752, -3), (47379760, -3), (47381968, -3), (47383760, -3), (47386304, -3), (47389200, -3), (47390912, -3), (47394384, -3), (47397504, -3), (47400928, 0), (47405824, -3), (47407616, -3), (47410336, -3), (47411344, -3), (47416816, -3), (47420240, -3), (47422032, -3), (47424224, -3), (47427104, -3), (47427920, -3), (47430048, -3), (47432000, -3), (47433792, -3), (47434736, -3), (47438448, -3), (47469520, -3), (47471232, -3), (47473024, -3), (47474816, -3), (47476608, -3), (47478400, -3), (47480192, -3), (47481984, -3), (47483776, -3), (47485568, -3), (47487360, -3), (47489152, -3), (47490944, -3), (47492736, -3), (47494528, -3), (47496320, -3), (47498112, -3), (47499904, -3), (47501696, -3), (47503488, -3), (47505280, -3), (47507072, -3), (47508864, -3), (47510656, -3), (47512448, -3), (47514240, -3), (47516032, -3), (47517824, 0), (47519616, -4), (47521408, 0), (47522560, -3), (47524352, -3), (47526144, -3), (47527936, -3), (47529728, -3), (47531520, -3), (47533312, -3), (47535104, 0), (47536896, 0), (47538688, 0), (47540480, 0), (47542272, 0), (47544064, 0), (47545856, 0), (47547648, 0), (47549440, 0), (47551232, 0), (47553024, 0), (47554816, 0), (47556608, 0), (47558400, 0), (47560192, 0), (47561984, 0), (47563776, 0), (47565568, 0), (47567360, 0), (47569152, 0), (47570944, 0), (47572736, 0), (47574528, 0), (47576320, 0), (47578112, 0), (47579904, 0), (47581696, 0), (47583488, 0), (47585280, 0), (47587072, 0), (47588864, 0), (47590656, 0), (47592448, 0), (47594240, 0), (47596032, 0), (47597824, 0), (47599616, 0), (47601408, 0), (47603200, 0), (47604992, 0), (47606784, 0), (47608576, 0), (47610368, 0), (47612160, 0), (47613952, 0), (47615744, 0), (47620016, 0), (47621808, 0), (47623600, 0), (47625392, 0), (47627184, 0), (47628976, 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":"100","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"150","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)":"35","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"100","# Variables":"150"}, "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, 1, 1, 3, 5, 10, 18, 32, 59, 108, 184, 264, 424, 692, 1096, 1698, 2578, 3846, 5615, 7987, 10914, 14435, 18199, 22983, 28466, 34678, 41889, 50484, 60208, 70763, 82014, 94481, 108329, 122416, 138144, 154449, 171143, 190182, 208598, 228853, 249932, 275267, 297323, 325206, 358870, 385640, 412680, 434330, 456272, 484797, 512297, 536158, 565955, 588212, 614016, 644899, 676933, 715005, 725384, 761217, 805589, 865219, 864545, 881703, 918910, 985931, 952325, 936176, 1025251, 1087265, 1027704, 998987, 1088226, 1195089, 1101332, 889245, 997297, 1115391, 1002032, 814461, 926366, 1065315, 933469, 745651, 896471, 1022166, 893158, 569900, 730070, 880283, 735875, 502639, 683039, 818377, 659318, 398410, 602716, 668106, 583924, 224298, 340486, 361798, 337852, 59032, 113868, 113868, 113868, 28, 56, 56, 56, 0, 0, 0, 0]","# backtracks":"47429839","# 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, 1, 1, 3, 5, 10, 18, 32, 59, 108, 184, 264, 424, 692, 1096, 1698, 2578, 3846, 5615, 7987, 10914, 14435, 18199, 22983, 28466, 34678, 41889, 50484, 60208, 70763, 82014, 94481, 108329, 122416, 138144, 154449, 171143, 190182, 208598, 228853, 249932, 275267, 297323, 325206, 358870, 385640, 412680, 434330, 456272, 484797, 512297, 536158, 565955, 588212, 614016, 644899, 676933, 715005, 725384, 761217, 805589, 865219, 864545, 881703, 918910, 985931, 952325, 936176, 1025251, 1087265, 1027704, 998987, 1088226, 1195089, 1101332, 889245, 997297, 1115391, 1002032, 814461, 926366, 1065315, 933469, 745651, 896471, 1022166, 893158, 569900, 730070, 880283, 735875, 502639, 683039, 818377, 659318, 398410, 602716, 668106, 583924, 224298, 340486, 361798, 337852, 59032, 113868, 113868, 113868, 28, 56, 56, 56, 0, 0, 0, 0, 0]","# nodes visited":"52318356","# 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, 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, 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":"88194856","# isValid Checks":"181824722"}}]}