\ Equation counts \ Total E G L N X C B \ 21 0 0 21 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 13 13 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 88 28 60 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 + objvar Subject To e1: objvar - x1^2 + 2 x1 x2 - x2^2 - x7^2 + 2 x7 x8 - x8^2 <= 0 e2: objvar - x1^2 + 2 x1 x3 - x3^2 - x7^2 + 2 x7 x9 - x9^2 <= 0 e3: objvar - x1^2 + 2 x1 x4 - x4^2 - x7^2 + 2 x7 x10 - x10^2 <= 0 e4: objvar - x1^2 + 2 x1 x5 - x5^2 - x7^2 + 2 x7 x11 - x11^2 <= 0 e5: objvar - x1^2 + 2 x1 x6 - x6^2 - x7^2 + 2 x7 x12 - x12^2 <= 0 e6: objvar - x2^2 + 2 x2 x3 - x3^2 - x8^2 + 2 x8 x9 - x9^2 <= 0 e7: objvar - x2^2 + 2 x2 x4 - x4^2 - x8^2 + 2 x8 x10 - x10^2 <= 0 e8: objvar - x2^2 + 2 x2 x5 - x5^2 - x8^2 + 2 x8 x11 - x11^2 <= 0 e9: objvar - x2^2 + 2 x2 x6 - x6^2 - x8^2 + 2 x8 x12 - x12^2 <= 0 e10: objvar - x3^2 + 2 x3 x4 - x4^2 - x9^2 + 2 x9 x10 - x10^2 <= 0 e11: objvar - x3^2 + 2 x3 x5 - x5^2 - x9^2 + 2 x9 x11 - x11^2 <= 0 e12: objvar - x3^2 + 2 x3 x6 - x6^2 - x9^2 + 2 x9 x12 - x12^2 <= 0 e13: objvar - x4^2 + 2 x4 x5 - x5^2 - x10^2 + 2 x10 x11 - x11^2 <= 0 e14: objvar - x4^2 + 2 x4 x6 - x6^2 - x10^2 + 2 x10 x12 - x12^2 <= 0 e15: objvar - x5^2 + 2 x5 x6 - x6^2 - x11^2 + 2 x11 x12 - x12^2 <= 0 e16: - x7 + x8 <= 0 e17: - x1 + x2 <= 0 e18: - x2 + x3 <= 0 e19: - x3 + x4 <= 0 e20: - x4 + x5 <= 0 e21: - x5 + x6 <= 0 Bounds .5 <= x1 <= 1 .5 <= x2 <= 1 .5 <= x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 objvar Free End