Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1HNG.matrix.85p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 8.99 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 = 19.29 sec. Elapsed time 10.50 sec. for 0% of probing. Elapsed time 20.59 sec. for 0% of probing. Probing time = 25.08 sec. Clique table members: 9756425. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 2435.96 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.35337e+13 2801 1.35337e+13 651228 * 0+ 0 1.35357e+13 1.35337e+13 651228 0.01% Repeating presolve. Aggregator has done 7361 substitutions... Tried aggregator 2 times. Aggregator has done 7361 substitutions... MIP Presolve eliminated 74268 rows and 1597768 columns. Aggregator did 7361 substitutions. Reduced MIP has 115100 rows, 1001397 columns, and 2116440 nonzeros. Reduced MIP has 1001397 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 12.07 sec. for 0% of probing (3 vars fixed). Elapsed time 27.39 sec. for 0% of probing (11 vars fixed). Elapsed time 38.49 sec. for 0% of probing (34 vars fixed). Elapsed time 50.13 sec. for 0% of probing (34 vars fixed). Elapsed time 60.14 sec. for 0% of probing (63 vars fixed). Elapsed time 70.20 sec. for 0% of probing (63 vars fixed). Elapsed time 80.33 sec. for 0% of probing (63 vars fixed). Elapsed time 90.34 sec. for 0% of probing (63 vars fixed). Elapsed time 100.36 sec. for 0% of probing (63 vars fixed). Elapsed time 110.36 sec. for 0% of probing (63 vars fixed). Probing fixed 63 vars, tightened 0 bounds. Probing time = 117.44 sec. Tried aggregator 1 time. Presolve has eliminated 3 rows and 66 columns... MIP Presolve eliminated 3 rows and 66 columns. Reduced MIP has 115097 rows, 1001331 columns, and 2116308 nonzeros. Reduced MIP has 1001331 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 148.54 sec. Elapsed time 11.55 sec. for 0% of probing. Elapsed time 22.93 sec. for 0% of probing. Elapsed time 33.52 sec. for 0% of probing. Probing time = 36.99 sec. Clique table members: 4170618. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 498.06 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.35357e+13 1.35337e+13 1014987 0.01% 0 0 1.35337e+13 2625 1.35357e+13 1.35337e+13 1014987 0.01% * 0+ 0 1.35343e+13 1.35337e+13 1014987 0.00% Repeating presolve. Tried aggregator 2 times. Aggregator has done 6137 substitutions... MIP Presolve eliminated 18858 rows and 297641 columns. Aggregator did 6137 substitutions. Reduced MIP has 90102 rows, 697553 columns, and 1484017 nonzeros. Reduced MIP has 697553 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 12.63 sec. for 0% of probing (91 vars fixed). Elapsed time 22.70 sec. for 0% of probing (258 vars fixed). Elapsed time 32.76 sec. for 0% of probing (279 vars fixed). Elapsed time 42.86 sec. for 0% of probing (304 vars fixed). Elapsed time 52.89 sec. for 0% of probing (304 vars fixed). Elapsed time 62.92 sec. for 1% of probing (304 vars fixed). Elapsed time 72.99 sec. for 1% of probing (304 vars fixed). Elapsed time 82.99 sec. for 1% of probing (304 vars fixed). Elapsed time 93.02 sec. for 1% of probing (304 vars fixed). Probing fixed 304 vars, tightened 0 bounds. Probing time = 102.92 sec. Tried aggregator 1 time. Presolve has eliminated 152 rows and 2507 columns... MIP Presolve eliminated 152 rows and 2507 columns. Reduced MIP has 89950 rows, 695046 columns, and 1478857 nonzeros. Reduced MIP has 695046 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 120.01 sec. Elapsed time 11.43 sec. for 0% of probing. Elapsed time 21.86 sec. for 0% of probing. Probing time = 29.26 sec. Clique table members: 2916575. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 288.84 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.35343e+13 1.35337e+13 1282047 0.00% 0 0 1.35337e+13 2449 1.35343e+13 1.35337e+13 1282047 0.00% 0 2 1.35337e+13 2449 1.35343e+13 1.35337e+13 1282047 0.00% Elapsed real time = 4051.42 sec. (tree size = 0.00 MB, solutions = 2) 1 3 1.35337e+13 2326 1.35343e+13 1.35337e+13 1282930 0.00% 2 4 1.35338e+13 2196 1.35343e+13 1.35337e+13 1284448 0.00% 3 5 1.35338e+13 1518 1.35343e+13 1.35337e+13 1284563 0.00% 4 6 1.35338e+13 730 1.35343e+13 1.35337e+13 1284874 0.00% 5 7 1.35339e+13 588 1.35343e+13 1.35337e+13 1286005 0.00% * 6 6 integral 0 1.35343e+13 1.35337e+13 1291721 0.00% 7 7 1.35339e+13 588 1.35343e+13 1.35337e+13 1292035 0.00% * 8 6 integral 0 1.35340e+13 1.35337e+13 1293564 0.00% 9 5 cutoff 1.35340e+13 1.35337e+13 1293800 0.00% 10 4 cutoff 1.35340e+13 1.35337e+13 1295946 0.00% Elapsed real time = 4077.62 sec. (tree size = 0.59 MB, solutions = 4) 13 7 1.35337e+13 730 1.35340e+13 1.35337e+13 1296994 0.00% * 15 7 integral 0 1.35339e+13 1.35337e+13 1298183 0.00% * 16 6 integral 0 1.35339e+13 1.35337e+13 1298631 0.00% 17 7 1.35338e+13 1653 1.35339e+13 1.35337e+13 1303370 0.00% 19 9 1.35339e+13 588 1.35339e+13 1.35337e+13 1305321 0.00% 23 9 1.35338e+13 1007 1.35339e+13 1.35337e+13 1306567 0.00% 26 10 cutoff 1.35339e+13 1.35337e+13 1308945 0.00% 29 9 1.35338e+13 588 1.35339e+13 1.35338e+13 1311532 0.00% 33 9 1.35338e+13 1144 1.35339e+13 1.35338e+13 1313778 0.00% 35 11 1.35339e+13 588 1.35339e+13 1.35338e+13 1314646 0.00% Elapsed real time = 4110.03 sec. (tree size = 2.14 MB, solutions = 6) 39 9 1.35338e+13 1142 1.35339e+13 1.35338e+13 1317508 0.00% 40 10 1.35339e+13 1007 1.35339e+13 1.35338e+13 1318728 0.00% 47 11 1.35338e+13 1144 1.35339e+13 1.35338e+13 1321787 0.00% 50 12 1.35339e+13 588 1.35339e+13 1.35338e+13 1323899 0.00% 58 12 1.35338e+13 730 1.35339e+13 1.35338e+13 1326321 0.00% 65 9 cutoff 1.35339e+13 1.35338e+13 1327898 0.00% 72 7 1.35339e+13 588 1.35339e+13 1.35338e+13 1329864 0.00% 78 1 cutoff 1.35339e+13 1.35339e+13 1333325 0.00% 80 3 1.35339e+13 1008 1.35339e+13 1.35339e+13 1333991 0.00% Root node processing (before b&c): Real time = 4032.13 Sequential b&c: Real time = 94.49 ------- Total (root+branch&cut) = 4126.62 sec. Solution pool: 6 solutions saved. MIP - Integer optimal solution: Objective = 1.3533898894e+13 Solution time = 4146.69 sec. Iterations = 1334212 Nodes = 84 Deterministic time = 819866.17 ticks (197.72 ticks/sec) Incumbent solution written to file '1HNG.matrix.85p.17aa.usingEref_self_digit8.wcsp.sol'.