2026-03-23 06:21:36,379 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","V2","V9","V10","V13","V21","V25","V28","V35","V37","V38","V41","V45","V29",],
1:["V1","V3","V4","V6","V12","V14","V20","V21","V25","V26","V32","V36","V37","V46","V19",],
2:["V3","V10","V13","V15","V21","V25","V26","V33","V36","V42","V46","V47","V48","V49","V11",],
3:["V0","V4","V8","V10","V13","V15","V16","V20","V21","V22","V25","V26","V27","V31","V40","V43","V49","V5",],
4:["V1","V4","V6","V7","V8","V10","V13","V18","V21","V23","V26","V31","V36","V40","V41","V42","V46","V39",],
5:["V2","V6","V7","V8","V9","V10","V16","V22","V26","V27","V30","V34","V35","V38","V40","V46","V47","V24",],
6:["V1","V2","V10","V13","V14","V15","V18","V21","V27","V28","V32","V35","V40","V41","V42","V43","V46","V49","V17",],
7:["V0","V1","V3","V4","V6","V8","V13","V14","V15","V20","V21","V23","V25","V26","V27","V32","V33","V35","V36","V37","V41","V43","V46","V47","V12",],
8:["V1","V2","V3","V6","V7","V8","V9","V10","V15","V16","V20","V21","V22","V23","V26","V27","V34","V35","V37","V38","V40","V42","V43","V44","V46","V47","V30",],
9:["V1","V2","V3","V4","V6","V7","V8","V10","V13","V14","V15","V21","V22","V23","V26","V27","V28","V31","V32","V33","V35","V36","V40","V41","V42","V43","V46","V47","V49","V18",],
10:["V0","V1","V2","V3","V6","V7","V8","V9","V10","V14","V15","V16","V20","V21","V22","V23","V26","V27","V28","V31","V33","V35","V37","V38","V40","V42","V43","V44","V45","V46","V47","V48","V34",],
11:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V13","V14","V15","V20","V21","V22","V23","V25","V26","V27","V28","V31","V32","V33","V35","V37","V40","V41","V42","V43","V44","V46","V47","V48","V49","V36",],
12:["V0","V1","V2","V3","V4","V6","V7","V8","V9","V10","V13","V14","V15","V16","V20","V21","V22","V23","V25","V26","V27","V28","V31","V32","V33","V35","V37","V40","V41","V42","V43","V44","V46","V47","V48","V49",],
13:["V0","V1","V2","V3","V4","V6","V7","V8","V9","V10","V13","V14","V15","V16","V20","V21","V22","V23","V25","V26","V27","V28","V31","V33","V35","V37","V40","V41","V42","V43","V44","V45","V46","V47","V48","V38",],
14:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V13","V14","V15","V16","V20","V21","V22","V23","V25","V26","V27","V28","V31","V32","V33","V35","V37","V40","V41","V42","V43","V44","V45","V46","V47","V48","V9",],
}

Variable Max Cliques: [(V0, 8), (V1, 11), (V10, 13), (V11, 1), (V12, 2), (V13, 11), (V14, 9), (V15, 11), (V16, 7), (V17, 1), (V18, 3), (V19, 1), (V2, 10), (V20, 9), (V21, 14), (V22, 9), (V23, 9), (V24, 1), (V25, 9), (V26, 13), (V27, 11), (V28, 8), (V29, 1), (V3, 10), (V30, 2), (V31, 8), (V32, 7), (V33, 8), (V34, 3), (V35, 11), (V36, 6), (V37, 9), (V38, 5), (V39, 1), (V4, 9), (V40, 11), (V41, 9), (V42, 10), (V43, 10), (V44, 6), (V45, 4), (V46, 13), (V47, 10), (V48, 6), (V49, 6), (V5, 1), (V6, 11), (V7, 9), (V8, 11), (V9, 7)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(46723664, 0), (46725088, -13), (46726240, 0), (46740320, 0), (46745376, 0), (46761984, 0), (46763520, 0), (46766656, 0), (46768288, 0), (46771376, 0), (46784192, 0), (46786368, -14), (46789264, 0), (46790688, 0), (46791776, 0), (46802704, 0), (46812320, 0), (46815808, 0), (46819584, 0), (46823952, 0), (46831056, 0), (46840848, 0), (46854976, -13), (46861632, 0), (46862640, 0), (46871248, 0), (46879216, 0), (46884784, 0), (46889744, 0), (46921248, 0), (46924384, 0), (46928080, 0), (46931776, 0), (46935472, 0), (46939168, 0), (46942864, 0), (46947024, 0), (46950720, 0), (46954416, 0), (46958112, 0), (46961808, 0), (46965536, 0), (46969264, 0), (46972992, 0), (46976720, 0), (46980448, 0), (46984176, -13), (46987904, 0), (46991632, 0), (46995360, 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":"471","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"50","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)":"166","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"471","# Variables":"50"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 7, 121, 757, 3625, 15461, 53962, 152502, 324980, 497367, 535616, 408028, 228372, 98389, 34534, 10314, 2785, 726, 180, 36, 7, 1, 0, 0, 0, 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":"2367770","# backtracks per level":"[0, 0, 7, 121, 757, 3625, 15461, 53962, 152502, 324980, 497367, 535616, 408028, 228372, 98389, 34534, 10314, 2785, 726, 180, 36, 7, 1, 0, 0, 0, 0, 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":"5045507","# 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]","# 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]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"1657883855","# isValid Checks":"282819822"}}]}