GLPKSolver prompts details if a model does not solve