
Welcome to IBM(R) ILOG(R) CPLEX(R) Interactive Optimizer 22.1.2.0
  with Simplex, Mixed Integer & Barrier Optimizers
5725-A06 5725-A29 5724-Y48 5724-Y49 5724-Y54 5724-Y55 5655-Y21
Copyright IBM Corp. 1988, 2024.  All Rights Reserved.

Type 'help' for a list of available commands.
Type 'help' followed by a command name for more
information on commands.

CPLEX> Command '###' does not exist.  Type 'help' for a list of commands.
CPLEX> Command 'started:' does not exist.  Type 'help' for a list of commands.
CPLEX> Command 'parameter' does not exist.  Type 'help' for a list of commands.
CPLEX> Problem 'Grid/grid80x80.f10_direct.lp' read.
Read time = 0.04 sec. (3.12 ticks)
CPLEX> Warning:  CPLEX version found in file cplex.prm (12.7.1.0) does not match
          this CPLEX version (22.1.2.0).
Parameter file 'cplex.prm' read.
CPLEX> New value for default parallel thread count: 1
CPLEX> Version identifier: 22.1.2.0 | 2024-11-26 | 0edbb82fd
CPXPARAM_Threads                                 1
CPXPARAM_Simplex_Tolerances_Feasibility          1.0000000000000001e-09
CPXPARAM_MIP_Tolerances_AbsMIPGap                0
CPXPARAM_MIP_Tolerances_MIPGap                   0
CPXPARAM_MIP_Tolerances_Integrality              0
Found incumbent of value 2.5354319e+07 after 0.00 sec. (1.58 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 25266 rows, 31666 columns, and 75798 nonzeros.
Reduced MIP has 6400 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.03 sec. (32.07 ticks)
Probing time = 0.01 sec. (5.57 ticks)
Tried aggregator 1 time.
Detecting symmetries...
Reduced MIP has 25266 rows, 31666 columns, and 75798 nonzeros.
Reduced MIP has 31666 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.05 sec. (48.81 ticks)
Probing time = 0.01 sec. (5.57 ticks)
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.07 sec. (129.68 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

*     0+    0                       2.53543e+07        0.0000           100.00%
      0     0   317668.5000  6400   2.53543e+07   317668.5000     6938   98.75%
*     0+    0                      2441868.0000   317668.5000            86.99%
      0     0   450345.0000  7042  2441868.0000    Cuts: 2589     9768   81.56%
      0     0   569586.0000  7478  2441868.0000    Cuts: 2415    12469   76.67%
      0     0   659360.5000  7864  2441868.0000 ZeroHalf: 2179    15045   73.00%
*     0+    0                      2440594.0000   659360.5000            72.98%
      0     0  -1.00000e+75     0  2440594.0000   659360.5000    15045   72.98%
      0     0   747571.3333  8267  2440594.0000 ZeroHalf: 2446    17702   69.37%
      0     0   807834.1667  8562  2440594.0000 ZeroHalf: 1987    19905   66.90%
Detecting symmetries...
      0     0   865461.3750  8789  2440594.0000 ZeroHalf: 2134    22015   64.54%
      0     0   910963.6333  9107  2440594.0000 ZeroHalf: 1925    23951   62.67%
      0     0   958507.3681  9313  2440594.0000 ZeroHalf: 2107    26038   60.73%
      0     0   996756.4583  9484  2440594.0000    Cuts: 1915    27998   59.16%
      0     0  1034398.7619  9685  2440594.0000    Cuts: 2109    30033   57.62%
      0     0  1068713.1408  9916  2440594.0000 ZeroHalf: 1986    32171   56.21%
      0     0  1100256.4014 10065  2440594.0000    Cuts: 2074    34217   54.92%
      0     0  1123797.1242 10214  2440594.0000 ZeroHalf: 1763    36060   53.95%
      0     0  1146828.8600 10307  2440594.0000 ZeroHalf: 1847    38007   53.01%
      0     0  1176833.2476 10584  2440594.0000 ZeroHalf: 2336    40447   51.78%
      0     0  1201012.5980 10684  2440594.0000    Cuts: 2231    42600   50.79%
      0     0  1224604.4684 10883  2440594.0000 ZeroHalf: 2036    44786   49.82%
      0     0  1244870.6278 10811  2440594.0000 ZeroHalf: 2033    46925   48.99%
      0     0  1269082.9486 10931  2440594.0000    Cuts: 2121    49107   48.00%
      0     0  1287213.6452 11238  2440594.0000    Cuts: 2105    51428   47.26%
      0     0  1306551.8147 11305  2440594.0000 ZeroHalf: 2171    53785   46.47%
      0     0  1325004.9169 11370  2440594.0000    Cuts: 1954    56324   45.71%
      0     0  1344263.4018 11536  2440594.0000    Cuts: 2288    59101   44.92%
      0     0  1363296.4955 11593  2440594.0000    Cuts: 2302    61775   44.14%
      0     0  1377014.0577 12026  2440594.0000    Cuts: 2227    64466   43.58%
      0     0  1392193.9676 11812  2440594.0000    Cuts: 2094    67332   42.96%
      0     0  1406538.4402 12253  2440594.0000 ZeroHalf: 1988    70026   42.37%
      0     0  1419323.2229 12277  2440594.0000 ZeroHalf: 1970    72712   41.85%
      0     0  1430954.5080 12317  2440594.0000 ZeroHalf: 1808    75310   41.37%
      0     0  1442044.6456 12688  2440594.0000 ZeroHalf: 1936    78216   40.91%
      0     0  1454061.2672 12641  2440594.0000    Cuts: 1813    81316   40.42%
      0     0  1463095.0093 12756  2440594.0000 ZeroHalf: 1912    84454   40.05%
      0     0  1470887.1586 12878  2440594.0000    Cuts: 1743    87435   39.73%
      0     0  1478091.9166 13134  2440594.0000 ZeroHalf: 1762    91004   39.44%
      0     0  1486302.2232 12885  2440594.0000    Cuts: 1584    94632   39.10%
      0     0  1491977.6824 13127  2440594.0000    Cuts: 1604    97966   38.87%
      0     0  1497432.1194 13313  2440594.0000 ZeroHalf: 1521   101506   38.64%
      0     0  1502605.7811 13574  2440594.0000 ZeroHalf: 1435   105308   38.43%
      0     0  1508072.1883 13699  2440594.0000    Cuts: 1504   108910   38.21%
      0     0  1512821.7949 13804  2440594.0000    Cuts: 1445   112569   38.01%
      0     0  1517057.0991 13811  2440594.0000 ZeroHalf: 1338   116682   37.84%
      0     0  1520476.0079 14334  2440594.0000    Cuts: 1107   120973   37.70%
      0     0  1523801.1610 14231  2440594.0000 ZeroHalf: 1172   124703   37.56%
      0     0  1527019.3409 14536  2440594.0000 ZeroHalf: 1065   128630   37.43%
      0     0  1529525.7774 14061  2440594.0000     Cuts: 998   132390   37.33%
      0     0  1531927.6809 14357  2440594.0000 ZeroHalf: 880   135994   37.23%
      0     0  1533921.7397 14223  2440594.0000 ZeroHalf: 835   139489   37.15%
      0     0  1535751.5528 14534  2440594.0000 ZeroHalf: 682   142769   37.07%
      0     0  1537801.0551 14537  2440594.0000     Cuts: 746   146577   36.99%
      0     0  1539258.4555 14647  2440594.0000 ZeroHalf: 794   150022   36.93%
      0     0  1540663.3574 14680  2440594.0000     Cuts: 758   153153   36.87%
      0     0  1542162.7999 14908  2440594.0000 ZeroHalf: 707   156999   36.81%
      0     0  1543325.5533 14778  2440594.0000 ZeroHalf: 673   160198   36.76%
      0     0  1544250.1483 14839  2440594.0000 ZeroHalf: 725   163526   36.73%
      0     0  1545290.6465 14900  2440594.0000 ZeroHalf: 490   166795   36.68%
*     0+    0                      1636277.0000  1545290.6465             5.56%
*     0+    0                      1629002.0000  1545290.6465             5.14%
*     0+    0                      1616054.0000  1545290.6465             4.38%
*     0+    0                      1610015.0000  1545290.6465             4.02%
*     0+    0                      1601629.0000  1545290.6465             3.52%
*     0+    0                      1597298.0000  1545290.6465             3.26%
      0     0  -1.00000e+75     0  1597298.0000  1545290.6465   166795    3.26%
      0     0  1545858.7641 14917  1597298.0000 ZeroHalf: 422   169242    3.22%
      0     0  1546527.7857 14859  1597298.0000 ZeroHalf: 445   172018    3.18%
Heuristic still looking.
*     0+    0                      1589995.0000  1546527.7857             2.73%
*     0+    0                      1589344.0000  1546527.7857             2.69%
*     0+    0                      1588082.0000  1546527.7857             2.62%
      0     0  -1.00000e+75     0  1588082.0000  1546527.7857   172018    2.62%
Detecting symmetries...
      0     2  1546527.7857 14859  1588082.0000  1546527.7958   172018    2.62%
Elapsed time = 244.22 sec. (288910.48 ticks, tree = 0.01 MB, solutions = 12)
      1     3  1547067.8530 14972  1588082.0000  1546527.7996   176001    2.62%
      2     4  1547493.9271 14780  1588082.0000  1547069.9836   178233    2.58%
      3     5  1547466.2310 14699  1588082.0000  1547070.8633   179863    2.58%
      4     6  1547658.6914 13830  1588082.0000  1547070.8633   180963    2.58%
      5     7  1547889.1119 14318  1588082.0000  1547070.8633   190290    2.58%
      6     8  1548284.9656 13709  1588082.0000  1547070.8633   197192    2.58%
      7     9  1548480.1675 14317  1588082.0000  1547070.8633   201727    2.58%
      8    10  1548913.4978 13627  1588082.0000  1547070.8633   204463    2.58%
      9    11  1549079.0278 13650  1588082.0000  1547070.8633   204890    2.58%
     10    12  1549798.5196 13112  1588082.0000  1547070.8633   205276    2.58%
Elapsed time = 293.20 sec. (343058.83 ticks, tree = 1.83 MB, solutions = 12)
     12    14  1549504.1745 13069  1588082.0000  1547070.8633   206031    2.58%
     14    16  1550397.3122 13222  1588082.0000  1547070.8633   206759    2.58%
     16    18  1550755.7101 12329  1588082.0000  1547070.8633   207741    2.58%
     18    20  1551582.4188 13140  1588082.0000  1547070.8633   209680    2.58%
     19    21  1551914.7785 13946  1588082.0000  1547070.8633   210799    2.58%
     20    22  1552103.8969 10819  1588082.0000  1547070.8633   211623    2.58%
     21    23  1552511.8074 12154  1588082.0000  1547070.8633   212892    2.58%
     22    24  1552601.0682 10609  1588082.0000  1547070.8633   213796    2.58%
     24    26  1553371.0125 12871  1588082.0000  1547070.8633   215273    2.58%
     25    27  1553073.1886 12440  1588082.0000  1547070.8633   216037    2.58%
Elapsed time = 314.78 sec. (367506.47 ticks, tree = 5.69 MB, solutions = 12)
     27    29  1553616.0141 13303  1588082.0000  1547070.8633   217752    2.58%
     28    30  1553935.9784 12278  1588082.0000  1547070.8633   219542    2.58%
     29    31  1554279.4082 12845  1588082.0000  1547070.8633   220785    2.58%
     30    32  1555334.1457  9880  1588082.0000  1547070.8633   222506    2.58%
     32    34  1555814.1995 13298  1588082.0000  1547070.8633   224256    2.58%
     33    35  1556502.2692 12994  1588082.0000  1547070.8633   225273    2.58%
     36    38  1557880.1197 10569  1588082.0000  1547070.8633   226440    2.58%
     40    42  1558246.4706  7635  1588082.0000  1547070.8633   227131    2.58%
     43    45  1559214.7073  5980  1588082.0000  1547070.8633   228320    2.58%
     50    52  1559516.6413  4506  1588082.0000  1547070.8633   228850    2.58%
Elapsed time = 332.78 sec. (388046.41 ticks, tree = 11.65 MB, solutions = 12)
     62    64  1563596.5000  3673  1588082.0000  1547070.8633   230165    2.58%
*    70    68      integral     0  1564061.0000  1547070.8633   230370    1.09%
     71    68  1547900.3576 14884  1564061.0000  1547467.3169   233241    1.06%
     72    69  1548793.6763 14803  1564061.0000  1547467.3169   234350    1.06%
     73    70  1548303.0682 14883  1564061.0000  1547467.3169   235264    1.06%
     74    71  1548523.3060 14594  1564061.0000  1547467.3169   235814    1.06%
     76    73  1549420.8874 14989  1564061.0000  1547467.3169   237347    1.06%
     77    74  1549104.6227 14496  1564061.0000  1547467.3169   238364    1.06%
     79    76  1549568.3968 14599  1564061.0000  1547467.3169   239569    1.06%
     80    77  1549730.0030 12713  1564061.0000  1547467.3169   240376    1.06%
     81    78  1549905.7021 12867  1564061.0000  1547467.3169   241762    1.06%
Elapsed time = 365.46 sec. (424047.88 ticks, tree = 17.63 MB, solutions = 13)
     83    80  1550206.1040 12745  1564061.0000  1547467.3169   243513    1.06%
     84    81  1550744.7221 12483  1564061.0000  1547467.3169   244933    1.06%
     86    83  1551922.3952 11037  1564061.0000  1547467.3169   246063    1.06%
     87    84  1551530.1281 11453  1564061.0000  1547467.3169   246776    1.06%
     90    87  1552448.3571 10890  1564061.0000  1547467.3169   248174    1.06%
     92    89  1553154.0602 11152  1564061.0000  1547467.3169   249379    1.06%
     93    90  1553850.8559 10961  1564061.0000  1547467.3169   250222    1.06%
     95    92  1554349.2940 12765  1564061.0000  1547467.3169   251130    1.06%
     97    94  1554842.2880 11022  1564061.0000  1547467.3169   252312    1.06%
     99    96  1556325.9960 11421  1564061.0000  1547467.3169   253491    1.06%
Elapsed time = 379.49 sec. (440039.79 ticks, tree = 22.96 MB, solutions = 13)
    100    97  1555369.5342 10370  1564061.0000  1547467.3169   253982    1.06%
    105   102  1555817.0846 10285  1564061.0000  1547467.3169   255243    1.06%
    107   104  1556143.2723  9273  1564061.0000  1547467.3169   256531    1.06%
    109   106  1557001.3700  9288  1564061.0000  1547467.3169   257589    1.06%
*   110+   81                      1559117.0000  1547467.3169             0.75%
    110    83  1557033.4440  8992  1559117.0000  1547467.3169   258156    0.75%
    113    86  1557618.3602 10126  1559117.0000  1547467.3169   259236    0.75%
    116    89  1557731.0140  8658  1559117.0000  1547467.3169   260202    0.75%
*   119    82      integral     0  1557799.0000  1547467.3169   260619    0.66%
    120    82  1548848.9896 14812  1557799.0000  1547493.9854   263944    0.66%
    121    83  1549266.1822 14960  1557799.0000  1547493.9854   264583    0.66%
    122    84  1549784.3001 14760  1557799.0000  1547493.9854   265366    0.66%
Elapsed time = 409.15 sec. (473979.15 ticks, tree = 19.45 MB, solutions = 15)
    124    86  1550759.8808 14452  1557799.0000  1547493.9854   266351    0.66%
    125    87  1551246.1702 14350  1557799.0000  1547493.9854   267181    0.66%
    126    88  1551762.3175 14427  1557799.0000  1547493.9854   267980    0.66%
    127    89  1552369.9335 14738  1557799.0000  1547493.9854   270269    0.66%
    128    90  1552677.5614 14862  1557799.0000  1547493.9854   270907    0.66%
    129    91  1552947.7852 13371  1557799.0000  1547493.9854   271988    0.66%
    130    92  1553026.9870 13343  1557799.0000  1547493.9854   272416    0.66%
    132    94  1553263.1264 13342  1557799.0000  1547493.9854   273099    0.66%
    133    95  1553770.0065 13278  1557799.0000  1547493.9854   274127    0.66%
    134    96  1554113.2289 13318  1557799.0000  1547493.9854   275129    0.66%
Elapsed time = 426.37 sec. (494153.95 ticks, tree = 19.60 MB, solutions = 15)
    135    97  1554993.7195 12205  1557799.0000  1547493.9854   276283    0.66%
    136    98  1555448.8358 12101  1557799.0000  1547493.9854   277096    0.66%
    138   100  1555769.0002 11719  1557799.0000  1547493.9854   277874    0.66%
    140   102  1556317.7967 10662  1557799.0000  1547493.9854   279063    0.66%
    141   103  1556831.4676 11315  1557799.0000  1547493.9854   279953    0.66%
    145   107  1557626.4724 10592  1557799.0000  1547493.9854   281279    0.66%
    148   106  1548191.8642 15052  1557799.0000  1547494.0430   286257    0.66%
    149   107  1548366.5420 14455  1557799.0000  1547494.0430   288011    0.66%
    150   108  1548781.4013 13495  1557799.0000  1547494.0430   289192    0.66%
    151   109  1549305.0591 13790  1557799.0000  1547494.0430   290121    0.66%
Elapsed time = 465.09 sec. (536987.74 ticks, tree = 19.77 MB, solutions = 15)
    152   110  1549724.1407 13896  1557799.0000  1547494.0430   290804    0.66%
    153   111  1550210.3796 13646  1557799.0000  1547494.0430   291524    0.66%
    154   112  1550703.1781 13281  1557799.0000  1547494.0430   292934    0.66%
    156   114  1551336.0131 13890  1557799.0000  1547494.0430   294220    0.66%
    157   115  1551747.1091 13215  1557799.0000  1547494.0430   295379    0.66%
    159   117  1552126.9961 14531  1557799.0000  1547494.0430   296019    0.66%
    161   119  1552648.4329 12383  1557799.0000  1547494.0430   297002    0.66%
    163   121  1553143.4376 12435  1557799.0000  1547494.0430   298208    0.66%
    166   124  1553540.8999 12256  1557799.0000  1547494.0430   299291    0.66%
    168   126  1554356.5452 11440  1557799.0000  1547494.0430   300702    0.66%
Elapsed time = 480.03 sec. (553331.67 ticks, tree = 19.98 MB, solutions = 15)
    170   128  1554898.9655 10705  1557799.0000  1547494.0430   301335    0.66%
    173   131  1555550.1855 10097  1557799.0000  1547494.0430   302522    0.66%
    179   137  1556363.8114 10822  1557799.0000  1547494.0430   303774    0.66%
    182   140  1556974.8294  7241  1557799.0000  1547494.0430   304857    0.66%
*   190+  143                      1557698.0000  1547494.0430             0.66%
    190   143  1557698.0000     0  1557698.0000  1547494.0430   305155    0.66%
    192   143  1548526.9274 15043  1557698.0000  1547659.7547   311580    0.64%
    193   144  1549063.9883 15203  1557698.0000  1547659.7547   313253    0.64%
    194   145  1549444.0080 15084  1557698.0000  1547659.7547   314044    0.64%
    195   146  1549629.0184 14434  1557698.0000  1547659.7547   315163    0.64%
    198   149  1551211.1300 13519  1557698.0000  1547659.7547   318256    0.64%
Elapsed time = 513.74 sec. (590622.87 ticks, tree = 20.87 MB, solutions = 16)
    202   153  1552741.9934 13175  1557698.0000  1547659.7547   321242    0.64%
    205   156  1553401.2441 12630  1557698.0000  1547659.7547   324295    0.64%
    208   159  1554896.1152 13995  1557698.0000  1547659.7547   329356    0.64%
    211   162  1555696.8721 13358  1557698.0000  1547659.7547   332707    0.64%
    217   168  1556815.8509 11980  1557698.0000  1547659.7547   335767    0.64%
    226   173  1548553.1772 13646  1557698.0000  1547889.5195   341770    0.63%
    228   175  1550044.1479 14459  1557698.0000  1547889.5195   344000    0.63%
    230   177  1549981.0654 13387  1557698.0000  1547889.5195   345523    0.63%
    233   180  1550965.5526 13170  1557698.0000  1547889.5195   347840    0.63%
    237   184  1552781.2026 13449  1557698.0000  1547889.5195   350419    0.63%
Elapsed time = 569.84 sec. (651022.34 ticks, tree = 29.61 MB, solutions = 16)
    243   190  1554405.7780 12372  1557698.0000  1547889.5195   353194    0.63%
    247   194  1555444.9972 11579  1557698.0000  1547889.5195   356216    0.63%
    253   200  1557067.8326 10782  1557698.0000  1547889.5195   359159    0.63%
    258   201  1549400.3303 13571  1557698.0000  1548192.6281   363570    0.61%
    261   204  1550777.3962 13931  1557698.0000  1548192.6281   365774    0.61%
    266   209  1552447.7410 14146  1557698.0000  1548192.6281   368452    0.61%
    270   213  1553676.0629 11609  1557698.0000  1548192.6281   370672    0.61%
    279   222  1556184.1747  9531  1557698.0000  1548192.6281   373771    0.61%
*   290+  172                      1556004.0000  1548192.6281             0.50%
    290   172        cutoff        1556004.0000  1548192.6281   375567    0.50%
    291   173  1549271.7422 14930  1556004.0000  1548285.8254   377977    0.50%
Elapsed time = 616.64 sec. (704580.87 ticks, tree = 31.69 MB, solutions = 17)
    295   177  1550811.4675 14502  1556004.0000  1548285.8254   380624    0.50%
    299   181  1552402.1689 14545  1556004.0000  1548285.8254   383017    0.50%
    300   182  1552799.6488 14107  1556004.0000  1548285.8254   384230    0.50%
    303   185  1553843.9402 13705  1556004.0000  1548285.8254   386561    0.50%
    308   190  1555470.3559 12937  1556004.0000  1548285.8254   389642    0.50%
    313   191  1549469.0669 13510  1556004.0000  1548303.8351   393919    0.49%
    315   193  1550322.1185 13382  1556004.0000  1548303.8351   396961    0.49%
    317   195  1551412.1063 14364  1556004.0000  1548303.8351   401656    0.49%
    319   197  1552286.6300 14528  1556004.0000  1548303.8351   403961    0.49%
    322   200  1553137.0139 13734  1556004.0000  1548303.8351   406944    0.49%
Elapsed time = 669.86 sec. (761651.11 ticks, tree = 39.19 MB, solutions = 17)
    327   205  1554767.6961 12575  1556004.0000  1548303.8351   409766    0.49%
    332   210  1555854.8692 11082  1556004.0000  1548303.8351   412163    0.49%
    336   209  1549012.5304 15109  1556004.0000  1548367.5705   415286    0.49%
    340   213  1550587.0069 13311  1556004.0000  1548367.5705   417695    0.49%
    343   216  1552634.0184 13042  1556004.0000  1548367.5705   420125    0.49%
    347   220  1554494.4680 12940  1556004.0000  1548367.5705   422506    0.49%
    355   224  1549489.3165 14964  1556004.0000  1548490.8903   429198    0.48%
    357   226  1550537.1397 14660  1556004.0000  1548490.8903   432552    0.48%
    358   227  1550898.0388 14797  1556004.0000  1548490.8903   434864    0.48%
    360   229  1551188.4778 13296  1556004.0000  1548490.8903   437391    0.48%
Elapsed time = 729.49 sec. (825934.91 ticks, tree = 43.88 MB, solutions = 17)
    364   233  1552148.5144 13237  1556004.0000  1548490.8903   440166    0.48%
    366   235  1552795.4352 13870  1556004.0000  1548490.8903   442866    0.48%
    370   239  1554219.9479 12491  1556004.0000  1548490.8903   445814    0.48%
    379   244  1549741.4780 13499  1556004.0000  1548528.1624   451853    0.48%
    380   245  1550080.6421 13207  1556004.0000  1548528.1624   452388    0.48%
    383   248  1551368.0895 13704  1556004.0000  1548528.1624   455047    0.48%
    388   253  1553116.1673 12053  1556004.0000  1548528.1624   457802    0.48%
    398   263  1555360.4345  8822  1556004.0000  1548528.1624   460947    0.48%
    403   264  1549333.4568 15215  1556004.0000  1548553.2539   463491    0.48%
    406   267  1550410.2173 13631  1556004.0000  1548553.2539   465528    0.48%
Elapsed time = 782.62 sec. (885207.42 ticks, tree = 54.71 MB, solutions = 17)
    409   270  1551596.5777 13251  1556004.0000  1548553.2539   468069    0.48%
    413   274  1553926.9656 13289  1556004.0000  1548553.2539   470934    0.48%
    418   279  1555990.3596 12265  1556004.0000  1548553.2539   474080    0.48%
    421   278  1549620.0881 13736  1556004.0000  1548694.2089   476117    0.47%
    424   281  1550768.9798 13306  1556004.0000  1548694.2089   478613    0.47%
    427   284  1552725.2449 13941  1556004.0000  1548694.2089   481304    0.47%
    433   290  1554604.3321 12185  1556004.0000  1548694.2089   484310    0.47%
    441   292  1549685.9409 15030  1556004.0000  1548781.7342   491488    0.46%
    443   294  1550554.9469 13414  1556004.0000  1548781.7342   493771    0.46%
    447   298  1551923.7065 13028  1556004.0000  1548781.7342   496397    0.46%
Elapsed time = 831.85 sec. (937882.50 ticks, tree = 56.26 MB, solutions = 17)
    450   301  1553731.4562 12905  1556004.0000  1548781.7342   499262    0.46%
    455   306  1555275.8678 12424  1556004.0000  1548781.7342   502730    0.46%
    461   308  1549675.6561 13555  1556004.0000  1548794.1857   506154    0.46%
    464   311  1550896.9068 14766  1556004.0000  1548794.1857   510198    0.46%
    466   313  1551206.7899 13224  1556004.0000  1548794.1857   512857    0.46%
    468   315  1551799.4004 13630  1556004.0000  1548794.1857   516118    0.46%
    469   316  1552482.8756 14692  1556004.0000  1548794.1857   520426    0.46%
    472   319  1552545.3648 13439  1556004.0000  1548794.1857   522946    0.46%
    477   324  1553696.1828 11646  1556004.0000  1548794.1857   526310    0.46%
    481   328  1555470.4390 10776  1556004.0000  1548794.1857   529282    0.46%
Elapsed time = 884.73 sec. (995502.43 ticks, tree = 60.95 MB, solutions = 17)
    486   327  1549408.7831 15069  1556004.0000  1548794.7949   535005    0.46%
    488   329  1549979.6953 13465  1556004.0000  1548794.7949   537302    0.46%
    492   333  1551808.1875 13215  1556004.0000  1548794.7949   540635    0.46%
    495   336  1553603.9494 13387  1556004.0000  1548794.7949   543643    0.46%
    500   341  1554907.4167 12440  1556004.0000  1548794.7949   546396    0.46%
    505   342  1549593.6448 15007  1556004.0000  1548855.4303   550165    0.46%
    508   345  1551551.7674 14042  1556004.0000  1548855.4303   552563    0.46%
    512   349  1553599.6319 14283  1556004.0000  1548855.4303   555401    0.46%
    515   352  1554935.4056 14209  1556004.0000  1548855.4303   557712    0.46%
    521   354  1550006.7125 14993  1556004.0000  1549013.3302   562384    0.45%
Elapsed time = 943.24 sec. (1059247.58 ticks, tree = 65.60 MB, solutions = 17)
    525   358  1551356.5331 14862  1556004.0000  1549013.3302   564545    0.45%
    528   361  1552911.5013 14402  1556004.0000  1549013.3302   567554    0.45%
    532   365  1554333.1064 13917  1556004.0000  1549013.3302   569913    0.45%
    537   368  1554933.1349 13963  1556004.0000  1549013.3302   572526    0.45%
    542   371        cutoff        1556004.0000  1549013.3302   574664    0.45%
    545   372  1550531.6624 15107  1556004.0000  1549066.4082   576856    0.45%
    549   376  1552541.1818 14494  1556004.0000  1549066.4082   579667    0.45%
    551   378  1553756.3269 14666  1556004.0000  1549066.4082   582054    0.45%
    553   380  1554657.0803 14177  1556004.0000  1549066.4082   584502    0.45%
    557   384  1555746.5686 13113  1556004.0000  1549066.4082   587085    0.45%
Elapsed time = 982.94 sec. (1102454.12 ticks, tree = 65.72 MB, solutions = 17)
    560   383  1550232.7711 14922  1556004.0000  1549080.4841   590445    0.44%
    563   386  1551046.4573 13873  1556004.0000  1549080.4841   593675    0.44%
    566   389  1552470.0424 13919  1556004.0000  1549080.4841   597927    0.44%
    569   392  1553186.7296 14265  1556004.0000  1549080.4841   600293    0.44%
    572   395  1554228.7750 13670  1556004.0000  1549080.4841   603810    0.44%
    577   400  1555527.2343 13489  1556004.0000  1549080.4841   606996    0.44%
    581   400  1549910.0208 14209  1556004.0000  1549105.3412   611307    0.44%
    584   403  1551126.8468 13571  1556004.0000  1549105.3412   613583    0.44%
    588   407  1552725.8407 12824  1556004.0000  1549105.3412   615991    0.44%
    592   411  1553775.0242 12037  1556004.0000  1549105.3412   618618    0.44%
Elapsed time = 1037.96 sec. (1161284.04 ticks, tree = 65.50 MB, solutions = 17)
    600   419  1555854.7610  7557  1556004.0000  1549105.3412   621747    0.44%
    603   418  1550312.4991 14833  1556004.0000  1549210.7022   626822    0.44%
    605   420  1550968.3933 13120  1556004.0000  1549210.7022   629122    0.44%
    609   424  1552553.0306 14012  1556004.0000  1549210.7022   632127    0.44%
    612   427  1553713.6863 12837  1556004.0000  1549210.7022   634708    0.44%
    618   433  1555667.4408 12401  1556004.0000  1549210.7022   637721    0.44%
    621   432  1550194.8717 13891  1556004.0000  1549250.7296   639036    0.43%
    625   436  1552551.9355 13125  1556004.0000  1549250.7296   641782    0.43%
    628   439  1553970.7996 12904  1556004.0000  1549250.7296   644322    0.43%
    633   444  1555776.7163 12586  1556004.0000  1549250.7296   647338    0.43%
Elapsed time = 1085.59 sec. (1213533.72 ticks, tree = 73.40 MB, solutions = 17)
    637   444  1549891.7304 14569  1556004.0000  1549251.6915   651378    0.43%
    639   446  1550735.7817 13135  1556004.0000  1549251.6915   654606    0.43%
    641   448  1551551.4288 13411  1556004.0000  1549251.6915   655888    0.43%
    644   451  1553142.5422 12521  1556004.0000  1549251.6915   658335    0.43%
    647   454  1554177.7025 12039  1556004.0000  1549251.6915   661176    0.43%
    658   461  1550426.0939 13209  1556004.0000  1549267.9526   667719    0.43%
    660   463  1551676.7128 12946  1556004.0000  1549267.9526   669222    0.43%
    663   466  1552162.1737 13139  1556004.0000  1549267.9526   671660    0.43%
    666   469  1553810.0205 12645  1556004.0000  1549267.9526   674216    0.43%
    671   474  1555376.6401 12627  1556004.0000  1549267.9526   677501    0.43%
Elapsed time = 1138.92 sec. (1271653.12 ticks, tree = 82.14 MB, solutions = 17)
    676   475  1550236.5051 14880  1556004.0000  1549272.1639   681290    0.43%
    680   479  1551821.0539 14349  1556004.0000  1549272.1639   683864    0.43%
    684   483  1554208.1347 14093  1556004.0000  1549272.1639   686646    0.43%
    690   487        cutoff        1556004.0000  1549272.1639   689819    0.43%
    693   488        cutoff        1556004.0000  1549272.1639   692544    0.43%
    695   488  1550338.7529 15008  1556004.0000  1549333.8108   694723    0.43%
    698   491  1551612.7833 14789  1556004.0000  1549333.8108   696964    0.43%
    700   493  1552367.3465 14408  1556004.0000  1549333.8108   698828    0.43%
    704   497  1553741.2613 14388  1556004.0000  1549333.8108   701352    0.43%
    715   504  1550431.1205 14953  1556004.0000  1549386.9653   706127    0.43%
Elapsed time = 1204.22 sec. (1342384.30 ticks, tree = 82.83 MB, solutions = 17)
    718   507  1551297.8311 13472  1556004.0000  1549386.9653   708356    0.43%
    721   510  1552779.8987 13021  1556004.0000  1549386.9653   710930    0.43%
    726   515  1555246.5976 13073  1556004.0000  1549386.9653   714089    0.43%
    731   516  1550261.8175 14386  1556004.0000  1549400.3549   719220    0.42%
    734   519  1550965.9516 14556  1556004.0000  1549400.3549   721399    0.42%
    737   522  1552309.3938 13617  1556004.0000  1549400.3549   724809    0.42%
    741   526  1553591.9119 13891  1556004.0000  1549400.3549   728365    0.42%
    746   531  1554851.1621 12047  1556004.0000  1549400.3549   731507    0.42%
    757   538  1550777.7949 13986  1556004.0000  1549409.3154   734895    0.42%
    760   541  1551929.9089 13437  1556004.0000  1549409.3154   736889    0.42%
Elapsed time = 1255.90 sec. (1396658.66 ticks, tree = 90.25 MB, solutions = 17)
    763   544  1552896.3661 13380  1556004.0000  1549409.3154   739604    0.42%
    767   548  1554629.4110 12827  1556004.0000  1549409.3154   742026    0.42%
    772   551        cutoff        1556004.0000  1549409.3154   744621    0.42%
    777   552  1550850.4723 14787  1556004.0000  1549421.2658   747101    0.42%
    781   556  1552422.4387 14812  1556004.0000  1549421.2658   750120    0.42%
    784   559  1553943.4933 14348  1556004.0000  1549421.2658   752409    0.42%
    789   564  1555094.7417 13952  1556004.0000  1549421.2658   754863    0.42%
    796   567  1550460.9023 14721  1556004.0000  1549422.3518   760523    0.42%
    798   569  1551430.8568 13325  1556004.0000  1549422.3518   763563    0.42%
    800   571  1552155.5966 13255  1556004.0000  1549422.3518   764962    0.42%
Elapsed time = 1311.13 sec. (1455822.38 ticks, tree = 95.26 MB, solutions = 17)
    803   574  1553668.7742 12856  1556004.0000  1549422.3518   767983    0.42%
    808   579  1555543.5461 13444  1556004.0000  1549422.3518   771115    0.42%
    812   579  1550130.5405 15092  1556004.0000  1549433.2055   775068    0.42%
    815   582  1551404.6548 14096  1556004.0000  1549433.2055   777629    0.42%
    819   586  1553113.4743 12827  1556004.0000  1549433.2055   779983    0.42%
    825   592  1555035.1181 12276  1556004.0000  1549433.2055   782901    0.42%
    831   594  1550635.6842 14147  1556004.0000  1549445.5180   786132    0.42%
    835   598  1552186.6105 13306  1556004.0000  1549445.5180   789175    0.42%
    840   603  1554048.9933 12498  1556004.0000  1549445.5180   792500    0.42%
    850   611  1555908.0097  9286  1556004.0000  1549445.5180   795991    0.42%
Elapsed time = 1365.73 sec. (1515243.84 ticks, tree = 98.39 MB, solutions = 17)
    854   611  1551034.6036 14771  1556004.0000  1549469.3409   800027    0.42%
    857   614  1552167.5071 14586  1556004.0000  1549469.3409   802824    0.42%
    860   617  1553474.9665 14339  1556004.0000  1549469.3409   809604    0.42%
    863   620  1554480.4179 14541  1556004.0000  1549469.3409   813048    0.42%
    866   623  1554367.3459 14214  1556004.0000  1549469.3409   815904    0.42%
    868   625  1555052.1217 13612  1556004.0000  1549469.3409   819805    0.42%
    870   627  1555983.9966 13299  1556004.0000  1549469.3409   822823    0.42%
    874   627  1551339.0226 13617  1556004.0000  1549493.2567   824977    0.42%
    877   630  1552783.9209 13263  1556004.0000  1549493.2567   827442    0.42%
    881   634  1554273.0204 13203  1556004.0000  1549493.2567   829884    0.42%
Elapsed time = 1420.95 sec. (1573701.01 ticks, tree = 98.12 MB, solutions = 17)
    887   640  1555599.8550 12339  1556004.0000  1549493.2567   832523    0.42%
    891   640  1550261.3362 14691  1556004.0000  1549504.2764   835748    0.42%
    894   643  1551514.7776 14227  1556004.0000  1549504.2764   839189    0.42%
    896   645  1552357.1090 13524  1556004.0000  1549504.2764   841922    0.42%
    899   648  1554135.0560 14435  1556004.0000  1549504.2764   845033    0.42%
    904   653  1555245.1191 12598  1556004.0000  1549504.2764   848343    0.42%
    910   653  1550313.0430 12918  1556004.0000  1549570.8648   852880    0.41%
    914   657  1552051.2479 12843  1556004.0000  1549570.8648   855758    0.41%
    919   662  1553868.0856 13749  1556004.0000  1549570.8648   859305    0.41%
    931   674  1555779.3881  8186  1556004.0000  1549570.8648   862592    0.41%
Elapsed time = 1469.93 sec. (1626630.38 ticks, tree = 98.39 MB, solutions = 17)
    935   674  1550609.6116 13753  1556004.0000  1549595.2226   866784    0.41%
    938   677  1551562.0123 13243  1556004.0000  1549595.2226   869537    0.41%
    941   680  1553186.7191 13526  1556004.0000  1549595.2226   872474    0.41%
    945   684  1554105.1873 11781  1556004.0000  1549595.2226   875339    0.41%
    949   688  1555259.8181 11174  1556004.0000  1549595.2226   878175    0.41%
    955   690  1551034.1038 14990  1556004.0000  1549605.6496   880994    0.41%
    958   693  1552914.5110 14640  1556004.0000  1549605.6496   883529    0.41%
    960   695  1552866.6765 14551  1556004.0000  1549605.6496   886579    0.41%
    962   697  1553863.3472 14344  1556004.0000  1549605.6496   889680    0.41%
    964   699  1554830.4929 14217  1556004.0000  1549605.6496   892512    0.41%
Elapsed time = 1520.22 sec. (1679923.08 ticks, tree = 98.15 MB, solutions = 17)
    970   701        cutoff        1556004.0000  1549605.6496   895266    0.41%
    973   704  1551660.5941 13271  1556004.0000  1549620.1999   897815    0.41%
    975   706  1552820.5885 13804  1556004.0000  1549620.1999   900121    0.41%
    978   709  1553918.5966 12874  1556004.0000  1549620.1999   902432    0.41%
    985   716  1555864.0378 12045  1556004.0000  1549620.1999   905285    0.41%
    990   715  1550272.2439 13702  1556004.0000  1549633.4628   908275    0.41%
    992   717  1551954.4405 14716  1556004.0000  1549633.4628   910780    0.41%
    994   719  1552922.9573 13749  1556004.0000  1549633.4628   913320    0.41%
    997   722  1554187.0418 13459  1556004.0000  1549633.4628   915909    0.41%
   1000   725  1554660.4670 12853  1556004.0000  1549633.4628   917872    0.41%
Elapsed time = 1560.91 sec. (1725331.47 ticks, tree = 99.36 MB, solutions = 17)
   1006   727  1550891.7424 14617  1556004.0000  1549656.4513   921288    0.41%
   1009   730  1552104.4629 13313  1556004.0000  1549656.4513   924287    0.41%
   1013   734  1553302.3904 12805  1556004.0000  1549656.4513   926697    0.41%
   1017   738  1554896.1105 12451  1556004.0000  1549656.4513   929697    0.41%
   1022   739  1550512.3242 13188  1556004.0000  1549686.2850   935179    0.41%
   1026   743  1552296.8255 13350  1556004.0000  1549686.2850   938052    0.41%
   1029   746  1553439.9743 12579  1556004.0000  1549686.2850   941070    0.41%

Performing restart 1

Repeating presolve.
Tried aggregator 1 time.
Reduced MIP has 25266 rows, 31666 columns, and 75798 nonzeros.
Reduced MIP has 31666 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.03 sec. (35.93 ticks)
Tried aggregator 1 time.
Reduced MIP has 25266 rows, 31666 columns, and 75798 nonzeros.
Reduced MIP has 31666 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.05 sec. (50.19 ticks)
Represolve time = 0.52 sec. (488.23 ticks)
   1032     0  1547780.7567 15072  1556004.0000     Cuts: 228  1016426    0.41%
   1032     0  1548216.7190 14983  1556004.0000     Cuts: 177  1018577    0.41%
   1032     0  1548681.2182 14963  1556004.0000     Cuts: 287  1020761    0.41%
   1032     0  1549080.5048 14926  1556004.0000     Cuts: 216  1023134    0.41%
   1032     0  1549342.8513 14909  1556004.0000 ZeroHalf: 215  1025324    0.41%
   1032     0  1549563.8012 14897  1556004.0000 ZeroHalf: 218  1027001    0.41%
   1032     0  1549839.0390 14981  1556004.0000 ZeroHalf: 151  1028776    0.40%
   1032     0  1550075.9958 14795  1556004.0000     Cuts: 205  1030767    0.38%
   1032     0  1550291.4811 14807  1556004.0000 ZeroHalf: 216  1032609    0.37%
   1032     0  1550508.7958 14845  1556004.0000 ZeroHalf: 253  1034718    0.35%
   1032     0  1550768.1527 14850  1556004.0000 ZeroHalf: 185  1038223    0.34%
   1032     0  1550910.6861 14959  1556004.0000 ZeroHalf: 208  1040234    0.33%
   1032     0  1551026.6269 14989  1556004.0000 ZeroHalf: 217  1042000    0.32%
   1032     0  1551198.3900 14871  1556004.0000 ZeroHalf: 140  1043800    0.31%
   1032     0  1551332.9558 14869  1556004.0000     Cuts: 195  1045170    0.30%
   1032     0  1551433.6415 15004  1556004.0000 ZeroHalf: 145  1046914    0.29%
   1032     0  1551499.3201 15067  1556004.0000     Cuts: 133  1048179    0.29%
   1032     0  1551534.0921 15057  1556004.0000 ZeroHalf: 116  1049106    0.29%
   1032     0  1551564.9428 15176  1556004.0000  ZeroHalf: 39  1049900    0.29%
   1032     0  1551615.8694 15108  1556004.0000 ZeroHalf: 100  1050903    0.28%
   1032     0  1551686.6215 15085  1556004.0000  ZeroHalf: 96  1051967    0.28%
   1032     0  1551749.3616 14917  1556004.0000  ZeroHalf: 91  1053203    0.27%
   1032     0  1551815.2491 14981  1556004.0000  ZeroHalf: 89  1054228    0.27%
   1032     2  1551815.2491 14981  1556004.0000  1551815.2783  1054228    0.27%
   1033     3  1552081.7236 14916  1556004.0000  1551815.4512  1058217    0.27%
   1034     4  1552247.6604 15054  1556004.0000  1552084.0680  1060820    0.25%
Elapsed time = 2039.29 sec. (2233222.34 ticks, tree = 0.03 MB, solutions = 17)
   1035     5  1552369.8574 15046  1556004.0000  1552084.0680  1063014    0.25%
   1036     6  1552349.6963 14833  1556004.0000  1552247.7455  1063861    0.24%
   1037     7  1552628.0418 14739  1556004.0000  1552247.7455  1072973    0.24%
   1038     8  1552552.2375 15097  1556004.0000  1552247.7455  1082727    0.24%
   1040    10  1552640.4989 14710  1556004.0000  1552247.7455  1087643    0.24%
   1041    11  1552756.8720 14685  1556004.0000  1552247.7455  1090422    0.24%
   1042    12  1553708.0831 14711  1556004.0000  1552247.7455  1098069    0.24%
   1043    13  1552758.1535 14691  1556004.0000  1552247.7455  1104933    0.24%
   1046    16  1552783.4894 14681  1556004.0000  1552247.7455  1107154    0.24%
   1048    18  1552783.6885 14682  1556004.0000  1552247.7455  1108714    0.24%
Elapsed time = 2110.17 sec. (2312554.67 ticks, tree = 0.20 MB, solutions = 17)
   1049    19  1553031.2183 14880  1556004.0000  1552247.7455  1114305    0.24%
   1050    20  1553438.9875 14525  1556004.0000  1552247.7455  1117188    0.24%
   1051    21  1553695.2818 14474  1556004.0000  1552247.7455  1121038    0.24%
   1052    22  1553804.3682 14321  1556004.0000  1552247.7455  1130003    0.24%
   1053    23  1554289.7981 14079  1556004.0000  1552247.7455  1131102    0.24%
   1056    26  1554633.6808 14370  1556004.0000  1552247.7455  1134032    0.24%
   1058    28  1554123.2578 14321  1556004.0000  1552247.7455  1137073    0.24%
   1059    29  1553842.0670 14266  1556004.0000  1552247.7455  1139618    0.24%
   1061    31  1554446.8195 14225  1556004.0000  1552247.7455  1141353    0.24%
   1062    32  1555274.6627 14097  1556004.0000  1552247.7455  1147089    0.24%
Elapsed time = 2187.68 sec. (2397070.71 ticks, tree = 1.78 MB, solutions = 17)
   1065    35  1554271.2244 14117  1556004.0000  1552247.7455  1150041    0.24%
   1067    37  1554475.8753 13837  1556004.0000  1552247.7455  1151633    0.24%
   1069    39  1554911.1643 13868  1556004.0000  1552247.7455  1154295    0.24%
   1074    44  1555330.8305 13620  1556004.0000  1552247.7455  1156795    0.24%
   1080    48  1555341.0373 13520  1556004.0000  1552247.7455  1159449    0.24%
   1083    51  1554974.1359 13582  1556004.0000  1552247.7455  1163662    0.24%
   1084    52  1555008.5746 12360  1556004.0000  1552247.7455  1164298    0.24%
   1089    57  1555884.1191 13955  1556004.0000  1552247.7455  1168176    0.24%
   1094    60  1555654.4237  7933  1556004.0000  1552247.7455  1170883    0.24%
   1097    63  1555907.0444 13028  1556004.0000  1552247.7455  1173933    0.24%
Elapsed time = 2243.41 sec. (2458320.76 ticks, tree = 3.12 MB, solutions = 17)
   1100    62  1552561.3064 14832  1556004.0000  1552247.8356  1176777    0.24%
   1101    63  1552967.4540 14759  1556004.0000  1552247.8356  1179371    0.24%
   1102    64  1553077.4873 14655  1556004.0000  1552247.8356  1180312    0.24%
   1104    66  1553481.0554 14504  1556004.0000  1552247.8356  1183843    0.24%
   1107    69  1554821.0949 14348  1556004.0000  1552247.8356  1186699    0.24%
   1112    74  1554114.2939 14126  1556004.0000  1552247.8356  1188693    0.24%
   1114    76  1554661.4821 14064  1556004.0000  1552247.8356  1191077    0.24%
   1118    80  1554787.5751 13859  1556004.0000  1552247.8356  1192107    0.24%
   1122    84  1555634.0490 13895  1556004.0000  1552247.8356  1195094    0.24%
   1125    85        cutoff        1556004.0000  1552247.8356  1197496    0.24%
Elapsed time = 2314.86 sec. (2534283.05 ticks, tree = 4.86 MB, solutions = 17)
   1130    88  1555551.4406 12292  1556004.0000  1552247.8356  1201429    0.24%
   1132    90  1555015.8818 12265  1556004.0000  1552247.8356  1203080    0.24%
   1136    94  1555666.6384 13007  1556004.0000  1552247.8356  1205563    0.24%
   1142    98  1555111.4208  7126  1556004.0000  1552247.8356  1208521    0.24%
   1151   105  1555735.5852  6875  1556004.0000  1552247.8356  1211521    0.24%
   1152   106  1555332.1055  6805  1556004.0000  1552247.8356  1211853    0.24%
   1159   113  1555642.2368 11851  1556004.0000  1552247.8356  1214443    0.24%
   1167   113  1552547.4541 14878  1556004.0000  1552369.9451  1219048    0.23%
   1168   114  1552945.7247 14936  1556004.0000  1552369.9451  1221706    0.23%
   1170   116  1553586.8881 14578  1556004.0000  1552369.9451  1223957    0.23%
Elapsed time = 2384.02 sec. (2608630.48 ticks, tree = 5.33 MB, solutions = 17)
   1173   119  1554457.3123 14349  1556004.0000  1552369.9451  1226489    0.23%
   1178   124  1554826.5969 12968  1556004.0000  1552369.9451  1229474    0.23%
   1182   128  1554956.1726 12572  1556004.0000  1552369.9451  1231982    0.23%
   1196   140  1555213.2678 12376  1556004.0000  1552369.9451  1236318    0.23%
   1215   159  1555553.9642 12234  1556004.0000  1552369.9451  1238873    0.23%
   1219   159  1552422.8732 14769  1556004.0000  1552369.9737  1240304    0.23%
   1221   161  1553067.6397 14665  1556004.0000  1552369.9737  1242758    0.23%
   1224   164  1554166.6193 14264  1556004.0000  1552369.9737  1245900    0.23%
   1227   167  1554335.5538 12591  1556004.0000  1552369.9737  1248290    0.23%
   1238   178  1554528.7051  8386  1556004.0000  1552369.9737  1250649    0.23%
Elapsed time = 2444.84 sec. (2673182.09 ticks, tree = 12.74 MB, solutions = 17)
   1257   193  1555939.8004  8246  1556004.0000  1552369.9737  1253192    0.23%
   1261   193  1552475.1605 14751  1556004.0000  1552423.0320  1253612    0.23%
   1263   195  1553057.4618 14713  1556004.0000  1552423.0320  1255757    0.23%
   1265   197  1553848.7826 14567  1556004.0000  1552423.0320  1257888    0.23%
   1268   200  1554423.2753 13141  1556004.0000  1552423.0320  1260534    0.23%
   1272   204  1554495.7019 11266  1556004.0000  1552423.0320  1262410    0.23%
   1279   211  1554922.8661  8005  1556004.0000  1552423.0320  1265117    0.23%
   1293   225  1555900.1087  3049  1556004.0000  1552423.0320  1267040    0.23%
   1301   227  1553172.0274 14728  1556004.0000  1552475.2035  1269272    0.23%
   1303   229  1553858.1046 14882  1556004.0000  1552475.2035  1271562    0.23%
Elapsed time = 2511.33 sec. (2742662.86 ticks, tree = 27.64 MB, solutions = 17)
   1306   232  1554256.0793 14295  1556004.0000  1552475.2035  1274532    0.23%
   1309   235  1555307.7875 14078  1556004.0000  1552475.2035  1277655    0.23%
   1312   238  1554623.5844 12453  1556004.0000  1552475.2035  1279617    0.23%
   1319   245  1555567.8006  8153  1556004.0000  1552475.2035  1282257    0.23%
   1330   252  1555614.3156 11858  1556004.0000  1552475.2035  1285510    0.23%
   1340   256  1553229.4978 14712  1556004.0000  1552547.5032  1288952    0.22%
   1343   259  1554076.7926 14514  1556004.0000  1552547.5032  1292127    0.22%
   1345   261  1554461.5764 14381  1556004.0000  1552547.5032  1294188    0.22%
   1348   264  1554648.9632 13795  1556004.0000  1552547.5032  1296615    0.22%
*  1352+  254                      1555790.0000  1552547.5032             0.21%
   1352   256  1555064.2409 12318  1555790.0000  1552547.5032  1298660    0.21%
Elapsed time = 2576.87 sec. (2811160.53 ticks, tree = 36.78 MB, solutions = 18)
   1359   263  1555309.7827 12476  1555790.0000  1552547.5032  1301031    0.21%
   1368   270        cutoff        1555790.0000  1552547.5032  1302509    0.21%
   1370   270  1553292.7558 14824  1555790.0000  1552561.2375  1304386    0.21%
   1372   272  1554279.8813 14666  1555790.0000  1552561.2375  1306343    0.21%
   1374   274  1554692.9469 14612  1555790.0000  1552561.2375  1308344    0.21%
   1379   279  1555339.8991 13414  1555790.0000  1552561.2375  1310578    0.21%
   1382   282  1555459.4293 12086  1555790.0000  1552561.2375  1311918    0.21%
   1390   286  1552562.3458 14827  1555790.0000  1552561.3711  1314107    0.21%
   1391   287  1552957.0251 14711  1555790.0000  1552561.3711  1316674    0.21%
   1392   288  1553323.5715 14552  1555790.0000  1552561.3711  1318740    0.21%
Elapsed time = 2665.08 sec. (2905706.05 ticks, tree = 41.80 MB, solutions = 18)
   1394   290  1553923.6055 13390  1555790.0000  1552561.3711  1321381    0.21%
   1396   292  1554594.9759 13243  1555790.0000  1552561.3711  1324185    0.21%
   1399   295  1555153.5686 12678  1555790.0000  1552561.3711  1327560    0.21%
   1402   298  1555310.3811 11464  1555790.0000  1552561.3711  1329116    0.21%
   1403   299  1555477.7458 11593  1555790.0000  1552561.3711  1329757    0.21%
   1409   301  1553331.2643 14778  1555790.0000  1552562.2935  1335054    0.21%
   1411   303  1553902.9640 14746  1555790.0000  1552562.2935  1337382    0.21%
   1413   305  1554658.1561 14590  1555790.0000  1552562.2935  1339443    0.21%
   1416   308  1555126.1591 14286  1555790.0000  1552562.2935  1341943    0.21%
   1420   312  1555487.1494 12183  1555790.0000  1552562.2935  1344446    0.21%
Elapsed time = 2732.17 sec. (2976408.61 ticks, tree = 42.16 MB, solutions = 18)
   1425   313  1552716.3783 14804  1555790.0000  1552562.3931  1347978    0.21%
   1426   314  1553101.9045 14671  1555790.0000  1552562.3931  1350118    0.21%
   1427   315  1553399.3865 14533  1555790.0000  1552562.3931  1352114    0.21%
   1428   316  1554045.9277 14760  1555790.0000  1552562.3931  1355375    0.21%
   1429   317  1553758.2748 14498  1555790.0000  1552562.3931  1356256    0.21%
   1430   318  1554416.6646 14487  1555790.0000  1552562.3931  1358505    0.21%
   1433   321  1554700.3181 13163  1555790.0000  1552562.3931  1361540    0.21%
   1437   325  1555101.9261 12538  1555790.0000  1552562.3931  1364378    0.21%
   1441   329  1555575.6836  9517  1555790.0000  1552562.3931  1367411    0.21%
   1445   329  1553324.7124 14819  1555790.0000  1552632.3159  1370047    0.20%
Elapsed time = 2800.54 sec. (3049997.76 ticks, tree = 45.81 MB, solutions = 18)
   1447   331  1553892.9706 14420  1555790.0000  1552632.3159  1372326    0.20%
   1450   334  1554672.2892 14361  1555790.0000  1552632.3159  1375467    0.20%
   1452   336  1554999.2988 13702  1555790.0000  1552632.3159  1377138    0.20%
   1457   341  1555201.5024 12557  1555790.0000  1552632.3159  1379459    0.20%
   1466   350  1555399.0817  4760  1555790.0000  1552632.3159  1381896    0.20%
   1470   350  1553134.3261 14782  1555790.0000  1552632.3159  1385580    0.20%
   1471   351  1553523.7086 14706  1555790.0000  1552632.3159  1387781    0.20%
   1472   352  1553813.6141 14459  1555790.0000  1552632.3159  1389366    0.20%
   1476   356  1555176.6189 13985  1555790.0000  1552632.3159  1392025    0.20%
   1479   359  1555542.1343 12818  1555790.0000  1552632.3159  1395240    0.20%
Elapsed time = 2866.67 sec. (3119743.09 ticks, tree = 46.55 MB, solutions = 18)
   1484   360  1553031.5210 14435  1555790.0000  1552642.8433  1399554    0.20%
   1486   362  1553639.1823 14487  1555790.0000  1552642.8433  1401838    0.20%
   1488   364  1554268.5955 13196  1555790.0000  1552642.8433  1404429    0.20%
   1491   367  1554694.0001 12385  1555790.0000  1552642.8433  1406787    0.20%
   1492   368  1554711.6297 12306  1555790.0000  1552642.8433  1407641    0.20%
   1502   378  1555254.7942  4329  1555790.0000  1552642.8433  1410270    0.20%
   1508   384  1555271.7887 11757  1555790.0000  1552642.8433  1413239    0.20%
   1526   402  1555727.4696  2869  1555790.0000  1552642.8433  1414738    0.20%
   1529   401  1553388.3817 14427  1555790.0000  1552716.4138  1418646    0.20%
   1531   403  1554006.4149 14543  1555790.0000  1552716.4138  1421803    0.20%
Elapsed time = 2932.45 sec. (3189882.91 ticks, tree = 47.51 MB, solutions = 18)
   1533   405  1554334.7853 14411  1555790.0000  1552716.4138  1424010    0.20%
   1536   408  1554738.1685 13614  1555790.0000  1552716.4138  1426652    0.20%
   1542   414  1555199.9021  4877  1555790.0000  1552716.4138  1429257    0.20%
   1554   418  1553452.9860 14768  1555790.0000  1552776.5259  1432669    0.19%
   1556   420  1554426.7260 14681  1555790.0000  1552776.5259  1434951    0.19%
   1557   421  1553992.0580 14447  1555790.0000  1552776.5259  1437351    0.19%
   1559   423  1554359.7713 14498  1555790.0000  1552776.5259  1440053    0.19%
   1561   425  1554808.4624 14179  1555790.0000  1552776.5259  1443217    0.19%
   1564   428  1555664.1856 13227  1555790.0000  1552776.5259  1446811    0.19%
   1566   428        cutoff        1555790.0000  1552776.5259  1449917    0.19%
Elapsed time = 2987.20 sec. (3248400.76 ticks, tree = 52.71 MB, solutions = 18)
   1568   428  1553769.5495 14570  1555790.0000  1552783.9302  1453858    0.19%
   1569   429  1554161.8507 14510  1555790.0000  1552783.9302  1455951    0.19%
   1571   431  1554748.8686 13312  1555790.0000  1552783.9302  1458393    0.19%
   1572   432  1554797.7850 13077  1555790.0000  1552783.9302  1458871    0.19%
   1574   434  1555359.6056 12902  1555790.0000  1552783.9302  1461276    0.19%
   1578   434  1553723.6203 14595  1555790.0000  1552788.8373  1464734    0.19%
   1580   436  1554340.6757 13394  1555790.0000  1552788.8373  1467241    0.19%
   1584   440  1555035.8297 12564  1555790.0000  1552788.8373  1469513    0.19%
   1592   448  1555493.2965  5811  1555790.0000  1552788.8373  1472205    0.19%
   1597   449  1552909.5947 14731  1555790.0000  1552813.0525  1475477    0.19%
Elapsed time = 3079.36 sec. (3344880.11 ticks, tree = 54.16 MB, solutions = 18)
   1598   450  1553606.6761 14695  1555790.0000  1552813.0525  1478067    0.19%
   1599   451  1553816.9835 14479  1555790.0000  1552813.0525  1480104    0.19%
   1601   453  1554170.1315 14094  1555790.0000  1552813.0525  1482181    0.19%
   1603   455  1554454.6477 14260  1555790.0000  1552813.0525  1484576    0.19%
   1605   457  1555263.1663 13634  1555790.0000  1552813.0525  1487052    0.19%
   1610   462  1555513.9627  7302  1555790.0000  1552813.0525  1489453    0.19%
*  1612+  432                      1555595.0000  1552813.0525             0.18%
   1612   434  1555523.2400  1086  1555595.0000  1552813.0525  1489586    0.18%
   1615   433  1553598.6608 14602  1555595.0000  1552869.6383  1491517    0.18%
   1618   436  1554469.6913 13125  1555595.0000  1552869.6383  1493621    0.18%
   1622   440  1555453.9417 12417  1555595.0000  1552869.6383  1496197    0.18%
Elapsed time = 3120.74 sec. (3389530.09 ticks, tree = 57.11 MB, solutions = 19)
   1625   439  1553732.8686 14435  1555595.0000  1552889.8845  1499009    0.17%
   1628   442  1554617.2223 13079  1555595.0000  1552889.8845  1501218    0.17%
   1632   446  1555522.7236 11684  1555595.0000  1552889.8845  1504435    0.17%
   1635   445  1553115.6962 14753  1555595.0000  1552890.1949  1506374    0.17%
   1637   447  1553819.0760 14532  1555595.0000  1552890.1949  1509258    0.17%
   1640   450  1554412.4427 12998  1555595.0000  1552890.1949  1511534    0.17%
   1642   452  1554901.4517 12771  1555595.0000  1552890.1949  1512952    0.17%
   1646   456  1555267.4794 12354  1555595.0000  1552890.1949  1515694    0.17%
   1653   459  1552981.7090 14761  1555595.0000  1552909.7828  1518521    0.17%
   1654   460  1553373.8813 14821  1555595.0000  1552909.7828  1520979    0.17%
Elapsed time = 3200.15 sec. (3473764.51 ticks, tree = 59.39 MB, solutions = 19)
   1655   461  1553672.1304 14459  1555595.0000  1552909.7828  1522976    0.17%
   1658   464  1554263.6753 13032  1555595.0000  1552909.7828  1526046    0.17%
   1661   467  1554903.2819 12635  1555595.0000  1552909.7828  1528403    0.17%
   1662   468  1554942.3869 11935  1555595.0000  1552909.7828  1529731    0.17%
   1671   473        cutoff        1555595.0000  1552909.7828  1532732    0.17%
   1672   474  1553411.9043 14624  1555595.0000  1552945.7324  1537281    0.17%
   1674   476  1553932.4774 14357  1555595.0000  1552945.7324  1540389    0.17%
   1677   479  1554515.7520 12877  1555595.0000  1552945.7324  1543703    0.17%
   1679   481  1554764.9443 12125  1555595.0000  1552945.7324  1545561    0.17%
   1683   485  1555020.4221  4409  1555595.0000  1552945.7324  1547436    0.17%
Elapsed time = 3264.59 sec. (3542208.31 ticks, tree = 62.60 MB, solutions = 19)
   1689   488  1553996.0665 14898  1555595.0000  1552957.1092  1551316    0.17%
   1692   491  1554932.8012 13180  1555595.0000  1552957.1092  1553494    0.17%
   1695   492        cutoff        1555595.0000  1552957.1092  1555708    0.17%
   1697   492  1553928.6861 14530  1555595.0000  1552968.3009  1561685    0.17%
   1698   493  1554247.6494 14561  1555595.0000  1552968.3009  1563689    0.17%
   1701   496  1555043.9787 13222  1555595.0000  1552968.3009  1566916    0.17%
   1703   498  1555536.2091 12127  1555595.0000  1552968.3009  1570076    0.17%
   1706   497  1554335.7977 14772  1555595.0000  1552982.0110  1575122    0.17%
   1708   499  1555019.5272 14308  1555595.0000  1552982.0110  1577195    0.17%
*  1712+  491                      1555573.0000  1552982.0110             0.17%
   1712   493  1553728.6127 14740  1555573.0000  1553032.1542  1581149    0.16%
Elapsed time = 3377.91 sec. (3660935.13 ticks, tree = 65.57 MB, solutions = 20)
   1714   495  1554015.9529 14310  1555573.0000  1553032.1542  1583429    0.16%
   1716   497  1554510.0822 14348  1555573.0000  1553032.1542  1585770    0.16%
   1719   500  1555273.0317 14010  1555573.0000  1553032.1542  1588773    0.16%
   1724   501  1554257.8414 14640  1555573.0000  1553057.6312  1595674    0.16%
   1726   503  1554728.3841 13573  1555573.0000  1553057.6312  1597980    0.16%
   1730   507  1555104.5295 12518  1555573.0000  1553057.6312  1600395    0.16%
   1732   509  1555177.0550 12188  1555573.0000  1553057.6312  1601845    0.16%
   1741   514  1554250.9589 14685  1555573.0000  1553068.9058  1606657    0.16%
   1743   516  1554818.7235 13377  1555573.0000  1553068.9058  1608723    0.16%
   1747   520  1555236.2411 12083  1555573.0000  1553068.9058  1611243    0.16%
Elapsed time = 3450.31 sec. (3740604.24 ticks, tree = 66.03 MB, solutions = 20)
   1753   522  1553714.1847 14523  1555573.0000  1553116.7793  1615374    0.16%
   1756   525  1554836.7403 13185  1555573.0000  1553116.7793  1618479    0.16%
   1761   528  1555296.4822 12561  1555573.0000  1553116.7793  1621721    0.16%
   1765   530  1555534.8544 12566  1555573.0000  1553116.7793  1624728    0.16%
   1768   529  1553864.8577 14731  1555573.0000  1553134.4697  1627922    0.16%
   1770   531  1554160.6173 14415  1555573.0000  1553134.4697  1630056    0.16%
   1772   533  1554659.4454 14346  1555573.0000  1553134.4697  1632503    0.16%
   1775   536  1555372.0350 13563  1555573.0000  1553134.4697  1635423    0.16%
   1780   537  1554040.4363 14811  1555573.0000  1553229.5879  1643135    0.15%
   1781   538  1554250.8883 14886  1555573.0000  1553229.5879  1645053    0.15%
Elapsed time = 3527.49 sec. (3826445.90 ticks, tree = 65.75 MB, solutions = 20)
   1784   541  1554986.5428 14239  1555573.0000  1553229.5879  1647703    0.15%
   1786   541        cutoff        1555573.0000  1553229.5879  1651119    0.15%
   1790   541  1554183.0977 14738  1555573.0000  1553244.0867  1654528    0.15%
   1792   543  1554692.1543 14368  1555573.0000  1553244.0867  1656164    0.15%
   1794   545  1555109.1659 14249  1555573.0000  1553244.0867  1658246    0.15%
   1799   544  1553922.0576 14589  1555573.0000  1553292.9542  1662301    0.15%
   1803   548  1555225.4901 12936  1555573.0000  1553292.9542  1664849    0.15%
   1808   549  1554252.9428 14884  1555573.0000  1553323.7815  1668920    0.14%
