2026-03-23 05:11:42,364 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:["V23","V31","V54","V86","V103","V104","V105","V106","V107","V108","V109","V117","V102",],
1:["V0","V31","V33","V34","V35","V36","V37","V38","V62","V87","V103","V110","V118","V32",],
2:["V0","V1","V3","V4","V5","V6","V18","V27","V35","V43","V57","V81","V126","V2",],
3:["V20","V28","V44","V73","V83","V97","V125","V126","V127","V129","V130","V131","V132","V128",],
4:["V9","V41","V47","V55","V63","V71","V109","V110","V111","V113","V114","V115","V116","V112",],
5:["V12","V50","V58","V84","V91","V94","V95","V96","V97","V99","V100","V101","V129","V136","V98",],
6:["V13","V29","V37","V59","V68","V74","V86","V87","V88","V89","V90","V91","V93","V130","V92",],
7:["V6","V53","V76","V78","V79","V80","V81","V82","V83","V84","V93","V101","V124","V139","V85",],
8:["V26","V34","V42","V66","V70","V71","V73","V74","V75","V76","V77","V80","V106","V115","V72",],
9:["V1","V11","V17","V49","V62","V63","V64","V66","V67","V68","V69","V105","V114","V123","V65",],
10:["V4","V21","V51","V54","V55","V56","V57","V58","V59","V61","V69","V99","V131","V137","V60",],
11:["V25","V46","V47","V49","V50","V51","V52","V53","V64","V79","V96","V104","V113","V122","V48",],
12:["V14","V38","V39","V40","V41","V42","V43","V44","V61","V77","V108","V116","V132","V140","V45",],
13:["V5","V22","V23","V24","V25","V26","V27","V28","V29","V52","V75","V100","V107","V138","V30",],
14:["V3","V15","V16","V17","V18","V20","V21","V22","V36","V67","V82","V90","V127","V135","V19",],
15:["V7","V15","V24","V39","V94","V111","V119","V134","V135","V136","V137","V138","V139","V140","V133",],
16:["V8","V16","V33","V40","V46","V70","V88","V117","V118","V119","V121","V122","V123","V124","V120",],
17:["V7","V8","V9","V11","V12","V13","V14","V56","V78","V89","V95","V121","V125","V134","V10",],
18:["V0","V23","V33","V34","V35","V36","V37","V38","V54","V62","V86","V87","V103","V104","V105","V106","V107","V108","V109","V110","V117","V118","V31",],
19:["V0","V1","V4","V5","V6","V15","V16","V17","V18","V20","V21","V22","V27","V35","V36","V43","V57","V67","V81","V82","V90","V126","V127","V135","V3",],
20:["V12","V20","V28","V44","V50","V58","V73","V83","V84","V91","V94","V95","V96","V99","V100","V101","V125","V126","V127","V129","V130","V131","V132","V136","V97",],
21:["V1","V9","V11","V17","V41","V47","V49","V55","V62","V64","V66","V67","V68","V69","V71","V105","V109","V110","V111","V113","V114","V115","V116","V123","V63",],
22:["V14","V26","V34","V38","V39","V40","V41","V42","V43","V44","V61","V66","V70","V71","V73","V74","V75","V76","V80","V106","V108","V115","V116","V132","V140","V77",],
23:["V8","V9","V11","V12","V13","V14","V15","V24","V39","V56","V78","V89","V94","V95","V111","V119","V121","V125","V134","V135","V136","V137","V138","V139","V140","V7",],
24:["V8","V16","V25","V33","V40","V47","V49","V50","V51","V52","V53","V64","V70","V79","V88","V96","V104","V113","V117","V118","V119","V121","V122","V123","V124","V46",],
25:["V5","V13","V22","V23","V24","V25","V26","V27","V28","V37","V52","V59","V68","V74","V75","V86","V87","V88","V89","V90","V91","V93","V100","V107","V130","V138","V29",],
26:["V0","V1","V4","V5","V6","V15","V16","V17","V20","V21","V22","V27","V35","V36","V43","V51","V54","V55","V56","V58","V59","V61","V67","V69","V81","V82","V90","V99","V126","V127","V131","V135","V137","V57",],
27:["V6","V12","V20","V28","V44","V50","V53","V58","V73","V76","V78","V79","V80","V81","V82","V83","V91","V93","V94","V95","V96","V99","V100","V101","V124","V125","V126","V127","V130","V131","V132","V136","V139","V84",],
28:["V0","V1","V9","V11","V17","V23","V33","V34","V35","V36","V37","V38","V41","V47","V49","V54","V55","V64","V66","V67","V68","V69","V71","V86","V87","V104","V105","V106","V107","V108","V109","V110","V111","V113","V115","V116","V117","V118","V123","V62",],
29:["V6","V8","V9","V11","V12","V13","V14","V15","V20","V24","V28","V39","V44","V50","V53","V56","V58","V73","V76","V78","V79","V80","V81","V82","V89","V91","V93","V94","V96","V99","V100","V111","V119","V121","V124","V125","V126","V127","V130","V131","V132","V135","V136","V137","V138","V139","V140","V95",],
30:["V8","V14","V16","V25","V26","V33","V34","V38","V39","V40","V41","V43","V44","V47","V49","V50","V51","V52","V53","V61","V64","V66","V71","V73","V74","V75","V76","V79","V80","V88","V96","V104","V106","V108","V113","V115","V116","V117","V118","V119","V121","V123","V124","V132","V140","V70",],
31:["V0","V1","V8","V9","V11","V14","V16","V17","V23","V25","V26","V33","V34","V35","V36","V37","V38","V39","V41","V43","V44","V47","V49","V50","V51","V52","V53","V54","V55","V61","V64","V66","V67","V68","V69","V73","V74","V75","V76","V79","V80","V86","V87","V88","V96","V104","V106","V107","V108","V111","V113","V115","V116","V117","V118","V119","V121","V123","V124","V132","V140","V71",],
32:["V0","V1","V5","V6","V8","V9","V11","V13","V14","V15","V16","V17","V20","V22","V24","V27","V28","V35","V36","V39","V43","V44","V50","V51","V53","V54","V55","V56","V58","V59","V61","V67","V69","V73","V76","V79","V80","V81","V82","V89","V90","V91","V93","V96","V100","V111","V119","V121","V124","V126","V127","V130","V131","V132","V135","V137","V138","V140","V99",],
33:["V0","V1","V5","V8","V9","V11","V13","V14","V16","V17","V22","V23","V24","V25","V26","V27","V28","V35","V36","V37","V39","V43","V44","V50","V51","V52","V53","V54","V55","V59","V61","V67","V68","V69","V73","V74","V75","V76","V79","V80","V86","V87","V88","V89","V90","V91","V93","V100","V107","V111","V119","V121","V124","V130","V132","V138","V140","V96",],
}

Variable Max Cliques: [(V0, 9), (V1, 9), (V10, 1), (V100, 8), (V101, 4), (V102, 1), (V103, 3), (V104, 7), (V105, 5), (V106, 7), (V107, 7), (V108, 7), (V109, 5), (V11, 9), (V110, 5), (V111, 9), (V112, 1), (V113, 7), (V114, 3), (V115, 7), (V116, 7), (V117, 7), (V118, 7), (V119, 9), (V12, 6), (V120, 1), (V121, 9), (V122, 3), (V123, 7), (V124, 9), (V125, 6), (V126, 8), (V127, 8), (V128, 1), (V129, 3), (V13, 7), (V130, 8), (V131, 7), (V132, 10), (V133, 1), (V134, 3), (V135, 7), (V136, 6), (V137, 6), (V138, 7), (V139, 5), (V14, 9), (V140, 9), (V15, 7), (V16, 9), (V17, 9), (V18, 3), (V19, 1), (V2, 1), (V20, 8), (V21, 4), (V22, 7), (V23, 7), (V24, 7), (V25, 7), (V26, 7), (V27, 7), (V28, 8), (V29, 3), (V3, 3), (V30, 1), (V31, 3), (V32, 1), (V33, 7), (V34, 7), (V35, 9), (V36, 9), (V37, 7), (V38, 7), (V39, 9), (V4, 4), (V40, 5), (V41, 7), (V42, 3), (V43, 9), (V44, 10), (V45, 1), (V46, 3), (V47, 7), (V48, 1), (V49, 7), (V5, 7), (V50, 10), (V51, 8), (V52, 7), (V53, 9), (V54, 8), (V55, 8), (V56, 6), (V57, 4), (V58, 7), (V59, 6), (V6, 7), (V60, 1), (V61, 8), (V62, 5), (V63, 3), (V64, 7), (V65, 1), (V66, 7), (V67, 9), (V68, 7), (V69, 8), (V7, 3), (V70, 5), (V71, 7), (V72, 1), (V73, 10), (V74, 7), (V75, 7), (V76, 9), (V77, 3), (V78, 5), (V79, 9), (V8, 9), (V80, 9), (V81, 7), (V82, 7), (V83, 4), (V84, 4), (V85, 1), (V86, 7), (V87, 7), (V88, 7), (V89, 7), (V9, 9), (V90, 7), (V91, 8), (V92, 1), (V93, 7), (V94, 6), (V95, 6), (V96, 10), (V97, 3), (V98, 1), (V99, 7)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(28023680, 0), (28025392, 0), (28027680, 0), (28029456, 0), (28105680, -9), (28107488, -9), (28109216, 0), (28110928, 0), (28112640, 0), (28114752, 0), (28116464, 0), (28118336, 0), (28120352, -9), (28122144, -9), (28124256, 0), (28125968, -9), (28128064, 0), (28129904, 0), (28131584, -9), (28133936, 0), (28135568, -9), (28137616, -9), (28139536, 0), (28141312, 0), (28143232, 0), (28145216, 0), (28146928, 0), (28149328, 0), (28151040, 0), (28153152, 0), (28155152, 0), (28157152, 0), (28159136, 0), (28160848, 0), (28163136, 0), (28181280, -9), (28183104, -9), (28185024, 0), (28186944, 0), (28188864, -9), (28190768, 0), (28192784, 0), (28194704, 0), (28196832, -9), (28198784, -10), (28200560, 0), (28202800, 0), (28204640, 0), (28206624, 0), (28208544, 0), (28210448, -10), (28212336, 0), (28214576, 0), (28216480, -9), (28218336, 0), (28220640, 0), (28222576, 0), (28224432, 0), (28226464, 0), (28228752, 0), (28230880, 0), (28232800, 0), (28234720, 0), (28236704, 0), (28238560, 0), (28240416, 0), (28242480, 0), (28244512, -9), (28246640, 0), (28248352, 0), (28250640, 0), (28252544, 0), (28254480, 0), (28256336, -10), (28258096, 0), (28260400, 0), (28262624, -9), (28264320, 0), (28266416, 0), (28268336, -9), (28270368, -9), (28272288, 0), (28274272, 0), (28276128, 0), (28278448, 0), (28280528, 0), (28282752, 0), (28284608, 0), (28286816, 0), (28288784, 0), (28292272, 0), (28293968, 0), (28295888, 0), (28297808, 0), (28299792, 0), (28301984, 0), (28304016, -10), (28306048, 0), (28308128, 0), (28310240, 0), (28312400, 0), (28314032, 0), (28315984, 0), (28317616, 0), (28319616, 0), (28321584, 0), (28323616, 0), (28325744, 0), (28327840, 0), (28329808, 0), (28331488, 0), (28333744, -9), (28335584, 0), (28337616, 0), (28339536, 0), (28341344, 0), (28343392, 0), (28345376, 0), (28347232, 0), (28349296, -9), (28351296, 0), (28353264, -9), (28355280, 0), (28357296, 0), (28359296, -9), (28361296, 0), (28363504, 0), (28365344, 0), (28367328, 0), (28369360, 0), (28371392, 0), (28373632, 0), (28375744, -10), (28377904, 0), (28379824, 0), (28381840, 0), (28383696, 0), (28385600, 0), (28387520, 0), (28389728, 0), (28391568, -9)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"36","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"141","Boost Version":"1.75.0","Instance Name":"","Max Arity":"8","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"48","CPU Time Post Normalization (ms)":"72","CPU Time Problem Setup  (ms)":"25","CPU Time Search (ms)":"23","Full CPU Time (ms)":"97","Peak Memory (MB)":"28.2051"},
 "Components": [{"Component Stats": {"# Constraints":"36","# Variables":"141"}, "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, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 4, 4, 4, 3, 4, 4, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"93","# 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, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 4, 4, 4, 3, 4, 4, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"268","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"2190","# 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]","# values removed after preprocessing":"115","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"1687","# isValid Checks":"34156"}}]}