#  NLP written by GAMS Convert at 01/12/18 13:31:48
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         61        1        0       60        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         17       17        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        161       33      128        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 >= -18.999999, <= 18.999999;
var x2 >= -18.999999, <= 18.999999;
var x3 >= -18.999999, <= 18.999999;
var x4 >= -18.999999, <= 18.999999;
var x5 >= -18.999999, <= 18.999999;
var x6 >= -18.999999, <= 18.999999;
var x7 >= -18.999999, <= 18.999999;
var x8 >= -18.999999, <= 18.999999;
var x9 >= -18.999999, <= 18.999999;
var x10 >= -18.999999, <= 18.999999;
var x11 >= -18.999999, <= 18.999999;
var x12 >= -18.999999, <= 18.999999;
var x13 >= -18.999999, <= 18.999999;
var x14 >= -18.999999, <= 18.999999;
var x15 >= -18.999999, <= 18.999999;
var x16 >= -18.999999, <= 18.999999;

minimize obj: -(10*x2*x1 - 18*x1^2 - 14*x2^2 - 18*x9^2 + 10*x10*x9 - 14*x10^2
     + 4*x3*x1 + 6*x3*x2 - 10*x3^2 + 4*x11*x9 + 6*x11*x10 - 10*x11^2 + 8*x4*x1
     - 23*x4^2 + 8*x12*x9 - 23*x12^2 + 2*x5*x1 + 4*x5*x2 + 10*x5*x4 - 18*x5^2
     + 2*x13*x9 + 4*x13*x10 + 10*x13*x12 - 18*x13^2 + 4*x6*x2 + 4*x6*x4 + 20*x6
    *x5 - 20*x6^2 + 4*x14*x10 + 4*x14*x12 + 20*x14*x13 - 20*x14^2 + 12*x8*x1 + 
    10*x8*x3 + 20*x8*x4 + 2*x8*x6 - 32*x8^2 + 12*x16*x9 + 10*x16*x11 + 20*x16*
    x12 + 2*x16*x14 - 32*x16^2 + 4*x7*x2 + 4*x7*x4 + 10*x7*x6 + 20*x7*x8 - 19*
    x7^2 + 4*x15*x10 + 4*x15*x12 + 10*x15*x14 + 20*x15*x16 - 19*x15^2);

subject to

e1: -sqrt((x1 - x2)^2 + (x9 - x10)^2) <= -2.995353;

e2: -sqrt((x1 - x3)^2 + (x9 - x11)^2) <= -2.532248;

e3: -sqrt((x1 - x4)^2 + (x9 - x12)^2) <= -2.638959;

e4: -sqrt((x1 - x5)^2 + (x9 - x13)^2) <= -2.638959;

e5: -sqrt((x1 - x6)^2 + (x9 - x14)^2) <= -2.121321;

e6: -sqrt((x1 - x7)^2 + (x9 - x15)^2) <= -1.914214;

e7: -sqrt((x1 - x8)^2 + (x9 - x16)^2) <= -2.828428;

e8: -sqrt((x2 - x3)^2 + (x10 - x11)^2) <= -2.699173;

e9: -sqrt((x2 - x4)^2 + (x10 - x12)^2) <= -2.805884;

e10: -sqrt((x2 - x5)^2 + (x10 - x13)^2) <= -2.805884;

e11: -sqrt((x2 - x6)^2 + (x10 - x14)^2) <= -2.288246;

e12: -sqrt((x2 - x7)^2 + (x10 - x15)^2) <= -2.081139;

e13: -sqrt((x2 - x8)^2 + (x10 - x16)^2) <= -2.995353;

e14: -sqrt((x3 - x4)^2 + (x11 - x12)^2) <= -2.342779;

e15: -sqrt((x3 - x5)^2 + (x11 - x13)^2) <= -2.342779;

e16: -sqrt((x3 - x6)^2 + (x11 - x14)^2) <= -1.825141;

e17: -sqrt((x3 - x7)^2 + (x11 - x15)^2) <= -1.618034;

e18: -sqrt((x3 - x8)^2 + (x11 - x16)^2) <= -2.532248;

e19: -sqrt((x4 - x5)^2 + (x12 - x13)^2) <= -2.44949;

e20: -sqrt((x4 - x6)^2 + (x12 - x14)^2) <= -1.931852;

e21: -sqrt((x4 - x7)^2 + (x12 - x15)^2) <= -1.724745;

e22: -sqrt((x4 - x8)^2 + (x12 - x16)^2) <= -2.638959;

e23: -sqrt((x5 - x6)^2 + (x13 - x14)^2) <= -1.931852;

e24: -sqrt((x5 - x7)^2 + (x13 - x15)^2) <= -1.724745;

e25: -sqrt((x5 - x8)^2 + (x13 - x16)^2) <= -2.638959;

e26: -sqrt((x6 - x7)^2 + (x14 - x15)^2) <= -1.207107;

e27: -sqrt((x6 - x8)^2 + (x14 - x16)^2) <= -2.121321;

e28: -sqrt((x7 - x8)^2 + (x15 - x16)^2) <= -1.914214;

e29:  - x1 <= 1.210786;

e30:  - x2 <= 1.043861;

e31:  - x3 <= 1.506966;

e32:  - x4 <= 1.400255;

e33:  - x5 <= 1.400255;

e34:  - x6 <= 1.917893;

e35:  - x7 <= 2.125;

e36:  - x8 <= 1.210786;

e37:    x1 <= 1.210786;

e38:    x2 <= 1.043861;

e39:    x3 <= 1.506966;

e40:    x4 <= 1.400255;

e41:    x5 <= 1.400255;

e42:    x6 <= 1.917893;

e43:    x7 <= 2.125;

e44:    x8 <= 1.210786;

e45:  - x9 <= 3.710786;

e46:  - x10 <= 3.543861;

e47:  - x11 <= 4.006966;

e48:  - x12 <= 3.900255;

e49:  - x13 <= 3.900255;

e50:  - x14 <= 4.417893;

e51:  - x15 <= 4.625;

e52:  - x16 <= 3.710786;

e53:    x9 <= 3.710786;

e54:    x10 <= 3.543861;

e55:    x11 <= 4.006966;

e56:    x12 <= 3.900255;

e57:    x13 <= 3.900255;

e58:    x14 <= 4.417893;

e59:    x15 <= 4.625;

e60:    x16 <= 3.710786;