ampl: include pd2profe.run

Presolve eliminates 2552 constraints and 946729 variables.
Adjusted problem:
102602 variables:
	1456 binary variables
	101137 integer variables
	9 linear variables
10796 constraints, all linear; 979021 nonzeros
	2424 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=20000
outlev=1
mipdisplay=2
MIP Presolve eliminated 5 rows and 1916 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9949 rows, 99844 columns, and 959010 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9949 rows, 99844 columns, and 959010 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Probing time = 0.06 sec. (35.82 ticks)
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 = 5.53 sec. (2902.06 ticks)

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

      0     0     2708.2198  1250                   2708.2198       30         
      0     0     2708.6330  1020                   Cuts: 355     3739         
*     0+    0                         9552.6719     2708.6330            71.65%
*     0+    0                         9542.5546     2708.6330            71.62%
      0     0     2708.6330  1219     9542.5546     Cuts: 825     6961   71.62%
      0     0     2708.6330  1144     9542.5546     Cuts: 841    11813   71.62%
*     0+    0                         8635.2931     2708.6330            68.63%
*     0+    0                         8613.8391     2708.6330            68.55%
      0     0     2708.6330  1387     8613.8391     Cuts: 971    17554   68.55%
Heuristic still looking.
Heuristic still looking.
      0     2     2708.6330  1387     8613.8391     2708.6330    17554   68.55%
Elapsed time = 370.02 sec. (206232.12 ticks, tree = 0.02 MB)
      2     4     2708.6330  1316     8613.8391     2708.6330    17724   68.55%
      5     1    infeasible           8613.8391     2708.6330    18109   68.55%
      8     7     2708.6330  1223     8613.8391     2708.6330    18709   68.55%
     10     5     2708.6330  1213     8613.8391     2708.6330    20285   68.55%
     11     3    infeasible           8613.8391     2708.6330    20579   68.55%
     12     3    infeasible           8613.8391     2708.6330    21586   68.55%
     13     5     2708.6330  1123     8613.8391     2708.6330    23887   68.55%
     14     4     2708.6330   902     8613.8391     2708.6330    26539   68.55%
     15     2    infeasible           8613.8391     2708.6330    27203   68.55%
     16     3    infeasible           8613.8391     2708.6330    27686   68.55%
Elapsed time = 442.30 sec. (234202.78 ticks, tree = 0.02 MB)
     18     5     2711.7616  1286     8613.8391     2708.6330    27445   68.55%
     19     4     2708.6330   825     8613.8391     2708.6330    30627   68.55%
     20     6     2708.6330   774     8613.8391     2708.6330    37892   68.55%
     23     9     2711.7616  1356     8613.8391     2708.6330    39822   68.55%
     24     7     2708.6330   766     8613.8391     2708.6330    39625   68.55%
     25    10     2711.7616  1265     8613.8391     2708.6330    41063   68.55%
     27     9     2708.6330   660     8613.8391     2708.6330    41571   68.55%
     30    10     2708.6330   697     8613.8391     2708.6330    42132   68.55%
     32     5     2713.5436  1306     8613.8391     2708.6330    41798   68.55%
     35    15     2711.1583  1392     8613.8391     2708.6330    49948   68.55%
Elapsed time = 513.86 sec. (255501.18 ticks, tree = 0.46 MB)
     39    20     2711.7616  1211     8613.8391     2708.6330    56433   68.55%
     42    22     2711.1583  1338     8613.8391     2708.6330    57451   68.55%
     44    23     2711.1583  1365     8613.8391     2708.6330    57823   68.55%
     46    24     2711.1583  1361     8613.8391     2708.6330    58629   68.55%
     48    25     2708.6330   897     8613.8391     2708.6330    60944   68.55%
     52    30     2711.7616  1250     8613.8391     2708.6330    63214   68.55%
     54    31     2711.7616  1254     8613.8391     2708.6330    63507   68.55%
     57    34     2711.1583  1349     8613.8391     2708.6330    65042   68.55%
     59    37     2711.7616  1222     8613.8391     2708.6330    68233   68.55%
     60    35     2711.1583  1298     8613.8391     2708.6330    66049   68.55%
Elapsed time = 583.06 sec. (274743.61 ticks, tree = 2.34 MB)
     63    38     2711.7616  1229     8613.8391     2708.6330    68958   68.55%
     66    39     2711.7616  1204     8613.8391     2708.6330    69246   68.55%
     68    46     2708.6330   907     8613.8391     2708.6330    74345   68.55%
     70    47     2708.6330   902     8613.8391     2708.6330    74714   68.55%
     71    52     2711.7616  1206     8613.8391     2708.6330    82704   68.55%
     73    53     2711.7616  1296     8613.8391     2708.6330    83092   68.55%
     74    54     2711.7616  1225     8613.8391     2708.6330    83594   68.55%
     77    48     2708.6330   822     8613.8391     2708.6330    76800   68.55%
     80    56     2711.1583  1329     8613.8391     2708.6330    86125   68.55%
     82    57     2711.1583  1334     8613.8391     2708.6330    86529   68.55%
Elapsed time = 640.87 sec. (290345.90 ticks, tree = 3.52 MB)
     83    59     2708.6330   837     8613.8391     2708.6330    89215   68.55%
     87    60     2708.6330   806     8613.8391     2708.6330    89534   68.55%
     88    64     2711.7616  1169     8613.8391     2708.6330    92317   68.55%
     90    69     2711.1583  1297     8613.8391     2708.6330    94375   68.55%
     91    70     2711.1583  1293     8613.8391     2708.6330    94822   68.55%
     92    65     2711.7616  1141     8613.8391     2708.6330    93090   68.55%
     95    70     2711.7616  1116     8613.8391     2708.6330    95615   68.55%
     97    49     2721.8124  1268     8613.8391     2708.6330    87559   68.55%
    102    75     2708.6330   717     8613.8391     2708.6330   100079   68.55%
    104    74     2711.7616  1141     8613.8391     2708.6330    97283   68.55%
Elapsed time = 698.61 sec. (306275.64 ticks, tree = 5.00 MB)
    106    72     2711.1583  1264     8613.8391     2708.6330    97618   68.55%
    109    76     2711.7616  1146     8613.8391     2708.6330    98027   68.55%
    110    77     2711.7616  1158     8613.8391     2708.6330    98639   68.55%
    113    78    infeasible           8613.8391     2708.6330   109924   68.55%
    116    84     2711.1583  1219     8613.8391     2708.6330   113623   68.55%
    118    85     2711.1583  1276     8613.8391     2708.6330   114112   68.55%
    119    97     2708.6330   711     8613.8391     2708.6330   119742   68.55%
    120    86     2711.1583  1280     8613.8391     2708.6330   114666   68.55%
    122    99     2711.1583  1262     8613.8391     2708.6330   121653   68.55%
    123   100     2711.1583  1251     8613.8391     2708.6330   121932   68.55%
Elapsed time = 771.28 sec. (324729.04 ticks, tree = 6.51 MB)
    125   104     2708.6330   853     8613.8391     2708.6330   125658   68.55%
    126   101     2711.1583  1274     8613.8391     2708.6330   123100   68.55%
    127   105     2708.6330   734     8613.8391     2708.6330   126510   68.55%
    129   103     2711.1583  1386     8613.8391     2708.6330   124065   68.55%
    131   108     2711.1583  1318     8613.8391     2708.6330   127434   68.55%
    132    79     2721.8124  1296     8613.8391     2708.6330   116816   68.55%
    136   112     2708.6330   714     8613.8391     2708.6330   130678   68.55%
    138   113     2708.6330   740     8613.8391     2708.6330   131098   68.55%
    139   114     2708.6330   696     8613.8391     2708.6330   131422   68.55%
    140   115     2708.6330   713     8613.8391     2708.6330   131903   68.55%
Elapsed time = 850.67 sec. (346143.72 ticks, tree = 7.88 MB)
    141   119     2708.6330   819     8613.8391     2708.6330   142653   68.55%
    142   120     2708.6330   710     8613.8391     2708.6330   143401   68.55%
    143   121     2708.6330   695     8613.8391     2708.6330   143968   68.55%
    144   122     2708.6330   796     8613.8391     2708.6330   145046   68.55%
    146   123     2708.6330   727     8613.8391     2708.6330   145719   68.55%
    148   124     2708.6330   671     8613.8391     2708.6330   146620   68.55%
    149   125     2708.6330   730     8613.8391     2708.6330   147517   68.55%
    150   126     2711.7616  1113     8613.8391     2708.6330   148860   68.55%
    151   126     2708.6330   700     8613.8391     2708.6330   148384   68.55%
    152   127     2711.7616  1130     8613.8391     2708.6330   149816   68.55%
Elapsed time = 925.12 sec. (373603.77 ticks, tree = 8.56 MB)
    153   127     2708.6330   776     8613.8391     2708.6330   149217   68.55%
    154   128     2711.7616  1123     8613.8391     2708.6330   151517   68.55%
    155   134     2711.7616  1137     8613.8391     2708.6330   156195   68.55%
    157   112     2711.1583  1386     8613.8391     2708.6330   129567   68.55%
    160   139     2711.1583  1396     8613.8391     2708.6330   158663   68.55%
    162   140     2711.1583  1369     8613.8391     2708.6330   159086   68.55%
    163   141     2711.1583  1381     8613.8391     2708.6330   159520   68.55%
    165   139     2711.7616  1114     8613.8391     2708.6330   158460   68.55%
    166   143     2711.1583  1345     8613.8391     2708.6330   161280   68.55%
    169   145     2711.7616  1093     8613.8391     2708.6330   162912   68.55%
Elapsed time = 1008.98 sec. (397746.84 ticks, tree = 10.69 MB)
    171   146     2711.7616  1106     8613.8391     2708.6330   163410   68.55%
    173   130     2708.6330   746     8613.8391     2708.6330   150904   68.55%
    176   116     2721.8124  1328     8613.8391     2708.6330   140434   68.55%
    177   146     2708.6330   715     8613.8391     2708.6330   163541   68.55%
    180   145    infeasible           8613.8391     2708.6330   164048   68.55%
    183   150     2711.7616  1093     8613.8391     2708.6330   165441   68.55%
    184   147     2708.6330   745     8613.8391     2708.6330   164634   68.55%
    186   155     2711.1583  1308     8613.8391     2708.6330   169894   68.55%
    188   156     2711.1583  1247     8613.8391     2708.6330   170661   68.55%
    197   158     2711.1583  1330     8613.8391     2708.6330   171868   68.55%
Elapsed time = 1063.27 sec. (415288.52 ticks, tree = 11.91 MB)
    205   152     2708.6330   709     8613.8391     2708.6330   167990   68.55%
    209   169     2711.7616  1040     8613.8391     2708.6330   176223   68.55%
    211   170     2711.7616  1081     8613.8391     2708.6330   177428   68.55%
    215   171     2711.7616  1150     8613.8391     2708.6330   178551   68.55%
    218   176     2711.1583  1282     8613.8391     2708.6330   183447   68.55%
    222   187     2711.7616  1134     8613.8391     2708.6330   195403   68.55%
    226   177     2711.1583  1218     8613.8391     2708.6330   185071   68.55%
    231   197     2708.6330   697     8613.8391     2708.6330   202200   68.55%
    236   198     2708.6330   766     8613.8391     2708.6330   203387   68.55%
    242   205     2711.1583  1168     8613.8391     2708.6330   208677   68.55%
Elapsed time = 1215.17 sec. (460254.06 ticks, tree = 17.25 MB)
    248   204     2708.6330  1002     8613.8391     2708.6330   205890   68.55%
    254   209     2711.1583  1152     8613.8391     2708.6330   211302   68.55%
    258   212     2711.1583  1130     8613.8391     2708.6330   212418   68.55%
    263   230     2711.1583  1175     8613.8391     2708.6330   230427   68.55%
    266   221     2711.7616  1103     8613.8391     2708.6330   226745   68.55%
    273   239     2708.6330  1100     8613.8391     2708.6330   236410   68.55%
    284   228     2711.7616  1117     8613.8391     2708.6330   229326   68.55%
    290   253     2711.7616  1107     8613.8391     2708.6330   244127   68.55%
    294   235     2711.1583  1171     8613.8391     2708.6330   235241   68.55%
    298   250     2708.6330   979     8613.8391     2708.6330   241747   68.55%
Elapsed time = 1352.02 sec. (505186.44 ticks, tree = 22.18 MB)
    301   260     2711.1583  1258     8613.8391     2708.6330   251225   68.55%
    306   259     2711.7616  1209     8613.8391     2708.6330   249659   68.55%
    312   277     2708.6330   829     8613.8391     2708.6330   259388   68.55%
    317   265     2711.1583  1182     8613.8391     2708.6330   255412   68.55%
    321   289     2711.7616  1159     8613.8391     2708.6330   283596   68.55%
    328   282     2708.6330   833     8613.8391     2708.6330   263392   68.55%
    334   285     2708.6330   858     8613.8391     2708.6330   265292   68.55%
    339   297     2711.7616  1012     8613.8391     2708.6330   288338   68.55%
    342   299     2711.7616  1146     8613.8391     2708.6330   289529   68.55%
    350   312     2711.1583  1216     8613.8391     2708.6330   310201   68.55%
Elapsed time = 1488.08 sec. (553256.06 ticks, tree = 28.90 MB)
    357   306     2708.6330   801     8613.8391     2708.6330   294495   68.55%
    360   308     2708.6330   750     8613.8391     2708.6330   295596   68.55%
    371   313     2708.6330   810     8613.8391     2708.6330   296731   68.55%
    381   336     2711.7616  1013     8613.8391     2708.6330   322655   68.55%
    386   317     2708.6330   834     8613.8391     2708.6330   299390   68.55%
    395   342     2711.7616   991     8613.8391     2708.6330   325280   68.55%
    402   324     2711.1583  1193     8613.8391     2708.6330   318731   68.55%
    405   346     2711.7616  1002     8613.8391     2708.6330   327707   68.55%
    410   367     2711.1583  1201     8613.8391     2708.6330   351163   68.55%
    414   390     2711.7616  1056     8613.8391     2708.6330   362598   68.55%
Elapsed time = 1618.53 sec. (596045.96 ticks, tree = 37.62 MB)
    420   394     2711.7616  1136     8613.8391     2708.6330   364072   68.55%
    424   350     2708.6330   817     8613.8391     2708.6330   330668   68.55%
    430   353     2708.6330   789     8613.8391     2708.6330   331884   68.55%
    436   353     2721.8124   704     8613.8391     2708.6330   347999   68.55%
    443   357     2708.6330   851     8613.8391     2708.6330   334401   68.55%
    448   355     2721.8124   592     8613.8391     2708.6330   350447   68.55%
    457   404     2711.7616  1104     8613.8391     2708.6330   371809   68.55%
    461   402     2708.6330   849     8613.8391     2708.6330   371377   68.55%
    466   422     2722.8024   564     8613.8391     2708.6330   391160   68.55%
    470   439     2711.7616  1101     8613.8391     2708.6330   402210   68.55%
Elapsed time = 1759.55 sec. (641864.34 ticks, tree = 43.44 MB)
    474   441     2711.7616  1130     8613.8391     2708.6330   403409   68.55%
    476   407     2708.6330   862     8613.8391     2708.6330   376767   68.55%
    481   446     2711.7616  1011     8613.8391     2708.6330   405869   68.55%
    485   449     2711.7616  1043     8613.8391     2708.6330   407059   68.55%
    488   449     2708.6330   851     8613.8391     2708.6330   413299   68.55%
    493   452     2708.6330   813     8613.8391     2708.6330   414744   68.55%
    500   454     2708.6330   953     8613.8391     2708.6330   416069   68.55%
    505   458     2711.7616  1101     8613.8391     2708.6330   412336   68.55%
    509   476     2711.7616  1015     8613.8391     2708.6330   438767   68.55%
    514   460     2708.6330  1069     8613.8391     2708.6330   420163   68.55%
Elapsed time = 1916.64 sec. (686459.39 ticks, tree = 45.63 MB)
    521   481     2711.1583  1025     8613.8391     2708.6330   441251   68.55%
    526   482     2711.7616  1117     8613.8391     2708.6330   442523   68.55%
    533   467     2708.6330  1017     8613.8391     2708.6330   423740   68.55%
    542   490     2711.1583  1146     8613.8391     2708.6330   444669   68.55%
    548   493     2711.1583  1250     8613.8391     2708.6330   445988   68.55%
    559   505     2708.6330   850     8613.8391     2708.6330   454720   68.55%
    569   491     2711.7616  1085     8613.8391     2708.6330   448886   68.55%
    574   500     2711.1583  1080     8613.8391     2708.6330   449783   68.55%
    578   512     2708.6330   797     8613.8391     2708.6330   458770   68.55%
    583   545     2711.1583  1163     8613.8391     2708.6330   488876   68.55%
Elapsed time = 2065.98 sec. (729799.09 ticks, tree = 56.25 MB)
    589   548     2711.1583  1199     8613.8391     2708.6330   490453   68.55%
    594   550     2711.1583  1093     8613.8391     2708.6330   491800   68.55%
    599   551     2711.1583  1127     8613.8391     2708.6330   493120   68.55%
    603   569     2708.6330   878     8613.8391     2708.6330   501820   68.55%
    605   554     2711.1583  1076     8613.8391     2708.6330   495422   68.55%
    610   574     2708.6330   852     8613.8391     2708.6330   504749   68.55%
    613   576     2708.6330   875     8613.8391     2708.6330   506243   68.55%
    618   578     2708.6330   760     8613.8391     2708.6330   507433   68.55%
    623   509     2726.4474  1234     8613.8391     2708.6330   484564   68.55%
*   629+  581                         8269.8153     2708.6330            67.25%
    629   583     2708.6330   762     8269.8153     2708.6330   509834   67.25%
Elapsed time = 2234.50 sec. (776368.57 ticks, tree = 60.28 MB)
    634   588     2711.1583  1304     8269.8153     2708.6330   515374   67.25%
    638   590     2711.1583  1236     8269.8153     2708.6330   516493   67.25%
    642   612     2708.6330   807     8269.8153     2708.6330   545345   67.25%
    647   594     2711.1583  1122     8269.8153     2708.6330   519285   67.25%
    649   616     2708.6330   798     8269.8153     2708.6330   547688   67.25%
    653   597     2711.1583  1199     8269.8153     2708.6330   522140   67.25%
    656   599     2711.1583  1217     8269.8153     2708.6330   523248   67.25%
    660   624     2711.1583  1188     8269.8153     2708.6330   553970   67.25%
    663   626     2711.1583  1197     8269.8153     2708.6330   555036   67.25%
    669   628     2711.1583  1180     8269.8153     2708.6330   556983   67.25%
Elapsed time = 2429.86 sec. (824014.04 ticks, tree = 65.81 MB)
    671   644     2708.6330   807     8269.8153     2708.6330   582470   67.25%
    674   631     2711.1583  1171     8269.8153     2708.6330   559649   67.25%
    675   646     2708.6330   772     8269.8153     2708.6330   584648   67.25%
    678   634     2711.1583  1112     8269.8153     2708.6330   562973   67.25%
    681   636     2711.1583  1135     8269.8153     2708.6330   565075   67.25%
    685   637     2711.1583  1068     8269.8153     2708.6330   566198   67.25%
    687   649     2708.6330   734     8269.8153     2708.6330   591935   67.25%
*   692+  519                         8162.7665     2708.6330            66.82%
*   692+  519                         8162.7643     2708.6330            66.82%
    692   521     2711.7616  1239     8162.7643     2708.6330   476942   66.82%
    701   667     2711.7616  1170     8162.7643     2708.6330   607452   66.82%
    705   669     2711.7616  1163     8162.7643     2708.6330   608629   66.82%
Elapsed time = 2683.50 sec. (876520.08 ticks, tree = 70.51 MB)
    709   663     2711.1583  1134     8162.7643     2708.6330   599899   66.82%
    713   664     2711.1583  1141     8162.7643     2708.6330   601092   66.82%
*   714+  663                         8030.2224     2708.6330            66.27%
    742   702     2711.1601  1264     8030.2224     2708.6330   631380   66.27%
    750   676     2711.7616  1168     8030.2224     2708.6330   614103   66.27%
    757   678     2711.7616  1103     8030.2224     2708.6330   615323   66.27%
    770   679     2708.6404  1156     8030.2224     2708.6330   616444   66.27%
    791   684     2711.7616  1027     8030.2224     2708.6330   617952   66.27%
    807   687     2711.7616  1024     8030.2224     2708.6330   619130   66.27%
    812   719     2711.7616  1106     8030.2224     2708.6330   657065   66.27%
    817   743     2711.1746  1356     8030.2224     2708.6330   640363   66.27%
Elapsed time = 2906.69 sec. (921557.42 ticks, tree = 79.46 MB)
    826   725     2711.7616  1126     8030.2224     2708.6330   660246   66.27%
    832   728     2711.7616  1201     8030.2224     2708.6330   661414   66.27%
    836   730     2711.7616  1136     8030.2224     2708.6330   662552   66.27%
    842   733     2711.7616  1123     8030.2224     2708.6330   664564   66.27%
    847   736     2711.7616  1140     8030.2224     2708.6330   666311   66.27%
    852   792     2711.1746  1320     8030.2224     2708.6330   674850   66.27%
    857   743     2711.7616  1092     8030.2224     2708.6330   668920   66.27%
    859   816     2711.7616  1138     8030.2224     2708.6330   683603   66.27%
    863   795     2711.1746  1308     8030.2224     2708.6330   679002   66.27%
    866   821     2711.7616  1144     8030.2224     2708.6330   686882   66.27%
Elapsed time = 3131.66 sec. (971423.32 ticks, tree = 88.58 MB)
    870   825     2711.7616  1160     8030.2224     2708.6330   687994   66.27%
    872   827     2711.7616  1165     8030.2224     2708.6330   689496   66.27%
    877   831     2711.7616  1145     8030.2224     2708.6330   690872   66.27%
    878   825     2711.1746  1290     8030.2224     2708.6330   695908   66.27%
    882   834     2711.7616  1128     8030.2224     2708.6330   693806   66.27%
    887   836     2711.7616  1155     8030.2224     2708.6330   695264   66.27%
    892   849     2711.7616  1311     8030.2224     2708.6330   716371   66.27%
    896   852     2711.7616  1115     8030.2224     2708.6330   717886   66.27%
    900   832     2711.1746  1274     8030.2224     2708.6330   703275   66.27%
    907   858     2711.7616  1206     8030.2224     2708.6330   720785   66.27%
Elapsed time = 3313.31 sec. (1019250.72 ticks, tree = 93.20 MB)
    910   834     2711.1746  1193     8030.2224     2708.6330   705630   66.27%
    914   863     2711.7616  1102     8030.2224     2708.6330   723235   66.27%
    923   861     2711.1746  1293     8030.2224     2708.6330   730573   66.27%
    928   830     2722.8024   436     8030.2224     2708.6330   714978   66.27%
    933   877     2708.6404  1015     8030.2224     2708.6330   743330   66.27%
    937   871     2711.7616  1153     8030.2224     2708.6330   728344   66.27%
    942   873     2711.7616  1177     8030.2224     2708.6330   729585   66.27%
    947   868     2711.1746  1243     8030.2224     2708.6330   736787   66.27%
    949   869     2711.1746  1254     8030.2224     2708.6330   738432   66.27%
    952   882     2708.6404  1135     8030.2224     2708.6330   750342   66.27%
Elapsed time = 3482.17 sec. (1065081.06 ticks, tree = 95.78 MB)
    953   883     2708.6404  1160     8030.2224     2708.6330   751740   66.27%
    954   884     2708.6404  1106     8030.2224     2708.6330   752965   66.27%
    960   917     2708.6404  1105     8030.2224     2708.6330   782483   66.27%
    963   918     2708.6404  1119     8030.2224     2708.6330   783723   66.27%
    965   920     2708.6404  1074     8030.2224     2708.6330   786698   66.27%
    967   921     2708.6404  1048     8030.2224     2708.6330   789384   66.27%
    969   931     2722.8024   447     8030.2224     2708.6330   814808   66.27%
    971   922     2708.6404   892     8030.2224     2708.6330   792167   66.27%
    973   923     2708.6404   998     8030.2224     2708.6330   793584   66.27%
    975   930    infeasible           8030.2224     2708.6330   808812   66.27%
Elapsed time = 3674.56 sec. (1122873.87 ticks, tree = 101.84 MB)
    978   936     2711.2083  1037     8030.2224     2708.6330   829248   66.27%
    980   943     2708.6404   871     8030.2224     2708.6330   844378   66.27%
    986   936     2722.8024   471     8030.2224     2708.6330   824658   66.27%
    990   941     2711.2083   949     8030.2224     2708.6330   833921   66.27%
    993   943     2711.2083   967     8030.2224     2708.6330   835333   66.27%
    996   947     2708.6404   876     8030.2224     2708.6330   850371   66.27%
    998   948     2708.6404   875     8030.2224     2708.6330   851880   66.27%
   1001   949     2708.6404   883     8030.2224     2708.6330   853030   66.27%
   1005   950     2722.8024   480     8030.2224     2708.6330   862459   66.27%
   1008   949     2711.2083  1029     8030.2224     2708.6330   841658   66.27%
Elapsed time = 3862.45 sec. (1170231.33 ticks, tree = 104.44 MB)
   1010   966     2711.2083  1050     8030.2224     2708.6330   876254   66.27%
   1012   951     2708.6404   922     8030.2224     2708.6330   857896   66.27%
   1014   969     2711.2083  1036     8030.2224     2708.6330   878848   66.27%
   1017   971     2711.2083  1000     8030.2224     2708.6330   880206   66.27%
   1018   975     2708.6404  1203     8030.2224     2708.6330   894459   66.27%
*  1022+  974                         7960.1734     2708.6330            65.97%
*  1022+  974                         7960.1715     2708.6330            65.97%
*  1022+  974                         7960.1693     2708.6330            65.97%
   1023   951     2725.3660  1018     7960.1693     2708.6330   872513   65.97%
   1030   980     2711.7616  1236     7960.1693     2708.6330   893085   65.97%
   1038   985     2711.7616  1252     7960.1693     2708.6330   894417   65.97%
   1041   986     2711.7616  1268     7960.1693     2708.6330   895721   65.97%
   1045   980     2708.6404  1101     7960.1693     2708.6330   900943   65.97%
Elapsed time = 4049.16 sec. (1215580.66 ticks, tree = 108.27 MB)
   1047   982     2708.6404  1148     7960.1693     2708.6330   902571   65.97%
   1051   988     2711.7616  1100     7960.1693     2708.6330   900481   65.97%
   1054   989     2711.7616  1027     7960.1693     2708.6330   902551   65.97%
   1057   991     2711.7616   998     7960.1693     2708.6330   904280   65.97%
   1061   991     2711.7616  1072     7960.1693     2708.6330   906112   65.97%
   1063   992     2711.7616  1051     7960.1693     2708.6330   907258   65.97%
   1066  1011     2711.7616  1128     7960.1693     2708.6330   944822   65.97%
   1071  1013     2711.7616  1090     7960.1693     2708.6330   946033   65.97%
   1074  1015     2711.7616  1074     7960.1693     2708.6330   947186   65.97%
   1076  1000     2708.6404  1081     7960.1693     2708.6330   937185   65.97%
Elapsed time = 4253.45 sec. (1268768.54 ticks, tree = 110.57 MB)
   1079  1019     2711.7616  1106     7960.1693     2708.6330   950380   65.97%
   1082  1021     2711.7616  1050     7960.1693     2708.6330   952051   65.97%
   1088  1015     2722.8024   469     7960.1693     2708.6330   962227   65.97%
   1093  1026     2711.7616  1073     7960.1693     2708.6330   954689   65.97%
   1097  1028     2711.7616  1030     7960.1693     2708.6330   956212   65.97%
   1100  1030     2711.7616  1041     7960.1693     2708.6330   958720   65.97%
   1103  1048     2711.7616  1106     7960.1693     2708.6330   995548   65.97%
   1105  1019     2732.6454  1140     7960.1693     2708.6330   972118   65.97%
   1120  1038     2708.6439   936     7960.1693     2708.6330   985992   65.97%
   1127  1054     2711.7616  1079     7960.1693     2708.6330  1000523   65.97%
Elapsed time = 4385.92 sec. (1323481.68 ticks, tree = 117.35 MB)
   1130  1057     2711.7616  1120     7960.1693     2708.6330  1001836   65.97%
   1134  1045     2708.6530  1023     7960.1693     2708.6330   989919   65.97%
   1138  1047     2708.6530  1025     7960.1693     2708.6330   991070   65.97%
   1141  1048     2708.6530  1050     7960.1693     2708.6330   992248   65.97%
   1149  1052     2708.6530   999     7960.1693     2708.6330   993523   65.97%
   1156  1069     2711.7616  1129     7960.1693     2708.6330  1008991   65.97%
   1157  1070     2711.7616  1128     7960.1693     2708.6330  1010343   65.97%
   1161  1085     2708.6530  1033     7960.1693     2708.6330  1033203   65.97%
   1164  1087     2708.6530   985     7960.1693     2708.6330  1034408   65.97%
   1168  1089     2708.6530  1094     7960.1693     2708.6330  1035814   65.97%
Elapsed time = 4546.42 sec. (1370893.77 ticks, tree = 121.56 MB)
   1171  1111     2711.7616  1093     7960.1693     2708.6330  1052317   65.97%
   1176  1095     2708.6530  1205     7960.1693     2708.6330  1038312   65.97%
   1182  1098     2708.6530  1191     7960.1693     2708.6330  1039578   65.97%
   1187  1101     2708.6530  1164     7960.1693     2708.6330  1040807   65.97%
   1193  1105     2708.6530  1100     7960.1693     2708.6330  1041887   65.97%
   1199  1117     2711.7630  1171     7960.1693     2708.6330  1058411   65.97%
   1202  1120     2711.7630  1225     7960.1693     2708.6330  1059816   65.97%
   1205  1122     2711.7630  1291     7960.1693     2708.6330  1061701   65.97%
*  1207+ 1138                         7828.3688     2708.6330            65.40%
   1208  1123     2711.7630  1311     7828.3688     2708.6330  1062919   65.40%
   1211  1133     2708.6593  1231     7828.3688     2708.6330  1065046   65.40%
Elapsed time = 4699.91 sec. (1415407.61 ticks, tree = 126.99 MB)
   1213  1141     2710.6007  1224     7828.3688     2708.6330  1085386   65.40%
   1214  1142     2710.6007  1128     7828.3688     2708.6330  1086841   65.40%
   1216  1143     2710.6007  1159     7828.3688     2708.6330  1087984   65.40%
   1217  1144     2712.6220  1162     7828.3688     2708.6330  1092463   65.40%
   1221  1148     2710.6007  1135     7828.3688     2708.6330  1094079   65.40%
   1222  1149     2712.6220  1109     7828.3688     2708.6330  1098394   65.40%

Performing restart 1

Repeating presolve.
MIP Presolve modified 843367 coefficients.
Reduced MIP has 9949 rows, 99844 columns, and 549496 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
MIP Presolve modified 16380 coefficients.
Reduced MIP has 9949 rows, 99844 columns, and 536770 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Represolve time = 2.03 sec. (1101.90 ticks)
*  1223+    0                         7792.8424     2708.6330            65.24%
   1223     0     2708.6330  1761     7792.8424    Cuts: 1564  1266938   65.24%
   1223     0     2708.6330  2098     7792.8424    Cuts: 1803  1286527   65.24%
   1223     0     2708.6330  2255     7792.8424    Cuts: 2053  1309609   65.24%
   1223     0     2708.6330  2491     7792.8424    Cuts: 2123  1336236   65.24%
*  1223+    0                         7764.6448     2708.6330            65.12%
*  1223+    0                         7683.1128     2708.6330            64.75%
*  1223+    0                         7416.2328     2708.6330            63.48%
*  1223+    0                         7412.8604     2708.6330            63.46%
*  1223+    0                         7407.1804     2708.6330            63.43%
   1223     2     2708.6330  2491     7407.1804     2708.6330  1336236   63.43%
   1224     3     2708.6330  1721     7407.1804     2708.6330  1348297   63.43%
   1225     4     2708.6330  1678     7407.1804     2708.6330  1349656   63.43%
   1226     5     2708.6330  1595     7407.1804     2708.6330  1357083   63.43%
Elapsed time = 7117.98 sec. (2829267.79 ticks, tree = 0.13 MB)
   1227     3     2708.6330  1854     7407.1804     2708.6330  1349067   63.43%
   1228     6     2708.6330  1587     7407.1804     2708.6330  1364786   63.43%
   1229     8     2708.6330  1556     7407.1804     2708.6330  1377775   63.43%
*  1230+    3                         7342.8534     2708.6330            63.11%
   1230     7     2708.6330  1685     7342.8534     2708.6330  1380099   63.11%
   1231     9     2708.6330  1665     7342.8534     2708.6330  1388643   63.11%
   1232     9     2708.6330  1630     7342.8534     2708.6330  1394615   63.11%
   1233    11     2708.6330  1521     7342.8534     2708.6330  1410991   63.11%
   1235     5     2708.6330  1536     7342.8534     2708.6330  1357075   63.11%
   1236    12     2708.6330  1621     7342.8534     2708.6330  1418941   63.11%
   1237    14     2708.6330  1796     7342.8534     2708.6330  1435069   63.11%
Elapsed time = 7599.45 sec. (2989719.71 ticks, tree = 0.68 MB)
   1238    13     2708.6330  1579     7342.8534     2708.6330  1424629   63.11%
   1240     4     2708.6330  1761     7342.8534     2708.6330  1359977   63.11%
   1242    16     2708.6351  1772     7342.8534     2708.6330  1456844   63.11%
   1243    21     2708.6330  1456     7342.8534     2708.6330  1490250   63.11%
   1244    22     2708.6359  1683     7342.8534     2708.6330  1501499   63.11%
   1245    19     2708.6330  1665     7342.8534     2708.6330  1478876   63.11%
   1246    18     2708.6330  1548     7342.8534     2708.6330  1459616   63.11%
   1247    20     2708.6330  1519     7342.8534     2708.6330  1487315   63.11%
   1250    23     2708.6330  1481     7342.8534     2708.6330  1507681   63.11%
   1251    29     2708.6330  1456     7342.8534     2708.6330  1557615   63.11%
Elapsed time = 8057.52 sec. (3120980.23 ticks, tree = 1.47 MB)
   1254    25     2708.6330  1600     7342.8534     2708.6330  1531694   63.11%
   1255    28     2708.6363  1603     7342.8534     2708.6330  1545807   63.11%
   1256    30     2708.6330  1396     7342.8534     2708.6330  1564840   63.11%
   1258    31     2708.6363  1579     7342.8534     2708.6330  1564135   63.11%
   1259    36     2708.6330  1457     7342.8534     2708.6330  1596812   63.11%
   1261    37     2708.6330  1474     7342.8534     2708.6330  1600713   63.11%
   1264    34     2708.6330  1401     7342.8534     2708.6330  1587113   63.11%
   1266    38     2708.6330  1493     7342.8534     2708.6330  1609316   63.11%
   1267    35     2708.6330  1384     7342.8534     2708.6330  1591913   63.11%
   1268    44     2708.6330  1367     7342.8534     2708.6330  1644296   63.11%
Elapsed time = 8433.06 sec. (3216003.91 ticks, tree = 2.61 MB)
   1269    33     2708.6530  1878     7342.8534     2708.6330  1585469   63.11%
   1271    41     2708.6330  1481     7342.8534     2708.6330  1637773   63.11%
   1274    49     2708.6330  1545     7342.8534     2708.6330  1688604   63.11%
   1276    46     2708.6330  1492     7342.8534     2708.6330  1661403   63.11%
   1278    51     2708.6330  1450     7342.8534     2708.6330  1704068   63.11%
   1283    49     2708.6330  1463     7342.8534     2708.6330  1666682   63.11%
   1284    52     2708.6330  1444     7342.8534     2708.6330  1708390   63.11%
   1285    51     2708.6330  1474     7342.8534     2708.6330  1706719   63.11%
   1286    50     2708.6530  1669     7342.8534     2708.6330  1693712   63.11%
   1287    50     2708.6330  1547     7342.8534     2708.6330  1679726   63.11%
Elapsed time = 8914.25 sec. (3330507.88 ticks, tree = 3.29 MB)
   1289    54     2708.6330  1450     7342.8534     2708.6330  1729339   63.11%
   1290    68     2708.6330  1430     7342.8534     2708.6330  1819782   63.11%
   1292    55     2708.6330  1514     7342.8534     2708.6330  1741029   63.11%
   1294    59     2708.6530  1575     7342.8534     2708.6330  1768758   63.11%
   1295    66     2708.6330  1525     7342.8534     2708.6330  1809628   63.11%
   1297    69     2708.6367  1717     7342.8534     2708.6330  1833758   63.11%
   1298    60     2708.6530  1642     7342.8534     2708.6330  1782858   63.11%
   1300    78     2708.6530  1623     7342.8534     2708.6330  1920477   63.11%
   1301    70     2708.6330  1505     7342.8534     2708.6330  1842723   63.11%
   1302    74     2708.6330  1483     7342.8534     2708.6330  1875927   63.11%
Elapsed time = 9381.69 sec. (3461136.20 ticks, tree = 4.31 MB)
   1304    79     2708.6530  1586     7342.8534     2708.6330  1929500   63.11%
   1305    71     2708.6330  1429     7342.8534     2708.6330  1851923   63.11%
   1306    80     2708.6530  1585     7342.8534     2708.6330  1936057   63.11%
   1307    75     2708.6330  1584     7342.8534     2708.6330  1888491   63.11%
   1310    82     2708.6330  1351     7342.8534     2708.6330  1949420   63.11%
   1311    76     2708.6480  1792     7342.8534     2708.6330  1917300   63.11%
   1312    81     2708.6530  1654     7342.8534     2708.6330  1949848   63.11%
   1315    84     2708.6330  1420     7342.8534     2708.6330  1964776   63.11%
   1316    85     2708.6330  1400     7342.8534     2708.6330  1996871   63.11%
   1318    85     2708.6330  1447     7342.8534     2708.6330  1971986   63.11%
Elapsed time = 9830.39 sec. (3580960.75 ticks, tree = 5.33 MB)
   1319    90     2708.6530  1653     7342.8534     2708.6330  2047390   63.11%
   1320    86     2708.6330  1394     7342.8534     2708.6330  2007143   63.11%
   1322    91     2708.6530  1610     7342.8534     2708.6330  2058568   63.11%
   1324    96     2708.6330  1396     7342.8534     2708.6330  2075847   63.11%
   1327    93     2708.6530  1587     7342.8534     2708.6330  2069701   63.11%
   1329    97     2708.6330  1392     7342.8534     2708.6330  2083959   63.11%
   1331   104     2708.6530  1615     7342.8534     2708.6330  2158404   63.11%
   1333   105     2708.6530  1558     7342.8534     2708.6330  2164782   63.11%
   1336   109     2708.6330  1308     7342.8534     2708.6330  2194295   63.11%
   1338   101     2708.6330  1324     7342.8534     2708.6330  2129587   63.11%
Elapsed time = 10550.02 sec. (3729394.10 ticks, tree = 6.36 MB)
   1339   106     2708.6530  1555     7342.8534     2708.6330  2170876   63.11%
   1340   102     2708.6604  1804     7342.8534     2708.6330  2163534   63.11%
   1341   110     2708.6330  1258     7342.8534     2708.6330  2211330   63.11%
   1342   107     2708.6530  1564     7342.8534     2708.6330  2182644   63.11%
   1343   113     2708.6365  1628     7342.8534     2708.6330  2238000   63.11%
   1344   120     2708.6530  1514     7342.8534     2708.6330  2292591   63.11%
   1346   121     2708.6530  1532     7342.8534     2708.6330  2298906   63.11%
   1348   123     2708.6330  1345     7342.8534     2708.6330  2330744   63.11%
   1349   114     2708.6334  1839     7342.8534     2708.6330  2251603   63.11%
   1350   124     2708.6330  1382     7342.8534     2708.6330  2337032   63.11%
Elapsed time = 11110.14 sec. (3844552.04 ticks, tree = 8.29 MB)
   1351   122     2708.6530  1531     7342.8534     2708.6330  2311534   63.11%
   1353   125     2708.6330  1349     7342.8534     2708.6330  2344485   63.11%
   1354   123     2708.6530  1535     7342.8534     2708.6330  2319541   63.11%
   1356   126     2708.6330  1423     7342.8534     2708.6330  2352439   63.11%
   1357   127     2708.6330  1372     7342.8534     2708.6330  2357853   63.11%
   1360   126     2708.6530  1660     7342.8534     2708.6330  2378561   63.11%
   1361   130     2708.6530  1575     7342.8534     2708.6330  2400154   63.11%
   1363   138     2708.6330  1283     7342.8534     2708.6330  2468301   63.11%
   1364   132     2708.6804  1739     7342.8534     2708.6330  2438199   63.11%
   1366   131     2708.6530  1676     7342.8534     2708.6330  2412740   63.11%
Elapsed time = 11611.05 sec. (3969015.84 ticks, tree = 8.85 MB)
   1368   139     2708.6330  1296     7342.8534     2708.6330  2478910   63.11%
   1369   132     2708.6530  1529     7342.8534     2708.6330  2420231   63.11%
   1372   133     2708.6930  1564     7342.8534     2708.6330  2454952   63.11%
   1373   140     2708.6330  1317     7342.8534     2708.6330  2488630   63.11%
   1375   134     2708.6930  1546     7342.8534     2708.6330  2457503   63.11%
   1376   142     2708.6530  1450     7342.8534     2708.6330  2518203   63.11%
   1377   136     2708.6530  1508     7342.8534     2708.6330  2432192   63.11%
   1378   135     2708.6930  1529     7342.8534     2708.6330  2465686   63.11%
   1379   150     2708.6530  1474     7342.8534     2708.6330  2558289   63.11%
   1382   143     2708.6388  1538     7342.8534     2708.6330  2530979   63.11%
Elapsed time = 12032.86 sec. (4053250.48 ticks, tree = 10.12 MB)
   1383   152     2708.6530  1460     7342.8534     2708.6330  2567192   63.11%
   1385   136     2708.7004  1721     7342.8534     2708.6330  2481458   63.11%
   1386   144     2708.6411  1672     7342.8534     2708.6330  2544710   63.11%
   1387   153     2708.6530  1614     7342.8534     2708.6330  2580809   63.11%
   1388   160     2708.7044  1747     7342.8534     2708.6330  2668690   63.11%
   1389   163     2708.6530  1605     7342.8534     2708.6330  2708265   63.11%
   1392   155     2708.6388  1664     7342.8534     2708.6330  2621665   63.11%
   1393   156     2708.6363  1470     7342.8534     2708.6330  2626863   63.11%
   1394   155     2708.6530  1415     7342.8534     2708.6330  2598511   63.11%
   1396   157     2708.6363  1391     7342.8534     2708.6330  2632774   63.11%
Elapsed time = 12626.67 sec. (4189789.52 ticks, tree = 11.72 MB)
   1397   158     2708.6363  1356     7342.8534     2708.6330  2633979   63.11%
   1398   161     2708.7130  1685     7342.8534     2708.6330  2687249   63.11%
   1399   159     2708.6363  1426     7342.8534     2708.6330  2638428   63.11%
   1401   166     2708.6416  1626     7342.8534     2708.6330  2728605   63.11%
   1402   170     2708.6530  1436     7342.8534     2708.6330  2758082   63.11%
   1405   167     2708.6416  1624     7342.8534     2708.6330  2739348   63.11%
   1408   177     2708.6373  1375     7342.8534     2708.6330  2794668   63.11%
   1409   168     2708.6416  1587     7342.8534     2708.6330  2745202   63.11%
   1410   177     2708.7054  1798     7342.8534     2708.6330  2833816   63.11%
   1411   169     2708.6416  1618     7342.8534     2708.6330  2752432   63.11%
Elapsed time = 13065.08 sec. (4290042.87 ticks, tree = 12.97 MB)
   1412   171     2708.6604  1740     7342.8534     2708.6330  2778157   63.11%
   1414   184     2708.6416  1631     7342.8534     2708.6330  2884543   63.11%
   1415   178     2708.7054  1727     7342.8534     2708.6330  2848494   63.11%
   1416   172     2708.6604  1754     7342.8534     2708.6330  2793014   63.11%
   1417   185     2708.6416  1597     7342.8534     2708.6330  2893678   63.11%
   1418   179     2708.7095  1651     7342.8534     2708.6330  2861896   63.11%
   1419   186     2708.6416  1612     7342.8534     2708.6330  2904694   63.11%
   1421   187     2708.6416  1597     7342.8534     2708.6330  2908915   63.11%
   1422   188     2708.6604  1502     7342.8534     2708.6330  2945781   63.11%
   1423   188     2708.6530  1532     7342.8534     2708.6330  2921917   63.11%
Elapsed time = 13743.09 sec. (4443496.20 ticks, tree = 15.03 MB)
   1424   180     2708.7180  1688     7342.8534     2708.6330  2884439   63.11%
   1425   194     2708.6430  1546     7342.8534     2708.6330  2990577   63.11%
   1427   189     2708.6530  1549     7342.8534     2708.6330  2930584   63.11%
   1428   198     2708.7180  1612     7342.8534     2708.6330  3048209   63.11%
   1429   195     2708.6412  1589     7342.8534     2708.6330  3002032   63.11%
   1430   204     2708.6530  1520     7342.8534     2708.6330  3100805   63.11%
   1431   199     2708.7180  1623     7342.8534     2708.6330  3059850   63.11%
   1432   205     2708.6530  1490     7342.8534     2708.6330  3110228   63.11%
   1434   190     2708.6730  1646     7342.8534     2708.6330  2989915   63.11%
   1435   200     2708.7180  1642     7342.8534     2708.6330  3070572   63.11%
Elapsed time = 14237.52 sec. (4554220.48 ticks, tree = 16.10 MB)
   1437   207     2708.6530  1485     7342.8534     2708.6330  3128659   63.11%
   1439   207     2708.6730  1631     7342.8534     2708.6330  3168064   63.11%
   1440   208     2708.6530  1537     7342.8534     2708.6330  3141593   63.11%
   1441   202     2708.7197  1563     7342.8534     2708.6330  3094162   63.11%
   1442   209     2708.6530  1511     7342.8534     2708.6330  3150827   63.11%
   1443   212     2708.7223  1659     7342.8534     2708.6330  3219974   63.11%
   1444   208     2708.9014  1548     7342.8534     2708.6330  3194118   63.11%
   1445   210     2708.6530  1525     7342.8534     2708.6330  3165157   63.11%
   1447   220     2708.6530  1520     7342.8534     2708.6330  3283050   63.11%
   1448   221     2708.6530  1550     7342.8534     2708.6330  3284459   63.11%
Elapsed time = 15007.20 sec. (4715411.85 ticks, tree = 18.47 MB)
   1450   213     2708.7330  1573     7342.8534     2708.6330  3234379   63.11%
   1452   222     2708.6530  1502     7342.8534     2708.6330  3295098   63.11%
   1454   224     2708.6530  1496     7342.8534     2708.6330  3296714   63.11%
   1456   210     2708.9014  1391     7342.8534     2708.6330  3216913   63.11%
   1457   227     2708.9014  1369     7342.8534     2708.6330  3454768   63.11%
   1458   225     2708.6530  1487     7342.8534     2708.6330  3308697   63.11%
   1459   215     2708.7330  1570     7342.8534     2708.6330  3259121   63.11%
   1460   228     2708.9014  1372     7342.8534     2708.6330  3461572   63.11%
   1462   229     2708.9014  1372     7342.8534     2708.6330  3466506   63.11%
   1464   230     2708.9014  1402     7342.8534     2708.6330  3471088   63.11%
Elapsed time = 15595.45 sec. (4836581.57 ticks, tree = 19.59 MB)
   1465   216     2708.7330  1503     7342.8534     2708.6330  3273906   63.11%
   1466   231     2708.9014  1369     7342.8534     2708.6330  3474762   63.11%
   1467   227     2708.6530  1467     7342.8534     2708.6330  3333092   63.11%
   1468   232     2708.7330  1470     7342.8534     2708.6330  3520489   63.11%
   1469   224     2708.6530  1626     7342.8534     2708.6330  3427630   63.11%
   1470   232     2708.9014  1335     7342.8534     2708.6330  3489941   63.11%
   1472   233     2708.9014  1391     7342.8534     2708.6330  3492298   63.11%
   1474   228     2708.6530  1495     7342.8534     2708.6330  3345834   63.11%
   1475   225     2708.6530  1584     7342.8534     2708.6330  3443255   63.11%
   1477   235     2708.9014  1383     7342.8534     2708.6330  3502596   63.11%
Elapsed time = 16015.47 sec. (4932341.96 ticks, tree = 20.16 MB)
   1478   236     2708.9014  1352     7342.8534     2708.6330  3504733   63.11%
   1479   235     2708.7330  1541     7342.8534     2708.6330  3543234   63.11%
   1480   229     2708.6530  1433     7342.8534     2708.6330  3359074   63.11%
   1481   236     2708.7330  1537     7342.8534     2708.6330  3554300   63.11%
   1483   235     2708.6530  1602     7342.8534     2708.6330  3592882   63.11%
   1484   246     2708.6530  1474     7342.8534     2708.6330  3665768   63.11%
   1486   247     2708.6530  1447     7342.8534     2708.6330  3671001   63.11%
   1489   258     2708.9014  1390     7342.8534     2708.6330  3734775   63.11%
   1491   238     2708.7330  1476     7342.8534     2708.6330  3571692   63.11%
   1492   264     2708.7330  1447     7342.8534     2708.6330  3777097   63.11%
Elapsed time = 16509.59 sec. (5057787.32 ticks, tree = 23.34 MB)
   1495   249     2708.6530  1408     7342.8534     2708.6330  3682193   63.11%
   1497   238     2708.6530  1419     7342.8534     2708.6330  3621104   63.11%
   1498   250     2708.6530  1472     7342.8534     2708.6330  3693081   63.11%
   1500   267     2708.7330  1460     7342.8534     2708.6330  3793226   63.11%
   1502   261     2708.9014  1291     7342.8534     2708.6330  3759957   63.11%
   1503   239     2708.6530  1449     7342.8534     2708.6330  3632651   63.11%
   1504   251     2708.6530  1437     7342.8534     2708.6330  3703083   63.11%
   1505   252     2708.6530  1403     7342.8534     2708.6330  3704529   63.11%
   1506   268     2708.7330  1574     7342.8534     2708.6330  3805018   63.11%
   1507   269     2708.7330  1546     7342.8534     2708.6330  3810112   63.11%
Elapsed time = 16935.67 sec. (5158627.52 ticks, tree = 23.99 MB)
   1508   262     2709.8889  1493     7342.8534     2708.6330  3777866   63.11%
   1511   253     2708.6565  1589     7342.8534     2708.6330  3716256   63.11%
   1512   240     2708.6530  1461     7342.8534     2708.6330  3649222   63.11%
   1513   264     2708.9014  1370     7342.8534     2708.6330  3787895   63.11%
   1514   270     2708.6530  1418     7342.8534     2708.6330  3856693   63.11%
   1516   265     2708.9014  1309     7342.8534     2708.6330  3793935   63.11%
   1517   266     2708.9014  1327     7342.8534     2708.6330  3795183   63.11%
   1518   271     2708.6530  1359     7342.8534     2708.6330  3867203   63.11%
   1519   279     2708.6730  1591     7342.8534     2708.6330  3933623   63.11%
   1521   272     2708.6530  1393     7342.8534     2708.6330  3877371   63.11%
Elapsed time = 17372.70 sec. (5266418.70 ticks, tree = 24.25 MB)
   1523   280     2708.6730  1468     7342.8534     2708.6330  3944220   63.11%
   1524   291     2708.9014  1314     7342.8534     2708.6330  4019018   63.11%
   1526   292     2708.9014  1331     7342.8534     2708.6330  4025332   63.11%
   1527   274     2708.6530  1406     7342.8534     2708.6330  3894668   63.11%
   1529   293     2708.9014  1346     7342.8534     2708.6330  4031772   63.11%
   1530   294     2708.9014  1379     7342.8534     2708.6330  4038843   63.11%
   1531   276     2708.6530  1426     7342.8534     2708.6330  3909298   63.11%
   1532   277     2708.6530  1368     7342.8534     2708.6330  3916062   63.11%
   1535   296     2708.9014  1286     7342.8534     2708.6330  4056392   63.11%
   1537   281     2708.6788  1680     7342.8534     2708.6330  3957774   63.11%
Elapsed time = 18119.24 sec. (5407556.39 ticks, tree = 25.20 MB)
   1538   280     2708.6530  1364     7342.8534     2708.6330  3934138   63.11%
   1539   282     2708.6788  1665     7342.8534     2708.6330  3969657   63.11%
   1540   305     2708.6788  1616     7342.8534     2708.6330  4150947   63.11%
   1541   301     2708.6604  1648     7342.8534     2708.6330  4111564   63.11%
   1542   306     2708.6850  1567     7342.8534     2708.6330  4161321   63.11%
   1543   307     2708.6930  1578     7342.8534     2708.6330  4173239   63.11%
   1544   302     2708.6604  1641     7342.8534     2708.6330  4128146   63.11%
   1545   308     2708.6930  1566     7342.8534     2708.6330  4183020   63.11%
   1546   309     2708.6930  1607     7342.8534     2708.6330  4193190   63.11%
   1547   303     2708.6730  1642     7342.8534     2708.6330  4149044   63.11%
Elapsed time = 18978.77 sec. (5612413.28 ticks, tree = 27.67 MB)
   1548   310     2708.6967  1540     7342.8534     2708.6330  4205380   63.11%
   1549   311     2708.6967  1463     7342.8534     2708.6330  4216689   63.11%
   1550   304     2708.6730  1642     7342.8534     2708.6330  4174078   63.11%
   1554   305     2708.6730  1537     7342.8534     2708.6330  4182163   63.11%
   1555   315     2708.6967  1443     7342.8534     2708.6330  4231801   63.11%
   1557   322     2708.6967  1338     7342.8534     2708.6330  4327551   63.11%
   1558   323     2708.6967  1422     7342.8534     2708.6330  4337224   63.11%
   1559   324     2708.6967  1504     7342.8534     2708.6330  4351416   63.11%
   1560   325     2708.6967  1477     7342.8534     2708.6330  4357176   63.11%
   1561   326     2708.6967  1448     7342.8534     2708.6330  4360481   63.11%
Elapsed time = 20000.24 sec. (5839553.02 ticks, tree = 30.37 MB)

Flow cuts applied:  1011
Mixed integer rounding cuts applied:  216
Zero-half cuts applied:  2

Root node processing (before b&c):
  Real time             =  369.44 sec. (205384.12 ticks)
Parallel b&c, 4 threads:
  Real time             = 19631.39 sec. (5654596.48 ticks)
  Sync time (average)   =  423.17 sec.
  Wait time (average)   =    0.12 sec.
                          ------------
Total (root+branch&cut) = 20000.83 sec. (5859980.60 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 10796 rows and 102602 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 7342.853385
4467661 MIP simplex iterations
1562 branch-and-bound nodes
absmipgap = 4634.22, relmipgap = 0.63112
O [1,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1    10   10   10   10   10   10    5
2    10   10   10   10   10   20    3
3    10   10   10   10   10   20    9
4    10   10   10   30   30   29   10
5    10   10   30   30   30   29   11
6    10   10   30   30   30   19   11
7     0    0   20   20   20    9    1
8    10   10   30   10   10   10    4
9    10   10   10   10   10   10   11
10   10   10   10   10   10   10   11
11   10   10   10   10   10   10   11
12    7    7    7    7   10   12   11
13    7    7   11    9    7    8    0
14    7    7    8   11   10    8    0
15    7    7   13   12    7    8    0

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

 [3,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1    18   10   18   20   23    9    2
2    18   10   18   18   20    9    4
3    18   10   18   18   23    9    5
4    18   10   18   20   20   11    6
5     8   10    8   13   21   22    7
6     8   10   24   15   19   22    7
7     0    0    5   19    6    8   10
8     8   10   10   15    8   10   15
9     8   10   10   10    8   10   12
10    8    8   10   10    8   10   12
11    8    8   10   10   11   19   12
12    5   10   13   11    9   11    4
13    5   10    9    9   12   15    4
14    5   10   10    7    9   15    2
15    5   10    5    4    9    4    2

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

X :=
1 1    20
1 3     9
1 6    13
1 10    2
1 11    5
1 15   14
1 16    9
2 1     7
2 6     7
2 11   10
2 16    6
3 6     3
5 11    2
5 16    1
8 1    10
8 6     8
8 11    8
8 16    9
;

Poli = 25
todos = 143

:        PE   PF    :=
1 1 1     8    0
1 1 2     7    0
1 1 3     6    0
1 1 4     5    0
1 1 5     4    0
1 1 6     5    0
1 1 7     0    7
1 1 8     5    0
1 1 9     5    0
1 1 10    3    0
1 1 11    5    0
1 1 12    0    1
1 1 14    1    0
1 1 15    4    0
1 2 1     6    0
1 2 2     6    0
1 2 3     4    0
1 2 4     4    0
1 2 5     4    0
1 2 6     3    0
1 2 7     0    7
1 2 8     4    0
1 2 9     5    0
1 2 10    4    0
1 2 11    1    0
1 2 12    0    2
1 2 13    1    0
1 2 15    3    0
1 3 1     6    0
1 3 2     6    0
1 3 3     7    0
1 3 4     5    0
1 3 5    22    0
1 3 6    26    0
1 3 7    15    0
1 3 8    22    0
1 3 9     4    0
1 3 10    4    0
1 3 11    4    0
1 3 13    2    0
1 3 15    8    0
1 4 1     6    0
1 4 2     6    0
1 4 3     3    0
1 4 4    25    0
1 4 5    24    0
1 4 6    23    0
1 4 7    15    0
1 4 8     4    0
1 4 9     6    0
1 4 10    5    0
1 4 13    0    1
1 4 14    5    0
1 4 15    9    0
1 5 1     8    0
1 5 2     6    0
1 5 3     4    0
1 5 4    24    0
1 5 5    25    0
1 5 6    22    0
1 5 7    16    0
1 5 8     3    0
1 5 9     3    0
1 5 10    5    0
1 5 11    2    0
1 5 13    1    0
1 5 15    2    0
1 6 1     4    0
1 6 2    16    0
1 6 3    13    0
1 6 4    22    0
1 6 5    20    0
1 6 6    12    0
1 6 8     2    0
1 6 9     1    0
1 6 13    2    0
1 6 15    4    0
1 7 1     3    0
1 7 3     3    0
1 7 7     0    9
1 7 8     0    2
1 7 10    0    5
1 7 11    0    4
1 7 12    1    0
1 7 13    0    6
1 7 14    0    8
1 7 15    0    2
2 1 1     9    0
2 1 2     7    0
2 1 3     6    0
2 1 4     9    0
2 1 5    11    0
2 1 6    10    0
2 1 9     1    0
2 1 10    2    0
2 1 11    1    0
2 1 12    7    0
2 1 13    9    0
2 1 14    7    0
2 1 15   12    0
2 2 1     5    0
2 2 2     5    0
2 2 3     3    0
2 2 4     5    0
2 2 5     3    0
2 2 6     3    0
2 2 7     0    5
2 2 8     6    0
2 2 9     3    0
2 2 10    4    0
2 2 12    2    0
2 2 14    1    0
2 2 15    3    0
2 3 1     4    0
2 3 2     4    0
2 3 3     5    0
2 3 4     5    0
2 3 5     4    0
2 3 6     6    0
2 3 7     0    5
2 3 8     3    0
2 3 9     5    0
2 3 11    2    0
2 3 12    1    0
2 3 13    0    3
2 3 15    3    0
2 4 1     7    0
2 4 2    10    0
2 4 3     6    0
2 4 4     4    0
2 4 5     9    0
2 4 6     9    0
2 4 8    10    0
2 4 9     3    0
2 4 10    2    0
2 4 11    4    0
2 4 12    3    0
2 4 15    3    0
2 5 1    13    0
2 5 2    11    0
2 5 3    10    0
2 5 4    14    0
2 5 5     7    0
2 5 6     9    0
2 5 8     2    0
2 5 9     2    0
2 5 10    2    0
2 5 13    3    0
2 5 15    6    0
2 6 1     0    2
2 6 2     0    3
2 6 3     0    4
2 6 6     0    1
2 6 7     0    5
2 6 8     4    0
2 6 11    0    4
2 6 12    0    1
2 6 13    1    0
2 6 15    3    0
2 7 1     6    0
2 7 2     5    0
2 7 3     6    0
2 7 4     3    0
2 7 5     6    0
2 7 6     5    0
2 7 8    11    0
2 7 9     2    0
2 7 10    0    5
2 7 12    0    8
2 7 13    0    1
2 7 14    0    1
3 1 1    16    0
3 1 2    14    0
3 1 3    14    0
3 1 4    13    0
3 1 5     2    0
3 1 6     2    0
3 1 7     0    7
3 1 8     3    0
3 1 9     1    0
3 1 10    2    0
3 1 11    3    0
3 1 12    0    4
3 1 13    0    4
3 1 14    0    3
3 1 15    1    0
3 2 1     7    0
3 2 2     6    0
3 2 3     4    0
3 2 4     4    0
3 2 5     4    0
3 2 6     5    0
3 2 7     0    6
3 2 8     4    0
3 2 9     3    0
3 2 10    2    0
3 2 12    2    0
3 2 14    0    2
3 2 15    7    0
3 3 1    14    0
3 3 2    14    0
3 3 3    13    0
3 3 4    14    0
3 3 5     3    0
3 3 6    19    0
3 3 8     4    0
3 3 9     5    0
3 3 10    2    0
3 3 11    3    0
3 3 12    7    0
3 3 14    5    0
3 4 1    16    0
3 4 2    14    0
3 4 3    12    0
3 4 4    13    0
3 4 5     9    0
3 4 6     9    0
3 4 7    12    0
3 4 8     9    0
3 4 9     4    0
3 4 10    3    0
3 4 11    1    0
3 4 12    2    0
3 5 1    22    0
3 5 2    16    0
3 5 3    15    0
3 5 4    15    0
3 5 5    14    0
3 5 6    13    0
3 5 9     2    0
3 5 10    2    0
3 5 11    3    0
3 5 13    5    0
3 5 15    5    0
3 6 1     6    0
3 6 2     6    0
3 6 3     3    0
3 6 4     4    0
3 6 5    15    0
3 6 6    15    0
3 6 8     3    0
3 6 11   10    0
3 6 13    5    0
3 6 14    8    0
3 7 3     1    0
3 7 5     0    4
3 7 6     0    4
3 7 8     8    0
3 7 10    1    0
3 7 12    0    7
3 7 13    0    5
3 7 14    0    7
4 1 1     7    0
4 1 2     6    0
4 1 3     6    0
4 1 4    11    0
4 1 5    12    0
4 1 6    11    0
4 1 8     3    0
4 1 9     4    0
4 1 10    3    0
4 1 11    4    0
4 1 12    1    0
4 1 15    4    0
4 2 1     4    0
4 2 2     5    0
4 2 3     3    0
4 2 4     3    0
4 2 5     4    0
4 2 6     4    0
4 2 7     0    4
4 2 8     4    0
4 2 9     2    0
4 2 10    3    0
4 2 11    3    0
4 2 12    0    3
4 2 14    0    2
4 2 15    2    0
4 3 1     5    0
4 3 2     5    0
4 3 3     5    0
4 3 4    18    0
4 3 5    16    0
4 3 6     6    0
4 3 7     4    0
4 3 8     4    0
4 3 9     3    0
4 3 11    2    0
4 3 13    0    2
4 3 14    0    2
4 3 15    2    0
4 4 1     7    0
4 4 2     6    0
4 4 3     4    0
4 4 4    16    0
4 4 5    22    0
4 4 6    22    0
4 4 8     8    0
4 4 9     4    0
4 4 10    4    0
4 4 11    1    0
4 4 13    4    0
4 4 14    2    0
4 4 15    6    0
4 5 1    13    0
4 5 2    15    0
4 5 3     8    0
4 5 4    21    0
4 5 5     3    0
4 5 6     3    0
4 5 8     3    0
4 5 9     2    0
4 5 10    3    0
4 5 11    1    0
4 5 13    1    0
4 5 14    2    0
4 5 15    3    0
4 6 1    11    0
4 6 2    11    0
4 6 3     9    0
4 6 4    22    0
4 6 6     1    0
4 6 8     1    0
4 6 11    1    0
4 6 15    5    0
4 7 1     4    0
4 7 2     3    0
4 7 3     2    0
4 7 5     0    1
4 7 8     8    0
4 7 9     0    8
4 7 10    0    7
4 7 11    0   10
4 7 12    0    6
4 7 13    0    5
4 7 14    0    4
;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

R [1,1,1,*,*]
 [1,1,2,*,*]
 [1,1,3,*,*]
:    1     :=
28   20

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

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

 [1,1,6,*,*]
:    1     :=
8    10
21    9
51    1

 [1,1,7,*,*]
:    1     :=
14    9
46   11

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

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

 [1,3,5,*,*]
:    1    :=
51   9

 [1,3,6,*,*]
:    1    :=
50   9

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

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

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

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

 [1,6,6,*,*]
:    7    :=
21   2
28   3
43   5
48   3

 [1,6,7,*,*]
:    7     :=
28   11
51    2

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

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

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

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

 [1,10,7,*,*]
:    1    :=
1    2

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

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

 [1,11,5,*,*]
:    7    :=
1    2
50   3

 [1,11,6,*,*]
:    7    :=
1    1
51   4

 [1,11,7,*,*]
:    7    :=
28   3
51   2

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

 [1,15,4,*,*]
:    1     :=
21   14

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

 [1,15,6,*,*]
:    1     :=
21   14

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

 [1,16,1,*,*]
:    7    :=
21   7
51   2

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

 [1,16,5,*,*]
:    7    :=
1    6
51   3

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

 [1,16,7,*,*]
:    7    :=
28   1
40   5
46   1
51   2

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

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

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

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

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

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

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

 [2,6,2,*,*]
:   22    :=
51   7

 [2,6,3,*,*]
:   22    :=
51   7

 [2,6,4,*,*]
:   22    :=
51   7

 [2,6,5,*,*]
:   22    :=
51   7

 [2,6,6,*,*]
:   22    :=
51   7

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

 [2,11,2,*,*]
:    23    :=
51   10

 [2,11,3,*,*]
:    23    :=
1    10

 [2,11,4,*,*]
:    23    :=
1    10

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

 [2,11,6,*,*]
 [2,11,7,*,*]
:    23    :=
43   10

 [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,*,*]
:   22    :=
51   6

 [2,16,2,*,*]
:   22    :=
51   6

 [2,16,3,*,*]
:   22    :=
51   6

 [2,16,4,*,*]
:   22    :=
51   6

 [2,16,5,*,*]
:   22    :=
51   6

 [2,16,6,*,*]
:   22    :=
51   6

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

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

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

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

 [3,6,7,*,*]
:   16    :=
47   3

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

 [5,11,3,*,*]
:    4    :=
38   2

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

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

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

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

 [5,16,2,*,*]
:   19    :=
31   1

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

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

 [5,16,5,*,*]
 [5,16,6,*,*]
 [5,16,7,*,*]
:   19    :=
38   1

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

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

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

 [8,1,4,*,*]
:    22    :=
6    10

 [8,1,5,*,*]
:    22    :=
6    10

 [8,1,6,*,*]
:    22    :=
6    10

 [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    :=
6    8

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

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

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

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

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

 [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,*,*]
:   22    :=
6    8

 [8,11,2,*,*]
:   22    :=
6    8

 [8,11,3,*,*]
:   22    :=
6    8

 [8,11,4,*,*]
:   22    :=
6    8

 [8,11,5,*,*]
:   22    :=
6    8

 [8,11,6,*,*]
:   22    :=
6    8

 [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,*,*]
:   22    :=
6    9

 [8,16,2,*,*]
:   22    :=
6    9

 [8,16,3,*,*]
:   22    :=
6    9

 [8,16,4,*,*]
:   22    :=
6    9

 [8,16,5,*,*]
:   22    :=
6    9

 [8,16,6,*,*]
:   22    :=
6    9

 [8,16,7,*,*];

Faltantes = 250.8
sobrantes = 579
salario = 6473.7
servicio = 38.8534
capacitacion = 0.5

NVS [*] :=
1  0.920937
2  0.930334
3  0.922628
4  0.921965
;

COSTOS = 7342.85

_solve_elapsed_time = 20001.9

_nvars = 1049330
_ncons = 13348

solve_result_num = 422
