\ Equation counts \ Total E G L N X C B \ 34 2 10 22 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 \ 88 46 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 = -3.92699081698724 e2: x1 + [ - x12 * x13 ] = 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: [ x2^2 - 2 x2 * x8 + x3^2 - 2 x3 * x9 + x8^2 + x9^2 ] >= 1 e6: [ x2^2 - 2 x2 * x10 + x3^2 - 2 x3 * x11 + x10^2 + x11^2 ] >= 1 e7: [ x4^2 - 2 x4 * x6 + x5^2 - 2 x5 * x7 + x6^2 + x7^2 ] >= 1 e8: [ x4^2 - 2 x4 * x8 + x5^2 - 2 x5 * x9 + x8^2 + x9^2 ] >= 1 e9: [ x4^2 - 2 x4 * x10 + x5^2 - 2 x5 * x11 + x10^2 + x11^2 ] >= 1 e10: [ x6^2 - 2 x6 * x8 + x7^2 - 2 x7 * x9 + x8^2 + x9^2 ] >= 1 e11: [ x6^2 - 2 x6 * x10 + x7^2 - 2 x7 * x11 + x10^2 + x11^2 ] >= 1 e12: [ x8^2 - 2 x8 * x10 + x9^2 - 2 x9 * x11 + x10^2 + x11^2 ] >= 1 e13: x2 - x12 <= -.5 e14: x3 - x13 <= -.5 e15: x4 - x12 <= -.5 e16: x5 - x13 <= -.5 e17: x6 - x12 <= -.5 e18: x7 - x13 <= -.5 e19: x8 - x12 <= -.5 e20: x9 - x13 <= -.5 e21: x10 - x12 <= -.5 e22: x11 - x13 <= -.5 e23: x2 <= 2 e24: x3 <= 1 e25: x2 - x4 <= 0 e26: x2 - x6 <= 0 e27: x2 - x8 <= 0 e28: x2 - x10 <= 0 e29: x4 - x6 <= 0 e30: x4 - x8 <= 0 e31: x4 - x10 <= 0 e32: x6 - x8 <= 0 e33: x6 - x10 <= 0 e34: x8 - x10 <= 0 Bounds .25 <= x1 <= 8 .5 <= x2 <= 3.5 .5 <= x3 <= 1.5 .5 <= x4 <= 3.5 .5 <= x5 <= 1.5 .5 <= x6 <= 3.5 .5 <= x7 <= 1.5 .5 <= x8 <= 3.5 .5 <= x9 <= 1.5 .5 <= x10 <= 3.5 .5 <= x11 <= 1.5 x12 <= 4 x13 <= 2 objvar <= 8 End