x1 5.000000000000000 x2 1.000000000000000 x3 5.000000000000000 x5 5.000000000000000 x6 10.000000000000000 objvar -310.000000000000000