\ Equation counts \ Total E G L N X C B \ 190 155 15 20 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 184 184 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 652 354 298 0 \ Minimize obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 Subject To e2: x56 - x117 = -23.23937859 e3: x118 - x119 <= -1.2 e4: x120 - x121 <= -1.2 e5: - x119 + x122 <= -0.6 e6: - x121 + x123 <= -0.6 e7: - x119 + x124 <= -0.8 e8: - x121 + x125 <= -0.8 e9: - x119 + x126 <= -1.7 e10: - x121 + x127 <= -1.7 e11: - x119 + x128 <= -1.3 e12: - x121 + x129 <= -1.3 e13: - x119 + x130 <= -0.5 e14: - x121 + x131 <= -0.5 e15: - x119 + x132 <= 0 e16: - x121 + x133 <= 0 e17: - x119 + x134 <= 0 e18: - x121 + x135 <= 0 e19: - x119 + x136 <= 0 e20: - x121 + x137 <= 0 e21: - x119 + x138 <= 0 e22: - x121 + x139 <= 0 e23: x132 - x134 + x140 = 0 e24: x133 - x135 + x141 = 0 e25: x134 - x136 + x142 = 0 e26: x135 - x137 + x143 = 0 e27: x136 - x138 + x144 = 0 e28: x137 - x139 + x145 = 0 e29: - x132 + 2 x138 + x146 - x147 = 0 e30: - x133 + 2 x139 + x148 - x149 = 0 e31: x140 + x144 = 0 e32: x141 + x145 = 0 e33: x142 + x146 = 0 e34: x143 + x148 = 0 e35: - x150 + x151 = 0 e36: - x152 + x153 = 0 e37: - x154 + x155 = 0 e38: - x156 + x157 = 0 e39: - x158 + x159 = 0 e40: - x160 + x161 = 0 e41: x162 + x163 = 0 e42: x164 + x165 = 0 e43: x166 + x167 = 0 e44: x168 + x169 = 0 e45: x170 + x171 = 0 e46: x172 + x173 = 0 e47: 1.2 x151 + x174 = 0 e48: 1.2 x163 + x175 = 0 e49: 0.6 x153 + x176 = 0 e50: 0.6 x165 + x177 = 0 e51: 0.8 x155 + x178 = 0 e52: 0.8 x167 + x179 = 0 e53: 1.7 x157 + x180 = 0 e54: 1.7 x169 + x181 = 0 e55: 1.3 x159 + x182 = 0 e56: 1.3 x171 + x183 = 0 e57: 0.5 x161 + x184 = 0 e58: 0.5 x173 + x185 = 0 e59: x117 + [ - x119 * x121 ] = 0 e60: x57 + x58 - x132 + [ x26 * x162 ] = 0 e61: x59 + x60 - x133 + [ x26 * x150 ] = 0 e62: x57 + x61 - x134 + [ x27 * x162 ] = 0 e63: x59 + x62 - x135 + [ x27 * x150 ] = 0 e64: x57 + x63 - x136 + [ x28 * x162 ] = 0 e65: x59 + x64 - x137 + [ x28 * x150 ] = 0 e66: x57 + x65 - x138 + [ x29 * x162 ] = 0 e67: x59 + x66 - x139 + [ x29 * x150 ] = 0 e68: x67 + x68 - x132 + [ x30 * x164 ] = 0 e69: x69 + x70 - x133 + [ x30 * x152 ] = 0 e70: x67 + x71 - x134 + [ x31 * x164 ] = 0 e71: x69 + x72 - x135 + [ x31 * x152 ] = 0 e72: x67 + x73 - x136 + [ x32 * x164 ] = 0 e73: x69 + x74 - x137 + [ x32 * x152 ] = 0 e74: x67 + x75 - x138 + [ x33 * x164 ] = 0 e75: x69 + x76 - x139 + [ x33 * x152 ] = 0 e76: x77 + x78 - x132 + [ x34 * x166 ] = 0 e77: x79 + x80 - x133 + [ x34 * x154 ] = 0 e78: x77 + x81 - x134 + [ x35 * x166 ] = 0 e79: x79 + x82 - x135 + [ x35 * x154 ] = 0 e80: x77 + x83 - x136 + [ x36 * x166 ] = 0 e81: x79 + x84 - x137 + [ x36 * x154 ] = 0 e82: x77 + x85 - x138 + [ x37 * x166 ] = 0 e83: x79 + x86 - x139 + [ x37 * x154 ] = 0 e84: x87 + x88 - x132 + [ x38 * x168 ] = 0 e85: x89 + x90 - x133 + [ x38 * x156 ] = 0 e86: x87 + x91 - x134 + [ x39 * x168 ] = 0 e87: x89 + x92 - x135 + [ x39 * x156 ] = 0 e88: x87 + x93 - x136 + [ x40 * x168 ] = 0 e89: x89 + x94 - x137 + [ x40 * x156 ] = 0 e90: x87 + x95 - x138 + [ x41 * x168 ] = 0 e91: x89 + x96 - x139 + [ x41 * x156 ] = 0 e92: x97 + x98 - x132 + [ x42 * x170 ] = 0 e93: x99 + x100 - x133 + [ x42 * x158 ] = 0 e94: x97 + x101 - x134 + [ x43 * x170 ] = 0 e95: x99 + x102 - x135 + [ x43 * x158 ] = 0 e96: x97 + x103 - x136 + [ x44 * x170 ] = 0 e97: x99 + x104 - x137 + [ x44 * x158 ] = 0 e98: x97 + x105 - x138 + [ x45 * x170 ] = 0 e99: x99 + x106 - x139 + [ x45 * x158 ] = 0 e100: x107 + x108 - x132 + [ x46 * x172 ] = 0 e101: x109 + x110 - x133 + [ x46 * x160 ] = 0 e102: x107 + x111 - x134 + [ x47 * x172 ] = 0 e103: x109 + x112 - x135 + [ x47 * x160 ] = 0 e104: x107 + x113 - x136 + [ x48 * x172 ] = 0 e105: x109 + x114 - x137 + [ x48 * x160 ] = 0 e106: x107 + x115 - x138 + [ x49 * x172 ] = 0 e107: x109 + x116 - x139 + [ x49 * x160 ] = 0 e108: x57 - x118 + x174 + [ x50 * x162 ] = 0 e109: x59 - x120 + x175 + [ x50 * x150 ] = 0 e110: x67 - x122 + x176 + [ x51 * x164 ] = 0 e111: x69 - x123 + x177 + [ x51 * x152 ] = 0 e112: x77 - x124 + x178 + [ x52 * x166 ] = 0 e113: x79 - x125 + x179 + [ x52 * x154 ] = 0 e114: x87 - x126 + x180 + [ x53 * x168 ] = 0 e115: x89 - x127 + x181 + [ x53 * x156 ] = 0 e116: x97 - x128 + x182 + [ x54 * x170 ] = 0 e117: x99 - x129 + x183 + [ x54 * x158 ] = 0 e118: x107 - x130 + x184 + [ x55 * x172 ] = 0 e119: x109 - x131 + x185 + [ x55 * x160 ] = 0 e120: x58 + [ - x2 * x151 ] = 0 e121: x60 + [ - x2 * x163 ] = 0 e122: x61 + [ - x3 * x151 ] = 0 e123: x62 + [ - x3 * x163 ] = 0 e124: x63 + [ - x4 * x151 ] = 0 e125: x64 + [ - x4 * x163 ] = 0 e126: x65 + [ - x5 * x151 ] = 0 e127: x66 + [ - x5 * x163 ] = 0 e128: x68 + [ - x6 * x153 ] = 0 e129: x70 + [ - x6 * x165 ] = 0 e130: x71 + [ - x7 * x153 ] = 0 e131: x72 + [ - x7 * x165 ] = 0 e132: x73 + [ - x8 * x153 ] = 0 e133: x74 + [ - x8 * x165 ] = 0 e134: x75 + [ - x9 * x153 ] = 0 e135: x76 + [ - x9 * x165 ] = 0 e136: x78 + [ - x10 * x155 ] = 0 e137: x80 + [ - x10 * x167 ] = 0 e138: x81 + [ - x11 * x155 ] = 0 e139: x82 + [ - x11 * x167 ] = 0 e140: x83 + [ - x12 * x155 ] = 0 e141: x84 + [ - x12 * x167 ] = 0 e142: x85 + [ - x13 * x155 ] = 0 e143: x86 + [ - x13 * x167 ] = 0 e144: x88 + [ - x14 * x157 ] = 0 e145: x90 + [ - x14 * x169 ] = 0 e146: x91 + [ - x15 * x157 ] = 0 e147: x92 + [ - x15 * x169 ] = 0 e148: x93 + [ - x16 * x157 ] = 0 e149: x94 + [ - x16 * x169 ] = 0 e150: x95 + [ - x17 * x157 ] = 0 e151: x96 + [ - x17 * x169 ] = 0 e152: x98 + [ - x18 * x159 ] = 0 e153: x100 + [ - x18 * x171 ] = 0 e154: x101 + [ - x19 * x159 ] = 0 e155: x102 + [ - x19 * x171 ] = 0 e156: x103 + [ - x20 * x159 ] = 0 e157: x104 + [ - x20 * x171 ] = 0 e158: x105 + [ - x21 * x159 ] = 0 e159: x106 + [ - x21 * x171 ] = 0 e160: x108 + [ - x22 * x161 ] = 0 e161: x110 + [ - x22 * x173 ] = 0 e162: x111 + [ - x23 * x161 ] = 0 e163: x112 + [ - x23 * x173 ] = 0 e164: x113 + [ - x24 * x161 ] = 0 e165: x114 + [ - x24 * x173 ] = 0 e166: x115 + [ - x25 * x161 ] = 0 e167: x116 + [ - x25 * x173 ] = 0 e168: [ x118^2 - 2 x118 * x122 + x120^2 - 2 x120 * x123 + x122^2 + x123^2 ] >= 3.24 e169: [ x118^2 - 2 x118 * x124 + x120^2 - 2 x120 * x125 + x124^2 + x125^2 ] >= 4 e170: [ x118^2 - 2 x118 * x126 + x120^2 - 2 x120 * x127 + x126^2 + x127^2 ] >= 8.41 e171: [ x118^2 - 2 x118 * x128 + x120^2 - 2 x120 * x129 + x128^2 + x129^2 ] >= 6.25 e172: [ x118^2 - 2 x118 * x130 + x120^2 - 2 x120 * x131 + x130^2 + x131^2 ] >= 2.89 e173: [ x122^2 - 2 x122 * x124 + x123^2 - 2 x123 * x125 + x124^2 + x125^2 ] >= 1.96 e174: [ x122^2 - 2 x122 * x126 + x123^2 - 2 x123 * x127 + x126^2 + x127^2 ] >= 5.29 e175: [ x122^2 - 2 x122 * x128 + x123^2 - 2 x123 * x129 + x128^2 + x129^2 ] >= 3.61 e176: [ x122^2 - 2 x122 * x130 + x123^2 - 2 x123 * x131 + x130^2 + x131^2 ] >= 1.21 e177: [ x124^2 - 2 x124 * x126 + x125^2 - 2 x125 * x127 + x126^2 + x127^2 ] >= 6.25 e178: [ x124^2 - 2 x124 * x128 + x125^2 - 2 x125 * x129 + x128^2 + x129^2 ] >= 4.41 e179: [ x124^2 - 2 x124 * x130 + x125^2 - 2 x125 * x131 + x130^2 + x131^2 ] >= 1.69 e180: [ x126^2 - 2 x126 * x128 + x127^2 - 2 x127 * x129 + x128^2 + x129^2 ] >= 9 e181: [ x126^2 - 2 x126 * x130 + x127^2 - 2 x127 * x131 + x130^2 + x131^2 ] >= 4.84 e182: [ x128^2 - 2 x128 * x130 + x129^2 - 2 x129 * x131 + x130^2 + x131^2 ] >= 3.24 e183: [ x140^2 + x141^2 ] = 0.25 e184: [ x142^2 + x143^2 ] = 0.64 e185: [ x150^2 + x162^2 ] = 1 e186: [ x152^2 + x164^2 ] = 1 e187: [ x154^2 + x166^2 ] = 1 e188: [ x156^2 + x168^2 ] = 1 e189: [ x158^2 + x170^2 ] = 1 e190: [ x160^2 + x172^2 ] = 1 e191: [ x140 * x142 + x141 * x143 ] = 0 Bounds x2 <= 9.848857802 x3 <= 9.848857802 x4 <= 9.848857802 x5 <= 9.848857802 x6 <= 9.848857802 x7 <= 9.848857802 x8 <= 9.848857802 x9 <= 9.848857802 x10 <= 9.848857802 x11 <= 9.848857802 x12 <= 9.848857802 x13 <= 9.848857802 x14 <= 9.848857802 x15 <= 9.848857802 x16 <= 9.848857802 x17 <= 9.848857802 x18 <= 9.848857802 x19 <= 9.848857802 x20 <= 9.848857802 x21 <= 9.848857802 x22 <= 9.848857802 x23 <= 9.848857802 x24 <= 9.848857802 x25 <= 9.848857802 -9.848857802 <= x26 <= 9.848857802 -9.848857802 <= x27 <= 9.848857802 -9.848857802 <= x28 <= 9.848857802 -9.848857802 <= x29 <= 9.848857802 -9.848857802 <= x30 <= 9.848857802 -9.848857802 <= x31 <= 9.848857802 -9.848857802 <= x32 <= 9.848857802 -9.848857802 <= x33 <= 9.848857802 -9.848857802 <= x34 <= 9.848857802 -9.848857802 <= x35 <= 9.848857802 -9.848857802 <= x36 <= 9.848857802 -9.848857802 <= x37 <= 9.848857802 -9.848857802 <= x38 <= 9.848857802 -9.848857802 <= x39 <= 9.848857802 -9.848857802 <= x40 <= 9.848857802 -9.848857802 <= x41 <= 9.848857802 -9.848857802 <= x42 <= 9.848857802 -9.848857802 <= x43 <= 9.848857802 -9.848857802 <= x44 <= 9.848857802 -9.848857802 <= x45 <= 9.848857802 -9.848857802 <= x46 <= 9.848857802 -9.848857802 <= x47 <= 9.848857802 -9.848857802 <= x48 <= 9.848857802 -9.848857802 <= x49 <= 9.848857802 -9.848857802 <= x50 <= 9.848857802 -9.848857802 <= x51 <= 9.848857802 -9.848857802 <= x52 <= 9.848857802 -9.848857802 <= x53 <= 9.848857802 -9.848857802 <= x54 <= 9.848857802 -9.848857802 <= x55 <= 9.848857802 x56 <= 36 x57 <= 9 -9.848857802 <= x58 <= 9.848857802 x59 <= 4 -9.848857802 <= x60 <= 9.848857802 -9.848857802 <= x61 <= 9.848857802 -9.848857802 <= x62 <= 9.848857802 -9.848857802 <= x63 <= 9.848857802 -9.848857802 <= x64 <= 9.848857802 -9.848857802 <= x65 <= 9.848857802 -9.848857802 <= x66 <= 9.848857802 x67 <= 9 -9.848857802 <= x68 <= 9.848857802 x69 <= 4 -9.848857802 <= x70 <= 9.848857802 -9.848857802 <= x71 <= 9.848857802 -9.848857802 <= x72 <= 9.848857802 -9.848857802 <= x73 <= 9.848857802 -9.848857802 <= x74 <= 9.848857802 -9.848857802 <= x75 <= 9.848857802 -9.848857802 <= x76 <= 9.848857802 x77 <= 9 -9.848857802 <= x78 <= 9.848857802 x79 <= 4 -9.848857802 <= x80 <= 9.848857802 -9.848857802 <= x81 <= 9.848857802 -9.848857802 <= x82 <= 9.848857802 -9.848857802 <= x83 <= 9.848857802 -9.848857802 <= x84 <= 9.848857802 -9.848857802 <= x85 <= 9.848857802 -9.848857802 <= x86 <= 9.848857802 x87 <= 9 -9.848857802 <= x88 <= 9.848857802 x89 <= 4 -9.848857802 <= x90 <= 9.848857802 -9.848857802 <= x91 <= 9.848857802 -9.848857802 <= x92 <= 9.848857802 -9.848857802 <= x93 <= 9.848857802 -9.848857802 <= x94 <= 9.848857802 -9.848857802 <= x95 <= 9.848857802 -9.848857802 <= x96 <= 9.848857802 x97 <= 9 -9.848857802 <= x98 <= 9.848857802 x99 <= 4 -9.848857802 <= x100 <= 9.848857802 -9.848857802 <= x101 <= 9.848857802 -9.848857802 <= x102 <= 9.848857802 -9.848857802 <= x103 <= 9.848857802 -9.848857802 <= x104 <= 9.848857802 -9.848857802 <= x105 <= 9.848857802 -9.848857802 <= x106 <= 9.848857802 x107 <= 9 -9.848857802 <= x108 <= 9.848857802 x109 <= 4 -9.848857802 <= x110 <= 9.848857802 -9.848857802 <= x111 <= 9.848857802 -9.848857802 <= x112 <= 9.848857802 -9.848857802 <= x113 <= 9.848857802 -9.848857802 <= x114 <= 9.848857802 -9.848857802 <= x115 <= 9.848857802 -9.848857802 <= x116 <= 9.848857802 2.89 <= x117 <= 36 1.2 <= x118 <= 4.5 x119 <= 9 1.2 <= x120 <= 2 x121 <= 4 0.6 <= x122 <= 8.4 0.6 <= x123 <= 3.4 0.8 <= x124 <= 8.2 0.8 <= x125 <= 3.2 1.7 <= x126 <= 7.3 1.7 <= x127 <= 2.3 1.3 <= x128 <= 7.7 1.3 <= x129 <= 2.7 0.5 <= x130 <= 8.5 0.5 <= x131 <= 3.5 x132 <= 9 x133 <= 4 x134 <= 9 x135 <= 4 x136 <= 9 x137 <= 4 x138 <= 9 x139 <= 4 -0.8 <= x140 <= 0.8 -0.5 <= x141 <= 0.5 -0.8 <= x142 <= 0.8 -0.5 <= x143 <= 0.5 -0.8 <= x144 <= 0.8 -0.5 <= x145 <= 0.5 -0.8 <= x146 <= 0.8 x147 <= 9 -0.5 <= x148 <= 0.5 x149 <= 4 -1 <= x150 <= 1 -1 <= x151 <= 1 -1 <= x152 <= 1 -1 <= x153 <= 1 -1 <= x154 <= 1 -1 <= x155 <= 1 -1 <= x156 <= 1 -1 <= x157 <= 1 -1 <= x158 <= 1 -1 <= x159 <= 1 -1 <= x160 <= 1 -1 <= x161 <= 1 -1 <= x162 <= 1 -1 <= x163 <= 1 -1 <= x164 <= 1 -1 <= x165 <= 1 -1 <= x166 <= 1 -1 <= x167 <= 1 -1 <= x168 <= 1 -1 <= x169 <= 1 -1 <= x170 <= 1 -1 <= x171 <= 1 -1 <= x172 <= 1 -1 <= x173 <= 1 -9.848857802 <= x174 <= 9.848857802 -9.848857802 <= x175 <= 9.848857802 -9.848857802 <= x176 <= 9.848857802 -9.848857802 <= x177 <= 9.848857802 -9.848857802 <= x178 <= 9.848857802 -9.848857802 <= x179 <= 9.848857802 -9.848857802 <= x180 <= 9.848857802 -9.848857802 <= x181 <= 9.848857802 -9.848857802 <= x182 <= 9.848857802 -9.848857802 <= x183 <= 9.848857802 -9.848857802 <= x184 <= 9.848857802 -9.848857802 <= x185 <= 9.848857802 End