Degugging: CPLEX fails