Function SCIPsolCheckOrig 

pub unsafe extern "C" fn SCIPsolCheckOrig(
    sol: *mut SCIP_SOL,
    set: *mut SCIP_SET,
    messagehdlr: *mut SCIP_MESSAGEHDLR,
    blkmem: *mut BMS_BLKMEM,
    stat: *mut SCIP_STAT,
    prob: *mut SCIP_PROB,
    primal: *mut SCIP_PRIMAL,
    printreason: c_uint,
    completely: c_uint,
    checkbounds: c_uint,
    checkintegrality: c_uint,
    checklprows: c_uint,
    checkmodifiable: c_uint,
    feasible: *mut c_uint,
) -> SCIP_RETCODE

checks solution for feasibility in original problem without adding it to the solution store

We first check the variable bounds. Then we loop over all constraint handlers and constraints, checking each in the order of their check priority.