Constant SOLVER_CANCEL_CHECK_INTERVAL 

pub(crate) const SOLVER_CANCEL_CHECK_INTERVAL: Duration;