Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1BK2.matrix.24p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 2.51 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 time = 2.65 sec. Probing time = 5.72 sec. Clique table members: 3054026. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 42.78 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.13373e+12 390 1.13373e+12 69398 * 0+ 0 1.14412e+12 1.13373e+12 69398 0.91% * 0+ 0 1.13455e+12 1.13373e+12 69402 0.07% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 14844 rows and 564381 columns. Aggregator did 1385 substitutions. Reduced MIP has 13557 rows, 182573 columns, and 378126 nonzeros. Reduced MIP has 182573 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.02 sec. for 0% of probing (1880 vars fixed). Elapsed time 20.02 sec. for 1% of probing (1909 vars fixed). Elapsed time 30.04 sec. for 1% of probing (1909 vars fixed). Elapsed time 40.07 sec. for 2% of probing (1909 vars fixed). Elapsed time 50.12 sec. for 2% of probing (1909 vars fixed). Elapsed time 60.15 sec. for 2% of probing (1909 vars fixed). Elapsed time 70.21 sec. for 3% of probing (1909 vars fixed). Elapsed time 80.26 sec. for 3% of probing (1909 vars fixed). Elapsed time 90.31 sec. for 3% of probing (1909 vars fixed). Elapsed time 100.35 sec. for 4% of probing (1909 vars fixed). Elapsed time 110.39 sec. for 4% of probing (1909 vars fixed). Elapsed time 120.43 sec. for 4% of probing (1909 vars fixed). Elapsed time 130.43 sec. for 4% of probing (1909 vars fixed). Elapsed time 140.44 sec. for 5% of probing (1909 vars fixed). Elapsed time 150.48 sec. for 5% of probing (1909 vars fixed). Probing fixed 1909 vars, tightened 0 bounds. Probing time = 151.61 sec. Tried aggregator 1 time. MIP Presolve eliminated 143 rows and 3209 columns. Reduced MIP has 13414 rows, 179364 columns, and 371668 nonzeros. Reduced MIP has 179364 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 3.63 sec. Tried aggregator 1 time. Represolve time = 160.76 sec. Probing time = 3.26 sec. Clique table members: 740269. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 8.91 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.13455e+12 1.13373e+12 107671 0.07% 0 0 1.13373e+12 337 1.13455e+12 1.13373e+12 107671 0.07% * 0+ 0 1.13447e+12 1.13373e+12 107671 0.07% * 0+ 0 1.13394e+12 1.13373e+12 107671 0.02% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 6026 rows and 127451 columns. Aggregator did 391 substitutions. Reduced MIP has 6997 rows, 51522 columns, and 109770 nonzeros. Reduced MIP has 51522 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.00 sec. for 6% of probing (3066 vars fixed). Elapsed time 20.02 sec. for 13% of probing (3066 vars fixed). Elapsed time 30.03 sec. for 18% of probing (3066 vars fixed). Probing fixed 3066 vars, tightened 0 bounds. Probing time = 33.47 sec. Tried aggregator 1 time. MIP Presolve eliminated 217 rows and 3733 columns. Reduced MIP has 6780 rows, 47789 columns, and 102102 nonzeros. Reduced MIP has 47789 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.50 sec. Tried aggregator 1 time. Represolve time = 35.36 sec. Probing time = 0.50 sec. Clique table members: 222346. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1.43 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.13394e+12 1.13373e+12 122084 0.02% 0 0 1.13386e+12 291 1.13394e+12 1.13386e+12 122084 0.01% * 0+ 0 1.13392e+12 1.13386e+12 122084 0.01% * 0+ 0 1.13389e+12 1.13386e+12 122084 0.00% Repeating presolve. Tried aggregator 3 times. MIP Presolve eliminated 5538 rows and 45901 columns. MIP Presolve modified 64 coefficients. Aggregator did 196 substitutions. Reduced MIP has 1046 rows, 1692 columns, and 4400 nonzeros. Reduced MIP has 1692 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 2 vars, tightened 0 bounds. Probing time = 0.06 sec. Tried aggregator 1 time. MIP Presolve eliminated 562 rows and 920 columns. Reduced MIP has 484 rows, 772 columns, and 1992 nonzeros. Reduced MIP has 772 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.00 sec. Tried aggregator 1 time. Represolve time = 0.46 sec. Probing time = 0.00 sec. Clique table members: 3683. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.01 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.13389e+12 1.13386e+12 122621 0.00% 0 0 cutoff 1.13389e+12 122621 0.00% Root node processing (before b&c): Real time = 299.85 Sequential b&c: Real time = 0.00 ------- Total (root+branch&cut) = 299.85 sec. Solution pool: 6 solutions saved. MIP - Integer optimal solution: Objective = 1.1338949921e+12 Solution time = 302.60 sec. Iterations = 122621 Nodes = 0 Deterministic time = 74669.51 ticks (246.76 ticks/sec) Incumbent solution written to file '1BK2.matrix.24p.17aa.usingEref_self_digit8.wcsp.sol'.