pub const SCIP_Result_SCIP_CUTOFF: SCIP_Result = 7;
< the current node is infeasible and can be cut off