Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1C9O.matrix.43p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 5.77 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.04 sec. Elapsed time 10.00 sec. for 0% of probing. Probing time = 17.22 sec. Clique table members: 7206575. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 546.05 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 4.96031e+12 900 4.96031e+12 304151 * 0+ 0 4.96146e+12 4.96031e+12 304151 0.02% 0 0 4.96032e+12 900 4.96146e+12 ZeroHalf: 3 304238 0.02% Repeating presolve. Tried aggregator 2 times. Aggregator has done 8673 substitutions... MIP Presolve eliminated 21086 rows and 795743 columns. Aggregator did 8673 substitutions. Reduced MIP has 52184 rows, 959236 columns, and 1969187 nonzeros. Reduced MIP has 959236 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 13.02 sec. for 0% of probing (281 vars fixed). Elapsed time 24.53 sec. for 0% of probing (281 vars fixed). Elapsed time 35.15 sec. for 0% of probing (281 vars fixed). Elapsed time 45.20 sec. for 0% of probing (284 vars fixed). Elapsed time 55.20 sec. for 0% of probing (284 vars fixed). Elapsed time 65.28 sec. for 0% of probing (284 vars fixed). Elapsed time 75.32 sec. for 0% of probing (284 vars fixed). Elapsed time 85.37 sec. for 0% of probing (284 vars fixed). Elapsed time 95.38 sec. for 0% of probing (284 vars fixed). Elapsed time 105.42 sec. for 0% of probing (284 vars fixed). Elapsed time 115.44 sec. for 0% of probing (284 vars fixed). Elapsed time 125.47 sec. for 0% of probing (284 vars fixed). Elapsed time 135.47 sec. for 0% of probing (284 vars fixed). Elapsed time 145.47 sec. for 0% of probing (284 vars fixed). Elapsed time 155.49 sec. for 0% of probing (284 vars fixed). Elapsed time 165.57 sec. for 0% of probing (284 vars fixed). Elapsed time 175.66 sec. for 0% of probing (284 vars fixed). Elapsed time 185.69 sec. for 0% of probing (284 vars fixed). Elapsed time 195.70 sec. for 1% of probing (284 vars fixed). Probing fixed 284 vars, tightened 0 bounds. Probing time = 204.05 sec. Tried aggregator 1 time. MIP Presolve eliminated 0 rows and 284 columns. Reduced MIP has 52184 rows, 958952 columns, and 1968619 nonzeros. Reduced MIP has 958952 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 219.61 sec. Elapsed time 11.11 sec. for 0% of probing. Elapsed time 21.54 sec. for 0% of probing. Elapsed time 33.41 sec. for 0% of probing. Probing time = 34.63 sec. Clique table members: 3893366. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 199.34 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 4.96146e+12 4.96032e+12 497582 0.02% 0 0 4.96032e+12 756 4.96146e+12 4.96032e+12 497582 0.02% * 0+ 0 4.96092e+12 4.96032e+12 497582 0.01% 0 2 4.96032e+12 756 4.96092e+12 4.96032e+12 497582 0.01% Elapsed real time = 1164.94 sec. (tree size = 0.00 MB, solutions = 2) 1 3 4.96032e+12 756 4.96092e+12 4.96032e+12 498182 0.01% 2 4 4.96039e+12 704 4.96092e+12 4.96032e+12 499438 0.01% 3 5 4.96041e+12 650 4.96092e+12 4.96032e+12 501437 0.01% 4 6 4.96044e+12 1297 4.96092e+12 4.96032e+12 504283 0.01% 5 7 4.96053e+12 536 4.96092e+12 4.96032e+12 508067 0.01% 6 8 4.96054e+12 537 4.96092e+12 4.96032e+12 508818 0.01% 7 9 4.96058e+12 476 4.96092e+12 4.96032e+12 510380 0.01% * 8 8 integral 0 4.96059e+12 4.96032e+12 510642 0.01% 10 8 4.96044e+12 704 4.96059e+12 4.96032e+12 512703 0.01% 11 9 4.96045e+12 650 4.96059e+12 4.96032e+12 515241 0.01% Elapsed real time = 1252.56 sec. (tree size = 6.20 MB, solutions = 3) 12 10 4.96048e+12 1223 4.96059e+12 4.96032e+12 517408 0.01% 13 11 4.96057e+12 541 4.96059e+12 4.96032e+12 520940 0.01% 16 12 4.96058e+12 1135 4.96059e+12 4.96032e+12 522719 0.01% 20 10 4.96032e+12 704 4.96059e+12 4.96032e+12 523226 0.01% 21 11 4.96034e+12 1198 4.96059e+12 4.96032e+12 525323 0.01% 22 12 4.96037e+12 1075 4.96059e+12 4.96032e+12 527442 0.01% 25 15 4.96044e+12 1270 4.96059e+12 4.96032e+12 530529 0.01% 28 18 4.96057e+12 594 4.96059e+12 4.96032e+12 531940 0.01% 31 17 4.96035e+12 650 4.96059e+12 4.96034e+12 536107 0.00% 32 18 4.96038e+12 1075 4.96059e+12 4.96034e+12 539071 0.00% Elapsed real time = 1325.21 sec. (tree size = 14.58 MB, solutions = 3) 33 19 4.96041e+12 1105 4.96059e+12 4.96034e+12 540061 0.00% 35 21 4.96043e+12 650 4.96059e+12 4.96034e+12 540946 0.00% 37 23 4.96049e+12 476 4.96059e+12 4.96034e+12 543347 0.00% * 40+ 24 4.96056e+12 4.96034e+12 544334 0.00% 40 26 4.96051e+12 958 4.96056e+12 4.96034e+12 544334 0.00% 42 26 cutoff 4.96056e+12 4.96034e+12 546094 0.00% 44 26 4.96046e+12 536 4.96056e+12 4.96035e+12 550443 0.00% 46 28 4.96048e+12 536 4.96056e+12 4.96035e+12 551570 0.00% 48 30 4.96049e+12 1456 4.96056e+12 4.96035e+12 553410 0.00% 50 32 4.96054e+12 848 4.96056e+12 4.96035e+12 555424 0.00% 54 32 4.96047e+12 476 4.96056e+12 4.96037e+12 559798 0.00% Elapsed real time = 1375.29 sec. (tree size = 27.97 MB, solutions = 4) 56 34 4.96052e+12 414 4.96056e+12 4.96037e+12 562141 0.00% * 59 9 integral 0 4.96044e+12 4.96037e+12 564323 0.00% 60 8 cutoff 4.96044e+12 4.96037e+12 566012 0.00% 63 7 4.96042e+12 1998 4.96044e+12 4.96041e+12 570096 0.00% 66 4 cutoff 4.96044e+12 4.96042e+12 571475 0.00% Zero-half cuts applied: 3 Root node processing (before b&c): Real time = 1156.84 Sequential b&c: Real time = 235.30 ------- Total (root+branch&cut) = 1392.14 sec. Solution pool: 5 solutions saved. MIP - Integer optimal solution: Objective = 4.9604370281e+12 Solution time = 1401.05 sec. Iterations = 571733 Nodes = 71 Deterministic time = 487168.36 ticks (347.72 ticks/sec) Incumbent solution written to file '1C9O.matrix.43p.17aa.usingEref_self_digit8.wcsp.sol'.