2026-03-23 19:32:49,560 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:["V14","V29","V44","V59","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V104","V119","V134","V149","V164","V179","V194","V209","V224","V89",],
1:["V13","V28","V43","V58","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V74","V88","V103","V118","V133","V148","V163","V178","V193","V208","V223","V73",],
2:["V12","V27","V42","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V58","V59","V72","V87","V102","V117","V132","V147","V162","V177","V192","V207","V222","V57",],
3:["V11","V26","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V42","V43","V44","V56","V71","V86","V101","V116","V131","V146","V161","V176","V191","V206","V221","V41",],
4:["V9","V15","V16","V17","V18","V19","V20","V21","V22","V23","V25","V26","V27","V28","V29","V39","V54","V69","V84","V99","V114","V129","V144","V159","V174","V189","V204","V219","V24",],
5:["V8","V23","V38","V53","V68","V83","V98","V113","V128","V143","V158","V173","V188","V203","V210","V211","V212","V213","V214","V215","V216","V217","V219","V220","V221","V222","V223","V224","V218",],
6:["V7","V22","V37","V52","V67","V82","V97","V112","V127","V142","V157","V172","V187","V195","V196","V197","V198","V199","V200","V201","V203","V204","V205","V206","V207","V208","V209","V217","V202",],
7:["V6","V21","V36","V51","V66","V81","V96","V111","V126","V141","V156","V171","V180","V181","V182","V183","V184","V185","V187","V188","V189","V190","V191","V192","V193","V194","V201","V216","V186",],
8:["V5","V20","V35","V50","V65","V80","V95","V110","V125","V140","V155","V165","V166","V167","V168","V169","V171","V172","V173","V174","V175","V176","V177","V178","V179","V185","V200","V215","V170",],
9:["V4","V19","V34","V49","V64","V79","V94","V109","V124","V139","V150","V151","V152","V153","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V169","V184","V199","V214","V154",],
10:["V3","V18","V33","V48","V63","V78","V93","V108","V123","V135","V136","V137","V139","V140","V141","V142","V143","V144","V145","V146","V147","V148","V149","V153","V168","V183","V198","V213","V138",],
11:["V2","V17","V32","V47","V62","V77","V92","V107","V120","V121","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V137","V152","V167","V182","V197","V212","V122",],
12:["V1","V16","V31","V46","V61","V76","V91","V105","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V121","V136","V151","V166","V181","V196","V211","V106",],
13:["V10","V25","V40","V55","V70","V85","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V115","V130","V145","V160","V175","V190","V205","V220","V100",],
14:["V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V30","V45","V60","V75","V90","V105","V120","V135","V150","V165","V180","V195","V210","V0",],
15:["V12","V13","V27","V28","V42","V43","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V74","V87","V88","V102","V103","V117","V118","V132","V133","V147","V148","V162","V163","V177","V178","V192","V193","V207","V208","V222","V223","V72",],
16:["V8","V9","V15","V16","V17","V18","V19","V20","V21","V22","V25","V26","V27","V28","V29","V38","V39","V53","V54","V68","V69","V83","V84","V98","V99","V113","V114","V128","V129","V143","V144","V158","V159","V173","V174","V188","V189","V203","V204","V210","V211","V212","V213","V214","V215","V216","V217","V219","V220","V221","V222","V223","V224","V23",],
17:["V6","V7","V21","V22","V36","V37","V51","V52","V66","V67","V81","V82","V96","V97","V111","V112","V126","V127","V141","V142","V156","V157","V171","V172","V180","V181","V182","V183","V184","V185","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V200","V203","V204","V205","V206","V207","V208","V209","V216","V217","V201",],
18:["V4","V5","V19","V20","V34","V35","V49","V50","V64","V65","V79","V80","V94","V95","V109","V110","V124","V125","V139","V140","V150","V151","V152","V153","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V166","V167","V168","V171","V172","V173","V174","V175","V176","V177","V178","V179","V184","V185","V199","V200","V214","V215","V169",],
19:["V2","V3","V17","V18","V32","V33","V47","V48","V62","V63","V77","V78","V92","V93","V107","V108","V120","V121","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V139","V140","V141","V142","V143","V144","V145","V146","V147","V148","V149","V152","V153","V167","V168","V182","V183","V197","V198","V212","V213","V137",],
20:["V10","V11","V25","V26","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V42","V43","V44","V55","V56","V70","V71","V85","V86","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V115","V116","V130","V131","V145","V146","V160","V161","V175","V176","V190","V191","V205","V206","V220","V221","V40",],
21:["V10","V11","V14","V25","V26","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V42","V43","V44","V55","V56","V59","V70","V71","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V102","V103","V104","V115","V116","V119","V130","V131","V134","V145","V146","V149","V160","V161","V164","V175","V176","V179","V190","V191","V194","V205","V206","V209","V220","V221","V224","V86",],
22:["V8","V9","V12","V13","V15","V16","V17","V18","V19","V20","V21","V22","V25","V26","V27","V28","V29","V38","V39","V42","V43","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V70","V71","V74","V83","V84","V87","V88","V98","V99","V102","V103","V113","V114","V117","V118","V128","V129","V132","V133","V143","V144","V147","V148","V158","V159","V162","V163","V173","V174","V177","V178","V188","V189","V192","V193","V203","V204","V207","V208","V210","V211","V212","V213","V214","V215","V216","V217","V220","V221","V222","V223","V224","V69",],
23:["V4","V5","V6","V7","V19","V20","V21","V22","V34","V35","V36","V37","V49","V50","V51","V52","V64","V65","V66","V67","V79","V80","V81","V82","V94","V95","V96","V97","V109","V110","V111","V112","V124","V125","V126","V127","V139","V140","V141","V142","V150","V151","V152","V153","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V166","V167","V168","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V185","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V200",],
24:["V4","V5","V6","V7","V8","V9","V12","V13","V15","V16","V17","V18","V19","V20","V21","V22","V25","V26","V29","V34","V35","V36","V37","V38","V39","V42","V43","V45","V46","V47","V48","V49","V50","V51","V52","V55","V56","V59","V60","V61","V62","V63","V64","V65","V66","V70","V71","V74","V79","V80","V81","V82","V83","V84","V87","V88","V94","V95","V96","V97","V98","V99","V102","V103","V109","V110","V111","V112","V113","V114","V117","V118","V124","V125","V126","V127","V128","V129","V132","V133","V139","V140","V141","V142","V143","V144","V147","V148","V150","V151","V152","V153","V158","V159","V160","V161","V162","V163","V164","V165","V166","V167","V168","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V214","V215","V216","V217","V220","V221","V224","V67",],
25:["V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V25","V26","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V42","V43","V45","V46","V47","V48","V55","V56","V59","V60","V61","V62","V63","V70","V71","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V102","V103","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V139","V140","V141","V142","V143","V144","V145","V146","V147","V148","V149","V150","V151","V152","V153","V160","V161","V164","V165","V166","V167","V168","V175","V176","V179","V180","V181","V182","V183","V190","V191","V194","V195","V196","V197","V198","V205","V206","V209","V210","V211","V212","V213","V220","V221","V224","V99",],
26:["V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V17","V18","V30","V31","V32","V33","V45","V46","V47","V48","V60","V61","V62","V63","V75","V76","V77","V78","V90","V91","V92","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V139","V140","V141","V142","V143","V144","V145","V146","V147","V148","V149","V150","V151","V152","V153","V165","V166","V167","V168","V180","V181","V182","V183","V195","V196","V197","V198","V210","V211","V212","V213","V93",],
27:["V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V12","V13","V14","V15","V16","V30","V31","V45","V46","V60","V61","V75","V76","V90","V105","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V135","V136","V150","V151","V165","V166","V180","V181","V195","V196","V210","V211","V91",],
}

Variable Max Cliques: [(V0, 1), (V1, 3), (V10, 7), (V100, 1), (V101, 3), (V102, 8), (V103, 8), (V104, 4), (V105, 3), (V106, 1), (V107, 5), (V108, 5), (V109, 8), (V11, 7), (V110, 8), (V111, 8), (V112, 8), (V113, 8), (V114, 8), (V115, 7), (V116, 7), (V117, 8), (V118, 8), (V119, 6), (V12, 8), (V120, 5), (V121, 5), (V122, 1), (V123, 3), (V124, 8), (V125, 8), (V126, 8), (V127, 8), (V128, 8), (V129, 8), (V13, 8), (V130, 7), (V131, 7), (V132, 8), (V133, 8), (V134, 6), (V135, 5), (V136, 5), (V137, 3), (V138, 1), (V139, 8), (V14, 6), (V140, 8), (V141, 8), (V142, 8), (V143, 8), (V144, 8), (V145, 7), (V146, 7), (V147, 8), (V148, 8), (V149, 6), (V15, 8), (V150, 8), (V151, 8), (V152, 8), (V153, 8), (V154, 1), (V155, 3), (V156, 5), (V157, 5), (V158, 7), (V159, 7), (V16, 8), (V160, 8), (V161, 8), (V162, 7), (V163, 7), (V164, 7), (V165, 8), (V166, 8), (V167, 8), (V168, 8), (V169, 3), (V17, 8), (V170, 1), (V171, 5), (V172, 5), (V173, 7), (V174, 7), (V175, 8), (V176, 8), (V177, 7), (V178, 7), (V179, 7), (V18, 8), (V180, 8), (V181, 8), (V182, 8), (V183, 8), (V184, 5), (V185, 5), (V186, 1), (V187, 3), (V188, 7), (V189, 7), (V19, 7), (V190, 8), (V191, 8), (V192, 7), (V193, 7), (V194, 7), (V195, 8), (V196, 8), (V197, 8), (V198, 8), (V199, 5), (V2, 5), (V20, 7), (V200, 5), (V201, 3), (V202, 1), (V203, 7), (V204, 7), (V205, 8), (V206, 8), (V207, 7), (V208, 7), (V209, 7), (V21, 7), (V210, 8), (V211, 8), (V212, 8), (V213, 8), (V214, 7), (V215, 7), (V216, 7), (V217, 7), (V218, 1), (V219, 3), (V22, 7), (V220, 8), (V221, 8), (V222, 5), (V223, 5), (V224, 7), (V23, 3), (V24, 1), (V25, 8), (V26, 8), (V27, 5), (V28, 5), (V29, 7), (V3, 5), (V30, 7), (V31, 7), (V32, 7), (V33, 7), (V34, 8), (V35, 8), (V36, 8), (V37, 8), (V38, 8), (V39, 8), (V4, 8), (V40, 3), (V41, 1), (V42, 8), (V43, 8), (V44, 4), (V45, 8), (V46, 8), (V47, 8), (V48, 8), (V49, 7), (V5, 8), (V50, 7), (V51, 7), (V52, 7), (V53, 5), (V54, 5), (V55, 8), (V56, 8), (V57, 1), (V58, 3), (V59, 7), (V6, 8), (V60, 8), (V61, 8), (V62, 8), (V63, 8), (V64, 7), (V65, 7), (V66, 7), (V67, 7), (V68, 5), (V69, 5), (V7, 8), (V70, 8), (V71, 8), (V72, 3), (V73, 1), (V74, 7), (V75, 6), (V76, 6), (V77, 6), (V78, 6), (V79, 7), (V8, 8), (V80, 7), (V81, 7), (V82, 7), (V83, 7), (V84, 7), (V85, 4), (V86, 4), (V87, 7), (V88, 7), (V89, 1), (V9, 8), (V90, 7), (V91, 7), (V92, 7), (V93, 7), (V94, 8), (V95, 8), (V96, 8), (V97, 8), (V98, 8), (V99, 8)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(37912288, -8), (37920672, 0), (37921344, -8), (37922768, -8), (37927088, 0), (37938112, -7), (37960464, -7), (37961312, -8), (37970912, -8), (37982704, -7), (37984000, -7), (37989408, 0), (37997584, -8), (38009952, 0), (38011520, -8), (38013440, 0), (38017216, -7), (38018176, 0), (38021584, -8), (38028784, 0), (38032048, 0), (38039408, -8), (38053360, -8), (38058304, -8), (38059264, -8), (38077792, -8), (38078976, -7), (38087376, -8), (38106128, 0), (38110048, 0), (38120032, 0), (38123376, -7), (38127264, -7), (38131152, -7), (38135040, -7), (38138928, -7), (38142816, -8), (38146704, -8), (38151056, -8), (38154944, -8), (38158832, -8), (38162720, -8), (38166608, 0), (38170496, 0), (38174384, -8), (38178272, -8), (38182160, 0), (38186048, -8), (38189936, -8), (38193856, -8), (38197776, -8), (38201696, -7), (38205616, -7), (38209536, -7), (38213456, -7), (38217376, 0), (38221296, 0), (38225216, -8), (38229136, -8), (38233776, 0), (38237696, 0), (38241616, -7), (38245536, -8), (38249456, -8), (38253376, -8), (38257296, -8), (38261216, -7), (38265136, -7), (38269056, -7), (38272976, -7), (38276896, 0), (38280816, 0), (38284736, -8), (38288656, -8), (38292576, 0), (38296496, 0), (38300416, -7), (38304336, 0), (38308256, 0), (38312176, 0), (38316096, 0), (38320016, -7), (38323936, -7), (38327856, -7), (38331776, -7), (38335696, -7), (38339616, -7), (38343536, 0), (38347456, 0), (38351376, -7), (38355296, -7), (38359216, 0), (38363136, -8), (38364288, -7), (38368208, -7), (38372128, -7), (38376048, -7), (38379968, -8), (38383888, -8), (38387808, -8), (38391728, -8), (38395648, -8), (38399568, -8), (38403488, 0), (38407408, 0), (38411328, -8), (38415248, -8), (38419168, 0), (38423088, 0), (38427008, 0), (38430928, 0), (38434848, 0), (38438768, -8), (38442688, -8), (38446608, -8), (38450528, -8), (38454448, -8), (38458368, -8), (38462288, -7), (38466208, -7), (38470128, -8), (38474048, -8), (38477968, 0), (38481888, 0), (38485808, 0), (38489728, 0), (38493648, 0), (38497568, -8), (38501488, -8), (38505408, -8), (38509328, -8), (38513248, -8), (38517168, -8), (38521088, -7), (38525008, -7), (38528928, -8), (38532848, -8), (38536768, 0), (38540688, 0), (38544608, 0), (38548528, 0), (38552448, 0), (38556368, -8), (38560288, -8), (38564176, -8), (38568096, -8), (38576624, -8), (38580544, -7), (38584464, -7), (38588384, -8), (38592304, -8), (38596224, 0), (38600144, -8), (38604064, -8), (38607984, -8), (38611904, -8), (38615824, 0), (38619744, 0), (38623664, 0), (38627584, 0), (38631504, -7), (38635424, -7), (38639344, -8), (38643264, -8), (38647184, -7), (38651104, -7), (38655024, -7), (38658944, -8), (38662864, -8), (38666784, -8), (38670704, -8), (38674624, 0), (38678544, 0), (38682464, 0), (38686384, 0), (38690304, -7), (38694224, -7), (38698144, -8), (38702064, -8), (38705984, -7), (38709904, -7), (38713824, -7), (38717744, -8), (38721664, -8), (38725584, -8), (38729504, -8), (38733424, 0), (38737344, 0), (38741264, 0), (38745184, 0), (38749104, -7), (38753024, -7), (38756944, -8), (38760864, -8), (38764784, -7), (38768704, -7), (38772624, -7), (38776544, -8), (38780464, -8), (38784384, -8), (38788304, -8), (38792224, 0), (38796144, 0), (38800064, 0), (38803984, 0), (38807904, -7), (38811824, -7), (38815744, -8), (38819664, -8), (38823584, -7), (38827504, -7), (38831424, -7), (38835344, -8), (38839264, -8), (38843184, -8), (38847104, -8), (38851024, -7), (38854944, -7), (38858864, -7), (38862784, -7), (38883008, -8), (38886656, -8), (38890576, 0), (38894496, 0), (38898416, -7)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"30","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"225","Boost Version":"1.75.0","Instance Name":"","Max Arity":"15","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"382","CPU Time Post Normalization (ms)":"657957","CPU Time Problem Setup  (ms)":"433","CPU Time Search (ms)":"657575","Full CPU Time (ms)":"658390","Peak Memory (MB)":"182.051"},
 "Components": [{"Component Stats": {"# Constraints":"30","# Variables":"225"}, "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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"1","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"36390","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"676","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"56","# isValid Checks":"739344"}}]}