\ Equation counts \ Total E G L N X C B \ 69 2 28 39 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 20 20 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 194 80 114 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 + 0 x18 + 0 x19 + objvar Subject To e1: - x1 + objvar = -7.03716754404114 e2: x1 - x18 x19 = 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: x2^2 - 2 x2 x16 + x3^2 - 2 x3 x17 + x16^2 + x17^2 >= 1.44 e10: x4^2 - 2 x4 x6 + x5^2 - 2 x5 x7 + x6^2 + x7^2 >= 1 e11: x4^2 - 2 x4 x8 + x5^2 - 2 x5 x9 + x8^2 + x9^2 >= 1 e12: x4^2 - 2 x4 x10 + x5^2 - 2 x5 x11 + x10^2 + x11^2 >= 1 e13: x4^2 - 2 x4 x12 + x5^2 - 2 x5 x13 + x12^2 + x13^2 >= 1 e14: x4^2 - 2 x4 x14 + x5^2 - 2 x5 x15 + x14^2 + x15^2 >= 1 e15: x4^2 - 2 x4 x16 + x5^2 - 2 x5 x17 + x16^2 + x17^2 >= 1.44 e16: x6^2 - 2 x6 x8 + x7^2 - 2 x7 x9 + x8^2 + x9^2 >= 1 e17: x6^2 - 2 x6 x10 + x7^2 - 2 x7 x11 + x10^2 + x11^2 >= 1 e18: x6^2 - 2 x6 x12 + x7^2 - 2 x7 x13 + x12^2 + x13^2 >= 1 e19: x6^2 - 2 x6 x14 + x7^2 - 2 x7 x15 + x14^2 + x15^2 >= 1 e20: x6^2 - 2 x6 x16 + x7^2 - 2 x7 x17 + x16^2 + x17^2 >= 1.44 e21: x8^2 - 2 x8 x10 + x9^2 - 2 x9 x11 + x10^2 + x11^2 >= 1 e22: x8^2 - 2 x8 x12 + x9^2 - 2 x9 x13 + x12^2 + x13^2 >= 1 e23: x8^2 - 2 x8 x14 + x9^2 - 2 x9 x15 + x14^2 + x15^2 >= 1 e24: x8^2 - 2 x8 x16 + x9^2 - 2 x9 x17 + x16^2 + x17^2 >= 1.44 e25: x10^2 - 2 x10 x12 + x11^2 - 2 x11 x13 + x12^2 + x13^2 >= 1 e26: x10^2 - 2 x10 x14 + x11^2 - 2 x11 x15 + x14^2 + x15^2 >= 1 e27: x10^2 - 2 x10 x16 + x11^2 - 2 x11 x17 + x16^2 + x17^2 >= 1.44 e28: x12^2 - 2 x12 x14 + x13^2 - 2 x13 x15 + x14^2 + x15^2 >= 1 e29: x12^2 - 2 x12 x16 + x13^2 - 2 x13 x17 + x16^2 + x17^2 >= 1.44 e30: x14^2 - 2 x14 x16 + x15^2 - 2 x15 x17 + x16^2 + x17^2 >= 1.44 e31: x2 - x18 <= -.5 e32: x3 - x19 <= -.5 e33: x4 - x18 <= -.5 e34: x5 - x19 <= -.5 e35: x6 - x18 <= -.5 e36: x7 - x19 <= -.5 e37: x8 - x18 <= -.5 e38: x9 - x19 <= -.5 e39: x10 - x18 <= -.5 e40: x11 - x19 <= -.5 e41: x12 - x18 <= -.5 e42: x13 - x19 <= -.5 e43: x14 - x18 <= -.5 e44: x15 - x19 <= -.5 e45: x16 - x18 <= -.7 e46: x17 - x19 <= -.7 e47: x2 <= 4 e48: x3 <= .95 e49: x2 - x4 <= 0 e50: x2 - x6 <= 0 e51: x2 - x8 <= 0 e52: x2 - x10 <= 0 e53: x2 - x12 <= 0 e54: x2 - x14 <= 0 e55: x4 - x6 <= 0 e56: x4 - x8 <= 0 e57: x4 - x10 <= 0 e58: x4 - x12 <= 0 e59: x4 - x14 <= 0 e60: x6 - x8 <= 0 e61: x6 - x10 <= 0 e62: x6 - x12 <= 0 e63: x6 - x14 <= 0 e64: x8 - x10 <= 0 e65: x8 - x12 <= 0 e66: x8 - x14 <= 0 e67: x10 - x12 <= 0 e68: x10 - x14 <= 0 e69: x12 - x14 <= 0 Bounds .49 <= x1 <= 15.2 .5 <= x2 <= 7.5 .5 <= x3 <= 1.4 .5 <= x4 <= 7.5 .5 <= x5 <= 1.4 .5 <= x6 <= 7.5 .5 <= x7 <= 1.4 .5 <= x8 <= 7.5 .5 <= x9 <= 1.4 .5 <= x10 <= 7.5 .5 <= x11 <= 1.4 .5 <= x12 <= 7.5 .5 <= x13 <= 1.4 .5 <= x14 <= 7.5 .5 <= x15 <= 1.4 .7 <= x16 <= 7.3 .7 <= x17 <= 1.2 x18 <= 8 x19 <= 1.9 objvar <= 15.2 End