c ./toulbar2  version : v1.2.1-388-g16889074-lapjv (1764786628), copyright (c) 2006-2024, toulbar2 team
cmd: ./toulbar2 /Scratch/gsewa/QAP/Instances/QAP_LAPJV_Instances/els19.wcsp.xz -d: -S -glb=1 -o -O=-1 -time=1200 -w=GLB_ALLDIFF_VAR_VAL_LOG/els19.sol
loading xz compressed wcsp file: /Scratch/gsewa/QAP/Instances/QAP_LAPJV_Instances/els19.wcsp.xz
Read 19 variables, with 19 values at most, and 191 cost functions, with maximum arity 19.
Cost function decomposition time : 1.6e-05 seconds.
Singleton consistency dual bound at iteration 1: 21396 (+100.000%)
Singleton consistency dual bound at iteration 2: 35310 (+39.405%)
Singleton consistency dual bound at iteration 3: 88219 (+59.975%)
Singleton consistency dual bound at iteration 4: 106049 (+16.813%)
Singleton consistency dual bound at iteration 5: 245958 (+56.883%)
Singleton consistency dual bound at iteration 6: 286967 (+14.290%)
Singleton consistency dual bound at iteration 7: 338674 (+15.267%)
Singleton consistency dual bound at iteration 8: 392164 (+13.640%)
Singleton consistency dual bound at iteration 9: 452786 (+13.389%)
Singleton consistency dual bound at iteration 10: 492816 (+8.123%)
Singleton consistency dual bound at iteration 11: 580992 (+15.177%)
Singleton consistency dual bound at iteration 12: 645978 (+10.060%)
Singleton consistency dual bound at iteration 13: 723311 (+10.692%)
Singleton consistency dual bound at iteration 14: 783933 (+7.733%)
Singleton consistency dual bound at iteration 15: 860995 (+8.950%)
Singleton consistency dual bound at iteration 16: 913483 (+5.746%)
Singleton consistency dual bound at iteration 17: 956695 (+4.517%)
Singleton consistency dual bound at iteration 18: 981307 (+2.508%)
Singleton consistency dual bound at iteration 19: 1097664 (+10.600%)
Singleton consistency dual bound at iteration 21: 12722047 (+0.016%)
Singleton consistency dual bound at iteration 32: 12728818 (+0.037%)
Singleton consistency dual bound at iteration 37: 12732298 (+0.018%)
Singleton consistency dual bound at iteration 38: 12754572 (+0.175%)
Singleton consistency dual bound at iteration 57: 13076080 (+0.055%)
Singleton consistency dual bound at iteration 76: 13185911 (+0.055%)
Singleton consistency dual bound at iteration 95: 13229385 (+0.019%)
Singleton consistency dual bound at iteration 114: 13259896 (+0.013%)
Singleton consistency dual bound at iteration 133: 13294722
Singleton consistency done in 133 iterations and 0.194 seconds.
Gilmore-Lawler dual bound: 13294722 (+100.000%)
Preprocessing time: 0.213 seconds.
19 unassigned variables, 361 values in all current domains (med. size:19, max size:19) and 172 non-unary cost functions (med. arity:2, med. degree:18)
Initial lower and upper bounds: [13294722, 1000000000] 98.671%
New solution: 23417056 (0 backtracks, 16 nodes, depth 18, 0.219 seconds)
Optimality gap: [13299789, 23417056] 43.205 % (15 backtracks, 31 nodes, 0.224 seconds)
New solution: 22348916 (15 backtracks, 48 nodes, depth 18, 0.229 seconds)
New solution: 22328434 (29 backtracks, 75 nodes, depth 13, 0.239 seconds)
Optimality gap: [13386180, 22328434] 40.049 % (40 backtracks, 86 nodes, 0.240 seconds)
c 2097152 Bytes allocated for long long stack.
New solution: 20474204 (40 backtracks, 104 nodes, depth 17, 0.247 seconds)
New solution: 20201838 (55 backtracks, 138 nodes, depth 17, 0.256 seconds)
New solution: 19708666 (70 backtracks, 173 nodes, depth 17, 0.265 seconds)
Optimality gap: [13425954, 19708666] 31.878 % (134 backtracks, 316 nodes, 0.303 seconds)
New solution: 19192094 (135 backtracks, 335 nodes, depth 16, 0.309 seconds)
New solution: 19020124 (136 backtracks, 336 nodes, depth 15, 0.309 seconds)
New solution: 19004266 (172 backtracks, 415 nodes, depth 13, 0.329 seconds)
New solution: 18942458 (173 backtracks, 416 nodes, depth 12, 0.329 seconds)
New solution: 18940842 (176 backtracks, 424 nodes, depth 14, 0.329 seconds)
New solution: 18838584 (189 backtracks, 451 nodes, depth 15, 0.330 seconds)
New solution: 18758518 (190 backtracks, 453 nodes, depth 14, 0.330 seconds)
New solution: 18702300 (196 backtracks, 467 nodes, depth 15, 0.331 seconds)
New solution: 18658312 (230 backtracks, 541 nodes, depth 15, 0.347 seconds)
New solution: 18586734 (241 backtracks, 563 nodes, depth 15, 0.348 seconds)
New solution: 17808970 (249 backtracks, 580 nodes, depth 15, 0.350 seconds)
New solution: 17755082 (253 backtracks, 587 nodes, depth 13, 0.350 seconds)
New solution: 17535590 (265 backtracks, 615 nodes, depth 17, 0.353 seconds)
Optimality gap: [13425954, 17535590] 23.436 % (284 backtracks, 638 nodes, 0.355 seconds)
New solution: 17419710 (295 backtracks, 679 nodes, depth 14, 0.361 seconds)
New solution: 17401454 (299 backtracks, 689 nodes, depth 16, 0.362 seconds)
New solution: 17381570 (364 backtracks, 824 nodes, depth 13, 0.390 seconds)
Optimality gap: [13466477, 17381570] 22.524 % (568 backtracks, 1240 nodes, 0.455 seconds)
New solution: 17380854 (665 backtracks, 1463 nodes, depth 15, 0.497 seconds)
New solution: 17380134 (669 backtracks, 1469 nodes, depth 13, 0.497 seconds)
Optimality gap: [13512695, 17380134] 22.252 % (987 backtracks, 2133 nodes, 0.606 seconds)
Optimality gap: [13545504, 17380134] 22.063 % (1179 backtracks, 2543 nodes, 0.731 seconds)
c 4194304 Bytes allocated for long long stack.
New solution: 17234638 (1250 backtracks, 2707 nodes, depth 15, 0.892 seconds)
New solution: 17212548 (1251 backtracks, 2708 nodes, depth 14, 0.892 seconds)
Optimality gap: [13600259, 17212548] 20.986 % (1383 backtracks, 2970 nodes, 0.933 seconds)
Optimality gap: [13609538, 17212548] 20.932 % (1449 backtracks, 3107 nodes, 0.963 seconds)
Optimality gap: [13655280, 17212548] 20.667 % (2092 backtracks, 4475 nodes, 1.297 seconds)
Optimality gap: [13686647, 17212548] 20.484 % (2232 backtracks, 4770 nodes, 1.369 seconds)
Optimality gap: [13765900, 17212548] 20.024 % (2365 backtracks, 5058 nodes, 1.449 seconds)
Optimality gap: [13864058, 17212548] 19.454 % (2540 backtracks, 5425 nodes, 1.538 seconds)
Optimality gap: [13886064, 17212548] 19.326 % (2814 backtracks, 6000 nodes, 1.649 seconds)
Optimality gap: [13986274, 17212548] 18.744 % (2854 backtracks, 6091 nodes, 1.704 seconds)
Optimality gap: [14016448, 17212548] 18.568 % (2915 backtracks, 6225 nodes, 1.765 seconds)
Optimality gap: [14075317, 17212548] 18.226 % (2998 backtracks, 6424 nodes, 1.856 seconds)
Optimality gap: [14083332, 17212548] 18.180 % (3025 backtracks, 6483 nodes, 1.873 seconds)
Optimality gap: [14127928, 17212548] 17.921 % (3203 backtracks, 6896 nodes, 2.007 seconds)
Optimality gap: [14160279, 17212548] 17.733 % (3403 backtracks, 7329 nodes, 2.144 seconds)
Optimality gap: [14237673, 17212548] 17.283 % (3531 backtracks, 7612 nodes, 2.237 seconds)
Optimality gap: [14281713, 17212548] 17.027 % (3800 backtracks, 8223 nodes, 2.351 seconds)
Optimality gap: [14345166, 17212548] 16.659 % (3946 backtracks, 8547 nodes, 2.409 seconds)
Optimality gap: [14353783, 17212548] 16.609 % (3979 backtracks, 8632 nodes, 2.441 seconds)
Optimality gap: [14424554, 17212548] 16.197 % (4123 backtracks, 8960 nodes, 2.525 seconds)
Optimality gap: [14451417, 17212548] 16.041 % (4175 backtracks, 9078 nodes, 2.558 seconds)
Optimality gap: [14475653, 17212548] 15.901 % (4206 backtracks, 9155 nodes, 2.574 seconds)
Optimality gap: [14524739, 17212548] 15.615 % (4285 backtracks, 9365 nodes, 2.635 seconds)
Optimality gap: [14567521, 17212548] 15.367 % (4460 backtracks, 9751 nodes, 2.686 seconds)
Optimality gap: [14605337, 17212548] 15.147 % (4534 backtracks, 9938 nodes, 2.725 seconds)
Optimality gap: [14638671, 17212548] 14.953 % (4555 backtracks, 9993 nodes, 2.744 seconds)
Optimality gap: [14705383, 17212548] 14.566 % (4590 backtracks, 10105 nodes, 2.772 seconds)
Optimality gap: [14755590, 17212548] 14.274 % (4611 backtracks, 10165 nodes, 2.782 seconds)
Optimality gap: [14784200, 17212548] 14.108 % (4630 backtracks, 10251 nodes, 2.798 seconds)
Optimality gap: [14867736, 17212548] 13.623 % (4678 backtracks, 10398 nodes, 2.831 seconds)
Optimality gap: [14903508, 17212548] 13.415 % (4804 backtracks, 10711 nodes, 2.858 seconds)
Optimality gap: [14960686, 17212548] 13.083 % (4834 backtracks, 10830 nodes, 2.890 seconds)
Optimality gap: [14999352, 17212548] 12.858 % (4846 backtracks, 10866 nodes, 2.894 seconds)
Optimality gap: [15034449, 17212548] 12.654 % (4942 backtracks, 11069 nodes, 2.921 seconds)
Optimality gap: [15071221, 17212548] 12.440 % (4954 backtracks, 11114 nodes, 2.927 seconds)
Optimality gap: [15104147, 17212548] 12.249 % (5075 backtracks, 11435 nodes, 3.021 seconds)
Optimality gap: [15145290, 17212548] 12.010 % (5242 backtracks, 11802 nodes, 3.062 seconds)
Optimality gap: [15185254, 17212548] 11.778 % (5256 backtracks, 11865 nodes, 3.076 seconds)
Optimality gap: [15226976, 17212548] 11.536 % (5281 backtracks, 11963 nodes, 3.092 seconds)
Optimality gap: [15262417, 17212548] 11.330 % (5350 backtracks, 12119 nodes, 3.111 seconds)
Optimality gap: [15311461, 17212548] 11.045 % (5362 backtracks, 12168 nodes, 3.127 seconds)
Optimality gap: [15417196, 17212548] 10.430 % (5364 backtracks, 12184 nodes, 3.131 seconds)
Optimality gap: [15479467, 17212548] 10.069 % (5373 backtracks, 12237 nodes, 3.140 seconds)
Optimality gap: [15491053, 17212548] 10.001 % (5382 backtracks, 12268 nodes, 3.144 seconds)
Optimality gap: [15528424, 17212548] 9.784 % (5397 backtracks, 12348 nodes, 3.153 seconds)
Optimality gap: [15568403, 17212548] 9.552 % (5417 backtracks, 12444 nodes, 3.171 seconds)
Optimality gap: [15623184, 17212548] 9.234 % (5424 backtracks, 12471 nodes, 3.175 seconds)
Optimality gap: [15646765, 17212548] 9.097 % (5426 backtracks, 12496 nodes, 3.176 seconds)
Optimality gap: [15737056, 17212548] 8.572 % (5437 backtracks, 12564 nodes, 3.184 seconds)
Optimality gap: [15802796, 17212548] 8.190 % (5443 backtracks, 12601 nodes, 3.190 seconds)
Optimality gap: [15849610, 17212548] 7.918 % (5608 backtracks, 12967 nodes, 3.225 seconds)
Optimality gap: [15898780, 17212548] 7.633 % (5685 backtracks, 13179 nodes, 3.238 seconds)
Optimality gap: [15982505, 17212548] 7.146 % (5704 backtracks, 13258 nodes, 3.246 seconds)
Optimality gap: [16016649, 17212548] 6.948 % (5709 backtracks, 13292 nodes, 3.255 seconds)
Optimality gap: [16047412, 17212548] 6.769 % (5727 backtracks, 13377 nodes, 3.271 seconds)
Optimality gap: [16080550, 17212548] 6.577 % (5756 backtracks, 13491 nodes, 3.285 seconds)
Optimality gap: [16170368, 17212548] 6.055 % (5943 backtracks, 13888 nodes, 3.343 seconds)
Optimality gap: [16249211, 17212548] 5.597 % (5954 backtracks, 13937 nodes, 3.351 seconds)
Optimality gap: [16276881, 17212548] 5.436 % (6012 backtracks, 14093 nodes, 3.367 seconds)
Optimality gap: [16312753, 17212548] 5.228 % (6081 backtracks, 14244 nodes, 3.381 seconds)
Optimality gap: [16351015, 17212548] 5.005 % (6094 backtracks, 14325 nodes, 3.388 seconds)
Optimality gap: [16395074, 17212548] 4.749 % (6097 backtracks, 14367 nodes, 3.391 seconds)
Optimality gap: [16438554, 17212548] 4.497 % (6098 backtracks, 14380 nodes, 3.392 seconds)
Optimality gap: [16472067, 17212548] 4.302 % (6150 backtracks, 14511 nodes, 3.402 seconds)
Optimality gap: [16512847, 17212548] 4.065 % (6151 backtracks, 14530 nodes, 3.404 seconds)
Optimality gap: [16549582, 17212548] 3.852 % (6160 backtracks, 14589 nodes, 3.409 seconds)
Optimality gap: [16603961, 17212548] 3.536 % (6175 backtracks, 14695 nodes, 3.419 seconds)
Optimality gap: [16648956, 17212548] 3.274 % (6182 backtracks, 14736 nodes, 3.422 seconds)
Optimality gap: [16670927, 17212548] 3.147 % (6183 backtracks, 14758 nodes, 3.422 seconds)
Optimality gap: [16703887, 17212548] 2.955 % (6185 backtracks, 14774 nodes, 3.424 seconds)
Optimality gap: [16766843, 17212548] 2.589 % (6198 backtracks, 14923 nodes, 3.435 seconds)
Optimality gap: [16795097, 17212548] 2.425 % (6235 backtracks, 15053 nodes, 3.442 seconds)
Optimality gap: [16826649, 17212548] 2.242 % (6367 backtracks, 15360 nodes, 3.467 seconds)
Optimality gap: [16880129, 17212548] 1.931 % (6368 backtracks, 15412 nodes, 3.469 seconds)
Optimality gap: [16915235, 17212548] 1.727 % (6497 backtracks, 15731 nodes, 3.497 seconds)
Optimality gap: [16938469, 17212548] 1.592 % (6574 backtracks, 15911 nodes, 3.510 seconds)
Optimality gap: [16982209, 17212548] 1.338 % (6745 backtracks, 16432 nodes, 3.542 seconds)
Optimality gap: [17020510, 17212548] 1.116 % (6811 backtracks, 16716 nodes, 3.555 seconds)
Optimality gap: [17058138, 17212548] 0.897 % (6847 backtracks, 16830 nodes, 3.560 seconds)
Optimality gap: [17100034, 17212548] 0.654 % (6885 backtracks, 17061 nodes, 3.589 seconds)
Optimality gap: [17134234, 17212548] 0.455 % (6907 backtracks, 17186 nodes, 3.594 seconds)
Optimality gap: [17212548, 17212548] 0.000 % (6916 backtracks, 17272 nodes, 3.597 seconds)
Node redundancy during HBFS: 19.876
Optimum: 17212548 in 6916 backtracks and 17272 nodes ( 1 removals by DEE) and 3.597 seconds.
end.
