lp_solve infeasible