Add some more print statements to indicate what's going on (especially around solves and constraints)