/* Objective function */
min: 12000*C + 11000*D + 8000*H + 5000*I + 4000*J + 9000*K + 7000*L + 8000*M + 7000*N + 9000*O;

/* Variable bounds */
x12 >= x11 + 5 - O;
x12 >= x10 + 4 - N;
x11 >= x9 + 2 - M;
x11 >= x10;
x10 >= x8 + 5 - L;
x9 >= x8 + 2 - K;
x8 >= x6 + 5 - I;
x8 >= x7;
x7 >= x6 + 3 - J;
x6 >= x5 + 1;
x6 >= x4 + 3 - H;
x5 >= x4 + 1;
x4 >= x3 + 3 - C;
x4 >= x2 + 4 - D;
x3 >= x1 + 4;
x3 >= x2;
x2 >= x1 + 2;
x1 = 0;
C <= 2;
D <= 1;
H <= 1;
I <= 1;
J <= 1;
K <= 1;
L <= 2;
M <= 1;
N <= 1;
O <= 2;
x12 <= 22;
int C,D,H,I,J,K,L,M,N,O,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12;