x1 7.196152422113590 x2 0.500000000000000 x3 0.500000000000000 x4 0.500000000000000 x5 1.500000000000000 x6 1.366025403766020 x7 0.999999999854769 x8 2.232050807471260 x9 1.500000000000000 x10 2.232050807624390 x11 0.500000000000000 x12 3.098076211326360 x13 1.000000000094820 x14 3.598076211256240 x15 2.000000000000000 objvar 2.483763441728900