Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1L63.matrix.83p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 8.87 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 = 21.17 sec. Elapsed time 10.20 sec. for 0% of probing. Elapsed time 20.50 sec. for 0% of probing. Probing time = 28.39 sec. Clique table members: 10478491. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 2168.29 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.28927e+13 3183 1.28927e+13 695372 * 0+ 0 1.28933e+13 1.28927e+13 695372 0.00% * 0+ 0 1.28929e+13 1.28927e+13 695372 0.00% Repeating presolve. Tried aggregator 2 times. Aggregator has done 4083 substitutions... MIP Presolve eliminated 149784 rows and 2589708 columns. MIP Presolve modified 2 coefficients. Aggregator did 4083 substitutions. Reduced MIP has 42360 rows, 154415 columns, and 350705 nonzeros. Reduced MIP has 154415 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.03 sec. for 2% of probing (1812 vars fixed). Elapsed time 20.05 sec. for 5% of probing (1812 vars fixed). Elapsed time 30.07 sec. for 7% of probing (1812 vars fixed). Elapsed time 40.08 sec. for 9% of probing (1812 vars fixed). Elapsed time 50.12 sec. for 10% of probing (1812 vars fixed). Elapsed time 60.16 sec. for 11% of probing (1812 vars fixed). Probing fixed 1812 vars, tightened 0 bounds. Probing time = 64.32 sec. Tried aggregator 1 time. MIP Presolve eliminated 327 rows and 1983 columns. Reduced MIP has 42033 rows, 152432 columns, and 346520 nonzeros. Reduced MIP has 152432 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 1.39 sec. Tried aggregator 1 time. Represolve time = 81.15 sec. Probing time = 1.45 sec. Clique table members: 651969. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 50.26 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.28929e+13 1.28927e+13 805080 0.00% 0 0 1.28927e+13 2883 1.28929e+13 1.28927e+13 805080 0.00% * 0+ 0 1.28927e+13 1.28927e+13 805080 0.00% Repeating presolve. Tried aggregator 3 times. MIP Presolve eliminated 37077 rows and 147250 columns. MIP Presolve modified 170 coefficients. Aggregator did 3499 substitutions. Reduced MIP has 1457 rows, 1683 columns, and 4762 nonzeros. Reduced MIP has 1683 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 1 vars, tightened 0 bounds. Probing time = 0.02 sec. Tried aggregator 1 time. MIP Presolve eliminated 1196 rows and 1410 columns. Reduced MIP has 261 rows, 273 columns, and 783 nonzeros. Reduced MIP has 273 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. Represolve time = 1.13 sec. Probing time = 0.00 sec. Clique table members: 1446. 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.28927e+13 1.28927e+13 805340 0.00% 0 0 cutoff 1.28927e+13 805340 0.00% Root node processing (before b&c): Real time = 2796.30 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 2796.30 sec. Solution pool: 3 solutions saved. MIP - Integer optimal solution: Objective = 1.2892694858e+13 Solution time = 2817.78 sec. Iterations = 805340 Nodes = 0 Deterministic time = 416561.32 ticks (147.83 ticks/sec) Incumbent solution written to file '1L63.matrix.83p.17aa.usingEref_self_digit8.wcsp.sol'.