Log started (V12.4.0.0) Mon Jan 28 17:34:34 2013 Problem '1FYN.matrix.23p.19aa.usingEref_self_digit8.wcsp.lp' read. Read time = 9.26 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.28 sec. Elapsed time 26.91 sec. for 0% of probing. Elapsed time 47.38 sec. for 0% of probing. Elapsed time 58.55 sec. for 0% of probing. Elapsed time 82.22 sec. for 0% of probing. Elapsed time 93.76 sec. for 0% of probing. Elapsed time 115.92 sec. for 0% of probing. Elapsed time 126.07 sec. for 0% of probing. Probing time = 127.65 sec. Clique table members: 11785077. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1107.55 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.18350e+12 704 1.18350e+12 279108 * 0+ 0 1.27707e+12 1.18350e+12 279108 7.33% * 0+ 0 1.18537e+12 1.18350e+12 279108 0.16% Repeating presolve. Tried aggregator 2 times. Aggregator has done 3073 substitutions... MIP Presolve eliminated 20858 rows and 1768220 columns. Aggregator did 3073 substitutions. Reduced MIP has 30520 rows, 1066470 columns, and 2161972 nonzeros. Reduced MIP has 1066470 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 12.09 sec. for 0% of probing. Elapsed time 22.22 sec. for 0% of probing. Elapsed time 38.00 sec. for 0% of probing (1 vars fixed). Elapsed time 51.24 sec. for 0% of probing (1 vars fixed). Elapsed time 61.68 sec. for 0% of probing (5 vars fixed). Elapsed time 71.76 sec. for 0% of probing (5 vars fixed). Elapsed time 81.81 sec. for 0% of probing (5 vars fixed). Elapsed time 91.85 sec. for 0% of probing (5 vars fixed). Probing fixed 5 vars, tightened 0 bounds. Probing time = 94.99 sec. Tried aggregator 1 time. MIP Presolve eliminated 0 rows and 5 columns. Reduced MIP has 30520 rows, 1066465 columns, and 2161962 nonzeros. Reduced MIP has 1066465 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 113.01 sec. Elapsed time 13.08 sec. for 0% of probing. Probing time = 22.66 sec. Clique table members: 4346453. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 255.61 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.18537e+12 1.18350e+12 442089 0.16% 0 0 1.18350e+12 616 1.18537e+12 1.18350e+12 442089 0.16% * 0+ 0 1.18403e+12 1.18350e+12 442089 0.05% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 5831 rows and 376570 columns. Aggregator did 11 substitutions. Reduced MIP has 24678 rows, 689884 columns, and 1403252 nonzeros. Reduced MIP has 689884 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 13.90 sec. for 0% of probing (16 vars fixed). Elapsed time 27.90 sec. for 0% of probing (20 vars fixed). Elapsed time 40.67 sec. for 0% of probing (20 vars fixed). Elapsed time 59.39 sec. for 0% of probing (20 vars fixed). Elapsed time 69.40 sec. for 0% of probing (49 vars fixed). Elapsed time 79.44 sec. for 0% of probing (54 vars fixed). Elapsed time 89.48 sec. for 0% of probing (71 vars fixed). Elapsed time 99.48 sec. for 0% of probing (71 vars fixed). Elapsed time 109.50 sec. for 0% of probing (71 vars fixed). Elapsed time 119.56 sec. for 0% of probing (71 vars fixed). Elapsed time 129.60 sec. for 0% of probing (71 vars fixed). Probing fixed 71 vars, tightened 0 bounds. Probing time = 131.09 sec. Tried aggregator 1 time. MIP Presolve eliminated 1 rows and 72 columns. Reduced MIP has 24677 rows, 689812 columns, and 1403108 nonzeros. Reduced MIP has 689812 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 139.94 sec. Elapsed time 12.00 sec. for 0% of probing. Elapsed time 24.55 sec. for 0% of probing. Elapsed time 42.47 sec. for 0% of probing. Elapsed time 55.99 sec. for 0% of probing. Probing time = 56.91 sec. Clique table members: 2855452. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 107.79 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.18403e+12 1.18350e+12 545923 0.05% 0 0 1.18350e+12 616 1.18403e+12 1.18350e+12 545923 0.05% Heuristic still looking. 0 2 1.18350e+12 616 1.18403e+12 1.18350e+12 545923 0.05% Elapsed real time = 2139.12 sec. (tree size = 0.00 MB, solutions = 3) 1 3 1.18351e+12 600 1.18403e+12 1.18350e+12 547020 0.05% 2 4 1.18354e+12 584 1.18403e+12 1.18350e+12 550418 0.05% 3 5 1.18365e+12 833 1.18403e+12 1.18350e+12 556359 0.05% 4 6 1.18358e+12 567 1.18403e+12 1.18350e+12 559847 0.05% * 5 3 integral 0 1.18358e+12 1.18350e+12 559862 0.01% 6 2 cutoff 1.18358e+12 1.18350e+12 559863 0.01% 7 3 1.18350e+12 602 1.18358e+12 1.18350e+12 559944 0.01% 8 4 1.18353e+12 584 1.18358e+12 1.18350e+12 563771 0.01% * 9 3 integral 0 1.18356e+12 1.18350e+12 566462 0.01% 12 2 cutoff 1.18356e+12 1.18351e+12 572000 0.00% Elapsed real time = 2256.98 sec. (tree size = 0.46 MB, solutions = 5) 14 2 1.18352e+12 584 1.18356e+12 1.18352e+12 574067 0.00% 15 1 cutoff 1.18356e+12 1.18352e+12 576471 0.00% Root node processing (before b&c): Real time = 2130.78 Sequential b&c: Real time = 122.82 ------- Total (root+branch&cut) = 2253.60 sec. Solution pool: 5 solutions saved. MIP - Integer optimal solution: Objective = 1.1835599149e+12 Solution time = 2262.60 sec. Iterations = 577221 Nodes = 17 Deterministic time = 599587.79 ticks (265.00 ticks/sec) Incumbent solution written to file '1FYN.matrix.23p.19aa.usingEref_self_digit8.wcsp.sol'.