SCIP_Status_SCIP_STATUS_USERINTERRUPT

Constant SCIP_Status_SCIP_STATUS_USERINTERRUPT 

Source
pub const SCIP_Status_SCIP_STATUS_USERINTERRUPT: SCIP_Status = 10;
Expand description

< the user interrupted the solving process (SIGINT or SCIPinterruptSolve())