Hovercraft socp CPLEX GAMS short