Log started (V12.4.0.0) Mon Feb 4 18:23:28 2013 Problem '1CM1.matrix.42p.19aa.usingEref_self_digit8.wcsp.lp' read. Read time = 20.51 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. Presolve has eliminated 0 rows and 0 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Presolve time = 25.33 sec. Elapsed time 10.11 sec. for 0% of probing. Elapsed time 20.41 sec. for 0% of probing. Elapsed time 30.46 sec. for 0% of probing. Elapsed time 41.13 sec. for 0% of probing. Elapsed time 52.94 sec. for 0% of probing. Elapsed time 63.52 sec. for 0% of probing. Elapsed time 75.23 sec. for 0% of probing. Elapsed time 85.95 sec. for 0% of probing. Elapsed time 96.04 sec. for 0% of probing. Elapsed time 106.58 sec. for 0% of probing. Elapsed time 116.89 sec. for 0% of probing. Elapsed time 127.00 sec. for 0% of probing. Elapsed time 137.83 sec. for 0% of probing. Elapsed time 152.96 sec. for 0% of probing. Probing time = 158.21 sec. Clique table members: 25643255. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 17807.78 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 3.89570e+12 3619 3.89570e+12 1307842 * 0+ 0 3.89945e+12 3.89570e+12 1307842 0.10% * 0+ 0 3.89730e+12 3.89570e+12 1316616 0.04% Repeating presolve. Presolve has eliminated 68312 rows and 4464570 columns... Tried aggregator 2 times. Aggregator has done 2110 substitutions... MIP Presolve eliminated 68353 rows and 4464570 columns. Aggregator did 2110 substitutions. Reduced MIP has 78532 rows, 1822141 columns, and 3720956 nonzeros. Reduced MIP has 1822141 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 20.19 sec. for 0% of probing (94 vars fixed). Elapsed time 34.65 sec. for 0% of probing (152 vars fixed). Elapsed time 55.30 sec. for 0% of probing (171 vars fixed). Elapsed time 68.06 sec. for 0% of probing (654 vars fixed). Elapsed time 78.29 sec. for 0% of probing (1013 vars fixed). Elapsed time 94.61 sec. for 0% of probing (1197 vars fixed). Elapsed time 107.00 sec. for 0% of probing (1197 vars fixed). Elapsed time 120.83 sec. for 0% of probing (1197 vars fixed). Elapsed time 134.21 sec. for 0% of probing (1197 vars fixed). Elapsed time 148.07 sec. for 0% of probing (1197 vars fixed). Elapsed time 158.94 sec. for 0% of probing (1197 vars fixed). Elapsed time 174.04 sec. for 0% of probing (1197 vars fixed). Elapsed time 184.44 sec. for 0% of probing (1197 vars fixed). Elapsed time 200.48 sec. for 0% of probing (1306 vars fixed). Elapsed time 210.57 sec. for 0% of probing (1354 vars fixed). Elapsed time 220.60 sec. for 0% of probing (1477 vars fixed). Elapsed time 230.78 sec. for 0% of probing (1554 vars fixed). Elapsed time 240.97 sec. for 0% of probing (1638 vars fixed). Elapsed time 251.00 sec. for 0% of probing (1640 vars fixed). Elapsed time 261.03 sec. for 0% of probing (1640 vars fixed). Elapsed time 271.09 sec. for 0% of probing (1640 vars fixed). Elapsed time 281.13 sec. for 0% of probing (1640 vars fixed). Elapsed time 291.18 sec. for 0% of probing (1640 vars fixed). Elapsed time 301.20 sec. for 0% of probing (1640 vars fixed). Elapsed time 311.31 sec. for 0% of probing (1640 vars fixed). Elapsed time 321.34 sec. for 0% of probing (1640 vars fixed). Elapsed time 331.40 sec. for 0% of probing (1640 vars fixed). Elapsed time 341.46 sec. for 0% of probing (1640 vars fixed). Elapsed time 351.52 sec. for 0% of probing (1640 vars fixed). Elapsed time 361.56 sec. for 0% of probing (1640 vars fixed). Elapsed time 371.57 sec. for 0% of probing (1640 vars fixed). Elapsed time 381.64 sec. for 0% of probing (1640 vars fixed). Elapsed time 391.72 sec. for 0% of probing (1640 vars fixed). Elapsed time 401.73 sec. for 0% of probing (1640 vars fixed). Elapsed time 411.74 sec. for 0% of probing (1640 vars fixed). Elapsed time 421.82 sec. for 0% of probing (1640 vars fixed). Elapsed time 431.82 sec. for 0% of probing (1640 vars fixed). Elapsed time 441.82 sec. for 0% of probing (1640 vars fixed). Elapsed time 451.86 sec. for 0% of probing (1640 vars fixed). Elapsed time 461.90 sec. for 0% of probing (1640 vars fixed). Elapsed time 471.93 sec. for 0% of probing (1640 vars fixed). Elapsed time 481.96 sec. for 0% of probing (1640 vars fixed). Elapsed time 492.08 sec. for 0% of probing (1640 vars fixed). Elapsed time 502.11 sec. for 0% of probing (1640 vars fixed). Elapsed time 512.13 sec. for 0% of probing (1640 vars fixed). Elapsed time 522.15 sec. for 0% of probing (1640 vars fixed). Elapsed time 532.22 sec. for 0% of probing (1640 vars fixed). Elapsed time 542.30 sec. for 0% of probing (1640 vars fixed). Elapsed time 552.35 sec. for 0% of probing (1640 vars fixed). Elapsed time 562.38 sec. for 0% of probing (1640 vars fixed). Elapsed time 572.41 sec. for 0% of probing (1640 vars fixed). Elapsed time 582.46 sec. for 0% of probing (1640 vars fixed). Elapsed time 592.53 sec. for 0% of probing (1640 vars fixed). Elapsed time 602.57 sec. for 0% of probing (1640 vars fixed). Elapsed time 612.62 sec. for 0% of probing (1640 vars fixed). Elapsed time 622.68 sec. for 0% of probing (1640 vars fixed). Elapsed time 632.85 sec. for 0% of probing (1640 vars fixed). Elapsed time 642.95 sec. for 0% of probing (1640 vars fixed). Elapsed time 652.97 sec. for 0% of probing (1640 vars fixed). Elapsed time 663.05 sec. for 0% of probing (1640 vars fixed). Elapsed time 673.05 sec. for 0% of probing (1640 vars fixed). Elapsed time 683.12 sec. for 0% of probing (1640 vars fixed). Elapsed time 693.22 sec. for 0% of probing (1640 vars fixed). Elapsed time 703.27 sec. for 0% of probing (1640 vars fixed). Elapsed time 713.33 sec. for 0% of probing (1640 vars fixed). Elapsed time 723.36 sec. for 0% of probing (1640 vars fixed). Elapsed time 733.42 sec. for 0% of probing (1640 vars fixed). Elapsed time 743.52 sec. for 0% of probing (1640 vars fixed). Elapsed time 753.60 sec. for 0% of probing (1640 vars fixed). Elapsed time 763.65 sec. for 0% of probing (1640 vars fixed). Elapsed time 773.73 sec. for 0% of probing (1640 vars fixed). Elapsed time 783.74 sec. for 0% of probing (1640 vars fixed). Elapsed time 793.80 sec. for 0% of probing (1640 vars fixed). Elapsed time 803.86 sec. for 0% of probing (1640 vars fixed). Elapsed time 813.92 sec. for 0% of probing (1640 vars fixed). Elapsed time 823.95 sec. for 0% of probing (1640 vars fixed). Elapsed time 833.96 sec. for 1% of probing (1640 vars fixed). Elapsed time 844.04 sec. for 1% of probing (1640 vars fixed). Elapsed time 854.13 sec. for 1% of probing (1640 vars fixed). Elapsed time 864.20 sec. for 1% of probing (1640 vars fixed). Elapsed time 874.28 sec. for 1% of probing (1640 vars fixed). Elapsed time 884.36 sec. for 1% of probing (1640 vars fixed). Elapsed time 894.39 sec. for 1% of probing (1640 vars fixed). Elapsed time 904.40 sec. for 1% of probing (1640 vars fixed). Elapsed time 914.49 sec. for 1% of probing (1640 vars fixed). Elapsed time 924.62 sec. for 1% of probing (1640 vars fixed). Elapsed time 934.66 sec. for 1% of probing (1640 vars fixed). Elapsed time 944.72 sec. for 1% of probing (1640 vars fixed). Elapsed time 954.87 sec. for 1% of probing (1640 vars fixed). Elapsed time 964.89 sec. for 1% of probing (1640 vars fixed). Elapsed time 975.07 sec. for 1% of probing (1640 vars fixed). Elapsed time 985.17 sec. for 1% of probing (1640 vars fixed). Elapsed time 995.34 sec. for 1% of probing (1640 vars fixed). Elapsed time 1005.52 sec. for 1% of probing (1640 vars fixed). Elapsed time 1015.71 sec. for 1% of probing (1640 vars fixed). Elapsed time 1025.72 sec. for 1% of probing (1640 vars fixed). Elapsed time 1035.83 sec. for 1% of probing (1640 vars fixed). Elapsed time 1045.85 sec. for 1% of probing (1640 vars fixed). Elapsed time 1055.90 sec. for 1% of probing (1640 vars fixed). Elapsed time 1065.91 sec. for 1% of probing (1640 vars fixed). Elapsed time 1075.92 sec. for 1% of probing (1640 vars fixed). Elapsed time 1085.92 sec. for 1% of probing (1640 vars fixed). Elapsed time 1095.94 sec. for 1% of probing (1640 vars fixed). Elapsed time 1105.97 sec. for 1% of probing (1640 vars fixed). Elapsed time 1116.03 sec. for 1% of probing (1640 vars fixed). Elapsed time 1126.17 sec. for 1% of probing (1640 vars fixed). Elapsed time 1136.20 sec. for 1% of probing (1640 vars fixed). Elapsed time 1146.32 sec. for 1% of probing (1640 vars fixed). Elapsed time 1156.40 sec. for 1% of probing (1640 vars fixed). Elapsed time 1166.54 sec. for 1% of probing (1640 vars fixed). Elapsed time 1176.58 sec. for 1% of probing (1640 vars fixed). Elapsed time 1186.62 sec. for 1% of probing (1640 vars fixed). Elapsed time 1196.65 sec. for 1% of probing (1640 vars fixed). Elapsed time 1206.78 sec. for 1% of probing (1640 vars fixed). Elapsed time 1216.78 sec. for 1% of probing (1640 vars fixed). Elapsed time 1226.82 sec. for 1% of probing (1640 vars fixed). Elapsed time 1236.85 sec. for 1% of probing (1640 vars fixed). Elapsed time 1246.93 sec. for 1% of probing (1640 vars fixed). Elapsed time 1257.03 sec. for 1% of probing (1640 vars fixed). Elapsed time 1267.12 sec. for 1% of probing (1640 vars fixed). Elapsed time 1277.17 sec. for 1% of probing (1640 vars fixed). Elapsed time 1287.29 sec. for 1% of probing (1640 vars fixed). Elapsed time 1297.35 sec. for 1% of probing (1640 vars fixed). Elapsed time 1307.40 sec. for 1% of probing (1640 vars fixed). Elapsed time 1317.55 sec. for 1% of probing (1640 vars fixed). Elapsed time 1327.57 sec. for 1% of probing (1640 vars fixed). Elapsed time 1337.59 sec. for 1% of probing (1640 vars fixed). Elapsed time 1347.63 sec. for 1% of probing (1640 vars fixed). Elapsed time 1357.67 sec. for 1% of probing (1640 vars fixed). Probing fixed 1640 vars, tightened 0 bounds. Probing time = 1359.58 sec. Tried aggregator 1 time. Presolve has eliminated 3 rows and 1643 columns... MIP Presolve eliminated 3 rows and 1643 columns. Reduced MIP has 78529 rows, 1820498 columns, and 3717670 nonzeros. Reduced MIP has 1820498 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 1404.88 sec. Elapsed time 19.25 sec. for 0% of probing. Elapsed time 31.66 sec. for 0% of probing. Elapsed time 49.30 sec. for 0% of probing. Elapsed time 65.25 sec. for 0% of probing. Elapsed time 75.41 sec. for 0% of probing. Probing time = 76.23 sec. Clique table members: 7437552. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 3131.42 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 3.89730e+12 3.89570e+12 2003365 0.04% 0 0 3.89570e+12 3521 3.89730e+12 3.89570e+12 2003365 0.04% * 0+ 0 3.89589e+12 3.89570e+12 2003365 0.00% Heuristic still looking. Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 50158 rows and 1588819 columns. Aggregator did 1546 substitutions. Reduced MIP has 26825 rows, 230133 columns, and 486499 nonzeros. Reduced MIP has 230133 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.01 sec. for 0% of probing (6447 vars fixed). Elapsed time 20.03 sec. for 1% of probing (6463 vars fixed). Elapsed time 30.04 sec. for 1% of probing (6463 vars fixed). Elapsed time 40.08 sec. for 2% of probing (6463 vars fixed). Elapsed time 50.08 sec. for 2% of probing (6463 vars fixed). Elapsed time 60.09 sec. for 3% of probing (6463 vars fixed). Elapsed time 70.12 sec. for 3% of probing (6463 vars fixed). Elapsed time 80.13 sec. for 3% of probing (6463 vars fixed). Elapsed time 90.14 sec. for 4% of probing (6463 vars fixed). Elapsed time 100.18 sec. for 4% of probing (6463 vars fixed). Elapsed time 110.18 sec. for 4% of probing (6463 vars fixed). Elapsed time 120.25 sec. for 5% of probing (6465 vars fixed). Elapsed time 130.31 sec. for 5% of probing (6465 vars fixed). Elapsed time 140.35 sec. for 5% of probing (6465 vars fixed). Elapsed time 150.38 sec. for 5% of probing (6465 vars fixed). Elapsed time 160.42 sec. for 6% of probing (6465 vars fixed). Elapsed time 170.44 sec. for 6% of probing (6465 vars fixed). Elapsed time 180.46 sec. for 7% of probing (6465 vars fixed). Elapsed time 190.49 sec. for 7% of probing (6465 vars fixed). Elapsed time 200.49 sec. for 7% of probing (6465 vars fixed). Elapsed time 210.51 sec. for 8% of probing (6465 vars fixed). Elapsed time 220.53 sec. for 8% of probing (6465 vars fixed). Elapsed time 230.57 sec. for 8% of probing (6465 vars fixed). Elapsed time 240.61 sec. for 9% of probing (6465 vars fixed). Elapsed time 250.64 sec. for 9% of probing (6465 vars fixed). Probing fixed 6465 vars, tightened 0 bounds. Probing time = 251.77 sec. Tried aggregator 1 time. MIP Presolve eliminated 765 rows and 14010 columns. Reduced MIP has 26060 rows, 216123 columns, and 457776 nonzeros. Reduced MIP has 216123 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.02 sec. for 0% of probing (5 vars fixed). Probing fixed 5 vars, tightened 0 bounds. Probing time = 12.83 sec. Tried aggregator 1 time. MIP Presolve eliminated 0 rows and 5 columns. Reduced MIP has 26060 rows, 216118 columns, and 457766 nonzeros. Reduced MIP has 216118 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 276.20 sec. Probing time = 6.86 sec. Clique table members: 905807. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 59.76 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 3.89589e+12 3.89570e+12 2119256 0.00% 0 0 3.89583e+12 1207 3.89589e+12 3.89583e+12 2119256 0.00% * 0+ 0 3.89587e+12 3.89583e+12 2119256 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 20195 rows and 204638 columns. MIP Presolve modified 56 coefficients. Aggregator did 597 substitutions. Reduced MIP has 5268 rows, 10883 columns, and 26964 nonzeros. Reduced MIP has 10883 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 4364 vars, tightened 0 bounds. Probing time = 3.06 sec. Tried aggregator 1 time. MIP Presolve eliminated 1695 rows and 4817 columns. Reduced MIP has 3573 rows, 6066 columns, and 15752 nonzeros. Reduced MIP has 6066 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.02 sec. Tried aggregator 1 time. Represolve time = 5.72 sec. Probing time = 0.02 sec. Clique table members: 28075. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.43 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 3.89587e+12 3.89583e+12 2125252 0.00% 0 0 3.89587e+12 564 3.89587e+12 3.89587e+12 2125252 0.00% Repeating presolve. Tried aggregator 2 times. MIP Presolve eliminated 3040 rows and 5533 columns. Aggregator did 533 substitutions. All rows and columns eliminated. Represolve time = 2.11 sec. Solution pool: 4 solutions saved. MIP - Integer optimal solution: Objective = 3.8958697522e+12 Solution time = 26461.56 sec. Iterations = 2119256 Nodes = 0 Deterministic time = 4783904.42 ticks (180.79 ticks/sec) Incumbent solution written to file '1CM1.matrix.42p.19aa.usingEref_self_digit8.wcsp.sol'.