Debug a lot of probelms with the new solvers