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