\ 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 <= 4 e31: x3 <= 2 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 <= 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 .5 <= x8 <= 7.5 .5 <= x9 <= 3.5 .5 <= x10 <= 7.5 .5 <= x11 <= 3.5 .5 <= x12 <= 7.5 .5 <= x13 <= 3.5 x14 <= 8 x15 <= 4 objvar <= 32 End