#  MIQCP written by GAMS Convert at 02/15/18 15:46:32
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        212        1        0      211        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        113       71       42        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        863      835       28        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18;
var x19;
var x20;
var x21;
var x22;
var x23;
var x24 := 2, >= 2, <= 8;
var x25 := 2, >= 2, <= 8;
var x26;
var x27 := 2, >= 2, <= 8;
var x28 := 2, >= 2, <= 8;
var x29;
var x30 := 2, >= 2, <= 8;
var x31;
var x32 := 2, >= 2, <= 8;
var x33;
var x34 := 3, >= 3, <= 8.5399;
var x35;
var x36 := 4.2155, >= 4.2155, <= 12;
var x37;
var x38 := 1.5, >= 1.5, <= 6;
var x39;
var x40 := 1.5, >= 1.5, <= 6;
var x41;
var x42 := 1.5, >= 1.5, <= 6;
var x43;
var x44 := 1.5, >= 1.5, <= 6;
var x45;
var x46 := 1.5, >= 1.5, <= 6;
var x47;
var x48 := 1.5, >= 1.5, <= 6;
var x49;
var x50;
var x51;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var x54;
var x55;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var x60;
var x61;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var x64;
var x65;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var x70;
var x71;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var x76;
var x77;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var x80;
var x81;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var x88;
var x89;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var x92;
var x93;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var x102;
var x103;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var x106;
var x107;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;

minimize obj:    5*x2 + 5*x3 + x4 + x5 + 3*x6 + 3*x7 + x8 + x9 + 2*x10 + 2*x11
     + x12 + x13 + 4*x14 + 4*x15 + 4*x16 + 4*x17 + 2*x18 + 2*x19 + x20 + x21;

subject to

e2:    x22 - x23 <= 0;

e3:    x22 + 0.5*x24 <= 8.54;

e4:  - x22 + 0.5*x24 <= 0;

e5:    0.5*x25 + x26 <= 13;

e6:    0.5*x25 - x26 <= 0;

e7:    x23 + 0.5*x27 <= 8.54;

e8:  - x23 + 0.5*x27 <= 0;

e9:    0.5*x28 + x29 <= 13;

e10:    0.5*x28 - x29 <= 0;

e11:    0.5*x30 + x31 <= 8.54;

e12:    0.5*x30 - x31 <= 0;

e13:    0.5*x32 + x33 <= 13;

e14:    0.5*x32 - x33 <= 0;

e15:    0.5*x34 + x35 <= 8.54;

e16:    0.5*x34 - x35 <= 0;

e17:    0.5*x36 + x37 <= 13;

e18:    0.5*x36 - x37 <= 0;

e19:    0.5*x38 + x39 <= 8.54;

e20:    0.5*x38 - x39 <= 0;

e21:    0.5*x40 + x41 <= 13;

e22:    0.5*x40 - x41 <= 0;

e23:    0.5*x42 + x43 <= 8.54;

e24:    0.5*x42 - x43 <= 0;

e25:    0.5*x44 + x45 <= 13;

e26:    0.5*x44 - x45 <= 0;

e27:    0.5*x46 + x47 <= 8.54;

e28:    0.5*x46 - x47 <= 0;

e29:    0.5*x48 + x49 <= 13;

e30:    0.5*x48 - x49 <= 0;

e31:    x22 - x23 - x50 <= 0;

e32:  - x22 + x23 - x50 <= 0;

e33:    x26 - x29 - x51 <= 0;

e34:  - x26 + x29 - x51 <= 0;

e35:  - x22 + x23 + 0.5*x24 + 0.5*x27 - 8.54*b52 - 8.54*b53 <= 0;

e36:    x22 - x23 + 0.5*x24 + 0.5*x27 - 8.54*b52 + 8.54*b53 <= 8.54;

e37:    0.5*x25 - x26 + 0.5*x28 + x29 + 13*b52 - 13*b53 <= 13;

e38:    0.5*x25 + x26 + 0.5*x28 - x29 + 13*b52 + 13*b53 <= 26;

e39:    x22 - x31 - x54 <= 0;

e40:  - x22 + x31 - x54 <= 0;

e41:    x26 - x33 - x55 <= 0;

e42:  - x26 + x33 - x55 <= 0;

e43:  - x22 + 0.5*x24 + 0.5*x30 + x31 - 8.54*b56 - 8.54*b57 <= 0;

e44:    x22 + 0.5*x24 + 0.5*x30 - x31 - 8.54*b56 + 8.54*b57 <= 8.54;

e45:    0.5*x25 - x26 + 0.5*x32 + x33 + 13*b56 - 13*b57 <= 13;

e46:    0.5*x25 + x26 + 0.5*x32 - x33 + 13*b56 + 13*b57 <= 26;

e47:  - x2 + x22 - x35 <= 0;

e48:  - x2 - x22 + x35 <= 0;

e49:  - x3 + x26 - x37 <= 0;

e50:  - x3 - x26 + x37 <= 0;

e51:  - x22 + 0.5*x24 + 0.5*x34 + x35 - 8.54*b58 - 8.54*b59 <= 0;

e52:    x22 + 0.5*x24 + 0.5*x34 - x35 - 8.54*b58 + 8.54*b59 <= 8.54;

e53:    0.5*x25 - x26 + 0.5*x36 + x37 + 13*b58 - 13*b59 <= 13;

e54:    0.5*x25 + x26 + 0.5*x36 - x37 + 13*b58 + 13*b59 <= 26;

e55:    x22 - x39 - x60 <= 0;

e56:  - x22 + x39 - x60 <= 0;

e57:    x26 - x41 - x61 <= 0;

e58:  - x26 + x41 - x61 <= 0;

e59:  - x22 + 0.5*x24 + 0.5*x38 + x39 - 8.54*b62 - 8.54*b63 <= 0;

e60:    x22 + 0.5*x24 + 0.5*x38 - x39 - 8.54*b62 + 8.54*b63 <= 8.54;

e61:    0.5*x25 - x26 + 0.5*x40 + x41 + 13*b62 - 13*b63 <= 13;

e62:    0.5*x25 + x26 + 0.5*x40 - x41 + 13*b62 + 13*b63 <= 26;

e63:    x22 - x43 - x64 <= 0;

e64:  - x22 + x43 - x64 <= 0;

e65:    x26 - x45 - x65 <= 0;

e66:  - x26 + x45 - x65 <= 0;

e67:  - x22 + 0.5*x24 + 0.5*x42 + x43 - 8.54*b66 - 8.54*b67 <= 0;

e68:    x22 + 0.5*x24 + 0.5*x42 - x43 - 8.54*b66 + 8.54*b67 <= 8.54;

e69:    0.5*x25 - x26 + 0.5*x44 + x45 + 13*b66 - 13*b67 <= 13;

e70:    0.5*x25 + x26 + 0.5*x44 - x45 + 13*b66 + 13*b67 <= 26;

e71:  - x4 + x22 - x47 <= 0;

e72:  - x4 - x22 + x47 <= 0;

e73:  - x5 + x26 - x49 <= 0;

e74:  - x5 - x26 + x49 <= 0;

e75:  - x22 + 0.5*x24 + 0.5*x46 + x47 - 8.54*b68 - 8.54*b69 <= 0;

e76:    x22 + 0.5*x24 + 0.5*x46 - x47 - 8.54*b68 + 8.54*b69 <= 8.54;

e77:    0.5*x25 - x26 + 0.5*x48 + x49 + 13*b68 - 13*b69 <= 13;

e78:    0.5*x25 + x26 + 0.5*x48 - x49 + 13*b68 + 13*b69 <= 26;

e79:    x23 - x31 - x70 <= 0;

e80:  - x23 + x31 - x70 <= 0;

e81:    x29 - x33 - x71 <= 0;

e82:  - x29 + x33 - x71 <= 0;

e83:  - x23 + 0.5*x27 + 0.5*x30 + x31 - 8.54*b72 - 8.54*b73 <= 0;

e84:    x23 + 0.5*x27 + 0.5*x30 - x31 - 8.54*b72 + 8.54*b73 <= 8.54;

e85:    0.5*x28 - x29 + 0.5*x32 + x33 + 13*b72 - 13*b73 <= 13;

e86:    0.5*x28 + x29 + 0.5*x32 - x33 + 13*b72 + 13*b73 <= 26;

e87:  - x6 + x23 - x35 <= 0;

e88:  - x6 - x23 + x35 <= 0;

e89:  - x7 + x29 - x37 <= 0;

e90:  - x7 - x29 + x37 <= 0;

e91:  - x23 + 0.5*x27 + 0.5*x34 + x35 - 8.54*b74 - 8.54*b75 <= 0;

e92:    x23 + 0.5*x27 + 0.5*x34 - x35 - 8.54*b74 + 8.54*b75 <= 8.54;

e93:    0.5*x28 - x29 + 0.5*x36 + x37 + 13*b74 - 13*b75 <= 13;

e94:    0.5*x28 + x29 + 0.5*x36 - x37 + 13*b74 + 13*b75 <= 26;

e95:    x23 - x39 - x76 <= 0;

e96:  - x23 + x39 - x76 <= 0;

e97:    x29 - x41 - x77 <= 0;

e98:  - x29 + x41 - x77 <= 0;

e99:  - x23 + 0.5*x27 + 0.5*x38 + x39 - 8.54*b78 - 8.54*b79 <= 0;

e100:    x23 + 0.5*x27 + 0.5*x38 - x39 - 8.54*b78 + 8.54*b79 <= 8.54;

e101:    0.5*x28 - x29 + 0.5*x40 + x41 + 13*b78 - 13*b79 <= 13;

e102:    0.5*x28 + x29 + 0.5*x40 - x41 + 13*b78 + 13*b79 <= 26;

e103:    x23 - x43 - x80 <= 0;

e104:  - x23 + x43 - x80 <= 0;

e105:    x29 - x45 - x81 <= 0;

e106:  - x29 + x45 - x81 <= 0;

e107:  - x23 + 0.5*x27 + 0.5*x42 + x43 - 8.54*b82 - 8.54*b83 <= 0;

e108:    x23 + 0.5*x27 + 0.5*x42 - x43 - 8.54*b82 + 8.54*b83 <= 8.54;

e109:    0.5*x28 - x29 + 0.5*x44 + x45 + 13*b82 - 13*b83 <= 13;

e110:    0.5*x28 + x29 + 0.5*x44 - x45 + 13*b82 + 13*b83 <= 26;

e111:  - x8 + x23 - x47 <= 0;

e112:  - x8 - x23 + x47 <= 0;

e113:  - x9 + x29 - x49 <= 0;

e114:  - x9 - x29 + x49 <= 0;

e115:  - x23 + 0.5*x27 + 0.5*x46 + x47 - 8.54*b84 - 8.54*b85 <= 0;

e116:    x23 + 0.5*x27 + 0.5*x46 - x47 - 8.54*b84 + 8.54*b85 <= 8.54;

e117:    0.5*x28 - x29 + 0.5*x48 + x49 + 13*b84 - 13*b85 <= 13;

e118:    0.5*x28 + x29 + 0.5*x48 - x49 + 13*b84 + 13*b85 <= 26;

e119:  - x10 + x31 - x35 <= 0;

e120:  - x10 - x31 + x35 <= 0;

e121:  - x11 + x33 - x37 <= 0;

e122:  - x11 - x33 + x37 <= 0;

e123:    0.5*x30 - x31 + 0.5*x34 + x35 - 8.54*b86 - 8.54*b87 <= 0;

e124:    0.5*x30 + x31 + 0.5*x34 - x35 - 8.54*b86 + 8.54*b87 <= 8.54;

e125:    0.5*x32 - x33 + 0.5*x36 + x37 + 13*b86 - 13*b87 <= 13;

e126:    0.5*x32 + x33 + 0.5*x36 - x37 + 13*b86 + 13*b87 <= 26;

e127:    x31 - x39 - x88 <= 0;

e128:  - x31 + x39 - x88 <= 0;

e129:    x33 - x41 - x89 <= 0;

e130:  - x33 + x41 - x89 <= 0;

e131:    0.5*x30 - x31 + 0.5*x38 + x39 - 8.54*b90 - 8.54*b91 <= 0;

e132:    0.5*x30 + x31 + 0.5*x38 - x39 - 8.54*b90 + 8.54*b91 <= 8.54;

e133:    0.5*x32 - x33 + 0.5*x40 + x41 + 13*b90 - 13*b91 <= 13;

e134:    0.5*x32 + x33 + 0.5*x40 - x41 + 13*b90 + 13*b91 <= 26;

e135:    x31 - x43 - x92 <= 0;

e136:  - x31 + x43 - x92 <= 0;

e137:    x33 - x45 - x93 <= 0;

e138:  - x33 + x45 - x93 <= 0;

e139:    0.5*x30 - x31 + 0.5*x42 + x43 - 8.54*b94 - 8.54*b95 <= 0;

e140:    0.5*x30 + x31 + 0.5*x42 - x43 - 8.54*b94 + 8.54*b95 <= 8.54;

e141:    0.5*x32 - x33 + 0.5*x44 + x45 + 13*b94 - 13*b95 <= 13;

e142:    0.5*x32 + x33 + 0.5*x44 - x45 + 13*b94 + 13*b95 <= 26;

e143:  - x12 + x31 - x47 <= 0;

e144:  - x12 - x31 + x47 <= 0;

e145:  - x13 + x33 - x49 <= 0;

e146:  - x13 - x33 + x49 <= 0;

e147:    0.5*x30 - x31 + 0.5*x46 + x47 - 8.54*b96 - 8.54*b97 <= 0;

e148:    0.5*x30 + x31 + 0.5*x46 - x47 - 8.54*b96 + 8.54*b97 <= 8.54;

e149:    0.5*x32 - x33 + 0.5*x48 + x49 + 13*b96 - 13*b97 <= 13;

e150:    0.5*x32 + x33 + 0.5*x48 - x49 + 13*b96 + 13*b97 <= 26;

e151:  - x14 + x35 - x39 <= 0;

e152:  - x14 - x35 + x39 <= 0;

e153:  - x15 + x37 - x41 <= 0;

e154:  - x15 - x37 + x41 <= 0;

e155:    0.5*x34 - x35 + 0.5*x38 + x39 - 8.54*b98 - 8.54*b99 <= 0;

e156:    0.5*x34 + x35 + 0.5*x38 - x39 - 8.54*b98 + 8.54*b99 <= 8.54;

e157:    0.5*x36 - x37 + 0.5*x40 + x41 + 13*b98 - 13*b99 <= 13;

e158:    0.5*x36 + x37 + 0.5*x40 - x41 + 13*b98 + 13*b99 <= 26;

e159:  - x16 + x35 - x43 <= 0;

e160:  - x16 - x35 + x43 <= 0;

e161:  - x17 + x37 - x45 <= 0;

e162:  - x17 - x37 + x45 <= 0;

e163:    0.5*x34 - x35 + 0.5*x42 + x43 - 8.54*b100 - 8.54*b101 <= 0;

e164:    0.5*x34 + x35 + 0.5*x42 - x43 - 8.54*b100 + 8.54*b101 <= 8.54;

e165:    0.5*x36 - x37 + 0.5*x44 + x45 + 13*b100 - 13*b101 <= 13;

e166:    0.5*x36 + x37 + 0.5*x44 - x45 + 13*b100 + 13*b101 <= 26;

e167:    x35 - x47 - x102 <= 0;

e168:  - x35 + x47 - x102 <= 0;

e169:    x37 - x49 - x103 <= 0;

e170:  - x37 + x49 - x103 <= 0;

e171:    0.5*x34 - x35 + 0.5*x46 + x47 - 8.54*b104 - 8.54*b105 <= 0;

e172:    0.5*x34 + x35 + 0.5*x46 - x47 - 8.54*b104 + 8.54*b105 <= 8.54;

e173:    0.5*x36 - x37 + 0.5*x48 + x49 + 13*b104 - 13*b105 <= 13;

e174:    0.5*x36 + x37 + 0.5*x48 - x49 + 13*b104 + 13*b105 <= 26;

e175:    x39 - x43 - x106 <= 0;

e176:  - x39 + x43 - x106 <= 0;

e177:    x41 - x45 - x107 <= 0;

e178:  - x41 + x45 - x107 <= 0;

e179:    0.5*x38 - x39 + 0.5*x42 + x43 - 8.54*b108 - 8.54*b109 <= 0;

e180:    0.5*x38 + x39 + 0.5*x42 - x43 - 8.54*b108 + 8.54*b109 <= 8.54;

e181:    0.5*x40 - x41 + 0.5*x44 + x45 + 13*b108 - 13*b109 <= 13;

e182:    0.5*x40 + x41 + 0.5*x44 - x45 + 13*b108 + 13*b109 <= 26;

e183:  - x18 + x39 - x47 <= 0;

e184:  - x18 - x39 + x47 <= 0;

e185:  - x19 + x41 - x49 <= 0;

e186:  - x19 - x41 + x49 <= 0;

e187:    0.5*x38 - x39 + 0.5*x46 + x47 - 8.54*b110 - 8.54*b111 <= 0;

e188:    0.5*x38 + x39 + 0.5*x46 - x47 - 8.54*b110 + 8.54*b111 <= 8.54;

e189:    0.5*x40 - x41 + 0.5*x48 + x49 + 13*b110 - 13*b111 <= 13;

e190:    0.5*x40 + x41 + 0.5*x48 - x49 + 13*b110 + 13*b111 <= 26;

e191:  - x20 + x43 - x47 <= 0;

e192:  - x20 - x43 + x47 <= 0;

e193:  - x21 + x45 - x49 <= 0;

e194:  - x21 - x45 + x49 <= 0;

e195:    0.5*x42 - x43 + 0.5*x46 + x47 - 8.54*b112 - 8.54*b113 <= 0;

e196:    0.5*x42 + x43 + 0.5*x46 - x47 - 8.54*b112 + 8.54*b113 <= 8.54;

e197:    0.5*x44 - x45 + 0.5*x48 + x49 + 13*b112 - 13*b113 <= 13;

e198:    0.5*x44 + x45 + 0.5*x48 - x49 + 13*b112 + 13*b113 <= 26;

e199: -x25*x24 <= -16;

e200: -x25*x24 <= -16;

e201: -x28*x27 <= -16;

e202: -x28*x27 <= -16;

e203: -x32*x30 <= -16;

e204: -x32*x30 <= -16;

e205: -x36*x34 <= -36;

e206: -x36*x34 <= -36;

e207: -x40*x38 <= -9;

e208: -x40*x38 <= -9;

e209: -x44*x42 <= -9;

e210: -x44*x42 <= -9;

e211: -x48*x46 <= -9;

e212: -x48*x46 <= -9;
