\ Equation counts \ Total E G L N X C B \ 83 58 25 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 170 170 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1098 638 460 0 \ Minimize obj: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + 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 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 Subject To e2: - x2 - x11 - x20 - x29 + x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 - x87 = 0 e3: - x3 - x12 - x21 - x30 + x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96 - x97 = 0 e4: - x4 - x13 - x22 - x31 + x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 = 0 e5: - x5 - x14 - x23 - x32 + x108 - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 = 0 e6: - x6 - x15 - x24 - x33 - x118 - x119 - x120 - x121 - x122 - x123 - x124 - x125 - x126 = -43 e7: - x7 - x16 - x25 - x34 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 = -127 e8: - x8 - x17 - x26 - x35 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 = -93 e9: - x9 - x18 - x27 - x36 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 = -100 e10: - x10 - x19 - x28 - x37 - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 = -20 e11: x78 - x79 - x89 - x99 - x109 - x118 - x127 - x136 - x145 - x154 - x163 = 0 e12: - x80 + x88 - x90 - x100 - x110 - x119 - x128 - x137 - x146 - x155 - x164 = 0 e13: - x81 - x91 + x98 - x101 - x111 - x120 - x129 - x138 - x147 - x156 - x165 = 0 e14: - x82 - x92 - x102 + x108 - x112 - x121 - x130 - x139 - x148 - x157 - x166 = 0 e15: - x83 - x93 - x103 - x113 - x122 - x131 - x140 - x149 - x158 - x167 = -63 e16: - x84 - x94 - x104 - x114 - x123 - x132 - x141 - x150 - x159 - x168 = -87 e17: - x85 - x95 - x105 - x115 - x124 - x133 - x142 - x151 - x160 - x169 = -50 e18: - x86 - x96 - x106 - x116 - x125 - x134 - x143 - x152 - x161 - x170 = -90 e19: - x87 - x97 - x107 - x117 - x126 - x135 - x144 - x153 - x162 - x171 = -40 e20: - 5 x2 - 8 x11 - 2 x29 - 307 x83 - 149 x84 - 376 x85 - 499 x86 - 218 x87 + [ x38 * x78 - x58 * x79 - x63 * x80 - x68 * x81 - x73 * x82 ] = 0 e21: - 8 x2 - 2 x11 - 5 x20 - 2 x29 - 356 x83 - 491 x84 - 487 x85 - 411 x86 - 515 x87 + [ x39 * x78 - x59 * x79 - x64 * x80 - x69 * x81 - x74 * x82 ] = 0 e22: - 2 x2 - 8 x11 - 7 x20 - 9 x29 - 463 x83 - 318 x84 - 428 x85 - 323 x86 - 352 x87 + [ x40 * x78 - x60 * x79 - x65 * x80 - x70 * x81 - x75 * x82 ] = 0 e23: - 7 x2 - 6 x11 - 9 x20 - 6 x29 - 509 x83 - 514 x84 - 435 x85 - 395 x86 - 433 x87 + [ x41 * x78 - x61 * x79 - x66 * x80 - x71 * x81 - x76 * x82 ] = 0 e24: - 9 x11 - 3 x20 - 2 x29 - 361 x83 - 356 x84 - 317 x85 - 454 x86 - 399 x87 + [ x42 * x78 - x62 * x79 - x67 * x80 - x72 * x81 - x77 * x82 ] = 0 e25: - 5 x3 - 8 x12 - 2 x30 - 307 x93 - 149 x94 - 376 x95 - 499 x96 - 218 x97 + [ x43 * x88 - x58 * x89 - x63 * x90 - x68 * x91 - x73 * x92 ] = 0 e26: - 8 x3 - 2 x12 - 5 x21 - 2 x30 - 356 x93 - 491 x94 - 487 x95 - 411 x96 - 515 x97 + [ x44 * x88 - x59 * x89 - x64 * x90 - x69 * x91 - x74 * x92 ] = 0 e27: - 2 x3 - 8 x12 - 7 x21 - 9 x30 - 463 x93 - 318 x94 - 428 x95 - 323 x96 - 352 x97 + [ x45 * x88 - x60 * x89 - x65 * x90 - x70 * x91 - x75 * x92 ] = 0 e28: - 7 x3 - 6 x12 - 9 x21 - 6 x30 - 509 x93 - 514 x94 - 435 x95 - 395 x96 - 433 x97 + [ x46 * x88 - x61 * x89 - x66 * x90 - x71 * x91 - x76 * x92 ] = 0 e29: - 9 x12 - 3 x21 - 2 x30 - 361 x93 - 356 x94 - 317 x95 - 454 x96 - 399 x97 + [ x47 * x88 - x62 * x89 - x67 * x90 - x72 * x91 - x77 * x92 ] = 0 e30: - 5 x4 - 8 x13 - 2 x31 - 307 x103 - 149 x104 - 376 x105 - 499 x106 - 218 x107 + [ x48 * x98 - x58 * x99 - x63 * x100 - x68 * x101 - x73 * x102 ] = 0 e31: - 8 x4 - 2 x13 - 5 x22 - 2 x31 - 356 x103 - 491 x104 - 487 x105 - 411 x106 - 515 x107 + [ x49 * x98 - x59 * x99 - x64 * x100 - x69 * x101 - x74 * x102 ] = 0 e32: - 2 x4 - 8 x13 - 7 x22 - 9 x31 - 463 x103 - 318 x104 - 428 x105 - 323 x106 - 352 x107 + [ x50 * x98 - x60 * x99 - x65 * x100 - x70 * x101 - x75 * x102 ] = 0 e33: - 7 x4 - 6 x13 - 9 x22 - 6 x31 - 509 x103 - 514 x104 - 435 x105 - 395 x106 - 433 x107 + [ x51 * x98 - x61 * x99 - x66 * x100 - x71 * x101 - x76 * x102 ] = 0 e34: - 9 x13 - 3 x22 - 2 x31 - 361 x103 - 356 x104 - 317 x105 - 454 x106 - 399 x107 + [ x52 * x98 - x62 * x99 - x67 * x100 - x72 * x101 - x77 * x102 ] = 0 e35: - 5 x5 - 8 x14 - 2 x32 - 307 x113 - 149 x114 - 376 x115 - 499 x116 - 218 x117 + [ x53 * x108 - x58 * x109 - x63 * x110 - x68 * x111 - x73 * x112 ] = 0 e36: - 8 x5 - 2 x14 - 5 x23 - 2 x32 - 356 x113 - 491 x114 - 487 x115 - 411 x116 - 515 x117 + [ x54 * x108 - x59 * x109 - x64 * x110 - x69 * x111 - x74 * x112 ] = 0 e37: - 2 x5 - 8 x14 - 7 x23 - 9 x32 - 463 x113 - 318 x114 - 428 x115 - 323 x116 - 352 x117 + [ x55 * x108 - x60 * x109 - x65 * x110 - x70 * x111 - x75 * x112 ] = 0 e38: - 7 x5 - 6 x14 - 9 x23 - 6 x32 - 509 x113 - 514 x114 - 435 x115 - 395 x116 - 433 x117 + [ x56 * x108 - x61 * x109 - x66 * x110 - x71 * x111 - x76 * x112 ] = 0 e39: - 9 x14 - 3 x23 - 2 x32 - 361 x113 - 356 x114 - 317 x115 - 454 x116 - 399 x117 + [ x57 * x108 - x62 * x109 - x67 * x110 - x72 * x111 - x77 * x112 ] = 0 e40: - 5 x6 - 8 x15 - 2 x33 - 307 x122 - 149 x123 - 376 x124 - 499 x125 - 218 x126 + [ - x58 * x118 - x63 * x119 - x68 * x120 - x73 * x121 ] >= -12857 e41: - 8 x6 - 2 x15 - 5 x24 - 2 x33 - 356 x122 - 491 x123 - 487 x124 - 411 x125 - 515 x126 + [ - x59 * x118 - x64 * x119 - x69 * x120 - x74 * x121 ] >= -13244 e42: - 2 x6 - 8 x15 - 7 x24 - 9 x33 - 463 x122 - 318 x123 - 428 x124 - 323 x125 - 352 x126 + [ - x60 * x118 - x65 * x119 - x70 * x120 - x75 * x121 ] >= -11997 e43: - 7 x6 - 6 x15 - 9 x24 - 6 x33 - 509 x122 - 514 x123 - 435 x124 - 395 x125 - 433 x126 + [ - x61 * x118 - x66 * x119 - x71 * x120 - x76 * x121 ] >= -20253 e44: - 9 x15 - 3 x24 - 2 x33 - 361 x122 - 356 x123 - 317 x124 - 454 x125 - 399 x126 + [ - x62 * x118 - x67 * x119 - x72 * x120 - x77 * x121 ] >= -4472 e45: - 5 x7 - 8 x16 - 2 x34 - 307 x131 - 149 x132 - 376 x133 - 499 x134 - 218 x135 + [ - x58 * x127 - x63 * x128 - x68 * x129 - x73 * x130 ] >= -7239 e46: - 8 x7 - 2 x16 - 5 x25 - 2 x34 - 356 x131 - 491 x132 - 487 x133 - 411 x134 - 515 x135 + [ - x59 * x127 - x64 * x128 - x69 * x129 - x74 * x130 ] >= -61341 e47: - 2 x7 - 8 x16 - 7 x25 - 9 x34 - 463 x131 - 318 x132 - 428 x133 - 323 x134 - 352 x135 + [ - x60 * x127 - x65 * x128 - x70 * x129 - x75 * x130 ] >= -21971 e48: - 7 x7 - 6 x16 - 9 x25 - 6 x34 - 509 x131 - 514 x132 - 435 x133 - 395 x134 - 433 x135 + [ - x61 * x127 - x66 * x128 - x71 * x129 - x76 * x130 ] >= -32385 e49: - 9 x16 - 3 x25 - 2 x34 - 361 x131 - 356 x132 - 317 x133 - 454 x134 - 399 x135 + [ - x62 * x127 - x67 * x128 - x72 * x129 - x77 * x130 ] >= -22733 e50: - 5 x8 - 8 x17 - 2 x35 - 307 x140 - 149 x141 - 376 x142 - 499 x143 - 218 x144 + [ - x58 * x136 - x63 * x137 - x68 * x138 - x73 * x139 ] >= -31341 e51: - 8 x8 - 2 x17 - 5 x26 - 2 x35 - 356 x140 - 491 x141 - 487 x142 - 411 x143 - 515 x144 + [ - x59 * x136 - x64 * x137 - x69 * x138 - x74 * x139 ] >= -29760 e52: - 2 x8 - 8 x17 - 7 x26 - 9 x35 - 463 x140 - 318 x141 - 428 x142 - 323 x143 - 352 x144 + [ - x60 * x136 - x65 * x137 - x70 * x138 - x75 * x139 ] >= -6882 e53: - 7 x8 - 6 x17 - 9 x26 - 6 x35 - 509 x140 - 514 x141 - 435 x142 - 395 x143 - 433 x144 + [ - x61 * x136 - x66 * x137 - x71 * x138 - x76 * x139 ] >= -2790 e54: - 9 x17 - 3 x26 - 2 x35 - 361 x140 - 356 x141 - 317 x142 - 454 x143 - 399 x144 + [ - x62 * x136 - x67 * x137 - x72 * x138 - x77 * x139 ] >= -29388 e55: - 5 x9 - 8 x18 - 2 x36 - 307 x149 - 149 x150 - 376 x151 - 499 x152 - 218 x153 + [ - x58 * x145 - x63 * x146 - x68 * x147 - x73 * x148 ] >= -48800 e56: - 8 x9 - 2 x18 - 5 x27 - 2 x36 - 356 x149 - 491 x150 - 487 x151 - 411 x152 - 515 x153 + [ - x59 * x145 - x64 * x146 - x69 * x147 - x74 * x148 ] >= -36000 e57: - 2 x9 - 8 x18 - 7 x27 - 9 x36 - 463 x149 - 318 x150 - 428 x151 - 323 x152 - 352 x153 + [ - x60 * x145 - x65 * x146 - x70 * x147 - x75 * x148 ] >= -4700 e58: - 7 x9 - 6 x18 - 9 x27 - 6 x36 - 509 x149 - 514 x150 - 435 x151 - 395 x152 - 433 x153 + [ - x61 * x145 - x66 * x146 - x71 * x147 - x76 * x148 ] >= -36700 e59: - 9 x18 - 3 x27 - 2 x36 - 361 x149 - 356 x150 - 317 x151 - 454 x152 - 399 x153 + [ - x62 * x145 - x67 * x146 - x72 * x147 - x77 * x148 ] >= -30100 e60: - 5 x10 - 8 x19 - 2 x37 - 307 x158 - 149 x159 - 376 x160 - 499 x161 - 218 x162 + [ - x58 * x154 - x63 * x155 - x68 * x156 - x73 * x157 ] >= -2240 e61: - 8 x10 - 2 x19 - 5 x28 - 2 x37 - 356 x158 - 491 x159 - 487 x160 - 411 x161 - 515 x162 + [ - x59 * x154 - x64 * x155 - x69 * x156 - x74 * x157 ] >= -9660 e62: - 2 x10 - 8 x19 - 7 x28 - 9 x37 - 463 x158 - 318 x159 - 428 x160 - 323 x161 - 352 x162 + [ - x60 * x154 - x65 * x155 - x70 * x156 - x75 * x157 ] >= -3400 e63: - 7 x10 - 6 x19 - 9 x28 - 6 x37 - 509 x158 - 514 x159 - 435 x160 - 395 x161 - 433 x162 + [ - x61 * x154 - x66 * x155 - x71 * x156 - x76 * x157 ] >= -8440 e64: - 9 x19 - 3 x28 - 2 x37 - 361 x158 - 356 x159 - 317 x160 - 454 x161 - 399 x162 + [ - x62 * x154 - x67 * x155 - x72 * x156 - x77 * x157 ] >= -5800 e65: [ x38 * x78 - x58 * x78 ] = -851 e66: [ x39 * x78 - x59 * x78 ] = -2507 e67: [ x40 * x78 - x60 * x78 ] = -644 e68: [ x41 * x78 - x61 * x78 ] = -851 e69: [ x42 * x78 - x62 * x78 ] = -2898 e70: [ x43 * x88 - x63 * x88 ] = -1316 e71: [ x44 * x88 - x64 * x88 ] = -47 e72: [ x45 * x88 - x65 * x88 ] = -1692 e73: [ x46 * x88 - x66 * x88 ] = -11374 e74: [ x47 * x88 - x67 * x88 ] = -705 e75: [ x48 * x98 - x68 * x98 ] = -19803 e76: [ x49 * x98 - x69 * x98 ] = -1845 e77: [ x50 * x98 - x70 * x98 ] = -17712 e78: [ x51 * x98 - x71 * x98 ] = -50676 e79: [ x52 * x98 - x72 * x98 ] = -53751 e80: [ x53 * x108 - x73 * x108 ] = -1666 e81: [ x54 * x108 - x74 * x108 ] = -15912 e82: [ x55 * x108 - x75 * x108 ] = -2074 e83: [ x56 * x108 - x76 * x108 ] = -10574 e84: [ x57 * x108 - x77 * x108 ] = -2890 Bounds x2 <= 100000 x3 <= 100000 x4 <= 100000 x5 <= 100000 x6 <= 100000 x7 <= 100000 x8 <= 100000 x9 <= 100000 x10 <= 100000 x11 <= 100000 x12 <= 100000 x13 <= 100000 x14 <= 100000 x15 <= 100000 x16 <= 100000 x17 <= 100000 x18 <= 100000 x19 <= 100000 x20 <= 100000 x21 <= 100000 x22 <= 100000 x23 <= 100000 x24 <= 100000 x25 <= 100000 x26 <= 100000 x27 <= 100000 x28 <= 100000 x29 <= 100000 x30 <= 100000 x31 <= 100000 x32 <= 100000 x33 <= 100000 x34 <= 100000 x35 <= 100000 x36 <= 100000 x37 <= 100000 x38 <= 343 x39 <= 370 x40 <= 458 x41 <= 272 x42 <= 206 x43 <= 271 x44 <= 499 x45 <= 37 x46 <= 265 x47 <= 211 x48 <= 284 x49 <= 450 x50 <= 168 x51 <= 25 x52 <= 43 x53 <= 427 x54 <= 52 x55 <= 26 x56 <= 171 x57 <= 306 x58 <= 380 x59 <= 479 x60 <= 486 x61 <= 309 x62 <= 332 x63 <= 299 x64 <= 500 x65 <= 73 x66 <= 507 x67 <= 226 x68 <= 445 x69 <= 465 x70 <= 312 x71 <= 437 x72 <= 480 x73 <= 476 x74 <= 520 x75 <= 87 x76 <= 482 x77 <= 391 x78 <= 23 x79 <= 100000 x80 <= 100000 x81 <= 100000 x82 <= 100000 x83 <= 100000 x84 <= 100000 x85 <= 100000 x86 <= 100000 x87 <= 100000 x88 <= 47 x89 <= 100000 x90 <= 100000 x91 <= 100000 x92 <= 100000 x93 <= 100000 x94 <= 100000 x95 <= 100000 x96 <= 100000 x97 <= 100000 x98 <= 123 x99 <= 100000 x100 <= 100000 x101 <= 100000 x102 <= 100000 x103 <= 100000 x104 <= 100000 x105 <= 100000 x106 <= 100000 x107 <= 100000 x108 <= 34 x109 <= 100000 x110 <= 100000 x111 <= 100000 x112 <= 100000 x113 <= 100000 x114 <= 100000 x115 <= 100000 x116 <= 100000 x117 <= 100000 x118 <= 100000 x119 <= 100000 x120 <= 100000 x121 <= 100000 x122 <= 100000 x123 <= 100000 x124 <= 100000 x125 <= 100000 x126 <= 100000 x127 <= 100000 x128 <= 100000 x129 <= 100000 x130 <= 100000 x131 <= 100000 x132 <= 100000 x133 <= 100000 x134 <= 100000 x135 <= 100000 x136 <= 100000 x137 <= 100000 x138 <= 100000 x139 <= 100000 x140 <= 100000 x141 <= 100000 x142 <= 100000 x143 <= 100000 x144 <= 100000 x145 <= 100000 x146 <= 100000 x147 <= 100000 x148 <= 100000 x149 <= 100000 x150 <= 100000 x151 <= 100000 x152 <= 100000 x153 <= 100000 x154 <= 100000 x155 <= 100000 x156 <= 100000 x157 <= 100000 x158 <= 100000 x159 <= 100000 x160 <= 100000 x161 <= 100000 x162 <= 100000 x163 <= 100000 x164 <= 100000 x165 <= 100000 x166 <= 100000 x167 <= 100000 x168 <= 100000 x169 <= 100000 x170 <= 100000 x171 <= 100000 End