\ Equation counts \ Total E G L N X C B \ 82 26 0 56 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 200 32 168 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 632 560 72 0 \ Minimize obj: 552.2811455 b2 + 426.2362093 b3 + 411.0274241 b4 + 466.6886906 b5 + 288.3172509 b6 + 590.1824682 b7 + 381.0178593 b8 + 572.544284 b9 + 433.1074247 b10 + 429.2894698 b11 + 722.101049 b12 + 30.09526491 b13 + 408.6637347 b14 + 327.1449611 b15 + 408.8725835 b16 + 371.2296068 b17 + 743.2318303 b18 + 424.1233883 b19 + 1012.594837 b20 + 325.0680164 b21 + 489.8292006 b22 + 616.3923676 b23 + 717.3761212 b24 + 671.4970742 b25 + 333.2430334 b26 + 469.2124526 b27 + 55.31015213 b28 + 439.0785496 b29 + 397.9546285 b30 + 404.7544767 b31 + 260.5831141 b32 + 374.6617287 b33 + 705.8651143 b34 + 409.2607964 b35 + 941.1215122 b36 + 352.661317 b37 + 478.410844 b38 + 592.8643758 b39 + 688.8045878 b40 + 642.1370511 b41 + 675.3749422 b42 + 537.3279768 b43 + 326.2703847 b44 + 667.5877919 b45 + 430.8792461 b46 + 741.3173441 b47 + 525.3778822 b48 + 713.7345016 b49 + 449.4782077 b50 + 590.6560363 b51 + 825.3576066 b52 + 234.5461683 b53 + 591.4620844 b54 + 311.1093677 b55 + 500.9341503 b56 + 370.7914855 b57 + 344.0583718 b58 + 204.3797318 b59 + 212.615335 b60 + 304.0781437 b61 + 160.0847371 b62 + 363.6794674 b63 + 273.136823 b64 + 355.5638063 b65 + 194.046191 b66 + 99.00107151 b67 + 250.5987256 b68 + 67.66696052 b69 + 88.24211481 b70 + 169.700774 b71 + 163.6184136 b72 + 179.6224431 b73 + 503.0683277 b74 + 179.2012972 b75 + 414.2853199 b76 + 359.1348438 b77 + 90.97384165 b78 + 505.3344302 b79 + 394.341605 b80 + 504.1826737 b81 + 232.7423651 b82 + 707.6964709 b83 + 710.4487763 b84 + 250.5625148 b85 + 650.2384406 b86 + 77.11705727 b87 + 312.63367 b88 + 142.2694507 b89 + 153.0227761 b90 + 551.1479199 b91 + 287.8310021 b92 + 336.7829376 b93 + 463.7015482 b94 + 241.6111966 b95 + 24.16392139 b96 + 200.6438303 b97 + 376.0979903 b98 + 154.6005941 b99 + 278.6459933 b100 + 295.429713 b101 + 113.9459558 b102 + 383.9623469 b103 + 302.6510554 b104 + 380.8139141 b105 + 773.1982882 b106 + 265.0474768 b107 + 632.4653177 b108 + 586.7911119 b109 + 260.0826388 b110 + 769.3546888 b111 + 657.0065663 b112 + 771.8614278 b113 + 540.8851727 b114 + 560.5944908 b115 + 890.4888803 b116 + 259.9424827 b117 + 580.7563363 b118 + 404.5167397 b119 + 574.7396785 b120 + 463.5358981 b121 + 245.7857487 b122 + 872.2505064 b123 + 704.3778041 b124 + 481.5415764 b125 + 814.5631958 b126 + 217.6456326 b127 + 397.5235277 b128 + 215.2788784 b129 + 660.6893222 b130 + 766.3895262 b131 + 160.2479652 b132 + 779.8374333 b133 + 633.9583052 b134 + 773.2285754 b135 + 502.3417725 b136 + 725.8633867 b137 + 443.2640317 b138 + 135.166266 b139 + 513.7706623 b140 + 239.3913203 b141 + 194.3361515 b142 + 395.0433866 b143 + 407.6389108 b144 + 416.1705409 b145 + 268.2271523 b146 + 101.8417454 b147 + 66.5583916 b148 + 327.416664 b149 + 113.0930596 b150 + 70.4966308 b151 + 318.9103177 b152 + 106.0164406 b153 + 64.83210384 b154 + 354.2097127 b155 + 116.7872248 b156 + 71.12582097 b157 + 409.67052 b158 + 127.1891459 b159 + 75.1660703 b160 + 440.1576845 b161 + 133.5881802 b162 + 78.05700518 b163 + 422.3633372 b164 + 136.7724179 b165 + 82.55038075 b166 + 437.4792468 b167 + 131.97451 b168 + 76.88122564 b169 + 101259.4837 x170 + 101259.4837 x171 + 101259.4837 x172 + 101259.4837 x173 + 101259.4837 x174 + 101259.4837 x175 + 101259.4837 x176 + 101259.4837 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 Subject To e2: 1.465020132 b2 + 1.359734944 b10 + 1.421554108 b18 + 0.749119501 b26 + 1.211666119 b34 + 1.222030951 b42 + 1.224720338 b50 + 0.583392775 b58 + 0.507387528 b66 + 1.007181208 b74 + 1.448218778 b82 + 1.128698856 b90 + 0.64088422 b98 + 1.073533103 b106 + 1.242005841 b114 + 1.242671696 b122 + 1.400550697 b130 + 0.704652931 b138 - 1.835102762 x178 - 3.670205525 x179 - 5.505308287 x180 = 0 e3: 1.465020132 b3 + 1.359734944 b11 + 1.421554108 b19 + 0.749119501 b27 + 1.211666119 b35 + 1.222030951 b43 + 1.224720338 b51 + 0.583392775 b59 + 0.507387528 b67 + 1.007181208 b75 + 1.448218778 b83 + 1.128698856 b91 + 0.64088422 b99 + 1.073533103 b107 + 1.242005841 b115 + 1.242671696 b123 + 1.400550697 b131 + 0.704652931 b139 - 1.686527529 x181 - 3.373055057 x182 - 5.059582586 x183 = 0 e4: 1.465020132 b4 + 1.359734944 b12 + 1.421554108 b20 + 0.749119501 b28 + 1.211666119 b36 + 1.222030951 b44 + 1.224720338 b52 + 0.583392775 b60 + 0.507387528 b68 + 1.007181208 b76 + 1.448218778 b84 + 1.128698856 b92 + 0.64088422 b100 + 1.073533103 b108 + 1.242005841 b116 + 1.242671696 b124 + 1.400550697 b132 + 0.704652931 b140 - 1.464431797 x184 - 2.928863594 x185 - 4.393295391 x186 = 0 e5: 1.465020132 b5 + 1.359734944 b13 + 1.421554108 b21 + 0.749119501 b29 + 1.211666119 b37 + 1.222030951 b45 + 1.224720338 b53 + 0.583392775 b61 + 0.507387528 b69 + 1.007181208 b77 + 1.448218778 b85 + 1.128698856 b93 + 0.64088422 b101 + 1.073533103 b109 + 1.242005841 b117 + 1.242671696 b125 + 1.400550697 b133 + 0.704652931 b141 - 1.586907488 x187 - 3.173814975 x188 - 4.760722463 x189 = 0 e6: 1.465020132 b6 + 1.359734944 b14 + 1.421554108 b22 + 0.749119501 b30 + 1.211666119 b38 + 1.222030951 b46 + 1.224720338 b54 + 0.583392775 b62 + 0.507387528 b70 + 1.007181208 b78 + 1.448218778 b86 + 1.128698856 b94 + 0.64088422 b102 + 1.073533103 b110 + 1.242005841 b118 + 1.242671696 b126 + 1.400550697 b134 + 0.704652931 b142 - 1.532379979 x190 - 3.064759957 x191 - 4.597139936 x192 = 0 e7: 1.465020132 b7 + 1.359734944 b15 + 1.421554108 b23 + 0.749119501 b31 + 1.211666119 b39 + 1.222030951 b47 + 1.224720338 b55 + 0.583392775 b63 + 0.507387528 b71 + 1.007181208 b79 + 1.448218778 b87 + 1.128698856 b95 + 0.64088422 b103 + 1.073533103 b111 + 1.242005841 b119 + 1.242671696 b127 + 1.400550697 b135 + 0.704652931 b143 - 1.538058916 x193 - 3.076117831 x194 - 4.614176747 x195 = 0 e8: 1.465020132 b8 + 1.359734944 b16 + 1.421554108 b24 + 0.749119501 b32 + 1.211666119 b40 + 1.222030951 b48 + 1.224720338 b56 + 0.583392775 b64 + 0.507387528 b72 + 1.007181208 b80 + 1.448218778 b88 + 1.128698856 b96 + 0.64088422 b104 + 1.073533103 b112 + 1.242005841 b120 + 1.242671696 b128 + 1.400550697 b136 + 0.704652931 b144 - 1.792707516 x196 - 3.585415032 x197 - 5.378122548 x198 = 0 e9: 1.465020132 b9 + 1.359734944 b17 + 1.421554108 b25 + 0.749119501 b33 + 1.211666119 b41 + 1.222030951 b49 + 1.224720338 b57 + 0.583392775 b65 + 0.507387528 b73 + 1.007181208 b81 + 1.448218778 b89 + 1.128698856 b97 + 0.64088422 b105 + 1.073533103 b113 + 1.242005841 b121 + 1.242671696 b129 + 1.400550697 b137 + 0.704652931 b145 - 1.501207175 x199 - 3.002414349 x200 - 4.503621524 x201 = 0 e10: b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 = 1 e11: b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 = 1 e12: b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 = 1 e13: b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 = 1 e14: b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 = 1 e15: b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 = 1 e16: b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 = 1 e17: b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 = 1 e18: b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 = 1 e19: b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 = 1 e20: b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 = 1 e21: b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 = 1 e22: b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 = 1 e23: b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 = 1 e24: b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 = 1 e25: b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 = 1 e26: b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 = 1 e27: b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 = 1 e28: b146 + b147 + b148 <= 1 e29: b149 + b150 + b151 <= 1 e30: b152 + b153 + b154 <= 1 e31: b155 + b156 + b157 <= 1 e32: b158 + b159 + b160 <= 1 e33: b161 + b162 + b163 <= 1 e34: b164 + b165 + b166 <= 1 e35: b167 + b168 + b169 <= 1 e36: - b146 + x178 <= 0 e37: - b147 + x179 <= 0 e38: - b148 + x180 <= 0 e39: - b149 + x181 <= 0 e40: - b150 + x182 <= 0 e41: - b151 + x183 <= 0 e42: - b152 + x184 <= 0 e43: - b153 + x185 <= 0 e44: - b154 + x186 <= 0 e45: - b155 + x187 <= 0 e46: - b156 + x188 <= 0 e47: - b157 + x189 <= 0 e48: - b158 + x190 <= 0 e49: - b159 + x191 <= 0 e50: - b160 + x192 <= 0 e51: - b161 + x193 <= 0 e52: - b162 + x194 <= 0 e53: - b163 + x195 <= 0 e54: - b164 + x196 <= 0 e55: - b165 + x197 <= 0 e56: - b166 + x198 <= 0 e57: - b167 + x199 <= 0 e58: - b168 + x200 <= 0 e59: - b169 + x201 <= 0 e60: [ - b146 * x170 + b146 * x178 + x170 * x178 ] <= 0 e61: [ - b147 * x170 + b147 * x179 + x170 * x179 ] <= 0 e62: [ - b148 * x170 + b148 * x180 + x170 * x180 ] <= 0 e63: [ - b149 * x171 + b149 * x181 + x171 * x181 ] <= 0 e64: [ - b150 * x171 + b150 * x182 + x171 * x182 ] <= 0 e65: [ - b151 * x171 + b151 * x183 + x171 * x183 ] <= 0 e66: [ - b152 * x172 + b152 * x184 + x172 * x184 ] <= 0 e67: [ - b153 * x172 + b153 * x185 + x172 * x185 ] <= 0 e68: [ - b154 * x172 + b154 * x186 + x172 * x186 ] <= 0 e69: [ - b155 * x173 + b155 * x187 + x173 * x187 ] <= 0 e70: [ - b156 * x173 + b156 * x188 + x173 * x188 ] <= 0 e71: [ - b157 * x173 + b157 * x189 + x173 * x189 ] <= 0 e72: [ - b158 * x174 + b158 * x190 + x174 * x190 ] <= 0 e73: [ - b159 * x174 + b159 * x191 + x174 * x191 ] <= 0 e74: [ - b160 * x174 + b160 * x192 + x174 * x192 ] <= 0 e75: [ - b161 * x175 + b161 * x193 + x175 * x193 ] <= 0 e76: [ - b162 * x175 + b162 * x194 + x175 * x194 ] <= 0 e77: [ - b163 * x175 + b163 * x195 + x175 * x195 ] <= 0 e78: [ - b164 * x176 + b164 * x196 + x176 * x196 ] <= 0 e79: [ - b165 * x176 + b165 * x197 + x176 * x197 ] <= 0 e80: [ - b166 * x176 + b166 * x198 + x176 * x198 ] <= 0 e81: [ - b167 * x177 + b167 * x199 + x177 * x199 ] <= 0 e82: [ - b168 * x177 + b168 * x200 + x177 * x200 ] <= 0 e83: [ - b169 * x177 + b169 * x201 + x177 * x201 ] <= 0 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 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 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 End