GLPSOL: GLPK LP/MIP Solver, v4.44 Parameter(s) specified in the command line: mps/stormG2-125.mps Reading problem data from `mps/stormG2-125.mps'... Problem: storm Objective: COST 66186 rows, 157496 columns, 529317 non-zeros 361545 records were read GLPK Simplex Optimizer, v4.44 66186 rows, 157496 columns, 529317 non-zeros Preprocessing... 56297 rows, 138621 columns, 376431 non-zeros Scaling... A: min|aij| = 1.000e+00 max|aij| = 7.100e+01 ratio = 7.100e+01 GM: min|aij| = 5.453e-01 max|aij| = 1.834e+00 ratio = 3.363e+00 EQ: min|aij| = 3.089e-01 max|aij| = 1.000e+00 ratio = 3.237e+00 Constructing initial basis... Size of triangular part = 56297 0: obj = 2.378880431e+07 infeas = 9.855e+02 (0) 500: obj = 2.409722061e+07 infeas = 1.619e+02 (0) 1000: obj = 2.400914362e+07 infeas = 7.265e+01 (0) * 1306: obj = 2.397999807e+07 infeas = 2.657e-14 (0) * 1500: obj = 1.811586371e+07 infeas = 5.694e-13 (0) * 2000: obj = 1.801940390e+07 infeas = 3.251e-15 (0) * 2500: obj = 1.794825443e+07 infeas = 1.709e-14 (0) * 3000: obj = 1.791757559e+07 infeas = 1.709e-14 (0) * 3500: obj = 1.790501280e+07 infeas = 1.818e-14 (0) * 4000: obj = 1.790258723e+07 infeas = 2.416e-14 (0) * 4500: obj = 1.788533856e+07 infeas = 2.416e-14 (0) * 5000: obj = 1.787094014e+07 infeas = 3.721e-14 (0) * 5500: obj = 1.785192945e+07 infeas = 3.446e-14 (0) * 6000: obj = 1.783178770e+07 infeas = 2.372e-14 (0) * 6500: obj = 1.782197898e+07 infeas = 2.378e-14 (0) * 7000: obj = 1.780099794e+07 infeas = 2.372e-14 (0) * 7500: obj = 1.778912557e+07 infeas = 2.372e-14 (0) * 8000: obj = 1.775661482e+07 infeas = 5.703e-15 (0) * 8500: obj = 1.772586727e+07 infeas = 1.134e-14 (0) * 9000: obj = 1.769688599e+07 infeas = 7.944e-15 (0) * 9500: obj = 1.766455374e+07 infeas = 2.213e-15 (0) * 10000: obj = 1.764059961e+07 infeas = 2.958e-14 (0) * 10500: obj = 1.762643585e+07 infeas = 9.513e-15 (0) * 11000: obj = 1.756815865e+07 infeas = 0.000e+00 (0) * 11500: obj = 1.750986487e+07 infeas = 0.000e+00 (0) * 12000: obj = 1.735600714e+07 infeas = 0.000e+00 (0) * 12500: obj = 1.734352588e+07 infeas = 1.180e-16 (0) * 13000: obj = 1.732216346e+07 infeas = 0.000e+00 (0) * 13500: obj = 1.730251010e+07 infeas = 1.105e-14 (0) * 14000: obj = 1.728403483e+07 infeas = 9.127e-15 (0) * 14500: obj = 1.727064864e+07 infeas = 3.319e-14 (0) * 15000: obj = 1.725626301e+07 infeas = 2.415e-14 (0) * 15500: obj = 1.718524444e+07 infeas = 1.066e-14 (0) * 16000: obj = 1.702258312e+07 infeas = 7.105e-15 (0) * 16500: obj = 1.692392259e+07 infeas = 7.105e-15 (0) * 17000: obj = 1.691772676e+07 infeas = 7.105e-15 (0) * 17500: obj = 1.690366060e+07 infeas = 7.105e-15 (0) * 18000: obj = 1.690063151e+07 infeas = 7.105e-15 (0) * 18500: obj = 1.689028587e+07 infeas = 7.656e-15 (0) * 19000: obj = 1.688373350e+07 infeas = 7.105e-15 (0) * 19500: obj = 1.686762492e+07 infeas = 7.105e-15 (0) * 20000: obj = 1.682344675e+07 infeas = 7.105e-15 (0) * 20500: obj = 1.681371303e+07 infeas = 9.096e-15 (0) * 21000: obj = 1.680094433e+07 infeas = 7.994e-15 (0) * 21500: obj = 1.679174135e+07 infeas = 9.561e-15 (0) * 22000: obj = 1.678764046e+07 infeas = 2.193e-14 (0) * 22500: obj = 1.678364462e+07 infeas = 7.105e-15 (0) * 23000: obj = 1.677524051e+07 infeas = 7.740e-15 (0) * 23500: obj = 1.677275548e+07 infeas = 7.105e-15 (0) * 24000: obj = 1.676672092e+07 infeas = 7.112e-15 (0) * 24500: obj = 1.675969996e+07 infeas = 1.409e-14 (0) * 25000: obj = 1.675762966e+07 infeas = 7.109e-15 (0) * 25500: obj = 1.675357837e+07 infeas = 7.105e-15 (0) * 26000: obj = 1.674946828e+07 infeas = 8.833e-15 (0) * 26500: obj = 1.674544206e+07 infeas = 8.365e-15 (0) * 27000: obj = 1.673782657e+07 infeas = 1.772e-14 (0) * 27500: obj = 1.673139785e+07 infeas = 8.943e-15 (0) * 28000: obj = 1.672337263e+07 infeas = 8.397e-15 (0) * 28500: obj = 1.671125347e+07 infeas = 1.525e-14 (0) * 29000: obj = 1.665844665e+07 infeas = 7.985e-15 (0) * 29500: obj = 1.665513255e+07 infeas = 1.185e-14 (0) * 30000: obj = 1.662495328e+07 infeas = 1.041e-14 (0) * 30500: obj = 1.662069542e+07 infeas = 1.331e-14 (0) * 31000: obj = 1.661709521e+07 infeas = 7.702e-15 (0) * 31500: obj = 1.660981289e+07 infeas = 2.256e-14 (0) * 32000: obj = 1.659151011e+07 infeas = 2.256e-14 (0) * 32500: obj = 1.657755149e+07 infeas = 3.856e-14 (0) * 33000: obj = 1.656664191e+07 infeas = 3.988e-15 (0) * 33500: obj = 1.655734022e+07 infeas = 1.068e-14 (0) * 34000: obj = 1.655372543e+07 infeas = 3.596e-14 (0) * 34500: obj = 1.654755089e+07 infeas = 3.690e-15 (0) * 35000: obj = 1.653795230e+07 infeas = 4.814e-15 (0) * 35500: obj = 1.653150790e+07 infeas = 1.158e-14 (0) * 36000: obj = 1.652708058e+07 infeas = 2.650e-14 (0) * 36500: obj = 1.652093551e+07 infeas = 7.105e-15 (0) * 37000: obj = 1.642360216e+07 infeas = 1.212e-14 (0) * 37500: obj = 1.640189789e+07 infeas = 1.379e-14 (0) * 38000: obj = 1.640162355e+07 infeas = 3.258e-14 (0) * 38500: obj = 1.639752405e+07 infeas = 2.600e-14 (0) * 39000: obj = 1.633764236e+07 infeas = 2.600e-14 (0) * 39500: obj = 1.626618121e+07 infeas = 3.419e-14 (0) * 40000: obj = 1.620683601e+07 infeas = 5.574e-14 (0) * 40500: obj = 1.617773357e+07 infeas = 3.722e-14 (0) * 41000: obj = 1.615373246e+07 infeas = 8.567e-14 (0) * 41500: obj = 1.614661720e+07 infeas = 4.416e-14 (0) * 42000: obj = 1.612933098e+07 infeas = 4.467e-14 (0) * 42500: obj = 1.611336425e+07 infeas = 3.783e-14 (0) * 43000: obj = 1.607405010e+07 infeas = 4.448e-14 (0) * 43500: obj = 1.603214064e+07 infeas = 4.104e-14 (0) * 44000: obj = 1.599678130e+07 infeas = 4.174e-14 (0) * 44500: obj = 1.599452217e+07 infeas = 4.174e-14 (0) * 45000: obj = 1.595413481e+07 infeas = 3.254e-13 (0) * 45500: obj = 1.588239192e+07 infeas = 2.951e-13 (0) * 46000: obj = 1.585548493e+07 infeas = 4.612e-14 (0) * 46500: obj = 1.581761608e+07 infeas = 2.165e-13 (0) * 47000: obj = 1.578611911e+07 infeas = 2.555e-13 (0) * 47500: obj = 1.577610349e+07 infeas = 3.778e-13 (0) * 48000: obj = 1.575776444e+07 infeas = 3.123e-13 (0) * 48500: obj = 1.572573868e+07 infeas = 3.299e-13 (0) * 49000: obj = 1.567914022e+07 infeas = 3.233e-13 (0) * 49500: obj = 1.564635353e+07 infeas = 3.360e-13 (0) * 50000: obj = 1.561304417e+07 infeas = 3.197e-13 (0) * 50500: obj = 1.560898369e+07 infeas = 3.078e-13 (0) * 51000: obj = 1.560843242e+07 infeas = 3.078e-13 (0) * 51500: obj = 1.559529690e+07 infeas = 4.075e-13 (0) * 52000: obj = 1.557689287e+07 infeas = 4.089e-13 (0) * 52500: obj = 1.553217132e+07 infeas = 4.926e-13 (0) * 53000: obj = 1.551812397e+07 infeas = 3.078e-13 (0) * 53500: obj = 1.551713614e+07 infeas = 3.105e-13 (0) * 54000: obj = 1.551418233e+07 infeas = 3.078e-13 (0) * 54500: obj = 1.551252078e+07 infeas = 3.196e-13 (0) * 54822: obj = 1.551209208e+07 infeas = 7.037e-13 (0) OPTIMAL SOLUTION FOUND Time used: 232.1 secs Memory used: 158.1 Mb (165783264 bytes) 233.55user 0.07system 3:53.61elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+72outputs (0major+42454minor)pagefaults 0swaps