x1 0.166666666666667 x2 2.000000000000000 x3 4.000000000000000 x4 0.500000000000000 x6 2.000000000000000 objvar -13.401903555050801