ampl: include 'C:\Users\IvanO\Downloads\AMPL trabajos\Ejecutar61.run';

Presolve eliminates 3142 constraints and 827638 variables.
Adjusted problem:
91225 variables:
	1792 binary variables
	89422 integer variables
	11 linear variables
13514 constraints, all linear; 822211 nonzeros
	3210 equality constraints
	10304 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 6 rows and 5 columns.
MIP Presolve modified 128 coefficients.
Reduced MIP has 12246 rows, 89958 columns, and 818000 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 12246 rows, 89958 columns, and 818000 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 364 bounds.
Probing time = 0.14 sec. (75.93 ticks)
Cover probing fixed 0 vars, tightened 774 bounds.
Clique table members: 128.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 2.92 sec. (1933.52 ticks)

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

      0     0     4591.6698  1367                   4591.6698       32         
*     0+    0                      8755800.2601     4591.6698            99.95%
*     0+    0                      8755699.0399     4591.6698            99.95%
      0     0     4591.6702  1118  8755699.0399     Cuts: 112     1018   99.95%
      0     0     4591.6702  1392  8755699.0399     Cuts: 944     3321   99.95%
      0     0     4591.6702  1046  8755699.0399     Cuts: 149     4401   99.95%
      0     0     4591.6702  1381  8755699.0399     Cuts: 898     6280   99.95%
Heuristic still looking.
      0     2     4591.6702   937  8755699.0399     4591.6702     6280   99.95%
Elapsed time = 73.47 sec. (90928.56 ticks, tree = 0.02 MB)
      3     5     4591.6702   940  8755699.0399     4591.6702     6410   99.95%
      5     7     4591.6702  1182  8755699.0399     4591.6702     7291   99.95%
      7     9     4591.6702  1180  8755699.0399     4591.6702     7294   99.95%
      8     9     4591.6712   877  8755699.0399     4591.6702     7819   99.95%
      9     8     4591.6722   802  8755699.0399     4591.6702     8937   99.95%
     10    10     4591.6794  1204  8755699.0399     4591.6702     9414   99.95%
     13    12     4591.6722   762  8755699.0399     4591.6702    10385   99.95%
     16    11     4591.6712  1016  8755699.0399     4591.6702    10588   99.95%
     17    15     4591.6712  1011  8755699.0399     4591.6702    15763   99.95%
     18     7     4591.6891  1310  8755699.0399     4591.6702     9524   99.95%
Elapsed time = 102.89 sec. (102044.19 ticks, tree = 0.02 MB)
     20    16     4591.6891  1338  8755699.0399     4591.6702    19751   99.95%
     21    17     4591.6891  1337  8755699.0399     4591.6702    24899   99.95%
     23    19     4591.6712   991  8755699.0399     4591.6702    33913   99.95%
     26     3     4591.6775  1240  8755699.0399     4591.6702    13844   99.95%
     29     6     4591.6720  1067  8755699.0399     4591.6702    10827   99.95%
     32     5     4591.6720   998  8755699.0399     4591.6702     8347   99.95%
     35    35     4591.6720   987  8755699.0399     4591.6702    80231   99.95%
     36     4     4591.6720  1017  8755699.0399     4591.6702     9213   99.95%
     43    39     4591.6775  1298  8755699.0399     4591.6702    87796   99.95%
     46    25     4591.6845  1322  8755699.0399     4591.6702    42109   99.95%
Elapsed time = 146.02 sec. (118776.20 ticks, tree = 0.73 MB)
     52    34     4591.6910  1013  8755699.0399     4591.6702    81114   99.95%
     54    46     4591.6910  1027  8755699.0399     4591.6702   102150   99.95%
     64    48     4591.6910   995  8755699.0399     4591.6702   104258   99.95%
     66    51     4591.6865  1047  8755699.0399     4591.6702   108081   99.95%
     69    54     4591.6712   995  8755699.0399     4591.6702   107668   99.95%
     72    56     4591.6712  1014  8755699.0399     4591.6702   108180   99.95%
     76    54     4591.6865   919  8755699.0399     4591.6702   109788   99.95%
     84    63     4591.6712  1042  8755699.0399     4591.6702   109225   99.95%
     85    69     4591.6729  1028  8755699.0399     4591.6702   112427   99.95%
     90    74     4591.6729   919  8755699.0399     4591.6702   113049   99.95%
Elapsed time = 188.91 sec. (133954.10 ticks, tree = 4.81 MB)
     92    63     4591.6976   659  8755699.0399     4591.6702   112471   99.95%
     97    44     4591.6794  1201  8755699.0399     4591.6702    94145   99.95%
    100    75     4591.7213   857  8755699.0399     4591.6702   116604   99.95%
    106    91     4591.6976   624  8755699.0399     4591.6702   138903   99.95%
    110    91     4591.6831  1193  8755699.0399     4591.6702   127585   99.95%
    111    96     4591.6767   802  8755699.0399     4591.6702   140609   99.95%
    112    92     4591.6872  1289  8755699.0399     4591.6702   128771   99.95%
    115    43     4591.6759   816  8755699.0399     4591.6702   102459   99.95%
    116    97     4591.6767   876  8755699.0399     4591.6702   142488   99.95%
    118    50     4591.6910  1034  8755699.0399     4591.6702   106628   99.95%
Elapsed time = 230.72 sec. (150629.41 ticks, tree = 1.06 MB)
    120   112     4591.6910  1051  8755699.0399     4591.6702   164022   99.95%
    122    99     4591.6913  1181  8755699.0399     4591.6702   146886   99.95%
    123   113     4591.6929  1016  8755699.0399     4591.6702   163793   99.95%
    124   113     4591.6910  1020  8755699.0399     4591.6702   166592   99.95%
    126   121     4591.6910   948  8755699.0399     4591.6702   175117   99.95%
    130   124     4591.6929   976  8755699.0399     4591.6702   189042   99.95%
    132   118     4591.6767  1091  8755699.0399     4591.6702   172993   99.95%
    136   127     4591.6767  1084  8755699.0399     4591.6702   193478   99.95%
    140   129     4591.6976   646  8755699.0399     4591.6702   193819   99.95%
    148    87     4591.6759   999  8755699.0399     4591.6702   151311   99.95%
Elapsed time = 293.24 sec. (173891.06 ticks, tree = 4.09 MB)
    151   131     4591.6767  1093  8755699.0399     4591.6702   194529   99.95%
    154   135     4591.6976   747  8755699.0399     4591.6702   195386   99.95%
    157   132     4591.6759   853  8755699.0399     4591.6702   233707   99.95%
    165   105     4591.6759  1056  8755699.0399     4591.6702   169246   99.95%
    169   149     4591.6855  1121  8755699.0399     4591.6702   237391   99.95%
    174   153     4591.6942   813  8755699.0399     4591.6702   240667   99.95%
    180   138     4591.6759   864  8755699.0399     4591.6702   268294   99.95%
    184   155     4591.6942   744  8755699.0399     4591.6702   260288   99.95%
    189   150     4591.7007  1243  8755699.0399     4591.6702   256480   99.95%
    195   153     4591.6855  1192  8755699.0399     4591.6702   257158   99.95%
Elapsed time = 330.28 sec. (185728.36 ticks, tree = 7.88 MB)
    196   159     4591.6944   803  8755699.0399     4591.6702   291770   99.95%
    199   145     4591.6767   787  8755699.0399     4591.6702   295828   99.95%
    207   194     4591.6942   654  8755699.0399     4591.6702   493916   99.95%
    212   176     4591.6767   724  8755699.0399     4591.6702   338528   99.95%
    215   148     4591.6759   838  8755699.0399     4591.6702   276407   99.95%
    218   184     4591.6759   802  8755699.0399     4591.6702   418957   99.95%
    228   198     4591.6759   762  8755699.0399     4591.6702   540383   99.95%
    236   206     4591.6942   487  8755699.0399     4591.6702   497111   99.95%
    238   167     4591.7513   939  8755699.0399     4591.6702   282263   99.95%
    241   183     4591.7103   902  8755699.0399     4591.6702   341870   99.95%
Elapsed time = 357.42 sec. (197666.74 ticks, tree = 10.88 MB)
    250   187     4591.6967   512  8755699.0399     4591.6702   342433   99.95%
    258   191     4591.6759   743  8755699.0399     4591.6702   421869   99.95%
    259   207     4591.7091   799  8755699.0399     4591.6702   500176   99.95%
    265   205     4591.6976   580  8755699.0399     4591.6702   581277   99.95%
    271   252     4591.6967   529  8755699.0399     4591.6702   628250   99.95%
    280   224     4591.6942   498  8755699.0399     4591.6702   616297   99.95%
    286   259     4591.6967   473  8755699.0399     4591.6702   629330   99.95%
    288   227     4591.6942   495  8755699.0399     4591.6702   616310   99.95%
    307   261     4591.6967   484  8755699.0399     4591.6702   630531   99.95%
    311   261     4591.6859  1075  8755699.0399     4591.6702   635332   99.95%
Elapsed time = 383.16 sec. (209031.97 ticks, tree = 19.66 MB)
    321   265     4591.6967   610  8755699.0399     4591.6702   631475   99.95%
    328   265     4591.6759   572  8755699.0399     4591.6702   635880   99.95%
    332   268     4591.6759   507  8755699.0399     4591.6702   636328   99.95%
    341   286     4591.6923   791  8755699.0399     4591.6702   684247   99.95%
    355   298     4591.6923   702  8755699.0399     4591.6702   684436   99.95%
    367   310     4591.6953   445  8755699.0399     4591.6702   714453   99.95%
    372   276     4591.6981   753  8755699.0399     4591.6702   644044   99.95%
    381   318     4591.6953   448  8755699.0399     4591.6702   716095   99.95%
    388   343     4591.6759   443  8755699.0399     4591.6702   733813   99.95%
    397   332     4591.6967   593  8755699.0399     4591.6702   728288   99.95%
Elapsed time = 412.25 sec. (221169.68 ticks, tree = 28.41 MB)
    400   320     4591.6959   724  8755699.0399     4591.6702   722354   99.95%
    402   334     4591.7034   824  8755699.0399     4591.6702   729575   99.95%
    409   322     4591.6959   742  8755699.0399     4591.6702   723743   99.95%
    412   336     4591.6967   625  8755699.0399     4591.6702   731051   99.95%
    416   324     4591.6959   790  8755699.0399     4591.6702   725082   99.95%
    421   325     4591.7089   830  8755699.0399     4591.6702   722222   99.95%
    425   348     4591.6760   553  8755699.0399     4591.6702   738827   99.95%
    438   351     4591.6759   473  8755699.0399     4591.6702   739267   99.95%
    440   382     4591.6961   737  8755699.0399     4591.6702   765006   99.95%
    452   370     4591.6959   526  8755699.0399     4591.6702   757889   99.95%
Elapsed time = 456.64 sec. (238310.15 ticks, tree = 35.41 MB)
    463   419     4591.6976   681  8755699.0399     4591.6702   787670   99.95%
    482   436     4591.6953   398  8755699.0399     4591.6702   800900   99.95%
    521   399     4591.6759   518  8755699.0399     4591.6702   776168   99.95%
    529   443     4591.6759   717  8755699.0399     4591.6702   822236   99.95%
    556   442     4591.6953   558  8755699.0399     4591.6702   810289   99.95%
    562   438     4591.6910  1072  8755699.0399     4591.6702   824486   99.95%
    563   453     4591.7253  1035  8755699.0399     4591.6702   849163   99.95%
    566   487     4591.6961   476  8755699.0399     4591.6702   846110   99.95%
    575   506     4591.7066   648  8755699.0399     4591.6702   875453   99.95%
    580   511     4591.7025   818  8755699.0399     4591.6702   879841   99.95%
Elapsed time = 676.81 sec. (321471.09 ticks, tree = 58.36 MB)
    583   445     4591.6967   365  8755699.0399     4591.6702   784298   99.95%
    586   505     4591.7267   897  8755699.0399     4591.6702   887268   99.95%
    603   546     4591.6967   422  8755699.0399     4591.6702   891753   99.95%
    610   573     4591.6959   515  8755699.0399     4591.6702   908567   99.95%
    632   547     4591.7135   874  8755699.0399     4591.6702   895973   99.95%
    640   579     4591.6959   728  8755699.0399     4591.6702   912791   99.95%
    646   579     4591.6967   409  8755699.0399     4591.6702   917649   99.95%
    670   581     4591.7223   868  8755699.0399     4591.6702   916836   99.95%
    679   586     4591.6759   466  8755699.0399     4591.6702   937947   99.95%
    691   594     4591.6924   789  8755699.0399     4591.6702   937561   99.95%
Elapsed time = 788.58 sec. (366232.44 ticks, tree = 72.77 MB)
    711   606     4591.6967   457  8755699.0399     4591.6702   925836   99.95%
    736   651     4591.6976   552  8755699.0399     4591.6702   976770   99.95%
    748   642     4591.6959   449  8755699.0399     4591.6702   954016   99.95%
    758   659     4591.6967   341  8755699.0399     4591.6702   980674   99.95%
    770   660     4591.6759   593  8755699.0399     4591.6702  1000520   99.95%
    788   688     4591.6944   609  8755699.0399     4591.6702  1013400   99.95%
    800   668     4591.6759   366  8755699.0399     4591.6702  1004017   99.95%
    820   722     4591.6976   565  8755699.0399     4591.6702  1025205   99.95%
    860   680     4591.6759   406  8755699.0399     4591.6702  1007813   99.95%
    905   685     4591.6760   641  8755699.0399     4591.6702  1009758   99.95%
Elapsed time = 894.55 sec. (407523.37 ticks, tree = 89.26 MB)
    933   752     4591.6967   304  8755699.0399     4591.6702  1042375   99.95%
    966   884     4591.6759   383  8755699.0399     4591.6702  1110863   99.95%
    988   740     4591.6996   777  8755699.0399     4591.6702  1035068   99.95%
   1040   804     4591.7267   644  8755699.0399     4591.6702  1067814   99.95%
   1116   891     4591.6759   437  8755699.0399     4591.6702  1116778   99.95%
   1122   892     4591.6759   674  8755699.0399     4591.6702  1118670   99.95%
   1167   814     4591.6945   681  8755699.0399     4591.6702  1094099   99.95%
   1179   924     4591.6976   492  8755699.0399     4591.6702  1134042   99.95%
   1219  1101     4591.6945   466  8755699.0399     4591.6702  1185602   99.95%
   1236  1089     4591.6959   843  8755699.0399     4591.6702  1173935   99.95%
Elapsed time = 1001.31 sec. (450596.25 ticks, tree = 162.21 MB)
   1256  1084     4591.7317   738  8755699.0399     4591.6702  1164953   99.95%
   1285  1106     4591.6945   455  8755699.0399     4591.6702  1190885   99.95%
   1309  1100     4591.6959   364  8755699.0399     4591.6702  1179828   99.95%
   1335  1184     4591.6963   524  8755699.0399     4591.6702  1216600   99.95%
   1366  1201     4591.6976   507  8755699.0399     4591.6702  1254094   99.95%
   1389  1186     4591.6963   523  8755699.0399     4591.6702  1221449   99.95%
   1422  1280     4591.7413   577  8755699.0399     4591.6702  1281195   99.95%
   1469  1206     4591.6996   735  8755699.0399     4591.6702  1261673   99.95%
   1492  1228     4591.6967   330  8755699.0399     4591.6702  1271574   99.95%
   1518  1386     4591.6963   347  8755699.0399     4591.6702  1335754   99.95%
Elapsed time = 1109.58 sec. (493126.48 ticks, tree = 218.72 MB)
   1568  1323     4591.6959   267  8755699.0399     4591.6702  1310063   99.95%
   1608  1326     4591.6959   728  8755699.0399     4591.6702  1311929   99.95%
   1644  1469     4591.6959   430  8755699.0399     4591.6702  1386522   99.95%
*  1661+ 1599                        10326.1084     4591.6702            55.53%
*  1663+ 1599                        10270.7897     4591.6702            55.29%
*  1671+ 1599                        10255.0870     4591.6702            55.23%
*  1676+ 1599                        10111.6893     4591.6702            54.59%
*  1678+ 1599                        10081.1398     4591.6702            54.45%
*  1678+ 1599                        10027.5742     4591.6702            54.21%
   1678  1461     4591.6967   362    10027.5742     4591.6702  1376420   54.21%
*  1715+ 1600                         9597.0165     4591.6702            52.16%
*  1715+ 1600                         9568.2257     4591.6702            52.01%
   1717  1463     4591.6967   289     9568.2257     4591.6702  1378354   52.01%
*  1730+ 1620                         9309.9310     4591.6702            50.68%
   1740  1625     4591.6712   899     9309.9310     4591.6702  1463777   50.68%
   1770  1472     4591.6967   320     9309.9310     4591.6702  1382090   50.68%
   1795  1490     4591.6959   245     9309.9310     4591.6702  1395394   50.68%
   1797  1525     4591.6946   622     9309.9310     4591.6702  1411722   50.68%
   1819  1797     4591.6959   273     9309.9310     4591.6702  1533063   50.68%
Elapsed time = 1210.50 sec. (534202.62 ticks, tree = 305.71 MB)
   1829  1684     4591.6971   523     9309.9310     4591.6702  1493032   50.68%
   1859  1772     4591.6759   295     9309.9310     4591.6702  1523148   50.68%
   1874  1649     4591.6943  1000     9309.9310     4591.6702  1476848   50.68%
   1881  1774     4591.6759   651     9309.9310     4591.6702  1526425   50.68%
   1900  1740     4591.7642   519     9309.9310     4591.6702  1520001   50.68%
   1914  1742     4591.7642   444     9309.9310     4591.6702  1522010   50.68%
   1928  1846     4591.6967   363     9309.9310     4591.6702  1578203   50.68%
   1940  1891     4591.6759   317     9309.9310     4591.6702  1602768   50.68%
   1949  1910     4591.7642   503     9309.9310     4591.6702  1620347   50.68%
   1970  1824     4591.6910   928     9309.9310     4591.6702  1573017   50.68%
Elapsed time = 1302.83 sec. (573998.81 ticks, tree = 308.82 MB)
   1989  1897     4591.7090   349     9309.9310     4591.6702  1597000   50.68%
   1999  1897     4591.6759   572     9309.9310     4591.6702  1610081   50.68%
   2022  1928     4591.7642   478     9309.9310     4591.6702  1629306   50.68%
   2043  1937     4591.7712   649     9309.9310     4591.6702  1631712   50.68%
   2060  2036     4591.6959   270     9309.9310     4591.6702  1719672   50.68%
   2084  1964     4591.7090   607     9309.9310     4591.6702  1659701   50.68%
   2100  1975     4591.6759   372     9309.9310     4591.6702  1670620   50.68%
   2119  2037     4591.7653   683     9309.9310     4591.6702  1701562   50.68%
   2136  2041     4591.7678   646     9309.9310     4591.6702  1703847   50.68%
   2162  1974     4591.7286   816     9309.9310     4591.6702  1667907   50.68%
Elapsed time = 1401.86 sec. (616391.70 ticks, tree = 344.56 MB)
   2182  2054     4591.6959   410     9309.9310     4591.6702  1731016   50.68%
   2192  2087     4591.7197   990     9309.9310     4591.6702  1762450   50.68%
   2211  2132     4591.7675   606     9309.9310     4591.6702  1779737   50.68%
   2228  2136     4591.7642   433     9309.9310     4591.6702  1781779   50.68%
   2254  2178     4591.6959   356     9309.9310     4591.6702  1823677   50.68%
   2269  2180     4591.6959   414     9309.9310     4591.6702  1825489   50.68%
   2303  2197     4591.6759   556     9309.9310     4591.6702  1835940   50.68%
   2315  2102     4591.7090   815     9309.9310     4591.6702  1773845   50.68%
   2327  2201     4591.6759   657     9309.9310     4591.6702  1839554   50.68%
   2328  2193     4591.7328   799     9309.9310     4591.6702  1832886   50.68%
Elapsed time = 1484.30 sec. (657546.77 ticks, tree = 396.50 MB)
   2335  2207     4591.6759   630     9309.9310     4591.6702  1843602   50.68%

Performing restart 1

Repeating presolve.
MIP Presolve modified 618842 coefficients.
Reduced MIP has 12246 rows, 89958 columns, and 427624 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
MIP Presolve modified 11760 coefficients.
Reduced MIP has 12246 rows, 89958 columns, and 427624 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
Represolve time = 1.11 sec. (920.02 ticks)
   2336     0     4591.6702  1438     9309.9310     Cuts: 777  1992092   50.68%
*  2336+    0                         9237.0906     4591.6702            50.29%
   2336     0     4591.6702  1844     9237.0906    Cuts: 1266  1997890   50.29%
   2336     0     4591.6702  2498     9237.0906    Cuts: 1686  2025789   50.29%
   2336     0     4591.6702  1484     9237.0906     Cuts: 928  2029596   50.29%
   2336     0     4591.6702  2011     9237.0906    Cuts: 1336  2035814   50.29%
   2336     0     4591.6702  2655     9237.0906    Cuts: 1797  2049816   50.29%
*  2336+    0                         8749.5797     4591.6702            47.52%
*  2336+    0                         8652.2690     4591.6702            46.93%
   2336     2     4591.6702  2655     8652.2690     4591.6702  2049816   46.93%
   2337     3     4591.6722  1956     8652.2690     4591.6722  2079732   46.93%
   2338     4     4591.6722  1950     8652.2690     4591.6722  2094672   46.93%
   2339     5     4591.6742  2048     8652.2690     4591.6722  2111872   46.93%
   2340     6     4591.6742  2060     8652.2690     4591.6722  2114083   46.93%
   2342     3     4591.6772  2066     8652.2690     4591.6722  2092634   46.93%
   2344    10     4591.6742  2030     8652.2690     4591.6722  2179993   46.93%
   2346     4     4591.6734  2067     8652.2690     4591.6722  2099372   46.93%
   2347    11     4591.6742  1999     8652.2690     4591.6722  2180593   46.93%
Elapsed time = 2370.52 sec. (1470407.68 ticks, tree = 0.07 MB)
   2349    13     4591.6734  2067     8652.2690     4591.6722  2214987   46.93%
   2352    15     4591.6734  2029     8652.2690     4591.6722  2223870   46.93%
   2354    16     4591.6734  2058     8652.2690     4591.6722  2228997   46.93%
   2357    15     4591.6742  1871     8652.2690     4591.6722  2212269   46.93%
   2362    14     4591.6734  2006     8652.2690     4591.6722  2205029   46.93%
   2368    17     4591.6734  1975     8652.2690     4591.6722  2208862   46.93%
*  2369+    4                         8095.4536     4591.6722            43.28%
   2371    21     4591.6742  1949     8095.4536     4591.6722  2255518   43.28%
   2376    23     4591.6759  1914     8095.4536     4591.6722  2316844   43.28%
   2383    25     4591.6742  1770     8095.4536     4591.6722  2327676   43.28%
   2390    33     4591.6734  1909     8095.4536     4591.6722  2339047   43.28%
Elapsed time = 2511.91 sec. (1516760.48 ticks, tree = 0.53 MB)
   2396    41     4591.6742  1853     8095.4536     4591.6722  2386977   43.28%
   2402    25     4591.6814  1738     8095.4536     4591.6722  2277879   43.28%
   2409    26     4591.6816  1725     8095.4536     4591.6722  2293832   43.28%
   2416    28     4591.6816  1719     8095.4536     4591.6722  2296626   43.28%
   2420    30     4591.6816  1715     8095.4536     4591.6722  2301214   43.28%
   2427    69     4591.6816  1714     8095.4536     4591.6722  2485301   43.28%
   2434    77     4591.6742  1785     8095.4536     4591.6722  2525616   43.28%
   2440    93     4591.6742  1738     8095.4536     4591.6722  2594387   43.28%
   2442    75     4591.6816  1830     8095.4536     4591.6722  2498703   43.28%
   2447   104     4591.6742  1743     8095.4536     4591.6722  2620014   43.28%
Elapsed time = 2628.58 sec. (1558151.40 ticks, tree = 2.42 MB)
   2450   106     4591.6742  1750     8095.4536     4591.6722  2623232   43.28%
   2452   107     4591.6742  1702     8095.4536     4591.6722  2625099   43.28%
   2458   109     4591.6742  1673     8095.4536     4591.6722  2627229   43.28%
   2464     7     4591.6742  1892     8095.4536     4591.6722  2131351   43.28%
   2470   106     4591.6751  1671     8095.4536     4591.6722  2633157   43.28%
   2477   108     4591.6751  1612     8095.4536     4591.6722  2647212   43.28%
   2481   122     4591.6900  1611     8095.4536     4591.6722  2663615   43.28%
   2487   110     4591.6759  1868     8095.4536     4591.6722  2650710   43.28%
   2501   137     4591.6742  1607     8095.4536     4591.6722  2726647   43.28%
   2507   128     4591.6900  1596     8095.4536     4591.6722  2671131   43.28%
Elapsed time = 2743.41 sec. (1600013.22 ticks, tree = 2.50 MB)
   2520   125     4591.6742  1917     8095.4536     4591.6722  2678226   43.28%
   2529   158     4591.6900  1474     8095.4536     4591.6722  2756577   43.28%
   2536   145     4591.6759  1940     8095.4536     4591.6722  2746832   43.28%
   2544   179     4591.6742  1556     8095.4536     4591.6722  2795677   43.28%
   2562   148     4591.6759  1959     8095.4536     4591.6722  2756627   43.28%
   2570   208     4591.6900  1488     8095.4536     4591.6722  2880568   43.28%
   2579   170     4591.6742  1894     8095.4536     4591.6722  2791827   43.28%
   2595   200     4591.6751  1484     8095.4536     4591.6722  2846717   43.28%
   2602   202     4591.6759  1896     8095.4536     4591.6722  2873786   43.28%
   2609   214     4591.6900  1441     8095.4536     4591.6722  2904086   43.28%
Elapsed time = 2867.36 sec. (1641625.52 ticks, tree = 4.59 MB)
   2615   205     4591.6759  1829     8095.4536     4591.6722  2883482   43.28%
   2623   254     4591.6742  1446     8095.4536     4591.6722  3102779   43.28%
   2635   255     4591.6755  1311     8095.4536     4591.6722  3125926   43.28%
   2650   229     4591.6742  1643     8095.4536     4591.6722  3012146   43.28%
   2661   226     4591.6909  2029     8095.4536     4591.6722  3062716   43.28%
   2672   279     4591.6751  1233     8095.4536     4591.6722  3204458   43.28%
   2682   299     4591.6742  1614     8095.4536     4591.6722  3282790   43.28%
   2698   302     4591.6909  1866     8095.4536     4591.6722  3326088   43.28%
   2706   268     4591.6742  1043     8095.4536     4591.6722  3268466   43.28%
   2715   305     4591.6909  1849     8095.4536     4591.6722  3333914   43.28%
Elapsed time = 3003.55 sec. (1684581.90 ticks, tree = 6.99 MB)
   2733   307     4591.6759  2092     8095.4536     4591.6722  3397816   43.28%
   2741   361     4591.6900  1221     8095.4536     4591.6722  3869766   43.28%
   2748   320     4591.6742  1083     8095.4536     4591.6722  3583598   43.28%
   2758   365     4591.6900  1205     8095.4536     4591.6722  3880079   43.28%
   2768   390     4591.6759  1707     8095.4536     4591.6722  3948852   43.28%
   2786   343     4591.6751  1200     8095.4536     4591.6722  3678722   43.28%
   2803   410     4591.6759  2050     8095.4536     4591.6722  4009871   43.28%
   2807   405     4591.6742  1013     8095.4536     4591.6722  3989140   43.28%
   2819   372     4591.6900  1152     8095.4536     4591.6722  3906739   43.28%
   2826   365     4591.6742  1580     8095.4536     4591.6722  3780626   43.28%
Elapsed time = 3139.13 sec. (1727001.27 ticks, tree = 9.45 MB)
   2839   380     4591.6942  1698     8095.4536     4591.6722  3916766   43.28%
   2852   447     4591.6900  1122     8095.4536     4591.6722  4142161   43.28%
   2865   427     4591.6751  1091     8095.4536     4591.6722  4089505   43.28%
   2876   470     4591.6742  1558     8095.4536     4591.6722  4167790   43.28%
   2887   473     4591.6742  1441     8095.4536     4591.6722  4186613   43.28%
   2900   476     4591.6759  1641     8095.4536     4591.6722  4209534   43.28%
   2918   512     4591.6759  1761     8095.4536     4591.6722  4296287   43.28%
   2925   514     4591.6759  1697     8095.4536     4591.6722  4309463   43.28%
   2933   501     4591.6742   826     8095.4536     4591.6722  4319323   43.28%
   2941   530     4591.6751  1008     8095.4536     4591.6722  4383082   43.28%
Elapsed time = 3288.20 sec. (1768187.55 ticks, tree = 16.46 MB)
   2952   522     4591.6759  1626     8095.4536     4591.6722  4349624   43.28%
   2957   533     4591.6754  1055     8095.4536     4591.6722  4437223   43.28%
   2965   515     4591.6742   703     8095.4536     4591.6722  4433260   43.28%
   2970   520     4591.6742   690     8095.4536     4591.6722  4466116   43.28%
   2978   524     4591.6742   668     8095.4536     4591.6722  4503398   43.28%
   2987   561     4591.6742   596     8095.4536     4591.6722  4650244   43.28%
   2996   547     4591.6781   895     8095.4536     4591.6722  4576051   43.28%
   3010   589     4591.6781   857     8095.4536     4591.6722  4920326   43.28%
   3016   573     4591.6756   797     8095.4536     4591.6722  4745370   43.28%
   3021   567     4591.6909  1738     8095.4536     4591.6722  4711697   43.28%
Elapsed time = 3481.49 sec. (1812110.98 ticks, tree = 19.13 MB)
   3025   593     4591.6862  1050     8095.4536     4591.6722  5006234   43.28%
   3032   572     4591.6909  1617     8095.4536     4591.6722  4744569   43.28%
   3035   599     4591.6903  1121     8095.4536     4591.6722  5063004   43.28%
   3039   573     4591.6951  1571     8095.4536     4591.6722  4773751   43.28%
   3042   575     4591.6909  1565     8095.4536     4591.6722  4793256   43.28%
   3045   578     4591.6946  1560     8095.4536     4591.6722  4831701   43.28%
   3047   607     4591.6946  1545     8095.4536     4591.6722  5111539   43.28%
   3050   610     4591.6912  1638     8095.4536     4591.6722  5127892   43.28%
   3053   613     4591.6916  1596     8095.4536     4591.6722  5154934   43.28%
   3056   616     4591.6916  1568     8095.4536     4591.6722  5173208   43.28%
Elapsed time = 3699.72 sec. (1869781.97 ticks, tree = 22.25 MB)
   3059   619     4591.6962  1597     8095.4536     4591.6722  5208557   43.28%
   3061   621     4591.6962  1553     8095.4536     4591.6722  5225798   43.28%
   3063   623     4591.6962  1548     8095.4536     4591.6722  5240896   43.28%
   3066   464     4591.6742  1580     8095.4536     4591.6722  4183746   43.28%
   3068   639     4591.6742  1569     8095.4536     4591.6722  5333823   43.28%
   3071   642     4591.6742  1328     8095.4536     4591.6722  5368392   43.28%
   3073   644     4591.6742  1204     8095.4536     4591.6722  5409250   43.28%
   3077   648     4591.6742  1141     8095.4536     4591.6722  5431717   43.28%
   3081   652     4591.6817  1140     8095.4536     4591.6722  5465109   43.28%
   3086   466     4591.6900  1004     8095.4536     4591.6722  4297810   43.28%
Elapsed time = 3969.88 sec. (1967758.11 ticks, tree = 14.38 MB)
   3094   674     4591.6900  1035     8095.4536     4591.6722  5559671   43.28%
   3097   677     4591.6900   960     8095.4536     4591.6722  5591822   43.28%
   3106   682     4591.6900   890     8095.4536     4591.6722  5624006   43.28%
   3115   686     4591.6900   901     8095.4536     4591.6722  5660050   43.28%
   3125   577     4591.6756   835     8095.4536     4591.6722  4776973   43.28%
   3138   731     4591.6756   641     8095.4536     4591.6722  5988022   43.28%
   3159   715     4591.6742  1234     8095.4536     4591.6722  5883121   43.28%
   3173   718     4591.6742  1208     8095.4536     4591.6722  5902412   43.28%
   3181   731     4591.6759  1490     8095.4536     4591.6722  6044526   43.28%
   3197   747     4591.6942   469     8095.4536     4591.6722  6137437   43.28%
Elapsed time = 4098.72 sec. (2010764.52 ticks, tree = 31.90 MB)
   3208   752     4591.6942   444     8095.4536     4591.6722  6160775   43.28%
   3215   716     4591.6900   727     8095.4536     4591.6722  5881286   43.28%
   3225   748     4591.6759  1480     8095.4536     4591.6722  6156245   43.28%
   3238   726     4591.6742  1125     8095.4536     4591.6722  6016042   43.28%
   3253   805     4591.6900   714     8095.4536     4591.6722  6557614   43.28%
   3259   756     4591.6759  1369     8095.4536     4591.6722  6209074   43.28%
   3269   811     4591.6900   710     8095.4536     4591.6722  6631560   43.28%
*  3276+  761                         8017.0007     4591.6722            42.73%
   3278   859     4591.6942   425     8017.0007     4591.6722  7100806   42.73%
   3287   748     4591.6759  1305     8017.0007     4591.6722  6228012   42.73%
   3301   863     4591.6945   773     8017.0007     4591.6722  7173514   42.73%
Elapsed time = 4244.58 sec. (2051279.46 ticks, tree = 40.93 MB)
   3316   867     4591.6945   749     8017.0007     4591.6722  7210092   42.73%
   3335   831     4591.6742  1035     8017.0007     4591.6722  6766053   42.73%
   3346   894     4591.6900   669     8017.0007     4591.6722  7484189   42.73%
   3361   914     4591.6759  1226     8017.0007     4591.6722  7622503   42.73%
   3366   917     4591.6759  1209     8017.0007     4591.6722  7644603   42.73%
   3375   842     4591.6742   897     8017.0007     4591.6722  6857179   42.73%
   3385   887     4591.7068   773     8017.0007     4591.6722  7415481   42.73%
   3396   924     4591.6759  1094     8017.0007     4591.6722  7717722   42.73%
   3413   850     4591.6742   835     8017.0007     4591.6722  6926694   42.73%
   3430   901     4591.7068   657     8017.0007     4591.6722  7498744   42.73%
Elapsed time = 4361.19 sec. (2092529.01 ticks, tree = 46.51 MB)
   3439   910     4591.6900   617     8017.0007     4591.6722  7764548   42.73%
*  3445+  928                         7959.5076     4591.6722            42.31%
   3450   967     4591.6759  1123     7959.5076     4591.6722  8187367   42.31%
   3472   922     4591.7068   436     7959.5076     4591.6722  7572952   42.31%
   3483   970     4591.6759  1065     7959.5076     4591.6722  8237130   42.31%
   3500   958     4591.6903   942     7959.5076     4591.6722  8084369   42.31%
   3511  1078     4591.7068   391     7959.5076     4591.6722  9036512   42.31%
   3521  1109     4591.6900   567     7959.5076     4591.6722  9614146   42.31%
   3529  1111     4591.6902   803     7959.5076     4591.6722  9641697   42.31%
   3542  1082     4591.7068   391     7959.5076     4591.6722  9137903   42.31%
   3558   987     4591.6759  1003     7959.5076     4591.6722  8341115   42.31%
Elapsed time = 4486.70 sec. (2132852.83 ticks, tree = 49.06 MB)
   3577  1122     4591.6900   559     7959.5076     4591.6722  9707064   42.31%
   3590  1133     4591.6762   941     7959.5076     4591.6722  9780511   42.31%
   3603  1127     4591.6900   591     7959.5076     4591.6722  9762642   42.31%
   3616   974     4591.7084   939     7959.5076     4591.6722  8257287   42.31%
   3626   997     4591.6759   961     7959.5076     4591.6722  8442652   42.31%
   3639   980     4591.7084   845     7959.5076     4591.6722  8288444   42.31%
   3660  1095     4591.7068   415     7959.5076     4591.6722  9363151   42.31%
   3675  1169     4591.7084   824     7959.5076     4591.6722 10066095   42.31%
   3688  1139     4591.6989  1025     7959.5076     4591.6722  9931536   42.31%
   3700  1134     4591.6967  1140     7959.5076     4591.6722  9711372   42.31%
Elapsed time = 4617.03 sec. (2173567.55 ticks, tree = 65.52 MB)
   3717  1200     4591.6742   746     7959.5076     4591.6722 10459159   42.31%
*  3730+ 1144                         7768.5616     4591.6722            40.89%
*  3733+ 1144                         7766.8731     4591.6722            40.88%
   3733  1262     4591.6759   881     7766.8731     4591.6722 11165571   40.88%
*  3735+ 1144                         7757.8294     4591.6722            40.81%
   3748  1355     4591.6762   911     7757.8294     4591.6722 12090550   40.81%
   3765  1319     4591.6742   726     7757.8294     4591.6722 11788586   40.81%
   3780  1324     4591.6742   742     7757.8294     4591.6722 11812847   40.81%
   3790  1363     4591.6967  1066     7757.8294     4591.6722 12159917   40.81%
   3800  1305     4591.6902   753     7757.8294     4591.6722 11761233   40.81%
   3810  1329     4591.6742   733     7757.8294     4591.6722 11858598   40.81%
   3824  1363     4591.6813   971     7757.8294     4591.6722 12194321   40.81%
   3839  1310     4591.7020   967     7757.8294     4591.6722 11860104   40.81%
Elapsed time = 4788.19 sec. (2215517.84 ticks, tree = 86.07 MB)
   3855  1315     4591.7045   908     7757.8294     4591.6722 11884822   40.81%
   3872  1413     4591.7094   827     7757.8294     4591.6722 12780635   40.81%
*  3885+ 1413                         7755.0623     4591.6722            40.79%
*  3885+ 1413                         7747.7169     4591.6722            40.74%
   3888  1370     4591.6959  1062     7747.7169     4591.6722 12283600   40.74%
   3912  1347     4591.6742   612     7747.7169     4591.6722 12013102   40.74%
   3926  1377     4591.6762   822     7747.7169     4591.6722 12328041   40.74%
   3943  1425     4591.7104   722     7747.7169     4591.6722 12852440   40.74%
   3957  1397     4591.6967   651     7747.7169     4591.6722 12402748   40.74%
   3972  1433     4591.7104   633     7747.7169     4591.6722 12895110   40.74%
   3978  1514     4591.6762   736     7747.7169     4591.6722 13721785   40.74%
   3990  1518     4591.6762   710     7747.7169     4591.6722 13743916   40.74%
Elapsed time = 4932.03 sec. (2256743.99 ticks, tree = 101.11 MB)
   4005  1417     4591.6745   791     7747.7169     4591.6722 12838744   40.74%
   4020  1422     4591.6745   800     7747.7169     4591.6722 12863114   40.74%
   4034  1523     4591.6762   720     7747.7169     4591.6722 13840371   40.74%
   4053  1452     4591.6759   667     7747.7169     4591.6722 13203333   40.74%
   4066  1565     4591.7068   357     7747.7169     4591.6722 14073700   40.74%
   4079  1444     4591.7104   615     7747.7169     4591.6722 13035307   40.74%
   4099  1568     4591.7068   337     7747.7169     4591.6722 14127725   40.74%
   4117  1507     4591.6742   565     7747.7169     4591.6722 13745170   40.74%
   4135  1612     4591.6745   766     7747.7169     4591.6722 14605466   40.74%
   4158  1710     4591.6762   703     7747.7169     4591.6722 15774009   40.74%
Elapsed time = 5081.47 sec. (2297412.38 ticks, tree = 121.56 MB)
   4168  1659     4591.6759   677     7747.7169     4591.6722 15057284   40.74%
   4179  1700     4591.6942   690     7747.7169     4591.6722 15469826   40.74%
   4197  1664     4591.6759   646     7747.7169     4591.6722 15096902   40.74%
   4217  1721     4591.6784   900     7747.7169     4591.6722 15904102   40.74%
   4231  1623     4591.6745   731     7747.7169     4591.6722 14789944   40.74%
   4257  1717     4591.6942   501     7747.7169     4591.6722 15613496   40.74%
   4278  1632     4591.6745   679     7747.7169     4591.6722 14863880   40.74%
   4299  1726     4591.6942   463     7747.7169     4591.6722 15671918   40.74%
   4312  1637     4591.7013   828     7747.7169     4591.6722 14937089   40.74%
   4337  1734     4591.6942   446     7747.7169     4591.6722 15730996   40.74%
Elapsed time = 5224.91 sec. (2337259.35 ticks, tree = 125.97 MB)
*  4340+ 1672                         7548.1443     4591.6722            39.17%
   4360  1784     4591.7068   456     7548.1443     4591.6722 16467824   39.17%
   4376  1789     4591.7068   393     7548.1443     4591.6722 16492445   39.17%
   4390  1752     4591.7034   891     7548.1443     4591.6722 16297982   39.17%
   4412  1931     4591.6942   456     7548.1443     4591.6722 17937007   39.17%
*  4424+ 1750                         7485.2252     4591.6722            38.66%
*  4425+ 1750                         7457.0252     4591.6722            38.42%
   4434  1761     4591.7167   581     7457.0252     4591.6722 16356242   38.42%
   4453  1766     4591.7167   496     7457.0252     4591.6722 16393497   38.42%
   4467  1976     4591.6784   755     7457.0252     4591.6722 18418328   38.42%
   4484  1944     4591.6942   451     7457.0252     4591.6722 18046175   38.42%
   4496  1830     4591.6745   757     7457.0252     4591.6722 17194247   38.42%
   4510  1318     4591.7045   874     7457.0252     4591.6722 11906409   38.42%
Elapsed time = 5380.59 sec. (2378556.71 ticks, tree = 87.32 MB)
   4530  2005     4591.7045   725     7457.0252     4591.6722 18760934   38.42%
   4543  1953     4591.7092   636     7457.0252     4591.6722 18180483   38.42%
   4559  2053     4591.7068   463     7457.0252     4591.6722 19178584   38.42%
   4574  1839     4591.6755   826     7457.0252     4591.6722 17312159   38.42%
   4592  2056     4591.7748   748     7457.0252     4591.6722 19258245   38.42%
   4612  2150     4591.6942   482     7457.0252     4591.6722 20352992   38.42%
   4624  2085     4591.6745   687     7457.0252     4591.6722 19719617   38.42%
   4634  2087     4591.6745   671     7457.0252     4591.6722 19757820   38.42%
   4643  2065     4591.7314   780     7457.0252     4591.6722 19376730   38.42%
   4652  2178     4591.6879   844     7457.0252     4591.6722 20954072   38.42%
Elapsed time = 5541.14 sec. (2423194.83 ticks, tree = 181.25 MB)
   4664  2039     4591.7045   684     7457.0252     4591.6722 19272506   38.42%
   4671  2182     4591.6886   965     7457.0252     4591.6722 21028794   38.42%
*  4679+ 2065                         7287.5085     4591.6722            36.99%
*  4680+ 2065                         7277.3629     4591.6722            36.90%
   4684  2230     4591.7068   334     7277.3629     4591.6722 21753290   36.90%
   4698  2123     4591.7019   641     7277.3629     4591.6722 20201375   36.90%
   4708  2102     4591.6860  1022     7277.3629     4591.6722 20034917   36.90%
   4725  2133     4591.7020   650     7277.3629     4591.6722 20252422   36.90%
   4732  2193     4591.7176   892     7277.3629     4591.6722 21204281   36.90%
   4759  2331     4591.7020   626     7277.3629     4591.6722 22992786   36.90%
   4774  2334     4591.7020   629     7277.3629     4591.6722 23021402   36.90%
   4782  2228     4591.7045   567     7277.3629     4591.6722 21689514   36.90%
Elapsed time = 5671.38 sec. (2463488.26 ticks, tree = 189.98 MB)
   4796  2338     4591.7020   491     7277.3629     4591.6722 23075510   36.90%
   4809  2369     4591.7176   828     7277.3629     4591.6722 23529272   36.90%
   4823  1897     4591.7118   592     7277.3629     4591.6722 17754132   36.90%
   4840  2236     4591.7167   518     7277.3629     4591.6722 21834245   36.90%
   4861  2393     4591.7118   594     7277.3629     4591.6722 23819405   36.90%
   4871  2422     4591.7167   484     7277.3629     4591.6722 24274362   36.90%
   4888  2317     4591.6942   559     7277.3629     4591.6722 22913374   36.90%
   4901  2445     4591.7068   329     7277.3629     4591.6722 24675048   36.90%
   4921  2322     4591.6942   566     7277.3629     4591.6722 22973502   36.90%
   4935  2405     4591.7118   548     7277.3629     4591.6722 23935630   36.90%
Elapsed time = 5802.56 sec. (2502574.82 ticks, tree = 213.28 MB)
   4951  2366     4591.7159   401     7277.3629     4591.6722 23318234   36.90%
   4965  2452     4591.7868   506     7277.3629     4591.6722 24778880   36.90%
   4979  2442     4591.7167   668     7277.3629     4591.6722 24495534   36.90%
*  4985+ 2511                         7222.6569     4591.6722            36.43%
   4994  2539     4591.7522   832     7222.6569     4591.6722 25767386   36.43%
   5018  2446     4591.7167   695     7222.6569     4591.6722 24580192   36.43%
   5036  2610     4591.7118   525     7222.6569     4591.6722 26466722   36.43%
   5060  2619     4591.6942   439     7222.6569     4591.6722 26522168   36.43%
   5078  2653     4591.7167   716     7222.6569     4591.6722 26902254   36.43%
   5097  2612     4591.7123   939     7222.6569     4591.6722 26555429   36.43%
   5114  2590     4591.7159   357     7222.6569     4591.6722 26317886   36.43%
Elapsed time = 5956.97 sec. (2543812.00 ticks, tree = 242.56 MB)
   5129  2631     4591.6942   440     7222.6569     4591.6722 26656145   36.43%
   5147  2665     4591.7167   616     7222.6569     4591.6722 27017361   36.43%
   5175  2686     4591.7868   291     7222.6569     4591.6722 27238520   36.43%
   5196  2567     4591.6942   413     7222.6569     4591.6722 25947857   36.43%
   5220  2647     4591.6942   531     7222.6569     4591.6722 26777386   36.43%
   5237  2747     4591.6942   688     7222.6569     4591.6722 27831894   36.43%
*  5255+ 2748                         7125.6535     4591.6722            35.56%
   5258  2751     4591.6942   496     7125.6535     4591.6722 27855639   35.56%
   5279  2787     4591.7159   358     7125.6535     4591.6722 28172306   35.56%
   5296  2704     4591.7901   688     7125.6535     4591.6722 27467987   35.56%
   5313  2757     4591.6942   476     7125.6535     4591.6722 27960308   35.56%
Elapsed time = 6113.42 sec. (2583943.59 ticks, tree = 268.79 MB)
   5336  2921     4591.7167   602     7125.6535     4591.6722 29570430   35.56%
   5355  2718     4591.7367   494     7125.6535     4591.6722 27738760   35.56%
   5378  2723     4591.7367   530     7125.6535     4591.6722 27766041   35.56%
   5397  2726     4591.7367   446     7125.6535     4591.6722 27793392   35.56%
   5416  2935     4591.7167   611     7125.6535     4591.6722 29761694   35.56%
   5435  2771     4591.6942   416     7125.6535     4591.6722 28123031   35.56%
*  5451+ 2849                         7118.9059     4591.6722            35.50%
*  5451+ 2849                         6985.3908     4591.6722            34.27%
   5455  2981     4591.7118   498     6985.3908     4591.6722 30161090   34.27%
   5464  2810     4591.7159   378     6985.3908     4591.6722 28421888   34.27%
   5473  3018     4591.7367   385     6985.3908     4591.6722 30748973   34.27%
   5488  2997     4591.7308  1038     6985.3908     4591.6722 30418083   34.27%
Elapsed time = 6265.00 sec. (2624157.60 ticks, tree = 307.04 MB)
   5511  2950     4591.7167   543     6985.3908     4591.6722 30018646   34.27%
   5531  3049     4591.7093   993     6985.3908     4591.6722 31172512   34.27%
   5544  3119     4591.6976   695     6985.3908     4591.6722 31985212   34.27%
   5560  3158     4591.7167   624     6985.3908     4591.6722 32567763   34.27%
*  5565+ 3025                         6866.1100     4591.6722            33.13%
   5578  3162     4591.7167   673     6866.1100     4591.6722 32614487   33.13%
   5590  3171     4591.7367   442     6866.1100     4591.6722 32653374   33.13%
   5604  3166     4591.7176   775     6866.1100     4591.6722 32694773   33.13%
   5618  3017     4591.7309   812     6866.1100     4591.6722 30732934   33.13%
   5633  3179     4591.6976   674     6866.1100     4591.6722 32827323   33.13%
   5652  3189     4591.7367   455     6866.1100     4591.6722 32742477   33.13%
Elapsed time = 6422.72 sec. (2663781.29 ticks, tree = 339.41 MB)
   5668  3186     4591.6976   634     6866.1100     4591.6722 32903665   33.13%
   5681  3107     4591.7359   449     6866.1100     4591.6722 31736131   33.13%
   5691  3235     4591.7499  1095     6866.1100     4591.6722 33727888   33.13%
   5701  3238     4591.7499   998     6866.1100     4591.6722 33762135   33.13%
*  5708+ 3107                         6841.5940     4591.6722            32.89%
*  5709+ 3107                         6824.9937     4591.6722            32.72%
   5709  3200     4591.7367   505     6824.9937     4591.6722 32863672   32.72%
   5722  3289     4591.6942   440     6824.9937     4591.6722 34340241   32.72%
   5735  3246     4591.7507   940     6824.9937     4591.6722 33874350   32.72%
   5744  3249     4591.7510  1010     6824.9937     4591.6722 33917733   32.72%
   5753  3209     4591.7118   561     6824.9937     4591.6722 33386203   32.72%
   5769  3293     4591.6942   441     6824.9937     4591.6722 34435633   32.72%
Elapsed time = 6586.77 sec. (2705587.18 ticks, tree = 356.08 MB)
Starting limited solution polishing.
   5777  3214     4591.7118   435     6824.9937     4591.6722 33431526   32.72%
   5801  3282     4591.7359   412     6824.9937     4591.6722 34168449   32.72%
   5824  3286     4591.7359   364     6824.9937     4591.6722 34188443   32.72%
   5838  3224     4591.7118   490     6824.9937     4591.6722 33502141   32.72%
   5851  3269     4591.7534   976     6824.9937     4591.6722 34182671   32.72%
   5866  3427     4591.7543   839     6824.9937     4591.6722 35947818   32.72%
   5885  3303     4591.7359   356     6824.9937     4591.6722 34269853   32.72%
   5907  3308     4591.7359   343     6824.9937     4591.6722 34289578   32.72%
   5922  3349     4591.7919   471     6824.9937     4591.6722 35006197   32.72%
   5931  3391     4591.6983   594     6824.9937     4591.6722 35337985   32.72%
Elapsed time = 6743.49 sec. (2745583.01 ticks, tree = 374.51 MB)
   5941  3490     4591.7493   666     6824.9937     4591.6722 36624147   32.72%
   5949  3437     4591.7683  1151     6824.9937     4591.6722 35962178   32.72%
   5975  3408     4591.6984   702     6824.9937     4591.6722 35345457   32.72%
   5987  3501     4591.7493   699     6824.9937     4591.6722 36630394   32.72%
   6008  3505     4591.7493   597     6824.9937     4591.6722 36632270   32.72%
   6023  3582     4591.7919   477     6824.9937     4591.6722 37693702   32.72%
   6041  3588     4591.7919   536     6824.9937     4591.6722 37695600   32.72%
   6052  3598     4591.7120   507     6824.9937     4591.6722 37979268   32.72%
*  6057+ 3451                         6517.9524     4591.6722            29.55%
   6068  3519     4591.6963   949     6517.9524     4591.6722 37111377   29.55%
   6085  3601     4591.7120   445     6517.9524     4591.6722 37983334   29.55%
Elapsed time = 6901.70 sec. (2787283.14 ticks, tree = 412.75 MB)
   6101  3651     4591.7688   853     6517.9524     4591.6722 38471876   29.55%
   6126  3653     4591.7688   950     6517.9524     4591.6722 38474110   29.55%
   6146  3526     4591.6963   837     6517.9524     4591.6722 37211463   29.55%
   6159  3657     4591.7688   909     6517.9524     4591.6722 38479284   29.55%
   6183  3600     4591.8006   974     6517.9524     4591.6722 37713938   29.55%
*  6197+ 3702                         6315.6682     4591.6722            27.30%
   6202  3661     4591.7688   906     6315.6682     4591.6722 38483540   27.30%
   6212  3731     4591.7076  1102     6315.6682     4591.6722 39080791   27.30%
   6232  3654     4591.7189   778     6315.6682     4591.6722 38315872   27.30%
   6245  3752     4591.7493   639     6315.6682     4591.6722 39115329   27.30%
   6255  3667     4591.7698   958     6315.6682     4591.6722 38493202   27.30%
Elapsed time = 7018.83 sec. (2828779.94 ticks, tree = 427.48 MB)
   6271  3779     4591.8000  1078     6315.6682     4591.6722 39148958   27.30%
   6290  3827     4591.7195   994     6315.6682     4591.6722 39171783   27.30%
   6309  3882     4591.7120   392     6315.6682     4591.6722 39215517   27.30%
   6333  3834     4591.7200   964     6315.6682     4591.6722 39175915   27.30%
   6350  3751     4591.7142   615     6315.6682     4591.6722 39086897   27.30%
   6367  3757     4591.7142   602     6315.6682     4591.6722 39088650   27.30%
   6393  3853     4591.7253   623     6315.6682     4591.6722 39181010   27.30%
   6410  3866     4591.7725  1012     6315.6682     4591.6722 39211249   27.30%
   6424  3869     4591.7722   856     6315.6682     4591.6722 39213095   27.30%
   6440  3919     4591.7559   748     6315.6682     4591.6722 39246916   27.30%
Elapsed time = 7143.38 sec. (2869543.74 ticks, tree = 497.96 MB)
*  6453+ 3873                         6252.4285     4591.6722            26.56%
*  6453+ 3873                         6200.5009     4591.6722            25.95%
   6453  3875     4591.7268   577     6200.5009     4591.6722 39186767   25.95%
   6474  3885     4591.7722   824     6200.5009     4591.6722 39220121   25.95%
   6518  4055     4591.7495   767     6200.5009     4591.6722 39287215   25.95%
   6542  4071     4591.7299   547     6200.5009     4591.6722 39289892   25.95%
   6557  3905     4591.7319   995     6200.5009     4591.6722 39244501   25.95%
   6565  3749     4591.7934   837     6200.5009     4591.6722 39115540   25.95%

Flow cuts applied:  1010
Mixed integer rounding cuts applied:  138
Zero-half cuts applied:  3

Root node processing (before b&c):
  Real time             =   73.14 sec. (90644.93 ticks)
Parallel b&c, 8 threads:
  Real time             = 7127.08 sec. (2821018.82 ticks)
  Sync time (average)   = 1057.38 sec.
  Wait time (average)   =    0.09 sec.
                          ------------
Total (root+branch&cut) = 7200.22 sec. (2911663.75 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 13514 rows and 91225 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 6200.500888
39491894 MIP simplex iterations
6566 branch-and-bound nodes
absmipgap = 1608.83, relmipgap = 0.259468
COSTOS = 6200.5

NVS [*] :=
1  1
2  0.962264
3  0.985316
4  0.923077
5  0.997063
6  0.992625
;

O [1,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    5    4    4    2    4    2
2     4    4    9    8    4    4    4
3     4    6    9    6    6    6    4
4     6   10    9    6    7    6    6
5     6   11   11   10    6    8   13
6     6   10    8    7    9    7   12
7     6   10   11    9    7    8   10
8    13   10   11    6    7   11    9
9    13    6    7    6   10   11   12
10   10    8    8    6   13    9   15
11   12   11    6    8   13   14   13
12   13   10    7   10   14   10   11
13    8   10    8    7    7    9    8
14    8    8    8    7    8    8    8
15    4    4    4    5    4    4    2

 [2,*,*] (tr)
:    1    2   3    4    5    6    7     :=
1     2   3    4    4    2    1    2
2     4   5    4    6    5    4    2
3     7   6    4    8    5    6    4
4     7   9    5   10    6    6    5
5     6   8    6   12    9    6   10
6     7   7    9   23   13   11   10
7     9   6   13    6   10    8   11
8     6   6    6   12   15    8   16
9    13   6   13    6   10    8   12
10   12   9   13    8    9   10   12
11   13   9    9    6    9   10   14
12   11   8    9    8    7   11   14
13   12   8    7    9    8    8    8
14    7   7    7    7    7    9    3
15    4   4    4    4    4    4    3

 [3,*,*] (tr)
:    1   2    3   4    5    6    7     :=
1    2    4   4    4    2    3    0
2    4    4   4    4    4    3    5
3    4    6   6    8    6    6    4
4    8    6   6    8    6    6    6
5    8    6   6    7    6    9   10
6    6    8   6    7    6    8   10
7    6   10   6    6    8    9    9
8    7    8   9    6    6    8    8
9    6   12   5    6    6    8   12
10   7    6   7    6    9    9   14
11   9    8   6    8    8   11   13
12   8   10   6   15   12   10   13
13   8    7   7    8    8    9    8
14   8    8   7    9    8    8    7
15   4    4   4    6    3    4    2

 [4,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    2    4    4    4    3    2
2     2    4    8    4    6    4    4
3     4    4    8    6    5    1    4
4     4    7    8    6    6   13    6
5     6    6    6    6    6    7   10
6     4    7    6    6    6    9    9
7     7    6    7    6    6    8   12
8    13   12    6    7    6    9    8
9    11    6    6    3    6    8   12
10    7   14    9    9    6   10    9
11    9    8   12    8    7    9   12
12    8    9   10   10    8   10   13
13    8    8    5    6   10    9    8
14    7    8    3    6    7    6    8
15    4    2    4    3    4    4    2

 [5,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    4    4    4    3    4    2
2     6    4    4    5    6    4    4
3     4    6    4    6    6    6    6
4     6    6    6    6    6    6    6
5     6    6    6   10   11    8   10
6     6    6   10    8    7    9   14
7    10    6    6   12   14    8   11
8    16    6    9   12   13    9    8
9    19    8    6    7   13    9   12
10   19    6    8    7   14   10   14
11   12    9    6   10   12   10   12
12   12   11    6    7   10   10   12
13    7    8    7    8    8    9    8
14    8    8    6    8    8    8    7
15    4    4    4    4    5    4    6

 [6,*,*] (tr)
:    1    2   3   4    5    6    7     :=
1     2   6   4    4    0    5    2
2     3   6   4    4    5    4    2
3     6   6   5    6    6    6    4
4     9   6   6    5    6    7    6
5    11   6   6    6    6    9   11
6    11   6   9    7    6    8   13
7    12   7   5   13    8   10    9
8    13   6   8   10    9   11    8
9     6   6   7   12   12    8   12
10    8   6   7   10    9   10   14
11    8   9   7   13   13   10   11
12   11   8   6   10    8   10   12
13   11   8   8   10    8    8    8
14    8   8   8    8    9    8    7
15    4   4   4    4    4    4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   7   8    :=
1    4   4   3   3   4   2   0   2
2    0   0   0   0   3   0   0   0
4    2   0   1   1   1   0   0   0
8    2   2   2   3   2   0   2   0
10   0   3   1   0   0   0   0   0
12   0   0   0   3   0   1   0   0
14   4   0   0   2   2   1   0   0
15   3   8   1   3   2   0   0   0
16   0   0   0   4   0   3   0   0
22   2   3   3   3   0   0   0   0
26   4   3   1   0   1   0   0   0
29   2   2   3   3   4   0   0   4
32   0   1   0   1   2   0   0   0
36   6   4   0   4   2   0   3   0
;

:        PE  PF    :=
1 1 5     1   0
1 1 8     6   0
1 1 9     7   0
1 1 10    4   0
1 1 11    6   0
1 1 12    4   0
1 2 1     1   0
1 2 4     4   0
1 2 5     5   0
1 2 6     4   0
1 2 7     4   0
1 2 8     4   0
1 2 10    2   0
1 2 11    3   0
1 2 12    2   0
1 2 13    2   0
1 3 2     5   0
1 3 3     5   0
1 3 4     3   0
1 3 5     5   0
1 3 6     2   0
1 3 7     5   0
1 3 8     6   0
1 3 9     1   0
1 4 2     4   0
1 4 5     4   0
1 4 6     1   0
1 4 7     3   0
1 4 12    2   0
1 5 6     3   0
1 5 7     1   0
1 5 8     1   0
1 5 9     4   0
1 5 10    7   0
1 5 11    5   0
1 5 12    6   0
1 6 8     3   0
1 6 9     3   0
1 6 11    4   0
1 6 13    1   0
1 7 5     2   0
1 7 8     1   0
1 7 11    1   0
2 1 3     3   0
2 1 4     1   0
2 1 7     3   0
2 1 9     7   0
2 1 10    6   0
2 1 11    7   0
2 1 12    3   0
2 1 13    4   0
2 1 14    0   1
2 2 1     0   1
2 2 2     1   0
2 2 4     3   0
2 2 5     1   0
2 2 10    3   0
2 2 11    1   0
2 3 4     0   1
2 3 6     3   0
2 3 7     7   0
2 3 9     7   0
2 3 10    5   0
2 3 11    3   0
2 3 12    3   0
2 3 13    0   1
2 3 14    0   1
2 4 2     2   0
2 4 3     2   0
2 4 4     4   0
2 4 5     6   0
2 4 6    17   0
2 4 8     6   0
2 4 10    2   0
2 4 11    0   2
2 4 14    0   1
2 5 3     0   1
2 5 5     3   0
2 5 6     7   0
2 5 7     4   0
2 5 8     9   0
2 5 9     4   0
2 5 10    3   0
2 6 1     0   3
2 6 5     0   2
2 6 6     3   0
2 7 2     0   2
2 7 6     0   3
2 7 8     8   0
2 7 10    0   2
2 7 11    3   0
2 7 14    0   5
2 7 15    1   0
3 1 4     2   0
3 1 5     2   0
3 1 8     2   0
3 1 10    1   0
3 1 11    3   0
3 2 3     0   1
3 2 6     2   0
3 2 7     4   0
3 2 8     2   0
3 2 9     6   0
3 2 12    2   0
3 3 3     2   0
3 3 8     3   0
3 3 13    0   2
3 3 14    0   1
3 4 3     2   0
3 4 4     2   0
3 4 5     2   0
3 4 6     1   0
3 4 12    7   0
3 4 15    2   0
3 5 7     2   0
3 5 10    3   0
3 5 12    4   0
3 6 1     0   1
3 7 1     0   2
3 7 2     1   0
3 7 6     0   3
3 7 12    1   0
4 1 2     0   2
4 1 4     0   2
4 1 6     0   2
4 1 7     1   0
4 1 8     7   0
4 1 9     5   0
4 1 10    1   0
4 1 11    3   0
4 1 14    0   1
4 2 1     0   2
4 2 3     0   2
4 2 4     1   0
4 2 6     1   0
4 2 8     6   0
4 2 10    8   0
4 2 15    0   2
4 3 2     4   0
4 3 3     4   0
4 3 4     2   0
4 3 7     1   0
4 3 10    1   0
4 3 11    6   0
4 3 12    4   0
4 3 13    0   3
4 3 14    0   5
4 4 8     1   0
4 4 9     0   3
4 4 10    3   0
4 4 12    2   0
4 4 13    0   3
4 4 14    0   3
4 4 15    0   1
4 5 1     2   0
4 5 2     2   0
4 5 3     0   1
4 5 11    0   1
4 5 13    2   0
4 5 14    0   1
4 6 1     0   1
4 6 3     0   5
4 6 4     6   0
4 6 5     0   2
4 6 6     2   0
4 6 14    0   2
4 7 6     0   3
4 7 7     2   0
4 7 10    0   6
5 1 2     2   0
5 1 5     1   0
5 1 7     4   0
5 1 8    10   0
5 1 9    13   0
5 1 10   12   0
5 1 11    6   0
5 1 12    4   0
5 2 9     2   0
5 2 11    1   0
5 2 12    3   0
5 3 6     3   0
5 3 8     3   0
5 3 13    0   1
5 3 14    0   1
5 4 2     1   0
5 4 5     4   0
5 4 6     2   0
5 4 7     6   0
5 4 8     6   0
5 4 9     1   0
5 4 10    1   0
5 4 11    2   0
5 5 1     1   0
5 5 2     2   0
5 5 5     5   0
5 5 7     8   0
5 5 8     7   0
5 5 9     7   0
5 5 10    9   0
5 5 11    3   0
5 5 12    2   0
5 5 15    1   0
5 6 9     1   0
5 6 13    2   0
5 7 3     2   0
5 7 6     2   0
5 7 12    1   0
5 7 15    4   0
6 1 3     2   0
6 1 4     3   0
6 1 5     6   0
6 1 6     5   0
6 1 7     6   0
6 1 8     7   0
6 1 10    2   0
6 1 11    2   0
6 1 12    3   0
6 1 13    3   0
6 2 1     2   0
6 2 2     2   0
6 2 7     1   0
6 2 11    1   0
6 3 3     1   0
6 3 6     3   0
6 3 8     2   0
6 3 9     1   0
6 3 11    1   0
6 4 6     1   0
6 4 7     7   0
6 4 8     4   0
6 4 9     6   0
6 4 10    4   0
6 4 11    5   0
6 4 12    2   0
6 4 13    2   0
6 5 1     0   2
6 5 2     1   0
6 5 7     2   0
6 5 8     4   0
6 5 9     6   0
6 5 10    3   0
6 5 11    5   0
6 6 4     1   0
6 6 5     1   0
6 6 7     2   0
6 6 8     3   0
6 7 2     0   2
6 7 14    0   1
;

PO [*,1,1,*]
:    1   2   3   4   5   6   7   8    9  10   11   12  13  14  15    :=
1    2   2   4   6   6   6   6   10   8   8   12   10   8   8   4
2    0   0   0   0   0   0   0    3   3   0    0    3   0   0   0
4    0   2   0   0   0   0   0    0   2   2    0    0   0   0   0

 [*,1,2,*]
:    1   2   3   4    5    6    7    8    9  10   11   12   13  14  15    :=
1    4   4   5   10   10   10   10   10   6   8   11   10   10   8   4
4    1   0   1    0    1    0    0    0   0   0    0    0    0   0   0

 [*,1,3,*]
:    1   2   3   4   5    6   7    8    9  10  11  12  13  14  15    :=
1    4   9   9   9   11   8   11   11   7   8   6   7   7   7   4
4    0   0   0   0    0   0    0    0   0   0   0   0   1   1   0

 [*,1,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    4   5   6   6   7   7   6   6   4   6   7   7   7   7   3
2    0   3   0   0   3   0   3   0   0   0   0   0   0   0   0
4    0   0   0   0   0   0   0   0   2   0   1   3   0   0   2

 [*,1,5,*]
:    1   2   3   4   5   6   7   8   9    10   11  12  13  14  15    :=
1    2   4   6   6   6   9   7   7   10   10   10   9   7   7   4
2    0   0   0   0   0   0   0   0    0    0    0   3   0   1   0
4    0   0   0   1   0   0   0   0    0    3    3   2   0   0   0

 [*,1,6,*]
:    1   2   3   4   5   6   7   8   9  10   11   12  13  14  15    :=
1    4   4   6   6   7   7   7   8   8   9   11   10   6   6   1
2    0   0   0   0   0   0   0   3   3   0    3    0   3   2   3
4    0   0   0   0   1   0   1   0   0   0    0    0   0   0   0

 [*,1,7,*]
:    1   2   3   4   5    6    7    8   9   10   11   12  13  14  15    :=
1    2   4   4   6   12   12   10   9   9   10   13   11   8   8   2
2    0   0   0   0    0    0    0   0   2    3    0    0   0   0   0
4    0   0   0   0    1    0    0   0   1    2    0    0   0   0   0

 [*,2,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   3   3   0   0   3   3   0   3   0   0
8    2   2   2   2   2   2   0   2   5   5   5   7   7   7   4
10   0   0   0   0   0   1   1   0   0   4   0   0   0   0   0
12   0   0   0   0   0   0   0   0   2   0   0   0   0   0   0
14   0   0   0   0   0   0   4   4   5   0   0   4   0   0   0
26   0   2   4   4   4   0   0   0   0   0   5   0   2   0   0
32   0   0   1   1   0   1   1   0   1   0   0   0   0   0   0

 [*,2,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
8    3   5   6   6   6   6   4   4   4   4   4   4   4   4   2
10   0   0   0   0   2   0   2   0   2   0   2   0   1   0   0
12   0   0   0   2   0   0   0   0   0   2   0   0   0   0   0
14   0   0   0   0   0   0   0   1   0   0   0   1   0   0   2
26   0   0   0   0   0   0   0   1   0   3   0   0   0   0   0
32   0   0   0   1   0   1   0   0   0   0   3   3   3   3   0

 [*,2,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
8    4   4   4   5   6   6   7   6   6   8   4   4   4   4   2
10   0   0   0   0   0   0   0   0   0   0   0   0   3   3   0
12   0   0   0   0   0   0   1   0   1   1   1   0   0   0   0
14   0   0   0   0   0   2   0   0   1   0   1   1   0   0   0
26   0   0   0   0   0   1   5   0   5   3   2   2   0   0   0
32   0   0   0   0   0   0   0   0   0   1   1   2   0   0   2

 [*,2,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    3   0   3   3   0   3   0   3   0   0   0   0   0   0   0
8    1   5   5   5   9   7   6   4   4   4   4   4   2   2   0
10   0   0   0   0   0   0   0   1   1   1   1   0   4   3   3
12   0   0   0   0   1   4   0   0   0   0   0   0   0   0   0
14   0   0   0   0   2   2   0   1   0   0   1   0   3   2   1
26   0   0   0   0   0   4   0   0   1   1   0   4   0   0   0
32   0   1   0   2   0   3   0   3   0   2   0   0   0   0   0

 [*,2,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   3   3   3   3   3   0   3   2   0
8    2   4   4   6   6   6   6   4   2   2   2   2   2   2   2
10   0   0   0   0   0   0   0   0   0   1   1   0   0   1   0
12   0   0   0   0   0   0   1   0   0   0   0   1   2   2   2
14   0   1   1   0   3   3   0   2   5   0   2   0   0   0   0
26   0   0   0   0   0   4   0   4   0   0   1   1   0   0   0
32   0   0   0   0   0   0   0   2   0   3   0   3   1   0   0

 [*,2,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   0   0   0   3   0   3   0   1   0
8    1   1   3   3   3   5   4   4   4   6   6   6   6   6   4
10   0   0   3   0   0   0   0   0   1   0   1   0   0   0   0
12   0   0   0   1   0   4   2   0   3   0   0   0   0   0   0
14   0   0   0   0   0   1   0   0   0   1   3   2   1   2   0
26   0   1   0   0   1   0   0   2   0   0   0   0   0   0   0
32   0   2   0   2   2   1   2   2   0   0   0   0   1   0   0

 [*,2,7,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   0   3   1   0   3   3   3   3   3
8    2   2   2   5   8   8   6   6   8   8   5   4   2   0   0
10   0   0   1   0   0   1   0   0   0   0   0   0   0   0   0
12   0   0   0   0   1   0   0   1   0   0   0   2   0   0   0
14   0   0   1   0   1   0   3   5   0   0   0   0   0   0   0
26   0   0   0   0   0   1   0   1   0   3   5   5   3   0   0
32   0   0   0   0   0   0   2   0   3   1   1   0   0   0   0

 [*,3,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   0   0   0   0   0   0   0   0   1   6   4   0   0   0   0
15   2   4   4   8   8   6   6   7   5   1   5   8   8   8   4

 [*,3,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   0   0   0   0   0   0   3   4   5   5   5   8   7   7   4
15   4   4   6   6   6   6   4   4   0   0   0   0   0   0   0
16   0   0   0   0   0   2   3   0   7   1   3   2   0   1   0

 [*,3,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   2   2   2   2   2   0   3   3   0   1   0   0   1   1   0
15   2   2   4   4   3   3   3   6   5   6   6   6   6   6   4
16   0   0   0   0   1   3   0   0   0   0   0   0   0   0   0

 [*,3,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   0   0   0   0   0   0   4   4   5   5   8   9   2   3   0
15   4   4   8   8   7   7   2   2   1   1   0   6   6   6   6

 [*,3,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   0   0   0   1   0   0   3   1   1   6   3   4   0   0   0
15   2   4   5   5   6   6   5   5   5   3   5   8   8   8   3
16   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0

 [*,3,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
14   3   3   3   3   3   2   3   5   6   5   3   2   1   0   0
15   0   0   3   3   3   3   3   3   0   0   4   8   8   8   4
16   0   0   0   0   3   3   3   0   2   4   4   0   0   0   0

 [*,3,7,*]
:    2   3   4   5   6   7   8   9  10   11   12  13  14  15    :=
14   1   0   1   2   3   0   0   5   4    2    2   2   2   2
15   4   4   5   8   7   7   3   6   7   11   11   6   5   0
16   0   0   0   0   0   2   5   1   3    0    0   0   0   0

 [*,4,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   2   2   2   0   0   2   0   0   2   2   2   1   1
10   0   0   0   0   0   0   0   4   4   0   4   0   0   0   0
16   0   0   0   0   4   4   7   7   7   7   3   3   3   3   0
22   2   2   2   2   0   0   0   0   0   0   0   3   3   3   3

 [*,4,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   1   0   1   0   1   0   2   3   3   3   1   1   1   0
10   0   0   0   2   0   2   0   1   0   2   0   1   0   1   0
16   0   0   0   0   2   0   4   7   0   6   2   3   3   2   0
22   2   3   4   4   4   4   2   2   3   3   3   4   4   4   2

 [*,4,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   1   2   2   2   3   3   4   2   0   1
10   0   0   0   0   0   0   0   0   0   0   3   3   0   0   0
16   0   4   4   4   3   1   4   0   0   0   0   0   0   0   0
22   4   4   4   4   3   4   1   4   4   6   6   3   3   3   3

 [*,4,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   0   0   1   0   3   2   0   3   3   0
10   0   0   0   0   0   0   0   0   0   0   0   4   0   0   0
16   4   4   4   4   4   4   6   6   3   3   3   3   0   0   0
22   0   0   2   2   2   2   0   0   0   3   3   3   3   3   3

 [*,4,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   1   1   1   2   3   3   3   3   0   0   0   2   0   0
10   0   0   0   0   0   0   0   0   1   0   0   1   1   0   0
16   3   3   2   3   3   3   3   3   0   0   0   0   0   0   0
22   1   2   2   2   1   0   0   0   2   6   7   7   7   7   4

 [*,4,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   2   1   2   2   2   2   1   0   0   0
10   3   3   0   3   0   0   0   1   0   1   0   1   1   0   0
16   0   0   0   3   0   0   0   3   1   3   3   4   4   4   4
22   0   1   1   7   7   7   7   3   5   4   4   4   4   2   0

 [*,4,7,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   2   2   2   1   0   1   2   2   2   2
10   0   2   2   3   3   0   0   0   0   0   0   0   0   0   0
16   0   0   0   0   0   0   5   2   6   4   7   7   3   3   0
22   2   2   2   3   7   7   5   4   5   5   4   4   3   3   0

 [*,5,1,*]
:    1   2   3   4   5   6   7   8    9    10   11   12  13  14  15    :=
26   0   2   0   0   0   0   1    5    5    5    0    2   0   1   0
29   2   4   4   6   6   6   9   11   14   14   12   10   7   7   4

 [*,5,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
26   4   4   4   4   0   0   0   0   4   1   4   4   1   1   1
29   0   0   2   2   6   6   6   6   4   5   5   7   7   7   3

 [*,5,3,*]
:    1   2   3   4   5   6    7   8   9  10  11  12  13  14  15    :=
26   0   0   0   0   0    0   0   5   0   2   0   0   1   0   0
29   4   4   4   6   6   10   6   4   6   6   6   6   6   6   4

 [*,5,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
26   1   1   1   1   4   0   4   4   0   0   4   0   3   3   0
29   3   4   5   5   6   8   8   8   7   7   6   7   5   5   4

 [*,5,5,*]
:    1   2   3   4   5   6   7    8    9    10   11   12  13  14  15    :=
26   0   0   0   0   4   0    4    0    0    1    0    0   1   1   1
29   3   6   6   6   7   7   10   13   13   13   12   10   7   7   4

 [*,5,6,*]
:    1   2   3   4   5   6   7   8   9   10   11   12  13  14  15    :=
26   3   3   5   5   4   5   4   1   0    0    0    0   0   0   0
29   1   1   1   1   4   4   4   8   9   10   10   10   9   8   4

 [*,5,7,*]
:    1   2   3   4   5    6    7    8   9    10   11   12  13  14  15    :=
26   0   0   0   0    0    0    1   0    1    2    0    0   2   1   1
29   2   4   6   6   10   14   10   8   11   12   12   12   6   6   5

 [*,6,1,*]
:    1   2   3   4   5   6   7   8   9  10  11   12   13  14  15    :=
12   0   1   1   1   4   4   4   4   2   3   0    0    0   0   0
32   1   1   0   0   0   0   0   1   0   1   1    0    0   0   0
36   1   1   5   8   7   7   8   8   4   4   7   11   11   8   4

 [*,6,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
12   2   2   2   0   2   3   1   2   2   0   2   1   1   1   1
32   0   0   0   0   1   0   3   3   3   2   0   0   0   0   0
36   4   4   4   6   3   3   3   1   1   4   7   7   7   7   3

 [*,6,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
12   0   0   0   0   0   0   0   1   0   0   0   1   1   1   0
32   0   0   0   0   0   0   0   0   0   0   0   0   2   2   0
36   4   4   5   6   6   9   5   7   7   7   7   5   5   5   4

 [*,6,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
12   0   0   0   1   0   0   4   4   4   4   4   0   0   0   0
32   0   0   2   0   2   0   3   0   2   0   2   2   2   0   0
36   4   4   4   4   4   7   6   6   6   6   7   8   8   8   4

 [*,6,5,*]
:    2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
12   0   0   0   0   0   0   1   1   3   3   2   0   0   0
32   0   0   0   0   0   0   0   3   0   3   0   2   3   2
36   5   6   6   6   6   8   8   8   6   7   6   6   6   2

 [*,6,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
12   0   1   1   3   4   0   2   4   1   0   0   0   0   0   0
32   2   0   2   0   0   1   0   0   0   1   1   1   0   0   0
36   3   3   3   4   5   7   8   7   7   9   9   9   8   8   4

 [*,6,7,*]
:    1   2   3   4   5   6    7   8   9  10  11  12  13  14  15    :=
12   0   0   0   0   0    1   1   0   4   4   4   2   3   3   0
32   0   0   0   0   2    2   0   2   0   2   3   4   2   2   0
36   2   2   4   6   9   10   8   6   8   8   4   6   3   2   2
;

R [1,1,1,*,*]
:   11    :=
35   4

 [1,1,2,*,*]
 [1,1,3,*,*]
:   11    :=
5    3
36   1

 [1,1,4,*,*]
:   11    :=
17   1
35   3

 [1,1,5,*,*]
:   11    :=
1    2
5    2

 [1,1,6,*,*]
:   11    :=
31   4

 [1,1,7,*,*]
 [1,2,1,*,*]
 [1,2,2,*,*]
 [1,2,3,*,*]
 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
 [1,2,7,*,*]
 [1,4,1,*,*]
:   17    :=
5    2

 [1,4,2,*,*]
:   17    :=
28   2

 [1,4,3,*,*]
:   17    :=
33   1
36   1

 [1,4,4,*,*]
 [1,4,5,*,*]
:   17    :=
33   2

 [1,4,6,*,*]
 [1,4,7,*,*]
:   17    :=
36   2

 [1,8,1,*,*]
 [1,8,2,*,*]
:    5    :=
1    1
35   1

 [1,8,3,*,*]
:    5    :=
13   1
25   1

 [1,8,4,*,*]
:    5    :=
5    2

 [1,8,5,*,*]
:    5    :=
13   2

 [1,8,6,*,*]
 [1,8,7,*,*]
:    5    :=
13   1
28   1

 [1,10,1,*,*]
 [1,10,2,*,*]
 [1,10,3,*,*]
 [1,10,4,*,*]
 [1,10,5,*,*]
 [1,10,6,*,*]
 [1,10,7,*,*]
 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
 [1,12,7,*,*]
 [1,14,1,*,*]
:   15    :=
25   2
31   2

 [1,14,2,*,*]
:   15    :=
36   4

 [1,14,3,*,*]
 [1,14,4,*,*]
:   15    :=
35   4

 [1,14,5,*,*]
:   15    :=
5    1
31   3

 [1,14,6,*,*]
:   15    :=
28   2
31   2

 [1,14,7,*,*]
 [1,15,1,*,*]
:   10    :=
5    2
28   1

 [1,15,2,*,*]
 [1,15,3,*,*]
:   10    :=
28   3

 [1,15,4,*,*]
:   10    :=
9    3

 [1,15,5,*,*]
:   10    :=
9    1
36   2

 [1,15,6,*,*]
 [1,15,7,*,*]
:   10    :=
13   1
35   2

 [1,16,1,*,*]
 [1,16,2,*,*]
 [1,16,3,*,*]
 [1,16,4,*,*]
 [1,16,5,*,*]
 [1,16,6,*,*]
 [1,16,7,*,*]
 [1,20,1,*,*]
 [1,20,2,*,*]
 [1,20,3,*,*]
 [1,20,4,*,*]
 [1,20,5,*,*]
 [1,20,6,*,*]
 [1,20,7,*,*]
 [1,21,1,*,*]
 [1,21,2,*,*]
 [1,21,3,*,*]
 [1,21,4,*,*]
 [1,21,5,*,*]
 [1,21,6,*,*]
 [1,21,7,*,*]
 [1,22,1,*,*]
:    9    :=
1    2

 [1,22,2,*,*]
 [1,22,3,*,*]
:    9    :=
1    1
21   1

 [1,22,4,*,*]
:    9    :=
9    2

 [1,22,5,*,*]
 [1,22,6,*,*]
:    9    :=
33   2

 [1,22,7,*,*]
:    9    :=
35   2

 [1,26,1,*,*]
:   15    :=
5    4

 [1,26,2,*,*]
:   15    :=
1    1
31   3

 [1,26,3,*,*]
 [1,26,4,*,*]
:   15    :=
31   1
35   3

 [1,26,5,*,*]
:   15    :=
17   4

 [1,26,6,*,*]
:   15    :=
1    3
9    1

 [1,26,7,*,*]
 [1,29,1,*,*]
 [1,29,2,*,*]
:    2    :=
36   2

 [1,29,3,*,*]
 [1,29,4,*,*]
:    2    :=
1    2

 [1,29,5,*,*]
:    2    :=
28   2

 [1,29,6,*,*]
:    2    :=
17   1
33   1

 [1,29,7,*,*]
:    2    :=
31   2

 [1,32,1,*,*]
 [1,32,2,*,*]
 [1,32,3,*,*]
 [1,32,4,*,*]
 [1,32,5,*,*]
 [1,32,6,*,*]
 [1,32,7,*,*]
 [1,36,1,*,*]
:   12    :=
1    1
25   1
36   4

 [1,36,2,*,*]
:   12    :=
1    4
13   2

 [1,36,3,*,*]
 [1,36,4,*,*]
 [1,36,5,*,*]
:   12    :=
9    1
25   3
36   2

 [1,36,6,*,*]
:   12    :=
1    3
13   1
21   2

 [1,36,7,*,*]
:   12    :=
1    2
9    2
13   2

 [2,1,1,*,*]
:   25    :=
13   2
28   2

 [2,1,2,*,*]
:   25    :=
35   4

 [2,1,3,*,*]
:   25    :=
25   3
35   1

 [2,1,4,*,*]
 [2,1,5,*,*]
:   25    :=
9    2
36   2

 [2,1,6,*,*]
:   25    :=
28   1
35   3

 [2,1,7,*,*]
:   25    :=
35   4

 [2,2,1,*,*]
 [2,2,2,*,*]
 [2,2,3,*,*]
 [2,2,4,*,*]
 [2,2,5,*,*]
 [2,2,6,*,*]
 [2,2,7,*,*]
 [2,4,1,*,*]
 [2,4,2,*,*]
 [2,4,3,*,*]
 [2,4,4,*,*]
 [2,4,5,*,*]
 [2,4,6,*,*]
 [2,4,7,*,*]
 [2,8,1,*,*]
:   26    :=
36   2

 [2,8,2,*,*]
:   26    :=
36   2

 [2,8,3,*,*]
 [2,8,4,*,*]
:   26    :=
35   2

 [2,8,5,*,*]
:   26    :=
36   2

 [2,8,6,*,*]
:   26    :=
9    2

 [2,8,7,*,*]
:   26    :=
31   2

 [2,10,1,*,*]
:   24    :=
28   3

 [2,10,2,*,*]
:   24    :=
13   2
28   1

 [2,10,3,*,*]
:   24    :=
35   3

 [2,10,4,*,*]
:   24    :=
36   3

 [2,10,5,*,*]
 [2,10,6,*,*]
:   24    :=
1    3

 [2,10,7,*,*]
:   24    :=
5    2
9    1

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,14,1,*,*]
 [2,14,2,*,*]
 [2,14,3,*,*]
 [2,14,4,*,*]
 [2,14,5,*,*]
 [2,14,6,*,*]
 [2,14,7,*,*]
 [2,15,1,*,*]
:   27    :=
35   4
36   4

 [2,15,2,*,*]
 [2,15,3,*,*]
:   27    :=
1    2
17   1
35   2
36   3

 [2,15,4,*,*]
:   27    :=
1    1
25   1
36   6

 [2,15,5,*,*]
:   27    :=
1    2
35   5
36   1

 [2,15,6,*,*]
:   27    :=
35   4
36   4

 [2,15,7,*,*]
:   27    :=
5    1
17   1
31   3
33   1
35   2

 [2,16,1,*,*]
 [2,16,2,*,*]
 [2,16,3,*,*]
 [2,16,4,*,*]
 [2,16,5,*,*]
 [2,16,6,*,*]
 [2,16,7,*,*]
 [2,20,1,*,*]
 [2,20,2,*,*]
 [2,20,3,*,*]
 [2,20,4,*,*]
 [2,20,5,*,*]
 [2,20,6,*,*]
 [2,20,7,*,*]
 [2,21,1,*,*]
 [2,21,2,*,*]
 [2,21,3,*,*]
 [2,21,4,*,*]
 [2,21,5,*,*]
 [2,21,6,*,*]
 [2,21,7,*,*]
 [2,22,1,*,*]
:   25    :=
36   3

 [2,22,2,*,*]
:   25    :=
5    1
36   2

 [2,22,3,*,*]
:   25    :=
28   3

 [2,22,4,*,*]
 [2,22,5,*,*]
:   25    :=
1    1
5    1
35   1

 [2,22,6,*,*]
:   25    :=
13   3

 [2,22,7,*,*]
:   25    :=
13   1
31   1
35   1

 [2,26,1,*,*]
:   24    :=
28   3

 [2,26,2,*,*]
:   24    :=
1    3

 [2,26,3,*,*]
:   24    :=
25   3

 [2,26,4,*,*]
:   24    :=
17   3

 [2,26,5,*,*]
 [2,26,6,*,*]
:   24    :=
17   3

 [2,26,7,*,*]
:   24    :=
33   3

 [2,29,1,*,*]
:   27    :=
13   2

 [2,29,2,*,*]
 [2,29,3,*,*]
:   27    :=
13   2

 [2,29,4,*,*]
:   27    :=
36   2

 [2,29,5,*,*]
:   27    :=
35   2

 [2,29,6,*,*]
:   27    :=
17   2

 [2,29,7,*,*]
:   27    :=
9    2

 [2,32,1,*,*]
:   24    :=
1    1

 [2,32,2,*,*]
:   24    :=
35   1

 [2,32,3,*,*]
:   24    :=
36   1

 [2,32,4,*,*]
:   24    :=
5    1

 [2,32,5,*,*]
 [2,32,6,*,*]
:   24    :=
33   1

 [2,32,7,*,*]
:   24    :=
35   1

 [2,36,1,*,*]
:   23    :=
35   4

 [2,36,2,*,*]
:   23    :=
35   4

 [2,36,3,*,*]
:   23    :=
9    1
13   1
28   2

 [2,36,4,*,*]
:   23    :=
1    1
17   1
35   1
36   1

 [2,36,5,*,*]
:   23    :=
35   4

 [2,36,6,*,*]
 [2,36,7,*,*]
:   23    :=
31   2
36   2

 [3,1,1,*,*]
 [3,1,2,*,*]
:    2    :=
14   2
34   1

 [3,1,3,*,*]
 [3,1,4,*,*]
:    2    :=
34   3

 [3,1,5,*,*]
:    2    :=
22   3

 [3,1,6,*,*]
:    2    :=
10   2
18   1

 [3,1,7,*,*]
:    2    :=
18   1
34   2

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,4,1,*,*]
 [3,4,2,*,*]
:    5    :=
32   1

 [3,4,3,*,*]
:    5    :=
26   1

 [3,4,4,*,*]
:    5    :=
32   1

 [3,4,5,*,*]
:    5    :=
22   1

 [3,4,6,*,*]
 [3,4,7,*,*]
:    5    :=
22   1

 [3,8,1,*,*]
:   19    :=
2    2

 [3,8,2,*,*]
:   19    :=
2    2

 [3,8,3,*,*]
:   19    :=
34   2

 [3,8,4,*,*]
:   19    :=
6    2

 [3,8,5,*,*]
 [3,8,6,*,*]
 [3,8,7,*,*]
:   19    :=
2    2

 [3,10,1,*,*]
:   15    :=
22   1

 [3,10,2,*,*]
:   15    :=
32   1

 [3,10,3,*,*]
 [3,10,4,*,*]
:   15    :=
29   1

 [3,10,5,*,*]
:   15    :=
32   1

 [3,10,6,*,*]
:   15    :=
29   1

 [3,10,7,*,*]
 [3,12,1,*,*]
 [3,12,2,*,*]
 [3,12,3,*,*]
 [3,12,4,*,*]
 [3,12,5,*,*]
 [3,12,6,*,*]
 [3,12,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
 [3,14,6,*,*]
 [3,14,7,*,*]
 [3,15,1,*,*]
:   19    :=
14   1

 [3,15,2,*,*]
:   19    :=
10   1

 [3,15,3,*,*]
:   19    :=
34   1

 [3,15,4,*,*]
:   19    :=
10   1

 [3,15,5,*,*]
 [3,15,6,*,*]
 [3,15,7,*,*]
:   19    :=
32   1

 [3,16,1,*,*]
 [3,16,2,*,*]
 [3,16,3,*,*]
 [3,16,4,*,*]
 [3,16,5,*,*]
 [3,16,6,*,*]
 [3,16,7,*,*]
 [3,20,1,*,*]
 [3,20,2,*,*]
 [3,20,3,*,*]
 [3,20,4,*,*]
 [3,20,5,*,*]
 [3,20,6,*,*]
 [3,20,7,*,*]
 [3,21,1,*,*]
 [3,21,2,*,*]
 [3,21,3,*,*]
 [3,21,4,*,*]
 [3,21,5,*,*]
 [3,21,6,*,*]
 [3,21,7,*,*]
 [3,22,1,*,*]
 [3,22,2,*,*]
:    3    :=
10   1
32   2

 [3,22,3,*,*]
:    3    :=
34   3

 [3,22,4,*,*]
 [3,22,5,*,*]
:    3    :=
34   3

 [3,22,6,*,*]
:    3    :=
14   3

 [3,22,7,*,*]
:    3    :=
2    2
18   1

 [3,26,1,*,*]
:    8    :=
29   1

 [3,26,2,*,*]
 [3,26,3,*,*]
:    8    :=
26   1

 [3,26,4,*,*]
 [3,26,5,*,*]
:    8    :=
34   1

 [3,26,6,*,*]
:    8    :=
6    1

 [3,26,7,*,*]
:    8    :=
34   1

 [3,29,1,*,*]
:    8    :=
26   3

 [3,29,2,*,*]
 [3,29,3,*,*]
:    8    :=
2    3

 [3,29,4,*,*]
 [3,29,5,*,*]
:    8    :=
6    3

 [3,29,6,*,*]
:    8    :=
26   1
32   2

 [3,29,7,*,*]
:    8    :=
2    2
32   1

 [3,32,1,*,*]
 [3,32,2,*,*]
 [3,32,3,*,*]
 [3,32,4,*,*]
 [3,32,5,*,*]
 [3,32,6,*,*]
 [3,32,7,*,*]
 [3,36,1,*,*]
 [3,36,2,*,*]
 [3,36,3,*,*]
 [3,36,4,*,*]
 [3,36,5,*,*]
 [3,36,6,*,*]
 [3,36,7,*,*]
 [4,1,1,*,*]
 [4,1,2,*,*]
:   28    :=
34   3

 [4,1,3,*,*]
:   28    :=
34   3

 [4,1,4,*,*]
:   28    :=
2    2
10   1

 [4,1,5,*,*]
:   28    :=
32   3

 [4,1,6,*,*]
:   28    :=
32   2
34   1

 [4,1,7,*,*]
:   28    :=
2    2
6    1

 [4,2,1,*,*]
 [4,2,2,*,*]
 [4,2,3,*,*]
 [4,2,4,*,*]
 [4,2,5,*,*]
 [4,2,6,*,*]
 [4,2,7,*,*]
 [4,4,1,*,*]
:   26    :=
29   1

 [4,4,2,*,*]
:   26    :=
2    1

 [4,4,3,*,*]
 [4,4,4,*,*]
:   26    :=
34   1

 [4,4,5,*,*]
:   26    :=
14   1

 [4,4,6,*,*]
:   26    :=
22   1

 [4,4,7,*,*]
:   26    :=
18   1

 [4,8,1,*,*]
:   24    :=
32   3

 [4,8,2,*,*]
:   24    :=
10   1
18   1
32   1

 [4,8,3,*,*]
:   24    :=
2    2
18   1

 [4,8,4,*,*]
:   24    :=
2    1
18   2

 [4,8,5,*,*]
 [4,8,6,*,*]
:   24    :=
2    1
34   2

 [4,8,7,*,*]
:   24    :=
18   3

 [4,10,1,*,*]
 [4,10,2,*,*]
 [4,10,3,*,*]
 [4,10,4,*,*]
 [4,10,5,*,*]
 [4,10,6,*,*]
 [4,10,7,*,*]
 [4,12,1,*,*]
:   26    :=
18   3

 [4,12,2,*,*]
:   26    :=
2    2
22   1

 [4,12,3,*,*]
 [4,12,4,*,*]
:   26    :=
22   3

 [4,12,5,*,*]
:   26    :=
26   1
34   2

 [4,12,6,*,*]
:   26    :=
14   3

 [4,12,7,*,*]
:   26    :=
32   3

 [4,14,1,*,*]
:   26    :=
26   2

 [4,14,2,*,*]
:   26    :=
26   2

 [4,14,3,*,*]
 [4,14,4,*,*]
:   26    :=
26   2

 [4,14,5,*,*]
:   26    :=
18   1
22   1

 [4,14,6,*,*]
:   26    :=
2    2

 [4,14,7,*,*]
:   26    :=
18   2

 [4,15,1,*,*]
:   26    :=
14   3

 [4,15,2,*,*]
:   26    :=
2    2
10   1

 [4,15,3,*,*]
 [4,15,4,*,*]
:   26    :=
2    3

 [4,15,5,*,*]
:   26    :=
18   3

 [4,15,6,*,*]
:   26    :=
10   3

 [4,15,7,*,*]
:   26    :=
6    3

 [4,16,1,*,*]
:   24    :=
18   4

 [4,16,2,*,*]
:   24    :=
18   2
26   2

 [4,16,3,*,*]
:   24    :=
6    4

 [4,16,4,*,*]
:   24    :=
2    1
26   3

 [4,16,5,*,*]
 [4,16,6,*,*]
:   24    :=
34   4

 [4,16,7,*,*]
:   24    :=
26   4

 [4,20,1,*,*]
 [4,20,2,*,*]
 [4,20,3,*,*]
 [4,20,4,*,*]
 [4,20,5,*,*]
 [4,20,6,*,*]
 [4,20,7,*,*]
 [4,21,1,*,*]
 [4,21,2,*,*]
 [4,21,3,*,*]
 [4,21,4,*,*]
 [4,21,5,*,*]
 [4,21,6,*,*]
 [4,21,7,*,*]
 [4,22,1,*,*]
 [4,22,2,*,*]
:   28    :=
2    2
22   1

 [4,22,3,*,*]
:   28    :=
2    3

 [4,22,4,*,*]
:   28    :=
34   3

 [4,22,5,*,*]
:   28    :=
32   2
34   1

 [4,22,6,*,*]
:   28    :=
6    1
32   2

 [4,22,7,*,*]
:   28    :=
18   3

 [4,26,1,*,*]
 [4,26,2,*,*]
 [4,26,3,*,*]
 [4,26,4,*,*]
 [4,26,5,*,*]
 [4,26,6,*,*]
 [4,26,7,*,*]
 [4,29,1,*,*]
:   25    :=
32   3

 [4,29,2,*,*]
:   25    :=
10   2
34   1

 [4,29,3,*,*]
:   25    :=
2    1
32   2

 [4,29,4,*,*]
 [4,29,5,*,*]
:   25    :=
26   3

 [4,29,6,*,*]
:   25    :=
2    1
32   2

 [4,29,7,*,*]
:   25    :=
6    2
34   1

 [4,32,1,*,*]
:   23    :=
22   1

 [4,32,2,*,*]
:   23    :=
14   1

 [4,32,3,*,*]
:   23    :=
34   1

 [4,32,4,*,*]
:   23    :=
10   1

 [4,32,5,*,*]
:   23    :=
32   1

 [4,32,6,*,*]
 [4,32,7,*,*]
:   23    :=
32   1

 [4,36,1,*,*]
:   24    :=
10   4

 [4,36,2,*,*]
:   24    :=
18   1
34   3

 [4,36,3,*,*]
:   24    :=
2    4

 [4,36,4,*,*]
:   24    :=
2    1
32   3

 [4,36,5,*,*]
 [4,36,6,*,*]
:   24    :=
34   4

 [4,36,7,*,*]
:   24    :=
18   4

 [5,1,1,*,*]
:   16    :=
30   4

 [5,1,2,*,*]
:   16    :=
3    4

 [5,1,3,*,*]
:   16    :=
3    4

 [5,1,4,*,*]
 [5,1,5,*,*]
 [5,1,6,*,*]
:   16    :=
3    4

 [5,1,7,*,*]
:   16    :=
7    1
19   3

 [5,2,1,*,*]
:    7    :=
23   3

 [5,2,2,*,*]
 [5,2,3,*,*]
 [5,2,4,*,*]
:    7    :=
3    3

 [5,2,5,*,*]
:    7    :=
27   3

 [5,2,6,*,*]
:    7    :=
30   3

 [5,2,7,*,*]
:    7    :=
30   3

 [5,4,1,*,*]
:   11    :=
30   1

 [5,4,2,*,*]
 [5,4,3,*,*]
:   11    :=
23   1

 [5,4,4,*,*]
:   11    :=
30   1

 [5,4,5,*,*]
:   11    :=
7    1

 [5,4,6,*,*]
:   11    :=
19   1

 [5,4,7,*,*]
 [5,8,1,*,*]
:   11    :=
30   2

 [5,8,2,*,*]
 [5,8,3,*,*]
:   11    :=
27   2

 [5,8,4,*,*]
:   11    :=
19   2

 [5,8,5,*,*]
:   11    :=
3    2

 [5,8,6,*,*]
:   11    :=
27   2

 [5,8,7,*,*]
 [5,10,1,*,*]
 [5,10,2,*,*]
 [5,10,3,*,*]
 [5,10,4,*,*]
 [5,10,5,*,*]
 [5,10,6,*,*]
 [5,10,7,*,*]
 [5,12,1,*,*]
 [5,12,2,*,*]
 [5,12,3,*,*]
 [5,12,4,*,*]
 [5,12,5,*,*]
 [5,12,6,*,*]
 [5,12,7,*,*]
 [5,14,1,*,*]
 [5,14,2,*,*]
:    4    :=
30   2

 [5,14,3,*,*]
:    4    :=
3    2

 [5,14,4,*,*]
:    4    :=
19   2

 [5,14,5,*,*]
 [5,14,6,*,*]
:    4    :=
27   2

 [5,14,7,*,*]
:    4    :=
30   2

 [5,15,1,*,*]
:   17    :=
3    2

 [5,15,2,*,*]
:   17    :=
3    2

 [5,15,3,*,*]
:   17    :=
11   2

 [5,15,4,*,*]
 [5,15,5,*,*]
:   17    :=
7    2

 [5,15,6,*,*]
 [5,15,7,*,*]
:   17    :=
19   2

 [5,16,1,*,*]
 [5,16,2,*,*]
 [5,16,3,*,*]
 [5,16,4,*,*]
 [5,16,5,*,*]
 [5,16,6,*,*]
 [5,16,7,*,*]
 [5,20,1,*,*]
 [5,20,2,*,*]
 [5,20,3,*,*]
 [5,20,4,*,*]
 [5,20,5,*,*]
 [5,20,6,*,*]
 [5,20,7,*,*]
 [5,21,1,*,*]
 [5,21,2,*,*]
 [5,21,3,*,*]
 [5,21,4,*,*]
 [5,21,5,*,*]
 [5,21,6,*,*]
 [5,21,7,*,*]
 [5,22,1,*,*]
 [5,22,2,*,*]
 [5,22,3,*,*]
 [5,22,4,*,*]
 [5,22,5,*,*]
 [5,22,6,*,*]
 [5,22,7,*,*]
 [5,26,1,*,*]
:   19    :=
27   1

 [5,26,2,*,*]
:   19    :=
30   1

 [5,26,3,*,*]
:   19    :=
23   1

 [5,26,4,*,*]
:   19    :=
3    1

 [5,26,5,*,*]
 [5,26,6,*,*]
 [5,26,7,*,*]
:   19    :=
23   1

 [5,29,1,*,*]
:    7    :=
30   4

 [5,29,2,*,*]
 [5,29,3,*,*]
 [5,29,4,*,*]
:    7    :=
3    1
11   1
19   2

 [5,29,5,*,*]
:    7    :=
30   4

 [5,29,6,*,*]
:    7    :=
30   4

 [5,29,7,*,*]
:    7    :=
19   4

 [5,32,1,*,*]
 [5,32,2,*,*]
:    2    :=
27   2

 [5,32,3,*,*]
 [5,32,4,*,*]
:    2    :=
23   2

 [5,32,5,*,*]
:    2    :=
30   2

 [5,32,6,*,*]
:    2    :=
3    2

 [5,32,7,*,*]
:    2    :=
19   2

 [5,36,1,*,*]
 [5,36,2,*,*]
 [5,36,3,*,*]
:    1    :=
27   1
30   1

 [5,36,4,*,*]
:    1    :=
3    2

 [5,36,5,*,*]
:    1    :=
7    2

 [5,36,6,*,*]
:    1    :=
19   1
27   1

 [5,36,7,*,*]
:    1    :=
19   1
23   1

 [6,1,1,*,*]
:   23    :=
3    2

 [6,1,2,*,*]
:   23    :=
11   1
15   1

 [6,1,3,*,*]
:   23    :=
7    2

 [6,1,4,*,*]
:   23    :=
7    1
27   1

 [6,1,5,*,*]
:   23    :=
19   2

 [6,1,6,*,*]
 [6,1,7,*,*]
:   23    :=
15   2

 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,8,1,*,*]
 [6,8,2,*,*]
 [6,8,3,*,*]
 [6,8,4,*,*]
 [6,8,5,*,*]
 [6,8,6,*,*]
 [6,8,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,12,1,*,*]
:   24    :=
7    1

 [6,12,2,*,*]
:   24    :=
30   1

 [6,12,3,*,*]
:   24    :=
27   1

 [6,12,4,*,*]
:   24    :=
15   1

 [6,12,5,*,*]
 [6,12,6,*,*]
:   24    :=
7    1

 [6,12,7,*,*]
:   24    :=
19   1

 [6,14,1,*,*]
 [6,14,2,*,*]
:   28    :=
27   1

 [6,14,3,*,*]
:   28    :=
27   1

 [6,14,4,*,*]
:   28    :=
30   1

 [6,14,5,*,*]
:   28    :=
19   1

 [6,14,6,*,*]
:   28    :=
3    1

 [6,14,7,*,*]
:   28    :=
7    1

 [6,15,1,*,*]
 [6,15,2,*,*]
 [6,15,3,*,*]
 [6,15,4,*,*]
 [6,15,5,*,*]
 [6,15,6,*,*]
 [6,15,7,*,*]
 [6,16,1,*,*]
:   26    :=
27   3

 [6,16,2,*,*]
:   26    :=
27   3

 [6,16,3,*,*]
 [6,16,4,*,*]
:   26    :=
3    3

 [6,16,5,*,*]
:   26    :=
3    3

 [6,16,6,*,*]
:   26    :=
15   3

 [6,16,7,*,*]
:   26    :=
27   3

 [6,20,1,*,*]
 [6,20,2,*,*]
 [6,20,3,*,*]
 [6,20,4,*,*]
 [6,20,5,*,*]
 [6,20,6,*,*]
 [6,20,7,*,*]
 [6,21,1,*,*]
 [6,21,2,*,*]
 [6,21,3,*,*]
 [6,21,4,*,*]
 [6,21,5,*,*]
 [6,21,6,*,*]
 [6,21,7,*,*]
 [6,22,1,*,*]
 [6,22,2,*,*]
 [6,22,3,*,*]
 [6,22,4,*,*]
 [6,22,5,*,*]
 [6,22,6,*,*]
 [6,22,7,*,*]
 [6,26,1,*,*]
 [6,26,2,*,*]
 [6,26,3,*,*]
 [6,26,4,*,*]
 [6,26,5,*,*]
 [6,26,6,*,*]
 [6,26,7,*,*]
 [6,29,1,*,*]
 [6,29,2,*,*]
 [6,29,3,*,*]
 [6,29,4,*,*]
 [6,29,5,*,*]
 [6,29,6,*,*]
 [6,29,7,*,*]
 [6,32,1,*,*]
 [6,32,2,*,*]
 [6,32,3,*,*]
 [6,32,4,*,*]
 [6,32,5,*,*]
 [6,32,6,*,*]
 [6,32,7,*,*]
 [6,36,1,*,*]
 [6,36,2,*,*]
 [6,36,3,*,*]
 [6,36,4,*,*]
 [6,36,5,*,*]
 [6,36,6,*,*]
 [6,36,7,*,*]
 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,8,1,*,*]
 [7,8,2,*,*]
:    3    :=
8    2

 [7,8,3,*,*]
:    3    :=
4    2

 [7,8,4,*,*]
 [7,8,5,*,*]
:    3    :=
8    2

 [7,8,6,*,*]
:    3    :=
24   2

 [7,8,7,*,*]
:    3    :=
16   2

 [7,10,1,*,*]
 [7,10,2,*,*]
 [7,10,3,*,*]
 [7,10,4,*,*]
 [7,10,5,*,*]
 [7,10,6,*,*]
 [7,10,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
 [7,16,2,*,*]
 [7,16,3,*,*]
 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
 [7,16,7,*,*]
 [7,20,1,*,*]
 [7,20,2,*,*]
 [7,20,3,*,*]
 [7,20,4,*,*]
 [7,20,5,*,*]
 [7,20,6,*,*]
 [7,20,7,*,*]
 [7,21,1,*,*]
 [7,21,2,*,*]
 [7,21,3,*,*]
 [7,21,4,*,*]
 [7,21,5,*,*]
 [7,21,6,*,*]
 [7,21,7,*,*]
 [7,22,1,*,*]
 [7,22,2,*,*]
 [7,22,3,*,*]
 [7,22,4,*,*]
 [7,22,5,*,*]
 [7,22,6,*,*]
 [7,22,7,*,*]
 [7,26,1,*,*]
 [7,26,2,*,*]
 [7,26,3,*,*]
 [7,26,4,*,*]
 [7,26,5,*,*]
 [7,26,6,*,*]
 [7,26,7,*,*]
 [7,29,1,*,*]
 [7,29,2,*,*]
 [7,29,3,*,*]
 [7,29,4,*,*]
 [7,29,5,*,*]
 [7,29,6,*,*]
 [7,29,7,*,*]
 [7,32,1,*,*]
 [7,32,2,*,*]
 [7,32,3,*,*]
 [7,32,4,*,*]
 [7,32,5,*,*]
 [7,32,6,*,*]
 [7,32,7,*,*]
 [7,36,1,*,*]
:   11    :=
16   3

 [7,36,2,*,*]
 [7,36,3,*,*]
:   11    :=
24   3

 [7,36,4,*,*]
:   11    :=
24   3

 [7,36,5,*,*]
:   11    :=
8    3

 [7,36,6,*,*]
:   11    :=
20   3

 [7,36,7,*,*]
 [8,1,1,*,*]
:   23    :=
12   2

 [8,1,2,*,*]
:   23    :=
16   2

 [8,1,3,*,*]
:   23    :=
20   2

 [8,1,4,*,*]
:   23    :=
4    2

 [8,1,5,*,*]
:   23    :=
24   2

 [8,1,6,*,*]
 [8,1,7,*,*]
:   23    :=
20   2

 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*]
 [8,20,1,*,*]
 [8,20,2,*,*]
 [8,20,3,*,*]
 [8,20,4,*,*]
 [8,20,5,*,*]
 [8,20,6,*,*]
 [8,20,7,*,*]
 [8,21,1,*,*]
 [8,21,2,*,*]
 [8,21,3,*,*]
 [8,21,4,*,*]
 [8,21,5,*,*]
 [8,21,6,*,*]
 [8,21,7,*,*]
 [8,22,1,*,*]
 [8,22,2,*,*]
 [8,22,3,*,*]
 [8,22,4,*,*]
 [8,22,5,*,*]
 [8,22,6,*,*]
 [8,22,7,*,*]
 [8,26,1,*,*]
 [8,26,2,*,*]
 [8,26,3,*,*]
 [8,26,4,*,*]
 [8,26,5,*,*]
 [8,26,6,*,*]
 [8,26,7,*,*]
 [8,29,1,*,*]
:   23    :=
4    2
8    2

 [8,29,2,*,*]
:   23    :=
20   4

 [8,29,3,*,*]
:   23    :=
24   4

 [8,29,4,*,*]
:   23    :=
8    1
20   1
24   2

 [8,29,5,*,*]
:   23    :=
4    3
20   1

 [8,29,6,*,*]
 [8,29,7,*,*]
:   23    :=
24   4

 [8,32,1,*,*]
 [8,32,2,*,*]
 [8,32,3,*,*]
 [8,32,4,*,*]
 [8,32,5,*,*]
 [8,32,6,*,*]
 [8,32,7,*,*]
 [8,36,1,*,*]
 [8,36,2,*,*]
 [8,36,3,*,*]
 [8,36,4,*,*]
 [8,36,5,*,*]
 [8,36,6,*,*]
 [8,36,7,*,*];

Poli = 45
totales = 145

Faltantes = 115.2
sobrantes = 207.9
salario = 5858.66
servicio = 17.8409
capacitacion = 0.9

_solve_elapsed_time = 7201

_nvars = 918863
_ncons = 16656

solve_result_num = 422

ampl: 