Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '2TRX.matrix.61p.19aa.usingEref_self_digit8.wcsp.lp' read. Read time = 3.78 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 = 6.67 sec. Probing time = 6.81 sec. Clique table members: 4606421. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 537.72 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 7.01696e+12 1430 7.01696e+12 353419 * 0+ 0 7.03105e+12 7.01696e+12 353419 0.20% 0 0 7.01698e+12 1430 7.03105e+12 ZeroHalf: 26 353909 0.20% Repeating presolve. Tried aggregator 2 times. Aggregator has done 224 substitutions... MIP Presolve eliminated 15602 rows and 347818 columns. Aggregator did 224 substitutions. Reduced MIP has 79575 rows, 808978 columns, and 1696367 nonzeros. Reduced MIP has 808978 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 11.21 sec. for 0% of probing (850 vars fixed). Elapsed time 25.17 sec. for 0% of probing (939 vars fixed). Elapsed time 35.46 sec. for 0% of probing (945 vars fixed). Elapsed time 46.06 sec. for 0% of probing (1369 vars fixed). Elapsed time 56.06 sec. for 0% of probing (1562 vars fixed). Elapsed time 66.11 sec. for 0% of probing (1565 vars fixed). Elapsed time 76.18 sec. for 0% of probing (1565 vars fixed). Elapsed time 86.21 sec. for 0% of probing (1565 vars fixed). Elapsed time 96.22 sec. for 0% of probing (1565 vars fixed). Elapsed time 106.23 sec. for 0% of probing (1565 vars fixed). Elapsed time 116.25 sec. for 0% of probing (1565 vars fixed). Elapsed time 126.30 sec. for 0% of probing (1565 vars fixed). Elapsed time 136.31 sec. for 0% of probing (1565 vars fixed). Elapsed time 146.36 sec. for 0% of probing (1565 vars fixed). Elapsed time 156.37 sec. for 1% of probing (1565 vars fixed). Elapsed time 166.38 sec. for 1% of probing (1565 vars fixed). Elapsed time 176.41 sec. for 1% of probing (1565 vars fixed). Elapsed time 186.44 sec. for 1% of probing (1565 vars fixed). Elapsed time 196.45 sec. for 1% of probing (1565 vars fixed). Elapsed time 206.46 sec. for 1% of probing (1565 vars fixed). Elapsed time 216.51 sec. for 1% of probing (1565 vars fixed). Elapsed time 226.58 sec. for 1% of probing (1565 vars fixed). Elapsed time 236.64 sec. for 1% of probing (1565 vars fixed). Elapsed time 246.65 sec. for 1% of probing (1565 vars fixed). Elapsed time 256.65 sec. for 1% of probing (1565 vars fixed). Elapsed time 266.68 sec. for 1% of probing (1565 vars fixed). Elapsed time 276.74 sec. for 1% of probing (1565 vars fixed). Elapsed time 286.79 sec. for 1% of probing (1565 vars fixed). Elapsed time 296.83 sec. for 1% of probing (1565 vars fixed). Elapsed time 306.87 sec. for 1% of probing (1565 vars fixed). Elapsed time 316.89 sec. for 1% of probing (1565 vars fixed). Elapsed time 326.94 sec. for 1% of probing (1565 vars fixed). Elapsed time 336.98 sec. for 1% of probing (1565 vars fixed). Elapsed time 346.99 sec. for 1% of probing (1565 vars fixed). Elapsed time 357.00 sec. for 1% of probing (1565 vars fixed). Elapsed time 367.05 sec. for 2% of probing (1565 vars fixed). Probing fixed 1565 vars, tightened 0 bounds. Probing time = 370.75 sec. Tried aggregator 1 time. MIP Presolve eliminated 48 rows and 1613 columns. Reduced MIP has 79527 rows, 807365 columns, and 1693141 nonzeros. Reduced MIP has 807365 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 384.90 sec. Elapsed time 10.95 sec. for 0% of probing. Elapsed time 22.16 sec. for 0% of probing. Probing time = 28.23 sec. Clique table members: 3360520. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 265.53 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 7.03105e+12 7.01698e+12 648625 0.20% 0 0 7.01698e+12 1428 7.03105e+12 7.01698e+12 648625 0.20% * 0+ 0 7.01706e+12 7.01698e+12 648625 0.00% 0 2 7.01698e+12 1428 7.01706e+12 7.01698e+12 648625 0.00% Elapsed real time = 1338.85 sec. (tree size = 0.00 MB, solutions = 2) 2 4 7.01699e+12 1230 7.01706e+12 7.01698e+12 648735 0.00% * 4 2 integral 0 7.01704e+12 7.01698e+12 648937 0.00% 6 0 cutoff 7.01704e+12 7.01704e+12 649012 0.00% Zero-half cuts applied: 18 Root node processing (before b&c): Real time = 1332.15 Sequential b&c: Real time = 1.96 ------- Total (root+branch&cut) = 1334.10 sec. Solution pool: 3 solutions saved. MIP - Integer optimal solution: Objective = 7.0170371128e+12 Solution time = 1341.32 sec. Iterations = 649012 Nodes = 7 Deterministic time = 423535.86 ticks (315.76 ticks/sec) Incumbent solution written to file '2TRX.matrix.61p.19aa.usingEref_self_digit8.wcsp.sol'.