#  NLP written by GAMS Convert at 01/12/18 13:34:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         46        2       15       29        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         16       16        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        121       59       62        0


var x1 := 0.25, >= 0.25, <= 15.2;
var x2 := 0.5, >= 0.5, <= 7.5;
var x3 := 0.5, >= 0.5, <= 1.4;
var x4 := 0.5, >= 0.5, <= 7.5;
var x5 := 0.5, >= 0.5, <= 1.4;
var x6 := 0.5, >= 0.5, <= 7.5;
var x7 := 0.5, >= 0.5, <= 1.4;
var x8 := 0.5, >= 0.5, <= 7.5;
var x9 := 0.5, >= 0.5, <= 1.4;
var x10 := 0.5, >= 0.5, <= 7.5;
var x11 := 0.5, >= 0.5, <= 1.4;
var x12 := 0.5, >= 0.5, <= 7.5;
var x13 := 0.5, >= 0.5, <= 1.4;
var x14 >= 0, <= 8;
var x15 >= 0, <= 1.9;
var x16 >= 0, <= 15.2;

minimize obj: x16;

subject to

e1:  - x1 + x16 = -4.71238898038469;

e2: -x14*x15 + x1 = 0;

e3: (x2 - x4)*(x2 - x4) + (x3 - x5)*(x3 - x5) >= 1;

e4: (x2 - x6)*(x2 - x6) + (x3 - x7)*(x3 - x7) >= 1;

e5: (x2 - x8)*(x2 - x8) + (x3 - x9)*(x3 - x9) >= 1;

e6: (x2 - x10)*(x2 - x10) + (x3 - x11)*(x3 - x11) >= 1;

e7: (x2 - x12)*(x2 - x12) + (x3 - x13)*(x3 - x13) >= 1;

e8: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1;

e9: (x4 - x8)*(x4 - x8) + (x5 - x9)*(x5 - x9) >= 1;

e10: (x4 - x10)*(x4 - x10) + (x5 - x11)*(x5 - x11) >= 1;

e11: (x4 - x12)*(x4 - x12) + (x5 - x13)*(x5 - x13) >= 1;

e12: (x6 - x8)*(x6 - x8) + (x7 - x9)*(x7 - x9) >= 1;

e13: (x6 - x10)*(x6 - x10) + (x7 - x11)*(x7 - x11) >= 1;

e14: (x6 - x12)*(x6 - x12) + (x7 - x13)*(x7 - x13) >= 1;

e15: (x8 - x10)*(x8 - x10) + (x9 - x11)*(x9 - x11) >= 1;

e16: (x8 - x12)*(x8 - x12) + (x9 - x13)*(x9 - x13) >= 1;

e17: (x10 - x12)*(x10 - x12) + (x11 - x13)*(x11 - x13) >= 1;

e18:    x2 - x14 <= -0.5;

e19:    x3 - x15 <= -0.5;

e20:    x4 - x14 <= -0.5;

e21:    x5 - x15 <= -0.5;

e22:    x6 - x14 <= -0.5;

e23:    x7 - x15 <= -0.5;

e24:    x8 - x14 <= -0.5;

e25:    x9 - x15 <= -0.5;

e26:    x10 - x14 <= -0.5;

e27:    x11 - x15 <= -0.5;

e28:    x12 - x14 <= -0.5;

e29:    x13 - x15 <= -0.5;

e30:    x2 <= 4;

e31:    x3 <= 0.95;

e32:    x2 - x4 <= 0;

e33:    x2 - x6 <= 0;

e34:    x2 - x8 <= 0;

e35:    x2 - x10 <= 0;

e36:    x2 - x12 <= 0;

e37:    x4 - x6 <= 0;

e38:    x4 - x8 <= 0;

e39:    x4 - x10 <= 0;

e40:    x4 - x12 <= 0;

e41:    x6 - x8 <= 0;

e42:    x6 - x10 <= 0;

e43:    x6 - x12 <= 0;

e44:    x8 - x10 <= 0;

e45:    x8 - x12 <= 0;

e46:    x10 - x12 <= 0;