Cplex bug fixed