\ Equation counts \ Total E G L N X C B \ 155 15 40 100 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 85 30 55 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 495 375 120 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 300 x66 + 2.4e2 x67 + 2.1e2 x68 + 50 x69 + 100 x70 + 1.5e2 x71 + 30 x72 + 1.2e2 x73 + 25 x74 + 60 x75 + 300 x76 + 2.4e2 x77 + 2.1e2 x78 + 50 x79 + 100 x80 + 1.5e2 x81 + 30 x82 + 1.2e2 x83 + 25 x84 + 60 x85 Subject To e2: - x1 + x2 + x66 >= 0 e3: - x1 + x3 + x67 >= 0 e4: - x1 + x4 + x68 >= 0 e5: - x1 + x5 + x69 >= 0 e6: - x2 + x3 + x70 >= 0 e7: - x2 + x4 + x71 >= 0 e8: - x2 + x5 + x72 >= 0 e9: - x3 + x4 + x73 >= 0 e10: - x3 + x5 + x74 >= 0 e11: - x4 + x5 + x75 >= 0 e12: x1 - x2 + x66 >= 0 e13: x1 - x3 + x67 >= 0 e14: x1 - x4 + x68 >= 0 e15: x1 - x5 + x69 >= 0 e16: x2 - x3 + x70 >= 0 e17: x2 - x4 + x71 >= 0 e18: x2 - x5 + x72 >= 0 e19: x3 - x4 + x73 >= 0 e20: x3 - x5 + x74 >= 0 e21: x4 - x5 + x75 >= 0 e22: - x6 + x7 + x76 >= 0 e23: - x6 + x8 + x77 >= 0 e24: - x6 + x9 + x78 >= 0 e25: - x6 + x10 + x79 >= 0 e26: - x7 + x8 + x80 >= 0 e27: - x7 + x9 + x81 >= 0 e28: - x7 + x10 + x82 >= 0 e29: - x8 + x9 + x83 >= 0 e30: - x8 + x10 + x84 >= 0 e31: - x9 + x10 + x85 >= 0 e32: x6 - x7 + x76 >= 0 e33: x6 - x8 + x77 >= 0 e34: x6 - x9 + x78 >= 0 e35: x6 - x10 + x79 >= 0 e36: x7 - x8 + x80 >= 0 e37: x7 - x9 + x81 >= 0 e38: x7 - x10 + x82 >= 0 e39: x8 - x9 + x83 >= 0 e40: x8 - x10 + x84 >= 0 e41: x9 - x10 + x85 >= 0 e42: x1 - x2 + 51 b11 <= 45 e43: x1 - x3 + 51 b12 <= 47 e44: x1 - x4 + 51 b13 <= 47.5 e45: x1 - x5 + 51 b14 <= 44 e46: x2 - x3 + 51 b15 <= 46 e47: x2 - x4 + 51 b16 <= 46.5 e48: x2 - x5 + 51 b17 <= 43 e49: x3 - x4 + 51 b18 <= 48.5 e50: x3 - x5 + 51 b19 <= 45 e51: x4 - x5 + 51 b20 <= 45.5 e52: - x1 + x2 + 51 b21 <= 45 e53: - x1 + x3 + 51 b22 <= 47 e54: - x1 + x4 + 51 b23 <= 47.5 e55: - x1 + x5 + 51 b24 <= 44 e56: - x2 + x3 + 51 b25 <= 46 e57: - x2 + x4 + 51 b26 <= 46.5 e58: - x2 + x5 + 51 b27 <= 43 e59: - x3 + x4 + 51 b28 <= 48.5 e60: - x3 + x5 + 51 b29 <= 45 e61: - x4 + x5 + 51 b30 <= 45.5 e62: x6 - x7 + 86 b31 <= 80.5 e63: x6 - x8 + 86 b32 <= 81.5 e64: x6 - x9 + 86 b33 <= 81.5 e65: x6 - x10 + 86 b34 <= 79.5 e66: x7 - x8 + 86 b35 <= 82 e67: x7 - x9 + 86 b36 <= 82 e68: x7 - x10 + 86 b37 <= 80 e69: x8 - x9 + 86 b38 <= 83 e70: x8 - x10 + 86 b39 <= 81 e71: x9 - x10 + 86 b40 <= 81 e72: - x6 + x7 + 86 b41 <= 80.5 e73: - x6 + x8 + 86 b42 <= 81.5 e74: - x6 + x9 + 86 b43 <= 81.5 e75: - x6 + x10 + 86 b44 <= 79.5 e76: - x7 + x8 + 86 b45 <= 82 e77: - x7 + x9 + 86 b46 <= 82 e78: - x7 + x10 + 86 b47 <= 80 e79: - x8 + x9 + 86 b48 <= 83 e80: - x8 + x10 + 86 b49 <= 81 e81: - x9 + x10 + 86 b50 <= 81 e82: b11 + b21 + b31 + b41 = 1 e83: b12 + b22 + b32 + b42 = 1 e84: b13 + b23 + b33 + b43 = 1 e85: b14 + b24 + b34 + b44 = 1 e86: b15 + b25 + b35 + b45 = 1 e87: b16 + b26 + b36 + b46 = 1 e88: b17 + b27 + b37 + b47 = 1 e89: b18 + b28 + b38 + b48 = 1 e90: b19 + b29 + b39 + b49 = 1 e91: b20 + b30 + b40 + b50 = 1 e92: - 35 x1 - 14 x6 + 7964 b51 + [ x1^2 + x6^2 ] <= 7644.75 e93: - 37 x2 - 15 x7 + 7808 b52 + [ x2^2 + x7^2 ] <= 7445.5 e94: - 33 x3 - 17 x8 + 8128 b53 + [ x3^2 + x8^2 ] <= 7819.5 e95: - 32 x4 - 17 x9 + 8213 b54 + [ x4^2 + x9^2 ] <= 7920.75 e96: - 39 x5 - 13 x10 + 7.66e3 b55 + [ x5^2 + x10^2 ] <= 7273.5 e97: - 105 x1 - 154 x6 + 6481 b56 + [ x1^2 + x6^2 ] <= -2104.25 e98: - 107 x2 - 155 x7 + 6622 b57 + [ x2^2 + x7^2 ] <= -2146.5 e99: - 103 x3 - 157 x8 + 6.91e3 b58 + [ x3^2 + x8^2 ] <= -1804.5 e100: - 102 x4 - 157 x9 + 6.91e3 b59 + [ x4^2 + x9^2 ] <= -1753.25 e101: - 109 x5 - 153 x10 + 6342 b60 + [ x5^2 + x10^2 ] <= -2380.5 e102: - 65 x1 - 94 x6 + 2209 b61 + [ x1^2 + x6^2 ] <= -1040.25 e103: - 67 x2 - 95 x7 + 2194 b62 + [ x2^2 + x7^2 ] <= -1168.5 e104: - 63 x3 - 97 x8 + 2562 b63 + [ x3^2 + x8^2 ] <= -766.5 e105: - 62 x4 - 97 x9 + 2617 b64 + [ x4^2 + x9^2 ] <= -680.25 e106: - 69 x5 - 93 x10 + 2025 b65 + [ x5^2 + x10^2 ] <= -1311.5 e107: - 35 x1 - 26 x6 + 7.04e3 b51 + [ x1^2 + x6^2 ] <= 6600.75 e108: - 37 x2 - 25 x7 + 7033 b52 + [ x2^2 + x7^2 ] <= 6570.5 e109: - 33 x3 - 23 x8 + 7657 b53 + [ x3^2 + x8^2 ] <= 7288.5 e110: - 32 x4 - 23 x9 + 7742 b54 + [ x4^2 + x9^2 ] <= 7389.75 e111: - 39 x5 - 27 x10 + 6589 b55 + [ x5^2 + x10^2 ] <= 6062.5 e112: - 105 x1 - 166 x6 + 7357 b56 + [ x1^2 + x6^2 ] <= -2188.25 e113: - 107 x2 - 165 x7 + 7357 b57 + [ x2^2 + x7^2 ] <= -2211.5 e114: - 103 x3 - 163 x8 + 7357 b58 + [ x3^2 + x8^2 ] <= -1837.5 e115: - 102 x4 - 163 x9 + 7357 b59 + [ x4^2 + x9^2 ] <= -1786.25 e116: - 109 x5 - 167 x10 + 7357 b60 + [ x5^2 + x10^2 ] <= -2485.5 e117: - 65 x1 - 106 x6 + 2725 b61 + [ x1^2 + x6^2 ] <= -1124.25 e118: - 67 x2 - 105 x7 + 2629 b62 + [ x2^2 + x7^2 ] <= -1233.5 e119: - 63 x3 - 103 x8 + 2829 b63 + [ x3^2 + x8^2 ] <= -799.5 e120: - 62 x4 - 103 x9 + 2884 b64 + [ x4^2 + x9^2 ] <= -713.25 e121: - 69 x5 - 107 x10 + 2541 b65 + [ x5^2 + x10^2 ] <= -1495.5 e122: - 25 x1 - 14 x6 + 8389 b51 + [ x1^2 + x6^2 ] <= 8219.75 e123: - 23 x2 - 15 x7 + 8389 b52 + [ x2^2 + x7^2 ] <= 8236.5 e124: - 27 x3 - 17 x8 + 8389 b53 + [ x3^2 + x8^2 ] <= 8170.5 e125: - 28 x4 - 17 x9 + 8389 b54 + [ x4^2 + x9^2 ] <= 8156.75 e126: - 21 x5 - 13 x10 + 8389 b55 + [ x5^2 + x10^2 ] <= 8272.5 e127: - 95 x1 - 154 x6 + 6096 b56 + [ x1^2 + x6^2 ] <= -1989.25 e128: - 93 x2 - 155 x7 + 6097 b57 + [ x2^2 + x7^2 ] <= -1971.5 e129: - 97 x3 - 157 x8 + 6673 b58 + [ x3^2 + x8^2 ] <= -1741.5 e130: - 98 x4 - 157 x9 + 6.75e3 b59 + [ x4^2 + x9^2 ] <= -1713.25 e131: - 91 x5 - 153 x10 + 5685 b60 + [ x5^2 + x10^2 ] <= -2137.5 e132: - 55 x1 - 94 x6 + 2484 b61 + [ x1^2 + x6^2 ] <= -465.25 e133: - 53 x2 - 95 x7 + 2565 b62 + [ x2^2 + x7^2 ] <= -377.5 e134: - 57 x3 - 97 x8 + 2733 b63 + [ x3^2 + x8^2 ] <= -415.5 e135: - 58 x4 - 97 x9 + 2733 b64 + [ x4^2 + x9^2 ] <= -444.25 e136: - 51 x5 - 93 x10 + 2484 b65 + [ x5^2 + x10^2 ] <= -312.5 e137: - 25 x1 - 26 x6 + 7465 b51 + [ x1^2 + x6^2 ] <= 7175.75 e138: - 23 x2 - 25 x7 + 7614 b52 + [ x2^2 + x7^2 ] <= 7361.5 e139: - 27 x3 - 23 x8 + 7918 b53 + [ x3^2 + x8^2 ] <= 7639.5 e140: - 28 x4 - 23 x9 + 7918 b54 + [ x4^2 + x9^2 ] <= 7625.75 e141: - 21 x5 - 27 x10 + 7318 b55 + [ x5^2 + x10^2 ] <= 7061.5 e142: - 95 x1 - 166 x6 + 6972 b56 + [ x1^2 + x6^2 ] <= -2073.25 e143: - 93 x2 - 165 x7 + 6832 b57 + [ x2^2 + x7^2 ] <= -2036.5 e144: - 97 x3 - 163 x8 + 7.12e3 b58 + [ x3^2 + x8^2 ] <= -1774.5 e145: - 98 x4 - 163 x9 + 7197 b59 + [ x4^2 + x9^2 ] <= -1746.25 e146: - 91 x5 - 167 x10 + 6.7e3 b60 + [ x5^2 + x10^2 ] <= -2242.5 e147: - 55 x1 - 106 x6 + 3e3 b61 + [ x1^2 + x6^2 ] <= -549.25 e148: - 53 x2 - 105 x7 + 3e3 b62 + [ x2^2 + x7^2 ] <= -442.5 e149: - 57 x3 - 103 x8 + 3e3 b63 + [ x3^2 + x8^2 ] <= -448.5 e150: - 58 x4 - 103 x9 + 3e3 b64 + [ x4^2 + x9^2 ] <= -477.25 e151: - 51 x5 - 107 x10 + 3e3 b65 + [ x5^2 + x10^2 ] <= -496.5 e152: b51 + b56 + b61 = 1 e153: b52 + b57 + b62 = 1 e154: b53 + b58 + b63 = 1 e155: b54 + b59 + b64 = 1 e156: b55 + b60 + b65 = 1 Bounds 11.5 <= x1 <= 57.5 12.5 <= x2 <= 56.5 10.5 <= x3 <= 58.5 10 <= x4 <= 59 13.5 <= x5 <= 55.5 7 <= x6 <= 87 6.5 <= x7 <= 87.5 5.5 <= x8 <= 88.5 5.5 <= x9 <= 88.5 7.5 <= x10 <= 86.5 Binary 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 End