x1 1.000000000000000 x2 1.000000000000000 x4 1.000000000000000 objvar -17.000000000000000