GurobiBackend: accept suboptimal solution, issue warning