IBM ILOG CPLEX Solver