pub const SCIP_Status_SCIP_STATUS_INFEASIBLE: SCIP_Status = 12;
< the problem was proven to be infeasible