ExternalCNFSolver calls self.parse_solver_info_line for lines beginning with 'd ' or 'c '.
ExternalCNFSolver calls self.parse_solver_info_line for lines beginning with 'd ' or 'c '.

JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack