\ Equation counts \ Total E G L N X C B \ 86 2 36 48 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 22 22 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 244 98 146 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 + 0 x20 + 0 x21 + objvar Subject To e1: - x1 + objvar = -7.82256570743859 e2: x1 - x20 x21 = 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 e10: x2^2 - 2 x2 x18 + x3^2 - 2 x3 x19 + x18^2 + x19^2 >= 1.44 e11: x4^2 - 2 x4 x6 + x5^2 - 2 x5 x7 + x6^2 + x7^2 >= 1 e12: x4^2 - 2 x4 x8 + x5^2 - 2 x5 x9 + x8^2 + x9^2 >= 1 e13: x4^2 - 2 x4 x10 + x5^2 - 2 x5 x11 + x10^2 + x11^2 >= 1 e14: x4^2 - 2 x4 x12 + x5^2 - 2 x5 x13 + x12^2 + x13^2 >= 1 e15: x4^2 - 2 x4 x14 + x5^2 - 2 x5 x15 + x14^2 + x15^2 >= 1 e16: x4^2 - 2 x4 x16 + x5^2 - 2 x5 x17 + x16^2 + x17^2 >= 1 e17: x4^2 - 2 x4 x18 + x5^2 - 2 x5 x19 + x18^2 + x19^2 >= 1.44 e18: x6^2 - 2 x6 x8 + x7^2 - 2 x7 x9 + x8^2 + x9^2 >= 1 e19: x6^2 - 2 x6 x10 + x7^2 - 2 x7 x11 + x10^2 + x11^2 >= 1 e20: x6^2 - 2 x6 x12 + x7^2 - 2 x7 x13 + x12^2 + x13^2 >= 1 e21: x6^2 - 2 x6 x14 + x7^2 - 2 x7 x15 + x14^2 + x15^2 >= 1 e22: x6^2 - 2 x6 x16 + x7^2 - 2 x7 x17 + x16^2 + x17^2 >= 1 e23: x6^2 - 2 x6 x18 + x7^2 - 2 x7 x19 + x18^2 + x19^2 >= 1.44 e24: x8^2 - 2 x8 x10 + x9^2 - 2 x9 x11 + x10^2 + x11^2 >= 1 e25: x8^2 - 2 x8 x12 + x9^2 - 2 x9 x13 + x12^2 + x13^2 >= 1 e26: x8^2 - 2 x8 x14 + x9^2 - 2 x9 x15 + x14^2 + x15^2 >= 1 e27: x8^2 - 2 x8 x16 + x9^2 - 2 x9 x17 + x16^2 + x17^2 >= 1 e28: x8^2 - 2 x8 x18 + x9^2 - 2 x9 x19 + x18^2 + x19^2 >= 1.44 e29: x10^2 - 2 x10 x12 + x11^2 - 2 x11 x13 + x12^2 + x13^2 >= 1 e30: x10^2 - 2 x10 x14 + x11^2 - 2 x11 x15 + x14^2 + x15^2 >= 1 e31: x10^2 - 2 x10 x16 + x11^2 - 2 x11 x17 + x16^2 + x17^2 >= 1 e32: x10^2 - 2 x10 x18 + x11^2 - 2 x11 x19 + x18^2 + x19^2 >= 1.44 e33: x12^2 - 2 x12 x14 + x13^2 - 2 x13 x15 + x14^2 + x15^2 >= 1 e34: x12^2 - 2 x12 x16 + x13^2 - 2 x13 x17 + x16^2 + x17^2 >= 1 e35: x12^2 - 2 x12 x18 + x13^2 - 2 x13 x19 + x18^2 + x19^2 >= 1.44 e36: x14^2 - 2 x14 x16 + x15^2 - 2 x15 x17 + x16^2 + x17^2 >= 1 e37: x14^2 - 2 x14 x18 + x15^2 - 2 x15 x19 + x18^2 + x19^2 >= 1.44 e38: x16^2 - 2 x16 x18 + x17^2 - 2 x17 x19 + x18^2 + x19^2 >= 1.44 e39: x2 - x20 <= -.5 e40: x3 - x21 <= -.5 e41: x4 - x20 <= -.5 e42: x5 - x21 <= -.5 e43: x6 - x20 <= -.5 e44: x7 - x21 <= -.5 e45: x8 - x20 <= -.5 e46: x9 - x21 <= -.5 e47: x10 - x20 <= -.5 e48: x11 - x21 <= -.5 e49: x12 - x20 <= -.5 e50: x13 - x21 <= -.5 e51: x14 - x20 <= -.5 e52: x15 - x21 <= -.5 e53: x16 - x20 <= -.5 e54: x17 - x21 <= -.5 e55: x18 - x20 <= -.7 e56: x19 - x21 <= -.7 e57: x2 <= 4 e58: x3 <= 1.05 e59: x2 - x4 <= 0 e60: x2 - x6 <= 0 e61: x2 - x8 <= 0 e62: x2 - x10 <= 0 e63: x2 - x12 <= 0 e64: x2 - x14 <= 0 e65: x2 - x16 <= 0 e66: x4 - x6 <= 0 e67: x4 - x8 <= 0 e68: x4 - x10 <= 0 e69: x4 - x12 <= 0 e70: x4 - x14 <= 0 e71: x4 - x16 <= 0 e72: x6 - x8 <= 0 e73: x6 - x10 <= 0 e74: x6 - x12 <= 0 e75: x6 - x14 <= 0 e76: x6 - x16 <= 0 e77: x8 - x10 <= 0 e78: x8 - x12 <= 0 e79: x8 - x14 <= 0 e80: x8 - x16 <= 0 e81: x10 - x12 <= 0 e82: x10 - x14 <= 0 e83: x10 - x16 <= 0 e84: x12 - x14 <= 0 e85: x12 - x16 <= 0 e86: x14 - x16 <= 0 Bounds .49 <= x1 <= 16.8 .5 <= x2 <= 7.5 .5 <= x3 <= 1.6 .5 <= x4 <= 7.5 .5 <= x5 <= 1.6 .5 <= x6 <= 7.5 .5 <= x7 <= 1.6 .5 <= x8 <= 7.5 .5 <= x9 <= 1.6 .5 <= x10 <= 7.5 .5 <= x11 <= 1.6 .5 <= x12 <= 7.5 .5 <= x13 <= 1.6 .5 <= x14 <= 7.5 .5 <= x15 <= 1.6 .5 <= x16 <= 7.5 .5 <= x17 <= 1.6 .7 <= x18 <= 7.3 .7 <= x19 <= 1.4 x20 <= 8 x21 <= 2.1 objvar <= 16.8 End