\ Equation counts \ Total E G L N X C B \ 16 2 3 11 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 10 10 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 38 24 14 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + objvar Subject To e1: - x1 + objvar = -2.35619449019234 e2: x1 - x8 x9 = 0 e3: x2^2 - 2 x2 x4 + x3^2 - 2 x3 x5 + x4^2 + x5^2 >= 1 e4: x2^2 - 2 x2 x6 + x3^2 - 2 x3 x7 + x6^2 + x7^2 >= 1 e5: x4^2 - 2 x4 x6 + x5^2 - 2 x5 x7 + x6^2 + x7^2 >= 1 e6: x2 - x8 <= -.5 e7: x3 - x9 <= -.5 e8: x4 - x8 <= -.5 e9: x5 - x9 <= -.5 e10: x6 - x8 <= -.5 e11: x7 - x9 <= -.5 e12: x2 <= 4 e13: x3 <= 2 e14: x2 - x4 <= 0 e15: x2 - x6 <= 0 e16: x4 - x6 <= 0 Bounds .25 <= x1 <= 32 .5 <= x2 <= 7.5 .5 <= x3 <= 3.5 .5 <= x4 <= 7.5 .5 <= x5 <= 3.5 .5 <= x6 <= 7.5 .5 <= x7 <= 3.5 x8 <= 8 x9 <= 4 objvar <= 32 End