Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1CTF.matrix.39p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 2.24 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 = 3.25 sec. Probing time = 4.15 sec. Clique table members: 2868403. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 246.63 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.88163e+12 2518 1.88163e+12 195224 * 0+ 0 1.53723e+18 1.88163e+12 195224 100.00% * 0+ 0 1.90358e+12 1.88163e+12 195224 1.15% * 0+ 0 1.88715e+12 1.88163e+12 195224 0.29% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 12388 rows and 332693 columns. Aggregator did 29 substitutions. Reduced MIP has 33374 rows, 367399 columns, and 767284 nonzeros. Reduced MIP has 367399 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 0% of probing (69 vars fixed). Elapsed time 20.03 sec. for 0% of probing (69 vars fixed). Elapsed time 30.08 sec. for 1% of probing (69 vars fixed). Elapsed time 40.11 sec. for 1% of probing (69 vars fixed). Probing fixed 69 vars, tightened 0 bounds. Probing time = 40.89 sec. Tried aggregator 1 time. MIP Presolve eliminated 0 rows and 69 columns. Reduced MIP has 33374 rows, 367330 columns, and 767146 nonzeros. Reduced MIP has 367330 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 48.58 sec. Probing time = 6.42 sec. Clique table members: 1584856. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 100.03 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.88715e+12 1.88163e+12 360043 0.29% 0 0 1.88163e+12 2518 1.88715e+12 1.88163e+12 360043 0.29% * 0+ 0 1.88176e+12 1.88163e+12 360043 0.01% 0 2 1.88163e+12 2518 1.88176e+12 1.88163e+12 360043 0.01% Elapsed real time = 452.11 sec. (tree size = 0.00 MB, solutions = 4) 2 4 1.88169e+12 2011 1.88176e+12 1.88163e+12 361459 0.01% 4 6 1.88174e+12 2255 1.88176e+12 1.88163e+12 362877 0.01% 5 7 1.88172e+12 3100 1.88176e+12 1.88163e+12 364514 0.01% 6 6 cutoff 1.88176e+12 1.88163e+12 365072 0.01% 7 5 cutoff 1.88176e+12 1.88163e+12 365421 0.01% 8 6 1.88163e+12 2462 1.88176e+12 1.88163e+12 365477 0.01% 9 7 1.88164e+12 2168 1.88176e+12 1.88163e+12 366652 0.01% 10 8 1.88165e+12 1800 1.88176e+12 1.88163e+12 366871 0.01% 11 9 1.88167e+12 1712 1.88176e+12 1.88163e+12 367803 0.01% 12 10 1.88172e+12 2285 1.88176e+12 1.88163e+12 369319 0.01% Elapsed real time = 476.79 sec. (tree size = 3.39 MB, solutions = 4) 15 9 cutoff 1.88176e+12 1.88163e+12 371500 0.01% 18 12 1.88172e+12 3121 1.88176e+12 1.88163e+12 374510 0.01% 19 13 1.88176e+12 1937 1.88176e+12 1.88163e+12 376114 0.01% 24 14 1.88167e+12 1643 1.88176e+12 1.88164e+12 378410 0.01% 25 15 1.88172e+12 2315 1.88176e+12 1.88164e+12 380414 0.01% 30 16 1.88168e+12 2150 1.88176e+12 1.88165e+12 382374 0.01% 32 18 1.88174e+12 2533 1.88176e+12 1.88165e+12 384021 0.01% 36 18 1.88168e+12 2153 1.88176e+12 1.88165e+12 386189 0.01% 38 20 1.88175e+12 1385 1.88176e+12 1.88165e+12 388109 0.01% 42 20 1.88169e+12 2216 1.88176e+12 1.88165e+12 389639 0.01% Elapsed real time = 513.95 sec. (tree size = 8.94 MB, solutions = 4) 45 21 cutoff 1.88176e+12 1.88165e+12 391130 0.01% 48 22 1.88172e+12 2861 1.88176e+12 1.88167e+12 393304 0.00% 52 22 1.88174e+12 690 1.88176e+12 1.88168e+12 395511 0.00% 56 22 1.88174e+12 2102 1.88176e+12 1.88168e+12 397584 0.00% 60 22 1.88175e+12 2102 1.88176e+12 1.88169e+12 399657 0.00% 66 20 1.88172e+12 4004 1.88176e+12 1.88169e+12 401723 0.00% 70 20 cutoff 1.88176e+12 1.88169e+12 403416 0.00% 72 22 1.88173e+12 2477 1.88176e+12 1.88169e+12 404976 0.00% 76 22 1.88173e+12 3102 1.88176e+12 1.88169e+12 407041 0.00% 79 21 1.88173e+12 2083 1.88176e+12 1.88169e+12 408869 0.00% Elapsed real time = 548.89 sec. (tree size = 9.54 MB, solutions = 4) 82 20 1.88174e+12 2577 1.88176e+12 1.88169e+12 411095 0.00% 87 19 1.88174e+12 690 1.88176e+12 1.88170e+12 413310 0.00% 91 17 cutoff 1.88176e+12 1.88172e+12 414506 0.00% 93 17 1.88176e+12 2430 1.88176e+12 1.88172e+12 416115 0.00% 97 13 cutoff 1.88176e+12 1.88172e+12 417469 0.00% 101 11 1.88175e+12 2013 1.88176e+12 1.88172e+12 419739 0.00% 108 8 cutoff 1.88176e+12 1.88172e+12 420976 0.00% * 110 8 integral 0 1.88175e+12 1.88172e+12 422071 0.00% 114 8 1.88175e+12 2 1.88175e+12 1.88172e+12 423741 0.00% * 115 6 integral 0 1.88175e+12 1.88172e+12 423741 0.00% Elapsed real time = 578.21 sec. (tree size = 2.57 MB, solutions = 6) Root node processing (before b&c): Real time = 448.80 Sequential b&c: Real time = 127.98 ------- Total (root+branch&cut) = 576.78 sec. Solution pool: 6 solutions saved. MIP - Integer optimal solution: Objective = 1.8817530369e+12 Solution time = 580.40 sec. Iterations = 424388 Nodes = 122 Deterministic time = 160959.99 ticks (277.32 ticks/sec) Incumbent solution written to file '1CTF.matrix.39p.9aa.usingEref_self_digit8.wcsp.sol'.