Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012


Problem '1SHG.matrix.28p.17aa.usingEref_self_digit8.wcsp.lp' read.
Read time =    0.81 sec.
Warning:  CPLEX version found in file /work/tschiex/CPD-Décembre2012/cplex/cplex.prm (12.2.0.0) does not match
          this CPLEX version (12.4.0.0).
Parameter file '/work/tschiex/CPD-Décembre2012/cplex/cplex.prm' read.
Tried aggregator 1 time.
Presolve time =    1.04 sec.
Probing time =    1.07 sec.
Clique table members: 1011839.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: none, using 1 thread.
Root relaxation solution time =   12.13 sec.

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

      0     0   1.51310e+12   506                 1.51310e+12    37534         
*     0+    0                       4.61169e+18   1.51310e+12    37534  100.00%
      0     0   1.51310e+12   506   4.61169e+18   ZeroHalf: 7    37571  100.00%
*     0+    0                       3.07446e+18   1.51310e+12    37571  100.00%
      0     0   1.51310e+12   506   3.07446e+18   ZeroHalf: 8    37598  100.00%
*     0+    0                       1.51337e+12   1.51310e+12    37598    0.02%

Repeating presolve.
Tried aggregator 2 times.
MIP Presolve eliminated 12585 rows and 213979 columns.
Aggregator did 886 substitutions.
Reduced MIP has 6456 rows, 30539 columns, and 67311 nonzeros.
Reduced MIP has 30539 binaries, 0 generals, 0 SOSs, and 0 indicators.
Probing fixed 455 vars, tightened 0 bounds.
Probing time =    7.65 sec.
Tried aggregator 1 time.
MIP Presolve eliminated 112 rows and 872 columns.
Reduced MIP has 6344 rows, 29667 columns, and 65452 nonzeros.
Reduced MIP has 29667 binaries, 0 generals, 0 SOSs, and 0 indicators.
Probing time =    0.25 sec.
Tried aggregator 1 time.
Represolve time =    9.02 sec.
Probing time =    0.25 sec.
Clique table members: 134188.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: none, using 1 thread.
Root relaxation solution time =    1.75 sec.

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

*     0+    0                       1.51337e+12   1.51310e+12    53491    0.02%
      0     0   1.51310e+12   438   1.51337e+12   1.51310e+12    53491    0.02%
      0     2   1.51310e+12   438   1.51337e+12   1.51310e+12    53491    0.02%
Elapsed real time =  38.57 sec. (tree size =  0.00 MB, solutions = 3)
      7     5   1.51329e+12   306   1.51337e+12   1.51312e+12    55949    0.02%
     16     6   1.51320e+12  1152   1.51337e+12   1.51320e+12    57808    0.01%
     20    10   1.51332e+12   801   1.51337e+12   1.51320e+12    59032    0.01%
     30    12   1.51332e+12   420   1.51337e+12   1.51322e+12    60725    0.01%
     38    12        cutoff         1.51337e+12   1.51324e+12    62439    0.01%
     60     4        cutoff         1.51337e+12   1.51334e+12    63916    0.00%
*    62     4      integral     0   1.51337e+12   1.51334e+12    64000    0.00%
*    68     0      integral     0   1.51336e+12   1.51336e+12    64194    0.00%

Zero-half cuts applied:  15

Root node processing (before b&c):
  Real time             =   37.51
Sequential b&c:
  Real time             =    3.72
                          -------
Total (root+branch&cut) =   41.23 sec.

Solution pool: 5 solutions saved.

MIP - Integer optimal solution:  Objective =  1.5133603964e+12
Solution time =   42.32 sec.  Iterations = 64194  Nodes = 69
Deterministic time = 15418.61 ticks  (364.32 ticks/sec)


Incumbent solution written to file '1SHG.matrix.28p.17aa.usingEref_self_digit8.wcsp.sol'.