\ Equation counts \ Total E G L N X C B \ 62 17 5 40 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 25 25 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 527 59 468 0 \ Minimize obj: objvar + 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 Subject To e1: x2 = 1 e2: x3 = 0 e3: x4 = 0 e4: x5 = 0 e5: x6 >= 0 e6: x7 - x8 >= 0 e7: x8 - x9 >= 0 e8: x9 - x10 >= 0 e9: x10 >= 0 e10: x2^2 + x3^2 + x4^2 = 1 e11: x5^2 + x6^2 + x11^2 = 1 e12: x7^2 + x12^2 + x13^2 = 1 e13: x8^2 + x14^2 + x15^2 = 1 e14: x9^2 + x16^2 + x17^2 = 1 e15: x10^2 + x18^2 + x19^2 = 1 e16: x2^2 x20 + x6^2 x21 + x7^2 x22 + x8^2 x23 + x9^2 x24 + x10^2 x25 = 1 e17: x2 x3 x20 + x6 x11 x21 + x7 x12 x22 + x8 x14 x23 + x9 x16 x24 + x10 x18 x25 = 0 e18: x2 x4 x20 + x5 x6 x21 + x7 x13 x22 + x8 x15 x23 + x9 x17 x24 + x10 x19 x25 = 0 e19: x3^2 x20 + x11^2 x21 + x12^2 x22 + x14^2 x23 + x16^2 x24 + x18^2 x25 = 1 e20: x3 x4 x20 + x5 x11 x21 + x12 x13 x22 + x14 x15 x23 + x16 x17 x24 + x18 x19 x25 = 0 e21: x4^2 x20 + x5^2 x21 + x13^2 x22 + x15^2 x23 + x17^2 x24 + x19^2 x25 = 1 e22: x20 + x21 + x22 + x23 + x24 + x25 = 3 e23: - objvar + x3 x5 x7 - x4 x7 x11 - x2 x5 x12 + x4 x6 x12 - x3 x6 x13 + x2 x11 x13 <= 0 e24: - objvar - x3 x5 x7 + x4 x7 x11 + x2 x5 x12 - x4 x6 x12 + x3 x6 x13 - x2 x11 x13 <= 0 e25: - objvar + x3 x5 x8 - x4 x8 x11 - x2 x5 x14 + x4 x6 x14 - x3 x6 x15 + x2 x11 x15 <= 0 e26: - objvar - x3 x5 x8 + x4 x8 x11 + x2 x5 x14 - x4 x6 x14 + x3 x6 x15 - x2 x11 x15 <= 0 e27: - objvar + x3 x5 x9 - x4 x9 x11 - x2 x5 x16 + x4 x6 x16 - x3 x6 x17 + x2 x11 x17 <= 0 e28: - objvar - x3 x5 x9 + x4 x9 x11 + x2 x5 x16 - x4 x6 x16 + x3 x6 x17 - x2 x11 x17 <= 0 e29: - objvar + x3 x5 x10 - x4 x10 x11 - x2 x5 x18 + x4 x6 x18 - x3 x6 x19 + x2 x11 x19 <= 0 e30: - objvar - x3 x5 x10 + x4 x10 x11 + x2 x5 x18 - x4 x6 x18 + x3 x6 x19 - x2 x11 x19 <= 0 e31: - objvar - x4 x8 x12 + x3 x8 x13 + x4 x7 x14 - x2 x13 x14 - x3 x7 x15 + x2 x12 x15 <= 0 e32: - objvar + x4 x8 x12 - x3 x8 x13 - x4 x7 x14 + x2 x13 x14 + x3 x7 x15 - x2 x12 x15 <= 0 e33: - objvar - x4 x9 x12 + x3 x9 x13 + x4 x7 x16 - x2 x13 x16 - x3 x7 x17 + x2 x12 x17 <= 0 e34: - objvar + x4 x9 x12 - x3 x9 x13 - x4 x7 x16 + x2 x13 x16 + x3 x7 x17 - x2 x12 x17 <= 0 e35: - objvar - x4 x10 x12 + x3 x10 x13 + x4 x7 x18 - x2 x13 x18 - x3 x7 x19 + x2 x12 x19 <= 0 e36: - objvar + x4 x10 x12 - x3 x10 x13 - x4 x7 x18 + x2 x13 x18 + x3 x7 x19 - x2 x12 x19 <= 0 e37: - objvar - x4 x9 x14 + x3 x9 x15 + x4 x8 x16 - x2 x15 x16 - x3 x8 x17 + x2 x14 x17 <= 0 e38: - objvar + x4 x9 x14 - x3 x9 x15 - x4 x8 x16 + x2 x15 x16 + x3 x8 x17 - x2 x14 x17 <= 0 e39: - objvar - x4 x10 x14 + x3 x10 x15 + x4 x8 x18 - x2 x15 x18 - x3 x8 x19 + x2 x14 x19 <= 0 e40: - objvar + x4 x10 x14 - x3 x10 x15 - x4 x8 x18 + x2 x15 x18 + x3 x8 x19 - x2 x14 x19 <= 0 e41: - objvar - x4 x10 x16 + x3 x10 x17 + x4 x9 x18 - x2 x17 x18 - x3 x9 x19 + x2 x16 x19 <= 0 e42: - objvar + x4 x10 x16 - x3 x10 x17 - x4 x9 x18 + x2 x17 x18 + x3 x9 x19 - x2 x16 x19 <= 0 e43: - objvar - x5 x8 x12 + x8 x11 x13 + x5 x7 x14 - x6 x13 x14 - x7 x11 x15 + x6 x12 x15 <= 0 e44: - objvar + x5 x8 x12 - x8 x11 x13 - x5 x7 x14 + x6 x13 x14 + x7 x11 x15 - x6 x12 x15 <= 0 e45: - objvar - x5 x9 x12 + x9 x11 x13 + x5 x7 x16 - x6 x13 x16 - x7 x11 x17 + x6 x12 x17 <= 0 e46: - objvar + x5 x9 x12 - x9 x11 x13 - x5 x7 x16 + x6 x13 x16 + x7 x11 x17 - x6 x12 x17 <= 0 e47: - objvar - x5 x10 x12 + x10 x11 x13 + x5 x7 x18 - x6 x13 x18 - x7 x11 x19 + x6 x12 x19 <= 0 e48: - objvar + x5 x10 x12 - x10 x11 x13 - x5 x7 x18 + x6 x13 x18 + x7 x11 x19 - x6 x12 x19 <= 0 e49: - objvar - x5 x9 x14 + x9 x11 x15 + x5 x8 x16 - x6 x15 x16 - x8 x11 x17 + x6 x14 x17 <= 0 e50: - objvar + x5 x9 x14 - x9 x11 x15 - x5 x8 x16 + x6 x15 x16 + x8 x11 x17 - x6 x14 x17 <= 0 e51: - objvar - x5 x10 x14 + x10 x11 x15 + x5 x8 x18 - x6 x15 x18 - x8 x11 x19 + x6 x14 x19 <= 0 e52: - objvar + x5 x10 x14 - x10 x11 x15 - x5 x8 x18 + x6 x15 x18 + x8 x11 x19 - x6 x14 x19 <= 0 e53: - objvar - x5 x10 x16 + x10 x11 x17 + x5 x9 x18 - x6 x17 x18 - x9 x11 x19 + x6 x16 x19 <= 0 e54: - objvar + x5 x10 x16 - x10 x11 x17 - x5 x9 x18 + x6 x17 x18 + x9 x11 x19 - x6 x16 x19 <= 0 e55: - objvar - x9 x13 x14 + x9 x12 x15 + x8 x13 x16 - x7 x15 x16 - x8 x12 x17 + x7 x14 x17 <= 0 e56: - objvar + x9 x13 x14 - x9 x12 x15 - x8 x13 x16 + x7 x15 x16 + x8 x12 x17 - x7 x14 x17 <= 0 e57: - objvar - x10 x13 x14 + x10 x12 x15 + x8 x13 x18 - x7 x15 x18 - x8 x12 x19 + x7 x14 x19 <= 0 e58: - objvar + x10 x13 x14 - x10 x12 x15 - x8 x13 x18 + x7 x15 x18 + x8 x12 x19 - x7 x14 x19 <= 0 e59: - objvar - x10 x13 x16 + x10 x12 x17 + x9 x13 x18 - x7 x17 x18 - x9 x12 x19 + x7 x16 x19 <= 0 e60: - objvar + x10 x13 x16 - x10 x12 x17 - x9 x13 x18 + x7 x17 x18 + x9 x12 x19 - x7 x16 x19 <= 0 e61: - objvar - x10 x15 x16 + x10 x14 x17 + x9 x15 x18 - x8 x17 x18 - x9 x14 x19 + x8 x16 x19 <= 0 e62: - objvar + x10 x15 x16 - x10 x14 x17 - x9 x15 x18 + x8 x17 x18 + x9 x14 x19 - x8 x16 x19 <= 0 Bounds objvar <= 1 -1 <= x2 <= 1 -1 <= x3 <= 1 -1 <= x4 <= 1 -1 <= x5 <= 1 -1 <= x6 <= 1 -1 <= x7 <= 1 -1 <= x8 <= 1 -1 <= x9 <= 1 -1 <= x10 <= 1 -1 <= x11 <= 1 -1 <= x12 <= 1 -1 <= x13 <= 1 -1 <= x14 <= 1 -1 <= x15 <= 1 -1 <= x16 <= 1 -1 <= x17 <= 1 -1 <= x18 <= 1 -1 <= x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 End