ILOG CPLEX 11.110, 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 1559 rows and 30683 columns.
MIP Presolve modified 2666 coefficients.
Aggregator did 757 substitutions.
Reduced MIP has 19416 rows, 17298 columns, and 179023 nonzeros.
presolving objective offset = 0.00226443 (restat: 0)
Problem: bench/atlanta-ip.mps
Max iter Stage 1: 10000
Max iter Stage 2: 2000
Min change: 20
Initial Presolve: Yes
Imported 19416 rows and 17298 columns
Objective sense: Minimize
Problem is MIP: Yes
Initial Algorithm: Auto
16122 integer variables (16107 of which are binary and 15 are general integer)
1176 continuous variables
Solving relaxed problem...0-    0           -1   0      81.2576     300.147
done obj=81.2554 + 0.00226443 = 81.2576
Rounding solution...done

Stage 1...
improved distance by 0percent
1-    1      213.232   0      81.7828     101.068
improved distance by 0.271135percent
1-    2      57.8147   0      82.5298     48.7339
improved distance by 0.527835percent
1-    3      30.5166   0       83.908     29.7032
improved distance by 0.77789percent
1-    4      23.7386   0      84.8162     24.0254
1-    5       24.936   0      85.8635     21.2248
improved distance by 0.907112percent
1-    6      21.5336   0      86.0301     20.0253
improved distance by 0.866722percent
1-    7      18.6636   0      86.0901     19.3219
improved distance by 0.971297percent
1-    8      18.1279   0        86.77      18.231
improved distance by 0.942852percent
1-    9       17.092   0      87.1403     17.3029
improved distance by 0.853488percent
1-   10      14.5878   0      88.2375     14.8915
improved distance by 0.994402percent
1-   11      14.5061   0      88.3061     14.8518
improved distance by 0.94419percent
1-   12      13.6965   0       89.113     14.0253
improved distance by 0.992039percent
1-   13      13.5875   0      89.2318     13.9753
1-   14      13.5875   0      89.2318     13.9753
1-   15      19.2089   0      89.2417     15.8189
1-   16      19.5564   0      89.2417     15.8189
improved distance by 0.97958percent
1-   17        13.31   0      90.4339       13.31
improved distance by 0.936019percent
1-   18      12.4584   0      91.0511     11.1249
1-   19      13.4468   0      91.0888     8.02911
s  iter        delta rst          obj    fractionality  incumbent
improved distance by 0.410305percent
1-   20      5.11177   0      92.6948     5.11177
1-   21      13.6715   0      92.3428     7.71838
1-   22      7.62317   0      92.5236     7.64645
1-   23      11.0179   0      92.3428     7.71838
1-   24      10.9019   0      91.3212     6.10552
1-   25      10.6952   0      91.3524     7.88979
improved distance by 0.714046percent
1-   26      3.65004   0      96.9647     1.04271
improved distance by 0.368865percent
1-   27      1.34637   0      96.9647     1.04271
improved distance by 0.742736percent
1-   28            1   0      100.618    0.696335
1-   29            1   0      100.618    0.696335
1-   30            1   0      100.618    0.696335
improved distance by 0percent
1-   31            0   0      102.011 2.44249e-15

Binary variables didn't change
Total stage 1 restarts: 0
Solution with obj=102.009 + 0.00226443 = 102.011 found
Writing MIP start values to file bench/atlanta-ip.mst
Solution (only non-zero entries are reported):
obj                            =          102.011
x5                             =                1
x10                            =                1
x15                            =                1
x23                            =                1
x27                            =                1
x35                            =                1
x47                            =                1
x52                            =                1
x58                            =                1
x64                            =                1
x70                            =                1
x76                            =                1
x89                            =                1
x100                           =                1
x106                           =                1
x112                           =                1
x117                           =                1
x123                           =                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
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
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
x668                           =                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
x1148                          =                1
x1221                          =                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
x1556                          =                1
x1561                          =                1
x1574                          =                1
x1577                          =                1
x1580                          =                1
x1581                          =                1
x1631                          =                1
x1635                          =                1
x1638                          =                1
x1649                          =                1
x1652                          =                1
x1655                          =                1
x1656                          =                1
x1677                          =                1
x1757                          =                1
x1766                          =                1
x1784                          =                1
x1896                          =                1
x1897                          =                1
x1910                          =                1
x1913                          =                1
x1918                          =                1
x1932                          =                1
x1936                          =                1
x1938                          =                1
x2073                          =                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
x2566                          =                1
x2611                          =                1
x2616                          =                1
x2630                          =                1
x2650                          =                1
x2663                          =                1
x2802                          =                1
x2873                          =                1
x2874                          =                1
x2875                          =                1
x2935                          =                1
x2936                          =                1
x2988                          =                1
x2990                          =                1
x3019                          =                1
x3027                          =                1
x3052                          =                1
x3057                          =                1
x3061                          =                1
x3086                          =                1
x3092                          =                1
x3094                          =                1
x3119                          =                1
x3124                          =                1
x3127                          =                1
x3129                          =                1
x3163                          =                1
x3189                          =                1
x3222                          =                1
x3226                          =                1
x3228                          =                1
x3265                          =                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
x3713                          =                1
x3758                          =                1
x3759                          =                1
x3768                          =                1
x3771                          =                1
x3797                          =                1
x3798                          =                1
x3810                          =                1
x3844                          =                1
x3926                          =                1
x3940                          =                1
x3955                          =                1
x4126                          =                1
x4127                          =                1
x4140                          =                1
x4144                          =                1
x4156                          =                1
x4169                          =                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
x4792                          =                1
x4817                          =                1
x4823                          =                1
x4825                          =                1
x4837                          =                1
x4899                          =                1
x4900                          =                1
x4947                          =                1
x5003                          =                1
x5008                          =                1
x5025                          =                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
x5416                          =                1
x5420                          =                1
x5449                          =                1
x5457                          =                1
x5489                          =                1
x5491                          =                1
x5555                          =                1
x5593                          =                1
x5619                          =                1
x5657                          =                1
x5693                          =                1
x5721                          =                1
x5754                          =                1
x5755                          =                1
x5761                          =                1
x5762                          =                1
x5794                          =                1
x5831                          =                1
x5836                          =                1
x5838                          =                1
x5841                          =                1
x5843                          =                1
x5847                          =                1
x5848                          =                1
x5850                          =                1
x5853                          =                1
x5854                          =                1
x5889                          =                1
x5892                          =                1
x5924                          =                1
x5940                          =                1
x5944                          =                1
x6049                          =                1
x6061                          =                1
x6081                          =                1
x6082                          =                1
x6087                          =                1
x6094                          =                1
x6146                          =                1
x6147                          =                1
x6158                          =                1
x6189                          =                1
x6299                          =                1
x6304                          =                1
x6322                          =                1
x6414                          =                1
x6426                          =                1
x6439                          =                1
x6447                          =                1
x6448                          =                1
x6453                          =                1
x6460                          =                1
x6473                          =                1
x6580                          =                1
x6658                          =                1
x6663                          =                1
x6695                          =                1
x6696                          =                1
x6723                          =                1
x6776                          =                1
x6777                          =                1
x6789                          =                1
x6791                          =                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
x7394                          =                1
x7395                          =                1
x7437                          =                1
x7442                          =                1
x7473                          =                1
x7480                          =                1
x7511                          =                1
x7582                          =                1
x7645                          =                1
x7687                          =                1
x7754                          =                1
x7789                          =                1
x7790                          =                1
x7795                          =                1
x7829                          =                1
x7866                          =                1
x7871                          =                1
x7905                          =                1
x7938                          =                1
x7941                          =                1
x7975                          =                1
x7993                          =                1
x7997                          =                1
x8109                          =                1
x8123                          =                1
x8143                          =                1
x8144                          =                1
x8150                          =                1
x8157                          =                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
x8631                          =                1
x8714                          =                1
x8719                          =                1
x8805                          =                1
x8806                          =                1
x8818                          =                1
x8820                          =                1
x8866                          =                1
x8882                          =                1
x9027                          =                1
x9028                          =                1
x9122                          =                1
x9141                          =                1
x9161                          =                1
x9166                          =                1
x9176                          =                1
x9314                          =                1
x9387                          =                1
x9388                          =                1
x9389                          =                1
x9443                          =                1
x9444                          =                1
x9490                          =                1
x9494                          =                1
x9525                          =                1
x9529                          =                1
x9562                          =                1
x9591                          =                1
x9600                          =                1
x9632                          =                1
x9635                          =                1
x9695                          =                1
x9733                          =                1
x9826                          =                1
x9859                          =                1
x9860                          =                1
x9864                          =                1
x9897                          =                1
x9932                          =                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
x10523                         =                1
x10531                         =                1
x10532                         =                1
x10537                         =                1
x10544                         =                1
x10557                         =                1
x10657                         =                1
x10735                         =                1
x10740                         =                1
x10775                         =                1
x10797                         =                1
x10835                         =                1
x10836                         =                1
x10848                         =                1
x10850                         =                1
x10883                         =                1
x10890                         =                1
x10904                         =                1
x11047                         =                1
x11048                         =                1
x11136                         =                1
x11153                         =                1
x11173                         =                1
x11175                         =                1
x11187                         =                1
x11338                         =                1
x11407                         =                1
x11408                         =                1
x11409                         =                1
x11451                         =                1
x11452                         =                1
x11492                         =                1
x11497                         =                1
x11500                         =                1
x11507                         =                1
x11511                         =                1
x11512                         =                1
x11514                         =                1
x11523                         =                1
x11528                         =                1
x11557                         =                1
x11586                         =                1
x11588                         =                1
x11589                         =                1
x11594                         =                1
x11595                         =                1
x11623                         =                1
x11628                         =                1
x11684                         =                1
x11686                         =                1
x11687                         =                1
x11690                         =                1
x11719                         =                1
x11810                         =                1
x11842                         =                1
x11844                         =                1
x11845                         =                1
x11874                         =                1
x11907                         =                1
x12009                         =                1
x12017                         =                1
x12019                         =                1
x12116                         =                1
x12128                         =                1
x12147                         =                1
x12150                         =                1
x12151                         =                1
x12159                         =                1
x12228                         =                1
x12335                         =                1
x12338                         =                1
x12339                         =                1
x12349                         =                1
x12364                         =                1
x12433                         =                1
x12445                         =                1
x12458                         =                1
x12469                         =                1
x12483                         =                1
x12487                         =                1
x12489                         =                1
x12582                         =                1
x12616                         =                1
x12687                         =                1
x12690                         =                1
x12691                         =                1
x12701                         =                1
x12715                         =                1
x12717                         =                1
x12720                         =                1
x12723                         =                1
x12724                         =                1
x12727                         =                1
x12730                         =                1
x12735                         =                1
x12749                         =                1
x12751                         =                1
x12790                         =                1
x12791                         =                1
x12803                         =                1
x12805                         =                1
x12837                         =                1
x12846                         =                1
x12860                         =                1
x12984                         =                1
x12985                         =                1
x13030                         =                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
x13552                         =                1
x13558                         =                1
x13650                         =                1
x13721                         =                1
x13743                         =                1
x13781                         =                1
x13875                         =                1
x13910                         =                1
x13915                         =                1
x13947                         =                1
x13996                         =                1
x14026                         =                1
x14044                         =                1
x14048                         =                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
x14245                         =                1
x14248                         =                1
x14251                         =                1
x14252                         =                1
x14348                         =                1
x14357                         =                1
x14371                         =                1
x14456                         =                1
x14475                         =                1
x14479                         =                1
x14481                         =                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
x14820                         =                1
x14823                         =                1
x14824                         =                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
x15605                         =                1
x15609                         =                1
x15698                         =                1
x15764                         =                1
x15786                         =                1
x15822                         =                1
x15887                         =                1
x15914                         =                1
x15946                         =                1
x15947                         =                1
x15950                         =                1
x15986                         =                1
x16001                         =                1
x16006                         =                1
x16008                         =                1
x16087                         =                1
x16102                         =                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
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
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
x19228                         =                1
x19229                         =                1
x19251                         =                1
x19290                         =                1
x19295                         =                1
x19324                         =                1
x19331                         =                1
x19360                         =                1
x19387                         =                1
x19401                         =                1
x19428                         =                1
x19434                         =                1
x19525                         =                1
x19596                         =                1
x19616                         =                1
x19655                         =                1
x19725                         =                1
x19750                         =                1
x19784                         =                1
x19785                         =                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
x20289                         =                1
x20294                         =                1
x20306                         =                1
x20308                         =                1
x20310                         =                1
x20406                         =                1
x20487                         =                1
x20496                         =                1
x20530                         =                1
x20531                         =                1
x20653                         =                1
x20867                         =                1
x20888                         =                1
x20904                         =                1
x20909                         =                1
x20921                         =                1
x21081                         =                1
x21171                         =                1
x21217                         =                1
x21222                         =                1
x21253                         =                1
x21260                         =                1
x21291                         =                1
x21320                         =                1
x21334                         =                1
x21363                         =                1
x21369                         =                1
x21466                         =                1
x21541                         =                1
x21563                         =                1
x21604                         =                1
x21671                         =                1
x21672                         =                1
x21702                         =                1
x21737                         =                1
x21738                         =                1
x21743                         =                1
x21778                         =                1
x21815                         =                1
x21820                         =                1
x21854                         =                1
x21902                         =                1
x21905                         =                1
x21938                         =                1
x21960                         =                1
x21964                         =                1
x22069                         =                1
x22087                         =                1
x22103                         =                1
x22104                         =                1
x22110                         =                1
x22121                         =                1
x22176                         =                1
x22177                         =                1
x22194                         =                1
x22289                         =                1
x22307                         =                1
x22320                         =                1
x22324                         =                1
x22325                         =                1
x22331                         =                1
x22342                         =                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
x23230                         =                1
x23231                         =                1
x23270                         =                1
x23275                         =                1
x23306                         =                1
x23313                         =                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
x23995                         =                1
x24017                         =                1
x24020                         =                1
x24133                         =                1
x24151                         =                1
x24168                         =                1
x24169                         =                1
x24175                         =                1
x24186                         =                1
x24245                         =                1
x24246                         =                1
x24263                         =                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
x25230                         =                1
x25277                         =                1
x25278                         =                1
x25301                         =                1
x25364                         =                1
x25369                         =                1
x25398                         =                1
x25405                         =                1
x25434                         =                1
x25461                         =                1
x25475                         =                1
x25502                         =                1
x25508                         =                1
x25599                         =                1
x25670                         =                1
x25690                         =                1
x25730                         =                1
x25802                         =                1
x25825                         =                1
x25858                         =                1
x25859                         =                1
x25864                         =                1
x25894                         =                1
x25929                         =                1
x25934                         =                1
x25966                         =                1
x26015                         =                1
x26018                         =                1
x26048                         =                1
x26068                         =                1
x26072                         =                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
x26528                         =                1
x26544                         =                1
x26557                         =                1
x26561                         =                1
x26562                         =                1
x26568                         =                1
x26577                         =                1
x26590                         =                1
x26702                         =                1
x26739                         =                1
x26757                         =                1
x26914                         =                1
x26915                         =                1
x26969                         =                1
x26990                         =                1
x27006                         =                1
x27011                         =                1
x27023                         =                1
x27178                         =                1
x27247                         =                1
x27248                         =                1
x27249                         =                1
x27301                         =                1
x27302                         =                1
x27310                         =                1
x27315                         =                1
x27344                         =                1
x27351                         =                1
x27380                         =                1
x27407                         =                1
x27421                         =                1
x27448                         =                1
x27454                         =                1
x27545                         =                1
x27616                         =                1
x27636                         =                1
x27675                         =                1
x27768                         =                1
x27802                         =                1
x27803                         =                1
x27808                         =                1
x27842                         =                1
x27877                         =                1
x27882                         =                1
x27914                         =                1
x27959                         =                1
x27962                         =                1
x27993                         =                1
x28013                         =                1
x28017                         =                1
x28122                         =                1
x28154                         =                1
x28155                         =                1
x28161                         =                1
x28172                         =                1
x28223                         =                1
x28224                         =                1
x28241                         =                1
x28376                         =                1
x28385                         =                1
x28401                         =                1
x28491                         =                1
x28509                         =                1
x28520                         =                1
x28524                         =                1
x28525                         =                1
x28531                         =                1
x28542                         =                1
x28553                         =                1
x28660                         =                1
x28737                         =                1
x28746                         =                1
x28781                         =                1
x28782                         =                1
x28837                         =                1
x28840                         =                1
x28857                         =                1
x28858                         =                1
x28915                         =                1
x28936                         =                1
x28952                         =                1
x28957                         =                1
x28969                         =                1
x29126                         =                1
x29195                         =                1
x29196                         =                1
x29197                         =                1
x29248                         =                1
x29249                         =                1
x29281                         =                1
x29286                         =                1
x29317                         =                1
x29324                         =                1
x29355                         =                1
x29384                         =                1
x29398                         =                1
x29427                         =                1
x29433                         =                1
x29530                         =                1
x29605                         =                1
x29627                         =                1
x29668                         =                1
x29767                         =                1
x29802                         =                1
x29803                         =                1
x29808                         =                1
x29845                         =                1
x29883                         =                1
x29888                         =                1
x29923                         =                1
x29980                         =                1
x29983                         =                1
x30016                         =                1
x30034                         =                1
x30040                         =                1
x30041                         =                1
x30158                         =                1
x30176                         =                1
x30192                         =                1
x30193                         =                1
x30199                         =                1
x30210                         =                1
x30267                         =                1
x30268                         =                1
x30285                         =                1
x30429                         =                1
x30438                         =                1
x30452                         =                1
x30557                         =                1
x30575                         =                1
x30584                         =                1
x30592                         =                1
x30593                         =                1
x30599                         =                1
x30610                         =                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
x31310                         =                1
x31324                         =                1
x31328                         =                1
x31340                         =                1
x33192                         =                1
x33193                         =                1
x33194                         =                1
x33195                         =            99986
x33196                         =                1
x33197                         =                1
x33198                         =                1
x33199                         =                1
x33200                         =                1
x33201                         =                1
x33202                         =                1
x33203                         =                1
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
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 31 iterations!
First sol: obj=102.0109494921299 time=22 iter=31 restarts=0 stage=1
21.99user 0.08system 0:22.07elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+14160outputs (0major+40465minor)pagefaults 0swaps