change README and fix bug related to orphans and the solver