Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1FNA.matrix.38p.8aa.usingEref_self_digit8.wcsp.lp' read. Read time = 1.56 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.14 sec. Probing time = 2.21 sec. Clique table members: 1931590. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 74.02 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 3.75052e+12 1584 3.75052e+12 135901 * 0+ 0 3.78053e+12 3.75052e+12 135901 0.79% 0 0 3.75052e+12 1585 3.78053e+12 ZeroHalf: 1 135920 0.79% * 0+ 0 3.75696e+12 3.75052e+12 135920 0.17% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 7252 rows and 172660 columns. Aggregator did 44 substitutions. Reduced MIP has 29372 rows, 298784 columns, and 626152 nonzeros. Reduced MIP has 298784 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 0% of probing (1777 vars fixed). Elapsed time 20.04 sec. for 0% of probing (1777 vars fixed). Elapsed time 30.11 sec. for 1% of probing (1777 vars fixed). Elapsed time 40.12 sec. for 1% of probing (1777 vars fixed). Elapsed time 50.17 sec. for 1% of probing (1777 vars fixed). Elapsed time 60.21 sec. for 1% of probing (1777 vars fixed). Elapsed time 70.26 sec. for 2% of probing (1777 vars fixed). Elapsed time 80.26 sec. for 2% of probing (1777 vars fixed). Elapsed time 90.28 sec. for 2% of probing (1777 vars fixed). Elapsed time 100.30 sec. for 2% of probing (1777 vars fixed). Elapsed time 110.31 sec. for 2% of probing (1777 vars fixed). Elapsed time 120.37 sec. for 3% of probing (1777 vars fixed). Elapsed time 130.44 sec. for 3% of probing (1777 vars fixed). Elapsed time 140.52 sec. for 3% of probing (1777 vars fixed). Elapsed time 150.61 sec. for 3% of probing (1777 vars fixed). Elapsed time 160.66 sec. for 3% of probing (1777 vars fixed). Elapsed time 170.68 sec. for 3% of probing (1777 vars fixed). Elapsed time 180.73 sec. for 4% of probing (1777 vars fixed). Elapsed time 190.75 sec. for 4% of probing (1777 vars fixed). Elapsed time 200.78 sec. for 4% of probing (1777 vars fixed). Probing fixed 1777 vars, tightened 0 bounds. Probing time = 205.92 sec. Tried aggregator 1 time. MIP Presolve eliminated 46 rows and 1787 columns. Reduced MIP has 29326 rows, 296997 columns, and 622542 nonzeros. Reduced MIP has 296997 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 211.11 sec. Probing time = 9.38 sec. Clique table members: 1237519. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 62.37 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 3.75696e+12 3.75052e+12 272400 0.17% 0 0 3.75052e+12 1580 3.75696e+12 3.75052e+12 272400 0.17% * 0+ 0 3.75092e+12 3.75052e+12 272400 0.01% * 0+ 0 3.75062e+12 3.75052e+12 272400 0.00% 0 2 3.75052e+12 1580 3.75062e+12 3.75052e+12 272400 0.00% Elapsed real time = 413.52 sec. (tree size = 0.00 MB, solutions = 4) 1 3 3.75061e+12 1601 3.75062e+12 3.75052e+12 273090 0.00% 2 4 3.75058e+12 2143 3.75062e+12 3.75058e+12 274031 0.00% 6 4 3.75059e+12 1509 3.75062e+12 3.75058e+12 274312 0.00% 11 5 3.75060e+12 2068 3.75062e+12 3.75059e+12 274731 0.00% 16 2 cutoff 3.75062e+12 3.75059e+12 275022 0.00% Zero-half cuts applied: 1 Root node processing (before b&c): Real time = 411.36 Sequential b&c: Real time = 5.23 ------- Total (root+branch&cut) = 416.59 sec. Solution pool: 4 solutions saved. MIP - Integer optimal solution: Objective = 3.7506159707e+12 Solution time = 418.99 sec. Iterations = 275163 Nodes = 19 Deterministic time = 96355.79 ticks (229.97 ticks/sec) Incumbent solution written to file '1FNA.matrix.38p.8aa.usingEref_self_digit8.wcsp.sol'.