\ Equation counts \ Total E G L N X C B \ 174 30 24 120 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 140 116 24 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 500 492 8 0 \ Minimize obj: 1.7661e5 - 1.2e3 x1 - 7.8e3 x2 - 3.36e3 x3 - 4.2e2 x4 - 3e3 x5 - 1.17e4 x6 - 4.32e3 x7 - 4.2e2 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 + 0 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 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 300 x129 + 2.4e2 x130 + 2.1e2 x131 + 100 x132 + 1.5e2 x133 + 1.2e2 x134 + 300 x135 + 2.4e2 x136 + 2.1e2 x137 + 100 x138 + 1.5e2 x139 + 1.2e2 x140 + 1.5e2 x1^2 + 3.9e2 x2^2 + 2.4e2 x3^2 + 70 x4^2 + 1.5e2 x5^2 + 3.9e2 x6^2 + 2.4e2 x7^2 + 70 x8^2 Subject To e2: - x1 + x2 + x129 >= 0 e3: - x1 + x3 + x130 >= 0 e4: - x1 + x4 + x131 >= 0 e5: - x2 + x3 + x132 >= 0 e6: - x2 + x4 + x133 >= 0 e7: - x3 + x4 + x134 >= 0 e8: x1 - x2 + x129 >= 0 e9: x1 - x3 + x130 >= 0 e10: x1 - x4 + x131 >= 0 e11: x2 - x3 + x132 >= 0 e12: x2 - x4 + x133 >= 0 e13: x3 - x4 + x134 >= 0 e14: - x5 + x6 + x135 >= 0 e15: - x5 + x7 + x136 >= 0 e16: - x5 + x8 + x137 >= 0 e17: - x6 + x7 + x138 >= 0 e18: - x6 + x8 + x139 >= 0 e19: - x7 + x8 + x140 >= 0 e20: x5 - x6 + x135 >= 0 e21: x5 - x7 + x136 >= 0 e22: x5 - x8 + x137 >= 0 e23: x6 - x7 + x138 >= 0 e24: x6 - x8 + x139 >= 0 e25: x7 - x8 + x140 >= 0 e26: x1 - x9 - x12 - x15 - x18 = 0 e27: x1 - x10 - x13 - x16 - x19 = 0 e28: x1 - x11 - x14 - x17 - x20 = 0 e29: x2 - x21 - x24 - x27 - x30 = 0 e30: x2 - x22 - x25 - x28 - x31 = 0 e31: x2 - x23 - x26 - x29 - x32 = 0 e32: x3 - x33 - x36 - x39 - x42 = 0 e33: x3 - x34 - x37 - x40 - x43 = 0 e34: x3 - x35 - x38 - x41 - x44 = 0 e35: x4 - x45 - x48 - x51 - x54 = 0 e36: x4 - x46 - x49 - x52 - x55 = 0 e37: x4 - x47 - x50 - x53 - x56 = 0 e38: x5 - x57 - x60 - x63 - x66 = 0 e39: x5 - x58 - x61 - x64 - x67 = 0 e40: x5 - x59 - x62 - x65 - x68 = 0 e41: x6 - x69 - x72 - x75 - x78 = 0 e42: x6 - x70 - x73 - x76 - x79 = 0 e43: x6 - x71 - x74 - x77 - x80 = 0 e44: x7 - x81 - x84 - x87 - x90 = 0 e45: x7 - x82 - x85 - x88 - x91 = 0 e46: x7 - x83 - x86 - x89 - x92 = 0 e47: x8 - x93 - x96 - x99 - x102 = 0 e48: x8 - x94 - x97 - x100 - x103 = 0 e49: x8 - x95 - x98 - x101 - x104 = 0 e50: x9 - 27.5 b105 <= 0 e51: x10 - 27.5 b106 <= 0 e52: x11 - 27.5 b107 <= 0 e53: x12 - 27.5 b111 <= 0 e54: x13 - 27.5 b112 <= 0 e55: x14 - 27.5 b113 <= 0 e56: x15 - 27.5 b117 <= 0 e57: x16 - 27.5 b118 <= 0 e58: x17 - 27.5 b119 <= 0 e59: x18 - 27.5 b123 <= 0 e60: x19 - 27.5 b124 <= 0 e61: x20 - 27.5 b125 <= 0 e62: x21 - 27.5 b105 <= 0 e63: x22 - 26.5 b108 <= 0 e64: x23 - 26.5 b109 <= 0 e65: x24 - 27.5 b111 <= 0 e66: x25 - 26.5 b114 <= 0 e67: x26 - 26.5 b115 <= 0 e68: x27 - 27.5 b117 <= 0 e69: x28 - 26.5 b120 <= 0 e70: x29 - 26.5 b121 <= 0 e71: x30 - 27.5 b123 <= 0 e72: x31 - 26.5 b126 <= 0 e73: x32 - 26.5 b127 <= 0 e74: x33 - 27.5 b106 <= 0 e75: x34 - 26.5 b108 <= 0 e76: x35 - 28.5 b110 <= 0 e77: x36 - 27.5 b112 <= 0 e78: x37 - 26.5 b114 <= 0 e79: x38 - 28.5 b116 <= 0 e80: x39 - 27.5 b118 <= 0 e81: x40 - 26.5 b120 <= 0 e82: x41 - 28.5 b122 <= 0 e83: x42 - 27.5 b124 <= 0 e84: x43 - 26.5 b126 <= 0 e85: x44 - 28.5 b128 <= 0 e86: x45 - 27.5 b107 <= 0 e87: x46 - 26.5 b109 <= 0 e88: x47 - 28.5 b110 <= 0 e89: x48 - 27.5 b113 <= 0 e90: x49 - 26.5 b115 <= 0 e91: x50 - 28.5 b116 <= 0 e92: x51 - 27.5 b119 <= 0 e93: x52 - 26.5 b121 <= 0 e94: x53 - 28.5 b122 <= 0 e95: x54 - 27.5 b125 <= 0 e96: x55 - 26.5 b127 <= 0 e97: x56 - 28.5 b128 <= 0 e98: x57 - 27 b105 <= 0 e99: x58 - 27 b106 <= 0 e100: x59 - 27 b107 <= 0 e101: x60 - 27 b111 <= 0 e102: x61 - 27 b112 <= 0 e103: x62 - 27 b113 <= 0 e104: x63 - 27 b117 <= 0 e105: x64 - 27 b118 <= 0 e106: x65 - 27 b119 <= 0 e107: x66 - 27 b123 <= 0 e108: x67 - 27 b124 <= 0 e109: x68 - 27 b125 <= 0 e110: x69 - 27 b105 <= 0 e111: x70 - 27.5 b108 <= 0 e112: x71 - 27.5 b109 <= 0 e113: x72 - 27 b111 <= 0 e114: x73 - 27.5 b114 <= 0 e115: x74 - 27.5 b115 <= 0 e116: x75 - 27 b117 <= 0 e117: x76 - 27.5 b120 <= 0 e118: x77 - 27.5 b121 <= 0 e119: x78 - 27 b123 <= 0 e120: x79 - 27.5 b126 <= 0 e121: x80 - 27.5 b127 <= 0 e122: x81 - 27 b106 <= 0 e123: x82 - 27.5 b108 <= 0 e124: x83 - 28.5 b110 <= 0 e125: x84 - 27 b112 <= 0 e126: x85 - 27.5 b114 <= 0 e127: x86 - 28.5 b116 <= 0 e128: x87 - 27 b118 <= 0 e129: x88 - 27.5 b120 <= 0 e130: x89 - 28.5 b122 <= 0 e131: x90 - 27 b124 <= 0 e132: x91 - 27.5 b126 <= 0 e133: x92 - 28.5 b128 <= 0 e134: x93 - 27 b107 <= 0 e135: x94 - 27.5 b109 <= 0 e136: x95 - 28.5 b110 <= 0 e137: x96 - 27 b113 <= 0 e138: x97 - 27.5 b115 <= 0 e139: x98 - 28.5 b116 <= 0 e140: x99 - 27 b119 <= 0 e141: x100 - 27.5 b121 <= 0 e142: x101 - 28.5 b122 <= 0 e143: x102 - 27 b125 <= 0 e144: x103 - 27.5 b127 <= 0 e145: x104 - 28.5 b128 <= 0 e146: x9 - x21 + 6 b105 <= 0 e147: x10 - x33 + 4 b106 <= 0 e148: x11 - x45 + 3.5 b107 <= 0 e149: x22 - x34 + 5 b108 <= 0 e150: x23 - x46 + 4.5 b109 <= 0 e151: x35 - x47 + 2.5 b110 <= 0 e152: - x12 + x24 + 6 b111 <= 0 e153: - x13 + x36 + 4 b112 <= 0 e154: - x14 + x48 + 3.5 b113 <= 0 e155: - x25 + x37 + 5 b114 <= 0 e156: - x26 + x49 + 4.5 b115 <= 0 e157: - x38 + x50 + 2.5 b116 <= 0 e158: x63 - x75 + 5.5 b117 <= 0 e159: x64 - x87 + 4.5 b118 <= 0 e160: x65 - x99 + 4.5 b119 <= 0 e161: x76 - x88 + 4 b120 <= 0 e162: x77 - x100 + 4 b121 <= 0 e163: x89 - x101 + 3 b122 <= 0 e164: - x66 + x78 + 5.5 b123 <= 0 e165: - x67 + x90 + 4.5 b124 <= 0 e166: - x68 + x102 + 4.5 b125 <= 0 e167: - x79 + x91 + 4 b126 <= 0 e168: - x80 + x103 + 4 b127 <= 0 e169: - x92 + x104 + 3 b128 <= 0 e170: b105 + b111 + b117 + b123 = 1 e171: b106 + b112 + b118 + b124 = 1 e172: b107 + b113 + b119 + b125 = 1 e173: b108 + b114 + b120 + b126 = 1 e174: b109 + b115 + b121 + b127 = 1 e175: b110 + b116 + b122 + b128 = 1 Bounds 2.5 <= x1 <= 27.5 3.5 <= x2 <= 26.5 1.5 <= x3 <= 28.5 1 <= x4 <= 29 3 <= x5 <= 27 2.5 <= x6 <= 27.5 1.5 <= x7 <= 28.5 1.5 <= x8 <= 28.5 Binary b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 End