/* Objective function */
min: k1*y1 + k2*y2 + k3*y3 + k4*y4 + k5*y5 + k6*y6 + k7*y7 + k8*y8 + k9*y9 + k10*y10 + k11*y11 + k12*y12 + k13*y13 + k14*y14;

/* Variable bounds */
x2 >= x1 + 4 - y1;
x3 >= x1 + 2 - y2;
x5 >= x3 + 4 - y4;
x5 >= x2 + 3 - y3;
x4 >= x3 + 0;
x4 >= x5 + 1 - y5;
x6 >= x4 + 1 - y6;
x6 >= x5 + 3 - y7;
x7 >= x5 + 0;
x7 >= x6 + 0;
x8 >= x7 + 3 - y9;
x8 >= x6 + 5 - y8;
x9 >= x8 + 2 - y10;
x10 >= x8 + 5 - y11;
x11 >= x9 + 2 - y12;
x11 >= x10 + 0;
x12 >= x10 + 4 - y13;
x13 >= x11 + 5 - y14;
x13 >= x12 + 0;

y1 <= 0;
y2 <= 0;
y3 <= 2;
y4 <= 1;
y5 <= 0;
y6 <= 0;
y7 <= 1;
y8 <= 1;
y9 <= 1;
y10 <= 1;
y11 <= 2;
y12 <= 1;
y13 <= 1;
y14 <= 2;

k1 = 0;
k2 = 0;
k3 = 12;
k4= 11;
k5 = 0;
k6 = 0;
k7 = 8;
k8 = 5;
k9 = 4;
k10 = 9;
k11 = 7;
k12 = 8;
k13 = 7;
k14 = 9;