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.