Checked for one pass and found: 1
2026-03-23 12:46:09,745 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:["V6","V15","V18","V24","V28","V33","V38","V42","V48","V51","V58","V60","V62","V68","V69","V70","V72","V73","V74","V75","V76","V77","V79","V80","V78",],
1:["V6","V8","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V34","V35","V42","V44","V50","V53","V58","V62","V66","V71","V74","V80","V26",],
2:["V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V18","V20","V27","V30","V36","V40","V45","V50","V54","V60","V63","V70","V72","V80","V0",],
3:["V1","V8","V10","V16","V19","V24","V28","V32","V37","V40","V46","V48","V54","V55","V56","V63","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V64",],
4:["V1","V7","V11","V16","V21","V25","V31","V34","V41","V43","V51","V52","V53","V54","V55","V56","V57","V58","V59","V60","V62","V69","V70","V71","V77","V79","V61",],
5:["V4","V5","V6","V9","V10","V11","V12","V13","V15","V16","V17","V22","V23","V24","V30","V32","V34","V38","V41","V44","V46","V50","V54","V59","V68","V77","V14",],
6:["V2","V7","V11","V15","V20","V23","V27","V29","V31","V37","V38","V39","V45","V46","V48","V49","V50","V51","V52","V53","V55","V56","V57","V63","V65","V67","V74","V77","V47",],
7:["V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V12","V18","V20","V27","V28","V30","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V50","V54","V56","V60","V63","V66","V70","V72","V76","V80","V36",],
8:["V3","V6","V12","V15","V18","V21","V24","V28","V30","V33","V35","V38","V39","V42","V43","V45","V48","V51","V55","V57","V58","V59","V60","V62","V65","V66","V67","V68","V69","V70","V72","V73","V74","V76","V77","V79","V80","V75",],
9:["V3","V4","V5","V6","V9","V10","V11","V12","V15","V16","V17","V21","V22","V23","V24","V29","V30","V31","V32","V33","V34","V37","V38","V40","V41","V43","V44","V45","V46","V49","V50","V53","V54","V58","V59","V67","V68","V76","V77","V13",],
10:["V1","V2","V7","V11","V12","V15","V16","V20","V21","V22","V23","V25","V27","V29","V31","V32","V34","V37","V38","V39","V41","V42","V43","V44","V45","V46","V48","V49","V50","V51","V53","V54","V55","V56","V57","V58","V59","V60","V62","V63","V65","V67","V68","V69","V70","V71","V74","V76","V77","V79","V52",],
11:["V1","V3","V6","V8","V10","V12","V15","V16","V17","V18","V19","V21","V24","V25","V28","V30","V32","V33","V35","V37","V38","V39","V40","V41","V42","V43","V45","V46","V48","V49","V51","V54","V55","V56","V57","V58","V59","V60","V62","V63","V65","V66","V67","V68","V69","V70","V71","V72","V74","V76","V77","V79","V80","V73",],
12:["V1","V2","V3","V5","V6","V7","V8","V9","V10","V11","V12","V15","V16","V17","V18","V20","V21","V22","V23","V24","V27","V28","V29","V30","V31","V32","V33","V34","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V49","V50","V53","V54","V56","V58","V59","V60","V63","V66","V67","V68","V70","V72","V76","V77","V80","V4",],
13:["V1","V2","V3","V6","V7","V8","V9","V10","V11","V12","V15","V16","V17","V18","V20","V21","V22","V23","V24","V25","V27","V28","V29","V30","V31","V32","V33","V34","V35","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V49","V50","V53","V54","V56","V58","V59","V60","V63","V66","V67","V68","V70","V72","V76","V77","V80","V5",],
14:["V1","V2","V3","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V27","V28","V29","V30","V31","V32","V33","V34","V35","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V49","V50","V53","V54","V56","V58","V59","V60","V63","V66","V67","V68","V69","V70","V72","V76","V77","V79","V80","V9",],
15:["V1","V2","V3","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V27","V28","V29","V30","V31","V32","V33","V34","V35","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V48","V49","V50","V51","V53","V54","V55","V56","V57","V58","V59","V60","V62","V63","V65","V66","V67","V68","V69","V70","V71","V72","V74","V76","V77","V79","V80",],
}

Variable Max Cliques: [(V0, 1), (V1, 10), (V10, 10), (V11, 9), (V12, 10), (V13, 2), (V14, 1), (V15, 11), (V16, 11), (V17, 8), (V18, 10), (V19, 5), (V2, 8), (V20, 9), (V21, 10), (V22, 8), (V23, 9), (V24, 11), (V25, 7), (V26, 1), (V27, 8), (V28, 9), (V29, 7), (V3, 9), (V30, 10), (V31, 8), (V32, 9), (V33, 8), (V34, 9), (V35, 6), (V36, 2), (V37, 10), (V38, 12), (V39, 9), (V4, 5), (V40, 9), (V41, 10), (V42, 10), (V43, 10), (V44, 9), (V45, 11), (V46, 11), (V47, 1), (V48, 7), (V49, 8), (V5, 6), (V50, 11), (V51, 7), (V52, 3), (V53, 9), (V54, 12), (V55, 7), (V56, 10), (V57, 6), (V58, 11), (V59, 10), (V6, 12), (V60, 11), (V61, 1), (V62, 7), (V63, 10), (V64, 1), (V65, 6), (V66, 9), (V67, 10), (V68, 11), (V69, 8), (V7, 9), (V70, 12), (V71, 6), (V72, 10), (V73, 4), (V74, 8), (V75, 2), (V76, 10), (V77, 12), (V78, 1), (V79, 7), (V8, 9), (V80, 10), (V9, 7)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(46292896, 0), (46296144, 0), (46297632, 0), (46299392, 0), (46312208, 0), (46320224, 0), (46328880, -11), (46332448, -12), (46333440, 0), (46336416, 0), (46338048, 0), (46340784, 0), (46345904, 0), (46347568, 0), (46352544, 0), (46356128, 0), (46361472, 0), (46363584, 0), (46368496, 0), (46369712, 0), (46376800, 0), (46379424, 0), (46391088, 0), (46394880, 0), (46397808, 0), (46399296, 0), (46402320, 0), (46404128, 0), (46406288, -12), (46419888, 0), (46423280, 0), (46427152, 0), (46437232, -11), (46438176, 0), (46440384, 0), (46446752, 0), (46448752, 0), (46450048, 0), (46450880, 0), (46451632, -11), (46455744, 0), (46482576, 0), (46483696, 0), (46484816, 0), (46485936, 0), (46487360, -11), (46489600, -11), (46491840, 0), (46494128, 0), (46496416, 0), (46498704, -11), (46500992, 0), (46503280, 0), (46505568, 0), (46507856, -12), (46510144, 0), (46512432, 0), (46514720, 0), (46517008, -11), (46519296, 0), (46521584, -11), (46523872, 0), (46526160, 0), (46528448, 0), (46530736, 0), (46533024, 0), (46535312, 0), (46537600, 0), (46539888, -11), (46542176, 0), (46544464, -12), (46546752, 0), (46549040, 0), (46551328, 0), (46553616, 0), (46555904, 0), (46558192, 0), (46560480, -12), (46562768, 0), (46565056, 0), (46567344, 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":"1056","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"81","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)":"75","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"1056","# Variables":"81"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 2, 16, 90, 345, 918, 1529, 1542, 2618, 988, 126, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"8174","# backtracks per level":"[0, 0, 0, 0, 0, 0, 2, 16, 90, 345, 918, 1529, 1542, 2618, 988, 126, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"31456","# 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]","# 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]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "POAC1": null, "STR2": {"# calls to revise":"2189496382","# isValid Checks":"3000234498"}, "POACQ": null}]}