Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1UBI.matrix.40p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 1.75 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 = 2.53 sec. Probing time = 2.41 sec. Clique table members: 2375096. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 208.47 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 3.06899e+12 3944 3.06899e+12 152816 * 0+ 0 1.53723e+18 3.06899e+12 152816 100.00% * 0+ 0 3.06942e+12 3.06899e+12 152816 0.01% Heuristic still looking. Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 20869 rows and 428310 columns. Aggregator did 1758 substitutions. Reduced MIP has 20586 rows, 149742 columns, and 319501 nonzeros. Reduced MIP has 149742 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 1% of probing (200 vars fixed). Elapsed time 20.04 sec. for 2% of probing (200 vars fixed). Probing fixed 200 vars, tightened 0 bounds. Probing time = 25.57 sec. Tried aggregator 1 time. MIP Presolve eliminated 33 rows and 526 columns. Reduced MIP has 20553 rows, 149216 columns, and 318414 nonzeros. Reduced MIP has 149216 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 29.03 sec. Probing time = 2.44 sec. Clique table members: 627771. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 35.58 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 3.06942e+12 3.06899e+12 231323 0.01% 0 0 3.06900e+12 3466 3.06942e+12 3.06900e+12 231323 0.01% * 0+ 0 3.06934e+12 3.06900e+12 231323 0.01% 0 2 3.06900e+12 3466 3.06934e+12 3.06900e+12 231323 0.01% Elapsed real time = 360.90 sec. (tree size = 0.00 MB, solutions = 3) 1 3 3.06913e+12 2019 3.06934e+12 3.06900e+12 236677 0.01% 2 4 3.06916e+12 2947 3.06934e+12 3.06900e+12 238851 0.01% 3 5 3.06921e+12 3622 3.06934e+12 3.06900e+12 241733 0.01% 4 6 3.06918e+12 3344 3.06934e+12 3.06900e+12 242872 0.01% 5 7 3.06920e+12 3253 3.06934e+12 3.06900e+12 246486 0.01% 6 8 3.06925e+12 3087 3.06934e+12 3.06900e+12 253112 0.01% 7 9 3.06922e+12 2790 3.06934e+12 3.06900e+12 257110 0.01% 8 10 3.06928e+12 3171 3.06934e+12 3.06900e+12 261759 0.01% 9 11 3.06933e+12 2817 3.06934e+12 3.06900e+12 264040 0.01% 12 10 3.06909e+12 3679 3.06934e+12 3.06909e+12 267307 0.01% Elapsed real time = 416.03 sec. (tree size = 1.87 MB, solutions = 3) 13 11 3.06912e+12 3483 3.06934e+12 3.06909e+12 269274 0.01% 14 12 3.06912e+12 3683 3.06934e+12 3.06912e+12 270755 0.01% 15 13 3.06914e+12 3247 3.06934e+12 3.06912e+12 272412 0.01% 16 14 3.06916e+12 3377 3.06934e+12 3.06912e+12 274088 0.01% 17 15 3.06918e+12 2964 3.06934e+12 3.06912e+12 276802 0.01% 18 16 3.06920e+12 2845 3.06934e+12 3.06912e+12 278076 0.01% 19 17 3.06923e+12 2842 3.06934e+12 3.06912e+12 279681 0.01% 20 18 3.06927e+12 2361 3.06934e+12 3.06912e+12 281129 0.01% 22 18 cutoff 3.06934e+12 3.06912e+12 283376 0.01% 26 18 3.06922e+12 3638 3.06934e+12 3.06912e+12 287481 0.01% Elapsed real time = 454.76 sec. (tree size = 2.78 MB, solutions = 3) 27 19 3.06927e+12 3232 3.06934e+12 3.06912e+12 289439 0.01% 28 20 3.06929e+12 3679 3.06934e+12 3.06912e+12 292609 0.01% 29 21 3.06932e+12 3100 3.06934e+12 3.06912e+12 295053 0.01% 30 22 3.06934e+12 2734 3.06934e+12 3.06912e+12 296793 0.01% 33 21 3.06913e+12 3408 3.06934e+12 3.06912e+12 298960 0.01% 34 22 3.06915e+12 4101 3.06934e+12 3.06912e+12 301256 0.01% 35 23 3.06917e+12 3155 3.06934e+12 3.06912e+12 302889 0.01% 37 25 3.06923e+12 3674 3.06934e+12 3.06912e+12 305708 0.01% 40 28 3.06927e+12 3096 3.06934e+12 3.06912e+12 308780 0.01% 42 30 3.06930e+12 3492 3.06934e+12 3.06912e+12 311712 0.01% Elapsed real time = 497.12 sec. (tree size = 4.40 MB, solutions = 3) 44 30 cutoff 3.06934e+12 3.06912e+12 314623 0.01% 46 30 3.06921e+12 3826 3.06934e+12 3.06913e+12 316801 0.01% 47 31 3.06926e+12 3621 3.06934e+12 3.06913e+12 318504 0.01% 48 32 3.06929e+12 3158 3.06934e+12 3.06913e+12 320279 0.01% 50 34 3.06932e+12 3404 3.06934e+12 3.06913e+12 323535 0.01% 54 34 3.06932e+12 2069 3.06934e+12 3.06914e+12 329516 0.01% 60 34 3.06931e+12 1995 3.06934e+12 3.06915e+12 336733 0.01% 64 32 cutoff 3.06934e+12 3.06916e+12 341573 0.01% 65 31 cutoff 3.06934e+12 3.06917e+12 343836 0.01% 66 32 3.06929e+12 2767 3.06934e+12 3.06918e+12 347006 0.01% Elapsed real time = 546.86 sec. (tree size = 4.76 MB, solutions = 3) 68 32 cutoff 3.06934e+12 3.06918e+12 349865 0.01% 70 30 cutoff 3.06934e+12 3.06918e+12 352125 0.01% 71 31 3.06931e+12 3307 3.06934e+12 3.06918e+12 356231 0.01% 74 30 3.06923e+12 3190 3.06934e+12 3.06919e+12 358451 0.01% 76 32 3.06926e+12 2813 3.06934e+12 3.06919e+12 360129 0.01% 79 33 3.06934e+12 2774 3.06934e+12 3.06919e+12 364117 0.01% 84 30 3.06929e+12 3169 3.06934e+12 3.06921e+12 367861 0.00% 87 33 3.06933e+12 2984 3.06934e+12 3.06921e+12 370270 0.00% 90 32 3.06925e+12 3248 3.06934e+12 3.06921e+12 372361 0.00% 93 31 cutoff 3.06934e+12 3.06921e+12 374488 0.00% Elapsed real time = 584.01 sec. (tree size = 5.23 MB, solutions = 3) 94 32 3.06924e+12 3726 3.06934e+12 3.06922e+12 375890 0.00% 96 34 3.06929e+12 4003 3.06934e+12 3.06922e+12 378287 0.00% 97 35 3.06933e+12 3628 3.06934e+12 3.06922e+12 380416 0.00% 100 34 3.06926e+12 3626 3.06934e+12 3.06923e+12 382436 0.00% 102 36 3.06931e+12 3552 3.06934e+12 3.06923e+12 385508 0.00% 105 35 3.06928e+12 3337 3.06934e+12 3.06923e+12 388778 0.00% 106 36 3.06932e+12 3818 3.06934e+12 3.06923e+12 391057 0.00% 109 35 cutoff 3.06934e+12 3.06923e+12 393952 0.00% 110 36 3.06926e+12 2305 3.06934e+12 3.06923e+12 396200 0.00% 112 38 3.06932e+12 3348 3.06934e+12 3.06923e+12 400647 0.00% Elapsed real time = 622.65 sec. (tree size = 5.52 MB, solutions = 3) 116 34 cutoff 3.06934e+12 3.06923e+12 402252 0.00% 119 33 3.06930e+12 3576 3.06934e+12 3.06925e+12 405373 0.00% 120 34 3.06932e+12 2967 3.06934e+12 3.06925e+12 407289 0.00% 124 34 3.06929e+12 3361 3.06934e+12 3.06925e+12 409825 0.00% 126 34 3.06931e+12 3060 3.06934e+12 3.06925e+12 411944 0.00% 129 31 cutoff 3.06934e+12 3.06925e+12 414134 0.00% 130 32 3.06932e+12 2800 3.06934e+12 3.06925e+12 416615 0.00% 133 29 cutoff 3.06934e+12 3.06926e+12 418478 0.00% 134 30 3.06930e+12 3094 3.06934e+12 3.06926e+12 420218 0.00% 137 29 cutoff 3.06934e+12 3.06926e+12 422124 0.00% Elapsed real time = 655.40 sec. (tree size = 4.89 MB, solutions = 3) 138 28 cutoff 3.06934e+12 3.06926e+12 425279 0.00% 142 24 cutoff 3.06934e+12 3.06927e+12 429108 0.00% 144 24 3.06929e+12 2954 3.06934e+12 3.06928e+12 430720 0.00% 146 26 3.06933e+12 3081 3.06934e+12 3.06928e+12 432917 0.00% 150 24 3.06928e+12 2980 3.06934e+12 3.06928e+12 434012 0.00% 152 26 3.06932e+12 2586 3.06934e+12 3.06928e+12 436520 0.00% 155 25 3.06932e+12 2959 3.06934e+12 3.06928e+12 438720 0.00% 159 23 3.06932e+12 1880 3.06934e+12 3.06929e+12 441113 0.00% 163 23 3.06933e+12 3338 3.06934e+12 3.06929e+12 443303 0.00% 167 19 cutoff 3.06934e+12 3.06929e+12 445309 0.00% Elapsed real time = 689.34 sec. (tree size = 3.62 MB, solutions = 3) 169 19 3.06934e+12 2896 3.06934e+12 3.06929e+12 447783 0.00% 175 13 cutoff 3.06934e+12 3.06930e+12 450147 0.00% 179 9 cutoff 3.06934e+12 3.06931e+12 451723 0.00% 186 4 3.06933e+12 2901 3.06934e+12 3.06932e+12 453694 0.00% Root node processing (before b&c): Real time = 358.32 Sequential b&c: Real time = 342.86 ------- Total (root+branch&cut) = 701.18 sec. Solution pool: 3 solutions saved. MIP - Integer optimal solution: Objective = 3.0693405359e+12 Solution time = 703.85 sec. Iterations = 454614 Nodes = 191 Deterministic time = 244436.14 ticks (347.28 ticks/sec) Incumbent solution written to file '1UBI.matrix.40p.17aa.usingEref_self_digit8.wcsp.sol'.