GLPSOL: GLPK LP/MIP Solver, v4.44 Parameter(s) specified in the command line: mps/watson_2.mps Reading problem data from `mps/watson_2.mps'... Problem: WAT Objective: UTILIT00 352014 rows, 671861 columns, 1843716 non-zeros 1460596 records were read GLPK Simplex Optimizer, v4.44 352014 rows, 671861 columns, 1843716 non-zeros Preprocessing... 209614 rows, 400438 columns, 1196038 non-zeros Scaling... A: min|aij| = 1.492e-02 max|aij| = 8.325e+00 ratio = 5.579e+02 GM: min|aij| = 3.240e-01 max|aij| = 3.087e+00 ratio = 9.527e+00 EQ: min|aij| = 1.069e-01 max|aij| = 1.000e+00 ratio = 9.356e+00 Constructing initial basis... Size of triangular part = 208811 0: obj = 8.861576770e+01 infeas = 1.842e+05 (803) 500: obj = 8.752728101e+01 infeas = 1.771e+05 (756) 1000: obj = 8.694942718e+01 infeas = 1.744e+05 (726) 1500: obj = 8.616168680e+01 infeas = 1.720e+05 (699) 2000: obj = 8.552397920e+01 infeas = 1.681e+05 (677) 2500: obj = 8.500241962e+01 infeas = 1.668e+05 (659) 3000: obj = 8.447708220e+01 infeas = 1.640e+05 (644) 3500: obj = 8.405973369e+01 infeas = 1.629e+05 (637) 4000: obj = 8.365018875e+01 infeas = 1.607e+05 (617) 4500: obj = 8.313680390e+01 infeas = 1.592e+05 (604) 5000: obj = 8.255987188e+01 infeas = 1.559e+05 (570) 5500: obj = 8.178216458e+01 infeas = 1.543e+05 (558) 6000: obj = 8.139538799e+01 infeas = 1.526e+05 (549) 6500: obj = 8.080413742e+01 infeas = 1.517e+05 (543) 7000: obj = 8.004609618e+01 infeas = 1.498e+05 (533) 7500: obj = 7.894409449e+01 infeas = 1.485e+05 (532) 8000: obj = 7.823676927e+01 infeas = 1.470e+05 (527) 8500: obj = 7.713697609e+01 infeas = 1.457e+05 (522) 9000: obj = 7.618796246e+01 infeas = 1.435e+05 (508) 9500: obj = 7.389174465e+01 infeas = 1.410e+05 (504) 10000: obj = 7.230970150e+01 infeas = 1.385e+05 (485) 10500: obj = 7.112149730e+01 infeas = 1.366e+05 (473) 11000: obj = 7.027941153e+01 infeas = 1.353e+05 (463) 11500: obj = 6.869681097e+01 infeas = 1.334e+05 (459) 12000: obj = 6.746559088e+01 infeas = 1.305e+05 (438) 12500: obj = 6.623448183e+01 infeas = 1.284e+05 (420) 13000: obj = 6.507182236e+01 infeas = 1.235e+05 (403) 13500: obj = 6.408405622e+01 infeas = 1.219e+05 (396) 14000: obj = 6.264881001e+01 infeas = 1.192e+05 (380) 14500: obj = 6.088075007e+01 infeas = 1.174e+05 (374) 15000: obj = 5.985769515e+01 infeas = 1.152e+05 (358) 15500: obj = 5.854064655e+01 infeas = 1.137e+05 (355) 16000: obj = 5.701933987e+01 infeas = 1.106e+05 (338) 16500: obj = 5.475047938e+01 infeas = 1.087e+05 (332) 17000: obj = 5.383337758e+01 infeas = 1.073e+05 (329) 17500: obj = 5.267750547e+01 infeas = 1.061e+05 (326) 18000: obj = 5.125025918e+01 infeas = 1.030e+05 (311) 18500: obj = 4.892705556e+01 infeas = 1.007e+05 (307) 19000: obj = 4.814589303e+01 infeas = 9.879e+04 (297) 19500: obj = 4.718042216e+01 infeas = 9.733e+04 (294) 20000: obj = 4.565653710e+01 infeas = 9.458e+04 (282) 20500: obj = 4.418501122e+01 infeas = 9.290e+04 (280) 21000: obj = 4.186899026e+01 infeas = 8.777e+04 (273) 21500: obj = 3.871360681e+01 infeas = 8.477e+04 (269) 22000: obj = 3.745525321e+01 infeas = 8.233e+04 (258) 22500: obj = 3.625247570e+01 infeas = 8.085e+04 (250) 23000: obj = 3.379191868e+01 infeas = 7.832e+04 (248) 23500: obj = 2.967036071e+01 infeas = 7.593e+04 (247) 24000: obj = 2.880903195e+01 infeas = 7.505e+04 (247) 24500: obj = 2.578978424e+01 infeas = 7.182e+04 (244) 25000: obj = 2.432682868e+01 infeas = 6.978e+04 (238) 25500: obj = 2.221692275e+01 infeas = 6.742e+04 (232) 26000: obj = 2.049304172e+01 infeas = 6.464e+04 (228) 26500: obj = 1.836578075e+01 infeas = 6.247e+04 (224) 27000: obj = 1.659398362e+01 infeas = 5.997e+04 (213) 27500: obj = 1.400231003e+01 infeas = 5.731e+04 (209) 28000: obj = 1.313167603e+01 infeas = 5.550e+04 (202) 28500: obj = 1.078711392e+01 infeas = 5.176e+04 (197) 29000: obj = 9.372377510e+00 infeas = 4.939e+04 (193) 29500: obj = 7.786216395e+00 infeas = 4.744e+04 (188) 30000: obj = 6.746793774e+00 infeas = 4.519e+04 (187) 30500: obj = 4.495309470e+00 infeas = 4.181e+04 (181) 31000: obj = 2.305908119e+00 infeas = 3.783e+04 (178) 31500: obj = -1.845609624e+00 infeas = 3.249e+04 (164) 32000: obj = -4.989554325e+00 infeas = 2.779e+04 (158) 32500: obj = -7.920467805e+00 infeas = 2.490e+04 (153) 33000: obj = -1.069355883e+01 infeas = 2.076e+04 (147) 33500: obj = -1.382991786e+01 infeas = 1.749e+04 (137) 34000: obj = -1.821158188e+01 infeas = 1.262e+04 (111) 34500: obj = -2.344170235e+01 infeas = 1.017e+04 (96) 35000: obj = -3.090773669e+01 infeas = 6.403e+03 (46) 35500: obj = -3.837990918e+01 infeas = 5.123e+03 (36) 36000: obj = -4.715291387e+01 infeas = 3.892e+03 (28) 36500: obj = -5.182162459e+01 infeas = 3.725e+03 (28) 37000: obj = -5.651307817e+01 infeas = 3.465e+03 (26) 37500: obj = -5.919075336e+01 infeas = 3.338e+03 (26) 38000: obj = -6.291574539e+01 infeas = 3.061e+03 (24) 38500: obj = -6.710175163e+01 infeas = 2.855e+03 (23) 39000: obj = -6.948159743e+01 infeas = 2.755e+03 (23) 39500: obj = -7.183907996e+01 infeas = 2.668e+03 (22) 40000: obj = -7.335011161e+01 infeas = 2.616e+03 (22) 40500: obj = -7.527202021e+01 infeas = 2.556e+03 (22) 41000: obj = -7.722661568e+01 infeas = 2.481e+03 (22) 41500: obj = -7.831668478e+01 infeas = 2.444e+03 (21) 42000: obj = -8.362679460e+01 infeas = 2.198e+03 (17) 42500: obj = -8.842942319e+01 infeas = 2.033e+03 (17) 43000: obj = -9.055255800e+01 infeas = 1.947e+03 (17) 43500: obj = -9.170231954e+01 infeas = 1.905e+03 (16) 44000: obj = -9.766519202e+01 infeas = 1.719e+03 (15) 44500: obj = -1.008600650e+02 infeas = 1.618e+03 (14) 45000: obj = -1.020191063e+02 infeas = 1.515e+03 (13) 45500: obj = -1.063545065e+02 infeas = 1.298e+03 (10) 46000: obj = -1.204464643e+02 infeas = 7.203e+02 (6) 46500: obj = -1.230922799e+02 infeas = 6.263e+02 (6) 47000: obj = -1.259867402e+02 infeas = 5.553e+02 (4) 47500: obj = -1.300589910e+02 infeas = 4.521e+02 (4) 48000: obj = -1.311500518e+02 infeas = 4.273e+02 (4) 48500: obj = -1.324276681e+02 infeas = 3.950e+02 (4) 49000: obj = -1.365695474e+02 infeas = 1.982e+02 (1) 49500: obj = -1.379776383e+02 infeas = 1.923e+02 (1) * 49913: obj = -1.415500615e+02 infeas = 1.670e-16 (0) * 50000: obj = -1.416531295e+02 infeas = 0.000e+00 (0) * 50500: obj = -1.430792413e+02 infeas = 5.637e-16 (0) * 51000: obj = -1.453597199e+02 infeas = 2.136e-18 (0) * 51500: obj = -1.470804019e+02 infeas = 6.457e-16 (0) * 52000: obj = -1.490260591e+02 infeas = 1.895e-15 (0) * 52500: obj = -1.504385463e+02 infeas = 2.689e-17 (0) * 53000: obj = -1.522139343e+02 infeas = 1.641e-15 (0) * 53500: obj = -1.530681709e+02 infeas = 8.380e-16 (0) * 54000: obj = -1.543951099e+02 infeas = 3.395e-15 (0) * 54500: obj = -1.554617656e+02 infeas = 5.715e-16 (0) * 55000: obj = -1.566676967e+02 infeas = 6.581e-15 (0) * 55500: obj = -1.584270148e+02 infeas = 5.806e-17 (0) * 56000: obj = -1.596579331e+02 infeas = 4.140e-16 (0) * 56500: obj = -1.613101005e+02 infeas = 3.799e-15 (0) * 57000: obj = -1.632916234e+02 infeas = 4.395e-16 (0) * 57500: obj = -1.654229838e+02 infeas = 7.565e-17 (0) * 58000: obj = -1.674951153e+02 infeas = 3.381e-17 (0) * 58500: obj = -1.697592791e+02 infeas = 7.911e-17 (0) * 59000: obj = -1.718449252e+02 infeas = 3.324e-16 (0) * 59500: obj = -1.739944899e+02 infeas = 1.314e-16 (0) * 60000: obj = -1.759935599e+02 infeas = 9.338e-16 (0) * 60500: obj = -1.792894150e+02 infeas = 0.000e+00 (0) * 61000: obj = -1.810851845e+02 infeas = 5.942e-16 (0) * 61500: obj = -1.835085825e+02 infeas = 2.162e-16 (0) * 62000: obj = -1.853252365e+02 infeas = 7.312e-18 (0) * 62500: obj = -1.877795631e+02 infeas = 6.673e-16 (0) * 63000: obj = -1.889500402e+02 infeas = 0.000e+00 (0) * 63500: obj = -1.906540785e+02 infeas = 6.529e-16 (0) * 64000: obj = -1.919566489e+02 infeas = 1.073e-15 (0) * 64500: obj = -1.938614639e+02 infeas = 4.734e-17 (0) * 65000: obj = -1.972133780e+02 infeas = 6.938e-16 (0) * 65500: obj = -1.994486377e+02 infeas = 1.865e-15 (0) * 66000: obj = -2.009148959e+02 infeas = 0.000e+00 (0) * 66500: obj = -2.029176866e+02 infeas = 0.000e+00 (0) * 67000: obj = -2.044597527e+02 infeas = 1.481e-16 (0) * 67500: obj = -2.062307039e+02 infeas = 8.426e-16 (0) * 68000: obj = -2.093018383e+02 infeas = 3.756e-17 (0) * 68500: obj = -2.105963605e+02 infeas = 7.652e-16 (0) * 69000: obj = -2.125468830e+02 infeas = 2.494e-18 (0) * 69500: obj = -2.143224440e+02 infeas = 4.409e-15 (0) * 70000: obj = -2.172645396e+02 infeas = 2.483e-16 (0) * 70500: obj = -2.197447686e+02 infeas = 4.444e-16 (0) * 71000: obj = -2.210547000e+02 infeas = 1.220e-15 (0) * 71500: obj = -2.225932173e+02 infeas = 3.206e-17 (0) * 72000: obj = -2.259022869e+02 infeas = 3.469e-17 (0) * 72500: obj = -2.278653423e+02 infeas = 3.500e-16 (0) * 73000: obj = -2.295029228e+02 infeas = 0.000e+00 (0) * 73500: obj = -2.324113964e+02 infeas = 8.350e-16 (0) * 74000: obj = -2.346629588e+02 infeas = 7.289e-15 (0) * 74500: obj = -2.360555489e+02 infeas = 2.757e-14 (0) * 75000: obj = -2.379939863e+02 infeas = 7.552e-17 (0) * 75500: obj = -2.401941786e+02 infeas = 1.411e-17 (0) * 76000: obj = -2.418433023e+02 infeas = 6.710e-16 (0) * 76500: obj = -2.440880959e+02 infeas = 3.093e-15 (0) * 77000: obj = -2.466548237e+02 infeas = 4.875e-16 (0) * 77500: obj = -2.486332721e+02 infeas = 3.315e-15 (0) * 78000: obj = -2.510330568e+02 infeas = 4.290e-17 (0) * 78500: obj = -2.536845858e+02 infeas = 2.704e-15 (0) * 79000: obj = -2.554093214e+02 infeas = 0.000e+00 (0) * 79500: obj = -2.587458016e+02 infeas = 1.054e-15 (0) * 80000: obj = -2.619659140e+02 infeas = 1.123e-17 (0) * 80500: obj = -2.649787045e+02 infeas = 7.533e-16 (0) * 81000: obj = -2.672525988e+02 infeas = 1.761e-15 (0) * 81500: obj = -2.722900883e+02 infeas = 7.685e-17 (0) * 82000: obj = -2.750181502e+02 infeas = 2.216e-15 (0) * 82500: obj = -2.767085546e+02 infeas = 0.000e+00 (0) * 83000: obj = -2.791960880e+02 infeas = 1.956e-14 (0) * 83500: obj = -2.806235008e+02 infeas = 6.803e-15 (0) * 84000: obj = -2.817530300e+02 infeas = 0.000e+00 (0) * 84500: obj = -2.830382204e+02 infeas = 1.059e-15 (0) * 85000: obj = -2.837368058e+02 infeas = 1.074e-13 (0) * 85500: obj = -2.840729315e+02 infeas = 4.232e-16 (0) * 86000: obj = -2.846307587e+02 infeas = 1.730e-14 (0) * 86500: obj = -2.852571344e+02 infeas = 1.126e-15 (0) * 87000: obj = -2.864007364e+02 infeas = 2.391e-16 (0) * 87500: obj = -2.873209669e+02 infeas = 1.343e-15 (0) * 88000: obj = -2.883353062e+02 infeas = 3.123e-17 (0) * 88500: obj = -2.889592182e+02 infeas = 1.735e-16 (0) * 89000: obj = -2.897613524e+02 infeas = 3.231e-16 (0) * 89500: obj = -2.901515476e+02 infeas = 7.806e-18 (0) * 90000: obj = -2.908017074e+02 infeas = 6.094e-18 (0) * 90500: obj = -2.913609899e+02 infeas = 8.270e-16 (0) * 91000: obj = -2.917402412e+02 infeas = 1.119e-15 (0) * 91500: obj = -2.919877844e+02 infeas = 6.648e-17 (0) * 92000: obj = -2.923613789e+02 infeas = 2.385e-18 (0) * 92500: obj = -2.928836828e+02 infeas = 8.382e-17 (0) * 93000: obj = -2.932769374e+02 infeas = 7.285e-16 (0) * 93500: obj = -2.936704978e+02 infeas = 4.473e-15 (0) * 94000: obj = -2.943804394e+02 infeas = 5.393e-18 (0) * 94500: obj = -2.953010945e+02 infeas = 6.372e-16 (0) * 95000: obj = -2.958717691e+02 infeas = 1.876e-17 (0) * 95500: obj = -2.961817669e+02 infeas = 0.000e+00 (0) * 96000: obj = -2.967255144e+02 infeas = 4.560e-16 (0) * 96500: obj = -2.971243076e+02 infeas = 5.638e-18 (0) * 97000: obj = -2.974159079e+02 infeas = 3.460e-16 (0) * 97500: obj = -2.983821698e+02 infeas = 2.135e-15 (0) * 98000: obj = -2.987862291e+02 infeas = 1.326e-15 (0) * 98500: obj = -2.995006576e+02 infeas = 2.048e-17 (0) * 99000: obj = -3.007514546e+02 infeas = 3.574e-18 (0) * 99500: obj = -3.015289012e+02 infeas = 4.698e-16 (0) *100000: obj = -3.026781375e+02 infeas = 5.293e-18 (0) *100500: obj = -3.031682551e+02 infeas = 6.051e-16 (0) *101000: obj = -3.039274438e+02 infeas = 4.337e-19 (0) *101500: obj = -3.049151486e+02 infeas = 1.984e-16 (0) *102000: obj = -3.067047162e+02 infeas = 4.319e-15 (0) *102500: obj = -3.093636265e+02 infeas = 0.000e+00 (0) *103000: obj = -3.114881259e+02 infeas = 7.370e-18 (0) *103500: obj = -3.130569491e+02 infeas = 4.964e-16 (0) *104000: obj = -3.143475630e+02 infeas = 5.790e-17 (0) *104500: obj = -3.155760419e+02 infeas = 7.043e-15 (0) *105000: obj = -3.177451677e+02 infeas = 5.944e-14 (0) *105500: obj = -3.189353442e+02 infeas = 7.756e-14 (0) *106000: obj = -3.194810963e+02 infeas = 1.387e-18 (0) *106500: obj = -3.210575388e+02 infeas = 0.000e+00 (0) *107000: obj = -3.227648962e+02 infeas = 4.293e-17 (0) *107500: obj = -3.242848497e+02 infeas = 7.373e-17 (0) *108000: obj = -3.261870560e+02 infeas = 7.209e-16 (0) *108500: obj = -3.275234009e+02 infeas = 9.107e-18 (0) *109000: obj = -3.297550239e+02 infeas = 3.469e-18 (0) *109500: obj = -3.315805694e+02 infeas = 9.386e-16 (0) *110000: obj = -3.331485999e+02 infeas = 0.000e+00 (0) *110500: obj = -3.355508419e+02 infeas = 3.036e-18 (0) *111000: obj = -3.371915499e+02 infeas = 1.735e-18 (0) *111500: obj = -3.398215616e+02 infeas = 4.532e-15 (0) *112000: obj = -3.496760600e+02 infeas = 1.681e-14 (0) *112500: obj = -3.551415680e+02 infeas = 5.790e-14 (0) *113000: obj = -3.600839127e+02 infeas = 9.681e-15 (0) *113500: obj = -3.614170875e+02 infeas = 7.568e-17 (0) *114000: obj = -3.624073747e+02 infeas = 4.323e-17 (0) *114500: obj = -3.632277051e+02 infeas = 1.006e-16 (0) *115000: obj = -3.644387395e+02 infeas = 1.676e-16 (0) *115500: obj = -3.653525752e+02 infeas = 6.542e-16 (0) *116000: obj = -3.661955863e+02 infeas = 1.023e-16 (0) *116500: obj = -3.671540133e+02 infeas = 2.002e-15 (0) *117000: obj = -3.679453383e+02 infeas = 8.674e-19 (0) *117500: obj = -3.688692543e+02 infeas = 1.475e-15 (0) *118000: obj = -3.700632545e+02 infeas = 1.106e-15 (0) *118500: obj = -3.706663553e+02 infeas = 1.735e-18 (0) *119000: obj = -3.718004101e+02 infeas = 8.023e-18 (0) *119500: obj = -3.756654234e+02 infeas = 5.300e-17 (0) *120000: obj = -3.800200748e+02 infeas = 6.155e-14 (0) *120500: obj = -3.839228888e+02 infeas = 5.727e-15 (0) *121000: obj = -3.917414860e+02 infeas = 1.175e-13 (0) *121500: obj = -3.985824287e+02 infeas = 1.136e-15 (0) *122000: obj = -4.035659966e+02 infeas = 2.119e-16 (0) *122500: obj = -4.099588502e+02 infeas = 1.860e-12 (0) *123000: obj = -4.208142547e+02 infeas = 3.160e-15 (0) *123500: obj = -4.254624240e+02 infeas = 4.425e-15 (0) *124000: obj = -4.291505555e+02 infeas = 5.593e-13 (0) *124500: obj = -4.351473437e+02 infeas = 1.158e-14 (0) *125000: obj = -4.422875887e+02 infeas = 1.186e-15 (0) *125500: obj = -4.513770298e+02 infeas = 6.667e-16 (0) *126000: obj = -4.546880678e+02 infeas = 2.952e-16 (0) *126500: obj = -4.668750196e+02 infeas = 3.766e-15 (0) *127000: obj = -4.746920331e+02 infeas = 2.370e-16 (0) *127500: obj = -4.802464073e+02 infeas = 4.400e-15 (0) *128000: obj = -4.860719436e+02 infeas = 6.505e-19 (0) *128500: obj = -4.898066118e+02 infeas = 1.165e-15 (0) *129000: obj = -4.935934680e+02 infeas = 1.464e-15 (0) *129500: obj = -4.974133034e+02 infeas = 2.313e-15 (0) *130000: obj = -5.008656658e+02 infeas = 0.000e+00 (0) *130500: obj = -5.059922850e+02 infeas = 1.056e-13 (0) *131000: obj = -5.101944048e+02 infeas = 2.444e-14 (0) *131500: obj = -5.130948766e+02 infeas = 6.726e-14 (0) *132000: obj = -5.267835946e+02 infeas = 6.822e-13 (0) *132500: obj = -5.317781463e+02 infeas = 2.850e-15 (0) *133000: obj = -5.403917167e+02 infeas = 2.113e-13 (0) *133500: obj = -5.492682320e+02 infeas = 1.852e-14 (0) *134000: obj = -5.632389114e+02 infeas = 5.694e-13 (0) *134500: obj = -5.781572549e+02 infeas = 2.123e-16 (0) *135000: obj = -6.041396517e+02 infeas = 3.416e-16 (0) *135500: obj = -6.227507830e+02 infeas = 8.727e-16 (0) *136000: obj = -6.408359685e+02 infeas = 5.724e-13 (0) *136500: obj = -6.570838699e+02 infeas = 2.013e-13 (0) *137000: obj = -6.706644102e+02 infeas = 7.091e-15 (0) *137500: obj = -6.847871388e+02 infeas = 6.774e-14 (0) *138000: obj = -7.084139801e+02 infeas = 0.000e+00 (0) *138500: obj = -7.219530133e+02 infeas = 1.773e-15 (0) *139000: obj = -7.338101067e+02 infeas = 1.702e-14 (0) *139500: obj = -7.455720299e+02 infeas = 2.247e-13 (0) *140000: obj = -7.545627880e+02 infeas = 3.198e-13 (0) *140500: obj = -7.675204682e+02 infeas = 3.537e-12 (0) *141000: obj = -7.820041305e+02 infeas = 2.422e-12 (0) *141500: obj = -7.956885336e+02 infeas = 2.716e-14 (0) *142000: obj = -8.143556704e+02 infeas = 1.473e-15 (0) *142500: obj = -8.425151163e+02 infeas = 0.000e+00 (0) *143000: obj = -8.625342943e+02 infeas = 2.778e-14 (0) *143500: obj = -8.761876734e+02 infeas = 3.220e-13 (0) *144000: obj = -8.899962519e+02 infeas = 1.788e-13 (0) *144500: obj = -9.012227713e+02 infeas = 4.672e-14 (0) *145000: obj = -9.136198718e+02 infeas = 1.409e-14 (0) *145500: obj = -9.357091713e+02 infeas = 9.310e-15 (0) *146000: obj = -9.520908995e+02 infeas = 4.350e-14 (0) *146500: obj = -9.753777859e+02 infeas = 0.000e+00 (0) *147000: obj = -9.978786846e+02 infeas = 7.457e-14 (0) *147500: obj = -1.023669477e+03 infeas = 1.940e-13 (0) *148000: obj = -1.058766023e+03 infeas = 4.458e-14 (0) *148500: obj = -1.075266297e+03 infeas = 8.737e-14 (0) *149000: obj = -1.107509598e+03 infeas = 1.494e-12 (0) *149500: obj = -1.129867075e+03 infeas = 7.216e-14 (0) *150000: obj = -1.145478587e+03 infeas = 1.388e-17 (0) *150500: obj = -1.172430503e+03 infeas = 0.000e+00 (0) *151000: obj = -1.207025194e+03 infeas = 2.282e-13 (0) *151500: obj = -1.233236360e+03 infeas = 8.111e-14 (0) *152000: obj = -1.279885826e+03 infeas = 4.392e-12 (0) *152500: obj = -1.303536472e+03 infeas = 8.172e-13 (0) *153000: obj = -1.329781419e+03 infeas = 5.452e-14 (0) *153500: obj = -1.359564786e+03 infeas = 1.057e-13 (0) *154000: obj = -1.377502561e+03 infeas = 4.114e-13 (0) *154500: obj = -1.397869077e+03 infeas = 4.427e-13 (0) *155000: obj = -1.430106153e+03 infeas = 1.160e-12 (0) *155500: obj = -1.483748880e+03 infeas = 2.522e-13 (0) *156000: obj = -1.523406951e+03 infeas = 7.859e-13 (0) *156500: obj = -1.567241157e+03 infeas = 2.278e-13 (0) *157000: obj = -1.613339455e+03 infeas = 7.316e-14 (0) *157500: obj = -1.650073894e+03 infeas = 1.726e-13 (0) *158000: obj = -1.669624870e+03 infeas = 7.476e-13 (0) *158500: obj = -1.688092545e+03 infeas = 9.736e-14 (0) *159000: obj = -1.741497942e+03 infeas = 4.021e-12 (0) *159500: obj = -1.778857023e+03 infeas = 4.564e-13 (0) *160000: obj = -1.821668180e+03 infeas = 4.597e-12 (0) *160500: obj = -1.870612462e+03 infeas = 7.522e-14 (0) *161000: obj = -1.901928980e+03 infeas = 1.124e-11 (0) *161500: obj = -1.939206487e+03 infeas = 1.099e-14 (0) *162000: obj = -1.969328393e+03 infeas = 5.479e-13 (0) *162500: obj = -2.017471907e+03 infeas = 2.360e-12 (0) *163000: obj = -2.051073508e+03 infeas = 1.176e-11 (0) *163500: obj = -2.101420395e+03 infeas = 1.716e-13 (0) *164000: obj = -2.153283058e+03 infeas = 2.108e-14 (0) *164500: obj = -2.184553053e+03 infeas = 4.850e-12 (0) *165000: obj = -2.222714902e+03 infeas = 1.406e-13 (0) *165500: obj = -2.271109964e+03 infeas = 1.110e-12 (0) *166000: obj = -2.315464871e+03 infeas = 1.469e-11 (0) *166500: obj = -2.355682557e+03 infeas = 3.592e-12 (0) *167000: obj = -2.399507230e+03 infeas = 2.556e-12 (0) *167500: obj = -2.445787853e+03 infeas = 3.826e-13 (0) *168000: obj = -2.482794605e+03 infeas = 2.332e-12 (0) *168500: obj = -2.538895974e+03 infeas = 9.025e-13 (0) *169000: obj = -2.564294122e+03 infeas = 1.405e-12 (0) *169500: obj = -2.605410027e+03 infeas = 7.077e-12 (0) *170000: obj = -2.628333383e+03 infeas = 6.095e-13 (0) *170500: obj = -2.656109389e+03 infeas = 1.421e-12 (0) *171000: obj = -2.679177834e+03 infeas = 0.000e+00 (0) *171500: obj = -2.689684132e+03 infeas = 5.225e-12 (0) *172000: obj = -2.731786321e+03 infeas = 3.015e-13 (0) *172500: obj = -2.751912326e+03 infeas = 2.738e-14 (0) *173000: obj = -2.775324187e+03 infeas = 4.625e-12 (0) *173500: obj = -2.799830589e+03 infeas = 4.039e-12 (0) *174000: obj = -2.831205885e+03 infeas = 2.232e-12 (0) *174500: obj = -2.877696400e+03 infeas = 2.521e-13 (0) *175000: obj = -2.921501006e+03 infeas = 1.618e-12 (0) *175500: obj = -2.962039722e+03 infeas = 1.626e-19 (0) *176000: obj = -2.996332166e+03 infeas = 5.576e-14 (0) *176500: obj = -3.029404595e+03 infeas = 2.162e-12 (0) *177000: obj = -3.074751141e+03 infeas = 1.324e-12 (0) *177500: obj = -3.131312666e+03 infeas = 1.790e-11 (0) *178000: obj = -3.160099917e+03 infeas = 2.058e-12 (0) *178500: obj = -3.207157334e+03 infeas = 2.463e-12 (0) *179000: obj = -3.235072446e+03 infeas = 3.371e-13 (0) *179500: obj = -3.290918125e+03 infeas = 7.105e-15 (0) *180000: obj = -3.347116998e+03 infeas = 3.381e-12 (0) *180500: obj = -3.375015925e+03 infeas = 4.890e-13 (0) *181000: obj = -3.407218752e+03 infeas = 3.860e-13 (0) *181500: obj = -3.440208545e+03 infeas = 2.567e-12 (0) *182000: obj = -3.482116045e+03 infeas = 1.492e-14 (0) *182500: obj = -3.536423493e+03 infeas = 2.670e-12 (0) *183000: obj = -3.565855883e+03 infeas = 6.262e-13 (0) *183500: obj = -3.602159206e+03 infeas = 7.149e-12 (0) *184000: obj = -3.657712138e+03 infeas = 3.482e-11 (0) *184500: obj = -3.697263564e+03 infeas = 3.876e-14 (0) *185000: obj = -3.744920569e+03 infeas = 1.270e-12 (0) *185500: obj = -3.777012446e+03 infeas = 4.734e-13 (0) *186000: obj = -3.827012483e+03 infeas = 7.040e-12 (0) *186500: obj = -3.866626480e+03 infeas = 3.923e-12 (0) *187000: obj = -3.911589112e+03 infeas = 2.023e-12 (0) *187500: obj = -3.956316985e+03 infeas = 1.130e-12 (0) *188000: obj = -4.013823398e+03 infeas = 2.644e-13 (0) *188500: obj = -4.053865638e+03 infeas = 4.560e-12 (0) *189000: obj = -4.103991808e+03 infeas = 2.261e-12 (0) *189500: obj = -4.133483867e+03 infeas = 2.996e-13 (0) *190000: obj = -4.159664545e+03 infeas = 1.311e-12 (0) *190500: obj = -4.209057136e+03 infeas = 4.573e-13 (0) *191000: obj = -4.253273620e+03 infeas = 1.106e-12 (0) *191500: obj = -4.293478458e+03 infeas = 0.000e+00 (0) *192000: obj = -4.329005169e+03 infeas = 1.029e-12 (0) *192500: obj = -4.354732503e+03 infeas = 2.099e-13 (0) *193000: obj = -4.408996193e+03 infeas = 2.702e-12 (0) *193500: obj = -4.453047684e+03 infeas = 9.752e-13 (0) *194000: obj = -4.497741994e+03 infeas = 3.198e-12 (0) *194500: obj = -4.536669122e+03 infeas = 3.571e-12 (0) *195000: obj = -4.592011188e+03 infeas = 2.851e-13 (0) *195500: obj = -4.627568012e+03 infeas = 6.176e-12 (0) *196000: obj = -4.671284498e+03 infeas = 2.361e-12 (0) *196500: obj = -4.700953137e+03 infeas = 0.000e+00 (0) *197000: obj = -4.734240552e+03 infeas = 1.828e-12 (0) *197500: obj = -4.768911612e+03 infeas = 1.226e-12 (0) *198000: obj = -4.801299932e+03 infeas = 4.389e-14 (0) *198500: obj = -4.832618234e+03 infeas = 5.846e-13 (0) *199000: obj = -4.853677135e+03 infeas = 3.370e-13 (0) *199500: obj = -4.877217099e+03 infeas = 9.945e-13 (0) *200000: obj = -4.913468802e+03 infeas = 9.104e-13 (0) *200500: obj = -4.945633476e+03 infeas = 1.030e-12 (0) *201000: obj = -4.980414196e+03 infeas = 5.755e-13 (0) *201500: obj = -5.008480477e+03 infeas = 5.684e-14 (0) *202000: obj = -5.066105050e+03 infeas = 8.404e-12 (0) *202500: obj = -5.098408266e+03 infeas = 1.510e-14 (0) *203000: obj = -5.144726876e+03 infeas = 8.350e-13 (0) *203500: obj = -5.170788571e+03 infeas = 6.655e-14 (0) *204000: obj = -5.222166221e+03 infeas = 1.624e-12 (0) *204500: obj = -5.240877843e+03 infeas = 1.843e-14 (0) *205000: obj = -5.268255937e+03 infeas = 1.432e-12 (0) *205500: obj = -5.297612737e+03 infeas = 6.523e-13 (0) *206000: obj = -5.323626017e+03 infeas = 9.232e-13 (0) *206500: obj = -5.344279077e+03 infeas = 1.952e-15 (0) *207000: obj = -5.373599072e+03 infeas = 1.201e-12 (0) *207500: obj = -5.396110148e+03 infeas = 6.217e-14 (0) *208000: obj = -5.423415833e+03 infeas = 1.809e-12 (0) *208500: obj = -5.460294208e+03 infeas = 0.000e+00 (0) *209000: obj = -5.495587535e+03 infeas = 8.553e-13 (0) *209500: obj = -5.533922289e+03 infeas = 9.717e-15 (0) *210000: obj = -5.579347203e+03 infeas = 1.973e-13 (0) *210500: obj = -5.606789357e+03 infeas = 1.017e-13 (0) *211000: obj = -5.654460448e+03 infeas = 2.274e-13 (0) *211500: obj = -5.706871657e+03 infeas = 2.737e-13 (0) *212000: obj = -5.750717449e+03 infeas = 1.350e-12 (0) *212500: obj = -5.782840155e+03 infeas = 7.077e-14 (0) *213000: obj = -5.818788783e+03 infeas = 2.110e-12 (0) *213500: obj = -5.854878425e+03 infeas = 3.997e-15 (0) *214000: obj = -5.900893674e+03 infeas = 1.395e-12 (0) *214500: obj = -5.935468301e+03 infeas = 1.767e-12 (0) *215000: obj = -5.973208332e+03 infeas = 2.260e-13 (0) *215500: obj = -6.019189559e+03 infeas = 6.507e-13 (0) *216000: obj = -6.060812698e+03 infeas = 0.000e+00 (0) *216500: obj = -6.128143116e+03 infeas = 3.197e-14 (0) *217000: obj = -6.174058215e+03 infeas = 1.337e-13 (0) *217500: obj = -6.212023935e+03 infeas = 1.312e-12 (0) *218000: obj = -6.245528376e+03 infeas = 7.107e-13 (0) *218500: obj = -6.285354459e+03 infeas = 5.160e-13 (0) *219000: obj = -6.319237846e+03 infeas = 6.994e-12 (0) *219500: obj = -6.362921770e+03 infeas = 1.759e-15 (0) *220000: obj = -6.399224299e+03 infeas = 1.255e-12 (0) *220500: obj = -6.428984538e+03 infeas = 2.883e-13 (0) *221000: obj = -6.455667355e+03 infeas = 7.151e-13 (0) *221500: obj = -6.490634066e+03 infeas = 1.084e-13 (0) *222000: obj = -6.517621413e+03 infeas = 4.047e-12 (0) *222500: obj = -6.537708092e+03 infeas = 0.000e+00 (0) *223000: obj = -6.565463626e+03 infeas = 2.999e-12 (0) *223500: obj = -6.586074553e+03 infeas = 1.382e-12 (0) *224000: obj = -6.610075979e+03 infeas = 8.882e-15 (0) *224500: obj = -6.626951466e+03 infeas = 6.138e-13 (0) *225000: obj = -6.640995757e+03 infeas = 1.645e-13 (0) *225500: obj = -6.670011188e+03 infeas = 1.205e-11 (0) *226000: obj = -6.695696649e+03 infeas = 5.831e-13 (0) *226500: obj = -6.710245661e+03 infeas = 1.050e-11 (0) *227000: obj = -6.728689043e+03 infeas = 1.705e-13 (0) *227500: obj = -6.737516096e+03 infeas = 0.000e+00 (0) *228000: obj = -6.754252481e+03 infeas = 2.389e-12 (0) *228500: obj = -6.772690401e+03 infeas = 1.755e-12 (0) *229000: obj = -6.789491266e+03 infeas = 5.045e-13 (0) *229500: obj = -6.803937601e+03 infeas = 9.760e-13 (0) *230000: obj = -6.821695889e+03 infeas = 1.226e-13 (0) *230500: obj = -6.831795658e+03 infeas = 4.263e-14 (0) *231000: obj = -6.844016205e+03 infeas = 7.105e-15 (0) *231500: obj = -6.857249315e+03 infeas = 7.396e-13 (0) *232000: obj = -6.870858085e+03 infeas = 4.027e-12 (0) *232500: obj = -6.886011395e+03 infeas = 4.449e-14 (0) *233000: obj = -6.897283221e+03 infeas = 2.775e-14 (0) *233500: obj = -6.909046179e+03 infeas = 3.553e-15 (0) *234000: obj = -6.920359878e+03 infeas = 2.031e-13 (0) *234500: obj = -6.935201810e+03 infeas = 0.000e+00 (0) *235000: obj = -6.946162625e+03 infeas = 2.558e-13 (0) *235500: obj = -6.957191738e+03 infeas = 2.036e-12 (0) *236000: obj = -6.966911383e+03 infeas = 9.148e-13 (0) *236500: obj = -6.976699560e+03 infeas = 6.705e-13 (0) *237000: obj = -6.986808889e+03 infeas = 4.982e-13 (0) *237500: obj = -7.006047152e+03 infeas = 3.411e-13 (0) *238000: obj = -7.015839261e+03 infeas = 6.821e-13 (0) *238500: obj = -7.023728564e+03 infeas = 1.776e-15 (0) *239000: obj = -7.033468689e+03 infeas = 0.000e+00 (0) *239500: obj = -7.041316457e+03 infeas = 0.000e+00 (0) *240000: obj = -7.053547469e+03 infeas = 0.000e+00 (0) *240500: obj = -7.063529423e+03 infeas = 2.558e-13 (0) *241000: obj = -7.074616294e+03 infeas = 2.929e-13 (0) *241500: obj = -7.081982293e+03 infeas = 2.072e-13 (0) *242000: obj = -7.089748333e+03 infeas = 0.000e+00 (0) *242500: obj = -7.099458248e+03 infeas = 4.547e-13 (0) *243000: obj = -7.109617341e+03 infeas = 1.155e-13 (0) *243500: obj = -7.119202936e+03 infeas = 1.854e-14 (0) *244000: obj = -7.127371293e+03 infeas = 5.684e-14 (0) *244500: obj = -7.136181816e+03 infeas = 5.215e-13 (0) *245000: obj = -7.141420968e+03 infeas = 5.473e-14 (0) *245500: obj = -7.147956815e+03 infeas = 7.105e-14 (0) *246000: obj = -7.154602356e+03 infeas = 3.553e-15 (0) *246500: obj = -7.160500847e+03 infeas = 3.286e-14 (0) *247000: obj = -7.166056239e+03 infeas = 7.425e-13 (0) *247500: obj = -7.170861920e+03 infeas = 2.314e-11 (0) *248000: obj = -7.177009476e+03 infeas = 0.000e+00 (0) *248500: obj = -7.187159409e+03 infeas = 0.000e+00 (0) *249000: obj = -7.194495499e+03 infeas = 2.842e-13 (0) *249500: obj = -7.203517642e+03 infeas = 7.390e-13 (0) *250000: obj = -7.210825019e+03 infeas = 7.105e-15 (0) *250500: obj = -7.218188897e+03 infeas = 5.684e-14 (0) *251000: obj = -7.225373238e+03 infeas = 2.274e-13 (0) *251500: obj = -7.230888637e+03 infeas = 1.421e-13 (0) *252000: obj = -7.238068702e+03 infeas = 5.116e-13 (0) *252500: obj = -7.245449365e+03 infeas = 5.187e-13 (0) *253000: obj = -7.251945407e+03 infeas = 7.994e-13 (0) *253500: obj = -7.257232441e+03 infeas = 4.619e-14 (0) *254000: obj = -7.264080346e+03 infeas = 2.274e-13 (0) *254500: obj = -7.269959350e+03 infeas = 5.006e-13 (0) *255000: obj = -7.276985551e+03 infeas = 2.828e-11 (0) *255500: obj = -7.284481254e+03 infeas = 1.279e-13 (0) *256000: obj = -7.291528199e+03 infeas = 4.547e-13 (0) *256500: obj = -7.296806291e+03 infeas = 1.993e-13 (0) *257000: obj = -7.301315355e+03 infeas = 1.762e-12 (0) *257500: obj = -7.305377763e+03 infeas = 0.000e+00 (0) *258000: obj = -7.310020756e+03 infeas = 8.882e-14 (0) *258500: obj = -7.314505824e+03 infeas = 0.000e+00 (0) *259000: obj = -7.319041990e+03 infeas = 9.765e-13 (0) *259500: obj = -7.325686990e+03 infeas = 0.000e+00 (0) *260000: obj = -7.329705616e+03 infeas = 1.743e-13 (0) *260500: obj = -7.334756221e+03 infeas = 1.833e-12 (0) *261000: obj = -7.338699611e+03 infeas = 1.137e-13 (0) *261500: obj = -7.345496741e+03 infeas = 3.482e-13 (0) *262000: obj = -7.349738032e+03 infeas = 8.945e-13 (0) *262500: obj = -7.355202659e+03 infeas = 5.684e-14 (0) *263000: obj = -7.359037003e+03 infeas = 7.105e-15 (0) *263500: obj = -7.364639915e+03 infeas = 0.000e+00 (0) *264000: obj = -7.368423644e+03 infeas = 2.274e-13 (0) *264500: obj = -7.371947288e+03 infeas = 9.948e-14 (0) *265000: obj = -7.374351505e+03 infeas = 2.842e-14 (0) *265500: obj = -7.379163296e+03 infeas = 0.000e+00 (0) *266000: obj = -7.381564699e+03 infeas = 1.421e-13 (0) *266500: obj = -7.385774635e+03 infeas = 1.421e-14 (0) *267000: obj = -7.389316607e+03 infeas = 1.741e-13 (0) *267500: obj = -7.392839893e+03 infeas = 8.527e-13 (0) *268000: obj = -7.395325613e+03 infeas = 5.222e-13 (0) *268500: obj = -7.399147636e+03 infeas = 7.461e-13 (0) *269000: obj = -7.401197995e+03 infeas = 1.194e-12 (0) *269500: obj = -7.404870903e+03 infeas = 1.236e-12 (0) *270000: obj = -7.406908592e+03 infeas = 1.137e-13 (0) *270500: obj = -7.411205254e+03 infeas = 8.150e-13 (0) *271000: obj = -7.415257864e+03 infeas = 4.547e-13 (0) *271500: obj = -7.418975391e+03 infeas = 0.000e+00 (0) *272000: obj = -7.421520762e+03 infeas = 5.684e-13 (0) *272500: obj = -7.424557777e+03 infeas = 1.705e-13 (0) *273000: obj = -7.427359641e+03 infeas = 1.705e-13 (0) *273500: obj = -7.430218460e+03 infeas = 3.411e-13 (0) *274000: obj = -7.433220323e+03 infeas = 1.801e-13 (0) *274500: obj = -7.435576523e+03 infeas = 1.137e-13 (0) *275000: obj = -7.438194937e+03 infeas = 2.380e-12 (0) *275500: obj = -7.440238163e+03 infeas = 7.105e-14 (0) *276000: obj = -7.441497134e+03 infeas = 3.162e-13 (0) *276500: obj = -7.444074799e+03 infeas = 2.405e-13 (0) *277000: obj = -7.445863616e+03 infeas = 7.958e-13 (0) *277500: obj = -7.448738973e+03 infeas = 3.070e-12 (0) *278000: obj = -7.449939976e+03 infeas = 0.000e+00 (0) *278500: obj = -7.451863228e+03 infeas = 0.000e+00 (0) *279000: obj = -7.453192379e+03 infeas = 6.253e-13 (0) *279500: obj = -7.455113162e+03 infeas = 2.274e-13 (0) *280000: obj = -7.456101773e+03 infeas = 6.990e-13 (0) *280500: obj = -7.458142934e+03 infeas = 2.700e-13 (0) *281000: obj = -7.459668266e+03 infeas = 2.274e-13 (0) *281500: obj = -7.462508568e+03 infeas = 1.705e-13 (0) *282000: obj = -7.463713846e+03 infeas = 3.887e-13 (0) *282500: obj = -7.465536286e+03 infeas = 0.000e+00 (0) *283000: obj = -7.467780395e+03 infeas = 0.000e+00 (0) *283500: obj = -7.471152845e+03 infeas = 2.274e-13 (0) *284000: obj = -7.473893277e+03 infeas = 2.131e-12 (0) *284500: obj = -7.477504378e+03 infeas = 3.979e-13 (0) *285000: obj = -7.479731396e+03 infeas = 5.826e-13 (0) *285500: obj = -7.483210253e+03 infeas = 5.684e-14 (0) *286000: obj = -7.485897031e+03 infeas = 1.878e-12 (0) *286500: obj = -7.489035244e+03 infeas = 6.537e-13 (0) *287000: obj = -7.490705808e+03 infeas = 2.274e-13 (0) *287500: obj = -7.494160341e+03 infeas = 5.684e-14 (0) *288000: obj = -7.495716779e+03 infeas = 4.832e-13 (0) *288500: obj = -7.497979255e+03 infeas = 6.395e-13 (0) *289000: obj = -7.499596174e+03 infeas = 7.105e-15 (0) *289500: obj = -7.501337447e+03 infeas = 7.923e-13 (0) *290000: obj = -7.503154342e+03 infeas = 3.513e-13 (0) *290500: obj = -7.504660431e+03 infeas = 3.197e-13 (0) *291000: obj = -7.507041348e+03 infeas = 1.251e-12 (0) *291500: obj = -7.509217801e+03 infeas = 2.380e-13 (0) *292000: obj = -7.510746206e+03 infeas = 4.547e-13 (0) *292500: obj = -7.512260678e+03 infeas = 1.190e-12 (0) *293000: obj = -7.513565102e+03 infeas = 5.684e-14 (0) *293500: obj = -7.514932192e+03 infeas = 5.495e-12 (0) *294000: obj = -7.515773784e+03 infeas = 8.527e-14 (0) *294500: obj = -7.516954359e+03 infeas = 7.390e-13 (0) *295000: obj = -7.517774409e+03 infeas = 0.000e+00 (0) *295500: obj = -7.518752690e+03 infeas = 1.137e-13 (0) *296000: obj = -7.519947810e+03 infeas = 2.842e-13 (0) *296500: obj = -7.521321098e+03 infeas = 1.705e-13 (0) *297000: obj = -7.522236224e+03 infeas = 5.684e-13 (0) *297500: obj = -7.523874191e+03 infeas = 1.066e-12 (0) *298000: obj = -7.526179804e+03 infeas = 8.527e-13 (0) *298500: obj = -7.527442022e+03 infeas = 7.105e-13 (0) *299000: obj = -7.528573761e+03 infeas = 3.411e-13 (0) *299500: obj = -7.530037427e+03 infeas = 7.141e-13 (0) *300000: obj = -7.530530446e+03 infeas = 1.421e-14 (0) *300500: obj = -7.531203960e+03 infeas = 9.424e-13 (0) *301000: obj = -7.531789049e+03 infeas = 2.250e-12 (0) *301500: obj = -7.532297176e+03 infeas = 0.000e+00 (0) *302000: obj = -7.532754034e+03 infeas = 2.274e-13 (0) *302500: obj = -7.533267276e+03 infeas = 2.416e-13 (0) *303000: obj = -7.533846117e+03 infeas = 3.553e-13 (0) *303500: obj = -7.534416117e+03 infeas = 3.980e-13 (0) *304000: obj = -7.535016091e+03 infeas = 3.980e-13 (0) *304500: obj = -7.535679870e+03 infeas = 0.000e+00 (0) *305000: obj = -7.536354748e+03 infeas = 0.000e+00 (0) *305500: obj = -7.537119717e+03 infeas = 4.547e-13 (0) *306000: obj = -7.537756495e+03 infeas = 4.547e-13 (0) *306500: obj = -7.538884337e+03 infeas = 0.000e+00 (0) *307000: obj = -7.539758364e+03 infeas = 4.263e-14 (0) *307500: obj = -7.540108856e+03 infeas = 4.263e-14 (0) *308000: obj = -7.540863998e+03 infeas = 0.000e+00 (0) *308500: obj = -7.541879105e+03 infeas = 1.705e-13 (0) *309000: obj = -7.542697345e+03 infeas = 1.421e-12 (0) *309500: obj = -7.543348239e+03 infeas = 5.684e-13 (0) *310000: obj = -7.543819815e+03 infeas = 8.118e-13 (0) *310500: obj = -7.544174458e+03 infeas = 2.728e-12 (0) *311000: obj = -7.544353866e+03 infeas = 2.842e-14 (0) *311500: obj = -7.544420453e+03 infeas = 9.948e-14 (0) *312000: obj = -7.544451870e+03 infeas = 9.948e-14 (0) *312500: obj = -7.544480292e+03 infeas = 1.563e-13 (0) *313000: obj = -7.544510766e+03 infeas = 1.563e-13 (0) *313500: obj = -7.544533056e+03 infeas = 1.563e-13 (0) *314000: obj = -7.544549804e+03 infeas = 1.563e-13 (0) *314500: obj = -7.544568986e+03 infeas = 2.700e-13 (0) *315000: obj = -7.544586771e+03 infeas = 2.700e-13 (0) *315500: obj = -7.544618598e+03 infeas = 2.700e-13 (0) *316000: obj = -7.544641660e+03 infeas = 2.700e-13 (0) *316500: obj = -7.544653240e+03 infeas = 2.700e-13 (0) *317000: obj = -7.544675508e+03 infeas = 2.700e-13 (0) *317500: obj = -7.544700523e+03 infeas = 2.700e-13 (0) *318000: obj = -7.544714849e+03 infeas = 2.700e-13 (0) *318500: obj = -7.544740222e+03 infeas = 3.837e-13 (0) *319000: obj = -7.544776142e+03 infeas = 2.075e-12 (0) *319478: obj = -7.544829958e+03 infeas = 3.539e-28 (0) OPTIMAL SOLUTION FOUND Time used: 4581.0 secs Memory used: 610.0 Mb (639590644 bytes) 4584.65user 1.56system 1:16:27elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+1176outputs (0major+175292minor)pagefaults 0swaps