CPLEX> Problem '10Juli2009.lp' read. MIP - Integer optimal solution: Objective = 3.8800000000e+01 Solution time = 13.67 sec. Iterations = 44854 Nodes = 513 Variable Name Solution Value x#4#8#27 1.000000 x#4#8#28 1.000000 x#4#8#29 1.000000 x#4#8#30 1.000000 x#4#8#31 1.000000 x#6#5#16 1.000000 x#6#5#30 1.000000 x#6#5#17 1.000000 x#6#5#31 1.000000 x#7#7#1 1.000000 x#7#7#2 1.000000 x#7#7#3 1.000000 x#8#9#6 1.000000 x#8#9#13 1.000000 x#8#9#7 1.000000 x#8#9#14 1.000000 x#8#9#1 1.000000 x#8#9#8 1.000000 x#8#9#15 1.000000 x#8#9#2 1.000000 x#8#9#9 1.000000 x#8#9#3 1.000000 x#8#9#10 1.000000 x#8#15#20 1.000000 x#8#15#27 1.000000 x#8#15#21 1.000000 x#8#15#28 1.000000 x#8#15#22 1.000000 x#8#15#29 1.000000 x#8#15#16 1.000000 x#8#15#23 1.000000 x#8#15#30 1.000000 x#8#15#17 1.000000 x#8#15#24 1.000000 x#8#15#31 1.000000 x#9#5#1 1.000000 x#9#5#2 1.000000 x#9#5#3 1.000000 x#10#5#6 1.000000 x#10#5#7 1.000000 x#10#5#8 1.000000 x#11#27#6 1.000000 x#11#27#7 1.000000 x#11#27#8 1.000000 x#11#27#9 1.000000 x#11#27#10 1.000000 x#12#7#27 1.000000 x#12#7#28 1.000000 x#12#7#29 1.000000 x#12#7#30 1.000000 x#12#7#31 1.000000 x#14#15#6 1.000000 x#14#15#7 1.000000 x#14#15#8 1.000000 x#14#15#9 1.000000 x#14#15#10 1.000000 x#15#7#13 1.000000 x#15#7#14 1.000000 x#15#7#15 1.000000 x#16#5#20 1.000000 x#16#5#21 1.000000 x#16#5#22 1.000000 x#19#7#6 1.000000 x#19#7#7 1.000000 x#19#7#8 1.000000 x#23#15#1 1.000000 x#23#15#2 1.000000 x#23#15#3 1.000000 x#30#26#27 1.000000 x#30#26#28 1.000000 x#30#26#31 1.000000 xS#3#8#4 1.000000 xS#3#26#18 1.000000 xS#3#26#25 1.000000 xS#3#28#11 1.000000 xS#5#9#25 1.000000 xS#5#26#4 1.000000 xS#5#26#11 1.000000 xS#5#29#18 1.000000 xS#13#28#4 1.000000 xS#13#28#18 1.000000 xS#13#28#25 1.000000 xS#13#29#11 1.000000 x1#3#8#1 1.000000 x1#3#8#2 1.000000 x1#3#8#3 1.000000 x1#5#9#20 1.000000 x1#5#9#21 1.000000 x1#5#9#22 1.000000 x1#5#9#23 1.000000 x1#5#9#24 1.000000 x1#13#8#6 1.000000 x1#13#8#13 1.000000 x1#13#8#7 1.000000 x1#13#8#14 1.000000 x1#13#8#8 1.000000 x1#13#8#15 1.000000 x2#3#8#20 1.000000 x2#3#8#21 1.000000 x2#3#8#22 1.000000 x2#3#8#23 1.000000 x2#3#8#24 1.000000 x2#5#9#27 1.000000 x2#5#9#28 1.000000 x2#5#9#29 1.000000 x#4#23#6 1.000000 x#4#23#13 1.000000 x#4#23#20 1.000000 x#4#23#7 1.000000 x#4#23#14 1.000000 x#4#23#21 1.000000 x#4#23#1 1.000000 x#4#23#8 1.000000 x#4#23#15 1.000000 x#4#23#22 1.000000 x#4#23#2 1.000000 x#4#23#9 1.000000 x#4#23#16 1.000000 x#4#23#23 1.000000 x#4#23#3 1.000000 x#4#23#10 1.000000 x#4#23#17 1.000000 x#4#23#24 1.000000 x#6#20#6 1.000000 x#6#20#13 1.000000 x#6#20#20 1.000000 x#6#20#27 1.000000 x#6#20#7 1.000000 x#6#20#14 1.000000 x#6#20#21 1.000000 x#6#20#28 1.000000 x#6#20#1 1.000000 x#6#20#8 1.000000 x#6#20#15 1.000000 x#6#20#22 1.000000 x#6#20#29 1.000000 x#6#20#2 1.000000 x#6#20#9 1.000000 x#6#20#23 1.000000 x#6#20#3 1.000000 x#6#20#10 1.000000 x#6#20#24 1.000000 x#7#4#6 1.000000 x#7#4#13 1.000000 x#7#4#20 1.000000 x#7#4#27 1.000000 x#7#4#7 1.000000 x#7#4#14 1.000000 x#7#4#21 1.000000 x#7#4#28 1.000000 x#7#4#8 1.000000 x#7#4#15 1.000000 x#7#4#22 1.000000 x#7#4#29 1.000000 x#7#4#9 1.000000 x#7#4#16 1.000000 x#7#4#23 1.000000 x#7#4#30 1.000000 x#7#4#10 1.000000 x#7#4#17 1.000000 x#7#4#24 1.000000 x#7#4#31 1.000000 x#9#11#6 1.000000 x#9#11#13 1.000000 x#9#11#20 1.000000 x#9#11#27 1.000000 x#9#11#7 1.000000 x#9#11#14 1.000000 x#9#11#21 1.000000 x#9#11#28 1.000000 x#9#11#8 1.000000 x#9#11#15 1.000000 x#9#11#22 1.000000 x#9#11#29 1.000000 x#9#11#9 1.000000 x#9#11#16 1.000000 x#9#11#23 1.000000 x#9#11#30 1.000000 x#9#11#10 1.000000 x#9#11#17 1.000000 x#9#11#24 1.000000 x#9#11#31 1.000000 x#10#3#13 1.000000 x#10#3#20 1.000000 x#10#3#27 1.000000 x#10#3#14 1.000000 x#10#3#21 1.000000 x#10#3#28 1.000000 x#10#3#1 1.000000 x#10#3#15 1.000000 x#10#3#22 1.000000 x#10#3#29 1.000000 x#10#3#2 1.000000 x#10#3#9 1.000000 x#10#3#16 1.000000 x#10#3#23 1.000000 x#10#3#30 1.000000 x#10#3#3 1.000000 x#10#3#10 1.000000 x#10#3#17 1.000000 x#10#3#24 1.000000 x#10#3#31 1.000000 x#11#17#13 1.000000 x#11#17#20 1.000000 x#11#17#27 1.000000 x#11#17#14 1.000000 x#11#17#21 1.000000 x#11#17#28 1.000000 x#11#17#1 1.000000 x#11#17#15 1.000000 x#11#17#22 1.000000 x#11#17#29 1.000000 x#11#17#2 1.000000 x#11#17#16 1.000000 x#11#17#23 1.000000 x#11#17#30 1.000000 x#11#17#3 1.000000 x#11#17#17 1.000000 x#11#17#24 1.000000 x#11#17#31 1.000000 x#12#2#6 1.000000 x#12#2#13 1.000000 x#12#2#20 1.000000 x#12#2#7 1.000000 x#12#2#14 1.000000 x#12#2#21 1.000000 x#12#2#1 1.000000 x#12#2#8 1.000000 x#12#2#15 1.000000 x#12#2#22 1.000000 x#12#2#2 1.000000 x#12#2#9 1.000000 x#12#2#16 1.000000 x#12#2#23 1.000000 x#12#2#3 1.000000 x#12#2#10 1.000000 x#12#2#17 1.000000 x#12#2#24 1.000000 x#14#25#13 1.000000 x#14#25#20 1.000000 x#14#25#27 1.000000 x#14#25#14 1.000000 x#14#25#21 1.000000 x#14#25#28 1.000000 x#14#25#1 1.000000 x#14#25#15 1.000000 x#14#25#22 1.000000 x#14#25#29 1.000000 x#14#25#2 1.000000 x#14#25#16 1.000000 x#14#25#23 1.000000 x#14#25#30 1.000000 x#14#25#3 1.000000 x#14#25#17 1.000000 x#14#25#24 1.000000 x#14#25#31 1.000000 x#15#10#6 1.000000 x#15#10#20 1.000000 x#15#10#27 1.000000 x#15#10#7 1.000000 x#15#10#21 1.000000 x#15#10#28 1.000000 x#15#10#1 1.000000 x#15#10#8 1.000000 x#15#10#22 1.000000 x#15#10#29 1.000000 x#15#10#2 1.000000 x#15#10#9 1.000000 x#15#10#16 1.000000 x#15#10#23 1.000000 x#15#10#30 1.000000 x#15#10#3 1.000000 x#15#10#10 1.000000 x#15#10#17 1.000000 x#15#10#24 1.000000 x#15#10#31 1.000000 x#16#6#6 1.000000 x#16#6#13 1.000000 x#16#6#27 1.000000 x#16#6#7 1.000000 x#16#6#14 1.000000 x#16#6#28 1.000000 x#16#6#1 1.000000 x#16#6#8 1.000000 x#16#6#15 1.000000 x#16#6#29 1.000000 x#16#6#2 1.000000 x#16#6#9 1.000000 x#16#6#16 1.000000 x#16#6#23 1.000000 x#16#6#30 1.000000 x#16#6#3 1.000000 x#16#6#10 1.000000 x#16#6#17 1.000000 x#16#6#24 1.000000 x#16#6#31 1.000000 x#19#22#13 1.000000 x#19#22#20 1.000000 x#19#22#27 1.000000 x#19#22#14 1.000000 x#19#22#21 1.000000 x#19#22#28 1.000000 x#19#22#1 1.000000 x#19#22#15 1.000000 x#19#22#22 1.000000 x#19#22#29 1.000000 x#19#22#2 1.000000 x#19#22#9 1.000000 x#19#22#16 1.000000 x#19#22#23 1.000000 x#19#22#30 1.000000 x#19#22#3 1.000000 x#19#22#10 1.000000 x#19#22#17 1.000000 x#19#22#24 1.000000 x#19#22#31 1.000000 x#23#1#6 1.000000 x#23#1#13 1.000000 x#23#1#20 1.000000 x#23#1#27 1.000000 x#23#1#7 1.000000 x#23#1#14 1.000000 x#23#1#21 1.000000 x#23#1#28 1.000000 x#23#1#8 1.000000 x#23#1#15 1.000000 x#23#1#22 1.000000 x#23#1#29 1.000000 x#23#1#9 1.000000 x#23#1#16 1.000000 x#23#1#23 1.000000 x#23#1#30 1.000000 x#23#1#10 1.000000 x#23#1#17 1.000000 x#23#1#24 1.000000 x#23#1#31 1.000000 x#30#18#6 1.000000 x#30#18#13 1.000000 x#30#18#20 1.000000 x#30#18#7 1.000000 x#30#18#14 1.000000 x#30#18#21 1.000000 x#30#18#1 1.000000 x#30#18#8 1.000000 x#30#18#15 1.000000 x#30#18#22 1.000000 x#30#18#29 1.000000 x#30#18#2 1.000000 x#30#18#9 1.000000 x#30#18#16 1.000000 x#30#18#23 1.000000 x#30#18#30 1.000000 x#30#18#3 1.000000 x#30#18#10 1.000000 x#30#18#17 1.000000 x#30#18#24 1.000000 x1#3#13#6 1.000000 x1#3#13#13 1.000000 x1#3#13#20 1.000000 x1#3#13#27 1.000000 x1#3#13#7 1.000000 x1#3#13#14 1.000000 x1#3#13#21 1.000000 x1#3#13#28 1.000000 x1#3#13#8 1.000000 x1#3#13#15 1.000000 x1#3#13#22 1.000000 x1#3#13#29 1.000000 x1#3#13#9 1.000000 x1#3#13#16 1.000000 x1#3#13#23 1.000000 x1#3#13#30 1.000000 x1#3#13#10 1.000000 x1#3#13#17 1.000000 x1#3#13#24 1.000000 x1#3#13#31 1.000000 x1#5#19#6 1.000000 x1#5#19#13 1.000000 x1#5#19#27 1.000000 x1#5#19#7 1.000000 x1#5#19#14 1.000000 x1#5#19#28 1.000000 x1#5#19#1 1.000000 x1#5#19#8 1.000000 x1#5#19#15 1.000000 x1#5#19#29 1.000000 x1#5#19#2 1.000000 x1#5#19#9 1.000000 x1#5#19#16 1.000000 x1#5#19#30 1.000000 x1#5#19#3 1.000000 x1#5#19#10 1.000000 x1#5#19#17 1.000000 x1#5#19#31 1.000000 x1#13#12#20 1.000000 x1#13#21#27 1.000000 x1#13#12#21 1.000000 x1#13#21#28 1.000000 x1#13#21#1 1.000000 x1#13#12#22 1.000000 x1#13#21#29 1.000000 x1#13#21#2 1.000000 x1#13#12#9 1.000000 x1#13#21#16 1.000000 x1#13#12#23 1.000000 x1#13#21#30 1.000000 x1#13#21#3 1.000000 x1#13#12#10 1.000000 x1#13#21#17 1.000000 x1#13#12#24 1.000000 x1#13#21#31 1.000000 x2#3#16#6 1.000000 x2#3#16#13 1.000000 x2#3#16#27 1.000000 x2#3#16#7 1.000000 x2#3#16#14 1.000000 x2#3#16#28 1.000000 x2#3#16#1 1.000000 x2#3#16#8 1.000000 x2#3#16#15 1.000000 x2#3#16#29 1.000000 x2#3#16#2 1.000000 x2#3#16#9 1.000000 x2#3#16#16 1.000000 x2#3#16#30 1.000000 x2#3#16#3 1.000000 x2#3#16#10 1.000000 x2#3#16#17 1.000000 x2#3#16#31 1.000000 x2#5#14#6 1.000000 x2#5#14#13 1.000000 x2#5#14#20 1.000000 x2#5#14#7 1.000000 x2#5#14#14 1.000000 x2#5#14#21 1.000000 x2#5#14#1 1.000000 x2#5#14#8 1.000000 x2#5#14#15 1.000000 x2#5#14#22 1.000000 x2#5#14#2 1.000000 x2#5#14#9 1.000000 x2#5#14#16 1.000000 x2#5#14#23 1.000000 x2#5#14#30 1.000000 x2#5#14#3 1.000000 x2#5#14#10 1.000000 x2#5#14#17 1.000000 x2#5#14#24 1.000000 x2#5#14#31 1.000000 x2#13#21#6 1.000000 x2#13#12#13 1.000000 x2#13#21#20 1.000000 x2#13#12#27 1.000000 x2#13#21#7 1.000000 x2#13#12#14 1.000000 x2#13#21#21 1.000000 x2#13#12#28 1.000000 x2#13#12#1 1.000000 x2#13#21#8 1.000000 x2#13#12#15 1.000000 x2#13#21#22 1.000000 x2#13#12#29 1.000000 x2#13#12#2 1.000000 x2#13#21#9 1.000000 x2#13#12#16 1.000000 x2#13#21#23 1.000000 x2#13#12#30 1.000000 x2#13#12#3 1.000000 x2#13#21#10 1.000000 x2#13#12#17 1.000000 x2#13#21#24 1.000000 x2#13#12#31 1.000000 xS#4#23#4 1.000000 xS#4#23#11 1.000000 xS#4#23#18 1.000000 xS#4#23#25 1.000000