Return different error code for SolverProblemsException

To make it easier for external tools to detect SolverProblems and react
to them accordingly,
this PR introduces a new exit code.