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

Variable Max Cliques: [(V0, 3), (V1, 1), (V10, 1), (V100, 1), (V101, 3), (V102, 8), (V103, 8), (V104, 5), (V105, 1), (V106, 8), (V107, 8), (V108, 8), (V109, 1), (V11, 8), (V110, 3), (V111, 5), (V112, 9), (V113, 8), (V114, 8), (V115, 5), (V116, 9), (V117, 5), (V118, 7), (V119, 5), (V12, 6), (V120, 1), (V121, 7), (V122, 8), (V123, 7), (V124, 3), (V125, 3), (V126, 1), (V127, 7), (V128, 8), (V129, 7), (V13, 9), (V130, 5), (V131, 8), (V132, 9), (V133, 7), (V134, 5), (V135, 7), (V136, 1), (V137, 8), (V138, 3), (V139, 8), (V14, 3), (V140, 9), (V15, 5), (V16, 5), (V17, 7), (V18, 7), (V19, 5), (V2, 7), (V20, 3), (V21, 7), (V22, 1), (V23, 8), (V24, 1), (V25, 3), (V26, 7), (V27, 8), (V28, 7), (V29, 8), (V3, 5), (V30, 8), (V31, 7), (V32, 8), (V33, 5), (V34, 8), (V35, 1), (V36, 5), (V37, 3), (V38, 8), (V39, 8), (V4, 8), (V40, 7), (V41, 3), (V42, 5), (V43, 8), (V44, 8), (V45, 1), (V46, 8), (V47, 8), (V48, 7), (V49, 6), (V5, 9), (V50, 1), (V51, 3), (V52, 6), (V53, 7), (V54, 8), (V55, 8), (V56, 7), (V57, 6), (V58, 3), (V59, 1), (V6, 7), (V60, 8), (V61, 7), (V62, 5), (V63, 5), (V64, 7), (V65, 3), (V66, 1), (V67, 9), (V68, 9), (V69, 9), (V7, 9), (V70, 9), (V71, 9), (V72, 5), (V73, 6), (V74, 8), (V75, 8), (V76, 1), (V77, 5), (V78, 1), (V79, 8), (V8, 9), (V80, 8), (V81, 5), (V82, 3), (V83, 7), (V84, 8), (V85, 9), (V86, 8), (V87, 3), (V88, 9), (V89, 6), (V9, 8), (V90, 5), (V91, 1), (V92, 5), (V93, 9), (V94, 9), (V95, 6), (V96, 6), (V97, 3), (V98, 9), (V99, 5)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(44545104, 0), (44547232, -8), (44549008, -8), (44550928, 0), (44562816, 0), (44564352, 0), (44565968, 0), (44567696, 0), (44569600, -8), (44571472, -9), (44573184, 0), (44574960, -9), (44576752, -9), (44578880, -8), (44581024, 0), (44582800, -8), (44584544, 0), (44586720, -9), (44588880, 0), (44590848, 0), (44593072, 0), (44594912, 0), (44596944, 0), (44598736, 0), (44600864, 0), (44602752, 0), (44604656, 0), (44606976, -8), (44608896, 0), (44611024, 0), (44612944, 0), (44614992, -8), (44616992, 0), (44618848, -8), (44620800, -8), (44623136, 0), (44624912, -8), (44626944, 0), (44629136, -8), (44630768, 0), (44633072, 0), (44634976, 0), (44637024, -8), (44639008, -8), (44640992, 0), (44642848, 0), (44661168, -8), (44662992, -8), (44664928, 0), (44666912, 0), (44669040, 0), (44671232, 0), (44673072, 0), (44675040, 0), (44676896, -8), (44678960, -8), (44680928, 0), (44683648, 0), (44685424, 0), (44687472, 0), (44689248, -8), (44691232, 0), (44692944, 0), (44694896, 0), (44696864, 0), (44698768, 0), (44700672, 0), (44702704, -9), (44704624, -9), (44706752, -9), (44708640, -9), (44710624, -9), (44712624, 0), (44714480, 0), (44716512, -8), (44718288, -8), (44720336, 0), (44722336, 0), (44724352, 0), (44726336, -8), (44728320, -8), (44730320, 0), (44732512, 0), (44734416, 0), (44736272, -8), (44738224, -9), (44740080, -8), (44742048, 0), (44744048, -9), (44746032, 0), (44749168, 0), (44751168, 0), (44752880, 0), (44754912, -9), (44757120, -9), (44758960, 0), (44760880, 0), (44762864, 0), (44764784, -9), (44766800, 0), (44768928, 0), (44770848, 0), (44772832, -8), (44774752, -8), (44776672, 0), (44778528, 0), (44780416, -8), (44782448, -8), (44784304, -8), (44786576, 0), (44788512, 0), (44790512, 0), (44792736, -9), (44794576, -8), (44796496, -8), (44798256, 0), (44800256, -9), (44802448, 0), (44804080, 0), (44806160, 0), (44808400, 0), (44810464, 0), (44812384, -8), (44814160, 0), (44816208, 0), (44818448, 0), (44820656, 0), (44822432, 0), (44824720, -8), (44826832, 0), (44828608, 0), (44830320, -8), (44832320, -9), (44834560, 0), (44836240, 0), (44838000, 0), (44840080, 0), (44842208, -8), (44844224, 0), (44846160, -8), (44848080, -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)":"44","CPU Time Post Normalization (ms)":"315","CPU Time Problem Setup  (ms)":"8","CPU Time Search (ms)":"271","Full CPU Time (ms)":"323","Peak Memory (MB)":"29.4707"},
 "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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"0","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"141","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"1134","# 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":"46","# 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":"250","# isValid Checks":"7803"}}]}