\ Equation counts \ Total E G L N X C B \ 4 0 0 4 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 3 3 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 13 5 8 0 \ Minimize obj: 0 x1 + 0 x2 + x3 Subject To e2: - x3 - 42 x1 + 4 x1^3 + 4 x1 x2 + 2 x2^2 <= 14 e3: - x3 + 42 x1 - 4 x1^3 - 4 x1 x2 - 2 x2^2 <= -14 e4: - x3 + 2 x1^2 - 26 x2 + 4 x1 x2 + 4 x2^3 <= 22 e5: - x3 - 2 x1^2 + 26 x2 - 4 x1 x2 - 4 x2^3 <= -22 Bounds -5 <= x1 <= 5 -5 <= x2 <= 5 x3 Free End