Constant cryptominisat::MAX_NUM_VARS

pub const MAX_NUM_VARS: size_t = 1 << 28 - 1

The maximum number of variables allowed by the solver