
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.

Setting $presolve_inteps < 1.71e-14 could change presolve results.

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 = 3.23 sec. (2061.91 ticks)

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

      0     0     4584.4466  1517                   4584.4466       34         
*     0+    0                      8755801.7233     4584.4466            99.95%
*     0+    0                      8755700.4743     4584.4466            99.95%
      0     0     4584.4469  1230  8755700.4743     Cuts: 168     2124   99.95%
      0     0     4584.4469  1527  8755700.4743    Cuts: 1064     4385   99.95%
      0     0     4584.4469  1405  8755700.4743     Cuts: 372     5947   99.95%
*     0+    0                         9402.5394     4584.4469            51.24%
      0     0  -1.00000e+75     0     9402.5394     4584.4469     5947   51.24%
      0     0     4584.4469  1699     9402.5394    Cuts: 1162     8602   51.24%
Heuristic still looking.
      0     2     4584.4469  1123     9402.5394     4584.4469     8602   51.24%
Elapsed time = 86.44 sec. (97052.82 ticks, tree = 0.02 MB)
      1     3     4584.4469  1167     9402.5394     4584.4469     8760   51.24%
      6     8     4584.4469  1174     9402.5394     4584.4469     8833   51.24%
     14     6     4584.4528  1355     9402.5394     4584.4469    11712   51.24%
     17    16     4584.4545  1342     9402.5394     4584.4469    11733   51.24%
     22    22     4584.4469  1160     9402.5394     4584.4469    14705   51.24%
     24     8     4584.4576  1325     9402.5394     4584.4469    12373   51.24%
     27    21     4584.4576  1264     9402.5394     4584.4469    18265   51.24%
     29    23     4584.4576  1231     9402.5394     4584.4469    18358   51.24%
     31    24     4584.4469  1152     9402.5394     4584.4469    14721   51.24%
     34    14     4584.4590   867     9402.5394     4584.4469    14054   51.24%
Elapsed time = 127.42 sec. (108307.68 ticks, tree = 0.32 MB)
     41    28     4584.4469  1155     9402.5394     4584.4469    19485   51.24%
     53    42     4584.4576  1226     9402.5394     4584.4469    38677   51.24%
     57     4     4584.4490  1310     9402.5394     4584.4469    15581   51.24%
     60    30     4584.4711  1305     9402.5394     4584.4469    27792   51.24%
     62    46     4584.4601  1284     9402.5394     4584.4469    49104   51.24%
     65    46     4584.4506  1482     9402.5394     4584.4469    57734   51.24%
     71    46     4584.4504  1202     9402.5394     4584.4469    48777   51.24%
     74    50     4584.4607  1308     9402.5394     4584.4469    59908   51.24%
     76    61     4584.4504  1196     9402.5394     4584.4469    70668   51.24%
     80    58     4584.4600   624     9402.5394     4584.4469    69895   51.24%
Elapsed time = 167.25 sec. (120472.35 ticks, tree = 1.72 MB)
     84    63     4584.4601  1198     9402.5394     4584.4469    80431   51.24%
     89    73     4584.4646  1098     9402.5394     4584.4469   103955   51.24%
     92    45     4584.4615  1189     9402.5394     4584.4469    43197   51.24%
     96    71     4584.4601  1284     9402.5394     4584.4469    97734   51.24%
    105   100     4584.4600   498     9402.5394     4584.4469   122033   51.24%
    112    97     4584.4615  1105     9402.5394     4584.4469   118397   51.24%
    122   102     4584.4647  1064     9402.5394     4584.4469   126584   51.24%
    129   111     4584.4600   533     9402.5394     4584.4469   129508   51.24%
    139   100     4584.4702  1156     9402.5394     4584.4469   120287   51.24%
    145   115     4584.4600   493     9402.5394     4584.4469   130443   51.24%
Elapsed time = 207.58 sec. (133576.31 ticks, tree = 6.71 MB)
    151   140     4584.4642  1000     9402.5394     4584.4469   151765   51.24%
    156   130     4584.4655   909     9402.5394     4584.4469   146555   51.24%
    171   148     4584.4600   510     9402.5394     4584.4469   154542   51.24%
    180   131     4584.4615  1099     9402.5394     4584.4469   142657   51.24%
    182   143     4584.4733  1050     9402.5394     4584.4469   154633   51.24%
    185   151     4584.4987  1117     9402.5394     4584.4469   169194   51.24%
    192   168     4584.4652   880     9402.5394     4584.4469   185716   51.24%
    202   175     4584.4987   986     9402.5394     4584.4469   191208   51.24%
    203   176     4584.4600   526     9402.5394     4584.4469   195197   51.24%
    204   184     4584.4600   450     9402.5394     4584.4469   231722   51.24%
Elapsed time = 266.31 sec. (149830.48 ticks, tree = 11.46 MB)
    212   199     4584.4652   831     9402.5394     4584.4469   244303   51.24%
    213   164     4584.4627  1232     9402.5394     4584.4469   187881   51.24%
    216   195     4584.4647  1043     9402.5394     4584.4469   263724   51.24%
    220   194     4584.4615  1066     9402.5394     4584.4469   260832   51.24%
    223   197     4584.4625  1021     9402.5394     4584.4469   261898   51.24%
    227   201     4584.4687  1121     9402.5394     4584.4469   248066   51.24%
    234   212     4584.4625   943     9402.5394     4584.4469   270880   51.24%
    241   214     4584.4625  1013     9402.5394     4584.4469   271851   51.24%
    243   216     4584.4625   961     9402.5394     4584.4469   272422   51.24%
    246   219     4584.4632   913     9402.5394     4584.4469   273345   51.24%
Elapsed time = 319.59 sec. (165044.17 ticks, tree = 14.24 MB)
    248   136     4584.4655   909     9402.5394     4584.4469   146564   51.24%
    254   221     4584.4652   904     9402.5394     4584.4469   278074   51.24%
    256   223     4584.4652   971     9402.5394     4584.4469   278480   51.24%
    258   234     4584.4718  1208     9402.5394     4584.4469   280185   51.24%
    268   249     4584.4632   844     9402.5394     4584.4469   284100   51.24%
    273   254     4584.4632   860     9402.5394     4584.4469   284508   51.24%
    276   250     4584.4667  1150     9402.5394     4584.4469   285914   51.24%
    281   256     4584.4779   796     9402.5394     4584.4469   293714   51.24%
    285   251     4584.4574   930     9402.5394     4584.4469   290982   51.24%
    290   253     4584.4574   998     9402.5394     4584.4469   292100   51.24%
Elapsed time = 373.59 sec. (179680.06 ticks, tree = 17.52 MB)
    291   254     4584.4655  1056     9402.5394     4584.4469   289001   51.24%
    294   254     4584.4574  1079     9402.5394     4584.4469   293410   51.24%
    301   181     4584.4469  1272     9402.5394     4584.4469   202668   51.24%
    311   295     4584.4469  1249     9402.5394     4584.4469   306953   51.24%
    312   271     4584.4808   894     9402.5394     4584.4469   302697   51.24%
    318   296     4584.4469  1271     9402.5394     4584.4469   308029   51.24%
    322   298     4584.4469  1271     9402.5394     4584.4469   308742   51.24%
    325   285     4584.4574   951     9402.5394     4584.4469   309608   51.24%
    326   176     4584.4987   968     9402.5394     4584.4469   193152   51.24%
    339   297     4584.4808   953     9402.5394     4584.4469   313064   51.24%
Elapsed time = 415.03 sec. (192642.56 ticks, tree = 23.26 MB)
    347   293     4584.4987  1020     9402.5394     4584.4469   315525   51.24%
    356   298     4584.5002  1181     9402.5394     4584.4469   314818   51.24%
    362   323     4584.4611   771     9402.5394     4584.4469   325007   51.24%
    370   312     4584.4741  1182     9402.5394     4584.4469   324224   51.24%
    379   299     4584.4987   970     9402.5394     4584.4469   317915   51.24%
    380   334     4584.5012   712     9402.5394     4584.4469   331403   51.24%
    403   364     4584.4472  1198     9402.5394     4584.4469   347669   51.24%
    410   358     4584.4574   997     9402.5394     4584.4469   342919   51.24%
    411   339     4584.4811   993     9402.5394     4584.4469   330821   51.24%
    419   340     4584.5012   742     9402.5394     4584.4469   334446   51.24%
Elapsed time = 480.95 sec. (209890.37 ticks, tree = 28.62 MB)
    421   382     4584.5013  1269     9402.5394     4584.4469   352854   51.24%
    424   221     4584.4647   943     9402.5394     4584.4469   274305   51.24%
    431   342     4584.5012   651     9402.5394     4584.4469   335862   51.24%
    439   394     4584.5012   628     9402.5394     4584.4469   357567   51.24%
    441   353     4584.4834   838     9402.5394     4584.4469   341344   51.24%
    444   404     4584.4574   854     9402.5394     4584.4469   363408   51.24%
    449   390     4584.4647   943     9402.5394     4584.4469   354000   51.24%
    461   432     4584.4822   886     9402.5394     4584.4469   378406   51.24%
    463   395     4584.5012   745     9402.5394     4584.4469   360080   51.24%
    469   407     4584.4574   949     9402.5394     4584.4469   364924   51.24%
Elapsed time = 523.69 sec. (220883.40 ticks, tree = 38.81 MB)
    476   409     4584.4775   799     9402.5394     4584.4469   370881   51.24%
    480   401     4584.5012   571     9402.5394     4584.4469   361966   51.24%
    490   432     4584.4472  1052     9402.5394     4584.4469   376671   51.24%
    496   410     4584.4633  1206     9402.5394     4584.4469   367881   51.24%
    500   443     4584.5012   696     9402.5394     4584.4469   384637   51.24%
    501   444     4584.5012   668     9402.5394     4584.4469   385208   51.24%
    506   434     4584.4519  1199     9402.5394     4584.4469   379013   51.24%
    511   450     4584.4574   972     9402.5394     4584.4469   390883   51.24%
    514   451     4584.4574   956     9402.5394     4584.4469   391726   51.24%
    529   479     4584.4472  1048     9402.5394     4584.4469   404775   51.24%
Elapsed time = 583.25 sec. (237055.48 ticks, tree = 49.55 MB)
    540   502     4584.4779   712     9402.5394     4584.4469   417212   51.24%
    555   480     4584.4622  1139     9402.5394     4584.4469   409015   51.24%
    564   522     4584.4519  1200     9402.5394     4584.4469   432830   51.24%
    582   530     4584.4782   812     9402.5394     4584.4469   444120   51.24%
    588   522     4584.5079   673     9402.5394     4584.4469   446154   51.24%
    608   547     4584.4803   986     9402.5394     4584.4469   454333   51.24%
    628   550     4584.4794   984     9402.5394     4584.4469   456463   51.24%
    651   578     4584.4518  1123     9402.5394     4584.4469   461930   51.24%
    666   599     4584.4866   832     9402.5394     4584.4469   485015   51.24%
    689   602     4584.4866   818     9402.5394     4584.4469   486689   51.24%
Elapsed time = 747.06 sec. (281867.03 ticks, tree = 69.13 MB)
    709   641     4584.4523  1214     9402.5394     4584.4469   491945   51.24%
    730   648     4584.4787   924     9402.5394     4584.4469   500305   51.24%
    744   653     4584.4787   938     9402.5394     4584.4469   502352   51.24%
    771   715     4584.4524  1042     9402.5394     4584.4469   522466   51.24%
    777   664     4584.4823  1011     9402.5394     4584.4469   506566   51.24%
    793   680     4584.4971   454     9402.5394     4584.4469   513736   51.24%
    810   741     4584.4830   952     9402.5394     4584.4469   534465   51.24%
    823   767     4584.4569   926     9402.5394     4584.4469   546788   51.24%
    832   773     4584.4569   896     9402.5394     4584.4469   548786   51.24%
    850   747     4584.5123   902     9402.5394     4584.4469   542080   51.24%
Elapsed time = 929.48 sec. (326103.22 ticks, tree = 91.79 MB)
    860   800     4584.5022   563     9402.5394     4584.4469   572245   51.24%
    876   792     4584.5012   495     9402.5394     4584.4469   566003   51.24%
    893   846     4584.4585   991     9402.5394     4584.4469   594784   51.24%
    922   805     4584.5010   716     9402.5394     4584.4469   578205   51.24%
    941   826     4584.5108   904     9402.5394     4584.4469   590412   51.24%
    960   849     4584.5128   510     9402.5394     4584.4469   610608   51.24%
    992   886     4584.4966   529     9402.5394     4584.4469   628253   51.24%
   1025   889     4584.5012   482     9402.5394     4584.4469   641108   51.24%
   1034   891     4584.5150   533     9402.5394     4584.4469   643057   51.24%
   1051   900     4584.4613   725     9402.5394     4584.4469   647656   51.24%
Elapsed time = 1075.08 sec. (368035.82 ticks, tree = 117.65 MB)
   1068   933     4584.4707  1002     9402.5394     4584.4469   656207   51.24%
   1092   947     4584.4707   603     9402.5394     4584.4469   657938   51.24%
   1098  1005     4584.5150   595     9402.5394     4584.4469   700611   51.24%
   1109   392     4584.4647   943     9402.5394     4584.4469   354003   51.24%
   1143   934     4584.5159   605     9402.5394     4584.4469   676177   51.24%
   1157  1114     4584.5085   629     9402.5394     4584.4469   776306   51.24%
   1182  1118     4584.5092   868     9402.5394     4584.4469   778905   51.24%
   1200  1119     4584.4971   675     9402.5394     4584.4469   791053   51.24%
   1226  1154     4584.4643   609     9402.5394     4584.4469   825121   51.24%
   1256  1181     4584.4707   563     9402.5394     4584.4469   843298   51.24%
Elapsed time = 1227.33 sec. (411964.76 ticks, tree = 167.62 MB)
   1267  1213     4584.4978   499     9402.5394     4584.4469   857177   51.24%
   1297  1186     4584.4707   522     9402.5394     4584.4469   847633   51.24%
   1324  1249     4584.5018   510     9402.5394     4584.4469   862125   51.24%
   1361  1249     4584.4600   297     9402.5394     4584.4469   900444   51.24%
   1378  1258     4584.5017   389     9402.5394     4584.4469   866855   51.24%
   1388  1229     4584.5150   437     9402.5394     4584.4469   886773   51.24%
   1396  1297     4584.4707   501     9402.5394     4584.4469   958699   51.24%
   1417  1294     4584.4888   510     9402.5394     4584.4469   950120   51.24%
   1458  1307     4584.4888   413     9402.5394     4584.4469   952166   51.24%
   1482  1316     4584.4888   530     9402.5394     4584.4469   954217   51.24%
Elapsed time = 1384.16 sec. (453739.95 ticks, tree = 191.75 MB)
   1499  1360     4584.5105   392     9402.5394     4584.4469   982460   51.24%
   1511  1383     4584.5668   847     9402.5394     4584.4469   994936   51.24%
   1536  1449     4584.4707   633     9402.5394     4584.4469  1063080   51.24%
   1557  1380     4584.5128   466     9402.5394     4584.4469  1010621   51.24%
   1574  1397     4584.5668   686     9402.5394     4584.4469  1001466   51.24%
   1585  1432     4584.4893   783     9402.5394     4584.4469  1038222   51.24%
   1614  1530     4584.5154   345     9402.5394     4584.4469  1116966   51.24%
   1626  1532     4584.5301   458     9402.5394     4584.4469  1118911   51.24%
*  1645+ 1582                         9118.4823     4584.4469            49.72%
   1645  1565     4584.5032   820     9118.4823     4584.4469  1153732   49.72%
*  1660+ 1619                         8937.6276     4584.4469            48.71%
   1661  1544     4584.4603   821     8937.6276     4584.4469  1147260   48.71%
Elapsed time = 1531.70 sec. (495747.03 ticks, tree = 236.35 MB)
   1666  1570     4584.4888   467     8937.6276     4584.4469  1157956   48.71%
   1671  1478     4584.4790   698     8937.6276     4584.4469  1102055   48.71%
   1682  1538     4584.5317   825     8937.6276     4584.4469  1135213   48.71%
   1691  1682     4584.4888   478     8937.6276     4584.4469  1272138   48.71%
   1706  1689     4584.4888   380     8937.6276     4584.4469  1273972   48.71%
   1707  1690     4584.4888   520     8937.6276     4584.4469  1276535   48.71%
   1711  1631     4584.4765   585     8937.6276     4584.4469  1225576   48.71%
   1714  1653     4584.4635   731     8937.6276     4584.4469  1258479   48.71%
   1724  1697     4584.4602   325     8937.6276     4584.4469  1315066   48.71%
   1725  1698     4584.4602   463     8937.6276     4584.4469  1328642   48.71%
Elapsed time = 1767.28 sec. (552199.03 ticks, tree = 275.45 MB)
   1735  1702     4584.4602   293     8937.6276     4584.4469  1330932   48.71%
   1736  1703     4584.4649   803     8937.6276     4584.4469  1335087   48.71%
   1739  1709     4584.5345   813     8937.6276     4584.4469  1343533   48.71%
   1749  1716     4584.4603   376     8937.6276     4584.4469  1364657   48.71%
   1752  1717     4584.5244   808     8937.6276     4584.4469  1348666   48.71%
   1765  1735     4584.5297   735     8937.6276     4584.4469  1400865   48.71%
   1773  1738     4584.5131   583     8937.6276     4584.4469  1403295   48.71%
   1779  1740     4584.5154   396     8937.6276     4584.4469  1400911   48.71%
*  1786+ 1620                         8932.5719     4584.4469            48.68%
   1786  1622     4584.4582  1245     8932.5719     4584.4469  1199536   48.68%
   1795  1748     4584.5154   311     8932.5719     4584.4469  1406895   48.68%
Elapsed time = 1920.34 sec. (610213.12 ticks, tree = 286.69 MB)
   1818  1748     4584.4515  1281     8932.5719     4584.4469  1420804   48.68%
   1835  1757     4584.4517  1273     8932.5719     4584.4469  1422389   48.68%
   1871  1778     4584.4532  1129     8932.5719     4584.4469  1424019   48.68%
   1891  1790     4584.4536  1104     8932.5719     4584.4469  1425963   48.68%
   1922  1791     4584.4888   361     8932.5719     4584.4469  1451591   48.68%
   1947  1803     4584.5668   773     8932.5719     4584.4469  1466448   48.68%
   1970  1760     4584.5317   876     8932.5719     4584.4469  1429891   48.68%
   1980  1802     4584.5031   681     8932.5719     4584.4469  1458789   48.68%
   1996  1897     4584.5159   515     8932.5719     4584.4469  1519389   48.68%
   2009  1941     4584.5179   342     8932.5719     4584.4469  1546511   48.68%
Elapsed time = 2065.47 sec. (653114.75 ticks, tree = 319.56 MB)
   2016  1937     4584.4909   814     8932.5719     4584.4469  1538530   48.68%
   2068  1891     4584.5152   365     8932.5719     4584.4469  1509812   48.68%
   2088  1945     4584.5133   766     8932.5719     4584.4469  1543413   48.68%
   2116  2013     4584.4632  1287     8932.5719     4584.4469  1560302   48.68%
   2129  2029     4584.5071   680     8932.5719     4584.4469  1605254   48.68%
   2142  2022     4584.4632  1232     8932.5719     4584.4469  1563848   48.68%
   2172  1995     4584.5152   353     8932.5719     4584.4469  1577026   48.68%
   2189  2100     4584.4632  1319     8932.5719     4584.4469  1643868   48.68%
   2218  2111     4584.4632  1216     8932.5719     4584.4469  1645471   48.68%
   2244  2071     4584.5179   550     8932.5719     4584.4469  1644261   48.68%
Elapsed time = 2216.84 sec. (699303.44 ticks, tree = 344.96 MB)
   2253  2210     4584.5179   228     8932.5719     4584.4469  1720871   48.68%
   2263  2183     4584.4644   627     8932.5719     4584.4469  1710239   48.68%
   2280  2177     4584.4888   291     8932.5719     4584.4469  1696162   48.68%
   2289  2180     4584.5032   600     8932.5719     4584.4469  1698643   48.68%
   2302  2186     4584.4728  1052     8932.5719     4584.4469  1716529   48.68%
   2320  2234     4584.5179   292     8932.5719     4584.4469  1732235   48.68%
   2339  2237     4584.5179   335     8932.5719     4584.4469  1734275   48.68%
   2354  2229     4584.4602   265     8932.5719     4584.4469  1751177   48.68%
   2364  2279     4584.5152   352     8932.5719     4584.4469  1795755   48.68%
   2378  2330     4584.4941   594     8932.5719     4584.4469  1829650   48.68%
Elapsed time = 2339.38 sec. (741578.37 ticks, tree = 395.84 MB)
   2397  2333     4584.4929   637     8932.5719     4584.4469  1832050   48.68%
   2425  2337     4584.4888   409     8932.5719     4584.4469  1834660   48.68%
   2440  2345     4584.4790   573     8932.5719     4584.4469  1855078   48.68%
   2449  2347     4584.4790   541     8932.5719     4584.4469  1857673   48.68%
   2469  2353     4584.4901   679     8932.5719     4584.4469  1841312   48.68%
   2473  2364     4584.4832   617     8932.5719     4584.4469  1864619   48.68%

Performing restart 1

Repeating presolve.
MIP Presolve modified 630602 coefficients.
Reduced MIP has 12246 rows, 89958 columns, and 427624 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 12246 rows, 89958 columns, and 427624 nonzeros.
Reduced MIP has 1792 binaries, 88160 generals, 0 SOSs, and 0 indicators.
Represolve time = 0.91 sec. (791.69 ticks)
   2474     0     4584.4469  1222     8932.5719     Cuts: 846  2040509   48.68%
   2474     0     4584.4469  1680     8932.5719    Cuts: 1124  2044074   48.68%
*  2474+    0                         8544.3522     4584.4469            46.35%
   2474     0     4584.4469  1417     8544.3522     Cuts: 996  2047434   46.35%
   2474     0     4584.4469  2066     8544.3522    Cuts: 1252  2055672   46.35%
   2474     0     4584.4469  1610     8544.3522    Cuts: 1064  2060412   46.35%
   2474     0     4584.4469  2139     8544.3522    Cuts: 1365  2090363   46.35%
   2474     0     4584.4469  1226     8544.3522     Cuts: 897  2092187   46.35%
   2474     0     4584.4469  2040     8544.3522    Cuts: 1317  2106673   46.35%
*  2474+    0                         8478.8790     4584.4469            45.93%
   2474     2     4584.4469  1001     8478.8790     4584.4469  2106673   45.93%
   2479     5     4584.4469  1054     8478.8790     4584.4469  2107978   45.93%
   2488     7     4584.4483  1146     8478.8790     4584.4469  2110596   45.93%
   2491    17     4584.4490  1351     8478.8790     4584.4469  2118522   45.93%
Elapsed time = 2948.89 sec. (1377390.91 ticks, tree = 0.04 MB)
   2493    16     4584.4472  1323     8478.8790     4584.4469  2120861   45.93%
   2498    24     4584.4480  1293     8478.8790     4584.4469  2161016   45.93%
   2503    29     4584.4477  1206     8478.8790     4584.4469  2211714   45.93%
   2507    32     4584.4495  1101     8478.8790     4584.4469  2218756   45.93%
   2517    18     4584.4479  1283     8478.8790     4584.4469  2133872   45.93%
   2539    13     4584.4506  1208     8478.8790     4584.4469  2138823   45.93%
   2559    59     4584.4518  1121     8478.8790     4584.4469  2297105   45.93%
   2589    87     4584.4543  1068     8478.8790     4584.4469  2349534   45.93%
   2633   109     4584.4556  1136     8478.8790     4584.4469  2352159   45.93%
   2673   153     4584.4557  1029     8478.8790     4584.4469  2372478   45.93%
Elapsed time = 3090.88 sec. (1420441.11 ticks, tree = 9.57 MB)
   2717   171     4584.4542   937     8478.8790     4584.4469  2396909   45.93%
   2753   186     4584.4562  1115     8478.8790     4584.4469  2403923   45.93%
*  2800+  284                         8331.3154     4584.4469            44.97%
   2801   287     4584.4601   948     8331.3154     4584.4469  2450799   44.97%
   2845   249     4584.4680   940     8331.3154     4584.4469  2440362   44.97%
   2918   308     4584.4582   723     8331.3154     4584.4469  2463011   44.97%
   2976   362     4584.5719   862     8331.3154     4584.4469  2492918   44.97%
   3033   448     4585.0069   782     8331.3154     4584.4469  2522762   44.97%
   3110   569     4584.4588   519     8331.3154     4584.4469  2554035   44.97%
*  3131+  579                         8080.7722     4584.4469            43.27%
   3168   566     4584.4532   498     8080.7722     4584.4469  2561934   43.27%
   3189   662     4585.0085   881     8080.7722     4584.4469  2588622   43.27%
Elapsed time = 3235.58 sec. (1459080.21 ticks, tree = 64.67 MB)
*  3213+  630                         8077.3992     4584.4469            43.24%
   3247   671     4585.0093   872     8077.3992     4584.4469  2591559   43.24%
   3380   693     4584.4713   673     8077.3992     4584.4469  2603054   43.24%
   3467   810     4584.4724   814     8077.3992     4584.4469  2631182   43.24%
   3498   814     4584.4555   794     8077.3992     4584.4469  2651110   43.24%
   3535   835     4584.4557   565     8077.3992     4584.4469  2653673   43.24%
   3569   949     4585.0377   810     8077.3992     4584.4469  2697944   43.24%
   3590   954     4585.0440   692     8077.3992     4584.4469  2700863   43.24%
*  3601+  954                         8052.5700     4584.4469            43.07%
   3618   985     4584.4568   750     8052.5700     4584.4469  2720389   43.07%
   3646  1032     4584.4541   786     8052.5700     4584.4469  2747124   43.07%
   3664  1047     4584.4682   944     8052.5700     4584.4469  2751802   43.07%
Elapsed time = 3370.97 sec. (1499075.05 ticks, tree = 116.63 MB)
   3720  1064     4585.0429   555     8052.5700     4584.4469  2761635   43.07%
   3750  1095     4584.4715   518     8052.5700     4584.4469  2780158   43.07%
   3770  1073     4585.0524  1002     8052.5700     4584.4469  2767899   43.07%
   3803  1157     4585.0438   700     8052.5700     4584.4469  2805128   43.07%
   3831  1180     4585.0300   829     8052.5700     4584.4469  2825748   43.07%
*  3834+ 1198                         8049.1998     4584.4469            43.04%
   3888  1258     4585.0475   826     8049.1998     4584.4469  2850912   43.04%
   3894  1264     4585.0478   589     8049.1998     4584.4469  2854446   43.04%
   3913  1192     4585.0291   766     8049.1998     4584.4469  2834900   43.04%
   3917  1264     4585.0275   573     8049.1998     4584.4469  2866257   43.04%
   3924   817     4584.4722   600     8049.1998     4584.4469  2631929   43.04%
Elapsed time = 3569.34 sec. (1558131.13 ticks, tree = 86.54 MB)
   3953  1365     4584.4726   845     8049.1998     4584.4469  2871506   43.04%
   3968  1360     4584.4544   622     8049.1998     4584.4469  2873730   43.04%
   3973  1365     4584.4575   798     8049.1998     4584.4469  2876660   43.04%
   3976  1368     4584.4694   948     8049.1998     4584.4469  2882068   43.04%
   3981  1373     4584.4864   978     8049.1998     4584.4469  2888062   43.04%
   3993  1385     4584.4532   466     8049.1998     4584.4469  2892658   43.04%
   3996  1388     4584.4541   711     8049.1998     4584.4469  2896585   43.04%
   4000  1392     4584.4545   609     8049.1998     4584.4469  2900861   43.04%
   4004  1395     4584.4618   641     8049.1998     4584.4469  2903942   43.04%
   4018  1445     4584.4727   789     8049.1998     4584.4469  2910418   43.04%
Elapsed time = 3759.95 sec. (1616947.90 ticks, tree = 178.82 MB)
   4043  1465     4584.6035   679     8049.1998     4584.4469  2910913   43.04%
   4131  1495     4584.4739   754     8049.1998     4584.4469  2928443   43.04%
   4150  1536     4584.6021   596     8049.1998     4584.4469  2916868   43.04%
   4181  1470     4584.4693  1022     8049.1998     4584.4469  2926930   43.04%
*  4185+ 1549                         7328.1458     4584.4469            37.44%
*  4190+ 1549                         7259.7793     4584.4469            36.85%
*  4204+ 1549                         7246.8301     4584.4469            36.74%
   4208  1531     4584.4723   616     7246.8301     4584.4469  2951167   36.74%
   4235  1622     4584.6347   866     7246.8301     4584.4469  2960309   36.74%
*  4236+ 1655                         7161.6904     4584.4469            35.99%
*  4236+ 1655                         6861.1892     4584.4469            33.18%
*  4236+ 1655                         6784.7043     4584.4469            32.43%
   4249  1682     4584.4775   724     6784.7043     4584.4469  2983140   32.43%
   4278  1697     4584.4792   942     6784.7043     4584.4469  2986404   32.43%
   4305  1709     4584.6498   750     6784.7043     4584.4469  3004668   32.43%
   4328  1719     4584.6498   763     6784.7043     4584.4469  3007918   32.43%
Elapsed time = 3892.92 sec. (1657403.16 ticks, tree = 227.46 MB)
   4352  1732     4584.6498   839     6784.7043     4584.4469  3011045   32.43%
   4377  1785     4584.4841   700     6784.7043     4584.4469  3029341   32.43%
   4383  1791     4584.4840   723     6784.7043     4584.4469  3032789   32.43%
   4404  1225     4584.4791   858     6784.7043     4584.4469  2843181   32.43%
   4410  1665     4584.4659   592     6784.7043     4584.4469  2981177   32.43%
   4427  1792     4584.4660   648     6784.7043     4584.4469  3036283   32.43%
   4431  1796     4584.4663   697     6784.7043     4584.4469  3039801   32.43%
   4440  1802     4584.4659   594     6784.7043     4584.4469  3044134   32.43%
   4460  1833     4584.4888  1033     6784.7043     4584.4469  3052897   32.43%
   4491  1867     4584.4597   469     6784.7043     4584.4469  3068998   32.43%
Elapsed time = 4108.22 sec. (1730479.92 ticks, tree = 255.19 MB)
   4518  1886     4584.4611   542     6784.7043     4584.4469  3072411   32.43%
   4549  1910     4584.4638   581     6784.7043     4584.4469  3075386   32.43%
   4595  1931     4585.0493   412     6784.7043     4584.4469  3089174   32.43%
   4626  1879     4584.5004   630     6784.7043     4584.4469  3085847   32.43%
   4645  2019     4584.4818   625     6784.7043     4584.4469  3118344   32.43%
   4668  1935     4584.4741   751     6784.7043     4584.4469  3111223   32.43%
   4699  2066     4585.0493   430     6784.7043     4584.4469  3127402   32.43%
   4727  2162     4584.4771   832     6784.7043     4584.4469  3166751   32.43%
   4764  2127     4584.6551   782     6784.7043     4584.4469  3144071   32.43%
   4839  2160     4584.6624   736     6784.7043     4584.4469  3146686   32.43%
Elapsed time = 4223.44 sec. (1771974.43 ticks, tree = 313.61 MB)
   4913  2231     4584.4856   431     6784.7043     4584.4469  3175372   32.43%
   4951  2230     4585.0709   635     6784.7043     4584.4469  3201601   32.43%
   5045  2132     4584.4987   974     6784.7043     4584.4469  3171778   32.43%
   5075  2413     4584.4953   614     6784.7043     4584.4469  3232602   32.43%
   5158  2471     4584.4997   583     6784.7043     4584.4469  3256134   32.43%
   5236  2428     4584.4952   387     6784.7043     4584.4469  3238897   32.43%
   5301  2568     4584.6785   803     6784.7043     4584.4469  3290898   32.43%
   5330  2672     4584.4803   591     6784.7043     4584.4469  3327710   32.43%
   5364  2723     4584.4921   539     6784.7043     4584.4469  3343228   32.43%
   5447  2691     4584.5024   811     6784.7043     4584.4469  3322803   32.43%
Elapsed time = 4345.27 sec. (1812945.19 ticks, tree = 425.35 MB)
   5531  2793     4584.6849   676     6784.7043     4584.4469  3371586   32.43%
   5675  2968     4584.5001   364     6784.7043     4584.4469  3415238   32.43%
   5770  2935     4585.0825   594     6784.7043     4584.4469  3405034   32.43%
   5833  2868     4584.4802   770     6784.7043     4584.4469  3395280   32.43%
   5899  2965     4585.1325   930     6784.7043     4584.4469  3410607   32.43%
   5949  3341     4585.1181   776     6784.7043     4584.4469  3493454   32.43%
   6032  3277     4584.4819   648     6784.7043     4584.4469  3483607   32.43%
   6157  3235     4584.6980   540     6784.7043     4584.4469  3473481   32.43%
   6281  3515     4584.5157   661     6784.7043     4584.4469  3535903   32.43%
   6321  3559     4584.5683   737     6784.7043     4584.4469  3560404   32.43%
Elapsed time = 4481.61 sec. (1851602.93 ticks, tree = 618.68 MB)
   6394  3438     4584.5156   991     6784.7043     4584.4469  3529544   32.43%
   6470  3630     4584.4865   620     6784.7043     4584.4469  3576057   32.43%
   6512  3939     4584.5687   679     6784.7043     4584.4469  3651383   32.43%
   6590  3944     4584.5832   725     6784.7043     4584.4469  3655160   32.43%
   6654  4012     4584.5186   548     6784.7043     4584.4469  3667735   32.43%
   6683  3807     4584.5168   860     6784.7043     4584.4469  3633876   32.43%
   6715  3808     4584.5172   965     6784.7043     4584.4469  3636518   32.43%
   6791  4112     4584.5189   806     6784.7043     4584.4469  3723100   32.43%
   6866  4107     4585.1204   627     6784.7043     4584.4469  3705260   32.43%
   6936  4313     4585.1251   689     6784.7043     4584.4469  3789700   32.43%
Elapsed time = 4615.42 sec. (1891335.91 ticks, tree = 797.64 MB)
   6982  4319     4585.1296   832     6784.7043     4584.4469  3792360   32.43%
   7022  4334     4585.1371   688     6784.7043     4584.4469  3795033   32.43%
   7060  4248     4584.6991   547     6784.7043     4584.4469  3786666   32.43%
   7077  4361     4585.1483   802     6784.7043     4584.4469  3800773   32.43%
   7089  4455     4585.1389   612     6784.7043     4584.4469  3842845   32.43%
   7131  4461     4584.7215   653     6784.7043     4584.4469  3860971   32.43%
   7148  4539     4584.5806   664     6784.7043     4584.4469  3883662   32.43%
   7179  4556     4584.5823   586     6784.7043     4584.4469  3886720   32.43%
   7199  4567     4585.1426   762     6784.7043     4584.4469  3891549   32.43%
   7210  4572     4584.7158   588     6784.7043     4584.4469  3906959   32.43%
Elapsed time = 4767.31 sec. (1932937.67 ticks, tree = 862.21 MB)
   7236  4630     4584.6000   347     6784.7043     4584.4469  3923569   32.43%
   7255  4590     4585.1546   641     6784.7043     4584.4469  3899804   32.43%
   7281  4644     4584.6005   482     6784.7043     4584.4469  3931113   32.43%
   7316  4653     4584.5558   772     6784.7043     4584.4469  3950311   32.43%
   7353  4776     4584.5588   622     6784.7043     4584.4469  3990575   32.43%
   7395  4645     4584.6991   548     6784.7043     4584.4469  3956963   32.43%
   7427  4762     4584.5600   758     6784.7043     4584.4469  3969077   32.43%
   7445  4811     4584.6991   544     6784.7043     4584.4469  4020507   32.43%
   7473  4807     4584.6218   688     6784.7043     4584.4469  4021974   32.43%
   7502  4908     4585.1501   594     6784.7043     4584.4469  4049093   32.43%
Elapsed time = 4906.47 sec. (1972127.24 ticks, tree = 950.56 MB)
   7542  4924     4585.1567   781     6784.7043     4584.4469  4050777   32.43%
   7590  4971     4584.5717   708     6784.7043     4584.4469  4080076   32.43%
   7613  4980     4584.5746   622     6784.7043     4584.4469  4082044   32.43%
   7640  5029     4585.1788   664     6784.7043     4584.4469  4090583   32.43%
   7666  5049     4585.1834   725     6784.7043     4584.4469  4093199   32.43%
   7701  5085     4584.5762   533     6784.7043     4584.4469  4129850   32.43%
   7749  5106     4584.5765   492     6784.7043     4584.4469  4130599   32.43%
   7769  5227     4584.6991   539     6784.7043     4584.4469  4189250   32.43%
   7794  5220     4585.1889   774     6784.7043     4584.4469  4177801   32.43%
   7817  5178     4584.5482   580     6784.7043     4584.4469  4170298   32.43%
Elapsed time = 5030.08 sec. (2011626.46 ticks, tree = 1018.73 MB)
   7838  5229     4585.1896   823     6784.7043     4584.4469  4182518   32.43%
   7851  5237     4584.6993   452     6784.7043     4584.4469  4199775   32.43%
   7912  5250     4585.1845   652     6784.7043     4584.4469  4186099   32.43%
   7955  5390     4585.1863   621     6784.7043     4584.4469  4279422   32.43%
   7992  5369     4584.5498   803     6784.7043     4584.4469  4254219   32.43%
   8067  5411     4584.7013   538     6784.7043     4584.4469  4297241   32.43%
   8140  5406     4584.5511   558     6784.7043     4584.4469  4260107   32.43%
   8202  5565     4584.5921   867     6784.7043     4584.4469  4363847   32.43%
   8300  5666     4585.2049   753     6784.7043     4584.4469  4401689   32.43%
   8389  5605     4584.5936   619     6784.7043     4584.4469  4368957   32.43%
Elapsed time = 5166.53 sec. (2051037.04 ticks, tree = 1134.99 MB)
   8438  5613     4584.6013   601     6784.7043     4584.4469  4371789   32.43%
   8504  5465     4584.5191   620     6784.7043     4584.4469  4345317   32.43%
   8544  5719     4585.2140   800     6784.7043     4584.4469  4412306   32.43%
   8597  5892     4584.5558   871     6784.7043     4584.4469  4485406   32.43%
   8637  5959     4585.0277   513     6784.7043     4584.4469  4518614   32.43%
   8680  5781     4584.6692   784     6784.7043     4584.4469  4450940   32.43%
   8740  6072     4585.2239   594     6784.7043     4584.4469  4538083   32.43%
   8793  6105     4584.8224   963     6784.7043     4584.4469  4554347   32.43%
   8831  6015     4584.6145   811     6784.7043     4584.4469  4513872   32.43%
   8881  6176     4584.5198   552     6784.7043     4584.4469  4612897   32.43%
Elapsed time = 5317.55 sec. (2090345.50 ticks, tree = 1289.65 MB)
   8919  6122     4584.6450   766     6784.7043     4584.4469  4581853   32.43%
   8962  6305     4584.6215   721     6784.7043     4584.4469  4650837   32.43%
   9042  6326     4584.6250   605     6784.7043     4584.4469  4653468   32.43%
   9097  6128     4584.5766   497     6784.7043     4584.4469  4611208   32.43%
   9154  6380     4585.2297   587     6784.7043     4584.4469  4711067   32.43%
   9238  6315     4585.0306   577     6784.7043     4584.4469  4677791   32.43%
   9294  6571     4584.6372   648     6784.7043     4584.4469  4780952   32.43%
   9367  6764     4585.2367   476     6784.7043     4584.4469  4825729   32.43%
   9409  6777     4585.2386   497     6784.7043     4584.4469  4828455   32.43%
   9464  6792     4585.2420   636     6784.7043     4584.4469  4831231   32.43%
Elapsed time = 5468.72 sec. (2129525.50 ticks, tree = 1464.38 MB)
   9510  6698     4585.0401   480     6784.7043     4584.4469  4822973   32.43%
   9585  6935     4585.2515   766     6784.7043     4584.4469  4932348   32.43%
   9655  6835     4585.2473   768     6784.7043     4584.4469  4839391   32.43%
   9686  7065     4585.2497   620     6784.7043     4584.4469  4966966   32.43%
   9735  6959     4585.2861   794     6784.7043     4584.4469  4940682   32.43%
   9818  6980     4585.2880   776     6784.7043     4584.4469  4943243   32.43%
   9881  7287     4585.2881   795     6784.7043     4584.4469  5066852   32.43%
   9942  7158     4584.5758   564     6784.7043     4584.4469  5021493   32.43%
  10065  7362     4585.0503   615     6784.7043     4584.4469  5084204   32.43%
  10172  7403     4585.2896   776     6784.7043     4584.4469  5104743   32.43%
Elapsed time = 5623.22 sec. (2170060.98 ticks, tree = 1633.71 MB)
  10231  7172     4584.6537   923     6784.7043     4584.4469  5016630   32.43%
  10287  7203     4584.7607   854     6784.7043     4584.4469  5050171   32.43%
  10344  7426     4585.3372   922     6784.7043     4584.4469  5113439   32.43%
  10409  7630     4584.5904   574     6784.7043     4584.4469  5194212   32.43%
* 10455+ 7590                         6189.7423     4584.4469            25.93%
* 10457+ 7590                         6110.4112     4584.4469            24.97%
  10457  7640     4584.5939   496     6110.4112     4584.4469  5197095   24.97%
* 10460+ 7590                         6103.9555     4584.4469            24.89%
* 10463+ 7590                         6078.8396     4584.4469            24.58%
* 10463+ 7590                         6078.8388     4584.4469            24.58%
* 10463+ 7590                         6077.1518     4584.4469            24.56%
* 10471+ 7590                         6066.4256     4584.4469            24.43%
  10510  7850     4585.3048   659     6066.4256     4584.4469  5247791   24.43%
  10538  7861     4584.8429   882     6066.4256     4584.4469  5253774   24.43%
  10599  7804     4585.0527   439     6066.4256     4584.4469  5238042   24.43%
  10646  7996     4585.3494   920     6066.4256     4584.4469  5303854   24.43%
  10710  7842     4585.0561   638     6066.4256     4584.4469  5243694   24.43%
Elapsed time = 5767.94 sec. (2209681.50 ticks, tree = 1753.19 MB)
  10797  7999     4586.2914   946     6066.4256     4584.4469  5309476   24.43%
  10869  8120     4585.0553   305     6066.4256     4584.4469  5348927   24.43%
  10918  8135     4585.0569   591     6066.4256     4584.4469  5353094   24.43%
* 10930+ 8135                         6036.5345     4584.4469            24.05%
* 10930+ 8135                         6036.5167     4584.4469            24.05%
  10952  8368     4586.4390   812     6036.5167     4584.4469  5429311   24.05%
  10970  8341     4585.0584   633     6036.5167     4584.4469  5417843   24.05%
  11029  8380     4586.4400   804     6036.5167     4584.4469  5434316   24.05%
  11074  8390     4586.4411   888     6036.5167     4584.4469  5436931   24.05%
  11137  8515     4587.1184   545     6036.5167     4584.4469  5486546   24.05%
  11181  8412     4586.4439  1013     6036.5167     4584.4469  5442100   24.05%
  11210  8544     4587.1655   661     6036.5167     4584.4469  5492124   24.05%
Elapsed time = 5888.83 sec. (2249978.12 ticks, tree = 1967.76 MB)
  11243  8451     4585.3112   555     6036.5167     4584.4469  5483785   24.05%
  11282  8406     4584.7255   770     6036.5167     4584.4469  5467175   24.05%
  11364  8590     4588.5725   721     6036.5167     4584.4469  5502417   24.05%
  11401  8756     4588.5741   499     6036.5167     4584.4469  5556747   24.05%
  11423  8606     4585.0689   431     6036.5167     4584.4469  5524026   24.05%
* 11424+ 8768                         5882.7166     4584.4469            22.07%
* 11424+ 8768                         5864.4228     4584.4469            21.83%
* 11424+ 8768                         5857.0355     4584.4469            21.73%
* 11426+ 8768                         5815.5502     4584.4469            21.17%
  11448  8689     4584.6955   832     5815.5502     4584.4469  5553762   21.17%
  11474  8809     4588.5768   495     5815.5502     4584.4469  5564552   21.17%
  11511  8822     4588.5905   383     5815.5502     4584.4469  5568027   21.17%
  11529  8836     4588.5793   577     5815.5502     4584.4469  5571612   21.17%
  11563  8862     4588.5812   469     5815.5502     4584.4469  5574372   21.17%
Elapsed time = 6008.39 sec. (2290540.77 ticks, tree = 2063.92 MB)
  11575  8924     4584.6974   904     5815.5502     4584.4469  5630792   21.17%
  11597  8926     4584.6917   940     5815.5502     4584.4469  5635717   21.17%
  11654  9090     4588.5817   406     5815.5502     4584.4469  5663590   21.17%
  11706  8986     4585.3398   549     5815.5502     4584.4469  5650081   21.17%
  11745  9153     4588.5909   659     5815.5502     4584.4469  5669806   21.17%
* 11760+ 8943                         5793.5868     4584.4469            20.87%
  11777  9101     4584.6895   495     5793.5868     4584.4469  5691454   20.87%
  11822  9102     4584.6971   519     5793.5868     4584.4469  5694852   20.87%
  11868  9242     4588.6059   735     5793.5868     4584.4469  5705604   20.87%
  11931  9278     4588.6096   563     5793.5868     4584.4469  5708462   20.87%
  11967  9308     4585.3616   562     5793.5868     4584.4469  5719876   20.87%
Elapsed time = 6117.28 sec. (2331762.14 ticks, tree = 2202.92 MB)
Nodefile size = 148.10 MB (51.45 MB after compression)
  11998  9318     4586.4549   976     5793.5868     4584.4469  5721571   20.87%
  12019  9151     4585.2844   436     5793.5868     4584.4469  5710423   20.87%
  12060  9460     4589.9946   727     5793.5868     4584.4469  5751878   20.87%
  12103  9331     4588.8355   774     5793.5868     4584.4469  5730008   20.87%
  12174  9373     4585.2856   520     5793.5868     4584.4469  5748985   20.87%
  12209  9543     4584.8653   805     5793.5868     4584.4469  5790594   20.87%
* 12213+ 9354                         5778.3747     4584.4469            20.66%
* 12218+ 9354                         5759.1825     4584.4469            20.40%
* 12222+ 9354                         5754.6370     4584.4469            20.33%
  12265  9397     4585.2857   481     5754.6370     4584.4469  5754727   20.33%
  12287  9563     4587.0952   811     5754.6370     4584.4469  5823381   20.33%
  12343  9560     4585.4258   769     5754.6370     4584.4469  5809348   20.33%
  12395  9604     4585.2872   452     5754.6370     4584.4469  5845369   20.33%
Elapsed time = 6222.95 sec. (2371900.92 ticks, tree = 2296.16 MB)
Nodefile size = 238.89 MB (88.98 MB after compression)
  12418  9636     4584.6743   618     5754.6370     4584.4469  5867773   20.33%
  12453  9600     4585.4356   632     5754.6370     4584.4469  5818790   20.33%
  12499  9690     4588.6416   904     5754.6370     4584.4469  5901244   20.33%
  12516  9847     4585.4642   782     5754.6370     4584.4469  5933263   20.33%
  12542  9698     4588.6582   726     5754.6370     4584.4469  5909026   20.33%
  12570 10003     4584.6769   650     5754.6370     4584.4469  6002040   20.33%
  12606  9962     4585.2905   391     5754.6370     4584.4469  5986459   20.33%
  12656  9879     4585.4466   658     5754.6370     4584.4469  5945630   20.33%
  12713 10084     4584.8511   665     5754.6370     4584.4469  6051467   20.33%
  12760 10093     4585.4534   698     5754.6370     4584.4469  6065551   20.33%
Elapsed time = 6352.05 sec. (2411639.19 ticks, tree = 2449.08 MB)
Nodefile size = 395.43 MB (138.82 MB after compression)
  12838  9931     4584.6440   874     5754.6370     4584.4469  5974909   20.33%
  12869 10122     4585.4657   622     5754.6370     4584.4469  6071491   20.33%
  12904 10184     4584.6925   270     5754.6370     4584.4469  6133755   20.33%
  12938 10124     4585.4690   633     5754.6370     4584.4469  6078813   20.33%
  13042 10170     4585.3103   347     5754.6370     4584.4469  6118500   20.33%
  13112 10187     4585.3107   362     5754.6370     4584.4469  6121103   20.33%
  13182 10264     4588.6210   516     5754.6370     4584.4469  6173481   20.33%
  13235 10289     4592.3196   400     5754.6370     4584.4469  6177141   20.33%
  13287 10203     4585.3111   320     5754.6370     4584.4469  6129763   20.33%
  13309 10314     4584.6486   709     5754.6370     4584.4469  6199670   20.33%
Elapsed time = 6489.77 sec. (2451301.53 ticks, tree = 2517.94 MB)
Nodefile size = 443.31 MB (152.71 MB after compression)
  13406 10372     4584.8723   681     5754.6370     4584.4469  6227258   20.33%
  13438 10668     4584.7287   761     5754.6370     4584.4469  6351337   20.33%
  13483 10671     4584.7397   728     5754.6370     4584.4469  6354249   20.33%
Starting limited solution polishing.
  13535 10665     4596.7963   270     5754.6370     4584.4469  6335252   20.33%
  13611 10682     4596.7964   272     5754.6370     4584.4469  6338683   20.33%
  13665 10702     4584.7613   990     5754.6370     4584.4469  6362842   20.33%
  13700 10735     4596.7964   226     5754.6370     4584.4469  6345879   20.33%
  13740 10930     4584.7625  1029     5754.6370     4584.4469  6458921   20.33%
  13784 10939     4584.7686   740     5754.6370     4584.4469  6461863   20.33%
  13813 10944     4584.7708   801     5754.6370     4584.4469  6464804   20.33%
Elapsed time = 6641.47 sec. (2491032.63 ticks, tree = 2715.31 MB)
Nodefile size = 655.77 MB (225.06 MB after compression)
* 13817+10902                         5752.9519     4584.4469            20.31%
  13825 10950     4584.7715   881     5752.9519     4584.4469  6467640   20.31%
  13856 11237     4586.7500   689     5752.9519     4584.4469  6578842   20.31%
  13903 11270     4586.7764   768     5752.9519     4584.4469  6582043   20.31%
  13944 11192     4584.8912   343     5752.9519     4584.4469  6568996   20.31%
* 13959+10998                         5747.8940     4584.4469            20.24%
  14003 11307     4584.7797   897     5747.8940     4584.4469  6594102   20.24%
  14047 11400     4596.8635   732     5747.8940     4584.4469  6678942   20.24%
  14067 11198     4584.9662   860     5747.8940     4584.4469  6581147   20.24%
  14076 11425     4584.9113   643     5747.8940     4584.4469  6731750   20.24%
* 14078+11392                         5744.5184     4584.4469            20.19%
  14084 11328     4585.0689   379     5744.5184     4584.4469  6637141   20.19%
  14098 11514     4585.5701   654     5744.5184     4584.4469  6770504   20.19%
Elapsed time = 6801.56 sec. (2533071.76 ticks, tree = 2896.00 MB)
Nodefile size = 840.12 MB (281.33 MB after compression)
  14113 11429     4584.8985   699     5744.5184     4584.4469  6740854   20.19%
  14128 11421     4596.8016   320     5744.5184     4584.4469  6703295   20.19%
  14155 11525     4590.6359   805     5744.5184     4584.4469  6767206   20.19%
  14195 11561     4596.8037   142     5744.5184     4584.4469  6827306   20.19%
  14208 11565     4596.8043   437     5744.5184     4584.4469  6830316   20.19%
  14231 11569     4596.8067   231     5744.5184     4584.4469  6833362   20.19%
  14254 11566     4584.7062   547     5744.5184     4584.4469  6852098   20.19%
  14262 11587     4596.8699   649     5744.5184     4584.4469  6839742   20.19%
* 14287+11586                         5742.8287     4584.4469            20.17%
  14289 11602     4591.0264   778     5742.8287     4584.4469  6915624   20.17%
  14324 11624     4591.0265   712     5742.8287     4584.4469  6916717   20.17%
Elapsed time = 6960.64 sec. (2573428.79 ticks, tree = 2930.01 MB)
Nodefile size = 868.58 MB (291.81 MB after compression)
  14344 11639     4591.0376   703     5742.8287     4584.4469  6918637   20.17%
  14367 11651     4596.8800   616     5742.8287     4584.4469  6944911   20.17%
  14399 11670     4584.7899   762     5742.8287     4584.4469  6949883   20.17%
  14428 11750     4584.7062   419     5742.8287     4584.4469  7022839   20.17%
  14446 11767     4585.5623   681     5742.8287     4584.4469  7042637   20.17%
  14475 11663     4591.0269   689     5742.8287     4584.4469  6933389   20.17%
  14504 11705     4584.8512   845     5742.8287     4584.4469  6960404   20.17%
  14543 11762     4590.6381   671     5742.8287     4584.4469  7013297   20.17%
  14562 11855     4591.7779   771     5742.8287     4584.4469  7062587   20.17%
* 14582+11857                         5737.7686     4584.4469            20.10%
  14622 11862     4584.9173   703     5737.7686     4584.4469  7064970   20.10%
Elapsed time = 7088.83 sec. (2613566.42 ticks, tree = 3003.47 MB)
Nodefile size = 943.99 MB (319.79 MB after compression)
  14681 11989     4591.7883   622     5737.7686     4584.4469  7117541   20.10%
  14743 12000     4584.7362   482     5737.7686     4584.4469  7164659   20.10%
  14770 11884     4584.9190   823     5737.7686     4584.4469  7071480   20.10%
  14784 12032     4593.8622   557     5737.7686     4584.4469  7128134   20.10%
  14808 12036     4595.8232   627     5737.7686     4584.4469  7131436   20.10%
  14835 12052     4584.8665   623     5737.7686     4584.4469  7204992   20.10%
  14880 12083     4584.8665   518     5737.7686     4584.4469  7207752   20.10%
  14911 12013     4584.7063   457     5737.7686     4584.4469  7181579   20.10%

Flow cuts applied:  18
Mixed integer rounding cuts applied:  4

Root node processing (before b&c):
  Real time             =   85.91 sec. (96217.91 ticks)
Parallel b&c, 8 threads:
  Real time             = 7116.69 sec. (2553138.82 ticks)
  Sync time (average)   =  594.89 sec.
  Wait time (average)   =    0.10 sec.
                          ------------
Total (root+branch&cut) = 7202.59 sec. (2649356.73 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 5737.768604
7358434 MIP simplex iterations
14914 branch-and-bound nodes
absmipgap = 1153.32, relmipgap = 0.201005
COSTOS = 5737.77

NVS [*] :=
1  0.965167
2  0.979532
3  1
4  0.995556
5  0.952174
6  0.940146
;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 [*,1,7,*]
:    1   2   3   4   5   6    7   8   9    10   11   12  13  14  15    :=
1    4   4   4   7   9   13   9   9   12   14   13   10   7   3   2
2    0   0   0   0   0    0   0   0    0    0    1    0   1   0   0
4    0   0   0   0   0    0   0   4    0    0    1    1   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   1   1   1   0   1   1   0   1   0   0
8    0   0   1   1   1   1   1   2   3   3   3   3   3   3   1
12   0   0   0   1   0   0   0   1   0   0   0   0   0   0   0
14   0   0   3   3   1   2   4   0   1   1   1   0   1   0   1
20   0   0   0   0   2   0   1   0   1   1   1   3   1   2   2
26   2   3   0   3   3   2   0   2   0   1   0   2   0   2   0
32   0   2   0   0   0   0   0   0   0   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   3   3   3   3   3   0   1   1   1   3   3   3   3   1
12   0   0   0   0   0   0   0   0   0   0   0   0   1   0   1
14   0   0   0   1   5   7   8   8   1   8   3   4   0   3   2
20   0   0   0   2   0   2   0   1   0   1   2   2   2   2   0
26   0   1   2   2   0   0   2   0   1   3   2   2   2   0   0
32   0   0   0   0   0   0   3   0   3   0   0   0   0   0   0

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

 [*,2,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   1   0   0   0   0   0   0   0   0   0
8    1   1   1   1   1   1   2   2   2   4   6   8   6   6   4
12   0   0   2   4   0   1   2   2   2   0   1   0   0   1   0
14   0   3   3   4   0   0   8   4   0   5   0   1   1   0   0
20   0   0   1   0   0   0   0   0   0   1   1   0   3   2   3
26   2   0   0   4   4   4   4   1   2   2   0   0   0   0   0
32   1   0   0   0   2   0   3   0   0   3   1   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   1   0   0   0   0   0   1   1   0   0   0
8    2   2   2   2   2   2   0   3   3   3   7   7   7   4   0
12   0   0   0   0   0   0   0   0   0   0   0   0   0   0   4
14   0   0   3   3   6   7   7   6   7   7   0   0   2   0   0
20   0   0   0   0   1   1   1   1   0   0   0   0   0   0   0
26   2   0   1   0   0   2   0   0   0   0   0   0   2   2   1
32   0   0   0   0   0   0   1   0   1   0   0   0   3   3   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   1   0   0   1   1   1   0
8    0   0   0   3   3   3   4   1   2   6   7   7   7   7   4
12   0   0   0   0   1   0   0   0   0   2   0   0   0   0   0
14   3   3   1   5   4   4   2   7   1   1   2   0   3   0   0
20   1   2   2   2   0   1   0   1   5   0   2   2   0   0   0
26   0   0   1   3   0   0   1   0   0   0   0   0   0   0   0
32   0   0   0   0   1   0   0   0   0   1   0   0   0   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   1   1   1   1   0   1   0   1   0
8    2   2   4   4   4   4   1   3   3   3   3   1   1   1   0
12   0   1   0   1   1   1   1   2   3   1   2   2   0   2   1
14   0   0   0   5   1   0   4   0   0   0   0   1   2   0   0
20   0   0   0   0   0   3   3   3   2   0   3   1   2   0   1
26   0   0   0   0   0   4   0   0   0   6   3   6   4   2   0
32   0   0   0   0   0   1   0   0   3   3   0   2   0   2   0

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

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

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

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

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

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

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

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

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

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

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

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

 [*,4,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   2   0   2   0   0   1   0   0   0   0   2   0   0
16   0   0   0   0   0   0   0   0   0   0   0   2   0   2   5
20   2   1   2   3   5   4   5   4   0   5   1   0   0   0   0
21   1   1   0   1   0   1   1   0   4   3   2   0   1   0   0
22   2   2   2   2   1   2   2   3   3   3   7   6   6   5   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   4   0   4   2   0   0   0   0   0
16   1   3   3   1   4   5   0   0   1   0   0   0   0   0   0
20   0   0   0   0   0   0   0   1   2   9   6   5   4   3   2
21   1   0   0   0   0   0   0   4   0   2   2   2   0   0   0
22   0   0   1   5   6   6   6   3   2   2   4   3   3   3   0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

R [1,1,1,*,*]
:   21    :=
36   1

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

 [1,1,3,*,*]
:   21    :=
5    1

 [1,1,4,*,*]
:   21    :=
36   1

 [1,1,5,*,*]
:   21    :=
36   1

 [1,1,6,*,*]
 [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    1

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

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

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

 [1,4,6,*,*]
 [1,4,7,*,*]
:   17    :=
25   1

 [1,8,1,*,*]
 [1,8,2,*,*]
 [1,8,3,*,*]
:    1    :=
13   1
17   1

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

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

 [1,8,6,*,*]
:    1    :=
13   1
35   1

 [1,8,7,*,*]
:    1    :=
28   2

 [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    :=
1    1
17   1
35   2

 [1,12,4,*,*]
:    1    :=
9    4

 [1,12,5,*,*]
:    1    :=
36   4

 [1,12,6,*,*]
:    1    :=
31   1
35   3

 [1,12,7,*,*]
:    1    :=
31   2
36   2

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

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

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

 [1,15,5,*,*]
:   14    :=
1    1
5    1
13   2
21   1
35   1
36   1

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

 [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,*,*]
:   13    :=
17   3

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

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

 [1,21,5,*,*]
 [1,21,6,*,*]
:   13    :=
28   3

 [1,21,7,*,*]
:   13    :=
25   3

 [1,22,1,*,*]
 [1,22,2,*,*]
:    4    :=
21   2
35   4

 [1,22,3,*,*]
:    4    :=
28   1
35   2
36   3

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

 [1,22,5,*,*]
 [1,22,6,*,*]
:    4    :=
28   1
35   5

 [1,22,7,*,*]
:    4    :=
13   3
35   3

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

 [1,29,2,*,*]
 [1,29,3,*,*]
 [1,29,4,*,*]
:    7    :=
28   1
35   1
36   2

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

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

 [1,29,7,*,*]
:    7    :=
31   2
35   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,*,*]
 [1,36,2,*,*]
:    4    :=
1    3
5    1
36   3

 [1,36,3,*,*]
:    4    :=
13   2
25   2
28   1
36   2

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

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

 [1,36,7,*,*]
:    4    :=
9    1
13   1
31   5

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

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

 [2,1,3,*,*]
 [2,1,4,*,*]
:   26    :=
35   1
36   3

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

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

 [2,1,7,*,*]
:   26    :=
31   3
35   1

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

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

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

 [2,4,5,*,*]
:   26    :=
28   1
33   1

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

 [2,4,7,*,*]
:   26    :=
21   2

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

 [2,8,3,*,*]
:   28    :=
13   2

 [2,8,4,*,*]
:   28    :=
35   2

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

 [2,8,6,*,*]
:   28    :=
13   2

 [2,8,7,*,*]
:   28    :=
9    2

 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [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    :=
36   1

 [2,15,2,*,*]
 [2,15,3,*,*]
:   27    :=
13   1

 [2,15,4,*,*]
:   27    :=
1    1

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

 [2,15,6,*,*]
:   27    :=
35   1

 [2,15,7,*,*]
:   27    :=
1    1

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

 [2,20,2,*,*]
 [2,20,3,*,*]
:   27    :=
1    3

 [2,20,4,*,*]
:   27    :=
28   3

 [2,20,5,*,*]
:   27    :=
28   3

 [2,20,6,*,*]
:   27    :=
9    1
25   2

 [2,20,7,*,*]
:   27    :=
33   3

 [2,21,1,*,*]
:   27    :=
1    1

 [2,21,2,*,*]
 [2,21,3,*,*]
:   27    :=
25   1

 [2,21,4,*,*]
:   27    :=
1    1

 [2,21,5,*,*]
:   27    :=
36   1

 [2,21,6,*,*]
:   27    :=
1    1

 [2,21,7,*,*]
:   27    :=
31   1

 [2,22,1,*,*]
:   22    :=
17   1
36   1

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

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

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

 [2,22,5,*,*]
:   22    :=
9    2

 [2,22,6,*,*]
:   22    :=
1    2

 [2,22,7,*,*]
 [2,26,1,*,*]
:   24    :=
1    2

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

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

 [2,26,4,*,*]
:   24    :=
28   2

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

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

 [2,29,1,*,*]
:   27    :=
25   1
35   1

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

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

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

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

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

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

 [2,36,2,*,*]
:   26    :=
25   1
35   2

 [2,36,3,*,*]
 [2,36,4,*,*]
:   26    :=
21   1
25   2

 [2,36,5,*,*]
:   26    :=
1    1
35   2

 [2,36,6,*,*]
:   26    :=
25   3

 [2,36,7,*,*]
:   26    :=
17   1
35   2

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

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

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

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

 [3,1,7,*,*]
:    2    :=
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    :=
29   1

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

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

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

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

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

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

 [3,8,6,*,*]
:    1    :=
32   1
34   1

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

 [3,10,1,*,*]
 [3,10,2,*,*]
 [3,10,3,*,*]
 [3,10,4,*,*]
 [3,10,5,*,*]
 [3,10,6,*,*]
 [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,*,*]
:   11    :=
10   1

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

 [3,14,4,*,*]
:   11    :=
18   1

 [3,14,5,*,*]
:   11    :=
32   1

 [3,14,6,*,*]
:   11    :=
2    1

 [3,14,7,*,*]
 [3,15,1,*,*]
:   15    :=
32   1

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

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

 [3,15,5,*,*]
:   15    :=
6    1

 [3,15,6,*,*]
:   15    :=
32   1

 [3,15,7,*,*]
 [3,16,1,*,*]
 [3,16,2,*,*]
 [3,16,3,*,*]
:    1    :=
2    1

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

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

 [3,16,6,*,*]
:    1    :=
34   1

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

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

 [3,20,2,*,*]
 [3,20,3,*,*]
 [3,20,4,*,*]
:    7    :=
6    1
14   1

 [3,20,5,*,*]
:    7    :=
34   2

 [3,20,6,*,*]
:    7    :=
26   2

 [3,20,7,*,*]
:    7    :=
34   2

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

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

 [3,21,5,*,*]
:    1    :=
34   1

 [3,21,6,*,*]
:    1    :=
18   1

 [3,21,7,*,*]
:    1    :=
34   1

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

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

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

 [3,22,6,*,*]
:    8    :=
18   1

 [3,22,7,*,*]
:    8    :=
10   1

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

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

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

 [3,26,6,*,*]
:    8    :=
10   2

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

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

 [3,29,3,*,*]
:    3    :=
34   4

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

 [3,29,6,*,*]
:    3    :=
34   4

 [3,29,7,*,*]
:    3    :=
32   4

 [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,*,*]
:    2    :=
10   1

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

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

 [3,36,6,*,*]
:    2    :=
34   1

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

 [4,1,1,*,*]
:   25    :=
22   2
34   4

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

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

 [4,1,4,*,*]
 [4,1,5,*,*]
:   25    :=
32   6

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

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

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

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

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

 [4,8,4,*,*]
:   22    :=
26   2
34   1

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

 [4,8,6,*,*]
:   22    :=
34   3

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

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

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

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

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

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

 [4,15,1,*,*]
 [4,15,2,*,*]
:   28    :=
2    1
32   1

 [4,15,3,*,*]
:   28    :=
2    1
32   1

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

 [4,15,5,*,*]
:   28    :=
32   2

 [4,15,6,*,*]
:   28    :=
2    2

 [4,15,7,*,*]
:   28    :=
32   1
34   1

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

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

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

 [4,16,4,*,*]
:   24    :=
32   4

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

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

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

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

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

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

 [4,20,6,*,*]
:   28    :=
2    3

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

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

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

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

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

 [4,22,5,*,*]
:   23    :=
10   1

 [4,22,6,*,*]
 [4,22,7,*,*]
:   23    :=
18   1

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

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

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

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

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

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

 [4,29,1,*,*]
 [4,29,2,*,*]
:   28    :=
34   4

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

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

 [4,29,5,*,*]
:   28    :=
14   4

 [4,29,6,*,*]
:   28    :=
29   2
32   2

 [4,29,7,*,*]
:   28    :=
6    2
18   2

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

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

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

 [4,32,4,*,*]
:   23    :=
18   2

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

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

 [4,36,1,*,*]
:   27    :=
2    2
34   2

 [4,36,2,*,*]
 [4,36,3,*,*]
:   27    :=
2    2
32   2

 [4,36,4,*,*]
:   27    :=
10   1
34   3

 [4,36,5,*,*]
:   27    :=
2    1
18   2
34   1

 [4,36,6,*,*]
:   27    :=
18   2
34   2

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

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

 [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    :=
23   4

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

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

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

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

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

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

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

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

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

 [5,4,6,*,*]
:   11    :=
7    2

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

 [5,8,2,*,*]
:   16    :=
30   1

 [5,8,3,*,*]
:   16    :=
27   1

 [5,8,4,*,*]
 [5,8,5,*,*]
 [5,8,6,*,*]
:   16    :=
27   1

 [5,8,7,*,*]
:   16    :=
27   1

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

 [5,12,2,*,*]
:   19    :=
15   1

 [5,12,3,*,*]
:   19    :=
30   1

 [5,12,4,*,*]
:   19    :=
27   1

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

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

 [5,14,2,*,*]
:   16    :=
15   1

 [5,14,3,*,*]
:   16    :=
30   1

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

 [5,14,7,*,*]
:   16    :=
7    1

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

 [5,15,2,*,*]
:   18    :=
11   2

 [5,15,3,*,*]
:   18    :=
3    1
11   1

 [5,15,4,*,*]
 [5,15,5,*,*]
:   18    :=
30   2

 [5,15,6,*,*]
:   18    :=
3    2

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

 [5,20,2,*,*]
:   12    :=
3    1

 [5,20,3,*,*]
 [5,20,4,*,*]
 [5,20,5,*,*]
:   12    :=
3    1

 [5,20,6,*,*]
:   12    :=
15   1

 [5,20,7,*,*]
:   12    :=
30   1

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

 [5,21,3,*,*]
:    3    :=
15   1

 [5,21,4,*,*]
 [5,21,5,*,*]
:    3    :=
15   1

 [5,21,6,*,*]
:    3    :=
27   1

 [5,21,7,*,*]
:    3    :=
3    1

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

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

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

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

 [5,22,7,*,*]
:    2    :=
15   1

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

 [5,26,2,*,*]
:   19    :=
27   2

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

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

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

 [5,29,1,*,*]
:   21    :=
3    2

 [5,29,2,*,*]
:   21    :=
3    1
7    1

 [5,29,3,*,*]
:   21    :=
15   2

 [5,29,4,*,*]
:   21    :=
30   2

 [5,29,5,*,*]
:   21    :=
3    2

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

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

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

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

 [5,32,7,*,*]
:    4    :=
15   1

 [5,36,1,*,*]
:   17    :=
15   1
27   1

 [5,36,2,*,*]
:   17    :=
27   2

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

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

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

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

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

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

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

 [6,1,5,*,*]
:   23    :=
15   3

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

 [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    :=
11   1

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

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

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

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

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

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

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

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

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

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

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

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

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

 [6,15,3,*,*]
:   23    :=
30   1

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

 [6,15,5,*,*]
:   23    :=
3    1

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

 [6,16,1,*,*]
 [6,16,2,*,*]
 [6,16,3,*,*]
 [6,16,4,*,*]
 [6,16,5,*,*]
 [6,16,6,*,*]
 [6,16,7,*,*]
 [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,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [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,*,*]
:   13    :=
24   2

 [7,29,2,*,*]
:   13    :=
24   2

 [7,29,3,*,*]
 [7,29,4,*,*]
:   13    :=
4    1
8    1

 [7,29,5,*,*]
 [7,29,6,*,*]
:   13    :=
20   2

 [7,29,7,*,*]
:   13    :=
4    2

 [7,32,1,*,*]
:   15    :=
12   1

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

 [7,32,3,*,*]
 [7,32,4,*,*]
:   15    :=
8    1

 [7,32,5,*,*]
:   15    :=
20   1

 [7,32,6,*,*]
:   15    :=
24   1

 [7,32,7,*,*]
 [7,36,1,*,*]
 [7,36,2,*,*]
 [7,36,3,*,*]
 [7,36,4,*,*]
 [7,36,5,*,*]
 [7,36,6,*,*]
 [7,36,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [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,*,*]
:   28    :=
24   3

 [8,14,3,*,*]
:   28    :=
20   3

 [8,14,4,*,*]
:   28    :=
24   3

 [8,14,5,*,*]
:   28    :=
12   3

 [8,14,6,*,*]
:   28    :=
24   3

 [8,14,7,*,*]
:   28    :=
12   3

 [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,*,*]
 [8,29,2,*,*]
 [8,29,3,*,*]
 [8,29,4,*,*]
 [8,29,5,*,*]
 [8,29,6,*,*]
 [8,29,7,*,*]
 [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 = 54
totales = 144

Faltantes = 138
sobrantes = 163.8
salario = 5413.5
servicio = 21.3886
capacitacion = 1.08

_solve_elapsed_time = 7206.16

_nvars = 918863
_ncons = 16656

solve_result_num = 422

ampl: 