\ Equation counts \ Total E G L N X C B \ 46 2 15 29 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 16 16 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 122 60 62 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 + 0 x14 + 0 x15 + objvar Subject To e1: - x1 + objvar = -4.71238898038469 e2: x1 + [ - x14 * x15 ] = 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: [ x2^2 - 2 x2 * x12 + x3^2 - 2 x3 * x13 + x12^2 + x13^2 ] >= 1 e8: [ x4^2 - 2 x4 * x6 + x5^2 - 2 x5 * x7 + x6^2 + x7^2 ] >= 1 e9: [ x4^2 - 2 x4 * x8 + x5^2 - 2 x5 * x9 + x8^2 + x9^2 ] >= 1 e10: [ x4^2 - 2 x4 * x10 + x5^2 - 2 x5 * x11 + x10^2 + x11^2 ] >= 1 e11: [ x4^2 - 2 x4 * x12 + x5^2 - 2 x5 * x13 + x12^2 + x13^2 ] >= 1 e12: [ x6^2 - 2 x6 * x8 + x7^2 - 2 x7 * x9 + x8^2 + x9^2 ] >= 1 e13: [ x6^2 - 2 x6 * x10 + x7^2 - 2 x7 * x11 + x10^2 + x11^2 ] >= 1 e14: [ x6^2 - 2 x6 * x12 + x7^2 - 2 x7 * x13 + x12^2 + x13^2 ] >= 1 e15: [ x8^2 - 2 x8 * x10 + x9^2 - 2 x9 * x11 + x10^2 + x11^2 ] >= 1 e16: [ x8^2 - 2 x8 * x12 + x9^2 - 2 x9 * x13 + x12^2 + x13^2 ] >= 1 e17: [ x10^2 - 2 x10 * x12 + x11^2 - 2 x11 * x13 + x12^2 + x13^2 ] >= 1 e18: x2 - x14 <= -.5 e19: x3 - x15 <= -.5 e20: x4 - x14 <= -.5 e21: x5 - x15 <= -.5 e22: x6 - x14 <= -.5 e23: x7 - x15 <= -.5 e24: x8 - x14 <= -.5 e25: x9 - x15 <= -.5 e26: x10 - x14 <= -.5 e27: x11 - x15 <= -.5 e28: x12 - x14 <= -.5 e29: x13 - x15 <= -.5 e30: x2 <= 2 e31: x3 <= 1 e32: x2 - x4 <= 0 e33: x2 - x6 <= 0 e34: x2 - x8 <= 0 e35: x2 - x10 <= 0 e36: x2 - x12 <= 0 e37: x4 - x6 <= 0 e38: x4 - x8 <= 0 e39: x4 - x10 <= 0 e40: x4 - x12 <= 0 e41: x6 - x8 <= 0 e42: x6 - x10 <= 0 e43: x6 - x12 <= 0 e44: x8 - x10 <= 0 e45: x8 - x12 <= 0 e46: x10 - x12 <= 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 .5 <= x12 <= 3.5 .5 <= x13 <= 1.5 x14 <= 4 x15 <= 2 objvar <= 8 End