Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1CSP.matrix.30p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 1.73 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 = 1.97 sec. Probing time = 2.86 sec. Clique table members: 2226948. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 125.72 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 2.52060e+12 378 2.52060e+12 85423 * 0+ 0 1.53723e+18 2.52060e+12 85423 100.00% 0 0 2.52060e+12 580 1.53723e+18 ZeroHalf: 3 85633 100.00% * 0+ 0 2.52095e+12 2.52060e+12 85633 0.01% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 13740 rows and 369670 columns. Aggregator did 6391 substitutions. Reduced MIP has 12205 rows, 167564 columns, and 346684 nonzeros. Reduced MIP has 167564 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.03 sec. for 0% of probing (361 vars fixed). Elapsed time 20.05 sec. for 1% of probing (361 vars fixed). Elapsed time 30.06 sec. for 1% of probing (361 vars fixed). Elapsed time 40.11 sec. for 2% of probing (361 vars fixed). Elapsed time 50.16 sec. for 2% of probing (361 vars fixed). Probing fixed 361 vars, tightened 0 bounds. Probing time = 55.26 sec. Tried aggregator 1 time. MIP Presolve eliminated 1 rows and 362 columns. Reduced MIP has 12204 rows, 167202 columns, and 345960 nonzeros. Reduced MIP has 167202 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 58.96 sec. Probing time = 6.36 sec. Clique table members: 708180. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 8.39 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 2.52095e+12 2.52060e+12 113479 0.01% 0 0 2.52060e+12 370 2.52095e+12 2.52060e+12 113479 0.01% 0 2 2.52060e+12 370 2.52095e+12 2.52060e+12 113479 0.01% Elapsed real time = 270.83 sec. (tree size = 0.00 MB, solutions = 2) 3 5 2.52067e+12 180 2.52095e+12 2.52060e+12 114268 0.01% 5 5 2.52083e+12 180 2.52095e+12 2.52060e+12 116353 0.01% 6 6 2.52084e+12 180 2.52095e+12 2.52060e+12 116410 0.01% 7 5 cutoff 2.52095e+12 2.52060e+12 116901 0.01% 8 4 cutoff 2.52095e+12 2.52060e+12 118540 0.01% 9 3 cutoff 2.52095e+12 2.52060e+12 118840 0.01% 10 4 2.52066e+12 210 2.52095e+12 2.52061e+12 119416 0.01% 12 6 2.52072e+12 180 2.52095e+12 2.52061e+12 120095 0.01% 13 7 2.52090e+12 180 2.52095e+12 2.52061e+12 121225 0.01% 22 8 2.52093e+12 180 2.52095e+12 2.52061e+12 124909 0.01% Elapsed real time = 282.59 sec. (tree size = 1.19 MB, solutions = 2) 34 16 2.52076e+12 238 2.52095e+12 2.52061e+12 127352 0.01% 45 27 2.52088e+12 238 2.52095e+12 2.52061e+12 129479 0.01% 53 31 2.52093e+12 180 2.52095e+12 2.52062e+12 133259 0.01% 59 31 cutoff 2.52095e+12 2.52062e+12 136569 0.01% 67 33 2.52090e+12 265 2.52095e+12 2.52063e+12 140609 0.01% 73 35 2.52081e+12 180 2.52095e+12 2.52063e+12 143301 0.01% 78 36 2.52070e+12 180 2.52095e+12 2.52064e+12 146305 0.01% 82 40 2.52091e+12 210 2.52095e+12 2.52064e+12 148794 0.01% * 89 37 integral 0 2.52094e+12 2.52066e+12 152137 0.01% 100 44 2.52069e+12 180 2.52094e+12 2.52067e+12 154398 0.01% Elapsed real time = 316.01 sec. (tree size = 8.46 MB, solutions = 3) 104 48 2.52084e+12 238 2.52094e+12 2.52067e+12 156679 0.01% 117 53 2.52073e+12 180 2.52094e+12 2.52067e+12 159907 0.01% 124 54 2.52092e+12 180 2.52094e+12 2.52068e+12 164503 0.01% 132 52 cutoff 2.52094e+12 2.52068e+12 168352 0.01% 139 55 2.52091e+12 180 2.52094e+12 2.52069e+12 172409 0.01% 148 48 cutoff 2.52094e+12 2.52073e+12 176443 0.01% 156 48 2.52089e+12 210 2.52094e+12 2.52077e+12 180291 0.01% 166 48 cutoff 2.52094e+12 2.52078e+12 184014 0.01% 171 53 2.52092e+12 387 2.52094e+12 2.52079e+12 186090 0.01% 185 53 2.52091e+12 210 2.52094e+12 2.52080e+12 189824 0.01% Elapsed real time = 345.29 sec. (tree size = 10.07 MB, solutions = 3) 193 51 2.52090e+12 210 2.52094e+12 2.52081e+12 193133 0.00% 205 45 cutoff 2.52094e+12 2.52083e+12 198106 0.00% 221 39 cutoff 2.52094e+12 2.52084e+12 202899 0.00% 231 30 cutoff 2.52094e+12 2.52086e+12 207423 0.00% 241 26 cutoff 2.52094e+12 2.52087e+12 211433 0.00% 257 12 cutoff 2.52094e+12 2.52090e+12 216154 0.00% Zero-half cuts applied: 3 Root node processing (before b&c): Real time = 268.82 Sequential b&c: Real time = 88.60 ------- Total (root+branch&cut) = 357.42 sec. Solution pool: 3 solutions saved. MIP - Integer optimal solution: Objective = 2.5209356068e+12 Solution time = 359.55 sec. Iterations = 216903 Nodes = 270 Deterministic time = 98750.24 ticks (274.65 ticks/sec) Incumbent solution written to file '1CSP.matrix.30p.17aa.usingEref_self_digit8.wcsp.sol'.