#  NLP written by GAMS Convert at 01/12/18 13:34:46
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         63        2       28       33        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         20       20        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        181       67      114        0


var x1 := 0.81, >= 0.81, <= 32;
var x2 := 0.5, >= 0.5, <= 7.5;
var x3 := 0.5, >= 0.5, <= 3.5;
var x4 := 0.5, >= 0.5, <= 7.5;
var x5 := 0.5, >= 0.5, <= 3.5;
var x6 := 0.5, >= 0.5, <= 7.5;
var x7 := 0.5, >= 0.5, <= 3.5;
var x8 := 0.5, >= 0.5, <= 7.5;
var x9 := 0.5, >= 0.5, <= 3.5;
var x10 := 0.5, >= 0.5, <= 7.5;
var x11 := 0.5, >= 0.5, <= 3.5;
var x12 := 0.5, >= 0.5, <= 7.5;
var x13 := 0.5, >= 0.5, <= 3.5;
var x14 := 0.7, >= 0.7, <= 7.3;
var x15 := 0.7, >= 0.7, <= 3.3;
var x16 := 0.9, >= 0.9, <= 7.1;
var x17 := 0.9, >= 0.9, <= 3.1;
var x18 >= 0, <= 8;
var x19 >= 0, <= 4;
var x20 >= 0, <= 32;

minimize obj: x20;

subject to

e1:  - x1 + x20 = -8.79645943005142;

e2: -x18*x19 + 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: (x2 - x14)*(x2 - x14) + (x3 - x15)*(x3 - x15) >= 1.44;

e9: (x2 - x16)*(x2 - x16) + (x3 - x17)*(x3 - x17) >= 1.96;

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

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

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

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

e14: (x4 - x14)*(x4 - x14) + (x5 - x15)*(x5 - x15) >= 1.44;

e15: (x4 - x16)*(x4 - x16) + (x5 - x17)*(x5 - x17) >= 1.96;

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

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

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

e19: (x6 - x14)*(x6 - x14) + (x7 - x15)*(x7 - x15) >= 1.44;

e20: (x6 - x16)*(x6 - x16) + (x7 - x17)*(x7 - x17) >= 1.96;

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

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

e23: (x8 - x14)*(x8 - x14) + (x9 - x15)*(x9 - x15) >= 1.44;

e24: (x8 - x16)*(x8 - x16) + (x9 - x17)*(x9 - x17) >= 1.96;

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

e26: (x10 - x14)*(x10 - x14) + (x11 - x15)*(x11 - x15) >= 1.44;

e27: (x10 - x16)*(x10 - x16) + (x11 - x17)*(x11 - x17) >= 1.96;

e28: (x12 - x14)*(x12 - x14) + (x13 - x15)*(x13 - x15) >= 1.44;

e29: (x12 - x16)*(x12 - x16) + (x13 - x17)*(x13 - x17) >= 1.96;

e30: (x14 - x16)*(x14 - x16) + (x15 - x17)*(x15 - x17) >= 2.56;

e31:    x2 - x18 <= -0.5;

e32:    x3 - x19 <= -0.5;

e33:    x4 - x18 <= -0.5;

e34:    x5 - x19 <= -0.5;

e35:    x6 - x18 <= -0.5;

e36:    x7 - x19 <= -0.5;

e37:    x8 - x18 <= -0.5;

e38:    x9 - x19 <= -0.5;

e39:    x10 - x18 <= -0.5;

e40:    x11 - x19 <= -0.5;

e41:    x12 - x18 <= -0.5;

e42:    x13 - x19 <= -0.5;

e43:    x14 - x18 <= -0.7;

e44:    x15 - x19 <= -0.7;

e45:    x16 - x18 <= -0.9;

e46:    x17 - x19 <= -0.9;

e47:    x2 <= 4;

e48:    x3 <= 2;

e49:    x2 - x4 <= 0;

e50:    x2 - x6 <= 0;

e51:    x2 - x8 <= 0;

e52:    x2 - x10 <= 0;

e53:    x2 - x12 <= 0;

e54:    x4 - x6 <= 0;

e55:    x4 - x8 <= 0;

e56:    x4 - x10 <= 0;

e57:    x4 - x12 <= 0;

e58:    x6 - x8 <= 0;

e59:    x6 - x10 <= 0;

e60:    x6 - x12 <= 0;

e61:    x8 - x10 <= 0;

e62:    x8 - x12 <= 0;

e63:    x10 - x12 <= 0;