\ Equation counts \ Total E G L N X C B \ 89 33 0 56 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 256 32 224 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 800 728 72 0 \ Minimize obj: 280.0154789 b2 + 189.2881208 b3 + 358.7018468 b4 + 244.2417888 b5 + 87.11394269 b6 + 293.7411964 b7 + 336.9384555 b8 + 111.132571 b9 + 286.1164292 b10 + 94.42743983 b11 + 367.1332901 b12 + 614.9285858 b13 + 438.1250517 b14 + 661.9999041 b15 + 653.5959475 b16 + 130.78525 b17 + 566.0392707 b18 + 544.1978772 b19 + 685.4036073 b20 + 61.99281749 b21 + 249.3506907 b22 + 140.9090684 b23 + 291.0794823 b24 + 487.7806692 b25 + 307.7839126 b26 + 389.8026814 b27 + 321.2877368 b28 + 302.412987 b29 + 409.7751403 b30 + 257.0717517 b31 + 175.7560948 b32 + 423.6699595 b33 + 198.7205463 b34 + 344.4005012 b35 + 208.9520892 b36 + 430.7594074 b37 + 496.6063233 b38 + 397.9119363 b39 + 287.7742975 b40 + 423.0032907 b41 + 237.886156 b42 + 402.4022518 b43 + 250.8250451 b44 + 487.547042 b45 + 568.2921825 b46 + 448.0876128 b47 + 320.3357658 b48 + 490.167899 b49 + 82.59338695 b50 + 146.4486829 b51 + 163.4520679 b52 + 276.730055 b53 + 273.1798764 b54 + 277.803053 b55 + 233.5525636 b56 + 197.3932441 b57 + 242.330997 b58 + 284.4240301 b59 + 363.2088309 b60 + 294.2325553 b61 + 325.1181623 b62 + 299.4154821 b63 + 259.4478948 b64 + 309.9406167 b65 + 222.1507249 b66 + 217.7276466 b67 + 281.7130737 b68 + 38.15022917 b69 + 111.2112042 b70 + 65.28058161 b71 + 112.4606391 b72 + 198.6456437 b73 + 421.3609123 b74 + 534.8742618 b75 + 475.7418161 b76 + 352.7499292 b77 + 531.6120826 b78 + 280.5258264 b79 + 137.0952394 b80 + 575.7770749 b81 + 351.4978505 b82 + 405.9626492 b83 + 432.8573696 b84 + 166.7207409 b85 + 330.5278083 b86 + 114.3890812 b87 + 41.88207053 b88 + 413.5616672 b89 + 355.5794991 b90 + 345.4703852 b91 + 430.8546774 b92 + 30.0482829 b93 + 165.4780109 b94 + 77.93608451 b95 + 173.8904854 b96 + 312.2494127 b97 + 571.7446275 b98 + 471.6249239 b99 + 710.1646024 b100 + 261.6602174 b101 + 51.05572843 b102 + 360.0625473 b103 + 481.891096 b104 + 365.5133657 b105 + 399.4904967 b106 + 451.7695536 b107 + 453.7389322 b108 + 199.8437566 b109 + 365.0583146 b110 + 139.5867525 b111 + 106.4269799 b112 + 456.4386372 b113 + 211.3905231 b114 + 296.9653948 b115 + 206.3602498 b116 + 299.3997584 b117 + 365.8732535 b118 + 268.0371424 b119 + 192.1666899 b120 + 340.763818 b121 + 481.9432768 b122 + 476.8960327 b123 + 605.4420024 b124 + 60.33450608 b125 + 248.6981867 b126 + 116.3707327 b127 + 226.4127683 b128 + 437.7860184 b129 + 30.16592161 b130 + 155.3100055 b131 + 62.43085772 b132 + 374.0727492 b133 + 359.3645743 b134 + 371.5085748 b135 + 313.6786612 b136 + 236.6966875 b137 + 342.9597799 b138 + 243.3092409 b139 + 455.7308333 b140 + 283.1589641 b141 + 108.0645387 b142 + 345.5152729 b143 + 397.2923717 b144 + 159.0939707 b145 + 340.6345836 b146 + 206.2945872 b147 + 430.2805948 b148 + 370.9244295 b149 + 179.264171 b150 + 428.9218381 b151 + 471.2811037 b152 + 99.78084618 b153 + 429.0592239 b154 + 327.6802989 b155 + 523.8019326 b156 + 283.6447158 b157 + 86.38757028 b158 + 352.3984034 b159 + 431.1729515 b160 + 233.9933253 b161 + 91.86375593 b162 + 74.48770217 b163 + 187.8222197 b164 + 430.0269455 b165 + 357.507784 b166 + 448.5247002 b167 + 411.9989562 b168 + 173.9867601 b169 + 712.7882312 b170 + 461.0362835 b171 + 848.8815244 b172 + 792.1862409 b173 + 442.0165659 b174 + 897.5919294 b175 + 977.9166079 b176 + 293.4304029 b177 + 296.3443201 b178 + 364.7655942 b179 + 329.815794 b180 + 226.8900631 b181 + 348.7313812 b182 + 177.9423413 b183 + 96.11837976 b184 + 387.1547026 b185 + 375.4262185 b186 + 391.2693641 b187 + 451.3543462 b188 + 63.51877515 b189 + 243.4364784 b190 + 13.20086834 b191 + 119.7005929 b192 + 372.810301 b193 + 541.8197328 b194 + 384.1922697 b195 + 642.5827056 b196 + 495.3317794 b197 + 251.9132296 b198 + 573.7280238 b199 + 649.8099967 b200 + 263.3332816 b201 + 308.7557347 b202 + 117.9157102 b203 + 77.2886044 b204 + 343.1565377 b205 + 134.2064282 b206 + 89.01833527 b207 + 346.8157658 b208 + 124.3245857 b209 + 78.94982612 b210 + 430.096916 b211 + 159.0518226 b212 + 102.5864677 b213 + 320.0777938 b214 + 124.9233915 b215 + 82.77582036 b216 + 435.247357 b217 + 157.01016 b218 + 100.0204183 b219 + 449.605928 b220 + 160.6495594 b221 + 101.8517124 b222 + 467.0592153 b223 + 164.4925365 b224 + 103.5376423 b225 + 97791.66079 x226 + 97791.66079 x227 + 97791.66079 x228 + 97791.66079 x229 + 97791.66079 x230 + 97791.66079 x231 + 97791.66079 x232 + 97791.66079 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 Subject To e2: 0.702116132 b2 + 1.146214016 b10 + 1.057594812 b18 + 0.578586645 b26 + 0.886844823 b34 + 1.009856519 b42 + 0.734231906 b50 + 1.097667431 b58 + 0.530191888 b66 + 0.982025936 b74 + 0.89025893 b82 + 0.672977112 b90 + 1.170284932 b98 + 0.698680975 b106 + 0.518537857 b114 + 1.10995052 b122 + 0.728712913 b130 + 0.970767027 b138 + 0.868933215 b146 + 0.827259074 b154 + 0.935216386 b162 + 1.484063515 b170 + 0.608384089 b178 + 0.739092857 b186 + 0.992346352 b194 - 2.149677884 x234 - 4.299355767 x235 - 6.449033651 x236 = 0 e3: 0.702116132 b3 + 1.146214016 b11 + 1.057594812 b19 + 0.578586645 b27 + 0.886844823 b35 + 1.009856519 b43 + 0.734231906 b51 + 1.097667431 b59 + 0.530191888 b67 + 0.982025936 b75 + 0.89025893 b83 + 0.672977112 b91 + 1.170284932 b99 + 0.698680975 b107 + 0.518537857 b115 + 1.10995052 b123 + 0.728712913 b131 + 0.970767027 b139 + 0.868933215 b147 + 0.827259074 b155 + 0.935216386 b163 + 1.484063515 b171 + 0.608384089 b179 + 0.739092857 b187 + 0.992346352 b195 - 2.56580797 x237 - 5.131615939 x238 - 7.697423909 x239 = 0 e4: 0.702116132 b4 + 1.146214016 b12 + 1.057594812 b20 + 0.578586645 b28 + 0.886844823 b36 + 1.009856519 b44 + 0.734231906 b52 + 1.097667431 b60 + 0.530191888 b68 + 0.982025936 b76 + 0.89025893 b84 + 0.672977112 b92 + 1.170284932 b100 + 0.698680975 b108 + 0.518537857 b116 + 1.10995052 b124 + 0.728712913 b132 + 0.970767027 b140 + 0.868933215 b148 + 0.827259074 b156 + 0.935216386 b164 + 1.484063515 b172 + 0.608384089 b180 + 0.739092857 b188 + 0.992346352 b196 - 1.9969216 x240 - 3.9938432 x241 - 5.9907648 x242 = 0 e5: 0.702116132 b5 + 1.146214016 b13 + 1.057594812 b21 + 0.578586645 b29 + 0.886844823 b37 + 1.009856519 b45 + 0.734231906 b53 + 1.097667431 b61 + 0.530191888 b69 + 0.982025936 b77 + 0.89025893 b85 + 0.672977112 b93 + 1.170284932 b101 + 0.698680975 b109 + 0.518537857 b117 + 1.10995052 b125 + 0.728712913 b133 + 0.970767027 b141 + 0.868933215 b149 + 0.827259074 b157 + 0.935216386 b165 + 1.484063515 b173 + 0.608384089 b181 + 0.739092857 b189 + 0.992346352 b197 - 2.718762774 x243 - 5.437525548 x244 - 8.156288323 x245 = 0 e6: 0.702116132 b6 + 1.146214016 b14 + 1.057594812 b22 + 0.578586645 b30 + 0.886844823 b38 + 1.009856519 b46 + 0.734231906 b54 + 1.097667431 b62 + 0.530191888 b70 + 0.982025936 b78 + 0.89025893 b86 + 0.672977112 b94 + 1.170284932 b102 + 0.698680975 b110 + 0.518537857 b118 + 1.10995052 b126 + 0.728712913 b134 + 0.970767027 b142 + 0.868933215 b150 + 0.827259074 b158 + 0.935216386 b166 + 1.484063515 b174 + 0.608384089 b182 + 0.739092857 b190 + 0.992346352 b198 - 2.37853164 x246 - 4.75706328 x247 - 7.13559492 x248 = 0 e7: 0.702116132 b7 + 1.146214016 b15 + 1.057594812 b23 + 0.578586645 b31 + 0.886844823 b39 + 1.009856519 b47 + 0.734231906 b55 + 1.097667431 b63 + 0.530191888 b71 + 0.982025936 b79 + 0.89025893 b87 + 0.672977112 b95 + 1.170284932 b103 + 0.698680975 b111 + 0.518537857 b119 + 1.10995052 b127 + 0.728712913 b135 + 0.970767027 b143 + 0.868933215 b151 + 0.827259074 b159 + 0.935216386 b167 + 1.484063515 b175 + 0.608384089 b183 + 0.739092857 b191 + 0.992346352 b199 - 2.553869381 x249 - 5.107738763 x250 - 7.661608144 x251 = 0 e8: 0.702116132 b8 + 1.146214016 b16 + 1.057594812 b24 + 0.578586645 b32 + 0.886844823 b40 + 1.009856519 b48 + 0.734231906 b56 + 1.097667431 b64 + 0.530191888 b72 + 0.982025936 b80 + 0.89025893 b88 + 0.672977112 b96 + 1.170284932 b104 + 0.698680975 b112 + 0.518537857 b120 + 1.10995052 b128 + 0.728712913 b136 + 0.970767027 b144 + 0.868933215 b152 + 0.827259074 b160 + 0.935216386 b168 + 1.484063515 b176 + 0.608384089 b184 + 0.739092857 b192 + 0.992346352 b200 - 2.563670064 x252 - 5.127340128 x253 - 7.691010192 x254 = 0 e9: 0.702116132 b9 + 1.146214016 b17 + 1.057594812 b25 + 0.578586645 b33 + 0.886844823 b41 + 1.009856519 b49 + 0.734231906 b57 + 1.097667431 b65 + 0.530191888 b73 + 0.982025936 b81 + 0.89025893 b89 + 0.672977112 b97 + 1.170284932 b105 + 0.698680975 b113 + 0.518537857 b121 + 1.10995052 b129 + 0.728712913 b137 + 0.970767027 b145 + 0.868933215 b153 + 0.827259074 b161 + 0.935216386 b169 + 1.484063515 b177 + 0.608384089 b185 + 0.739092857 b193 + 0.992346352 b201 - 2.550246073 x255 - 5.100492145 x256 - 7.650738218 x257 = 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 + b149 + b150 + b151 + b152 + b153 = 1 e29: b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 = 1 e30: b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 = 1 e31: b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 = 1 e32: b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 = 1 e33: b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 = 1 e34: b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 = 1 e35: b202 + b203 + b204 <= 1 e36: b205 + b206 + b207 <= 1 e37: b208 + b209 + b210 <= 1 e38: b211 + b212 + b213 <= 1 e39: b214 + b215 + b216 <= 1 e40: b217 + b218 + b219 <= 1 e41: b220 + b221 + b222 <= 1 e42: b223 + b224 + b225 <= 1 e43: - b202 + x234 <= 0 e44: - b203 + x235 <= 0 e45: - b204 + x236 <= 0 e46: - b205 + x237 <= 0 e47: - b206 + x238 <= 0 e48: - b207 + x239 <= 0 e49: - b208 + x240 <= 0 e50: - b209 + x241 <= 0 e51: - b210 + x242 <= 0 e52: - b211 + x243 <= 0 e53: - b212 + x244 <= 0 e54: - b213 + x245 <= 0 e55: - b214 + x246 <= 0 e56: - b215 + x247 <= 0 e57: - b216 + x248 <= 0 e58: - b217 + x249 <= 0 e59: - b218 + x250 <= 0 e60: - b219 + x251 <= 0 e61: - b220 + x252 <= 0 e62: - b221 + x253 <= 0 e63: - b222 + x254 <= 0 e64: - b223 + x255 <= 0 e65: - b224 + x256 <= 0 e66: - b225 + x257 <= 0 e67: [ - b202 * x226 + b202 * x234 + x226 * x234 ] <= 0 e68: [ - b203 * x226 + b203 * x235 + x226 * x235 ] <= 0 e69: [ - b204 * x226 + b204 * x236 + x226 * x236 ] <= 0 e70: [ - b205 * x227 + b205 * x237 + x227 * x237 ] <= 0 e71: [ - b206 * x227 + b206 * x238 + x227 * x238 ] <= 0 e72: [ - b207 * x227 + b207 * x239 + x227 * x239 ] <= 0 e73: [ - b208 * x228 + b208 * x240 + x228 * x240 ] <= 0 e74: [ - b209 * x228 + b209 * x241 + x228 * x241 ] <= 0 e75: [ - b210 * x228 + b210 * x242 + x228 * x242 ] <= 0 e76: [ - b211 * x229 + b211 * x243 + x229 * x243 ] <= 0 e77: [ - b212 * x229 + b212 * x244 + x229 * x244 ] <= 0 e78: [ - b213 * x229 + b213 * x245 + x229 * x245 ] <= 0 e79: [ - b214 * x230 + b214 * x246 + x230 * x246 ] <= 0 e80: [ - b215 * x230 + b215 * x247 + x230 * x247 ] <= 0 e81: [ - b216 * x230 + b216 * x248 + x230 * x248 ] <= 0 e82: [ - b217 * x231 + b217 * x249 + x231 * x249 ] <= 0 e83: [ - b218 * x231 + b218 * x250 + x231 * x250 ] <= 0 e84: [ - b219 * x231 + b219 * x251 + x231 * x251 ] <= 0 e85: [ - b220 * x232 + b220 * x252 + x232 * x252 ] <= 0 e86: [ - b221 * x232 + b221 * x253 + x232 * x253 ] <= 0 e87: [ - b222 * x232 + b222 * x254 + x232 * x254 ] <= 0 e88: [ - b223 * x233 + b223 * x255 + x233 * x255 ] <= 0 e89: [ - b224 * x233 + b224 * x256 + x233 * x256 ] <= 0 e90: [ - b225 * x233 + b225 * x257 + x233 * x257 ] <= 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 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 End