x1 8.000000000000000 x7 13.000000000000000 x8 11.000000000000000 x9 3.000000000000010 x10 17.000000000000000 x14 24.000000000000000 x17 16.000000000000000 x21 2.000000000000000 x24 10.000000000000000 objvar 22088.000000000000000