Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1CSK.matrix.30p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 0.55 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.64 sec. Probing time = 0.48 sec. Clique table members: 739034. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 8.57 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.12602e+12 611 1.12602e+12 40785 * 0+ 0 1.53723e+18 1.12602e+12 40785 100.00% * 0+ 0 1.12696e+12 1.12602e+12 40785 0.08% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 8848 rows and 132998 columns. Aggregator did 984 substitutions. Reduced MIP has 8062 rows, 44683 columns, and 97141 nonzeros. Reduced MIP has 44683 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 340 vars, tightened 0 bounds. Probing time = 7.42 sec. Tried aggregator 1 time. MIP Presolve eliminated 22 rows and 362 columns. Reduced MIP has 8040 rows, 44321 columns, and 96417 nonzeros. Reduced MIP has 44321 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 8.30 sec. Probing time = 0.30 sec. Clique table members: 194320. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 3.01 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.12696e+12 1.12602e+12 65883 0.08% 0 0 1.12602e+12 538 1.12696e+12 1.12602e+12 65883 0.08% * 0+ 0 1.12607e+12 1.12602e+12 65883 0.00% * 0+ 0 1.12604e+12 1.12602e+12 65883 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 7275 rows and 43578 columns. MIP Presolve modified 115 coefficients. Aggregator did 547 substitutions. Reduced MIP has 218 rows, 196 columns, and 542 nonzeros. Reduced MIP has 196 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 2 vars, tightened 0 bounds. Probing time = 0.00 sec. Tried aggregator 1 time. MIP Presolve eliminated 151 rows and 112 columns. Reduced MIP has 67 rows, 84 columns, and 222 nonzeros. Reduced MIP has 84 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. MIP Presolve eliminated 5 rows and 6 columns. Reduced MIP has 62 rows, 78 columns, and 207 nonzeros. Reduced MIP has 78 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. MIP Presolve eliminated 3 rows and 3 columns. Reduced MIP has 59 rows, 75 columns, and 198 nonzeros. Reduced MIP has 75 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. MIP Presolve eliminated 4 rows and 3 columns. Reduced MIP has 55 rows, 72 columns, and 186 nonzeros. Reduced MIP has 72 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. Represolve time = 0.15 sec. Probing time = 0.00 sec. Clique table members: 430. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.00 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.12604e+12 1.12602e+12 65926 0.00% 0 0 cutoff 1.12604e+12 65926 0.00% Root node processing (before b&c): Real time = 24.20 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 24.20 sec. Solution pool: 4 solutions saved. MIP - Integer optimal solution: Objective = 1.1260377111e+12 Solution time = 24.86 sec. Iterations = 65926 Nodes = 0 Deterministic time = 9727.97 ticks (391.34 ticks/sec) Incumbent solution written to file '1CSK.matrix.30p.9aa.usingEref_self_digit8.wcsp.sol'.