Log started (V12.4.0.0) Tue Jan 29 16:55:15 2013 Problem '1PIN.matrix.28p.20aa.usingEref_self_digit8.wcsp.lp' read. Read time = 7.40 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.32 sec. Elapsed time 10.10 sec. for 0% of probing. Elapsed time 25.16 sec. for 0% of probing. Elapsed time 59.23 sec. for 0% of probing. Elapsed time 78.67 sec. for 0% of probing. Probing time = 79.59 sec. Clique table members: 9175716. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1010.40 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.57033e+12 988 1.57033e+12 273547 * 0+ 0 1.57322e+12 1.57033e+12 273547 0.18% * 0+ 0 1.57228e+12 1.57033e+12 273547 0.12% Repeating presolve. Tried aggregator 2 times. Aggregator has done 346 substitutions... MIP Presolve eliminated 26029 rows and 1575835 columns. Aggregator did 346 substitutions. Reduced MIP has 33593 rows, 695797 columns, and 1424250 nonzeros. Reduced MIP has 695797 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 16.18 sec. for 0% of probing (1145 vars fixed). Elapsed time 30.05 sec. for 0% of probing (1145 vars fixed). Elapsed time 50.00 sec. for 0% of probing (1145 vars fixed). Elapsed time 60.04 sec. for 0% of probing (1175 vars fixed). Elapsed time 70.15 sec. for 0% of probing (1177 vars fixed). Elapsed time 80.19 sec. for 0% of probing (1177 vars fixed). Elapsed time 90.21 sec. for 0% of probing (1177 vars fixed). Elapsed time 100.23 sec. for 0% of probing (1177 vars fixed). Elapsed time 110.27 sec. for 0% of probing (1177 vars fixed). Elapsed time 120.27 sec. for 0% of probing (1177 vars fixed). Elapsed time 130.29 sec. for 0% of probing (1177 vars fixed). Elapsed time 140.36 sec. for 0% of probing (1177 vars fixed). Elapsed time 150.44 sec. for 0% of probing (1177 vars fixed). Elapsed time 160.47 sec. for 0% of probing (1177 vars fixed). Elapsed time 170.51 sec. for 0% of probing (1177 vars fixed). Elapsed time 180.64 sec. for 0% of probing (1177 vars fixed). Elapsed time 190.67 sec. for 1% of probing (1177 vars fixed). Elapsed time 200.70 sec. for 1% of probing (1177 vars fixed). Elapsed time 210.73 sec. for 1% of probing (1177 vars fixed). Elapsed time 220.84 sec. for 1% of probing (1177 vars fixed). Elapsed time 230.85 sec. for 1% of probing (1177 vars fixed). Elapsed time 240.93 sec. for 1% of probing (1177 vars fixed). Elapsed time 251.04 sec. for 1% of probing (1177 vars fixed). Elapsed time 261.06 sec. for 1% of probing (1177 vars fixed). Elapsed time 271.08 sec. for 1% of probing (1177 vars fixed). Elapsed time 281.18 sec. for 1% of probing (1177 vars fixed). Elapsed time 291.33 sec. for 1% of probing (1177 vars fixed). Elapsed time 301.35 sec. for 1% of probing (1177 vars fixed). Elapsed time 311.43 sec. for 1% of probing (1177 vars fixed). Elapsed time 321.47 sec. for 1% of probing (1177 vars fixed). Elapsed time 331.49 sec. for 1% of probing (1177 vars fixed). Elapsed time 341.52 sec. for 1% of probing (1177 vars fixed). Elapsed time 351.54 sec. for 1% of probing (1177 vars fixed). Elapsed time 361.59 sec. for 1% of probing (1177 vars fixed). Elapsed time 371.66 sec. for 1% of probing (1177 vars fixed). Elapsed time 381.69 sec. for 1% of probing (1177 vars fixed). Elapsed time 391.73 sec. for 1% of probing (1177 vars fixed). Elapsed time 401.80 sec. for 1% of probing (1177 vars fixed). Elapsed time 411.83 sec. for 1% of probing (1177 vars fixed). Elapsed time 421.86 sec. for 1% of probing (1177 vars fixed). Elapsed time 431.89 sec. for 1% of probing (1177 vars fixed). Elapsed time 441.94 sec. for 1% of probing (1177 vars fixed). Elapsed time 452.05 sec. for 1% of probing (1177 vars fixed). Elapsed time 462.10 sec. for 1% of probing (1177 vars fixed). Elapsed time 472.12 sec. for 1% of probing (1177 vars fixed). Elapsed time 482.18 sec. for 1% of probing (1177 vars fixed). Elapsed time 492.27 sec. for 1% of probing (1177 vars fixed). Probing fixed 1177 vars, tightened 0 bounds. Probing time = 501.71 sec. Tried aggregator 1 time. MIP Presolve eliminated 51 rows and 1202 columns. Reduced MIP has 33542 rows, 694595 columns, and 1421820 nonzeros. Reduced MIP has 694595 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 517.80 sec. Elapsed time 11.29 sec. for 0% of probing. Probing time = 15.79 sec. Clique table members: 2933256. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 152.07 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.57228e+12 1.57033e+12 390807 0.12% 0 0 1.57033e+12 983 1.57228e+12 1.57033e+12 390807 0.12% * 0+ 0 1.57080e+12 1.57033e+12 390807 0.03% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 7870 rows and 309434 columns. Aggregator did 1921 substitutions. Reduced MIP has 23751 rows, 383240 columns, and 789424 nonzeros. Reduced MIP has 383240 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.99 sec. for 0% of probing (232 vars fixed). Elapsed time 21.12 sec. for 0% of probing (302 vars fixed). Elapsed time 31.13 sec. for 0% of probing (525 vars fixed). Elapsed time 41.15 sec. for 0% of probing (590 vars fixed). Elapsed time 51.19 sec. for 0% of probing (939 vars fixed). Elapsed time 61.24 sec. for 0% of probing (940 vars fixed). Elapsed time 71.27 sec. for 1% of probing (940 vars fixed). Elapsed time 81.32 sec. for 1% of probing (940 vars fixed). Elapsed time 91.37 sec. for 1% of probing (940 vars fixed). Elapsed time 101.43 sec. for 1% of probing (940 vars fixed). Elapsed time 111.49 sec. for 1% of probing (940 vars fixed). Elapsed time 121.59 sec. for 1% of probing (940 vars fixed). Elapsed time 131.67 sec. for 1% of probing (940 vars fixed). Elapsed time 141.71 sec. for 1% of probing (940 vars fixed). Elapsed time 151.76 sec. for 1% of probing (940 vars fixed). Elapsed time 161.84 sec. for 1% of probing (940 vars fixed). Elapsed time 171.92 sec. for 1% of probing (940 vars fixed). Elapsed time 181.99 sec. for 1% of probing (940 vars fixed). Elapsed time 192.02 sec. for 2% of probing (940 vars fixed). Elapsed time 202.06 sec. for 2% of probing (940 vars fixed). Elapsed time 212.10 sec. for 2% of probing (940 vars fixed). Elapsed time 222.14 sec. for 2% of probing (940 vars fixed). Elapsed time 232.18 sec. for 2% of probing (940 vars fixed). Elapsed time 242.26 sec. for 2% of probing (940 vars fixed). Probing fixed 940 vars, tightened 0 bounds. Probing time = 250.02 sec. Tried aggregator 1 time. MIP Presolve eliminated 21 rows and 941 columns. Reduced MIP has 23730 rows, 382299 columns, and 787518 nonzeros. Reduced MIP has 382299 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 257.97 sec. Elapsed time 11.37 sec. for 0% of probing. Elapsed time 27.16 sec. for 0% of probing. Elapsed time 41.31 sec. for 0% of probing. Probing time = 49.62 sec. Clique table members: 1744440. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 73.92 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.57080e+12 1.57033e+12 476215 0.03% 0 0 1.57033e+12 902 1.57080e+12 1.57033e+12 476215 0.03% Heuristic still looking. 0 2 1.57033e+12 902 1.57080e+12 1.57033e+12 476215 0.03% Elapsed real time = 2424.87 sec. (tree size = 0.00 MB, solutions = 3) 1 3 1.57034e+12 870 1.57080e+12 1.57033e+12 476753 0.03% 2 4 1.57063e+12 1002 1.57080e+12 1.57033e+12 480029 0.03% 3 5 1.57052e+12 640 1.57080e+12 1.57033e+12 482263 0.03% 4 6 1.57052e+12 747 1.57080e+12 1.57033e+12 482758 0.03% 5 7 1.57060e+12 393 1.57080e+12 1.57033e+12 484578 0.03% 6 8 1.57066e+12 357 1.57080e+12 1.57033e+12 485594 0.03% 7 9 1.57073e+12 318 1.57080e+12 1.57033e+12 486406 0.03% 8 8 cutoff 1.57080e+12 1.57033e+12 487318 0.03% 9 7 cutoff 1.57080e+12 1.57033e+12 488174 0.03% 11 9 1.57050e+12 434 1.57080e+12 1.57033e+12 490698 0.03% Elapsed real time = 2473.75 sec. (tree size = 2.84 MB, solutions = 3) 12 10 1.57059e+12 393 1.57080e+12 1.57033e+12 492101 0.03% 16 10 cutoff 1.57080e+12 1.57033e+12 494408 0.03% 17 11 1.57062e+12 1322 1.57080e+12 1.57050e+12 497396 0.02% 20 10 1.57051e+12 747 1.57080e+12 1.57051e+12 499685 0.02% 22 12 1.57058e+12 595 1.57080e+12 1.57051e+12 501426 0.02% 26 14 1.57063e+12 357 1.57080e+12 1.57051e+12 503542 0.02% 29 15 1.57080e+12 195 1.57080e+12 1.57051e+12 506079 0.02% 34 16 1.57056e+12 762 1.57080e+12 1.57052e+12 509103 0.02% 36 18 1.57063e+12 428 1.57080e+12 1.57052e+12 511032 0.02% 37 19 1.57066e+12 1082 1.57080e+12 1.57052e+12 512735 0.02% Elapsed real time = 2529.12 sec. (tree size = 7.00 MB, solutions = 3) 40 20 cutoff 1.57080e+12 1.57052e+12 514503 0.02% 41 21 1.57074e+12 281 1.57080e+12 1.57052e+12 517543 0.02% 47 23 1.57058e+12 358 1.57080e+12 1.57052e+12 520235 0.02% 48 24 1.57062e+12 280 1.57080e+12 1.57052e+12 521911 0.02% 50 26 1.57072e+12 320 1.57080e+12 1.57052e+12 523583 0.02% 53 25 1.57061e+12 656 1.57080e+12 1.57052e+12 527041 0.02% 55 27 1.57068e+12 394 1.57080e+12 1.57052e+12 528458 0.02% 56 28 1.57070e+12 630 1.57080e+12 1.57052e+12 529810 0.02% 60 28 cutoff 1.57080e+12 1.57052e+12 532290 0.02% 64 32 1.57057e+12 524 1.57080e+12 1.57052e+12 534056 0.02% Elapsed real time = 2568.86 sec. (tree size = 12.35 MB, solutions = 3) 66 34 1.57067e+12 813 1.57080e+12 1.57052e+12 537625 0.02% 68 36 1.57070e+12 587 1.57080e+12 1.57052e+12 539524 0.02% 71 39 1.57071e+12 280 1.57080e+12 1.57052e+12 540791 0.02% 75 43 1.57079e+12 358 1.57080e+12 1.57052e+12 542974 0.02% 78 42 1.57059e+12 568 1.57080e+12 1.57053e+12 544706 0.02% 81 45 1.57062e+12 617 1.57080e+12 1.57053e+12 545955 0.02% 87 47 cutoff 1.57080e+12 1.57053e+12 548456 0.02% 89 49 1.57063e+12 280 1.57080e+12 1.57054e+12 551006 0.02% 93 53 1.57075e+12 237 1.57080e+12 1.57054e+12 552571 0.02% 97 53 1.57064e+12 288 1.57080e+12 1.57056e+12 555568 0.02% Elapsed real time = 2610.33 sec. (tree size = 20.59 MB, solutions = 3) 100 54 1.57080e+12 195 1.57080e+12 1.57056e+12 558659 0.02% 104 52 cutoff 1.57080e+12 1.57056e+12 560888 0.02% 107 53 1.57064e+12 280 1.57080e+12 1.57057e+12 562309 0.01% 112 58 1.57073e+12 280 1.57080e+12 1.57057e+12 564039 0.01% 118 60 1.57065e+12 598 1.57080e+12 1.57058e+12 566928 0.01% 121 61 1.57077e+12 195 1.57080e+12 1.57058e+12 570219 0.01% 124 60 1.57065e+12 319 1.57080e+12 1.57058e+12 572183 0.01% 127 61 1.57078e+12 238 1.57080e+12 1.57058e+12 574609 0.01% 131 59 1.57068e+12 238 1.57080e+12 1.57059e+12 576475 0.01% 135 59 1.57060e+12 281 1.57080e+12 1.57059e+12 579289 0.01% Elapsed real time = 2642.78 sec. (tree size = 23.48 MB, solutions = 3) 140 64 1.57069e+12 280 1.57080e+12 1.57059e+12 580932 0.01% 145 69 1.57076e+12 237 1.57080e+12 1.57059e+12 582729 0.01% 148 68 1.57066e+12 319 1.57080e+12 1.57059e+12 584563 0.01% 152 68 1.57069e+12 238 1.57080e+12 1.57059e+12 587423 0.01% 157 67 1.57065e+12 393 1.57080e+12 1.57059e+12 590352 0.01% 160 70 1.57076e+12 358 1.57080e+12 1.57059e+12 592253 0.01% 165 69 1.57077e+12 149 1.57080e+12 1.57060e+12 595823 0.01% * 167 67 integral 0 1.57079e+12 1.57060e+12 596348 0.01% 170 68 1.57062e+12 280 1.57079e+12 1.57060e+12 597475 0.01% 174 72 1.57070e+12 280 1.57079e+12 1.57060e+12 599507 0.01% Elapsed real time = 2679.22 sec. (tree size = 28.83 MB, solutions = 4) 178 74 cutoff 1.57079e+12 1.57060e+12 601854 0.01% 183 73 cutoff 1.57079e+12 1.57060e+12 603982 0.01% 187 75 1.57077e+12 358 1.57079e+12 1.57060e+12 606979 0.01% 194 72 cutoff 1.57079e+12 1.57061e+12 609707 0.01% 198 72 1.57069e+12 238 1.57079e+12 1.57061e+12 611675 0.01% 200 72 1.57079e+12 195 1.57079e+12 1.57061e+12 613832 0.01% 205 69 cutoff 1.57079e+12 1.57061e+12 616447 0.01% 209 69 cutoff 1.57079e+12 1.57062e+12 619218 0.01% 214 70 1.57064e+12 237 1.57079e+12 1.57062e+12 621392 0.01% 216 72 1.57078e+12 238 1.57079e+12 1.57062e+12 623566 0.01% Elapsed real time = 2707.36 sec. (tree size = 28.83 MB, solutions = 4) 220 72 1.57077e+12 196 1.57079e+12 1.57062e+12 625209 0.01% 224 72 1.57075e+12 196 1.57079e+12 1.57063e+12 627336 0.01% 228 72 1.57064e+12 281 1.57079e+12 1.57063e+12 629275 0.01% 230 74 1.57076e+12 196 1.57079e+12 1.57063e+12 630736 0.01% 235 71 cutoff 1.57079e+12 1.57063e+12 633429 0.01% 240 72 cutoff 1.57079e+12 1.57063e+12 635582 0.01% 242 72 1.57074e+12 238 1.57079e+12 1.57063e+12 637804 0.01% 247 73 1.57078e+12 239 1.57079e+12 1.57063e+12 641216 0.01% 252 68 cutoff 1.57079e+12 1.57063e+12 643429 0.01% 255 67 cutoff 1.57079e+12 1.57063e+12 646275 0.01% Elapsed real time = 2739.75 sec. (tree size = 27.19 MB, solutions = 4) 257 69 1.57076e+12 238 1.57079e+12 1.57063e+12 648470 0.01% 262 68 1.57073e+12 320 1.57079e+12 1.57064e+12 650554 0.01% 266 68 1.57076e+12 214 1.57079e+12 1.57064e+12 653123 0.01% 270 66 cutoff 1.57079e+12 1.57064e+12 655604 0.01% 275 65 cutoff 1.57079e+12 1.57064e+12 657874 0.01% 279 65 1.57067e+12 237 1.57079e+12 1.57064e+12 660122 0.01% 282 64 cutoff 1.57079e+12 1.57064e+12 661881 0.01% 287 69 1.57074e+12 280 1.57079e+12 1.57064e+12 663639 0.01% 291 73 1.57078e+12 279 1.57079e+12 1.57064e+12 664765 0.01% 296 70 cutoff 1.57079e+12 1.57064e+12 666857 0.01% Elapsed real time = 2769.01 sec. (tree size = 28.43 MB, solutions = 4) 300 70 cutoff 1.57079e+12 1.57064e+12 669857 0.01% * 303 69 integral 0 1.57079e+12 1.57064e+12 671678 0.01% 308 68 1.57065e+12 279 1.57079e+12 1.57064e+12 673924 0.01% 311 71 1.57073e+12 357 1.57079e+12 1.57064e+12 675626 0.01% 315 71 1.57071e+12 238 1.57079e+12 1.57065e+12 677650 0.01% 320 72 1.57075e+12 195 1.57079e+12 1.57065e+12 679377 0.01% 324 70 cutoff 1.57079e+12 1.57065e+12 681773 0.01% 327 69 1.57075e+12 237 1.57079e+12 1.57065e+12 684708 0.01% 330 68 1.57071e+12 630 1.57079e+12 1.57065e+12 687642 0.01% 345 75 1.57072e+12 356 1.57079e+12 1.57065e+12 694970 0.01% Elapsed real time = 2807.09 sec. (tree size = 30.08 MB, solutions = 5) 360 78 1.57076e+12 357 1.57079e+12 1.57066e+12 701629 0.01% 375 81 1.57068e+12 835 1.57079e+12 1.57066e+12 709274 0.01% 384 80 1.57070e+12 427 1.57079e+12 1.57066e+12 718579 0.01% 400 82 1.57076e+12 237 1.57079e+12 1.57066e+12 726929 0.01% 416 84 1.57075e+12 543 1.57079e+12 1.57067e+12 735515 0.01% 433 91 1.57068e+12 670 1.57079e+12 1.57067e+12 742047 0.01% 447 89 cutoff 1.57079e+12 1.57068e+12 750296 0.01% 463 87 cutoff 1.57079e+12 1.57069e+12 759062 0.01% 481 83 cutoff 1.57079e+12 1.57069e+12 768107 0.01% 498 78 1.57070e+12 281 1.57079e+12 1.57070e+12 776770 0.01% Elapsed real time = 2923.55 sec. (tree size = 30.94 MB, solutions = 5) 509 73 cutoff 1.57079e+12 1.57070e+12 785182 0.01% 527 65 1.57073e+12 238 1.57079e+12 1.57071e+12 794495 0.01% 547 57 cutoff 1.57079e+12 1.57071e+12 803639 0.00% 567 49 1.57078e+12 319 1.57079e+12 1.57072e+12 811769 0.00% 591 37 1.57075e+12 320 1.57079e+12 1.57073e+12 820842 0.00% 610 25 cutoff 1.57079e+12 1.57074e+12 829845 0.00% Root node processing (before b&c): Real time = 2416.37 Sequential b&c: Real time = 573.65 ------- Total (root+branch&cut) = 2990.02 sec. Solution pool: 5 solutions saved. MIP - Integer optimal solution: Objective = 1.5707897094e+12 Solution time = 2998.98 sec. Iterations = 836306 Nodes = 640 Deterministic time = 650064.01 ticks (216.76 ticks/sec) Incumbent solution written to file '1PIN.matrix.28p.20aa.usingEref_self_digit8.wcsp.sol'.