Warehouse lp HiGHS GAMS short