ampl: include Ejecutar42.run

Presolve eliminates 2552 constraints and 669634 variables.
Adjusted problem:
73937 variables:
	1456 binary variables
	72472 integer variables
	9 linear variables
10797 constraints, all linear; 667601 nonzeros
	2425 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 6 rows and 5 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 308 bounds.
Probing time = 0.22 sec. (112.29 ticks)
Cover probing fixed 0 vars, tightened 796 bounds.
Clique table members: 104.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 4 threads.
Root relaxation solution time = 4.78 sec. (2120.29 ticks)

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

      0     0     3043.4346  1047                   3043.4346       29         
*     0+    0                      7114329.5245     3043.4346            99.96%
*     0+    0                      7114263.6890     3043.4346            99.96%
      0     0     3043.4346   866  7114263.6890      Cuts: 91      520   99.96%
      0     0     3043.4346   913  7114263.6890     Cuts: 666     2371   99.96%
      0     0     3043.4346   834  7114263.6890      Cuts: 73     4023   99.96%
*     0+    0                         5343.4725     3043.4346            43.04%
*     0+    0                         5297.5883     3043.4346            42.55%
      0     0  -1.00000e+75     0     5297.5883     3043.4346     4023   42.55%
      0     0     3043.4346   949     5297.5883     Cuts: 730     5438   42.55%
Heuristic still looking.
      0     2     3043.4346   642     5297.5883     3043.4346     5438   42.55%
Elapsed time = 90.83 sec. (67499.02 ticks, tree = 0.02 MB)
      6     8     3043.4346   677     5297.5883     3043.4346     6254   42.55%
      7     5     3043.4346   826     5297.5883     3043.4346     6564   42.55%
      8     4     3043.4346   888     5297.5883     3043.4346     6668   42.55%
      9    10     3043.4346   827     5297.5883     3043.4346     8044   42.55%
     10    11     3043.4417   884     5297.5883     3043.4346    10696   42.55%
     15     3     3043.4351   861     5297.5883     3043.4346     9386   42.55%
     17    15     3043.4351   846     5297.5883     3043.4346    19126   42.55%
     19    17     3043.4351   844     5297.5883     3043.4346    19687   42.55%
     20    12     3043.4440   953     5297.5883     3043.4346    12066   42.55%
     23     9     3043.4492   886     5297.5883     3043.4346    11053   42.55%
Elapsed time = 117.94 sec. (77155.45 ticks, tree = 0.09 MB)
     27    18     3043.4523   940     5297.5883     3043.4346    22517   42.55%
     28    17     3043.4483   815     5297.5883     3043.4346    15345   42.55%
     29    18     3043.4492   802     5297.5883     3043.4346    30397   42.55%
     31    29     3043.4483   831     5297.5883     3043.4346    41108   42.55%
     36    35     3043.4375   618     5297.5883     3043.4346    53960   42.55%
     40    37     3043.4375   623     5297.5883     3043.4346    61802   42.55%
     41    36     3043.4492   811     5297.5883     3043.4346    54955   42.55%
     45    44     3043.4492   815     5297.5883     3043.4346    66665   42.55%
     48    45     3043.4553   853     5297.5883     3043.4346    75901   42.55%
     54    51     3043.4375   528     5297.5883     3043.4346   101344   42.55%
Elapsed time = 155.45 sec. (91312.00 ticks, tree = 0.92 MB)
     59    46     3043.4483   845     5297.5883     3043.4346    93363   42.55%
     62    47     3043.4546   635     5297.5883     3043.4346   105921   42.55%
     65    62     3043.4513   775     5297.5883     3043.4346   188502   42.55%
     66    58     3043.4546   871     5297.5883     3043.4346   159038   42.55%
     72    63     3043.4676   948     5297.5883     3043.4346   190240   42.55%
     81    71     3043.4378   840     5297.5883     3043.4346   192834   42.55%
     90    78     3043.4604   344     5297.5883     3043.4346   196708   42.55%
     91    67     3043.4596   511     5297.5883     3043.4346   192221   42.55%
     93    79     3043.4488   816     5297.5883     3043.4346   252656   42.55%
    102    80     3043.4375   612     5297.5883     3043.4346   253220   42.55%
Elapsed time = 196.13 sec. (104668.91 ticks, tree = 2.00 MB)
    111    85     3043.4596   342     5297.5883     3043.4346   253972   42.55%
    115    89     3043.4596   327     5297.5883     3043.4346   254846   42.55%
    124    96     3043.4596   234     5297.5883     3043.4346   255338   42.55%
    126   103     3043.4488   836     5297.5883     3043.4346   264151   42.55%
    132   123     3043.4375   503     5297.5883     3043.4346   267314   42.55%
    136   117     3043.4596   314     5297.5883     3043.4346   266299   42.55%
    140   103     3043.4515   645     5297.5883     3043.4346   259266   42.55%
    144   132     3043.4599   471     5297.5883     3043.4346   271482   42.55%
    147   124     3043.4375   514     5297.5883     3043.4346   267362   42.55%
    148   135     3043.4753   632     5297.5883     3043.4346   277670   42.55%
Elapsed time = 269.59 sec. (133070.41 ticks, tree = 7.10 MB)
    155   136     3043.4438   772     5297.5883     3043.4346   273124   42.55%
    159   148     3043.4624   463     5297.5883     3043.4346   279865   42.55%
    169   158     3043.4611   330     5297.5883     3043.4346   280472   42.55%
    179   138     3043.4505   819     5297.5883     3043.4346   275177   42.55%
    182   149     3043.4641   566     5297.5883     3043.4346   282075   42.55%
    186   150     3043.4596   340     5297.5883     3043.4346   282796   42.55%
    195   171     3043.4782   448     5297.5883     3043.4346   285198   42.55%
    202   195     3043.4596   414     5297.5883     3043.4346   299998   42.55%
    211   193     3043.4632   191     5297.5883     3043.4346   295865   42.55%
    220   201     3043.4632   175     5297.5883     3043.4346   296537   42.55%
Elapsed time = 303.80 sec. (145793.34 ticks, tree = 15.43 MB)
    229   166     3043.4381   661     5297.5883     3043.4346   288607   42.55%
    237   217     3043.4604   307     5297.5883     3043.4346   308754   42.55%
    256   220     3043.4604   299     5297.5883     3043.4346   309513   42.55%
    272   219     3043.4381   556     5297.5883     3043.4346   305887   42.55%
    276   245     3043.4706   429     5297.5883     3043.4346   316679   42.55%
    279   202     3043.4596   296     5297.5883     3043.4346   305590   42.55%
    289   252     3043.4649   160     5297.5883     3043.4346   318533   42.55%
    303   225     3043.4456   830     5297.5883     3043.4346   309829   42.55%
    312   226     3043.4604   380     5297.5883     3043.4346   314425   42.55%
    318   258     3043.4671   296     5297.5883     3043.4346   322747   42.55%
Elapsed time = 336.39 sec. (157750.85 ticks, tree = 22.15 MB)
    324   287     3043.4604   325     5297.5883     3043.4346   334615   42.55%
    338   277     3043.4443   494     5297.5883     3043.4346   329818   42.55%
    351   293     3043.4604   211     5297.5883     3043.4346   336242   42.55%
    355   295     3043.4604   182     5297.5883     3043.4346   337070   42.55%
    362   324     3043.4598   447     5297.5883     3043.4346   348903   42.55%
    370   329     3043.4598   427     5297.5883     3043.4346   349465   42.55%
    377   301     3043.4604   328     5297.5883     3043.4346   339435   42.55%
    384   321     3043.4632   155     5297.5883     3043.4346   348428   42.55%
    397   348     3043.4604   223     5297.5883     3043.4346   357002   42.55%
    405   352     3043.4604   308     5297.5883     3043.4346   358078   42.55%
Elapsed time = 364.23 sec. (169330.33 ticks, tree = 34.16 MB)
    411   363     3043.4627   418     5297.5883     3043.4346   365438   42.55%
    426   391     3043.4638   310     5297.5883     3043.4346   374200   42.55%
    434   359     3043.4604   284     5297.5883     3043.4346   360399   42.55%
    436   396     3043.4655   452     5297.5883     3043.4346   375927   42.55%
    445   374     3043.4443   335     5297.5883     3043.4346   368047   42.55%
    455   411     3043.4791   272     5297.5883     3043.4346   379596   42.55%
    462   402     3043.4709   475     5297.5883     3043.4346   379228   42.55%
    465   405     3043.4654   138     5297.5883     3043.4346   380257   42.55%
    469   408     3043.4662   384     5297.5883     3043.4346   381549   42.55%
    484   449     3043.4604   309     5297.5883     3043.4346   399228   42.55%
Elapsed time = 395.17 sec. (182476.01 ticks, tree = 47.99 MB)
    495   418     3043.4791   338     5297.5883     3043.4346   384596   42.55%
    499   452     3043.4612   384     5297.5883     3043.4346   401191   42.55%
    502   421     3043.5013   470     5297.5883     3043.4346   386249   42.55%
    505   455     3043.4604   311     5297.5883     3043.4346   402669   42.55%
    515   459     3043.4604   224     5297.5883     3043.4346   403257   42.55%
    518   435     3043.4666   439     5297.5883     3043.4346   394643   42.55%
    530   466     3043.4604   203     5297.5883     3043.4346   404597   42.55%
    536   469     3043.4604   252     5297.5883     3043.4346   405290   42.55%
    548   438     3043.4675   557     5297.5883     3043.4346   396852   42.55%
    556   536     3043.4445   262     5297.5883     3043.4346   431170   42.55%
Elapsed time = 420.95 sec. (193705.11 ticks, tree = 61.03 MB)
    563   512     3043.4607   285     5297.5883     3043.4346   424428   42.55%
    573   546     3043.4500   495     5297.5883     3043.4346   432534   42.55%
    576   549     3043.4446   459     5297.5883     3043.4346   433106   42.55%
    583   554     3043.4638   462     5297.5883     3043.4346   434432   42.55%
    586   536     3043.4838   745     5297.5883     3043.4346   443222   42.55%
    596   548     3043.4791   392     5297.5883     3043.4346   447831   42.55%
    606   550     3043.4835   377     5297.5883     3043.4346   449753   42.55%
    610   564     3043.4604   163     5297.5883     3043.4346   455906   42.55%
    618   552     3043.5002   571     5297.5883     3043.4346   451773   42.55%
    636   570     3043.4604   273     5297.5883     3043.4346   460571   42.55%
Elapsed time = 460.67 sec. (210895.51 ticks, tree = 65.88 MB)
    650   621     3043.4791   368     5297.5883     3043.4346   475868   42.55%
    683   679     3043.4791   248     5297.5883     3043.4346   509017   42.55%
    695   646     3043.4604   246     5297.5883     3043.4346   494404   42.55%
    706   645     3043.4638   241     5297.5883     3043.4346   503316   42.55%
    711   703     3043.4604   270     5297.5883     3043.4346   518890   42.55%
    713   705     3043.4604   232     5297.5883     3043.4346   522059   42.55%
    720   682     3043.4882   720     5297.5883     3043.4346   518795   42.55%
    726   714     3043.4750   845     5297.5883     3043.4346   537812   42.55%
    746   724     3043.4638   380     5297.5883     3043.4346   540390   42.55%
    753   663     3043.4665   455     5297.5883     3043.4346   502734   42.55%
Elapsed time = 687.36 sec. (303119.57 ticks, tree = 79.49 MB)
    782   724     3043.4833   619     5297.5883     3043.4346   548194   42.55%
    798   730     3043.4791   371     5297.5883     3043.4346   550705   42.55%
    811   761     3043.4791   191     5297.5883     3043.4346   565926   42.55%
    820   765     3043.4791   407     5297.5883     3043.4346   570125   42.55%
    829   817     3043.4654   134     5297.5883     3043.4346   597797   42.55%
    869   814     3043.4604   141     5297.5883     3043.4346   586569   42.55%
    880   830     3043.4791   422     5297.5883     3043.4346   609907   42.55%
    901   850     3043.4690   558     5297.5883     3043.4346   608719   42.55%
    920   737     3043.4638   209     5297.5883     3043.4346   549207   42.55%
    932   891     3043.4750   860     5297.5883     3043.4346   633345   42.55%
Elapsed time = 809.58 sec. (351236.20 ticks, tree = 114.49 MB)
    944   875     3043.4654   116     5297.5883     3043.4346   627505   42.55%
    949   878     3043.4696   499     5297.5883     3043.4346   630599   42.55%
    965   909     3043.4698   549     5297.5883     3043.4346   645428   42.55%
    982   927     3043.4791   263     5297.5883     3043.4346   658025   42.55%
    999   924     3043.4654   115     5297.5883     3043.4346   651248   42.55%
   1004   941     3043.4638   298     5297.5883     3043.4346   670138   42.55%
   1012   944     3043.4905   712     5297.5883     3043.4346   674270   42.55%
   1034   998     3043.4728   798     5297.5883     3043.4346   703724   42.55%
   1054   820     3043.4604   143     5297.5883     3043.4346   588304   42.55%
   1059  1004     3043.4825   593     5297.5883     3043.4346   724276   42.55%
Elapsed time = 927.03 sec. (399197.78 ticks, tree = 133.18 MB)
   1079  1009     3043.4825   570     5297.5883     3043.4346   727710   42.55%
   1088  1036     3043.4604   307     5297.5883     3043.4346   736680   42.55%
   1116  1045     3043.4604   342     5297.5883     3043.4346   740391   42.55%
   1136  1068     3043.4728   827     5297.5883     3043.4346   748526   42.55%
   1151  1098     3043.4853   747     5297.5883     3043.4346   770902   42.55%
   1170  1113     3043.4808   496     5297.5883     3043.4346   788005   42.55%
   1182  1090     3043.4612   396     5297.5883     3043.4346   763037   42.55%
   1191  1093     3043.4732   885     5297.5883     3043.4346   766319   42.55%
   1203  1150     3043.4638   463     5297.5883     3043.4346   804449   42.55%
*  1218+ 1201                         5294.2118     3043.4346            42.51%
   1222  1159     3043.4735   878     5294.2118     3043.4346   817327   42.51%
Elapsed time = 1037.52 sec. (443701.65 ticks, tree = 158.54 MB)
   1245  1166     3043.4628   817     5294.2118     3043.4346   820628   42.51%
*  1249+ 1223                         5282.3942     3043.4346            42.39%
   1250  1203     3043.5007   730     5282.3942     3043.4346   846736   42.39%
   1265  1235     3043.4347   732     5282.3942     3043.4346   869740   42.39%
   1276  1241     3043.4789   732     5282.3942     3043.4346   882542   42.39%
   1287  1243     3043.4347   685     5282.3942     3043.4346   875199   42.39%
   1303  1251     3043.4365   567     5282.3942     3043.4346   878093   42.39%
   1329  1295     3043.4432   156     5282.3942     3043.4346   909515   42.39%
   1340  1300     3043.4440   368     5282.3942     3043.4346   914179   42.39%
   1352  1310     3043.4436   347     5282.3942     3043.4346   917989   42.39%
   1364  1320     3043.4432   243     5282.3942     3043.4346   921354   42.39%
Elapsed time = 1123.48 sec. (487994.13 ticks, tree = 186.18 MB)
   1370  1313     3043.4901   718     5282.3942     3043.4346   932697   42.39%

Performing restart 1

Repeating presolve.
MIP Presolve modified 515508 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Represolve time = 0.84 sec. (652.78 ticks)
   1373     0     3043.4346   897     5282.3942     Cuts: 605  1013387   42.39%
   1373     0     3043.4346   848     5282.3942     Cuts: 509  1014693   42.39%
*  1373+    0                         5211.2990     3043.4346            41.60%
   1373     0     3043.4346  1387     5211.2990     Cuts: 805  1018627   41.60%
   1373     0     3043.4346   974     5211.2990     Cuts: 561  1020928   41.60%
   1373     0     3043.4346  1386     5211.2990     Cuts: 783  1026591   41.60%
   1373     0     3043.4346  1333     5211.2990     Cuts: 639  1034112   41.60%
   1373     0     3043.4346  1758     5211.2990    Cuts: 1291  1046841   41.60%
*  1373+    0                         4976.3226     3043.4346            38.84%
*  1373+    0                         4919.0502     3043.4346            38.13%
*  1373+    0                         4900.9978     3043.4346            37.90%
   1373     2     3043.4346  1762     4900.9978     3043.4346  1046841   37.90%
   1374     3     3043.4346  1232     4900.9978     3043.4346  1079764   37.90%
   1375     3     3043.4346  1530     4900.9978     3043.4346  1060381   37.90%
   1376     4     3043.4347  1493     4900.9978     3043.4346  1088015   37.90%
   1377     5     3043.4346  1452     4900.9978     3043.4346  1101829   37.90%
   1378     6     3043.4347  1536     4900.9978     3043.4346  1108292   37.90%
   1380     8     3043.4347  1494     4900.9978     3043.4346  1117022   37.90%
   1382     9     3043.4347  1464     4900.9978     3043.4346  1118139   37.90%
   1385    10     3043.4347  1428     4900.9978     3043.4346  1120112   37.90%
Elapsed time = 1816.36 sec. (931115.99 ticks, tree = 0.26 MB)
   1386    11     3043.4347  1423     4900.9978     3043.4346  1121141   37.90%
   1387     5     3043.4372  1294     4900.9978     3043.4346  1103883   37.90%
   1389    11     3043.4372  1253     4900.9978     3043.4346  1143419   37.90%
   1393    12     3043.4373  1066     4900.9978     3043.4346  1144967   37.90%
   1396    17     3043.4354  1404     4900.9978     3043.4346  1152882   37.90%
   1397    12     3043.4374  1260     4900.9978     3043.4346  1172169   37.90%
   1400    21     3043.4372  1182     4900.9978     3043.4346  1174728   37.90%
   1403    22     3043.4372  1120     4900.9978     3043.4346  1177114   37.90%
   1405    24     3043.4374  1245     4900.9978     3043.4346  1221550   37.90%
   1406    19     3043.4355  1477     4900.9978     3043.4346  1185051   37.90%
Elapsed time = 1993.45 sec. (995490.49 ticks, tree = 0.78 MB)
   1408    32     3043.4374  1218     4900.9978     3043.4346  1246031   37.90%
   1410    31     3043.4372  1134     4900.9978     3043.4346  1237945   37.90%
   1414    39     3043.4376  1101     4900.9978     3043.4346  1296573   37.90%
   1416    38     3043.4382  1225     4900.9978     3043.4346  1290341   37.90%
   1419    40     3043.4376  1144     4900.9978     3043.4346  1298634   37.90%
   1422    41     3043.4376  1053     4900.9978     3043.4346  1298779   37.90%
   1424    46     3043.4377  1041     4900.9978     3043.4346  1304455   37.90%
   1427    50     3043.4384  1139     4900.9978     3043.4346  1306510   37.90%
   1429    51     3043.4383  1212     4900.9978     3043.4346  1306779   37.90%
   1433    47     3043.4349  1205     4900.9978     3043.4346  1307371   37.90%
Elapsed time = 2131.08 sec. (1043096.57 ticks, tree = 2.23 MB)
   1435    48     3043.4381  1183     4900.9978     3043.4346  1310776   37.90%
   1437    49     3043.4383  1194     4900.9978     3043.4346  1311151   37.90%
   1441    50     3043.4383  1171     4900.9978     3043.4346  1311204   37.90%
   1443    63     3043.4383  1131     4900.9978     3043.4346  1330830   37.90%
   1446    69     3043.4380  1098     4900.9978     3043.4346  1337246   37.90%
   1447    54     3043.4391  1340     4900.9978     3043.4346  1319403   37.90%
   1448    65     3043.4388  1128     4900.9978     3043.4346  1334482   37.90%
   1450    73     3043.4391  1201     4900.9978     3043.4346  1352571   37.90%
   1452    74     3043.4391  1306     4900.9978     3043.4346  1352623   37.90%
   1453    77     3043.4388  1176     4900.9978     3043.4346  1360552   37.90%
Elapsed time = 2275.78 sec. (1092854.49 ticks, tree = 3.33 MB)
   1456    76     3043.4392  1094     4900.9978     3043.4346  1352988   37.90%
   1457    78     3043.4395  1148     4900.9978     3043.4346  1365405   37.90%
   1458    79     3043.4396  1193     4900.9978     3043.4346  1365737   37.90%
   1461    66     3043.4388  1057     4900.9978     3043.4346  1361515   37.90%
   1464    83     3043.4399  1169     4900.9978     3043.4346  1414332   37.90%
   1466    84     3043.4399  1114     4900.9978     3043.4346  1414556   37.90%
   1469    86     3043.4399  1075     4900.9978     3043.4346  1414714   37.90%
   1473    87     3043.4397  1140     4900.9978     3043.4346  1421475   37.90%
   1479    93     3043.4378  1249     4900.9978     3043.4346  1454886   37.90%
   1483    94     3043.4388  1080     4900.9978     3043.4346  1481093   37.90%
Elapsed time = 2437.31 sec. (1148153.89 ticks, tree = 4.68 MB)
   1485    95     3043.4389  1124     4900.9978     3043.4346  1495074   37.90%
   1487    96     3043.4391  1088     4900.9978     3043.4346  1518550   37.90%
   1489    95     3043.4412  1352     4900.9978     3043.4346  1466145   37.90%
   1491   113     3043.4413  1383     4900.9978     3043.4346  1627956   37.90%
   1493   112     3043.4396   996     4900.9978     3043.4346  1611387   37.90%
   1496   115     3043.4412  1278     4900.9978     3043.4346  1629750   37.90%
   1497   116     3043.4413  1202     4900.9978     3043.4346  1630612   37.90%
   1499   118     3043.4417  1385     4900.9978     3043.4346  1635646   37.90%
   1502   125     3043.4396   959     4900.9978     3043.4346  1650093   37.90%
   1503   126     3043.4396  1077     4900.9978     3043.4346  1652395   37.90%
Elapsed time = 2647.45 sec. (1214591.39 ticks, tree = 7.01 MB)
   1511   133     3043.4399  1040     4900.9978     3043.4346  1653986   37.90%
   1513   128     3043.4405  1183     4900.9978     3043.4346  1654107   37.90%
   1536   136     3043.4399  1099     4900.9978     3043.4346  1658900   37.90%
   1540   122     3043.4422  1320     4900.9978     3043.4346  1646129   37.90%
   1545   137     3043.4420  1211     4900.9978     3043.4346  1664581   37.90%
   1551   132     3043.4461  1305     4900.9978     3043.4346  1664080   37.90%
   1558   136     3043.4396   970     4900.9978     3043.4346  1665691   37.90%
   1565   158     3043.4409   921     4900.9978     3043.4346  1665468   37.90%
   1584   166     3043.4409   807     4900.9978     3043.4346  1667321   37.90%
   1594   140     3043.4424  1266     4900.9978     3043.4346  1674878   37.90%
Elapsed time = 2790.09 sec. (1264476.74 ticks, tree = 8.39 MB)
   1601   142     3043.4438  1309     4900.9978     3043.4346  1675023   37.90%
   1607   144     3043.4438  1283     4900.9978     3043.4346  1675687   37.90%
   1611   199     3043.4409   829     4900.9978     3043.4346  1710530   37.90%
   1618   157     3043.4396   695     4900.9978     3043.4346  1696466   37.90%
   1624   160     3043.4396   679     4900.9978     3043.4346  1698136   37.90%
   1635   164     3043.4396  1037     4900.9978     3043.4346  1702170   37.90%
   1643   217     3043.4409   759     4900.9978     3043.4346  1720683   37.90%
   1652   220     3043.4409   853     4900.9978     3043.4346  1723146   37.90%
   1672   226     3043.4544  1459     4900.9978     3043.4346  1749730   37.90%
   1679   228     3043.4438  1332     4900.9978     3043.4346  1750616   37.90%
Elapsed time = 2944.48 sec. (1315037.35 ticks, tree = 17.17 MB)
   1682   231     3043.4438  1263     4900.9978     3043.4346  1751355   37.90%
   1684   233     3043.4438  1306     4900.9978     3043.4346  1752346   37.90%
   1687   280     3043.4409   896     4900.9978     3043.4346  1790516   37.90%
   1692   282     3043.4409   885     4900.9978     3043.4346  1792559   37.90%
   1699   287     3043.4409   541     4900.9978     3043.4346  1794337   37.90%
   1713   297     3043.4410   573     4900.9978     3043.4346  1796061   37.90%
   1718   283     3043.4439  1270     4900.9978     3043.4346  1803343   37.90%
   1719   284     3043.4441  1290     4900.9978     3043.4346  1805442   37.90%
   1722   287     3043.4442  1295     4900.9978     3043.4346  1810122   37.90%
   1723   267     3043.4396   689     4900.9978     3043.4346  1779589   37.90%
Elapsed time = 3194.05 sec. (1401002.57 ticks, tree = 20.99 MB)
   1729   309     3043.4396   835     4900.9978     3043.4346  1821720   37.90%
*  1733+  311                         4897.6226     3043.4346            37.86%
   1736   316     3043.4566  1322     4897.6226     3043.4346  1833199   37.86%
   1748   324     3043.4396   661     4897.6226     3043.4346  1835329   37.86%
   1752   348     3043.4432   940     4897.6226     3043.4346  1842870   37.86%
   1754   328     3043.4396   855     4897.6226     3043.4346  1840810   37.86%
   1756   350     3043.4413   998     4897.6226     3043.4346  1848510   37.86%
   1758   352     3043.4413  1066     4897.6226     3043.4346  1853020   37.86%
   1768   330     3043.4636  1138     4897.6226     3043.4346  1855438   37.86%
   1771   362     3043.4529  1198     4897.6226     3043.4346  1863109   37.86%
   1776   364     3043.4415  1020     4897.6226     3043.4346  1877172   37.86%
Elapsed time = 3431.09 sec. (1479708.85 ticks, tree = 31.05 MB)
   1781   367     3043.4416  1051     4897.6226     3043.4346  1868506   37.86%
   1791   369     3043.4406   967     4897.6226     3043.4346  1882620   37.86%
   1793   371     3043.4396   917     4897.6226     3043.4346  1885279   37.86%
   1817   413     3043.4413   287     4897.6226     3043.4346  1909902   37.86%
   1835   376     3043.4396   838     4897.6226     3043.4346  1891051   37.86%
   1840   224     3043.4400   834     4897.6226     3043.4346  1725637   37.86%
   1844   416     3043.4442   981     4897.6226     3043.4346  1926993   37.86%
   1853   412     3043.4554   949     4897.6226     3043.4346  1920566   37.86%
   1861   418     3043.4407  1017     4897.6226     3043.4346  1923467   37.86%
   1864   441     3043.4396   592     4897.6226     3043.4346  1963150   37.86%
Elapsed time = 3599.25 sec. (1538324.15 ticks, tree = 39.04 MB)
   1883   420     3043.4442  1081     4897.6226     3043.4346  1938735   37.86%
   1887   422     3043.4442  1133     4897.6226     3043.4346  1940526   37.86%
   1894   448     3043.4396   788     4897.6226     3043.4346  1971405   37.86%
   1906   451     3043.4396   696     4897.6226     3043.4346  1973571   37.86%
   1916   443     3043.4423   909     4897.6226     3043.4346  1937159   37.86%
*  1917+  442                         4895.9350     3043.4346            37.84%
*  1917+  442                         4828.2247     3043.4346            36.97%
   1922   483     3043.4420   823     4828.2247     3043.4346  1984646   36.97%
   1931   429     3043.4443  1307     4828.2247     3043.4346  1954443   36.97%
   1936   495     3043.4414   751     4828.2247     3043.4346  1988710   36.97%
   1963   431     3043.4451  1184     4828.2247     3043.4346  1959706   36.97%
   1988   524     3043.4417   893     4828.2247     3043.4346  1993529   36.97%
Elapsed time = 3741.34 sec. (1587926.76 ticks, tree = 49.18 MB)
   2002   536     3043.4434   912     4828.2247     3043.4346  1996749   36.97%
   2004   536     3043.4414  1146     4828.2247     3043.4346  1994327   36.97%
   2006   538     3043.4417  1153     4828.2247     3043.4346  1997605   36.97%
   2008   540     3043.4422  1206     4828.2247     3043.4346  1998574   36.97%
   2016   458     3043.4396   688     4828.2247     3043.4346  1981233   36.97%
   2020   548     3043.4452  1005     4828.2247     3043.4346  2005194   36.97%
   2034   550     3043.4425   896     4828.2247     3043.4346  2010129   36.97%
   2038   554     3043.4425   885     4828.2247     3043.4346  2013784   36.97%
   2044   573     3043.4396   506     4828.2247     3043.4346  2056342   36.97%
   2052   579     3043.4568   930     4828.2247     3043.4346  2060147   36.97%
Elapsed time = 3968.05 sec. (1657764.85 ticks, tree = 55.20 MB)
   2066   591     3043.4396   635     4828.2247     3043.4346  2062750   36.97%
   2070   600     3043.4425   833     4828.2247     3043.4346  2082878   36.97%
   2072   535     3043.4578  1374     4828.2247     3043.4346  2027072   36.97%
   2074   538     3043.4417   745     4828.2247     3043.4346  1996780   36.97%
   2077   604     3043.4425   886     4828.2247     3043.4346  2094468   36.97%
   2081   597     3043.4443   926     4828.2247     3043.4346  2089834   36.97%
*  2090+  602                         4826.5371     3043.4346            36.94%
   2093   610     3043.4425   714     4826.5371     3043.4346  2098536   36.94%
   2111   657     3043.4436   928     4826.5371     3043.4346  2108031   36.94%
   2115   659     3043.4434   891     4826.5371     3043.4346  2110638   36.94%
   2140   683     3043.4443  1055     4826.5371     3043.4346  2111847   36.94%
Elapsed time = 4111.41 sec. (1711410.78 ticks, tree = 67.17 MB)
   2155   687     3043.4443  1011     4826.5371     3043.4346  2113447   36.94%
   2168   711     3043.4396   335     4826.5371     3043.4346  2134948   36.94%
   2178   698     3043.4443  1034     4826.5371     3043.4346  2116789   36.94%
   2188   691     3043.4587   725     4826.5371     3043.4346  2121160   36.94%
   2197   706     3043.4471  1067     4826.5371     3043.4346  2122894   36.94%
   2215   720     3043.4410   619     4826.5371     3043.4346  2147430   36.94%
   2232   722     3043.4417   734     4826.5371     3043.4346  2151629   36.94%
   2234   735     3043.4523   998     4826.5371     3043.4346  2184654   36.94%
   2246   737     3043.4425   861     4826.5371     3043.4346  2186598   36.94%
   2263   813     3043.4453   676     4826.5371     3043.4346  2191879   36.94%
Elapsed time = 4250.19 sec. (1761665.20 ticks, tree = 84.67 MB)
   2273   745     3043.4444   852     4826.5371     3043.4346  2191153   36.94%
   2277   819     3043.4581   849     4826.5371     3043.4346  2198507   36.94%
   2283   832     3043.4569   947     4826.5371     3043.4346  2236067   36.94%
   2287   836     3043.4410   697     4826.5371     3043.4346  2238625   36.94%
   2289   747     3043.4625  1066     4826.5371     3043.4346  2207965   36.94%
   2291   838     3043.4569   904     4826.5371     3043.4346  2247981   36.94%
   2293   840     3043.4410   710     4826.5371     3043.4346  2251242   36.94%
   2295   694     3043.4587   763     4826.5371     3043.4346  2121736   36.94%
   2301   896     3043.4780   906     4826.5371     3043.4346  2308896   36.94%
   2306   909     3043.4416   909     4826.5371     3043.4346  2344215   36.94%
Elapsed time = 4446.92 sec. (1839881.36 ticks, tree = 96.53 MB)
   2311   825     3043.4611   702     4826.5371     3043.4346  2200137   36.94%
   2345   911     3043.4441   950     4826.5371     3043.4346  2349741   36.94%
   2347   898     3043.5155   927     4826.5371     3043.4346  2323413   36.94%
   2356   919     3043.4396   487     4826.5371     3043.4346  2356469   36.94%
   2363   903     3043.5155   818     4826.5371     3043.4346  2326515   36.94%
   2388   933     3043.4396   585     4826.5371     3043.4346  2361817   36.94%
   2403   982     3043.4624   682     4826.5371     3043.4346  2371501   36.94%
   2414   908     3043.5160   919     4826.5371     3043.4346  2336834   36.94%
   2420   937     3043.4619  1063     4826.5371     3043.4346  2372027   36.94%
   2436   937     3043.4474  1116     4826.5371     3043.4346  2410035   36.94%
Elapsed time = 4584.31 sec. (1888803.32 ticks, tree = 101.12 MB)
   2471   955     3043.5168   448     4826.5371     3043.4346  2444844   36.94%
   2474   942     3043.4474  1193     4826.5371     3043.4346  2413745   36.94%
*  2481+ 1046                         4541.8986     3043.4346            32.99%
   2483   944     3043.4474  1157     4541.8986     3043.4346  2415744   32.99%
*  2487+  943                         4510.0798     3043.4346            32.52%
   2489   960     3043.5172   716     4510.0798     3043.4346  2453724   32.52%
   2495  1107     3043.4474  1135     4510.0798     3043.4346  2534303   32.52%
   2507   963     3043.5212   664     4510.0798     3043.4346  2459413   32.52%
   2510  1113     3043.4618  1167     4510.0798     3043.4346  2538469   32.52%
   2520  1098     3043.4544   831     4510.0798     3043.4346  2529758   32.52%
   2528  1100     3043.4544   814     4510.0798     3043.4346  2532176   32.52%
   2532  1122     3043.4474  1024     4510.0798     3043.4346  2545090   32.52%
Elapsed time = 4726.20 sec. (1937397.70 ticks, tree = 130.09 MB)
   2542  1125     3043.4476  1000     4510.0798     3043.4346  2546969   32.52%
   2550  1130     3043.4476  1048     4510.0798     3043.4346  2548542   32.52%
*  2552+ 1106                         4455.0547     3043.4346            31.69%
*  2552+ 1106                         4453.3660     3043.4346            31.66%
   2554  1144     3043.4554   754     4453.3660     3043.4346  2590728   31.66%
   2565  1134     3043.4918  1107     4453.3660     3043.4346  2555069   31.66%
   2567  1150     3043.4554   739     4453.3660     3043.4346  2595945   31.66%
   2575  1185     3043.4995  1146     4453.3660     3043.4346  2654592   31.66%
   2581  1154     3043.4553   886     4453.3660     3043.4346  2601124   31.66%
   2587  1195     3043.4997   842     4453.3660     3043.4346  2656541   31.66%
   2595  1201     3043.4997   964     4453.3660     3043.4346  2658713   31.66%
   2606  1160     3043.5345   944     4453.3660     3043.4346  2645501   31.66%
Elapsed time = 4882.77 sec. (1989195.97 ticks, tree = 136.42 MB)
   2611  1155     3043.4887  1087     4453.3660     3043.4346  2614268   31.66%
   2619  1198     3043.5187   805     4453.3660     3043.4346  2682051   31.66%
   2628  1204     3043.5188   707     4453.3660     3043.4346  2683246   31.66%
   2644  1211     3043.5192   634     4453.3660     3043.4346  2684587   31.66%
   2653  1215     3043.5195   629     4453.3660     3043.4346  2686512   31.66%
   2664  1220     3043.5197   703     4453.3660     3043.4346  2688344   31.66%
   2669  1225     3043.5203   606     4453.3660     3043.4346  2690085   31.66%
   2684  1267     3043.5054   464     4453.3660     3043.4346  2781061   31.66%
   2692  1226     3043.4628   569     4453.3660     3043.4346  2759983   31.66%
   2703  1234     3043.4641   371     4453.3660     3043.4346  2761738   31.66%
Elapsed time = 5013.64 sec. (2030360.51 ticks, tree = 147.58 MB)
   2707  1237     3043.4694   802     4453.3660     3043.4346  2763847   31.66%
   2715  1240     3043.4641   366     4453.3660     3043.4346  2765865   31.66%
   2722  1244     3043.4641   360     4453.3660     3043.4346  2768557   31.66%
   2735  1255     3043.4651   278     4453.3660     3043.4346  2769931   31.66%
   2749  1301     3043.5203   583     4453.3660     3043.4346  2807566   31.66%
   2761  1281     3043.5204   566     4453.3660     3043.4346  2801490   31.66%
   2779  1275     3043.4676   380     4453.3660     3043.4346  2777040   31.66%
   2797  1290     3043.4676   378     4453.3660     3043.4346  2777326   31.66%
   2811  1308     3043.5214   446     4453.3660     3043.4346  2818586   31.66%
*  2813+ 1308                         4275.1205     3043.4346            28.81%
   2820  1324     3043.4838  1019     4275.1205     3043.4346  2861094   28.81%
Elapsed time = 5152.91 sec. (2082774.09 ticks, tree = 161.27 MB)
   2822  1338     3043.5541   936     4275.1205     3043.4346  2870654   28.81%
   2830  1346     3043.5548   783     4275.1205     3043.4346  2871549   28.81%
   2837  1351     3043.5572   618     4275.1205     3043.4346  2873512   28.81%
   2845  1359     3043.5579   605     4275.1205     3043.4346  2874773   28.81%
   2856  1367     3043.5585   611     4275.1205     3043.4346  2876258   28.81%
   2864  1328     3043.4681   909     4275.1205     3043.4346  2876876   28.81%
   2867  1417     3043.4709   726     4275.1205     3043.4346  2893537   28.81%
   2878  1445     3043.5056   330     4275.1205     3043.4346  2907624   28.81%
   2886  1379     3043.5622   717     4275.1205     3043.4346  2887092   28.81%
   2902  1509     3043.5588   563     4275.1205     3043.4346  2972364   28.81%
Elapsed time = 5260.47 sec. (2125737.71 ticks, tree = 194.06 MB)
   2925  1521     3043.5591   468     4275.1205     3043.4346  2972935   28.81%
   2937  1427     3043.4722   985     4275.1205     3043.4346  2907422   28.81%
   2948  1534     3043.5597   397     4275.1205     3043.4346  2976673   28.81%
   2962  1466     3043.5077   597     4275.1205     3043.4346  2920061   28.81%
   2979  1475     3043.5083   536     4275.1205     3043.4346  2921208   28.81%
   2989  1549     3043.5598   335     4275.1205     3043.4346  2983196   28.81%
   2994  1437     3043.4813   961     4275.1205     3043.4346  2922150   28.81%
   3002  1484     3043.5606   853     4275.1205     3043.4346  2928904   28.81%
   3009  1463     3043.4560   613     4275.1205     3043.4346  2974450   28.81%
   3017  1575     3043.5084   555     4275.1205     3043.4346  3038477   28.81%
Elapsed time = 5386.89 sec. (2171541.67 ticks, tree = 207.01 MB)
   3023  1537     3043.4798   937     4275.1205     3043.4346  3024050   28.81%
   3035  1603     3043.4560   379     4275.1205     3043.4346  3077177   28.81%
   3046  1614     3043.4574   555     4275.1205     3043.4346  3081702   28.81%
   3056  1646     3043.5598   332     4275.1205     3043.4346  3087189   28.81%
   3090  1544     3043.4875   813     4275.1205     3043.4346  3036647   28.81%
   3101  1551     3043.4881   677     4275.1205     3043.4346  3037331   28.81%
   3108  1622     3043.4637   936     4275.1205     3043.4346  3093064   28.81%
   3120  1628     3043.4582   619     4275.1205     3043.4346  3096195   28.81%
   3130  1678     3044.1529   746     4275.1205     3043.4346  3101143   28.81%
   3143  1693     3043.4918   558     4275.1205     3043.4346  3120852   28.81%
Elapsed time = 5534.30 sec. (2219356.93 ticks, tree = 223.97 MB)
   3147  1695     3043.5047   836     4275.1205     3043.4346  3124052   28.81%
   3153  1701     3043.5117   590     4275.1205     3043.4346  3126249   28.81%
   3163  1688     3043.5738   725     4275.1205     3043.4346  3112004   28.81%
*  3170+ 1714                         3998.1085     3043.4346            23.88%
*  3170+ 1714                         3925.8087     3043.4346            22.48%
*  3170+ 1714                         3915.7361     3043.4346            22.28%
*  3170+ 1714                         3911.1868     3043.4346            22.19%
*  3170+ 1714                         3903.7655     3043.4346            22.04%
   3170  1716     3043.5108   750     3903.7655     3043.4346  3130803   22.04%
   3178  1689     3043.5740   696     3903.7655     3043.4346  3121766   22.04%
   3194  1778     3043.5741   651     3903.7655     3043.4346  3219195   22.04%
   3208  1734     3043.4924   674     3903.7655     3043.4346  3136695   22.04%
   3226  1795     3043.5746   668     3903.7655     3043.4346  3221917   22.04%
   3250  1808     3043.4560   249     3903.7655     3043.4346  3238705   22.04%
   3285  1728     3043.5820  1091     3903.7655     3043.4346  3200328   22.04%
Elapsed time = 5652.94 sec. (2268127.83 ticks, tree = 229.87 MB)
   3302  1839     3043.4560   255     3903.7655     3043.4346  3242972   22.04%
   3318  1751     3043.4945   716     3903.7655     3043.4346  3145621   22.04%
   3326  1754     3043.4945   664     3903.7655     3043.4346  3148905   22.04%
   3340  1857     3043.4584   419     3903.7655     3043.4346  3250610   22.04%
   3350  1765     3043.5017   834     3903.7655     3043.4346  3154547   22.04%
   3365  1771     3043.4950   610     3903.7655     3043.4346  3156704   22.04%
   3369  1773     3043.5005   691     3903.7655     3043.4346  3159483   22.04%
   3381  1908     3043.5748   513     3903.7655     3043.4346  3299986   22.04%
   3394  1874     3043.4743   745     3903.7655     3043.4346  3264490   22.04%
*  3396+ 1913                         3879.5179     3043.4346            21.55%
   3400  1917     3044.1394   601     3879.5179     3043.4346  3303692   21.55%
Elapsed time = 5771.36 sec. (2311750.60 ticks, tree = 264.23 MB)
   3410  1732     3043.6782  1070     3879.5179     3043.4346  3232436   21.55%
   3427  1932     3043.5763   381     3879.5179     3043.4346  3307529   21.55%
   3437  1882     3043.4951   567     3879.5179     3043.4346  3282677   21.55%
   3446  1925     3043.5690  1039     3879.5179     3043.4346  3359550   21.55%
   3453  2018     3043.4595   466     3879.5179     3043.4346  3392062   21.55%
*  3458+ 2021                         3854.6920     3043.4346            21.05%
*  3458+ 2021                         3853.0044     3043.4346            21.01%
   3463  1927     3043.5952   873     3853.0044     3043.4346  3365360   21.01%
   3467  2030     3043.4962   818     3853.0044     3043.4346  3398320   21.01%
   3474  2037     3043.4624   386     3853.0044     3043.4346  3400254   21.01%
   3488  2056     3043.5030   568     3853.0044     3043.4346  3409395   21.01%
   3490  2058     3043.5280   857     3853.0044     3043.4346  3412185   21.01%
Elapsed time = 5905.55 sec. (2360067.20 ticks, tree = 290.16 MB)
   3506  2049     3043.4624   388     3853.0044     3043.4346  3408830   21.01%
   3516  2068     3043.5027   578     3853.0044     3043.4346  3416347   21.01%
   3536  2079     3043.5034   531     3853.0044     3043.4346  3417115   21.01%
   3559  2100     3043.5036   455     3853.0044     3043.4346  3418069   21.01%
   3578  2117     3043.5367   661     3853.0044     3043.4346  3420329   21.01%
   3592  2125     3043.5413   452     3853.0044     3043.4346  3422386   21.01%
   3613  2135     3043.5442   516     3853.0044     3043.4346  3424381   21.01%
   3623  2073     3043.6527  1046     3853.0044     3043.4346  3430070   21.01%
   3630  2131     3043.4702   734     3853.0044     3043.4346  3499124   21.01%
   3639  2080     3043.5764   312     3853.0044     3043.4346  3435977   21.01%
Elapsed time = 6031.94 sec. (2401950.56 ticks, tree = 295.31 MB)
   3654  2091     3043.5769   482     3853.0044     3043.4346  3437279   21.01%
   3661  2094     3043.6016   752     3853.0044     3043.4346  3441283   21.01%
   3668  2101     3043.5800   505     3853.0044     3043.4346  3443279   21.01%
   3696  2082     3043.6783  1089     3853.0044     3043.4346  3484559   21.01%
   3719  2234     3043.5440   444     3853.0044     3043.4346  3523349   21.01%
   3747  2087     3043.6792   880     3853.0044     3043.4346  3488269   21.01%
   3755  2307     3043.5855   584     3853.0044     3043.4346  3556495   21.01%
   3763  2093     3043.6792   887     3853.0044     3043.4346  3491898   21.01%
   3779  2266     3043.5418   363     3853.0044     3043.4346  3534605   21.01%
   3791  2323     3043.6795   866     3853.0044     3043.4346  3585397   21.01%
Elapsed time = 6152.63 sec. (2446175.67 ticks, tree = 344.14 MB)
   3803  2326     3043.6795   883     3853.0044     3043.4346  3587318   21.01%
   3820  2283     3043.5420   440     3853.0044     3043.4346  3543440   21.01%
*  3821+ 2328                         3807.2831     3043.4346            20.06%
*  3821+ 2328                         3792.0507     3043.4346            19.74%
*  3821+ 2328                         3790.3431     3043.4346            19.71%
   3830  2363     3044.0450   706     3790.3431     3043.4346  3629746   19.71%
   3835  2286     3043.6805   905     3790.3431     3043.4346  3553129   19.71%
   3843  2294     3043.6805   895     3790.3431     3043.4346  3553219   19.71%
   3854  2367     3043.7345   932     3790.3431     3043.4346  3639087   19.71%
   3864  2438     3043.6844   846     3790.3431     3043.4346  3665362   19.71%
   3876  2449     3043.6847   875     3790.3431     3043.4346  3666542   19.71%
   3912  2473     3043.4645   299     3790.3431     3043.4346  3679579   19.71%
   3935  2374     3043.7346   888     3790.3431     3043.4346  3648720   19.71%
Elapsed time = 6273.53 sec. (2493309.21 ticks, tree = 354.85 MB)
   3941  2457     3043.5916   543     3790.3431     3043.4346  3681976   19.71%
   3951  2497     3043.4779   817     3790.3431     3043.4346  3686973   19.71%
   3959  2500     3043.4831   654     3790.3431     3043.4346  3689425   19.71%
   3969  2507     3043.4835   600     3790.3431     3043.4346  3690936   19.71%
   3981  2516     3043.4840   685     3790.3431     3043.4346  3691719   19.71%
   3995  2525     3043.4845   651     3790.3431     3043.4346  3692860   19.71%
   4006  2531     3043.4844   650     3790.3431     3043.4346  3694434   19.71%
   4017  2485     3043.7346   776     3790.3431     3043.4346  3717956   19.71%
   4024  2540     3043.4853   835     3790.3431     3043.4346  3698703   19.71%
   4034  2572     3043.4956   587     3790.3431     3043.4346  3739219   19.71%
Elapsed time = 6360.50 sec. (2534389.17 ticks, tree = 396.63 MB)
   4062  2493     3043.7350   871     3790.3431     3043.4346  3724350   19.71%
   4070  2499     3043.7351   834     3790.3431     3043.4346  3726035   19.71%
   4083  2515     3045.2673   452     3790.3431     3043.4346  3712812   19.71%
   4116  2667     3043.6847   767     3790.3431     3043.4346  3778723   19.71%
   4137  2677     3043.6858   794     3790.3431     3043.4346  3780044   19.71%
   4145  2685     3043.6859   785     3790.3431     3043.4346  3780526   19.71%
   4158  2696     3043.6860   720     3790.3431     3043.4346  3780807   19.71%
   4169  2706     3043.6865   775     3790.3431     3043.4346  3782079   19.71%
   4177  2713     3043.6868   795     3790.3431     3043.4346  3782876   19.71%
   4189  2577     3043.4956   561     3790.3431     3043.4346  3739566   19.71%
Elapsed time = 6458.45 sec. (2576149.47 ticks, tree = 397.50 MB)
   4207  2729     3043.6882   790     3790.3431     3043.4346  3785776   19.71%
   4218  2707     3044.0374   803     3790.3431     3043.4346  3820111   19.71%
*  4226+ 2668                         3781.9034     3043.4346            19.53%
   4237  2760     3043.4975   529     3781.9034     3043.4346  3837357   19.53%
   4262  2742     3045.4191   805     3781.9034     3043.4346  3832628   19.53%
   4268  2714     3044.0374   627     3781.9034     3043.4346  3827115   19.53%
   4277  2719     3044.0374   458     3781.9034     3043.4346  3829580   19.53%
   4285  2755     3045.4191   695     3781.9034     3043.4346  3838402   19.53%
   4293  2758     3045.4191   686     3781.9034     3043.4346  3840324   19.53%
   4300  2761     3045.4191   665     3781.9034     3043.4346  3842420   19.53%
   4308  2730     3044.0374   326     3781.9034     3043.4346  3839443   19.53%
Elapsed time = 6569.30 sec. (2618585.63 ticks, tree = 432.25 MB)
   4316  2732     3044.0374   490     3781.9034     3043.4346  3843089   19.53%
   4320  2783     3043.5138   725     3781.9034     3043.4346  3863680   19.53%
   4326  2745     3043.6910   752     3781.9034     3043.4346  3790758   19.53%
   4334  2788     3043.4980   564     3781.9034     3043.4346  3868064   19.53%
   4360  2772     3045.4191   630     3781.9034     3043.4346  3857615   19.53%
   4369  2909     3045.4191   626     3781.9034     3043.4346  3909904   19.53%
*  4375+ 2887                         3693.3745     3043.4346            17.60%
*  4375+ 2887                         3686.6201     3043.4346            17.45%
   4376  2796     3043.5138   862     3686.6201     3043.4346  3875792   17.45%
Starting limited solution polishing.
   4385  2950     3043.5138   856     3686.6201     3043.4346  3950390   17.45%
   4396  2952     3043.5138   727     3686.6201     3043.4346  3952726   17.45%
   4409  2988     3043.6994   694     3686.6201     3043.4346  3957497   17.45%
Elapsed time = 6678.31 sec. (2660539.49 ticks, tree = 490.42 MB)
   4419  2924     3045.4191   778     3686.6201     3043.4346  3920909   17.45%
   4427  2928     3045.4191   720     3686.6201     3043.4346  3922485   17.45%
   4429  2960     3043.5138   646     3686.6201     3043.4346  3962951   17.45%
   4439  3001     3043.6973   849     3686.6201     3043.4346  3969444   17.45%
   4449  2964     3043.5138   617     3686.6201     3043.4346  3968844   17.45%
   4460  2939     3045.4191   594     3686.6201     3043.4346  3929737   17.45%
   4470  3011     3046.2112   741     3686.6201     3043.4346  3979040   17.45%
   4480  2970     3043.5138   651     3686.6201     3043.4346  3976276   17.45%
   4491  2947     3045.4191   700     3686.6201     3043.4346  3936203   17.45%
   4503  3024     3046.2065   664     3686.6201     3043.4346  3986158   17.45%
Elapsed time = 6778.80 sec. (2702216.66 ticks, tree = 499.07 MB)
   4516  3082     3046.2077   642     3686.6201     3043.4346  4028047   17.45%
   4531  3088     3046.2077   542     3686.6201     3043.4346  4030268   17.45%
   4542  3091     3046.2083   456     3686.6201     3043.4346  4032867   17.45%
   4558  3035     3045.4191   184     3686.6201     3043.4346  4002199   17.45%
   4572  3104     3046.2170   591     3686.6201     3043.4346  4036262   17.45%
   4586  3112     3046.2173   603     3686.6201     3043.4346  4037706   17.45%
*  4595+ 3039                         3684.9325     3043.4346            17.41%
   4596  3118     3046.2178   457     3684.9325     3043.4346  4039719   17.41%
   4606  3019     3044.0374   412     3684.9325     3043.4346  3990270   17.41%
   4612  3022     3044.0374   327     3684.9325     3043.4346  3993238   17.41%
*  4614+ 3118                         3632.9350     3043.4346            16.23%
*  4616+ 3118                         3627.8714     3043.4346            16.11%
   4618  3120     3046.2178   481     3627.8714     3043.4346  4039909   16.11%
Elapsed time = 6890.33 sec. (2743950.35 ticks, tree = 521.15 MB)
   4635  3174     3044.0374   375     3627.8714     3043.4346  4112374   16.11%
   4647  3177     3044.0374   340     3627.8714     3043.4346  4114845   16.11%
   4655  3180     3044.0374   407     3627.8714     3043.4346  4117036   16.11%
   4668  3144     3045.4191   485     3627.8714     3043.4346  4097712   16.11%
   4681  3239     3046.2466   685     3627.8714     3043.4346  4132588   16.11%
   4691  3244     3046.2466   677     3627.8714     3043.4346  4134567   16.11%
   4699  3193     3044.0374   297     3627.8714     3043.4346  4125935   16.11%
   4710  3153     3045.4191   412     3627.8714     3043.4346  4108402   16.11%
   4723  3252     3046.2468   692     3627.8714     3043.4346  4143112   16.11%
   4733  3259     3046.2474   638     3627.8714     3043.4346  4144577   16.11%
Elapsed time = 7005.66 sec. (2784959.79 ticks, tree = 553.14 MB)
   4739  3264     3046.2474   672     3627.8714     3043.4346  4146220   16.11%
   4742  3265     3046.2539   742     3627.8714     3043.4346  4149138   16.11%
   4747  3268     3046.2539   432     3627.8714     3043.4346  4150700   16.11%
   4754  3270     3046.2540   561     3627.8714     3043.4346  4153562   16.11%
   4759  3272     3045.4191   329     3627.8714     3043.4346  4209089   16.11%
   4764  3323     3046.2544   654     3627.8714     3043.4346  4234830   16.11%
   4775  3332     3046.2544   633     3627.8714     3043.4346  4235011   16.11%
   4786  3279     3045.4191   295     3627.8714     3043.4346  4216892   16.11%
   4793  3345     3046.2546   593     3627.8714     3043.4346  4238825   16.11%
   4797  3283     3045.4191   611     3627.8714     3043.4346  4222886   16.11%
Elapsed time = 7132.55 sec. (2829378.59 ticks, tree = 558.27 MB)
   4804  3286     3045.4191   287     3627.8714     3043.4346  4225700   16.11%
   4812  3360     3044.0463   530     3627.8714     3043.4346  4254124   16.11%
   4817  3354     3046.2640   722     3627.8714     3043.4346  4250129   16.11%
   4825  3364     3044.0463   652     3627.8714     3043.4346  4259726   16.11%
   4830  3392     3045.4191   644     3627.8714     3043.4346  4290191   16.11%
*  4832+ 3357                         3609.8176     3043.4346            15.69%
*  4832+ 3357                         3608.1292     3043.4346            15.65%
*  4832+ 3357                         3606.4408     3043.4346            15.61%
   4835  3430     3046.2644   742     3606.4408     3043.4346  4312929   15.61%
   4841  3396     3045.4191   599     3606.4408     3043.4346  4295857   15.61%

Flow cuts applied:  620
Mixed integer rounding cuts applied:  85
Zero-half cuts applied:  2

Root node processing (before b&c):
  Real time             =   90.33 sec. (66837.87 ticks)
Parallel b&c, 4 threads:
  Real time             = 7109.95 sec. (2799383.68 ticks)
  Sync time (average)   =  240.78 sec.
  Wait time (average)   =    0.04 sec.
                          ------------
Total (root+branch&cut) = 7200.28 sec. (2866221.55 ticks)
Parallel mode: deterministic, using up to 4 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 3 threads...
LP Presolve eliminated 10797 rows and 73937 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 3606.440756
4345246 MIP simplex iterations
4843 branch-and-bound nodes
absmipgap = 563.006, relmipgap = 0.156111
COSTOS = 3606.44

NVS [*] :=
1  0.933921
2  0.947137
3  0.997046
4  0.998525
;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

R [1,1,1,*,*]
:   12    :=
1    2
5    6

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

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

 [1,1,6,*,*]
:   12    :=
17   1
28   3
35   4

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

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

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

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

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

 [1,3,7,*,*]
:    2    :=
13   1
31   1

 [1,4,1,*,*]
 [1,4,2,*,*]
 [1,4,3,*,*]
 [1,4,4,*,*]
 [1,4,5,*,*]
 [1,4,6,*,*]
 [1,4,7,*,*]
 [1,6,1,*,*]
:   12    :=
28   2
35   2

 [1,6,2,*,*]
:   12    :=
5    1
35   2
36   1

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

 [1,6,6,*,*]
:   12    :=
31   1
35   2
36   1

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

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

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

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

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

 [1,7,7,*,*]
:    2    :=
13   1
35   2

 [1,8,1,*,*]
 [1,8,2,*,*]
 [1,8,3,*,*]
 [1,8,4,*,*]
 [1,8,5,*,*]
 [1,8,6,*,*]
 [1,8,7,*,*]
 [1,10,1,*,*]
 [1,10,2,*,*]
 [1,10,3,*,*]
 [1,10,4,*,*]
 [1,10,5,*,*]
 [1,10,6,*,*]
 [1,10,7,*,*]
 [1,11,1,*,*]
:   21    :=
5    5
17   1

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

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

 [1,11,4,*,*]
:   21    :=
1    4
33   2

 [1,11,5,*,*]
:   21    :=
1    2
35   4

 [1,11,6,*,*]
 [1,11,7,*,*]
 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
 [1,12,7,*,*]
 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
:    1    :=
1    1

 [1,14,4,*,*]
:    1    :=
17   1

 [1,14,5,*,*]
:    1    :=
35   1

 [1,14,6,*,*]
:    1    :=
35   1

 [1,14,7,*,*]
:    1    :=
35   1

 [1,15,1,*,*]
 [1,15,2,*,*]
 [1,15,3,*,*]
 [1,15,4,*,*]
 [1,15,5,*,*]
 [1,15,6,*,*]
 [1,15,7,*,*]
 [1,16,1,*,*]
:   14    :=
13   2
28   3

 [1,16,2,*,*]
:   14    :=
1    1
21   1
35   3

 [1,16,3,*,*]
 [1,16,4,*,*]
:   14    :=
1    1
21   1
36   3

 [1,16,5,*,*]
:   14    :=
1    1
28   3
35   1

 [1,16,6,*,*]
 [1,16,7,*,*]
:   14    :=
9    2
13   3

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

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

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

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

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

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

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

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

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

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

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

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

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

 [2,6,2,*,*]
 [2,6,3,*,*]
:   27    :=
13   1
21   1
35   2

 [2,6,4,*,*]
:   27    :=
31   1
35   3

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

 [2,6,6,*,*]
:   27    :=
1    1
17   3

 [2,6,7,*,*]
:   27    :=
21   4

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

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

 [2,11,3,*,*]
 [2,11,4,*,*]
:   26    :=
25   2

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

 [2,11,6,*,*]
:   26    :=
1    2

 [2,11,7,*,*]
:   26    :=
17   1
28   1

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

 [2,16,2,*,*]
 [2,16,3,*,*]
:   27    :=
1    1
25   2
36   2

 [2,16,4,*,*]
:   27    :=
28   1
35   4

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

 [2,16,6,*,*]
:   27    :=
31   1
35   1
36   3

 [2,16,7,*,*]
:   27    :=
25   2
31   1
35   2

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

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

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

 [3,1,4,*,*]
:   20    :=
6    4

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

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

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

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

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

 [3,4,7,*,*]
:    9    :=
29   1

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

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

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

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

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

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

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

 [3,11,5,*,*]
:    1    :=
10   2
26   1
34   4

 [3,11,6,*,*]
:    1    :=
32   3
34   4

 [3,11,7,*,*]
:    1    :=
2    2
22   1
32   4

 [3,12,1,*,*]
:   18    :=
26   1

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

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

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

 [3,12,6,*,*]
:   18    :=
14   1

 [3,12,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
:    2    :=
2    1

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

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

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

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

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

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

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

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

 [3,15,7,*,*]
:    1    :=
18   1

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

 [3,16,2,*,*]
:   16    :=
22   1
34   3

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

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

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

 [4,1,1,*,*]
:   27    :=
6    1
18   4

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

 [4,1,4,*,*]
:   27    :=
10   2
29   1
32   2

 [4,1,5,*,*]
:   27    :=
6    2
34   3

 [4,1,6,*,*]
:   27    :=
18   1
34   4

 [4,1,7,*,*]
:   27    :=
22   2
32   3

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

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

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

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

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

 [4,2,7,*,*]
:   24    :=
29   1

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

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

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

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

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

 [4,3,7,*,*]
:   27    :=
34   2

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

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

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

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

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

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

 [4,7,1,*,*]
:   27    :=
34   1

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

 [4,7,4,*,*]
:   27    :=
34   1

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

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

 [4,7,7,*,*]
:   27    :=
32   1

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

 [4,8,3,*,*]
:   28    :=
32   2

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

 [4,8,5,*,*]
:   28    :=
18   2

 [4,8,6,*,*]
:   28    :=
22   2

 [4,8,7,*,*]
:   28    :=
34   2

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

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

 [4,11,3,*,*]
 [4,11,4,*,*]
:   26    :=
10   1
22   1

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

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

 [4,11,7,*,*]
:   26    :=
34   2

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

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

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

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

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

 [4,16,6,*,*]
:   22    :=
34   1

 [4,16,7,*,*]
 [5,1,1,*,*]
:   21    :=
11   1
27   1

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

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

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

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

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

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

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

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

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

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

 [5,6,2,*,*]
:   13    :=
30   4

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

 [5,6,5,*,*]
 [5,6,6,*,*]
:   13    :=
11   2
19   2

 [5,6,7,*,*]
:   13    :=
19   4

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

 [5,7,2,*,*]
:   12    :=
7    2

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

 [5,7,6,*,*]
:   12    :=
23   1
27   1

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

 [5,8,1,*,*]
:   21    :=
30   1

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

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

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

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

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

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

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

 [5,15,4,*,*]
:   19    :=
30   1

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

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

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

 [5,16,5,*,*]
:    7    :=
7    2

 [5,16,6,*,*]
:    7    :=
19   2

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

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

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

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

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

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

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

 [6,8,1,*,*]
 [6,8,2,*,*]
:   28    :=
30   1

 [6,8,3,*,*]
:   28    :=
30   1

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

 [6,8,5,*,*]
:   28    :=
11   1

 [6,8,6,*,*]
:   28    :=
11   1

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

 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
 [6,11,2,*,*]
 [6,11,3,*,*]
 [6,11,4,*,*]
 [6,11,5,*,*]
 [6,11,6,*,*]
 [6,11,7,*,*]
 [6,12,1,*,*]
:   23    :=
11   1

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

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

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

 [6,12,5,*,*]
:   23    :=
23   1

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

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

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

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

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

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

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

 [8,6,2,*,*]
:   23    :=
12   1

 [8,6,3,*,*]
:   23    :=
16   1

 [8,6,4,*,*]
:   23    :=
20   1

 [8,6,5,*,*]
:   23    :=
4    1

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

 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,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,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

Faltantes = 100.8
sobrantes = 84.3
salario = 3405.04
servicio = 15.7608
capacitacion = 0.54

_solve_elapsed_time = 7201.55

_nvars = 743571
_ncons = 13349

solve_result_num = 422

ampl: 