Solve cplex debugging