Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '2PCY.matrix.46p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 1.68 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 = 2.58 sec. Probing time = 2.36 sec. Clique table members: 2211703. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 67.29 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0 0 integral 0 2.93633e+12 2.93633e+12 134737 0.00% Elapsed real time = 76.28 sec. (tree size = 0.00 MB, solutions = 1) Root node processing (before b&c): Real time = 73.71 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 73.71 sec. Solution pool: 2 solutions saved. MIP - Integer optimal solution: Objective = 2.9363272278e+12 Solution time = 76.66 sec. Iterations = 134737 Nodes = 0 Deterministic time = 27708.02 ticks (361.45 ticks/sec) Incumbent solution written to file '2PCY.matrix.46p.9aa.usingEref_self_digit8.wcsp.sol'.