\ Equation counts \ Total E G L N X C B \ 95 42 7 46 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 180 42 138 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 475 403 72 0 \ Minimize obj: 0 x1 + 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 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 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 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + .1 b145 + .2 b146 + .3 b147 + .4 b148 + .5 b149 + 0 b150 + x151 + x152 + x153 + x154 + x155 + x156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 Subject To e2: x1 x151 + x2 x152 + x3 x153 + x4 x154 + x5 x155 + x6 x156 >= 8 e3: x7 x151 + x8 x152 + x9 x153 + x10 x154 + x11 x155 + x12 x156 >= 16 e4: x13 x151 + x14 x152 + x15 x153 + x16 x154 + x17 x155 + x18 x156 >= 12 e5: x19 x151 + x20 x152 + x21 x153 + x22 x154 + x23 x155 + x24 x156 >= 7 e6: x25 x151 + x26 x152 + x27 x153 + x28 x154 + x29 x155 + x30 x156 >= 14 e7: x31 x151 + x32 x152 + x33 x153 + x34 x154 + x35 x155 + x36 x156 >= 16 e8: - 3.3e2 x1 - 3.6e2 x7 - 3.8e2 x13 - 4.3e2 x19 - 4.9e2 x25 - 5.3e2 x31 + 2.1e3 b145 <= 0 e9: - 3.3e2 x2 - 3.6e2 x8 - 3.8e2 x14 - 4.3e2 x20 - 4.9e2 x26 - 5.3e2 x32 + 2.1e3 b146 <= 0 e10: - 3.3e2 x3 - 3.6e2 x9 - 3.8e2 x15 - 4.3e2 x21 - 4.9e2 x27 - 5.3e2 x33 + 2.1e3 b147 <= 0 e11: - 3.3e2 x4 - 3.6e2 x10 - 3.8e2 x16 - 4.3e2 x22 - 4.9e2 x28 - 5.3e2 x34 + 2.1e3 b148 <= 0 e12: - 3.3e2 x5 - 3.6e2 x11 - 3.8e2 x17 - 4.3e2 x23 - 4.9e2 x29 - 5.3e2 x35 + 2.1e3 b149 <= 0 e13: - 3.3e2 x6 - 3.6e2 x12 - 3.8e2 x18 - 4.3e2 x24 - 4.9e2 x30 - 5.3e2 x36 + 2.1e3 b150 <= 0 e14: 3.3e2 x1 + 3.6e2 x7 + 3.8e2 x13 + 4.3e2 x19 + 4.9e2 x25 + 5.3e2 x31 - 2.2e3 b145 <= 0 e15: 3.3e2 x2 + 3.6e2 x8 + 3.8e2 x14 + 4.3e2 x20 + 4.9e2 x26 + 5.3e2 x32 - 2.2e3 b146 <= 0 e16: 3.3e2 x3 + 3.6e2 x9 + 3.8e2 x15 + 4.3e2 x21 + 4.9e2 x27 + 5.3e2 x33 - 2.2e3 b147 <= 0 e17: 3.3e2 x4 + 3.6e2 x10 + 3.8e2 x16 + 4.3e2 x22 + 4.9e2 x28 + 5.3e2 x34 - 2.2e3 b148 <= 0 e18: 3.3e2 x5 + 3.6e2 x11 + 3.8e2 x17 + 4.3e2 x23 + 4.9e2 x29 + 5.3e2 x35 - 2.2e3 b149 <= 0 e19: 3.3e2 x6 + 3.6e2 x12 + 3.8e2 x18 + 4.3e2 x24 + 4.9e2 x30 + 5.3e2 x36 - 2.2e3 b150 <= 0 e20: - x1 - x7 - x13 - x19 - x25 - x31 + b145 <= 0 e21: - x2 - x8 - x14 - x20 - x26 - x32 + b146 <= 0 e22: - x3 - x9 - x15 - x21 - x27 - x33 + b147 <= 0 e23: - x4 - x10 - x16 - x22 - x28 - x34 + b148 <= 0 e24: - x5 - x11 - x17 - x23 - x29 - x35 + b149 <= 0 e25: - x6 - x12 - x18 - x24 - x30 - x36 + b150 <= 0 e26: x1 + x7 + x13 + x19 + x25 + x31 - 5 b145 <= 0 e27: x2 + x8 + x14 + x20 + x26 + x32 - 5 b146 <= 0 e28: x3 + x9 + x15 + x21 + x27 + x33 - 5 b147 <= 0 e29: x4 + x10 + x16 + x22 + x28 + x34 - 5 b148 <= 0 e30: x5 + x11 + x17 + x23 + x29 + x35 - 5 b149 <= 0 e31: x6 + x12 + x18 + x24 + x30 + x36 - 5 b150 <= 0 e32: b145 - x151 <= 0 e33: b146 - x152 <= 0 e34: b147 - x153 <= 0 e35: b148 - x154 <= 0 e36: b149 - x155 <= 0 e37: b150 - x156 <= 0 e38: - 15 b145 + x151 <= 0 e39: - 12 b146 + x152 <= 0 e40: - 8 b147 + x153 <= 0 e41: - 7 b148 + x154 <= 0 e42: - 4 b149 + x155 <= 0 e43: - 2 b150 + x156 <= 0 e44: x151 + x152 + x153 + x154 + x155 + x156 >= 16 e45: - b145 + b146 <= 0 e46: - b146 + b147 <= 0 e47: - b147 + b148 <= 0 e48: - b148 + b149 <= 0 e49: - b149 + b150 <= 0 e50: - x151 + x152 <= 0 e51: - x152 + x153 <= 0 e52: - x153 + x154 <= 0 e53: - x154 + x155 <= 0 e54: - x155 + x156 <= 0 e55: x1 - b37 - 2 b38 - 4 b39 = 0 e56: x2 - b40 - 2 b41 - 4 b42 = 0 e57: x3 - b43 - 2 b44 - 4 b45 = 0 e58: x4 - b46 - 2 b47 - 4 b48 = 0 e59: x5 - b49 - 2 b50 - 4 b51 = 0 e60: x6 - b52 - 2 b53 - 4 b54 = 0 e61: x7 - b55 - 2 b56 - 4 b57 = 0 e62: x8 - b58 - 2 b59 - 4 b60 = 0 e63: x9 - b61 - 2 b62 - 4 b63 = 0 e64: x10 - b64 - 2 b65 - 4 b66 = 0 e65: x11 - b67 - 2 b68 - 4 b69 = 0 e66: x12 - b70 - 2 b71 - 4 b72 = 0 e67: x13 - b73 - 2 b74 - 4 b75 = 0 e68: x14 - b76 - 2 b77 - 4 b78 = 0 e69: x15 - b79 - 2 b80 - 4 b81 = 0 e70: x16 - b82 - 2 b83 - 4 b84 = 0 e71: x17 - b85 - 2 b86 - 4 b87 = 0 e72: x18 - b88 - 2 b89 - 4 b90 = 0 e73: x19 - b91 - 2 b92 - 4 b93 = 0 e74: x20 - b94 - 2 b95 - 4 b96 = 0 e75: x21 - b97 - 2 b98 - 4 b99 = 0 e76: x22 - b100 - 2 b101 - 4 b102 = 0 e77: x23 - b103 - 2 b104 - 4 b105 = 0 e78: x24 - b106 - 2 b107 - 4 b108 = 0 e79: x25 - b109 - 2 b110 - 4 b111 = 0 e80: x26 - b112 - 2 b113 - 4 b114 = 0 e81: x27 - b115 - 2 b116 - 4 b117 = 0 e82: x28 - b118 - 2 b119 - 4 b120 = 0 e83: x29 - b121 - 2 b122 - 4 b123 = 0 e84: x30 - b124 - 2 b125 - 4 b126 = 0 e85: x31 - b127 - 2 b128 - 4 b129 = 0 e86: x32 - b130 - 2 b131 - 4 b132 = 0 e87: x33 - b133 - 2 b134 - 4 b135 = 0 e88: x34 - b136 - 2 b137 - 4 b138 = 0 e89: x35 - b139 - 2 b140 - 4 b141 = 0 e90: x36 - b142 - 2 b143 - 4 b144 = 0 e91: x151 - b157 - 2 b158 - 4 b159 - 8 b160 = 0 e92: x152 - b161 - 2 b162 - 4 b163 - 8 b164 = 0 e93: x153 - b165 - 2 b166 - 4 b167 - 8 b168 = 0 e94: x154 - b169 - 2 b170 - 4 b171 - 8 b172 = 0 e95: x155 - b173 - 2 b174 - 4 b175 - 8 b176 = 0 e96: x156 - b177 - 2 b178 - 4 b179 - 8 b180 = 0 Bounds x1 <= 5 x2 <= 5 x3 <= 5 x4 <= 5 x5 <= 5 x6 <= 5 x7 <= 5 x8 <= 5 x9 <= 5 x10 <= 5 x11 <= 5 x12 <= 5 x13 <= 5 x14 <= 5 x15 <= 5 x16 <= 5 x17 <= 5 x18 <= 5 x19 <= 5 x20 <= 5 x21 <= 5 x22 <= 5 x23 <= 5 x24 <= 5 x25 <= 5 x26 <= 5 x27 <= 5 x28 <= 5 x29 <= 5 x30 <= 5 x31 <= 5 x32 <= 5 x33 <= 5 x34 <= 5 x35 <= 5 x36 <= 5 x151 <= 15 x152 <= 12 x153 <= 8 x154 <= 7 x155 <= 4 x156 <= 2 Binary b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 End