Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1LZ1.matrix.59p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 3.36 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.57 sec. Probing time = 6.27 sec. Clique table members: 4290498. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 589.82 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 7.02322e+12 3863 7.02322e+12 328179 * 0+ 0 1.53724e+18 7.02322e+12 328179 100.00% * 0+ 0 7.03679e+12 7.02322e+12 328179 0.19% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 25578 rows and 541067 columns. Aggregator did 76 substitutions. Reduced MIP has 59491 rows, 507295 columns, and 1073072 nonzeros. Reduced MIP has 507295 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 0% of probing (503 vars fixed). Elapsed time 20.06 sec. for 0% of probing (506 vars fixed). Elapsed time 30.07 sec. for 1% of probing (506 vars fixed). Elapsed time 40.08 sec. for 1% of probing (506 vars fixed). Elapsed time 50.12 sec. for 1% of probing (506 vars fixed). Elapsed time 60.15 sec. for 1% of probing (506 vars fixed). Elapsed time 70.17 sec. for 1% of probing (506 vars fixed). Elapsed time 80.21 sec. for 1% of probing (506 vars fixed). Elapsed time 90.22 sec. for 1% of probing (506 vars fixed). Elapsed time 100.26 sec. for 2% of probing (506 vars fixed). Elapsed time 110.27 sec. for 2% of probing (506 vars fixed). Probing fixed 506 vars, tightened 0 bounds. Probing time = 113.73 sec. Tried aggregator 1 time. MIP Presolve eliminated 10 rows and 516 columns. Reduced MIP has 59481 rows, 506779 columns, and 1072040 nonzeros. Reduced MIP has 506779 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 126.04 sec. Probing time = 8.18 sec. Clique table members: 2134971. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 364.58 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 7.03679e+12 7.02322e+12 644111 0.19% 0 0 7.02322e+12 3863 7.03679e+12 7.02322e+12 644111 0.19% * 0+ 0 7.02847e+12 7.02322e+12 644111 0.07% * 0+ 0 7.02352e+12 7.02322e+12 644111 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 35135 rows and 419517 columns. Aggregator did 4238 substitutions. Reduced MIP has 20108 rows, 83024 columns, and 185741 nonzeros. Reduced MIP has 83024 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.02 sec. for 6% of probing (254 vars fixed). Probing fixed 254 vars, tightened 0 bounds. Probing time = 12.03 sec. Tried aggregator 1 time. MIP Presolve eliminated 47 rows and 591 columns. Reduced MIP has 20061 rows, 82433 columns, and 184512 nonzeros. Reduced MIP has 82433 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 15.13 sec. Probing time = 0.89 sec. Clique table members: 361603. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 17.67 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 7.02352e+12 7.02322e+12 704501 0.00% 0 0 7.02323e+12 2908 7.02352e+12 7.02323e+12 704501 0.00% 0 2 7.02323e+12 2908 7.02352e+12 7.02323e+12 704501 0.00% Elapsed real time = 1194.65 sec. (tree size = 0.00 MB, solutions = 4) 1 3 7.02334e+12 4911 7.02352e+12 7.02323e+12 707507 0.00% 2 4 7.02327e+12 4453 7.02352e+12 7.02327e+12 708828 0.00% 3 5 7.02344e+12 2706 7.02352e+12 7.02327e+12 710747 0.00% 5 7 7.02346e+12 3234 7.02352e+12 7.02327e+12 719308 0.00% 6 6 cutoff 7.02352e+12 7.02327e+12 726104 0.00% 7 7 7.02347e+12 2259 7.02352e+12 7.02327e+12 727836 0.00% 8 8 7.02347e+12 2037 7.02352e+12 7.02327e+12 727846 0.00% 9 7 cutoff 7.02352e+12 7.02327e+12 730908 0.00% 11 7 7.02334e+12 2879 7.02352e+12 7.02334e+12 733652 0.00% 14 8 7.02345e+12 4202 7.02352e+12 7.02334e+12 738286 0.00% Elapsed real time = 1219.56 sec. (tree size = 0.18 MB, solutions = 4) 15 7 cutoff 7.02352e+12 7.02334e+12 743942 0.00% 19 7 7.02351e+12 3382 7.02352e+12 7.02334e+12 748048 0.00% 23 7 7.02344e+12 2866 7.02352e+12 7.02334e+12 751061 0.00% 26 6 7.02341e+12 3898 7.02352e+12 7.02337e+12 756083 0.00% 32 8 7.02348e+12 3465 7.02352e+12 7.02341e+12 759577 0.00% 40 8 7.02344e+12 1632 7.02352e+12 7.02342e+12 761735 0.00% 47 7 7.02351e+12 3922 7.02352e+12 7.02344e+12 764190 0.00% 58 6 cutoff 7.02352e+12 7.02346e+12 766604 0.00% 69 1 cutoff 7.02352e+12 7.02351e+12 768729 0.00% Root node processing (before b&c): Real time = 1186.99 Sequential b&c: Real time = 54.25 ------- Total (root+branch&cut) = 1241.24 sec. Solution pool: 4 solutions saved. MIP - Integer optimal solution: Objective = 7.0235179791e+12 Solution time = 1248.97 sec. Iterations = 768802 Nodes = 73 Deterministic time = 270175.29 ticks (216.32 ticks/sec) Incumbent solution written to file '1LZ1.matrix.59p.9aa.usingEref_self_digit8.wcsp.sol'.