Diet lp Gurobi NL short