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


Problem '1MJC.matrix.28p.17aa.usingEref_self_digit8.wcsp.lp' read.
Read time =    0.30 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.37 sec.
Probing time =    0.38 sec.
Clique table members: 426921.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: none, using 1 thread.
Root relaxation solution time =    2.49 sec.

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

*     0     0      integral     0   1.51457e+12   1.51457e+12    22311    0.00%
Elapsed real time =   3.87 sec. (tree size =  0.00 MB, solutions = 1)

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

Solution pool: 2 solutions saved.

MIP - Integer optimal solution:  Objective =  1.5145707793e+12
Solution time =    3.94 sec.  Iterations = 22311  Nodes = 0
Deterministic time = 1587.57 ticks  (403.25 ticks/sec)


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