\ Equation counts \ Total E G L N X C B \ 24 2 6 16 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 12 12 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 60 34 26 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 + objvar Subject To e1: - x1 + objvar = -3.14159265358979 e2: x1 + [ - x10 * x11 ] = 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: [ x4^2 - 2 x4 * x6 + x5^2 - 2 x5 * x7 + x6^2 + x7^2 ] >= 1 e7: [ x4^2 - 2 x4 * x8 + x5^2 - 2 x5 * x9 + x8^2 + x9^2 ] >= 1 e8: [ x6^2 - 2 x6 * x8 + x7^2 - 2 x7 * x9 + x8^2 + x9^2 ] >= 1 e9: x2 - x10 <= -.5 e10: x3 - x11 <= -.5 e11: x4 - x10 <= -.5 e12: x5 - x11 <= -.5 e13: x6 - x10 <= -.5 e14: x7 - x11 <= -.5 e15: x8 - x10 <= -.5 e16: x9 - x11 <= -.5 e17: x2 <= 2 e18: x3 <= .5 e19: x2 - x4 <= 0 e20: x2 - x6 <= 0 e21: x2 - x8 <= 0 e22: x4 - x6 <= 0 e23: x4 - x8 <= 0 e24: x6 - x8 <= 0 Bounds .25 <= x1 <= 4 .5 <= x2 <= 3.5 x3 = .5 .5 <= x4 <= 3.5 x5 = .5 .5 <= x6 <= 3.5 x7 = .5 .5 <= x8 <= 3.5 x9 = .5 x10 <= 4 x11 <= 1 objvar <= 4 End