Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '2RN2.matrix.69p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 4.32 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 = 8.87 sec. Probing time = 9.65 sec. Clique table members: 5563204. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 472.80 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 8.91083e+12 5662 8.91083e+12 366357 * 0+ 0 8.91780e+12 8.91083e+12 366357 0.08% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 46106 rows and 884691 columns. Aggregator did 76 substitutions. Reduced MIP has 67243 rows, 471669 columns, and 1009601 nonzeros. Reduced MIP has 471669 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.04 sec. for 0% of probing (3085 vars fixed). Elapsed time 20.08 sec. for 0% of probing (3152 vars fixed). Elapsed time 30.11 sec. for 1% of probing (3152 vars fixed). Elapsed time 40.13 sec. for 1% of probing (3152 vars fixed). Elapsed time 50.18 sec. for 1% of probing (3152 vars fixed). Elapsed time 60.18 sec. for 2% of probing (3152 vars fixed). Elapsed time 70.20 sec. for 2% of probing (3152 vars fixed). Elapsed time 80.23 sec. for 2% of probing (3152 vars fixed). Elapsed time 90.24 sec. for 3% of probing (3152 vars fixed). Elapsed time 100.28 sec. for 3% of probing (3152 vars fixed). Elapsed time 110.29 sec. for 3% of probing (3152 vars fixed). Elapsed time 120.32 sec. for 4% of probing (3152 vars fixed). Elapsed time 130.34 sec. for 4% of probing (3152 vars fixed). Elapsed time 140.37 sec. for 4% of probing (3152 vars fixed). Elapsed time 150.41 sec. for 4% of probing (3152 vars fixed). Elapsed time 160.41 sec. for 4% of probing (3152 vars fixed). Elapsed time 170.44 sec. for 5% of probing (3152 vars fixed). Elapsed time 180.48 sec. for 5% of probing (3152 vars fixed). Elapsed time 190.51 sec. for 5% of probing (3152 vars fixed). Probing fixed 3152 vars, tightened 0 bounds. Probing time = 194.86 sec. Tried aggregator 1 time. MIP Presolve eliminated 224 rows and 3179 columns. Reduced MIP has 67019 rows, 468490 columns, and 1003042 nonzeros. Reduced MIP has 468490 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 206.32 sec. Probing time = 6.77 sec. Clique table members: 1962459. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 213.35 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 8.91780e+12 8.91083e+12 653452 0.08% 0 0 8.91084e+12 5502 8.91780e+12 8.91084e+12 653452 0.08% * 0+ 0 8.91095e+12 8.91084e+12 653452 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 44538 rows and 411952 columns. Aggregator did 6397 substitutions. Reduced MIP has 16084 rows, 50141 columns, and 116122 nonzeros. Reduced MIP has 50141 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 14% of probing (7241 vars fixed). Elapsed time 20.05 sec. for 27% of probing (7241 vars fixed). Elapsed time 30.07 sec. for 36% of probing (7241 vars fixed). Elapsed time 40.07 sec. for 45% of probing (7241 vars fixed). Probing fixed 7241 vars, tightened 0 bounds. Probing time = 42.30 sec. Tried aggregator 2 times. MIP Presolve eliminated 1862 rows and 11089 columns. Aggregator did 1 substitutions. Reduced MIP has 14221 rows, 39051 columns, and 92211 nonzeros. Reduced MIP has 39051 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.31 sec. Tried aggregator 1 time. Represolve time = 45.19 sec. Probing time = 0.31 sec. Clique table members: 171784. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 6.10 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 8.91095e+12 8.91084e+12 688120 0.00% * 0 0 integral 0 8.91094e+12 8.91094e+12 688120 0.00% Elapsed real time = 1136.45 sec. (tree size = 0.00 MB, solutions = 3) Root node processing (before b&c): Real time = 1127.61 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 1127.61 sec. Solution pool: 3 solutions saved. MIP - Integer optimal solution: Objective = 8.9109367133e+12 Solution time = 1136.65 sec. Iterations = 688120 Nodes = 0 Deterministic time = 285112.52 ticks (250.84 ticks/sec) Incumbent solution written to file '2RN2.matrix.69p.9aa.usingEref_self_digit8.wcsp.sol'.