Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1DKT.matrix.46p.18aa.usingEref_self_digit8.wcsp.lp' read. Read time = 7.73 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 = 11.35 sec. Elapsed time 10.68 sec. for 0% of probing. Elapsed time 21.27 sec. for 0% of probing. Elapsed time 31.96 sec. for 0% of probing. Probing time = 35.69 sec. Clique table members: 9569782. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1303.40 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 4.19305e+12 2026 4.19305e+12 450957 * 0+ 0 4.19389e+12 4.19305e+12 450957 0.02% * 0+ 0 4.19343e+12 4.19305e+12 450957 0.01% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 60051 rows and 1979040 columns. Aggregator did 3693 substitutions. Reduced MIP has 37237 rows, 374690 columns, and 785740 nonzeros. Reduced MIP has 374690 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 11.07 sec. for 0% of probing (411 vars fixed). Elapsed time 21.10 sec. for 0% of probing (479 vars fixed). Elapsed time 31.12 sec. for 1% of probing (495 vars fixed). Elapsed time 41.13 sec. for 1% of probing (495 vars fixed). Elapsed time 51.17 sec. for 1% of probing (495 vars fixed). Elapsed time 61.19 sec. for 2% of probing (495 vars fixed). Elapsed time 71.20 sec. for 2% of probing (495 vars fixed). Probing fixed 495 vars, tightened 0 bounds. Probing time = 78.72 sec. Tried aggregator 1 time. MIP Presolve eliminated 15 rows and 510 columns. Reduced MIP has 37222 rows, 374180 columns, and 784720 nonzeros. Reduced MIP has 374180 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 91.30 sec. Elapsed time 12.03 sec. for 0% of probing. Probing time = 19.49 sec. Clique table members: 1623599. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 60.71 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 4.19343e+12 4.19305e+12 573068 0.01% 0 0 4.19305e+12 1195 4.19343e+12 4.19305e+12 573068 0.01% * 0+ 0 4.19312e+12 4.19305e+12 573068 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 26749 rows and 343529 columns. Aggregator did 875 substitutions. Reduced MIP has 9598 rows, 29776 columns, and 68987 nonzeros. Reduced MIP has 29776 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.02 sec. for 31% of probing (2932 vars fixed). Probing fixed 2932 vars, tightened 0 bounds. Probing time = 15.69 sec. Tried aggregator 1 time. MIP Presolve eliminated 609 rows and 3575 columns. Reduced MIP has 8989 rows, 26201 columns, and 61282 nonzeros. Reduced MIP has 26201 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.14 sec. Tried aggregator 1 time. Represolve time = 17.90 sec. Probing time = 0.13 sec. Clique table members: 115554. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 2.31 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 4.19312e+12 4.19305e+12 594497 0.00% 0 0 4.19306e+12 844 4.19312e+12 4.19306e+12 594497 0.00% * 0+ 0 4.19310e+12 4.19306e+12 594497 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 3976 rows and 17072 columns. Aggregator did 1098 substitutions. Reduced MIP has 3915 rows, 8031 columns, and 19916 nonzeros. Reduced MIP has 8031 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 1072 vars, tightened 0 bounds. Probing time = 2.55 sec. Tried aggregator 1 time. MIP Presolve eliminated 526 rows and 1530 columns. Reduced MIP has 3389 rows, 6501 columns, and 16334 nonzeros. Reduced MIP has 6501 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.02 sec. Tried aggregator 1 time. Represolve time = 3.30 sec. Probing time = 0.02 sec. Clique table members: 30787. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.25 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 4.19310e+12 4.19306e+12 599642 0.00% 0 0 4.19310e+12 171 4.19310e+12 4.19310e+12 599642 0.00% * 0+ 0 4.19310e+12 4.19310e+12 599642 0.00% * 0+ 0 4.19310e+12 4.19310e+12 599642 0.00% Repeating presolve. Tried aggregator 4 times. MIP Presolve eliminated 3094 rows and 6206 columns. Aggregator did 295 substitutions. All rows and columns eliminated. Represolve time = 0.88 sec. Solution pool: 6 solutions saved. MIP - Integer optimal solution: Objective = 4.1930966552e+12 Solution time = 1851.00 sec. Iterations = 594497 Nodes = 0 Deterministic time = 419796.56 ticks (226.79 ticks/sec) Incumbent solution written to file '1DKT.matrix.46p.18aa.usingEref_self_digit8.wcsp.sol'.