CPLEX has lots of ways of signifying whether a solution is feasible or infeasible. It's getting messy.