pub const SCIP_Status_SCIP_STATUS_TERMINATE: SCIP_Status = 11;
< the process received a SIGTERM signal