ILOG CPLEX 10.2