\ Equation counts \ Total E G L N X C B \ 135 62 18 55 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 146 146 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1016 560 456 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 + 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 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 Subject To e2: - x2 - x9 - x16 - x23 - x30 + x37 - x51 - x58 - x65 - x72 - x79 - x86 - x93 = 0 e3: - x3 - x10 - x17 - x24 - x31 + x38 - x52 - x59 - x66 - x73 - x80 - x87 - x94 = 0 e4: - x4 - x11 - x18 - x25 - x32 + x39 - x53 - x60 - x67 - x74 - x81 - x88 - x95 = 0 e5: - x5 - x12 - x19 - x26 - x33 + x40 - x54 - x61 - x68 - x75 - x82 - x89 - x96 = 0 e6: - x6 - x13 - x20 - x27 - x34 - x55 - x62 - x69 - x76 - x83 - x90 - x97 = -80 e7: - x7 - x14 - x21 - x28 - x35 - x56 - x63 - x70 - x77 - x84 - x91 - x98 = -80 e8: - x8 - x15 - x22 - x29 - x36 - x57 - x64 - x71 - x78 - x85 - x92 - x99 = -70 e9: x37 - x44 - x51 - x52 - x53 - x54 - x55 - x56 - x57 = 0 e10: x38 - x45 - x58 - x59 - x60 - x61 - x62 - x63 - x64 = 0 e11: x39 - x46 - x65 - x66 - x67 - x68 - x69 - x70 - x71 = 0 e12: x40 - x47 - x72 - x73 - x74 - x75 - x76 - x77 - x78 = 0 e13: - x48 - x79 - x80 - x81 - x82 - x83 - x84 - x85 = -30 e14: - x49 - x86 - x87 - x88 - x89 - x90 - x91 - x92 = -100 e15: - x50 - x93 - x94 - x95 - x96 - x97 - x98 - x99 = -90 e16: - x2 - 6 x9 - 4 x16 - 7 x23 - 6 x30 - 421 x79 - 112 x86 - 491 x93 + [ x37 * x100 - x51 * x124 - x58 * x130 - x65 * x136 - x72 * x142 ] = 0 e17: - 2 x2 - 2 x9 - 8 x16 - 9 x23 - 9 x30 - 316 x79 - 429 x86 - 476 x93 + [ x37 * x101 - x51 * x125 - x58 * x131 - x65 * x137 - x72 * x143 ] = 0 e18: - 2 x2 - 2 x9 - 6 x16 - 5 x23 - 2 x30 - 391 x79 - 505 x86 - 197 x93 + [ x37 * x102 - x51 * x126 - x58 * x132 - x65 * x138 - x72 * x144 ] = 0 e19: - 5 x2 - 3 x9 - 3 x16 - x23 - x30 - 352 x79 - 266 x86 - 493 x93 + [ x37 * x103 - x51 * x127 - x58 * x133 - x65 * x139 - x72 * x145 ] = 0 e20: - 2 x2 - 6 x9 - 2 x16 - x23 - 6 x30 - 461 x79 - 481 x86 - 399 x93 + [ x37 * x104 - x51 * x128 - x58 * x134 - x65 * x140 - x72 * x146 ] = 0 e21: - 10 x2 - x16 - 4 x30 - 489 x79 - 505 x86 - 495 x93 + [ x37 * x105 - x51 * x129 - x58 * x135 - x65 * x141 - x72 * x147 ] = 0 e22: - x3 - 6 x10 - 4 x17 - 7 x24 - 6 x31 - 421 x80 - 112 x87 - 491 x94 + [ x38 * x106 - x52 * x124 - x59 * x130 - x66 * x136 - x73 * x142 ] = 0 e23: - 2 x3 - 2 x10 - 8 x17 - 9 x24 - 9 x31 - 316 x80 - 429 x87 - 476 x94 + [ x38 * x107 - x52 * x125 - x59 * x131 - x66 * x137 - x73 * x143 ] = 0 e24: - 2 x3 - 2 x10 - 6 x17 - 5 x24 - 2 x31 - 391 x80 - 505 x87 - 197 x94 + [ x38 * x108 - x52 * x126 - x59 * x132 - x66 * x138 - x73 * x144 ] = 0 e25: - 5 x3 - 3 x10 - 3 x17 - x24 - x31 - 352 x80 - 266 x87 - 493 x94 + [ x38 * x109 - x52 * x127 - x59 * x133 - x66 * x139 - x73 * x145 ] = 0 e26: - 2 x3 - 6 x10 - 2 x17 - x24 - 6 x31 - 461 x80 - 481 x87 - 399 x94 + [ x38 * x110 - x52 * x128 - x59 * x134 - x66 * x140 - x73 * x146 ] = 0 e27: - 10 x3 - x17 - 4 x31 - 489 x80 - 505 x87 - 495 x94 + [ x38 * x111 - x52 * x129 - x59 * x135 - x66 * x141 - x73 * x147 ] = 0 e28: - x4 - 6 x11 - 4 x18 - 7 x25 - 6 x32 - 421 x81 - 112 x88 - 491 x95 + [ x39 * x112 - x53 * x124 - x60 * x130 - x67 * x136 - x74 * x142 ] = 0 e29: - 2 x4 - 2 x11 - 8 x18 - 9 x25 - 9 x32 - 316 x81 - 429 x88 - 476 x95 + [ x39 * x113 - x53 * x125 - x60 * x131 - x67 * x137 - x74 * x143 ] = 0 e30: - 2 x4 - 2 x11 - 6 x18 - 5 x25 - 2 x32 - 391 x81 - 505 x88 - 197 x95 + [ x39 * x114 - x53 * x126 - x60 * x132 - x67 * x138 - x74 * x144 ] = 0 e31: - 5 x4 - 3 x11 - 3 x18 - x25 - x32 - 352 x81 - 266 x88 - 493 x95 + [ x39 * x115 - x53 * x127 - x60 * x133 - x67 * x139 - x74 * x145 ] = 0 e32: - 2 x4 - 6 x11 - 2 x18 - x25 - 6 x32 - 461 x81 - 481 x88 - 399 x95 + [ x39 * x116 - x53 * x128 - x60 * x134 - x67 * x140 - x74 * x146 ] = 0 e33: - 10 x4 - x18 - 4 x32 - 489 x81 - 505 x88 - 495 x95 + [ x39 * x117 - x53 * x129 - x60 * x135 - x67 * x141 - x74 * x147 ] = 0 e34: - x5 - 6 x12 - 4 x19 - 7 x26 - 6 x33 - 421 x82 - 112 x89 - 491 x96 + [ x40 * x118 - x54 * x124 - x61 * x130 - x68 * x136 - x75 * x142 ] = 0 e35: - 2 x5 - 2 x12 - 8 x19 - 9 x26 - 9 x33 - 316 x82 - 429 x89 - 476 x96 + [ x40 * x119 - x54 * x125 - x61 * x131 - x68 * x137 - x75 * x143 ] = 0 e36: - 2 x5 - 2 x12 - 6 x19 - 5 x26 - 2 x33 - 391 x82 - 505 x89 - 197 x96 + [ x40 * x120 - x54 * x126 - x61 * x132 - x68 * x138 - x75 * x144 ] = 0 e37: - 5 x5 - 3 x12 - 3 x19 - x26 - x33 - 352 x82 - 266 x89 - 493 x96 + [ x40 * x121 - x54 * x127 - x61 * x133 - x68 * x139 - x75 * x145 ] = 0 e38: - 2 x5 - 6 x12 - 2 x19 - x26 - 6 x33 - 461 x82 - 481 x89 - 399 x96 + [ x40 * x122 - x54 * x128 - x61 * x134 - x68 * x140 - x75 * x146 ] = 0 e39: - 10 x5 - x19 - 4 x33 - 489 x82 - 505 x89 - 495 x96 + [ x40 * x123 - x54 * x129 - x61 * x135 - x68 * x141 - x75 * x147 ] = 0 e40: [ x37 * x100 - x37 * x124 ] = -1.99e4 e41: [ x37 * x101 - x37 * x125 ] = -1.7e3 e42: [ x37 * x102 - x37 * x126 ] = -1.97e4 e43: [ x37 * x103 - x37 * x127 ] = -1.86e4 e44: [ x37 * x104 - x37 * x128 ] = -4.76e4 e45: [ x37 * x105 - x37 * x129 ] = -7.3e3 e46: [ x38 * x106 - x38 * x130 ] = -6.7e3 e47: [ x38 * x107 - x38 * x131 ] = -4.3e3 e48: [ x38 * x108 - x38 * x132 ] = -7.7e3 e49: [ x38 * x109 - x38 * x133 ] = -2.08e4 e50: [ x38 * x110 - x38 * x134 ] = -5e3 e51: [ x38 * x111 - x38 * x135 ] = -1.36e4 e52: [ x39 * x112 - x39 * x136 ] = -8.64e3 e53: [ x39 * x113 - x39 * x137 ] = -6.4e2 e54: [ x39 * x114 - x39 * x138 ] = -2e3 e55: [ x39 * x115 - x39 * x139 ] = -600 e56: [ x39 * x116 - x39 * x140 ] = -7.04e3 e57: [ x39 * x117 - x39 * x141 ] = -2.48e3 e58: [ x40 * x118 - x40 * x142 ] = -1.224e4 e59: [ x40 * x119 - x40 * x143 ] = -1.242e4 e60: [ x40 * x120 - x40 * x144 ] = -3.15e3 e61: [ x40 * x121 - x40 * x145 ] = -1.44e4 e62: [ x40 * x122 - x40 * x146 ] = -8.1e2 e63: [ x40 * x123 - x40 * x147 ] = -1.566e4 e64: x100 <= 65 e65: x101 <= 465 e66: x102 <= 166 e67: x103 <= 56 e68: x104 <= 33 e69: x105 <= 346 e70: x106 <= 448 e71: x107 <= 414 e72: x108 <= 268 e73: x109 <= 191 e74: x110 <= 3.5e2 e75: x111 <= 243 e76: x112 <= 171 e77: x113 <= 496 e78: x114 <= 406 e79: x115 <= 486 e80: x116 <= 323 e81: x117 <= 355 e82: x118 <= 139 e83: x119 <= 211 e84: x120 <= 469 e85: x121 <= 65 e86: x122 <= 259 e87: x123 <= 328 e88: x124 <= 264 e89: x125 <= 482 e90: x126 <= 363 e91: x127 <= 242 e92: x128 <= 509 e93: x129 <= 419 e94: x130 <= 515 e95: x131 <= 457 e96: x132 <= 345 e97: x133 <= 399 e98: x134 <= 400 e99: x135 <= 379 e100: x136 <= 387 e101: x137 <= 512 e102: x138 <= 456 e103: x139 <= 501 e104: x140 <= 499 e105: x141 <= 417 e106: x142 <= 275 e107: x143 <= 349 e108: x144 <= 504 e109: x145 <= 225 e110: x146 <= 268 e111: x147 <= 502 e112: - x6 - 6 x13 - 4 x20 - 7 x27 - 6 x34 - 421 x83 - 112 x90 - 491 x97 + [ - x55 * x124 - x62 * x130 - x69 * x136 - x76 * x142 ] >= -2.552e4 e113: - 2 x6 - 2 x13 - 8 x20 - 9 x27 - 9 x34 - 316 x83 - 429 x90 - 476 x97 + [ - x55 * x125 - x62 * x131 - x69 * x137 - x76 * x143 ] >= -2.424e4 e114: - 2 x6 - 2 x13 - 6 x20 - 5 x27 - 2 x34 - 391 x83 - 505 x90 - 197 x97 + [ - x55 * x126 - x62 * x132 - x69 * x138 - x76 * x144 ] >= -1.832e4 e115: - 5 x6 - 3 x13 - 3 x20 - x27 - x34 - 352 x83 - 266 x90 - 493 x97 + [ - x55 * x127 - x62 * x133 - x69 * x139 - x76 * x145 ] >= -2.368e4 e116: - 2 x6 - 6 x13 - 2 x20 - x27 - 6 x34 - 461 x83 - 481 x90 - 399 x97 + [ - x55 * x128 - x62 * x134 - x69 * x140 - x76 * x146 ] >= -1.04e3 e117: - 10 x6 - x20 - 4 x34 - 489 x83 - 505 x90 - 495 x97 + [ - x55 * x129 - x62 * x135 - x69 * x141 - x76 * x147 ] >= -3.632e4 e118: - x7 - 6 x14 - 4 x21 - 7 x28 - 6 x35 - 421 x84 - 112 x91 - 491 x98 + [ - x56 * x124 - x63 * x130 - x70 * x136 - x77 * x142 ] >= -3.44e3 e119: - 2 x7 - 2 x14 - 8 x21 - 9 x28 - 9 x35 - 316 x84 - 429 x91 - 476 x98 + [ - x56 * x125 - x63 * x131 - x70 * x137 - x77 * x143 ] >= -2.736e4 e120: - 2 x7 - 2 x14 - 6 x21 - 5 x28 - 2 x35 - 391 x84 - 505 x91 - 197 x98 + [ - x56 * x126 - x63 * x132 - x70 * x138 - x77 * x144 ] >= -1.856e4 e121: - 5 x7 - 3 x14 - 3 x21 - x28 - x35 - 352 x84 - 266 x91 - 493 x98 + [ - x56 * x127 - x63 * x133 - x70 * x139 - x77 * x145 ] >= -2.12e4 e122: - 2 x7 - 6 x14 - 2 x21 - x28 - 6 x35 - 461 x84 - 481 x91 - 399 x98 + [ - x56 * x128 - x63 * x134 - x70 * x140 - x77 * x146 ] >= -3.144e4 e123: - 10 x7 - x21 - 4 x35 - 489 x84 - 505 x91 - 495 x98 + [ - x56 * x129 - x63 * x135 - x70 * x141 - x77 * x147 ] >= -2.392e4 e124: - x8 - 6 x15 - 4 x22 - 7 x29 - 6 x36 - 421 x85 - 112 x92 - 491 x99 + [ - x57 * x124 - x64 * x130 - x71 * x136 - x78 * x142 ] >= -3.164e4 e125: - 2 x8 - 2 x15 - 8 x22 - 9 x29 - 9 x36 - 316 x85 - 429 x92 - 476 x99 + [ - x57 * x125 - x64 * x131 - x71 * x137 - x78 * x143 ] >= -4.48e3 e126: - 2 x8 - 2 x15 - 6 x22 - 5 x29 - 2 x36 - 391 x85 - 505 x92 - 197 x99 + [ - x57 * x126 - x64 * x132 - x71 * x138 - x78 * x144 ] >= -700 e127: - 5 x8 - 3 x15 - 3 x22 - x29 - x36 - 352 x85 - 266 x92 - 493 x99 + [ - x57 * x127 - x64 * x133 - x71 * x139 - x78 * x145 ] >= -2.338e4 e128: - 2 x8 - 6 x15 - 2 x22 - x29 - 6 x36 - 461 x85 - 481 x92 - 399 x99 + [ - x57 * x128 - x64 * x134 - x71 * x140 - x78 * x146 ] >= -1.001e4 e129: - 10 x8 - x22 - 4 x36 - 489 x85 - 505 x92 - 495 x99 + [ - x57 * x129 - x64 * x135 - x71 * x141 - x78 * x147 ] >= -1.708e4 e130: x37 <= 100 e131: x38 <= 100 e132: x39 <= 40 e133: x40 <= 90 e134: x41 <= 0 e135: x42 <= 0 e136: x43 <= 0 Bounds x2 <= 1e5 x3 <= 1e5 x4 <= 1e5 x5 <= 1e5 x6 <= 1e5 x7 <= 1e5 x8 <= 1e5 x9 <= 1e5 x10 <= 1e5 x11 <= 1e5 x12 <= 1e5 x13 <= 1e5 x14 <= 1e5 x15 <= 1e5 x16 <= 1e5 x17 <= 1e5 x18 <= 1e5 x19 <= 1e5 x20 <= 1e5 x21 <= 1e5 x22 <= 1e5 x23 <= 1e5 x24 <= 1e5 x25 <= 1e5 x26 <= 1e5 x27 <= 1e5 x28 <= 1e5 x29 <= 1e5 x30 <= 1e5 x31 <= 1e5 x32 <= 1e5 x33 <= 1e5 x34 <= 1e5 x35 <= 1e5 x36 <= 1e5 x37 <= 1e5 x38 <= 1e5 x39 <= 1e5 x40 <= 1e5 x41 <= 1e5 x42 <= 1e5 x43 <= 1e5 x44 <= 1e5 x45 <= 1e5 x46 <= 1e5 x47 <= 1e5 x48 <= 1e5 x49 <= 1e5 x50 <= 1e5 x51 <= 1e5 x52 <= 1e5 x53 <= 1e5 x54 <= 1e5 x55 <= 1e5 x56 <= 1e5 x57 <= 1e5 x58 <= 1e5 x59 <= 1e5 x60 <= 1e5 x61 <= 1e5 x62 <= 1e5 x63 <= 1e5 x64 <= 1e5 x65 <= 1e5 x66 <= 1e5 x67 <= 1e5 x68 <= 1e5 x69 <= 1e5 x70 <= 1e5 x71 <= 1e5 x72 <= 1e5 x73 <= 1e5 x74 <= 1e5 x75 <= 1e5 x76 <= 1e5 x77 <= 1e5 x78 <= 1e5 x79 <= 1e5 x80 <= 1e5 x81 <= 1e5 x82 <= 1e5 x83 <= 1e5 x84 <= 1e5 x85 <= 1e5 x86 <= 1e5 x87 <= 1e5 x88 <= 1e5 x89 <= 1e5 x90 <= 1e5 x91 <= 1e5 x92 <= 1e5 x93 <= 1e5 x94 <= 1e5 x95 <= 1e5 x96 <= 1e5 x97 <= 1e5 x98 <= 1e5 x99 <= 1e5 x100 <= 1e5 x101 <= 1e5 x102 <= 1e5 x103 <= 1e5 x104 <= 1e5 x105 <= 1e5 x106 <= 1e5 x107 <= 1e5 x108 <= 1e5 x109 <= 1e5 x110 <= 1e5 x111 <= 1e5 x112 <= 1e5 x113 <= 1e5 x114 <= 1e5 x115 <= 1e5 x116 <= 1e5 x117 <= 1e5 x118 <= 1e5 x119 <= 1e5 x120 <= 1e5 x121 <= 1e5 x122 <= 1e5 x123 <= 1e5 x124 <= 1e5 x125 <= 1e5 x126 <= 1e5 x127 <= 1e5 x128 <= 1e5 x129 <= 1e5 x130 <= 1e5 x131 <= 1e5 x132 <= 1e5 x133 <= 1e5 x134 <= 1e5 x135 <= 1e5 x136 <= 1e5 x137 <= 1e5 x138 <= 1e5 x139 <= 1e5 x140 <= 1e5 x141 <= 1e5 x142 <= 1e5 x143 <= 1e5 x144 <= 1e5 x145 <= 1e5 x146 <= 1e5 x147 <= 1e5 End