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 1 time.
MIP Presolve eliminated 1 rows and 92 columns.
Reduced MIP has 6283 rows, 38264 columns, and 370206 nonzeros.
presolving objective offset = 0 (restat: 0)
Problem: NSR8K.mps
Max iter Stage 1: 10000
Max iter Stage 2: 2000
Min change: 20
Initial Presolve: Yes
Imported 6283 rows and 38264 columns
Objective sense: Minimize
Problem is MIP: Yes
Initial Algorithm: Auto
31982 integer variables (31925 of which are binary and 57 are general integer)
6282 continuous variables
Solving relaxed problem...0-    0           -1   0  1.75008e+07     639.318
done obj=1.75008e+07 + 0 = 1.75008e+07
Rounding solution...done

Stage 1...
improved distance by 0percent
1-    1           61   0  9.15881e+09           5
improved distance by 0.0819672percent
1-    2            5   0  9.15881e+09           5
improved distance by 0percent
1-    3            0   0  9.31081e+09           0

Binary variables didn't change
Total stage 1 restarts: 0
Solution with obj=9.31081e+09 + 0 = 9.31081e+09 found
Writing MIP start values to file NSR8K.mst
Solution (only non-zero entries are reported):
obj                            =      9.31081e+09
X1                             =                1
X4                             =                1
X6                             =                1
X9                             =                1
X10                            =                1
X11                            =                1
X13                            =                1
X18                            =                1
X20                            =                1
X21                            =                1
X22                            =                1
X23                            =                1
X24                            =                1
X26                            =                1
X27                            =                1
X29                            =                1
X30                            =                1
X31                            =                1
X32                            =                1
X33                            =                1
X34                            =                1
X35                            =                1
X38                            =                1
X39                            =                1
X40                            =                1
X42                            =                1
X43                            =                1
X45                            =                1
X46                            =                1
X49                            =                1
X50                            =                1
X53                            =                1
X54                            =                1
X55                            =                1
X57                            =                1
X58                            =                1
X59                            =                1
X62                            =                1
X63                            =                1
X64                            =                1
X67                            =                1
X71                            =                1
X72                            =                1
X74                            =                1
X75                            =                1
X76                            =                1
X81                            =                1
X83                            =                1
X84                            =                1
X88                            =                1
X89                            =                1
X90                            =                1
X91                            =                1
X92                            =                1
X95                            =                1
X97                            =                1
X98                            =                1
X100                           =                1
X101                           =                1
X103                           =                1
X104                           =                1
X106                           =                1
X112                           =                1
X114                           =                1
X115                           =                1
X116                           =                1
X117                           =                1
X118                           =                1
X120                           =                1
X123                           =                1
X124                           =                1
X125                           =                1
X126                           =                1
X127                           =                1
X129                           =                1
X130                           =                1
X132                           =                1
X133                           =                1
X138                           =                1
X141                           =                1
X142                           =                1
X143                           =                1
X144                           =                1
X146                           =                1
X151                           =                1
X152                           =                1
X153                           =                1
X154                           =                1
X156                           =                1
X157                           =                1
X158                           =                1
X162                           =                1
X164                           =                1
X165                           =                1
X167                           =                1
X171                           =                1
X173                           =                1
X176                           =                1
X177                           =                1
X179                           =                1
X181                           =                1
X186                           =                1
X187                           =                1
X189                           =                1
X190                           =                1
X192                           =                1
X193                           =                1
X196                           =                1
X197                           =                1
X200                           =                1
X204                           =                1
X206                           =                1
X209                           =                1
X210                           =                1
X212                           =                1
X213                           =                1
X214                           =                1
X216                           =                1
X218                           =                1
X224                           =                1
X225                           =                1
X228                           =                1
X230                           =                1
X232                           =                1
X235                           =                1
X243                           =                1
X245                           =                1
X248                           =                1
X249                           =                1
X252                           =                1
X255                           =                1
X260                           =                1
X262                           =                1
X264                           =                1
X268                           =                1
X270                           =                1
X271                           =                1
X272                           =                1
X273                           =                1
X274                           =                1
X275                           =                1
X277                           =                1
X278                           =                1
X279                           =                1
X280                           =                1
X286                           =                1
X287                           =                1
X291                           =                1
X292                           =                1
X293                           =                1
X296                           =                1
X300                           =                1
X301                           =                1
X308                           =                1
X309                           =                1
X313                           =                1
X314                           =                1
X315                           =                1
X318                           =                1
X320                           =                1
X321                           =                1
X324                           =                1
X327                           =                1
X329                           =                1
X333                           =                1
X334                           =                1
X337                           =                1
X339                           =                1
X343                           =                1
X344                           =                1
X347                           =                1
X350                           =                1
X353                           =                1
X354                           =                1
X358                           =                1
X359                           =                1
X360                           =                1
X362                           =                1
X363                           =                1
X368                           =                1
X370                           =                1
X372                           =                1
X375                           =                1
X378                           =                1
X381                           =                1
X384                           =                1
X387                           =                1
X388                           =                1
X389                           =                1
X390                           =                1
X391                           =                1
X398                           =                1
X401                           =                1
X403                           =                1
X405                           =                1
X411                           =                1
X416                           =                1
X420                           =                1
X421                           =                1
X423                           =                1
X424                           =                1
X425                           =                1
X426                           =                1
X429                           =                1
X430                           =                1
X432                           =                1
X435                           =                1
X437                           =                1
X439                           =                1
X440                           =                1
X445                           =                1
X449                           =                1
X453                           =                1
X462                           =                1
X464                           =                1
X467                           =                1
X470                           =                1
X474                           =                1
X478                           =                1
X479                           =                1
X480                           =                1
X481                           =                1
X486                           =                1
X488                           =                1
X489                           =                1
X490                           =                1
X491                           =                1
X498                           =                1
X502                           =                1
X504                           =                1
X505                           =                1
X507                           =                1
X514                           =                1
X516                           =                1
X517                           =                1
X518                           =                1
X521                           =                1
X523                           =                1
X536                           =                1
X537                           =                1
X543                           =                1
X544                           =                1
X547                           =                1
X554                           =                1
X555                           =                1
X556                           =                1
X563                           =                1
X566                           =                1
X568                           =                1
X569                           =                1
X570                           =                1
X589                           =                1
X590                           =                1
X591                           =                1
X592                           =                1
X593                           =                1
X594                           =                1
X596                           =                1
X598                           =                1
X599                           =                1
X602                           =                1
X609                           =                1
X612                           =                1
X614                           =                1
X616                           =                1
X623                           =                1
X624                           =                1
X630                           =                1
X631                           =                1
X637                           =                1
X638                           =                1
X639                           =                1
X640                           =                1
X641                           =                1
X644                           =                1
X648                           =                1
X649                           =                1
X650                           =                1
X652                           =                1
X662                           =                1
X663                           =                1
X669                           =                1
X672                           =                1
X676                           =                1
X684                           =                1
X690                           =                1
X693                           =                1
X703                           =                1
X707                           =                1
X708                           =                1
X709                           =                1
X712                           =                1
X714                           =                1
X718                           =                1
X720                           =                1
X721                           =                1
X722                           =                1
X732                           =                1
X737                           =                1
X738                           =                1
X740                           =                1
X741                           =                1
X745                           =                1
X747                           =                1
X751                           =                1
X761                           =                1
X762                           =                1
X768                           =                1
X773                           =                1
X774                           =                1
X775                           =                1
X776                           =                1
X786                           =                1
X790                           =                1
X791                           =                1
X798                           =                1
X802                           =                1
X804                           =                1
X816                           =                1
X817                           =                1
X819                           =                1
X820                           =                1
X821                           =                1
X822                           =                1
X826                           =                1
X827                           =                1
X828                           =                1
X829                           =                1
X833                           =                1
X835                           =                1
X836                           =                1
X837                           =                1
X838                           =                1
X839                           =                1
X842                           =                1
X843                           =                1
X846                           =                1
X848                           =                1
X851                           =                1
X855                           =                1
X856                           =                1
X857                           =                1
X860                           =                1
X862                           =                1
X863                           =                1
X864                           =                1
X866                           =                1
X868                           =                1
X870                           =                1
X871                           =                1
X872                           =                1
X873                           =                1
X874                           =                1
X875                           =                1
X876                           =                1
X877                           =                1
X878                           =                1
X879                           =                1
X880                           =                1
X882                           =                1
X884                           =                1
X885                           =                1
X888                           =                1
X890                           =                1
X892                           =                1
X894                           =                1
X896                           =                1
X897                           =                1
X902                           =                1
X907                           =                1
X908                           =                1
X909                           =                1
X910                           =                1
X912                           =                1
X916                           =                1
X917                           =                1
X920                           =                1
X921                           =                1
X923                           =                1
X925                           =                1
X926                           =                1
X927                           =                1
X929                           =                1
X930                           =                1
X932                           =                1
X934                           =                1
X935                           =                1
X936                           =                1
X937                           =                1
X941                           =                1
X942                           =                1
X943                           =                1
X946                           =                1
X949                           =                1
X950                           =                1
X952                           =                1
X953                           =                1
X954                           =                1
X955                           =                1
X957                           =                1
X958                           =                1
X959                           =                1
X962                           =                1
X968                           =                1
X970                           =                1
X971                           =                1
X972                           =                1
X976                           =                1
X978                           =                1
X981                           =                1
X983                           =                1
X984                           =                1
X987                           =                1
X988                           =                1
X993                           =                1
X995                           =                1
X996                           =                1
X1012                          =                1
X1013                          =                1
X1018                          =                1
X1023                          =                1
X1025                          =                1
X1027                          =                1
X1034                          =                1
X1036                          =                1
X1039                          =                1
X1040                          =                1
X1042                          =                1
X1043                          =                1
X1045                          =                1
X1046                          =                1
X1048                          =                1
X1049                          =                1
X1050                          =                1
X1055                          =                1
X1056                          =                1
X1058                          =                1
X1072                          =                1
X1079                          =                1
X1090                          =                1
X1094                          =                1
X1097                          =                1
X1098                          =                1
X1099                          =                1
X1103                          =                1
X1107                          =                1
X1108                          =                1
X1109                          =                1
X1119                          =                1
X1124                          =                1
X1128                          =                1
X1131                          =                1
X1132                          =                1
X1135                          =                1
X1137                          =                1
X1145                          =                1
X1148                          =                1
X1149                          =                1
X1160                          =                1
X1161                          =                1
X1164                          =                1
X1165                          =                1
X1167                          =                1
X1169                          =                1
X1172                          =                1
X1173                          =                1
X1182                          =                1
X1184                          =                1
X1186                          =                1
X1190                          =                1
X1195                          =                1
X1197                          =                1
X1198                          =                1
X1203                          =                1
X1204                          =                1
X1206                          =                1
X1217                          =                1
X1220                          =                1
X1230                          =                1
X1236                          =                1
X1239                          =                1
X1242                          =                1
X1246                          =                1
X1247                          =                1
X1262                          =                1
X1278                          =                1
X1281                          =                1
X1285                          =                1
X1286                          =                1
X1302                          =                1
X1304                          =                1
X1307                          =                1
X1309                          =                1
X1310                          =                1
X1335                          =                1
X1369                          =                1
X1372                          =                1
X1387                          =                1
X1710                          =                1
X1969                          =                1
X2101                          =                1
X2406                          =                1
X2463                          =                1
X3723                          =                1
X3805                          =                1
X3888                          =                1
X4269                          =                1
X5179                          =                1
X5347                          =                1
X5707                          =                1
X5948                          =                1
X6097                          =                1
X6211                          =                1
X6222                          =                1
X6246                          =                1
X8030                          =                1
X8276                          =                1
X8344                          =                1
X8346                          =                1
X8456                          =                1
X8520                          =                1
X9156                          =                1
X9895                          =                1
X10359                         =                1
X10793                         =                1
X11005                         =                1
X11788                         =                1
X12259                         =                1
X14202                         =                1
X14238                         =                1
X18889                         =                1
X21060                         =                1
X21217                         =                1
X21458                         =                1
X21486                         =                1
X22503                         =                1
X23644                         =                1
X24553                         =                1
X24975                         =                1
X25740                         =                1
X25889                         =                1
X26245                         =                1
X28513                         =                1
X28913                         =                1
X29967                         =                1
X30196                         =                1
X30856                         =                1
X31016                         =                1
X31516                         =                1
X32656                         =                1
X33481                         =                1
X42094                         =                1
X42650                         =                1
X43497                         =                1
X44880                         =                1
X45914                         =                1
X46318                         =                1
X46542                         =                1
X47390                         =                1
X47438                         =                1
X48055                         =                1
X48291                         =                1
X48297                         =                1
X48804                         =                1
X48873                         =                1
X48936                         =                1
X49204                         =                1
X49549                         =                1
X49852                         =                1
X50483                         =                1
X50785                         =                1
X50859                         =                1
X51119                         =                1
X51182                         =                1
X52188                         =                1
X52989                         =                1
X53172                         =                1
X53405                         =                1
X53413                         =                1
X54069                         =                1
X55122                         =                1
X56903                         =                1
X58801                         =                1
X59722                         =                1
X60706                         =                1
X61226                         =                1
X61640                         =                1
X62830                         =                1
X64618                         =                1
X65123                         =                1
X65397                         =                1
X65592                         =                1
X65908                         =                1
X66519                         =                1
X66642                         =                1
X66892                         =                1
X66959                         =                1
X67324                         =                1
X67752                         =                1
X67912                         =                1
X68327                         =                1
X68567                         =                1
X68570                         =                1
X68728                         =                1
X68847                         =                1
X69103                         =                1
X69264                         =                1
X69457                         =                1
X69708                         =                1
X69709                         =                1
X70126                         =                1
X71040                         =                1
X71119                         =                1
X71129                         =                1
X71333                         =                1
X72912                         =                1
X73021                         =                1
X73328                         =                1
X73892                         =                1
X74185                         =                1
X74954                         =                1
X76259                         =                1
X76798                         =                1
X77102                         =                1
X77269                         =                1
X77466                         =                1
X79275                         =                1
X79723                         =                1
X80019                         =                1
X80365                         =                1
X81038                         =                1
X81507                         =                1
X81956                         =                1
X82267                         =                1
X82692                         =                1
X83007                         =                1
X84109                         =                1
X84174                         =                1
X84450                         =                1
X84932                         =                1
X85300                         =                1
X85315                         =                1
X85399                         =                1
X87524                         =                1
X87880                         =                1
X88357                         =                1
X88759                         =                1
X88885                         =                1
X89361                         =                1
X89788                         =                1
X90273                         =                1
X90603                         =                1
X90619                         =                1
X90706                         =                1
X91118                         =                1
X91238                         =                1
X91796                         =                1
X92038                         =                1
X92677                         =                1
X92964                         =                1
X93417                         =                1
X94365                         =                1
X94526                         =                1
X94904                         =                1
X95509                         =                1
X95753                         =                1
X95929                         =                1
X96281                         =                1
X96497                         =                1
X96939                         =                1
X97060                         =                1
X97776                         =                1
X98333                         =                1
X98489                         =                1
X98698                         =                1
X98740                         =                1
X98786                         =                1
X99024                         =                1
X99191                         =                1
X99411                         =                1
X99556                         =                1
X99729                         =                1
X99756                         =                1
X99989                         =                1
X100077                        =                1
X100301                        =                1
X100361                        =                1
X100364                        =                1
X100404                        =                1
X100450                        =                1
X100560                        =                1
X100785                        =                1
X100793                        =                1
X100803                        =                1
X101035                        =                1
X101713                        =                1
X101755                        =                1
X101801                        =                1
X101953                        =                1
X102286                        =                1
X102414                        =                1
X102460                        =                1
X102473                        =                1
X102771                        =                1
X102786                        =                1
X102969                        =                1
X102985                        =                1
X102997                        =                1
X103176                        =                1
X103384                        =                1
X103988                        =                1
X104126                        =                1
X104175                        =                1
X104274                        =                1
X104535                        =                1
X104803                        =                1
X105121                        =                1
X105262                        =                1
X105908                        =                1
X107075                        =                1
X107118                        =                1
X107507                        =                1
X107694                        =                1
X107948                        =                1
X108077                        =                1
X108158                        =                1
X108185                        =                1
X108310                        =                1
X108484                        =                1
X108850                        =                1
X108991                        =                1
X109074                        =                1
X109120                        =                1
X109154                        =                1
X109234                        =                1
X109516                        =                1
X109521                        =                1
X109606                        =                1
X109880                        =                1
X110383                        =                1
X110410                        =                1
X110429                        =                1
X110714                        =                1
X110949                        =                1
X111308                        =                1
X111343                        =                1
X111351                        =                1
X111415                        =                1
X111836                        =                1
X111837                        =                1
X112106                        =                1
X112240                        =                1
X112403                        =                1
X112601                        =                1
X112723                        =                1
X112759                        =                1
X112773                        =                1
X112847                        =                1
X112934                        =                1
X113257                        =                1
X113276                        =                1
X113336                        =                1
X113401                        =                1
X113628                        =                1
X113807                        =                1
X113885                        =                1
X113990                        =                1
X114096                        =                1
X114186                        =                1
X114444                        =                1
X114459                        =                1
X114460                        =                1
X114700                        =                1
X114738                        =                1
X114884                        =                1
X114942                        =                1
X115143                        =                1
X115164                        =                1
X115216                        =                1
X115217                        =                1
X115417                        =                1
X116061                        =                1
X116080                        =                1
X116082                        =                1
X116103                        =                1
X116288                        =                1
X116496                        =                1
X116620                        =                1
X116760                        =                1
X116932                        =                1
X117266                        =                1
X117420                        =                1
X117493                        =                1
X117958                        =                1
X118054                        =                1
X118213                        =                1
X118291                        =                1
X118466                        =                1
X118612                        =                1
X118619                        =                1
X118647                        =                1
X118778                        =                1
X119055                        =                1
X119069                        =                1
X119125                        =                1
X119219                        =                1
X119294                        =                1
X119456                        =                1
X119481                        =                1
X119581                        =                1
X119759                        =                1
X119789                        =                1
X119843                        =                1
X119855                        =                1
X119879                        =                1
X119901                        =                1
X119906                        =                1
X120027                        =                1
X120168                        =                1
X120195                        =                1
X120240                        =                1
X120385                        =                1
X120639                        =                1
X120668                        =                1
X120680                        =                1
X120765                        =                1
X120835                        =                1
X120996                        =                1
X121170                        =                1
X121274                        =                1
X121464                        =                1
X121483                        =                1
X121484                        =                1
X121607                        =                1
X121626                        =                1
X121687                        =                1
X121730                        =                1
X121864                        =                1
X121938                        =                1
X121977                        =                1
X122084                        =                1
X122246                        =                1
X122254                        =                1
X122441                        =                1
X122470                        =                1
X122471                        =                1
X122501                        =                1
X122635                        =                1
X122739                        =                1
X122843                        =                1
X122887                        =                1
X123030                        =                1
X123032                        =                1
X123060                        =                1
X123104                        =                1
X123121                        =                1
X123241                        =                1
X123353                        =                1
X123405                        =                1
X123434                        =                1
X123550                        =                1
X123570                        =                1
X123630                        =                1
X123754                        =                1
X123925                        =                1
X123961                        =                1
X124214                        =                1
X124265                        =                1
X124342                        =                1
X124357                        =                1
X124359                        =                1
X124479                        =                1
X124537                        =                1
X124675                        =                1
X124733                        =                1
X124786                        =                1
X124939                        =                1
X125009                        =                1
X125015                        =                1
X125042                        =                1
X125294                        =                1
X125385                        =                1
X125464                        =                1
X125505                        =                1
X125521                        =                1
X125549                        =                1
X125589                        =                1
X125627                        =                1
X125656                        =                1
X125703                        =                1
X125726                        =                1
X125747                        =                1
X125794                        =                1
X125927                        =                1
X125963                        =                1
X125980                        =                1
X126042                        =                1
X126164                        =                1
X126242                        =                1
X126283                        =                1
X126321                        =                1
X126380                        =                1
X126416                        =                1
X126499                        =                1
X126524                        =                1
X126644                        =                1
X126653                        =                1
X126701                        =                1
X126838                        =                1
X126852                        =                1
X126863                        =                1
X126949                        =                1
X126971                        =                1
X127196                        =                1
X127322                        =                1
X127405                        =                1
X127472                        =                1
X127526                        =                1
X127573                        =                1
X127593                        =                1
X127724                        =                1
X127754                        =                1
X127791                        =                1
X127796                        =                1
X127878                        =                1
X127984                        =                1
X128021                        =                1
X128120                        =                1
X128173                        =                1
X128222                        =                1
X128245                        =                1
X128248                        =                1
X128290                        =                1
X128291                        =                1
X128424                        =                1
X128482                        =                1
X128552                        =                1
X128556                        =                1
X128629                        =                1
X128713                        =                1
X128826                        =                1
X128851                        =                1
X128972                        =                1
X129025                        =                1
X129162                        =                1
X129182                        =                1
X129354                        =                1
X129447                        =                1
X129496                        =                1
X129508                        =                1
X129519                        =                1
X129549                        =                1
X129594                        =                1
X129680                        =                1
X129766                        =                1
X129868                        =                1
X129959                        =                1
X129987                        =                1
X130049                        =                1
X131364                        =                1
X131826                        =                1
X131951                        =                1
X132121                        =                1
X132183                        =                1
X132217                        =                1
X132226                        =                1
X132231                        =                1
X132233                        =                1
X132234                        =                1
X132243                        =                1
X132245                        =                1
X132250                        =                1
X132262                        =                1
X132268                        =                1
X132330                        =                1
X132455                        =                1
X132561                        =                1
X132629                        =                1
X132706                        =                1
X132820                        =                1
X132843                        =                1
X132899                        =                1
X132901                        =                1
X132911                        =                1
X132986                        =                1
X133020                        =                1
X133049                        =                1
X133085                        =                1
X133571                        =                1
X133615                        =                1
X133668                        =                1
X133721                        =                1
X133769                        =                1
X133838                        =                1
X133935                        =                1
X133943                        =                1
X134147                        =                1
X134329                        =                1
X134411                        =                1
X134419                        =                1
X134479                        =                1
X134502                        =                1
X135118                        =                1
X135406                        =                1
X135416                        =                1
X135449                        =                1
X135452                        =                1
X135454                        =                1
X135463                        =                1
X135465                        =                1
X135680                        =                1
X135686                        =                1
X135701                        =                1
X135721                        =                1
X136006                        =                1
X136178                        =                1
X136763                        =                1
X136794                        =                1
X136857                        =                1
X136861                        =                1
X137039                        =                1
X137524                        =                1
X137542                        =                1
X137545                        =                1
X139271                        =                1
X139462                        =                1
X139463                        =                1
X139493                        =                1
X139576                        =                1
X140041                        =                1
X140402                        =                1
X140611                        =                1
X140794                        =                1
X140991                        =                1
X141021                        =                1
X141045                        =                1
X141479                        =                1
X142824                        =                1
X142831                        =                1
X142854                        =                1
X143505                        =                1
X143551                        =                1
X143957                        =                1
X144317                        =                1
X144656                        =                1
X144717                        =                1
X144720                        =                1
X145074                        =                1
X145118                        =                1
X146606                        =                1
X146685                        =                1
X146700                        =                1
X147002                        =                1
X147428                        =                1
X147961                        =                1
X148111                        =                1
X148340                        =                1
X148484                        =                1
X148610                        =                1
X148623                        =                1
X148646                        =                1
X148648                        =                1
X148650                        =                1
X148655                        =                1
X148720                        =                1
X148739                        =                1
X148803                        =                1
X155477                        =                1
X156551                        =                1
X157001                        =                1
X157327                        =                1
X158258                        =                1
X160775                        =                1
X160830                        =                1
X166083                        =                1
X166635                        =                1
X166652                        =                1
X167853                        =                1
X167878                        =                1
X167880                        =                1
X167927                        =                1
X167975                        =                1
X167977                        =                1
X167999                        =                1
X168019                        =                1
X168085                        =                1
X168103                        =                1
X168268                        =                1
X168306                        =                1
X168439                        =                1
X168559                        =                1
X168686                        =                1
X168736                        =                1
X168745                        =                1
X168785                        =                1
X168811                        =                1
X168899                        =                1
X168943                        =                1
X168974                        =                1
X168981                        =                1
X169086                        =                1
X169556                        =                1
X169573                        =                1
X169671                        =                1
X169694                        =                1
X169718                        =                1
X169722                        =                1
X170167                        =                1
X170189                        =                1
X170330                        =                1
X170333                        =                1
X170344                        =                1
X170371                        =                1
X170501                        =                1
X170920                        =                1
X170944                        =                1
X172785                        =                1
X173237                        =                1
X173284                        =                1
X173328                        =                1
X175705                        =                1
X176015                        =                1
X190125                        =                1
X199507                        =                1
X200041                        =                1
X200057                        =                1
X200058                        =                1
X201374                        =                1
X201642                        =                1
X202117                        =                1
X202454                        =                1
X202717                        =                1
X204665                        =                1
X205577                        =                1
X208670                        =                1
X210330                        =                1
Feasible FOUND in 3 iterations!
First sol: obj=9310813233.274099 time=643 iter=3 restarts=0 stage=1
643.49user 0.15system 10:43.61elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+25184outputs (0major+42758minor)pagefaults 0swaps