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

Variable Max Cliques: [(V0, 5), (V1, 9), (V10, 8), (V11, 6), (V12, 13), (V13, 2), (V14, 8), (V15, 9), (V16, 6), (V17, 1), (V18, 11), (V19, 2), (V2, 11), (V20, 7), (V21, 1), (V22, 8), (V23, 8), (V24, 12), (V25, 7), (V26, 1), (V27, 4), (V28, 7), (V29, 11), (V3, 7), (V30, 7), (V31, 9), (V32, 1), (V33, 13), (V34, 11), (V35, 8), (V36, 6), (V37, 12), (V38, 7), (V39, 9), (V4, 11), (V40, 2), (V41, 9), (V42, 8), (V43, 1), (V44, 6), (V45, 2), (V46, 10), (V47, 1), (V48, 1), (V49, 1), (V5, 9), (V6, 1), (V7, 10), (V8, 7), (V9, 5)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(48333392, 0), (48334816, 0), (48335968, 0), (48350048, 0), (48355104, 0), (48371712, 0), (48373248, 0), (48376384, 0), (48378016, 0), (48381104, 0), (48393920, 0), (48396096, 0), (48398992, 0), (48400416, 0), (48401504, 0), (48412432, 0), (48422048, 0), (48425536, 0), (48429312, 0), (48433680, 0), (48440784, -12), (48450576, 0), (48464704, 0), (48471360, 0), (48472368, -13), (48480976, 0), (48488944, 0), (48494512, 0), (48499472, 0), (48530976, 0), (48534112, 0), (48537808, 0), (48541504, 0), (48545200, -13), (48548896, 0), (48552592, 0), (48556752, 0), (48560448, -12), (48564144, 0), (48567840, 0), (48571536, 0), (48575264, 0), (48578992, 0), (48582720, 0), (48586448, 0), (48590176, 0), (48593904, 0), (48597632, 0), (48601360, 0), (48605088, 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":"462","# Normalized Constraints":"0","# Solutions":"1","# 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 Construction (ms)":"27","CPU Time Post Normalization (ms)":"6.52626e+06","CPU Time Problem Setup  (ms)":"156","CPU Time Search (ms)":"6.52623e+06","Full CPU Time (ms)":"6.52641e+06","Peak Memory (MB)":"56.66"},
 "Components": [{"Component Stats": {"# Constraints":"462","# Variables":"50"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 3, 46, 808, 3711, 14615, 48418, 125806, 241601, 335186, 340360, 261203, 157164, 77293, 32526, 12009, 4020, 1253, 375, 101, 30, 8, 4, 0, 0, 0, 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":"1656540","# backtracks per level":"[0, 3, 46, 808, 3711, 14615, 48418, 125806, 241601, 335186, 340360, 261203, 157164, 77293, 32526, 12009, 4020, 1253, 375, 101, 30, 8, 4, 0, 0, 0, 0, 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":"3453214","# solutions":"1","# 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":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"1128450964","# isValid Checks":"3470756110"}}]}