Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1CSE.matrix.97p.18aa.usingEref_self_digit8.wcsp.lp' read. Read time = 2.75 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 has eliminated 0 rows and 0 columns... Presolve time = 7.69 sec. Probing time = 3.27 sec. Clique table members: 3180133. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 183.79 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0 0 integral 0 1.86040e+13 1.86040e+13 305199 0.00% Elapsed real time = 205.39 sec. (tree size = 0.00 MB, solutions = 1) Root node processing (before b&c): Real time = 197.72 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 197.72 sec. Solution pool: 1 solution saved. MIP - Integer optimal solution: Objective = 1.8604039022e+13 Solution time = 205.93 sec. Iterations = 305199 Nodes = 0 Deterministic time = 54505.38 ticks (264.67 ticks/sec) Incumbent solution written to file '1CSE.matrix.97p.18aa.usingEref_self_digit8.wcsp.sol'.