\ Equation counts
\ Total E G L N X C B
\ 6 1 0 5 0 0 0 0
\
\ Variable counts
\ x b i s1s s2s sc si
\ Total cont binary integer sos1 sos2 scont sint
\ 7 7 0 0 0 0 0 0
\
\ Nonzero counts
\ Total const NL DLL
\ 27 11 16 0
\
Minimize
obj: 0 x1 + 0 x2 + 0 x3 - 9 x4 - 15 x5 + x6 - 5 x7 + [ 12 x1 * x4 + 12 x1 * x5 + 32 x2 * x4 + 32 x2 * x5
+ 30 x3 * x4 + 30 x3 * x5 ]/2
Subject To
e2: [ x3 * x4 + x3 * x5 ] <= 50
e3: x4 + x6 <= 100
e4: x5 + x7 <= 200
e5: - 2.5 x4 - .5 x6 + [ 3 x1 * x4 + x2 * x4 + x3 * x4 ] <= 0
e6: - 1.5 x5 + .5 x7 + [ 3 x1 * x5 + x2 * x5 + x3 * x5 ] <= 0
e7: x1 + x2 + x3 = 1
Bounds
x1 <= 1
x2 <= 1
x3 <= 1
x4 <= 100
x5 <= 200
x6 <= 100
x7 <= 200
End