Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1NXB.matrix.34p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 0.96 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.27 sec. Probing time = 0.85 sec. Clique table members: 1250092. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 16.73 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0 0 integral 0 2.97196e+12 2.97196e+12 71327 0.00% Elapsed real time = 21.01 sec. (tree size = 0.00 MB, solutions = 1) Root node processing (before b&c): Real time = 19.74 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 19.74 sec. Solution pool: 2 solutions saved. MIP - Integer optimal solution: Objective = 2.9719585563e+12 Solution time = 21.21 sec. Iterations = 71327 Nodes = 0 Deterministic time = 8007.87 ticks (377.57 ticks/sec) Incumbent solution written to file '1NXB.matrix.34p.9aa.usingEref_self_digit8.wcsp.sol'.