( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V0","V1","V3","V4","V8","V9","V10","V13","V14","V15","V16","V17","V20","V21","V23","V24","V25","V27","V28","V29","V30","V31","V32","V33","V35","V36","V39","V40","V41","V43","V45","V46","V47","V48","V50","V51","V53","V54","V55","V57","V60","V61","V63","V64","V65","V66","V67","V69","V72","V74","V75","V78","V79","V81","V82","V83","V84","V86","V87","V90","V91","V92","V93","V94","V96","V98","V99","V85",],
1:["V0","V2","V3","V4","V5","V6","V7","V9","V10","V11","V13","V14","V15","V17","V18","V19","V20","V21","V23","V24","V28","V29","V30","V31","V32","V35","V37","V38","V39","V40","V41","V43","V44","V46","V47","V48","V49","V50","V52","V53","V54","V55","V56","V57","V58","V62","V63","V65","V66","V67","V68","V70","V72","V73","V75","V77","V78","V79","V80","V81","V82","V83","V86","V88","V89","V90","V91","V92","V94","V95","V96","V59",],
2:["V1","V3","V4","V5","V6","V7","V8","V9","V10","V11","V13","V14","V15","V16","V20","V21","V22","V23","V24","V26","V27","V28","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V47","V48","V50","V51","V52","V53","V54","V55","V56","V57","V58","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V79","V80","V81","V82","V83","V84","V86","V87","V88","V89","V90","V91","V92","V93","V95","V96","V98","V99","V97",],
3:["V0","V1","V3","V4","V5","V6","V7","V8","V9","V10","V11","V13","V14","V15","V16","V17","V18","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V50","V51","V52","V53","V54","V55","V56","V57","V58","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V87",],
4:["V0","V1","V3","V4","V5","V6","V7","V8","V9","V10","V11","V13","V14","V15","V16","V17","V18","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V88","V89","V90","V91","V92","V93","V94","V95","V96","V98","V99","V60",],
5:["V0","V1","V3","V4","V5","V6","V7","V8","V9","V10","V11","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V28","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V88","V89","V90","V91","V92","V94","V95","V96","V98","V99","V93",],
6:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V86","V88","V89","V90","V91","V92","V94","V95","V96","V98","V0","V1","V2","V3","V4","V5","V6","V7","V8","V9","V10","V11","V13","V14","V15","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V28","V29","V30","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V47","V48","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V61","V62","V63","V99",],
7:["V0","V1","V2","V3","V5","V7","V8","V9","V10","V11","V12","V14","V15","V17","V18","V19","V21","V22","V23","V24","V25","V26","V29","V31","V32","V33","V34","V35","V37","V39","V41","V42","V43","V44","V46","V47","V48","V49","V50","V51","V52","V54","V55","V56","V57","V58","V61","V62","V63","V65","V67","V68","V69","V71","V73","V74","V76","V78","V79","V80","V81","V82","V83","V88","V89","V90","V91","V92","V94","V95","V96","V98",],
}

Variable Max Cliques: [(V0, 7), (V1, 7), (V10, 8), (V11, 7), (V12, 1), (V13, 7), (V14, 8), (V15, 8), (V16, 5), (V17, 7), (V18, 6), (V19, 4), (V2, 3), (V20, 7), (V21, 8), (V22, 6), (V23, 8), (V24, 8), (V25, 6), (V26, 6), (V27, 4), (V28, 7), (V29, 8), (V3, 8), (V30, 7), (V31, 8), (V32, 8), (V33, 7), (V34, 6), (V35, 8), (V36, 6), (V37, 7), (V38, 6), (V39, 8), (V4, 7), (V40, 7), (V41, 8), (V42, 6), (V43, 8), (V44, 7), (V45, 6), (V46, 7), (V47, 8), (V48, 8), (V49, 5), (V5, 7), (V50, 8), (V51, 7), (V52, 7), (V53, 7), (V54, 8), (V55, 8), (V56, 7), (V57, 8), (V58, 7), (V59, 1), (V6, 6), (V60, 4), (V61, 7), (V62, 7), (V63, 8), (V64, 6), (V65, 8), (V66, 7), (V67, 8), (V68, 7), (V69, 7), (V7, 7), (V70, 6), (V71, 6), (V72, 7), (V73, 7), (V74, 7), (V75, 7), (V76, 6), (V77, 6), (V78, 7), (V79, 8), (V8, 7), (V80, 7), (V81, 8), (V82, 8), (V83, 8), (V84, 5), (V85, 1), (V86, 7), (V87, 3), (V88, 7), (V89, 7), (V9, 8), (V90, 8), (V91, 8), (V92, 8), (V93, 5), (V94, 7), (V95, 7), (V96, 8), (V97, 1), (V98, 7), (V99, 6)]
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"787","# Normalized Constraints":"63","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"100","Boost Version":"1.75.0","Instance Name":"","Max Arity":"11","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"59","CPU Time Post Normalization (ms)":"1701","CPU Time Problem Setup  (ms)":"58","CPU Time Search (ms)":"1641","Full CPU Time (ms)":"1767","Peak Memory (MB)":"54.485"},
 "Components": [{"Component Stats": {"# Constraints":"787","# Variables":"100"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 2, 3, 5, 7, 12, 13, 19, 21, 25, 29, 27, 29, 27, 27, 28, 28, 33, 34, 30, 30, 30, 28, 28, 20, 15, 15, 13, 14, 11, 8, 8, 7, 7, 7, 5, 4, 4, 3, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"684","# backtracks per level":"[2, 3, 5, 7, 12, 13, 19, 21, 25, 29, 27, 29, 27, 27, 28, 28, 33, 34, 30, 30, 30, 28, 28, 20, 15, 15, 13, 14, 11, 8, 8, 7, 7, 7, 5, 4, 4, 3, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"884","# 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, 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, 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":"137486","# isValid Checks":"6401788"}}]}