\ Equation counts \ Total E G L N X C B \ 3 0 0 3 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 5 5 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 10 6 4 0 \ Maximize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + objvar Subject To e1: objvar + [ - x1^2 + 2 x1 * x2 - x2^2 - x3^2 + 2 x3 * x4 - x4^2 ] <= 0 e2: - x3 + x4 <= 0 e3: - x1 + x2 <= 0 Bounds .5 <= x1 <= 1 x2 <= 1 x3 <= 1 x4 <= 1 objvar Free End