\ Equation counts \ Total E G L N X C B \ 24 2 10 12 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 14 14 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 68 26 42 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + objvar Subject To e1: - x1 + objvar = -17.530087007031 e2: x1 - x12 x13 = 0 e3: x2^2 - 2 x2 x4 + x3^2 - 2 x3 x5 + x4^2 + x5^2 >= 3.24 e4: x2^2 - 2 x2 x6 + x3^2 - 2 x3 x7 + x6^2 + x7^2 >= 4 e5: x2^2 - 2 x2 x8 + x3^2 - 2 x3 x9 + x8^2 + x9^2 >= 8.41 e6: x2^2 - 2 x2 x10 + x3^2 - 2 x3 x11 + x10^2 + x11^2 >= 2.89 e7: x4^2 - 2 x4 x6 + x5^2 - 2 x5 x7 + x6^2 + x7^2 >= 1.96 e8: x4^2 - 2 x4 x8 + x5^2 - 2 x5 x9 + x8^2 + x9^2 >= 5.29 e9: x4^2 - 2 x4 x10 + x5^2 - 2 x5 x11 + x10^2 + x11^2 >= 1.21 e10: x6^2 - 2 x6 x8 + x7^2 - 2 x7 x9 + x8^2 + x9^2 >= 6.25 e11: x6^2 - 2 x6 x10 + x7^2 - 2 x7 x11 + x10^2 + x11^2 >= 1.69 e12: x8^2 - 2 x8 x10 + x9^2 - 2 x9 x11 + x10^2 + x11^2 >= 4.84 e13: x2 - x12 <= -1.2 e14: x3 - x13 <= -1.2 e15: x4 - x12 <= -.6 e16: x5 - x13 <= -.6 e17: x6 - x12 <= -.8 e18: x7 - x13 <= -.8 e19: x8 - x12 <= -1.7 e20: x9 - x13 <= -1.7 e21: x10 - x12 <= -.5 e22: x11 - x13 <= -.5 e23: x2 <= 4 e24: x3 <= 2 Bounds 2.89 <= x1 <= 32 1.2 <= x2 <= 6.8 1.2 <= x3 <= 2.8 .6 <= x4 <= 7.4 .6 <= x5 <= 3.4 .8 <= x6 <= 7.2 .8 <= x7 <= 3.2 1.7 <= x8 <= 6.3 1.7 <= x9 <= 2.3 .5 <= x10 <= 7.5 .5 <= x11 <= 3.5 x12 <= 8 x13 <= 4 objvar <= 32 End