pub const SCIP_Status_SCIP_STATUS_TERMINATE: SCIP_Status = 15;
< status if the process received a SIGTERM signal