Debugging console solverrun