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


Problem '1SHF.matrix.30p.9aa.usingEref_self_digit8.wcsp.lp' read.
Read time =    0.57 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 =    0.70 sec.
Probing time =    0.56 sec.
Clique table members: 790230.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: none, using 1 thread.
Root relaxation solution time =    8.49 sec.

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

*     0     0      integral     0   1.10127e+12   1.10127e+12    42627    0.00%
Elapsed real time =  10.94 sec. (tree size =  0.00 MB, solutions = 1)

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

Solution pool: 1 solution saved.

MIP - Integer optimal solution:  Objective =  1.1012713968e+12
Solution time =   11.07 sec.  Iterations = 42627  Nodes = 0
Deterministic time = 4517.79 ticks  (408.20 ticks/sec)


Incumbent solution written to file '1SHF.matrix.30p.9aa.usingEref_self_digit8.wcsp.sol'.