ILOG CPLEX 10.200, licensed to "arizona-tempe, az", options: e m b q p=8 
FPgen-t 06/06/2005 - Bertacco, Fischetti, Lodi
        09/16/2005 - Achterberg, Berthold

applying MIP presolve...

Selected objective sense:  MINIMIZE
Selected objective  name:  obj
Selected RHS        name:  rhs
Selected bound      name:  bnd
Tried aggregator 3 times.
MIP Presolve eliminated 1529 rows and 30641 columns.
MIP Presolve modified 2708 coefficients.
Aggregator did 754 substitutions.
Reduced MIP has 19446 rows, 17343 columns, and 179287 nonzeros.
presolving objective offset = 0.00223696 (restat: 0)
Problem: atlanta-ip.mps
Max iter Stage 1: 10000
Max iter Stage 2: 2000
Min change: 20
Initial Presolve: Yes
Imported 19446 rows and 17343 columns
Objective sense: Minimize
Problem is MIP: Yes
Initial Algorithm: Auto
16167 integer variables (16152 of which are binary and 15 are general integer)
1176 continuous variables
Solving relaxed problem...0-    0           -1   0      81.2576     299.383
done obj=81.2554 + 0.00223696 = 81.2576
Rounding solution...done

Stage 1...
improved distance by 0percent
1-    1      173.748   0      99.0973     34.1803
improved distance by 0.109531percent
1-    2      19.0308   0      104.736     13.6152
improved distance by 0.684721percent
1-    3      13.0308   0      104.736     13.6152
1-    4      13.8901   0      104.953     13.8719
1-    5      16.2193   0       105.87     14.9912
improved distance by 0.926601percent
1-    6      12.0743   0          105     7.70239
improved distance by 0.58167percent
1-    7      7.02327   0      104.623     7.55331
1-    8      7.02327   0      104.623     7.55331
1-    9      447.581   1       107.77      9.7357
improved distance by 0.956067percent
1-   10      6.71472   1      109.513     6.92164
improved distance by 0.976387percent
1-   11      6.55617   1      108.488     6.66262
1-   12       10.024   1      115.091     9.46565
1-   13      9.43545   1      115.773      9.1209
1-   14      9.11652   1      115.702      9.0613
1-   15      22.3268   1      116.799     8.37558
1-   16      15.3268   1      117.252     8.38051
1-   17      7.99818   1      114.017     6.45273
improved distance by 0.976369percent
1-   18      6.40124   1      113.446     5.94963
1-   19       6.4335   1      113.446     5.94963
s  iter        delta rst          obj    fractionality  incumbent
improved distance by 0.926728percent
1-   20      5.93221   1      113.308     5.93221
1-   21      14.0685   1       114.97     8.01453
1-   22      6.44922   1      113.287     6.18825
1-   23      7.24243   1      113.275      5.7157
1-   24       6.4335   1      113.446     5.75608
1-   25      6.17721   1      113.308     5.71472
improved distance by 0.963338percent
1-   26      5.71472   1      113.308     5.71472
1-   27      473.451   2      113.645     6.03493
1-   28      7.25764   2      113.502     5.84007
1-   29      32.0926   2      119.629     6.25695
improved distance by 0.447666percent
1-   30      2.55829   2      125.143      1.7324
improved distance by 0.0995287percent
1-   31     0.254623   2      128.099    0.254623
1-   32            1   2      145.191        0.04
improved distance by 0.157095percent
1-   33         0.04   2      145.191        0.04
1-   34      453.022   3      145.258   0.0623333
1-   35    0.0623333   3      145.258   0.0623333
1-   36      1.02233   3      145.258   0.0623333
1-   37      485.115   4      145.496    0.115146
1-   38     0.115146   4      145.496    0.115146
improved distance by 0.558333percent
1-   39    0.0223333   4      154.079   0.0223333
s  iter        delta rst          obj    fractionality  incumbent
1-   40      493.022   5      154.079   0.0223333
1-   41    0.0223333   5      154.079   0.0223333
1-   42      481.022   6      154.079   0.0223333
1-   43    0.0223333   6      154.079   0.0223333
1-   44      446.017   7      154.063    0.547398
improved distance by 0.761194percent
1-   45        0.017   7      154.063       0.017
1-   46      490.017   8      154.063       0.017
1-   47        0.017   8      154.063       0.017
1-   48      471.981   9      155.669      1.8378
1-   49      2.07608   9      155.669    0.552083
1-   50      1.07608   9      155.669    0.552083
1-   51     0.552083   9      155.669    0.552083
1-   52      1.07608   9      155.669    0.552083
1-   53       480.24  10      156.163    0.716417
1-   54     0.716417  10      156.163    0.716417
1-   55      1.24042  10      156.163    0.716417
1-   56      431.775  11      156.338    0.774667
1-   57            2  11      156.338    0.774667
1-   58            2  11      156.338    0.774667
1-   59     0.774667  11      156.338    0.774667
s  iter        delta rst          obj    fractionality  incumbent
1-   60      438.769  12      157.646     1.98017
1-   61      1.54408  12      157.646     1.98017
1-   62            3  12      157.646     1.64683
1-   63      2.24042  12      157.646     1.64683
1-   64       1.6765  12      157.646     1.64683
1-   65      1.21075  12      157.646     1.64683
improved distance by 0percent
1-   66            0  12      172.014 1.55431e-15

Binary variables didn't change
Total stage 1 restarts: 12
Solution with obj=172.012 + 0.00223696 = 172.014 found
Writing MIP start values to file atlanta-ip.mst
Solution (only non-zero entries are reported):
obj                            =          172.014
x5                             =                1
x10                            =                1
x16                            =                1
x23                            =                1
x27                            =                1
x35                            =                1
x41                            =                1
x47                            =                1
x53                            =                1
x59                            =                1
x64                            =                1
x70                            =                1
x76                            =                1
x83                            =                1
x89                            =                1
x95                            =                1
x101                           =                1
x107                           =                1
x113                           =                1
x119                           =                1
x125                           =                1
x131                           =                1
x133                           =                1
x138                           =                1
x148                           =                1
x160                           =                1
x174                           =                1
x180                           =                1
x184                           =                1
x190                           =                1
x191                           =                1
x195                           =                1
x197                           =                1
x208                           =                1
x210                           =                1
x218                           =                1
x231                           =                1
x242                           =                1
x248                           =                1
x260                           =                1
x270                           =                1
x271                           =                1
x272                           =                1
x273                           =                1
x276                           =                1
x302                           =                1
x307                           =                1
x317                           =                1
x324                           =                1
x331                           =                1
x333                           =                1
x335                           =                1
x348                           =                1
x352                           =                1
x358                           =                1
x362                           =                1
x366                           =                1
x370                           =                1
x381                           =                1
x383                           =                1
x392                           =                1
x409                           =                1
x414                           =                1
x426                           =                1
x429                           =                1
x432                           =                1
x433                           =                1
x439                           =                1
x440                           =                1
x449                           =                1
x452                           =                1
x465                           =                1
x466                           =                1
x475                           =                1
x492                           =                1
x493                           =                1
x496                           =                1
x497                           =                1
x505                           =                1
x509                           =                1
x510                           =                1
x513                           =                1
x516                           =                1
x528                           =                1
x531                           =                1
x536                           =                1
x539                           =                1
x540                           =                1
x547                           =                1
x551                           =                1
x559                           =                1
x564                           =                1
x568                           =                1
x572                           =                1
x585                           =                1
x590                           =                1
x595                           =                1
x602                           =                1
x606                           =                1
x608                           =                1
x617                           =                1
x622                           =                1
x630                           =                1
x635                           =                1
x647                           =                1
x650                           =                1
x655                           =                1
x657                           =                1
x660                           =                1
x674                           =                1
x681                           =                1
x688                           =                1
x692                           =                1
x701                           =                1
x704                           =                1
x710                           =                1
x711                           =                1
x716                           =                1
x718                           =                1
x726                           =                1
x741                           =                1
x746                           =                1
x750                           =                1
x751                           =                1
x755                           =                1
x756                           =                1
x759                           =                1
x766                           =                1
x767                           =                1
x771                           =                1
x773                           =                1
x779                           =                1
x801                           =                1
x806                           =                1
x816                           =                1
x822                           =                1
x827                           =                1
x831                           =                1
x840                           =                1
x845                           =                1
x855                           =                1
x862                           =                1
x865                           =                1
x873                           =                1
x884                           =                1
x885                           =                1
x886                           =                1
x897                           =                1
x906                           =                1
x907                           =                1
x908                           =                1
x917                           =                1
x918                           =                1
x920                           =                1
x926                           =                1
x927                           =                1
x931                           =                1
x937                           =                1
x942                           =                1
x949                           =                1
x983                           =                1
x989                           =                1
x1049                          =                1
x1120                          =                1
x1140                          =                1
x1143                          =                1
x1144                          =                1
x1148                          =                1
x1161                          =                1
x1164                          =                1
x1169                          =                1
x1221                          =                1
x1228                          =                1
x1229                          =                1
x1236                          =                1
x1253                          =                1
x1258                          =                1
x1266                          =                1
x1270                          =                1
x1274                          =                1
x1277                          =                1
x1279                          =                1
x1300                          =                1
x1305                          =                1
x1338                          =                1
x1406                          =                1
x1410                          =                1
x1413                          =                1
x1543                          =                1
x1556                          =                1
x1561                          =                1
x1574                          =                1
x1577                          =                1
x1580                          =                1
x1581                          =                1
x1631                          =                1
x1635                          =                1
x1638                          =                1
x1640                          =                1
x1641                          =                1
x1649                          =                1
x1652                          =                1
x1655                          =                1
x1656                          =                1
x1677                          =                1
x1745                          =                1
x1757                          =                1
x1766                          =                1
x1773                          =                1
x1774                          =                1
x1776                          =                1
x1777                          =                1
x1781                          =                1
x1784                          =                1
x1896                          =                1
x1897                          =                1
x1910                          =                1
x1913                          =                1
x1918                          =                1
x1930                          =                1
x1931                          =                1
x1932                          =                1
x1936                          =                1
x1938                          =                1
x2073                          =                1
x2096                          =                1
x2097                          =                1
x2109                          =                1
x2150                          =                1
x2159                          =                1
x2199                          =                1
x2200                          =                1
x2237                          =                1
x2302                          =                1
x2303                          =                1
x2315                          =                1
x2317                          =                1
x2365                          =                1
x2374                          =                1
x2392                          =                1
x2393                          =                1
x2519                          =                1
x2538                          =                1
x2539                          =                1
x2540                          =                1
x2541                          =                1
x2566                          =                1
x2611                          =                1
x2616                          =                1
x2626                          =                1
x2627                          =                1
x2630                          =                1
x2650                          =                1
x2663                          =                1
x2802                          =                1
x2849                          =                1
x2852                          =                1
x2855                          =                1
x2873                          =                1
x2874                          =                1
x2875                          =                1
x2928                          =                1
x2929                          =                1
x2935                          =                1
x2936                          =                1
x2988                          =                1
x2990                          =                1
x3009                          =                1
x3010                          =                1
x3013                          =                1
x3016                          =                1
x3017                          =                1
x3019                          =                1
x3027                          =                1
x3052                          =                1
x3057                          =                1
x3061                          =                1
x3086                          =                1
x3092                          =                1
x3094                          =                1
x3101                          =                1
x3102                          =                1
x3119                          =                1
x3124                          =                1
x3127                          =                1
x3129                          =                1
x3148                          =                1
x3151                          =                1
x3152                          =                1
x3163                          =                1
x3183                          =                1
x3184                          =                1
x3189                          =                1
x3222                          =                1
x3226                          =                1
x3228                          =                1
x3247                          =                1
x3248                          =                1
x3265                          =                1
x3275                          =                1
x3278                          =                1
x3281                          =                1
x3314                          =                1
x3386                          =                1
x3422                          =                1
x3513                          =                1
x3516                          =                1
x3554                          =                1
x3570                          =                1
x3574                          =                1
x3653                          =                1
x3659                          =                1
x3661                          =                1
x3701                          =                1
x3705                          =                1
x3706                          =                1
x3713                          =                1
x3758                          =                1
x3759                          =                1
x3768                          =                1
x3771                          =                1
x3797                          =                1
x3798                          =                1
x3810                          =                1
x3824                          =                1
x3825                          =                1
x3828                          =                1
x3844                          =                1
x3926                          =                1
x3940                          =                1
x3955                          =                1
x4126                          =                1
x4127                          =                1
x4130                          =                1
x4131                          =                1
x4137                          =                1
x4140                          =                1
x4145                          =                1
x4160                          =                1
x4166                          =                1
x4343                          =                1
x4344                          =                1
x4359                          =                1
x4395                          =                1
x4418                          =                1
x4421                          =                1
x4431                          =                1
x4433                          =                1
x4436                          =                1
x4447                          =                1
x4499                          =                1
x4500                          =                1
x4633                          =                1
x4634                          =                1
x4646                          =                1
x4648                          =                1
x4681                          =                1
x4709                          =                1
x4723                          =                1
x4777                          =                1
x4778                          =                1
x4779                          =                1
x4780                          =                1
x4791                          =                1
x4792                          =                1
x4793                          =                1
x4797                          =                1
x4817                          =                1
x4823                          =                1
x4825                          =                1
x4837                          =                1
x4899                          =                1
x4900                          =                1
x4947                          =                1
x4999                          =                1
x5000                          =                1
x5003                          =                1
x5008                          =                1
x5025                          =                1
x5041                          =                1
x5042                          =                1
x5046                          =                1
x5059                          =                1
x5126                          =                1
x5129                          =                1
x5145                          =                1
x5211                          =                1
x5249                          =                1
x5282                          =                1
x5283                          =                1
x5284                          =                1
x5350                          =                1
x5351                          =                1
x5354                          =                1
x5355                          =                1
x5358                          =                1
x5416                          =                1
x5420                          =                1
x5449                          =                1
x5457                          =                1
x5486                          =                1
x5487                          =                1
x5489                          =                1
x5491                          =                1
x5555                          =                1
x5593                          =                1
x5602                          =                1
x5603                          =                1
x5610                          =                1
x5619                          =                1
x5645                          =                1
x5648                          =                1
x5649                          =                1
x5657                          =                1
x5680                          =                1
x5681                          =                1
x5693                          =                1
x5721                          =                1
x5754                          =                1
x5755                          =                1
x5759                          =                1
x5794                          =                1
x5826                          =                1
x5829                          =                1
x5831                          =                1
x5834                          =                1
x5835                          =                1
x5889                          =                1
x5892                          =                1
x5924                          =                1
x5940                          =                1
x5944                          =                1
x6049                          =                1
x6061                          =                1
x6081                          =                1
x6082                          =                1
x6087                          =                1
x6094                          =                1
x6098                          =                1
x6099                          =                1
x6105                          =                1
x6146                          =                1
x6147                          =                1
x6158                          =                1
x6189                          =                1
x6251                          =                1
x6299                          =                1
x6304                          =                1
x6315                          =                1
x6316                          =                1
x6321                          =                1
x6322                          =                1
x6414                          =                1
x6426                          =                1
x6439                          =                1
x6447                          =                1
x6448                          =                1
x6453                          =                1
x6460                          =                1
x6465                          =                1
x6466                          =                1
x6472                          =                1
x6473                          =                1
x6573                          =                1
x6574                          =                1
x6579                          =                1
x6580                          =                1
x6658                          =                1
x6663                          =                1
x6695                          =                1
x6696                          =                1
x6723                          =                1
x6771                          =                1
x6772                          =                1
x6776                          =                1
x6777                          =                1
x6789                          =                1
x6791                          =                1
x6813                          =                1
x6814                          =                1
x6821                          =                1
x6824                          =                1
x6833                          =                1
x6847                          =                1
x7005                          =                1
x7006                          =                1
x7096                          =                1
x7113                          =                1
x7128                          =                1
x7131                          =                1
x7134                          =                1
x7147                          =                1
x7270                          =                1
x7339                          =                1
x7340                          =                1
x7341                          =                1
x7344                          =                1
x7345                          =                1
x7394                          =                1
x7395                          =                1
x7437                          =                1
x7442                          =                1
x7473                          =                1
x7480                          =                1
x7511                          =                1
x7582                          =                1
x7587                          =                1
x7588                          =                1
x7645                          =                1
x7687                          =                1
x7754                          =                1
x7789                          =                1
x7790                          =                1
x7795                          =                1
x7805                          =                1
x7806                          =                1
x7813                          =                1
x7829                          =                1
x7831                          =                1
x7832                          =                1
x7837                          =                1
x7866                          =                1
x7871                          =                1
x7905                          =                1
x7938                          =                1
x7941                          =                1
x7975                          =                1
x7993                          =                1
x7997                          =                1
x8109                          =                1
x8123                          =                1
x8142                          =                1
x8143                          =                1
x8150                          =                1
x8155                          =                1
x8157                          =                1
x8159                          =                1
x8171                          =                1
x8172                          =                1
x8174                          =                1
x8175                          =                1
x8183                          =                1
x8184                          =                1
x8198                          =                1
x8232                          =                1
x8347                          =                1
x8352                          =                1
x8370                          =                1
x8457                          =                1
x8471                          =                1
x8484                          =                1
x8492                          =                1
x8493                          =                1
x8499                          =                1
x8506                          =                1
x8519                          =                1
x8593                          =                1
x8631                          =                1
x8714                          =                1
x8719                          =                1
x8805                          =                1
x8806                          =                1
x8818                          =                1
x8820                          =                1
x8830                          =                1
x8831                          =                1
x8834                          =                1
x8835                          =                1
x8866                          =                1
x8882                          =                1
x9021                          =                1
x9022                          =                1
x9027                          =                1
x9028                          =                1
x9122                          =                1
x9141                          =                1
x9161                          =                1
x9166                          =                1
x9176                          =                1
x9314                          =                1
x9320                          =                1
x9321                          =                1
x9387                          =                1
x9388                          =                1
x9389                          =                1
x9443                          =                1
x9444                          =                1
x9490                          =                1
x9494                          =                1
x9525                          =                1
x9529                          =                1
x9542                          =                1
x9545                          =                1
x9548                          =                1
x9562                          =                1
x9591                          =                1
x9600                          =                1
x9632                          =                1
x9635                          =                1
x9646                          =                1
x9649                          =                1
x9652                          =                1
x9695                          =                1
x9733                          =                1
x9826                          =                1
x9859                          =                1
x9860                          =                1
x9864                          =                1
x9897                          =                1
x9932                          =                1
x9979                          =                1
x9980                          =                1
x9985                          =                1
x10004                         =                1
x10007                         =                1
x10038                         =                1
x10054                         =                1
x10058                         =                1
x10157                         =                1
x10169                         =                1
x10189                         =                1
x10190                         =                1
x10195                         =                1
x10202                         =                1
x10257                         =                1
x10258                         =                1
x10269                         =                1
x10395                         =                1
x10400                         =                1
x10418                         =                1
x10498                         =                1
x10510                         =                1
x10514                         =                1
x10517                         =                1
x10521                         =                1
x10523                         =                1
x10524                         =                1
x10527                         =                1
x10528                         =                1
x10531                         =                1
x10532                         =                1
x10537                         =                1
x10544                         =                1
x10555                         =                1
x10556                         =                1
x10557                         =                1
x10621                         =                1
x10636                         =                1
x10637                         =                1
x10644                         =                1
x10645                         =                1
x10657                         =                1
x10735                         =                1
x10740                         =                1
x10743                         =                1
x10744                         =                1
x10775                         =                1
x10797                         =                1
x10835                         =                1
x10836                         =                1
x10848                         =                1
x10850                         =                1
x10858                         =                1
x10859                         =                1
x10883                         =                1
x10890                         =                1
x10904                         =                1
x10917                         =                1
x10918                         =                1
x11047                         =                1
x11048                         =                1
x11136                         =                1
x11153                         =                1
x11156                         =                1
x11157                         =                1
x11173                         =                1
x11175                         =                1
x11187                         =                1
x11338                         =                1
x11407                         =                1
x11408                         =                1
x11409                         =                1
x11451                         =                1
x11452                         =                1
x11491                         =                1
x11492                         =                1
x11497                         =                1
x11523                         =                1
x11528                         =                1
x11557                         =                1
x11567                         =                1
x11570                         =                1
x11575                         =                1
x11579                         =                1
x11582                         =                1
x11583                         =                1
x11586                         =                1
x11588                         =                1
x11589                         =                1
x11594                         =                1
x11595                         =                1
x11623                         =                1
x11628                         =                1
x11637                         =                1
x11640                         =                1
x11643                         =                1
x11684                         =                1
x11686                         =                1
x11687                         =                1
x11690                         =                1
x11719                         =                1
x11810                         =                1
x11842                         =                1
x11844                         =                1
x11845                         =                1
x11874                         =                1
x11907                         =                1
x11930                         =                1
x11931                         =                1
x12009                         =                1
x12017                         =                1
x12019                         =                1
x12021                         =                1
x12024                         =                1
x12025                         =                1
x12103                         =                1
x12116                         =                1
x12128                         =                1
x12147                         =                1
x12150                         =                1
x12151                         =                1
x12159                         =                1
x12228                         =                1
x12293                         =                1
x12335                         =                1
x12338                         =                1
x12339                         =                1
x12349                         =                1
x12351                         =                1
x12354                         =                1
x12359                         =                1
x12364                         =                1
x12433                         =                1
x12445                         =                1
x12458                         =                1
x12469                         =                1
x12477                         =                1
x12478                         =                1
x12483                         =                1
x12487                         =                1
x12489                         =                1
x12582                         =                1
x12616                         =                1
x12687                         =                1
x12690                         =                1
x12691                         =                1
x12701                         =                1
x12718                         =                1
x12720                         =                1
x12723                         =                1
x12724                         =                1
x12727                         =                1
x12730                         =                1
x12735                         =                1
x12749                         =                1
x12751                         =                1
x12790                         =                1
x12791                         =                1
x12794                         =                1
x12795                         =                1
x12801                         =                1
x12803                         =                1
x12805                         =                1
x12837                         =                1
x12846                         =                1
x12860                         =                1
x12970                         =                1
x12971                         =                1
x12984                         =                1
x12985                         =                1
x13030                         =                1
x13068                         =                1
x13081                         =                1
x13091                         =                1
x13092                         =                1
x13093                         =                1
x13105                         =                1
x13119                         =                1
x13141                         =                1
x13150                         =                1
x13246                         =                1
x13282                         =                1
x13313                         =                1
x13314                         =                1
x13315                         =                1
x13367                         =                1
x13368                         =                1
x13413                         =                1
x13417                         =                1
x13447                         =                1
x13454                         =                1
x13483                         =                1
x13512                         =                1
x13525                         =                1
x13540                         =                1
x13541                         =                1
x13552                         =                1
x13558                         =                1
x13559                         =                1
x13560                         =                1
x13647                         =                1
x13648                         =                1
x13650                         =                1
x13719                         =                1
x13720                         =                1
x13721                         =                1
x13743                         =                1
x13763                         =                1
x13764                         =                1
x13769                         =                1
x13781                         =                1
x13796                         =                1
x13797                         =                1
x13875                         =                1
x13910                         =                1
x13915                         =                1
x13947                         =                1
x13948                         =                1
x13949                         =                1
x13996                         =                1
x14012                         =                1
x14013                         =                1
x14018                         =                1
x14026                         =                1
x14044                         =                1
x14048                         =                1
x14110                         =                1
x14122                         =                1
x14141                         =                1
x14144                         =                1
x14147                         =                1
x14148                         =                1
x14159                         =                1
x14164                         =                1
x14174                         =                1
x14177                         =                1
x14180                         =                1
x14181                         =                1
x14227                         =                1
x14228                         =                1
x14230                         =                1
x14233                         =                1
x14235                         =                1
x14245                         =                1
x14248                         =                1
x14251                         =                1
x14252                         =                1
x14348                         =                1
x14357                         =                1
x14371                         =                1
x14456                         =                1
x14473                         =                1
x14474                         =                1
x14475                         =                1
x14479                         =                1
x14481                         =                1
x14489                         =                1
x14490                         =                1
x14493                         =                1
x14498                         =                1
x14508                         =                1
x14512                         =                1
x14514                         =                1
x14591                         =                1
x14628                         =                1
x14706                         =                1
x14715                         =                1
x14748                         =                1
x14749                         =                1
x14774                         =                1
x14798                         =                1
x14801                         =                1
x14816                         =                1
x14817                         =                1
x14818                         =                1
x14820                         =                1
x14823                         =                1
x14824                         =                1
x14837                         =                1
x14840                         =                1
x14846                         =                1
x14847                         =                1
x14862                         =                1
x14870                         =                1
x14886                         =                1
x14901                         =                1
x14902                         =                1
x15022                         =                1
x15025                         =                1
x15040                         =                1
x15045                         =                1
x15048                         =                1
x15049                         =                1
x15053                         =                1
x15054                         =                1
x15089                         =                1
x15132                         =                1
x15151                         =                1
x15169                         =                1
x15174                         =                1
x15184                         =                1
x15311                         =                1
x15347                         =                1
x15381                         =                1
x15382                         =                1
x15429                         =                1
x15430                         =                1
x15472                         =                1
x15476                         =                1
x15503                         =                1
x15505                         =                1
x15509                         =                1
x15539                         =                1
x15567                         =                1
x15578                         =                1
x15579                         =                1
x15580                         =                1
x15585                         =                1
x15588                         =                1
x15591                         =                1
x15605                         =                1
x15609                         =                1
x15698                         =                1
x15718                         =                1
x15719                         =                1
x15720                         =                1
x15721                         =                1
x15764                         =                1
x15786                         =                1
x15803                         =                1
x15806                         =                1
x15809                         =                1
x15822                         =                1
x15887                         =                1
x15903                         =                1
x15904                         =                1
x15914                         =                1
x15946                         =                1
x15947                         =                1
x15950                         =                1
x15986                         =                1
x16001                         =                1
x16006                         =                1
x16008                         =                1
x16087                         =                1
x16102                         =                1
x16111                         =                1
x16112                         =                1
x16118                         =                1
x16119                         =                1
x16122                         =                1
x16127                         =                1
x16128                         =                1
x16132                         =                1
x16187                         =                1
x16188                         =                1
x16201                         =                1
x16231                         =                1
x16310                         =                1
x16317                         =                1
x16331                         =                1
x16428                         =                1
x16443                         =                1
x16452                         =                1
x16460                         =                1
x16461                         =                1
x16465                         =                1
x16474                         =                1
x16483                         =                1
x16598                         =                1
x16671                         =                1
x16676                         =                1
x16677                         =                1
x16679                         =                1
x16713                         =                1
x16714                         =                1
x16742                         =                1
x16775                         =                1
x16776                         =                1
x16784                         =                1
x16786                         =                1
x16830                         =                1
x16847                         =                1
x16970                         =                1
x16971                         =                1
x17055                         =                1
x17070                         =                1
x17077                         =                1
x17078                         =                1
x17079                         =                1
x17088                         =                1
x17089                         =                1
x17093                         =                1
x17102                         =                1
x17109                         =                1
x17110                         =                1
x17111                         =                1
x17120                         =                1
x17121                         =                1
x17126                         =                1
x17135                         =                1
x17142                         =                1
x17143                         =                1
x17144                         =                1
x17266                         =                1
x17298                         =                1
x17299                         =                1
x17300                         =                1
x17352                         =                1
x17353                         =                1
x17356                         =                1
x17357                         =                1
x17360                         =                1
x17400                         =                1
x17405                         =                1
x17432                         =                1
x17466                         =                1
x17491                         =                1
x17505                         =                1
x17530                         =                1
x17536                         =                1
x17619                         =                1
x17686                         =                1
x17704                         =                1
x17741                         =                1
x17807                         =                1
x17827                         =                1
x17858                         =                1
x17859                         =                1
x17864                         =                1
x17895                         =                1
x17929                         =                1
x17934                         =                1
x17965                         =                1
x18008                         =                1
x18011                         =                1
x18040                         =                1
x18058                         =                1
x18071                         =                1
x18072                         =                1
x18078                         =                1
x18089                         =                1
x18090                         =                1
x18091                         =                1
x18138                         =                1
x18139                         =                1
x18156                         =                1
x18250                         =                1
x18259                         =                1
x18269                         =                1
x18356                         =                1
x18374                         =                1
x18380                         =                1
x18388                         =                1
x18389                         =                1
x18395                         =                1
x18406                         =                1
x18412                         =                1
x18503                         =                1
x18579                         =                1
x18588                         =                1
x18619                         =                1
x18620                         =                1
x18689                         =                1
x18694                         =                1
x18696                         =                1
x18736                         =                1
x18890                         =                1
x18967                         =                1
x18988                         =                1
x19003                         =                1
x19008                         =                1
x19020                         =                1
x19167                         =                1
x19179                         =                1
x19180                         =                1
x19201                         =                1
x19225                         =                1
x19228                         =                1
x19231                         =                1
x19236                         =                1
x19239                         =                1
x19249                         =                1
x19250                         =                1
x19251                         =                1
x19290                         =                1
x19295                         =                1
x19314                         =                1
x19315                         =                1
x19324                         =                1
x19331                         =                1
x19338                         =                1
x19339                         =                1
x19360                         =                1
x19383                         =                1
x19384                         =                1
x19387                         =                1
x19390                         =                1
x19393                         =                1
x19396                         =                1
x19401                         =                1
x19428                         =                1
x19434                         =                1
x19525                         =                1
x19596                         =                1
x19612                         =                1
x19613                         =                1
x19616                         =                1
x19655                         =                1
x19725                         =                1
x19750                         =                1
x19777                         =                1
x19780                         =                1
x19781                         =                1
x19784                         =                1
x19785                         =                1
x19786                         =                1
x19787                         =                1
x19790                         =                1
x19828                         =                1
x19863                         =                1
x19868                         =                1
x19900                         =                1
x19951                         =                1
x19954                         =                1
x19985                         =                1
x20005                         =                1
x20008                         =                1
x20156                         =                1
x20165                         =                1
x20177                         =                1
x20251                         =                1
x20272                         =                1
x20274                         =                1
x20276                         =                1
x20277                         =                1
x20280                         =                1
x20281                         =                1
x20289                         =                1
x20294                         =                1
x20304                         =                1
x20305                         =                1
x20306                         =                1
x20308                         =                1
x20310                         =                1
x20406                         =                1
x20487                         =                1
x20496                         =                1
x20513                         =                1
x20514                         =                1
x20530                         =                1
x20531                         =                1
x20653                         =                1
x20867                         =                1
x20888                         =                1
x20904                         =                1
x20909                         =                1
x20921                         =                1
x21081                         =                1
x21157                         =                1
x21158                         =                1
x21171                         =                1
x21217                         =                1
x21222                         =                1
x21253                         =                1
x21260                         =                1
x21291                         =                1
x21302                         =                1
x21303                         =                1
x21320                         =                1
x21334                         =                1
x21362                         =                1
x21368                         =                1
x21459                         =                1
x21462                         =                1
x21466                         =                1
x21474                         =                1
x21479                         =                1
x21492                         =                1
x21541                         =                1
x21563                         =                1
x21604                         =                1
x21671                         =                1
x21672                         =                1
x21702                         =                1
x21737                         =                1
x21738                         =                1
x21743                         =                1
x21778                         =                1
x21794                         =                1
x21795                         =                1
x21815                         =                1
x21820                         =                1
x21854                         =                1
x21902                         =                1
x21905                         =                1
x21938                         =                1
x21960                         =                1
x21964                         =                1
x22061                         =                1
x22069                         =                1
x22075                         =                1
x22076                         =                1
x22087                         =                1
x22103                         =                1
x22104                         =                1
x22110                         =                1
x22121                         =                1
x22176                         =                1
x22177                         =                1
x22183                         =                1
x22184                         =                1
x22194                         =                1
x22290                         =                1
x22311                         =                1
x22317                         =                1
x22324                         =                1
x22325                         =                1
x22331                         =                1
x22342                         =                1
x22346                         =                1
x22347                         =                1
x22355                         =                1
x22473                         =                1
x22519                         =                1
x22528                         =                1
x22564                         =                1
x22565                         =                1
x22620                         =                1
x22623                         =                1
x22640                         =                1
x22641                         =                1
x22661                         =                1
x22681                         =                1
x22844                         =                1
x22845                         =                1
x22902                         =                1
x22925                         =                1
x22941                         =                1
x22946                         =                1
x22960                         =                1
x23121                         =                1
x23194                         =                1
x23195                         =                1
x23196                         =                1
x23215                         =                1
x23216                         =                1
x23230                         =                1
x23231                         =                1
x23270                         =                1
x23275                         =                1
x23288                         =                1
x23289                         =                1
x23298                         =                1
x23299                         =                1
x23306                         =                1
x23313                         =                1
x23333                         =                1
x23334                         =                1
x23337                         =                1
x23344                         =                1
x23373                         =                1
x23387                         =                1
x23416                         =                1
x23422                         =                1
x23519                         =                1
x23594                         =                1
x23616                         =                1
x23657                         =                1
x23756                         =                1
x23791                         =                1
x23792                         =                1
x23797                         =                1
x23834                         =                1
x23871                         =                1
x23876                         =                1
x23910                         =                1
x23959                         =                1
x23962                         =                1
x23963                         =                1
x23964                         =                1
x23965                         =                1
x23966                         =                1
x23995                         =                1
x24017                         =                1
x24020                         =                1
x24124                         =                1
x24133                         =                1
x24151                         =                1
x24168                         =                1
x24169                         =                1
x24175                         =                1
x24186                         =                1
x24189                         =                1
x24190                         =                1
x24245                         =                1
x24246                         =                1
x24263                         =                1
x24264                         =                1
x24265                         =                1
x24274                         =                1
x24275                         =                1
x24278                         =                1
x24405                         =                1
x24414                         =                1
x24428                         =                1
x24570                         =                1
x24579                         =                1
x24615                         =                1
x24616                         =                1
x24693                         =                1
x24694                         =                1
x24703                         =                1
x24705                         =                1
x24744                         =                1
x24764                         =                1
x24924                         =                1
x24925                         =                1
x25010                         =                1
x25033                         =                1
x25049                         =                1
x25054                         =                1
x25068                         =                1
x25211                         =                1
x25212                         =                1
x25217                         =                1
x25230                         =                1
x25277                         =                1
x25278                         =                1
x25301                         =                1
x25364                         =                1
x25369                         =                1
x25398                         =                1
x25405                         =                1
x25434                         =                1
x25448                         =                1
x25449                         =                1
x25456                         =                1
x25461                         =                1
x25475                         =                1
x25502                         =                1
x25508                         =                1
x25596                         =                1
x25597                         =                1
x25599                         =                1
x25670                         =                1
x25690                         =                1
x25719                         =                1
x25720                         =                1
x25730                         =                1
x25802                         =                1
x25825                         =                1
x25858                         =                1
x25859                         =                1
x25864                         =                1
x25894                         =                1
x25920                         =                1
x25921                         =                1
x25929                         =                1
x25934                         =                1
x25966                         =                1
x26015                         =                1
x26018                         =                1
x26048                         =                1
x26068                         =                1
x26072                         =                1
x26159                         =                1
x26169                         =                1
x26201                         =                1
x26202                         =                1
x26208                         =                1
x26217                         =                1
x26266                         =                1
x26267                         =                1
x26283                         =                1
x26412                         =                1
x26413                         =                1
x26419                         =                1
x26430                         =                1
x26444                         =                1
x26529                         =                1
x26548                         =                1
x26554                         =                1
x26561                         =                1
x26562                         =                1
x26568                         =                1
x26577                         =                1
x26581                         =                1
x26582                         =                1
x26590                         =                1
x26702                         =                1
x26739                         =                1
x26757                         =                1
x26914                         =                1
x26915                         =                1
x26969                         =                1
x26990                         =                1
x27006                         =                1
x27011                         =                1
x27015                         =                1
x27016                         =                1
x27023                         =                1
x27178                         =                1
x27247                         =                1
x27248                         =                1
x27249                         =                1
x27301                         =                1
x27302                         =                1
x27310                         =                1
x27315                         =                1
x27328                         =                1
x27331                         =                1
x27336                         =                1
x27344                         =                1
x27351                         =                1
x27380                         =                1
x27407                         =                1
x27421                         =                1
x27448                         =                1
x27454                         =                1
x27545                         =                1
x27557                         =                1
x27560                         =                1
x27565                         =                1
x27616                         =                1
x27636                         =                1
x27675                         =                1
x27768                         =                1
x27802                         =                1
x27803                         =                1
x27808                         =                1
x27842                         =                1
x27877                         =                1
x27882                         =                1
x27883                         =                1
x27884                         =                1
x27914                         =                1
x27915                         =                1
x27916                         =                1
x27959                         =                1
x27962                         =                1
x27963                         =                1
x27966                         =                1
x27968                         =                1
x27993                         =                1
x28002                         =                1
x28003                         =                1
x28013                         =                1
x28017                         =                1
x28112                         =                1
x28122                         =                1
x28154                         =                1
x28155                         =                1
x28161                         =                1
x28172                         =                1
x28223                         =                1
x28224                         =                1
x28241                         =                1
x28376                         =                1
x28385                         =                1
x28401                         =                1
x28492                         =                1
x28511                         =                1
x28517                         =                1
x28524                         =                1
x28525                         =                1
x28531                         =                1
x28542                         =                1
x28544                         =                1
x28545                         =                1
x28553                         =                1
x28652                         =                1
x28653                         =                1
x28658                         =                1
x28659                         =                1
x28660                         =                1
x28737                         =                1
x28746                         =                1
x28781                         =                1
x28782                         =                1
x28837                         =                1
x28840                         =                1
x28857                         =                1
x28858                         =                1
x28879                         =                1
x28880                         =                1
x28886                         =                1
x28889                         =                1
x28915                         =                1
x28916                         =                1
x28919                         =                1
x28922                         =                1
x28936                         =                1
x28952                         =                1
x28957                         =                1
x28969                         =                1
x29126                         =                1
x29129                         =                1
x29130                         =                1
x29195                         =                1
x29196                         =                1
x29197                         =                1
x29248                         =                1
x29249                         =                1
x29281                         =                1
x29286                         =                1
x29313                         =                1
x29314                         =                1
x29317                         =                1
x29324                         =                1
x29355                         =                1
x29384                         =                1
x29393                         =                1
x29394                         =                1
x29398                         =                1
x29415                         =                1
x29416                         =                1
x29427                         =                1
x29433                         =                1
x29530                         =                1
x29605                         =                1
x29627                         =                1
x29668                         =                1
x29767                         =                1
x29802                         =                1
x29803                         =                1
x29808                         =                1
x29830                         =                1
x29831                         =                1
x29834                         =                1
x29845                         =                1
x29847                         =                1
x29848                         =                1
x29853                         =                1
x29883                         =                1
x29888                         =                1
x29923                         =                1
x29980                         =                1
x29983                         =                1
x30016                         =                1
x30034                         =                1
x30040                         =                1
x30041                         =                1
x30043                         =                1
x30046                         =                1
x30047                         =                1
x30146                         =                1
x30158                         =                1
x30176                         =                1
x30185                         =                1
x30188                         =                1
x30189                         =                1
x30192                         =                1
x30193                         =                1
x30199                         =                1
x30210                         =                1
x30267                         =                1
x30268                         =                1
x30285                         =                1
x30429                         =                1
x30438                         =                1
x30452                         =                1
x30558                         =                1
x30579                         =                1
x30583                         =                1
x30592                         =                1
x30593                         =                1
x30599                         =                1
x30610                         =                1
x30614                         =                1
x30615                         =                1
x30619                         =                1
x30749                         =                1
x30832                         =                1
x30841                         =                1
x30877                         =                1
x30878                         =                1
x30962                         =                1
x30963                         =                1
x30971                         =                1
x30973                         =                1
x31019                         =                1
x31039                         =                1
x31206                         =                1
x31207                         =                1
x33192                         =                1
x33193                         =                1
x33194                         =                1
x33195                         =                1
x33196                         =                1
x33197                         =                1
x33198                         =                1
x33199                         =                1
x33200                         =                1
x33201                         =                1
x33202                         =                1
x33203                         =            99986
x33204                         =                1
x33205                         =                1
x33206                         =                1
x33301                         =                1
x33303                         =                1
x33315                         =                1
x33328                         =                1
x33330                         =                1
x33360                         =                1
x33361                         =                1
x33362                         =                1
x33363                         =                1
x33366                         =                1
x33372                         =                1
x33385                         =                1
x33388                         =                1
x33400                         =                1
x33420                         =                1
x33464                         =                1
x33479                         =                1
x33481                         =                1
x33484                         =                1
x33486                         =                1
x33488                         =                1
x33492                         =                1
x33495                         =                1
x33498                         =                1
x33499                         =                1
x33500                         =                1
x33503                         =                1
x33506                         =                1
x33507                         =                1
x33512                         =                1
x33514                         =                1
x33523                         =                1
x33524                         =                1
x33531                         =                1
x33539                         =                1
x33541                         =                1
x33556                         =                1
x33563                         =                1
x33570                         =                1
x33579                         =                1
x33584                         =                1
x33586                         =                1
x33600                         =                1
x33604                         =                1
x33624                         =                1
x33628                         =                1
x33629                         =                1
x33632                         =                1
x33634                         =                1
x33636                         =                1
x33645                         =                1
x33650                         =                1
x33657                         =                1
x33659                         =                1
x33661                         =                1
x33663                         =                1
x33665                         =                1
x33671                         =                1
x33678                         =                1
x33686                         =                1
x33692                         =                1
x33695                         =                1
x33697                         =                1
x33699                         =                1
x33700                         =                1
x33706                         =                1
x33709                         =                1
x33716                         =                1
x33722                         =                1
x33728                         =                1
x33732                         =                1
x33742                         =                1
x33748                         =                1
x33750                         =                1
x33753                         =                1
x33762                         =                1
x33763                         =                1
x33764                         =                1
x33768                         =                1
x33770                         =                1
x33771                         =                1
x33773                         =                1
x33788                         =                1
x33795                         =                1
x33797                         =                1
x33800                         =                1
x33801                         =                1
x33802                         =                1
x33852                         =                1
x33854                         =                1
x33856                         =                1
x33858                         =                1
x33860                         =                1
x33866                         =                1
x33870                         =                1
x33874                         =                1
x33877                         =                1
x33882                         =                1
x33935                         =                1
x33940                         =                1
x33941                         =                1
x33943                         =                1
x33946                         =                1
x33950                         =                1
x33953                         =                1
x33955                         =                1
x33959                         =                1
x33960                         =                1
x33961                         =                1
x33962                         =                1
x33964                         =                1
x33970                         =                1
x33974                         =                1
x33978                         =                1
x33979                         =                1
x33984                         =                1
x33985                         =                1
x33991                         =                1
x33995                         =                1
x33997                         =                1
x34000                         =                1
x34003                         =                1
x34004                         =                1
x34005                         =                1
x34010                         =                1
x34011                         =                1
x34012                         =                1
x34014                         =                1
x34021                         =                1
x34024                         =                1
x34028                         =                1
x34030                         =                1
x34038                         =                1
x34040                         =                1
x34042                         =                1
x34046                         =                1
x34048                         =                1
x34555                         =                1
x36075                         =                1
x37131                         =                1
x38158                         =                1
x39061                         =                1
x40969                         =                1
Feasible FOUND in 66 iterations!
First sol: obj=172.0141878815201 time=23 iter=66 restarts=12 stage=1
22.18user 0.10system 0:22.40elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
96inputs+14216outputs (0major+44887minor)pagefaults 0swaps