\ Equation counts \ Total E G L N X C B \ 213 30 78 105 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 102 66 36 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 542 478 64 0 \ Maximize obj: - 1.74 x2 - 1.74 x3 - 1.74 x4 - 1.45 x5 - 1.45 x6 - 1.45 x7 + 7.38 x8 + 7.38 x9 + 7.38 x10 + 5.6 x11 + 5.6 x12 + 5.6 x13 - 1.7 x14 - 1.7 x15 - 1.7 x16 - 1.18 x17 - 1.18 x18 - 1.18 x19 + 7.21 x20 + 7.21 x21 + 7.21 x22 + 5.45 x23 + 5.45 x24 + 5.45 x25 - .3 x26 - .3 x27 - .3 x28 + 7.71 x29 + 7.71 x30 + 7.71 x31 + 6.28 x32 + 6.28 x33 + 6.28 x34 + 7.74 x35 + 7.74 x36 + 7.74 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 - .84 b68 - .84 b69 - .84 b70 - 5e-2 b71 - 5e-2 b72 - 5e-2 b73 - .94 b74 - .94 b75 - .94 b76 - .81 b77 - .81 b78 - .81 b79 - .79 b80 - .79 b81 - .79 b82 - 5e-2 b83 - 5e-2 b84 - 5e-2 b85 - .65 b86 - .65 b87 - .65 b88 - .97 b89 - .97 b90 - .97 b91 - .57 b92 - .57 b93 - .57 b94 - .26 b95 - .26 b96 - .26 b97 - .45 b98 - .45 b99 - .45 b100 - .1 b101 - .1 b102 - .1 b103 Subject To e2: x2 + x5 + x8 + x11 + x50 = 1 e3: x14 + x17 + x20 + x23 + x53 = 1.1 e4: - x2 - x14 + x26 + x29 + x32 + x56 = .2 e5: - x5 - x17 - x26 + x35 + x59 = .1 e6: - x8 - x20 - x29 - x35 + x62 = 1.55 e7: - x11 - x23 - x32 + x65 = .49 e8: - .6 x2 - .2 x14 + .2 x26 + .2 x29 + .2 x32 + [ x38 * x56 ] = 4e-2 e9: - .6 x5 - .2 x17 - .2 x26 + .7 x35 + [ x41 * x59 ] = 7e-2 e10: - .4 x2 - .4 x14 + .5 x26 + .5 x29 + .5 x32 + [ x44 * x56 ] = .1 e11: - .4 x5 - .4 x17 - .5 x26 + .6 x35 + [ x47 * x59 ] = 6e-2 e12: x3 + x6 + x9 + x12 - x50 + x51 = 1 e13: x4 + x7 + x10 + x13 - x51 + x52 = 0 e14: x15 + x18 + x21 + x24 - x53 + x54 = .1 e15: x16 + x19 + x22 + x25 - x54 + x55 = .9 e16: - x3 - x15 + x27 + x30 + x33 - x56 + x57 = 0 e17: - x4 - x16 + x28 + x31 + x34 - x57 + x58 = 0 e18: - x6 - x18 - x27 + x36 - x59 + x60 = 0 e19: - x7 - x19 - x28 + x37 - x60 + x61 = 0 e20: - x9 - x21 - x30 - x36 - x62 + x63 = -.81 e21: - x10 - x22 - x31 - x37 - x63 + x64 = -.88 e22: - x12 - x24 - x33 - x65 + x66 = -.14 e23: - x13 - x25 - x34 - x66 + x67 = -.1 e24: - .6 x3 - .2 x15 + [ x27 * x38 + x30 * x38 + x33 * x38 - x38 * x56 + x39 * x57 ] = 0 e25: - .6 x4 - .2 x16 + [ x28 * x39 + x31 * x39 + x34 * x39 - x39 * x57 + x40 * x58 ] = 0 e26: - .6 x6 - .2 x18 + [ - x27 * x38 + x36 * x41 - x41 * x59 + x42 * x60 ] = 0 e27: - .6 x7 - .2 x19 + [ - x28 * x39 + x37 * x42 - x42 * x60 + x43 * x61 ] = 0 e28: - .4 x3 - .4 x15 + [ x27 * x44 + x30 * x44 + x33 * x44 - x44 * x56 + x45 * x57 ] = 0 e29: - .4 x4 - .4 x16 + [ x28 * x45 + x31 * x45 + x34 * x45 - x45 * x57 + x46 * x58 ] = 0 e30: - .4 x6 - .4 x18 + [ - x27 * x44 + x36 * x47 - x47 * x59 + x48 * x60 ] = 0 e31: - .4 x7 - .4 x19 + [ - x28 * x45 + x37 * x48 - x48 * x60 + x49 * x61 ] = 0 e32: x2 - b68 <= 0 e33: x3 - b69 <= 0 e34: x4 - b70 <= 0 e35: x5 - b71 <= 0 e36: x6 - b72 <= 0 e37: x7 - b73 <= 0 e38: x8 - b74 <= 0 e39: x9 - b75 <= 0 e40: x10 - b76 <= 0 e41: x11 - b77 <= 0 e42: x12 - b78 <= 0 e43: x13 - b79 <= 0 e44: x14 - b80 <= 0 e45: x15 - b81 <= 0 e46: x16 - b82 <= 0 e47: x17 - b83 <= 0 e48: x18 - b84 <= 0 e49: x19 - b85 <= 0 e50: x20 - b86 <= 0 e51: x21 - b87 <= 0 e52: x22 - b88 <= 0 e53: x23 - b89 <= 0 e54: x24 - b90 <= 0 e55: x25 - b91 <= 0 e56: x26 - b92 <= 0 e57: x27 - b93 <= 0 e58: x28 - b94 <= 0 e59: x29 - b95 <= 0 e60: x30 - b96 <= 0 e61: x31 - b97 <= 0 e62: x32 - b98 <= 0 e63: x33 - b99 <= 0 e64: x34 - b100 <= 0 e65: x35 - b101 <= 0 e66: x36 - b102 <= 0 e67: x37 - b103 <= 0 e68: x2 >= 0 e69: x3 >= 0 e70: x4 >= 0 e71: x5 >= 0 e72: x6 >= 0 e73: x7 >= 0 e74: x8 >= 0 e75: x9 >= 0 e76: x10 >= 0 e77: x11 >= 0 e78: x12 >= 0 e79: x13 >= 0 e80: x14 >= 0 e81: x15 >= 0 e82: x16 >= 0 e83: x17 >= 0 e84: x18 >= 0 e85: x19 >= 0 e86: x20 >= 0 e87: x21 >= 0 e88: x22 >= 0 e89: x23 >= 0 e90: x24 >= 0 e91: x25 >= 0 e92: x26 >= 0 e93: x27 >= 0 e94: x28 >= 0 e95: x29 >= 0 e96: x30 >= 0 e97: x31 >= 0 e98: x32 >= 0 e99: x33 >= 0 e100: x34 >= 0 e101: x35 >= 0 e102: x36 >= 0 e103: x37 >= 0 e104: b74 <= 1.5 e105: b75 <= 1.5 e106: b76 <= 1.5 e107: b77 <= .6 e108: b78 <= .6 e109: b79 <= .6 e110: b86 <= 1.1 e111: b87 <= 1.1 e112: b88 <= 1.1 e113: b89 <= .2 e114: b90 <= .2 e115: b91 <= .2 e116: b74 <= 1 e117: b75 <= 1 e118: b76 <= 1 e119: b77 <= .8 e120: b78 <= .8 e121: b79 <= .8 e122: b86 <= 1 e123: b87 <= 1 e124: b88 <= 1 e125: b89 <= .8 e126: b90 <= .8 e127: b91 <= .8 e128: - b74 >= -1.3 e129: - b75 >= -1.3 e130: - b76 >= -1.3 e131: - b77 >= -1.4 e132: - b78 >= -1.4 e133: - b79 >= -1.4 e134: - b86 >= -1.7 e135: - b87 >= -1.7 e136: - b88 >= -1.7 e137: - b89 >= -1.8 e138: - b90 >= -1.8 e139: - b91 >= -1.8 e140: - b74 >= -1 e141: - b75 >= -1 e142: - b76 >= -1 e143: - b77 >= -1.4 e144: - b78 >= -1.4 e145: - b79 >= -1.4 e146: - b86 >= -1 e147: - b87 >= -1 e148: - b88 >= -1 e149: - b89 >= -1.4 e150: - b90 >= -1.4 e151: - b91 >= -1.4 e152: - x38 + b96 <= .9 e153: - x39 + b97 <= .9 e154: - x38 + b99 <= 0 e155: - x39 + b100 <= 0 e156: - x41 + b102 <= .9 e157: - x42 + b103 <= .9 e158: - x44 + b96 <= .6 e159: - x45 + b97 <= .6 e160: - x44 + b99 <= .4 e161: - x45 + b100 <= .4 e162: - x47 + b102 <= .6 e163: - x48 + b103 <= .6 e164: - x38 - b96 >= -1.9 e165: - x39 - b97 >= -1.9 e166: - x38 - b99 >= -2 e167: - x39 - b100 >= -2 e168: - x41 - b102 >= -1.9 e169: - x42 - b103 >= -1.9 e170: - x44 - b96 >= -1.4 e171: - x45 - b97 >= -1.4 e172: - x44 - b99 >= -1.8 e173: - x45 - b100 >= -1.8 e174: - x47 - b102 >= -1.4 e175: - x48 - b103 >= -1.4 e176: b95 <= 1.1 e177: b98 <= .2 e178: b101 <= 1.6 e179: b95 <= 1.1 e180: b98 <= .9 e181: b101 <= 1.2 e182: - b95 >= -1.7 e183: - b98 >= -1.8 e184: - b101 >= -1.2 e185: - b95 >= -.9 e186: - b98 >= -1.3 e187: - b101 >= -.8 e188: b68 + b92 <= 1 e189: b69 + b93 <= 1 e190: b70 + b94 <= 1 e191: b68 + b95 <= 1 e192: b69 + b96 <= 1 e193: b70 + b97 <= 1 e194: b68 + b98 <= 1 e195: b69 + b99 <= 1 e196: b70 + b100 <= 1 e197: b80 + b92 <= 1 e198: b81 + b93 <= 1 e199: b82 + b94 <= 1 e200: b80 + b95 <= 1 e201: b81 + b96 <= 1 e202: b82 + b97 <= 1 e203: b80 + b98 <= 1 e204: b81 + b99 <= 1 e205: b82 + b100 <= 1 e206: b71 + b101 <= 1 e207: b72 + b102 <= 1 e208: b73 + b103 <= 1 e209: b83 + b101 <= 1 e210: b84 + b102 <= 1 e211: b85 + b103 <= 1 e212: b92 + b101 <= 1 e213: b93 + b102 <= 1 e214: b94 + b103 <= 1 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 2 x51 <= 2 x52 <= 2 x53 <= 2 x54 <= 2 x55 <= 2 x56 <= 2 x57 <= 2 x58 <= 2 x59 <= 2 x60 <= 2 x61 <= 2 x62 <= 2 x63 <= 2 x64 <= 2 x65 <= 2 x66 <= 2 x67 <= 2 Binary 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 End