Watson1 (quadratic objective, quadratic constraints) sio nsips AMPL