Diet lp CPLEX NL short