model.lp

\ENCODING=ISO-8859-1
\Problem name: ilog.cplex

Minimize
 obj: x25 + x27
Subject To
 c1:  x1 + x2  = 1
 c3:  x5 + x6  = 1
 c5:  x9 + x10  = 1
 c7:  x13 + x14  = 1
 c9:  310 x1 + 312 x5 + 290 x13 <= 25
 c11: 310 x2 + 312 x6 + 290 x14 <= 25
 c13: 301 x9 <= 25
 c15: 301 x10 <= 25
 c17: x17 + x18  = 1
 c19: x21 + x22  = 1
 c21: - x1 + x25 >= 0
 c23: - x5 + x25 >= 0
 c25: - x9 + x25 >= 0
 c27: - x13 + x25 >= 0
 c29: - x2 + x27 >= 0
 c31: - x6 + x27 >= 0
 c33: - x10 + x27 >= 0
 c35: - x14 + x27 >= 0
 q1:  [ x1 * x17 + x1 * x18 + x2 * x21 + x2 * x22 + x5 * x17 + x5 * x18
      + x6 * x21 + x6 * x22 + x9 * x17 + x9 * x18 + x10 * x21 + x10 * x22
      + x13 * x17 + x13 * x18 + x14 * x21 + x14 * x22 ] <= 4
 q2:  [ x1 * x17 ] <= 2
 q3:  [ x1 * x18 ] <= 2
 q4:  [ x5 * x17 ] <= 2
 q5:  [ x5 * x18 ] <= 2
 q6:  [ x9 * x17 ] <= 2
 q7:  [ x9 * x18 ] <= 2
 q8:  [ x13 * x17 ] <= 2
 q9:  [ x13 * x18 ] <= 2
 q10: [ x2 * x21 ] <= 2
 q11: [ x2 * x22 ] <= 2
 q12: [ x6 * x21 ] <= 2
 q13: [ x6 * x22 ] <= 2
 q14: [ x10 * x21 ] <= 2
 q15: [ x10 * x22 ] <= 2
 q16: [ x14 * x21 ] <= 2
 q17: [ x14 * x22 ] <= 2
Bounds
 0 <= x1 <= 1
 0 <= x2 <= 1
 0 <= x5 <= 1
 0 <= x6 <= 1
 0 <= x9 <= 1
 0 <= x10 <= 1
 0 <= x13 <= 1
 0 <= x14 <= 1
 0 <= x17 <= 1
 0 <= x18 <= 1
 0 <= x21 <= 1
 0 <= x22 <= 1
 0 <= x25 <= 1
 0 <= x27 <= 1
Binaries
 x1  x2  x5  x6  x9  x10  x13  x14  x17  x18  x21  x22  x25  x27 
End