\ Equation counts \ Total E G L N X C B \ 135 15 40 80 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 80 30 50 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 430 350 80 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 + 300 x61 + 2.4e2 x62 + 2.1e2 x63 + 50 x64 + 100 x65 + 1.5e2 x66 + 30 x67 + 1.2e2 x68 + 25 x69 + 60 x70 + 300 x71 + 2.4e2 x72 + 2.1e2 x73 + 50 x74 + 100 x75 + 1.5e2 x76 + 30 x77 + 1.2e2 x78 + 25 x79 + 60 x80 Subject To e2: - x1 + x2 + x61 >= 0 e3: - x1 + x3 + x62 >= 0 e4: - x1 + x4 + x63 >= 0 e5: - x1 + x5 + x64 >= 0 e6: - x2 + x3 + x65 >= 0 e7: - x2 + x4 + x66 >= 0 e8: - x2 + x5 + x67 >= 0 e9: - x3 + x4 + x68 >= 0 e10: - x3 + x5 + x69 >= 0 e11: - x4 + x5 + x70 >= 0 e12: x1 - x2 + x61 >= 0 e13: x1 - x3 + x62 >= 0 e14: x1 - x4 + x63 >= 0 e15: x1 - x5 + x64 >= 0 e16: x2 - x3 + x65 >= 0 e17: x2 - x4 + x66 >= 0 e18: x2 - x5 + x67 >= 0 e19: x3 - x4 + x68 >= 0 e20: x3 - x5 + x69 >= 0 e21: x4 - x5 + x70 >= 0 e22: - x6 + x7 + x71 >= 0 e23: - x6 + x8 + x72 >= 0 e24: - x6 + x9 + x73 >= 0 e25: - x6 + x10 + x74 >= 0 e26: - x7 + x8 + x75 >= 0 e27: - x7 + x9 + x76 >= 0 e28: - x7 + x10 + x77 >= 0 e29: - x8 + x9 + x78 >= 0 e30: - x8 + x10 + x79 >= 0 e31: - x9 + x10 + x80 >= 0 e32: x6 - x7 + x71 >= 0 e33: x6 - x8 + x72 >= 0 e34: x6 - x9 + x73 >= 0 e35: x6 - x10 + x74 >= 0 e36: x7 - x8 + x75 >= 0 e37: x7 - x9 + x76 >= 0 e38: x7 - x10 + x77 >= 0 e39: x8 - x9 + x78 >= 0 e40: x8 - x10 + x79 >= 0 e41: x9 - x10 + x80 >= 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 + 6951.25 b58 + [ x3^2 + x8^2 ] <= -1763.25 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: - 35 x1 - 26 x6 + 7.04e3 b51 + [ x1^2 + x6^2 ] <= 6600.75 e103: - 37 x2 - 25 x7 + 7033 b52 + [ x2^2 + x7^2 ] <= 6570.5 e104: - 33 x3 - 23 x8 + 7657 b53 + [ x3^2 + x8^2 ] <= 7288.5 e105: - 32 x4 - 23 x9 + 7742 b54 + [ x4^2 + x9^2 ] <= 7389.75 e106: - 39 x5 - 27 x10 + 6589 b55 + [ x5^2 + x10^2 ] <= 6062.5 e107: - 105 x1 - 166 x6 + 7357 b56 + [ x1^2 + x6^2 ] <= -2188.25 e108: - 107 x2 - 165 x7 + 7357 b57 + [ x2^2 + x7^2 ] <= -2211.5 e109: - 103 x3 - 163 x8 + 7398.25 b58 + [ x3^2 + x8^2 ] <= -1796.25 e110: - 102 x4 - 163 x9 + 7357 b59 + [ x4^2 + x9^2 ] <= -1786.25 e111: - 109 x5 - 167 x10 + 7357 b60 + [ x5^2 + x10^2 ] <= -2485.5 e112: - 25 x1 - 14 x6 + 8389 b51 + [ x1^2 + x6^2 ] <= 8219.75 e113: - 23 x2 - 15 x7 + 8389 b52 + [ x2^2 + x7^2 ] <= 8236.5 e114: - 27 x3 - 17 x8 + 8389 b53 + [ x3^2 + x8^2 ] <= 8170.5 e115: - 28 x4 - 17 x9 + 8389 b54 + [ x4^2 + x9^2 ] <= 8156.75 e116: - 21 x5 - 13 x10 + 8389 b55 + [ x5^2 + x10^2 ] <= 8272.5 e117: - 95 x1 - 154 x6 + 6096 b56 + [ x1^2 + x6^2 ] <= -1989.25 e118: - 93 x2 - 155 x7 + 6097 b57 + [ x2^2 + x7^2 ] <= -1971.5 e119: - 97 x3 - 157 x8 + 6711.25 b58 + [ x3^2 + x8^2 ] <= -1703.25 e120: - 98 x4 - 157 x9 + 6.75e3 b59 + [ x4^2 + x9^2 ] <= -1713.25 e121: - 91 x5 - 153 x10 + 5685 b60 + [ x5^2 + x10^2 ] <= -2137.5 e122: - 25 x1 - 26 x6 + 7465 b51 + [ x1^2 + x6^2 ] <= 7175.75 e123: - 23 x2 - 25 x7 + 7614 b52 + [ x2^2 + x7^2 ] <= 7361.5 e124: - 27 x3 - 23 x8 + 7918 b53 + [ x3^2 + x8^2 ] <= 7639.5 e125: - 28 x4 - 23 x9 + 7918 b54 + [ x4^2 + x9^2 ] <= 7625.75 e126: - 21 x5 - 27 x10 + 7318 b55 + [ x5^2 + x10^2 ] <= 7061.5 e127: - 95 x1 - 166 x6 + 6972 b56 + [ x1^2 + x6^2 ] <= -2073.25 e128: - 93 x2 - 165 x7 + 6832 b57 + [ x2^2 + x7^2 ] <= -2036.5 e129: - 97 x3 - 163 x8 + 7158.25 b58 + [ x3^2 + x8^2 ] <= -1736.25 e130: - 98 x4 - 163 x9 + 7197 b59 + [ x4^2 + x9^2 ] <= -1746.25 e131: - 91 x5 - 167 x10 + 6.7e3 b60 + [ x5^2 + x10^2 ] <= -2242.5 e132: b51 + b56 = 1 e133: b52 + b57 = 1 e134: b53 + b58 = 1 e135: b54 + b59 = 1 e136: b55 + b60 = 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 End