\ Equation counts \ Total E G L N X C B \ 78 12 66 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 37 37 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 499 67 432 0 \ Maximize 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 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + objvar Subject To e1: [ x1^2 + x2^2 + x3^2 ] = 4 e2: [ x4^2 + x5^2 + x6^2 ] = 4 e3: [ x7^2 + x8^2 + x9^2 ] = 4 e4: [ x10^2 + x11^2 + x12^2 ] = 4 e5: [ x13^2 + x14^2 + x15^2 ] = 4 e6: [ x16^2 + x17^2 + x18^2 ] = 4 e7: [ x19^2 + x20^2 + x21^2 ] = 4 e8: [ x22^2 + x23^2 + x24^2 ] = 4 e9: [ x25^2 + x26^2 + x27^2 ] = 4 e10: [ x28^2 + x29^2 + x30^2 ] = 4 e11: [ x31^2 + x32^2 + x33^2 ] = 4 e12: [ x34^2 + x35^2 + x36^2 ] = 4 e13: - 4 objvar + [ x1^2 - 2 x1 * x4 + x2^2 - 2 x2 * x5 + x3^2 - 2 x3 * x6 + x4^2 + x5^2 + x6^2 ] >= 0 e14: - 4 objvar + [ x1^2 - 2 x1 * x7 + x2^2 - 2 x2 * x8 + x3^2 - 2 x3 * x9 + x7^2 + x8^2 + x9^2 ] >= 0 e15: - 4 objvar + [ x1^2 - 2 x1 * x10 + x2^2 - 2 x2 * x11 + x3^2 - 2 x3 * x12 + x10^2 + x11^2 + x12^2 ] >= 0 e16: - 4 objvar + [ x1^2 - 2 x1 * x13 + x2^2 - 2 x2 * x14 + x3^2 - 2 x3 * x15 + x13^2 + x14^2 + x15^2 ] >= 0 e17: - 4 objvar + [ x1^2 - 2 x1 * x16 + x2^2 - 2 x2 * x17 + x3^2 - 2 x3 * x18 + x16^2 + x17^2 + x18^2 ] >= 0 e18: - 4 objvar + [ x1^2 - 2 x1 * x19 + x2^2 - 2 x2 * x20 + x3^2 - 2 x3 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e19: - 4 objvar + [ x1^2 - 2 x1 * x22 + x2^2 - 2 x2 * x23 + x3^2 - 2 x3 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e20: - 4 objvar + [ x1^2 - 2 x1 * x25 + x2^2 - 2 x2 * x26 + x3^2 - 2 x3 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e21: - 4 objvar + [ x1^2 - 2 x1 * x28 + x2^2 - 2 x2 * x29 + x3^2 - 2 x3 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e22: - 4 objvar + [ x1^2 - 2 x1 * x31 + x2^2 - 2 x2 * x32 + x3^2 - 2 x3 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e23: - 4 objvar + [ x1^2 - 2 x1 * x34 + x2^2 - 2 x2 * x35 + x3^2 - 2 x3 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e24: - 4 objvar + [ x4^2 - 2 x4 * x7 + x5^2 - 2 x5 * x8 + x6^2 - 2 x6 * x9 + x7^2 + x8^2 + x9^2 ] >= 0 e25: - 4 objvar + [ x4^2 - 2 x4 * x10 + x5^2 - 2 x5 * x11 + x6^2 - 2 x6 * x12 + x10^2 + x11^2 + x12^2 ] >= 0 e26: - 4 objvar + [ x4^2 - 2 x4 * x13 + x5^2 - 2 x5 * x14 + x6^2 - 2 x6 * x15 + x13^2 + x14^2 + x15^2 ] >= 0 e27: - 4 objvar + [ x4^2 - 2 x4 * x16 + x5^2 - 2 x5 * x17 + x6^2 - 2 x6 * x18 + x16^2 + x17^2 + x18^2 ] >= 0 e28: - 4 objvar + [ x4^2 - 2 x4 * x19 + x5^2 - 2 x5 * x20 + x6^2 - 2 x6 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e29: - 4 objvar + [ x4^2 - 2 x4 * x22 + x5^2 - 2 x5 * x23 + x6^2 - 2 x6 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e30: - 4 objvar + [ x4^2 - 2 x4 * x25 + x5^2 - 2 x5 * x26 + x6^2 - 2 x6 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e31: - 4 objvar + [ x4^2 - 2 x4 * x28 + x5^2 - 2 x5 * x29 + x6^2 - 2 x6 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e32: - 4 objvar + [ x4^2 - 2 x4 * x31 + x5^2 - 2 x5 * x32 + x6^2 - 2 x6 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e33: - 4 objvar + [ x4^2 - 2 x4 * x34 + x5^2 - 2 x5 * x35 + x6^2 - 2 x6 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e34: - 4 objvar + [ x7^2 - 2 x7 * x10 + x8^2 - 2 x8 * x11 + x9^2 - 2 x9 * x12 + x10^2 + x11^2 + x12^2 ] >= 0 e35: - 4 objvar + [ x7^2 - 2 x7 * x13 + x8^2 - 2 x8 * x14 + x9^2 - 2 x9 * x15 + x13^2 + x14^2 + x15^2 ] >= 0 e36: - 4 objvar + [ x7^2 - 2 x7 * x16 + x8^2 - 2 x8 * x17 + x9^2 - 2 x9 * x18 + x16^2 + x17^2 + x18^2 ] >= 0 e37: - 4 objvar + [ x7^2 - 2 x7 * x19 + x8^2 - 2 x8 * x20 + x9^2 - 2 x9 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e38: - 4 objvar + [ x7^2 - 2 x7 * x22 + x8^2 - 2 x8 * x23 + x9^2 - 2 x9 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e39: - 4 objvar + [ x7^2 - 2 x7 * x25 + x8^2 - 2 x8 * x26 + x9^2 - 2 x9 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e40: - 4 objvar + [ x7^2 - 2 x7 * x28 + x8^2 - 2 x8 * x29 + x9^2 - 2 x9 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e41: - 4 objvar + [ x7^2 - 2 x7 * x31 + x8^2 - 2 x8 * x32 + x9^2 - 2 x9 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e42: - 4 objvar + [ x7^2 - 2 x7 * x34 + x8^2 - 2 x8 * x35 + x9^2 - 2 x9 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e43: - 4 objvar + [ x10^2 - 2 x10 * x13 + x11^2 - 2 x11 * x14 + x12^2 - 2 x12 * x15 + x13^2 + x14^2 + x15^2 ] >= 0 e44: - 4 objvar + [ x10^2 - 2 x10 * x16 + x11^2 - 2 x11 * x17 + x12^2 - 2 x12 * x18 + x16^2 + x17^2 + x18^2 ] >= 0 e45: - 4 objvar + [ x10^2 - 2 x10 * x19 + x11^2 - 2 x11 * x20 + x12^2 - 2 x12 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e46: - 4 objvar + [ x10^2 - 2 x10 * x22 + x11^2 - 2 x11 * x23 + x12^2 - 2 x12 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e47: - 4 objvar + [ x10^2 - 2 x10 * x25 + x11^2 - 2 x11 * x26 + x12^2 - 2 x12 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e48: - 4 objvar + [ x10^2 - 2 x10 * x28 + x11^2 - 2 x11 * x29 + x12^2 - 2 x12 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e49: - 4 objvar + [ x10^2 - 2 x10 * x31 + x11^2 - 2 x11 * x32 + x12^2 - 2 x12 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e50: - 4 objvar + [ x10^2 - 2 x10 * x34 + x11^2 - 2 x11 * x35 + x12^2 - 2 x12 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e51: - 4 objvar + [ x13^2 - 2 x13 * x16 + x14^2 - 2 x14 * x17 + x15^2 - 2 x15 * x18 + x16^2 + x17^2 + x18^2 ] >= 0 e52: - 4 objvar + [ x13^2 - 2 x13 * x19 + x14^2 - 2 x14 * x20 + x15^2 - 2 x15 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e53: - 4 objvar + [ x13^2 - 2 x13 * x22 + x14^2 - 2 x14 * x23 + x15^2 - 2 x15 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e54: - 4 objvar + [ x13^2 - 2 x13 * x25 + x14^2 - 2 x14 * x26 + x15^2 - 2 x15 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e55: - 4 objvar + [ x13^2 - 2 x13 * x28 + x14^2 - 2 x14 * x29 + x15^2 - 2 x15 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e56: - 4 objvar + [ x13^2 - 2 x13 * x31 + x14^2 - 2 x14 * x32 + x15^2 - 2 x15 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e57: - 4 objvar + [ x13^2 - 2 x13 * x34 + x14^2 - 2 x14 * x35 + x15^2 - 2 x15 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e58: - 4 objvar + [ x16^2 - 2 x16 * x19 + x17^2 - 2 x17 * x20 + x18^2 - 2 x18 * x21 + x19^2 + x20^2 + x21^2 ] >= 0 e59: - 4 objvar + [ x16^2 - 2 x16 * x22 + x17^2 - 2 x17 * x23 + x18^2 - 2 x18 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e60: - 4 objvar + [ x16^2 - 2 x16 * x25 + x17^2 - 2 x17 * x26 + x18^2 - 2 x18 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e61: - 4 objvar + [ x16^2 - 2 x16 * x28 + x17^2 - 2 x17 * x29 + x18^2 - 2 x18 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e62: - 4 objvar + [ x16^2 - 2 x16 * x31 + x17^2 - 2 x17 * x32 + x18^2 - 2 x18 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e63: - 4 objvar + [ x16^2 - 2 x16 * x34 + x17^2 - 2 x17 * x35 + x18^2 - 2 x18 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e64: - 4 objvar + [ x19^2 - 2 x19 * x22 + x20^2 - 2 x20 * x23 + x21^2 - 2 x21 * x24 + x22^2 + x23^2 + x24^2 ] >= 0 e65: - 4 objvar + [ x19^2 - 2 x19 * x25 + x20^2 - 2 x20 * x26 + x21^2 - 2 x21 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e66: - 4 objvar + [ x19^2 - 2 x19 * x28 + x20^2 - 2 x20 * x29 + x21^2 - 2 x21 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e67: - 4 objvar + [ x19^2 - 2 x19 * x31 + x20^2 - 2 x20 * x32 + x21^2 - 2 x21 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e68: - 4 objvar + [ x19^2 - 2 x19 * x34 + x20^2 - 2 x20 * x35 + x21^2 - 2 x21 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e69: - 4 objvar + [ x22^2 - 2 x22 * x25 + x23^2 - 2 x23 * x26 + x24^2 - 2 x24 * x27 + x25^2 + x26^2 + x27^2 ] >= 0 e70: - 4 objvar + [ x22^2 - 2 x22 * x28 + x23^2 - 2 x23 * x29 + x24^2 - 2 x24 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e71: - 4 objvar + [ x22^2 - 2 x22 * x31 + x23^2 - 2 x23 * x32 + x24^2 - 2 x24 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e72: - 4 objvar + [ x22^2 - 2 x22 * x34 + x23^2 - 2 x23 * x35 + x24^2 - 2 x24 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e73: - 4 objvar + [ x25^2 - 2 x25 * x28 + x26^2 - 2 x26 * x29 + x27^2 - 2 x27 * x30 + x28^2 + x29^2 + x30^2 ] >= 0 e74: - 4 objvar + [ x25^2 - 2 x25 * x31 + x26^2 - 2 x26 * x32 + x27^2 - 2 x27 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e75: - 4 objvar + [ x25^2 - 2 x25 * x34 + x26^2 - 2 x26 * x35 + x27^2 - 2 x27 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e76: - 4 objvar + [ x28^2 - 2 x28 * x31 + x29^2 - 2 x29 * x32 + x30^2 - 2 x30 * x33 + x31^2 + x32^2 + x33^2 ] >= 0 e77: - 4 objvar + [ x28^2 - 2 x28 * x34 + x29^2 - 2 x29 * x35 + x30^2 - 2 x30 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 e78: - 4 objvar + [ x31^2 - 2 x31 * x34 + x32^2 - 2 x32 * x35 + x33^2 - 2 x33 * x36 + x34^2 + x35^2 + x36^2 ] >= 0 Bounds -2 <= x1 <= 2 -2 <= x2 <= 2 -2 <= x3 <= 2 -2 <= x4 <= 2 -2 <= x5 <= 2 -2 <= x6 <= 2 -2 <= x7 <= 2 -2 <= x8 <= 2 -2 <= x9 <= 2 -2 <= x10 <= 2 -2 <= x11 <= 2 -2 <= x12 <= 2 -2 <= x13 <= 2 -2 <= x14 <= 2 -2 <= x15 <= 2 -2 <= x16 <= 2 -2 <= x17 <= 2 -2 <= x18 <= 2 -2 <= x19 <= 2 -2 <= x20 <= 2 -2 <= x21 <= 2 -2 <= x22 <= 2 -2 <= x23 <= 2 -2 <= x24 <= 2 -2 <= x25 <= 2 -2 <= x26 <= 2 -2 <= x27 <= 2 -2 <= x28 <= 2 -2 <= x29 <= 2 -2 <= x30 <= 2 -2 <= x31 <= 2 -2 <= x32 <= 2 -2 <= x33 <= 2 -2 <= x34 <= 2 -2 <= x35 <= 2 -2 <= x36 <= 2 objvar Free End