Cplex12.6 specification