x1 -2.000000000000000 objvar 0.229779673691773