\ Equation counts \ Total E G L N X C B \ 3 0 1 2 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 \ 11 8 3 0 \ Minimize obj: - 2 x1 + x2 - x3 Subject To e2: - 20 x1 + 9 x2 - 13 x3 + [ 4 x1^2 - 4 x1 * x2 + 4 x1 * x3 + 2 x2^2 - 2 x2 * x3 + 2 x3^2 ] >= -24 e3: x1 + x2 + x3 <= 4 e4: 3 x2 + x3 <= 6 Bounds x1 <= 2 x3 <= 3 End