merged from flatcnf to include the multiprocess solver