\ Equation counts \ Total E G L N X C B \ 60 2 21 37 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 18 18 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 162 76 86 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 + 0 x16 + 0 x17 + objvar Subject To e1: - x1 + objvar = -5.49778714378214 e2: x1 - x16 x17 = 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: x2^2 - 2 x2 x14 + x3^2 - 2 x3 x15 + x14^2 + x15^2 >= 1 e9: x4^2 - 2 x4 x6 + x5^2 - 2 x5 x7 + x6^2 + x7^2 >= 1 e10: x4^2 - 2 x4 x8 + x5^2 - 2 x5 x9 + x8^2 + x9^2 >= 1 e11: x4^2 - 2 x4 x10 + x5^2 - 2 x5 x11 + x10^2 + x11^2 >= 1 e12: x4^2 - 2 x4 x12 + x5^2 - 2 x5 x13 + x12^2 + x13^2 >= 1 e13: x4^2 - 2 x4 x14 + x5^2 - 2 x5 x15 + x14^2 + x15^2 >= 1 e14: x6^2 - 2 x6 x8 + x7^2 - 2 x7 x9 + x8^2 + x9^2 >= 1 e15: x6^2 - 2 x6 x10 + x7^2 - 2 x7 x11 + x10^2 + x11^2 >= 1 e16: x6^2 - 2 x6 x12 + x7^2 - 2 x7 x13 + x12^2 + x13^2 >= 1 e17: x6^2 - 2 x6 x14 + x7^2 - 2 x7 x15 + x14^2 + x15^2 >= 1 e18: x8^2 - 2 x8 x10 + x9^2 - 2 x9 x11 + x10^2 + x11^2 >= 1 e19: x8^2 - 2 x8 x12 + x9^2 - 2 x9 x13 + x12^2 + x13^2 >= 1 e20: x8^2 - 2 x8 x14 + x9^2 - 2 x9 x15 + x14^2 + x15^2 >= 1 e21: x10^2 - 2 x10 x12 + x11^2 - 2 x11 x13 + x12^2 + x13^2 >= 1 e22: x10^2 - 2 x10 x14 + x11^2 - 2 x11 x15 + x14^2 + x15^2 >= 1 e23: x12^2 - 2 x12 x14 + x13^2 - 2 x13 x15 + x14^2 + x15^2 >= 1 e24: x2 - x16 <= -.5 e25: x3 - x17 <= -.5 e26: x4 - x16 <= -.5 e27: x5 - x17 <= -.5 e28: x6 - x16 <= -.5 e29: x7 - x17 <= -.5 e30: x8 - x16 <= -.5 e31: x9 - x17 <= -.5 e32: x10 - x16 <= -.5 e33: x11 - x17 <= -.5 e34: x12 - x16 <= -.5 e35: x13 - x17 <= -.5 e36: x14 - x16 <= -.5 e37: x15 - x17 <= -.5 e38: x2 <= 3 e39: x3 <= 1 e40: x2 - x4 <= 0 e41: x2 - x6 <= 0 e42: x2 - x8 <= 0 e43: x2 - x10 <= 0 e44: x2 - x12 <= 0 e45: x2 - x14 <= 0 e46: x4 - x6 <= 0 e47: x4 - x8 <= 0 e48: x4 - x10 <= 0 e49: x4 - x12 <= 0 e50: x4 - x14 <= 0 e51: x6 - x8 <= 0 e52: x6 - x10 <= 0 e53: x6 - x12 <= 0 e54: x6 - x14 <= 0 e55: x8 - x10 <= 0 e56: x8 - x12 <= 0 e57: x8 - x14 <= 0 e58: x10 - x12 <= 0 e59: x10 - x14 <= 0 e60: x12 - x14 <= 0 Bounds .25 <= x1 <= 12 .5 <= x2 <= 5.5 .5 <= x3 <= 1.5 .5 <= x4 <= 5.5 .5 <= x5 <= 1.5 .5 <= x6 <= 5.5 .5 <= x7 <= 1.5 .5 <= x8 <= 5.5 .5 <= x9 <= 1.5 .5 <= x10 <= 5.5 .5 <= x11 <= 1.5 .5 <= x12 <= 5.5 .5 <= x13 <= 1.5 .5 <= x14 <= 5.5 .5 <= x15 <= 1.5 x16 <= 6 x17 <= 2 objvar <= 12 End