[Scip] Infeasible results in scip, feasible in exported problem

[Martin Bergner]

Hello all,

> More precisely, the following assertion
> assert(SCIPisFeasLT(scip, SCIPgetSolVal(scip, sol, X), SCIPvarGetUbGlobal(X)));
> does not hold, which I think should always hold.
Of course, SCIPisFeasLE, and that does hold. 

However, my variable bounds seem to have changed to arbitrary (integral)
values > 1. should I need to investigate that ... .

Regards,
Martin