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=2 -o -O=-1 -time=1200 -w=GLB_SNC_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.193 seconds.
Gilmore-Lawler dual bound: 13294722 (+100.000%)
Singleton consistency dual bound at iteration 134: 13461868 (+1.242%)
Singleton consistency dual bound at iteration 135: 13518457 (+0.419%)
Singleton consistency dual bound at iteration 136: 13588428 (+0.515%)
Singleton consistency dual bound at iteration 139: 13601336 (+0.085%)
Singleton consistency dual bound at iteration 140: 13607471 (+0.045%)
Singleton consistency dual bound at iteration 141: 13614631 (+0.053%)
Singleton consistency dual bound at iteration 143: 13624288 (+0.068%)
Singleton consistency dual bound at iteration 144: 13626265 (+0.015%)
Singleton consistency dual bound at iteration 145: 13629349 (+0.023%)
Singleton consistency dual bound at iteration 146: 13641918 (+0.092%)
Singleton consistency dual bound at iteration 147: 13647404 (+0.040%)
Singleton consistency dual bound at iteration 148: 13655549 (+0.060%)
Singleton consistency dual bound at iteration 149: 13664234 (+0.064%)
Singleton consistency dual bound at iteration 150: 13665924 (+0.012%)
Singleton consistency dual bound at iteration 151: 13684452 (+0.135%)
Singleton consistency dual bound at iteration 152: 13707497 (+0.168%)
Singleton consistency dual bound at iteration 153: 13715398 (+0.058%)
Singleton consistency dual bound at iteration 156: 13723002 (+0.046%)
Singleton consistency dual bound at iteration 159: 13753038 (+0.218%)
Singleton consistency dual bound at iteration 160: 13760637 (+0.055%)
Singleton consistency dual bound at iteration 162: 13777766 (+0.124%)
Singleton consistency dual bound at iteration 163: 13782053 (+0.031%)
Singleton consistency dual bound at iteration 164: 13791621 (+0.069%)
Singleton consistency dual bound at iteration 165: 13801688 (+0.073%)
Singleton consistency dual bound at iteration 166: 13804254 (+0.019%)
Singleton consistency dual bound at iteration 167: 13811054 (+0.049%)
Singleton consistency dual bound at iteration 168: 13824393 (+0.096%)
Singleton consistency dual bound at iteration 169: 13840408 (+0.116%)
Singleton consistency dual bound at iteration 170: 13864292 (+0.172%)
Singleton consistency dual bound at iteration 171: 13914364 (+0.360%)
Singleton consistency dual bound at iteration 172: 13946675 (+0.232%)
Singleton consistency dual bound at iteration 173: 13958058 (+0.082%)
Singleton consistency dual bound at iteration 177: 13965677 (+0.047%)
Singleton consistency dual bound at iteration 178: 13971605 (+0.042%)
Singleton consistency dual bound at iteration 181: 13984514 (+0.086%)
Singleton consistency dual bound at iteration 185: 13991071 (+0.030%)
Singleton consistency dual bound at iteration 186: 13997335 (+0.045%)
Singleton consistency dual bound at iteration 187: 14003572 (+0.045%)
Singleton consistency dual bound at iteration 188: 14019175 (+0.111%)
Singleton consistency dual bound at iteration 189: 14048055 (+0.206%)
Singleton consistency dual bound at iteration 190: 14074581 (+0.188%)
Singleton consistency dual bound at iteration 191: 14086486 (+0.085%)
Singleton consistency dual bound at iteration 192: 14092636 (+0.044%)
Singleton consistency dual bound at iteration 197: 14096002 (+0.024%)
Singleton consistency dual bound at iteration 203: 14108273 (+0.068%)
Singleton consistency dual bound at iteration 204: 14121790 (+0.096%)
Singleton consistency dual bound at iteration 207: 14129824 (+0.046%)
Singleton consistency dual bound at iteration 208: 14158695 (+0.204%)
Singleton consistency dual bound at iteration 209: 14174273 (+0.110%)
Singleton consistency dual bound at iteration 210: 14192430 (+0.128%)
Singleton consistency dual bound at iteration 211: 14199578 (+0.050%)
Singleton consistency dual bound at iteration 213: 14211311 (+0.082%)
Singleton consistency dual bound at iteration 216: 14218508 (+0.034%)
Singleton consistency dual bound at iteration 219: 14228779 (+0.071%)
Singleton consistency dual bound at iteration 221: 14237380 (+0.053%)
Singleton consistency dual bound at iteration 222: 14251792 (+0.101%)
Singleton consistency dual bound at iteration 223: 14255004 (+0.023%)
Singleton consistency dual bound at iteration 226: 14262368 (+0.042%)
Singleton consistency dual bound at iteration 227: 14265923 (+0.025%)
Singleton consistency dual bound at iteration 228: 14284328 (+0.129%)
Singleton consistency dual bound at iteration 229: 14293303 (+0.063%)
Singleton consistency dual bound at iteration 234: 14297166 (+0.013%)
Singleton consistency dual bound at iteration 241: 14303787 (+0.025%)
Singleton consistency dual bound at iteration 246: 14311410 (+0.043%)
Singleton consistency dual bound at iteration 247: 14319105 (+0.054%)
Singleton consistency dual bound at iteration 251: 14322297 (+0.022%)
Singleton consistency dual bound at iteration 255: 14329300 (+0.037%)
Singleton consistency dual bound at iteration 260: 14332224 (+0.011%)
Singleton consistency dual bound at iteration 265: 14335748 (+0.014%)
Singleton consistency dual bound at iteration 266: 14338640 (+0.020%)
Singleton consistency dual bound at iteration 274: 14347099 (+0.050%)
Singleton consistency dual bound at iteration 279: 14352966 (+0.029%)
Singleton consistency dual bound at iteration 284: 14355638 (+0.018%)
Singleton consistency dual bound at iteration 285: 14357298 (+0.012%)
Singleton consistency dual bound at iteration 303: 14366041 (+0.025%)
Singleton consistency dual bound at iteration 322: 14372371 (+0.020%)
Singleton consistency dual bound at iteration 323: 14378246 (+0.041%)
Singleton consistency dual bound at iteration 325: 14381454 (+0.022%)
Singleton consistency dual bound at iteration 341: 14384829 (+0.012%)
Singleton consistency dual bound at iteration 342: 14389767 (+0.034%)
Singleton consistency dual bound at iteration 343: 14391292 (+0.011%)
Singleton consistency dual bound at iteration 346: 14393245 (+0.013%)
Singleton consistency dual bound at iteration 352: 14395739 (+0.017%)
Singleton consistency dual bound at iteration 380: 14399000
Singleton consistency done in 380 iterations and 0.491 seconds.
Preprocessing time: 0.706 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: [14399000, 1000000000] 98.560%
New solution: 18298928 (0 backtracks, 16 nodes, depth 18, 0.712 seconds)
Optimality gap: [14418597, 18298928] 21.205 % (16 backtracks, 32 nodes, 0.718 seconds)
c 2097152 Bytes allocated for long long stack.
Optimality gap: [14458185, 18298928] 20.989 % (30 backtracks, 61 nodes, 0.732 seconds)
New solution: 18239092 (30 backtracks, 75 nodes, depth 14, 0.739 seconds)
New solution: 18199310 (42 backtracks, 104 nodes, depth 16, 0.749 seconds)
Optimality gap: [14475382, 18199310] 20.462 % (56 backtracks, 118 nodes, 0.754 seconds)
New solution: 17963566 (56 backtracks, 135 nodes, depth 15, 0.762 seconds)
New solution: 17924114 (82 backtracks, 199 nodes, depth 16, 0.783 seconds)
Optimality gap: [14510317, 17924114] 19.046 % (113 backtracks, 262 nodes, 0.806 seconds)
New solution: 17892714 (139 backtracks, 354 nodes, depth 12, 0.835 seconds)
New solution: 17785652 (151 backtracks, 378 nodes, depth 12, 0.837 seconds)
New solution: 17680476 (162 backtracks, 414 nodes, depth 14, 0.851 seconds)
New solution: 17656494 (163 backtracks, 415 nodes, depth 13, 0.851 seconds)
New solution: 17656134 (178 backtracks, 442 nodes, depth 10, 0.854 seconds)
Optimality gap: [14534330, 17656134] 17.681 % (201 backtracks, 480 nodes, 0.859 seconds)
New solution: 17586650 (212 backtracks, 527 nodes, depth 14, 0.870 seconds)
c 4194304 Bytes allocated for long long stack.
c 8388608 Bytes allocated for long long stack.
c 16777216 Bytes allocated for long long stack.
c 33554432 Bytes allocated for long long stack.
c 1572864 Bytes allocated for int stack.
c 67108864 Bytes allocated for long long stack.
c 3145728 Bytes allocated for int stack.
c 134217728 Bytes allocated for long long stack.
New solution: 17430182 (621 backtracks, 1383 nodes, depth 14, 3.151 seconds)
New solution: 17385870 (622 backtracks, 1384 nodes, depth 12, 3.151 seconds)
New solution: 17367328 (646 backtracks, 1431 nodes, depth 11, 3.156 seconds)
New solution: 17212548 (1014 backtracks, 2169 nodes, depth 13, 3.258 seconds)
Optimality gap: [14546210, 17212548] 15.491 % (1173 backtracks, 2486 nodes, 3.366 seconds)
Optimality gap: [14583290, 17212548] 15.275 % (1642 backtracks, 3433 nodes, 3.562 seconds)
Optimality gap: [14663487, 17212548] 14.809 % (1811 backtracks, 3789 nodes, 3.644 seconds)
Optimality gap: [14680679, 17212548] 14.709 % (1931 backtracks, 4056 nodes, 3.731 seconds)
Optimality gap: [14720811, 17212548] 14.476 % (1959 backtracks, 4150 nodes, 3.764 seconds)
Optimality gap: [14759302, 17212548] 14.253 % (1963 backtracks, 4166 nodes, 3.771 seconds)
Optimality gap: [14767442, 17212548] 14.205 % (1971 backtracks, 4185 nodes, 3.782 seconds)
Optimality gap: [14814399, 17212548] 13.933 % (1987 backtracks, 4259 nodes, 3.807 seconds)
Optimality gap: [14883212, 17212548] 13.533 % (1993 backtracks, 4275 nodes, 3.814 seconds)
Optimality gap: [14960238, 17212548] 13.085 % (2009 backtracks, 4347 nodes, 3.837 seconds)
Optimality gap: [14980272, 17212548] 12.969 % (2015 backtracks, 4368 nodes, 3.842 seconds)
Optimality gap: [15008396, 17212548] 12.805 % (2035 backtracks, 4432 nodes, 3.893 seconds)
Optimality gap: [15023557, 17212548] 12.717 % (2039 backtracks, 4455 nodes, 3.897 seconds)
Optimality gap: [15064118, 17212548] 12.482 % (2045 backtracks, 4473 nodes, 3.907 seconds)
Optimality gap: [15098284, 17212548] 12.283 % (2056 backtracks, 4511 nodes, 3.924 seconds)
Optimality gap: [15125576, 17212548] 12.125 % (2074 backtracks, 4562 nodes, 3.966 seconds)
Optimality gap: [15139578, 17212548] 12.043 % (2086 backtracks, 4597 nodes, 3.982 seconds)
Optimality gap: [15180595, 17212548] 11.805 % (2100 backtracks, 4660 nodes, 4.013 seconds)
Optimality gap: [15196763, 17212548] 11.711 % (2119 backtracks, 4724 nodes, 4.031 seconds)
Optimality gap: [15221716, 17212548] 11.566 % (2170 backtracks, 4844 nodes, 4.092 seconds)
Optimality gap: [15290709, 17212548] 11.165 % (2777 backtracks, 6109 nodes, 4.371 seconds)
Optimality gap: [15300379, 17212548] 11.109 % (2826 backtracks, 6251 nodes, 4.452 seconds)
Optimality gap: [15327848, 17212548] 10.950 % (3218 backtracks, 7088 nodes, 4.713 seconds)
Optimality gap: [15371997, 17212548] 10.693 % (3448 backtracks, 7558 nodes, 4.764 seconds)
Optimality gap: [15392327, 17212548] 10.575 % (3519 backtracks, 7718 nodes, 4.927 seconds)
Optimality gap: [15419677, 17212548] 10.416 % (3566 backtracks, 7851 nodes, 4.987 seconds)
Optimality gap: [15450281, 17212548] 10.238 % (3606 backtracks, 7971 nodes, 5.061 seconds)
Optimality gap: [15473177, 17212548] 10.105 % (3822 backtracks, 8423 nodes, 5.122 seconds)
Optimality gap: [15500805, 17212548] 9.945 % (3832 backtracks, 8459 nodes, 5.139 seconds)
Optimality gap: [15537170, 17212548] 9.733 % (3853 backtracks, 8530 nodes, 5.166 seconds)
Optimality gap: [15567833, 17212548] 9.555 % (3871 backtracks, 8591 nodes, 5.198 seconds)
Optimality gap: [15602379, 17212548] 9.355 % (3971 backtracks, 8827 nodes, 5.260 seconds)
Optimality gap: [15644862, 17212548] 9.108 % (3987 backtracks, 8886 nodes, 5.284 seconds)
Optimality gap: [15679896, 17212548] 8.904 % (3992 backtracks, 8908 nodes, 5.290 seconds)
Optimality gap: [15704694, 17212548] 8.760 % (4006 backtracks, 8941 nodes, 5.321 seconds)
Optimality gap: [15748687, 17212548] 8.505 % (4142 backtracks, 9228 nodes, 5.359 seconds)
Optimality gap: [15760206, 17212548] 8.438 % (4178 backtracks, 9307 nodes, 5.398 seconds)
Optimality gap: [15807738, 17212548] 8.162 % (4211 backtracks, 9404 nodes, 5.435 seconds)
Optimality gap: [15898989, 17212548] 7.631 % (4214 backtracks, 9417 nodes, 5.441 seconds)
Optimality gap: [15921703, 17212548] 7.499 % (4269 backtracks, 9565 nodes, 5.473 seconds)
Optimality gap: [15954504, 17212548] 7.309 % (4274 backtracks, 9592 nodes, 5.480 seconds)
Optimality gap: [15983825, 17212548] 7.139 % (4766 backtracks, 10601 nodes, 5.611 seconds)
Optimality gap: [16020338, 17212548] 6.926 % (4776 backtracks, 10669 nodes, 5.623 seconds)
Optimality gap: [16043888, 17212548] 6.790 % (4780 backtracks, 10694 nodes, 5.627 seconds)
Optimality gap: [16062431, 17212548] 6.682 % (5173 backtracks, 11503 nodes, 5.708 seconds)
Optimality gap: [16160544, 17212548] 6.112 % (5196 backtracks, 11561 nodes, 5.718 seconds)
Optimality gap: [16173791, 17212548] 6.035 % (5343 backtracks, 11865 nodes, 5.744 seconds)
Optimality gap: [16209839, 17212548] 5.825 % (5386 backtracks, 11963 nodes, 5.752 seconds)
Optimality gap: [16229381, 17212548] 5.712 % (5423 backtracks, 12056 nodes, 5.762 seconds)
Optimality gap: [16275346, 17212548] 5.445 % (5442 backtracks, 12162 nodes, 5.781 seconds)
Optimality gap: [16284491, 17212548] 5.392 % (5510 backtracks, 12326 nodes, 5.803 seconds)
Optimality gap: [16317340, 17212548] 5.201 % (5542 backtracks, 12446 nodes, 5.816 seconds)
Optimality gap: [16379723, 17212548] 4.838 % (5718 backtracks, 12852 nodes, 5.868 seconds)
Optimality gap: [16420048, 17212548] 4.604 % (5733 backtracks, 12904 nodes, 5.884 seconds)
Optimality gap: [16450001, 17212548] 4.430 % (5735 backtracks, 12918 nodes, 5.887 seconds)
Optimality gap: [16482006, 17212548] 4.244 % (5737 backtracks, 12934 nodes, 5.887 seconds)
Optimality gap: [16510288, 17212548] 4.080 % (5746 backtracks, 12986 nodes, 5.893 seconds)
Optimality gap: [16564602, 17212548] 3.764 % (5781 backtracks, 13117 nodes, 5.909 seconds)
Optimality gap: [16571872, 17212548] 3.722 % (5813 backtracks, 13200 nodes, 5.914 seconds)
Optimality gap: [16620437, 17212548] 3.440 % (5817 backtracks, 13224 nodes, 5.917 seconds)
Optimality gap: [16644185, 17212548] 3.302 % (5819 backtracks, 13238 nodes, 5.918 seconds)
Optimality gap: [16671463, 17212548] 3.144 % (5820 backtracks, 13253 nodes, 5.918 seconds)
Optimality gap: [16696302, 17212548] 2.999 % (5823 backtracks, 13287 nodes, 5.920 seconds)
Optimality gap: [16706157, 17212548] 2.942 % (5830 backtracks, 13315 nodes, 5.921 seconds)
Optimality gap: [16749252, 17212548] 2.692 % (5834 backtracks, 13369 nodes, 5.926 seconds)
Optimality gap: [16774081, 17212548] 2.547 % (5839 backtracks, 13416 nodes, 5.931 seconds)
Optimality gap: [16792149, 17212548] 2.442 % (5852 backtracks, 13473 nodes, 5.934 seconds)
Optimality gap: [16831357, 17212548] 2.215 % (6023 backtracks, 13872 nodes, 5.967 seconds)
Optimality gap: [16891294, 17212548] 1.866 % (6028 backtracks, 13914 nodes, 5.970 seconds)
Optimality gap: [16919614, 17212548] 1.702 % (6033 backtracks, 13970 nodes, 5.973 seconds)
Optimality gap: [16941047, 17212548] 1.577 % (6047 backtracks, 14029 nodes, 5.978 seconds)
Optimality gap: [16962349, 17212548] 1.454 % (6048 backtracks, 14054 nodes, 5.979 seconds)
Optimality gap: [17009737, 17212548] 1.178 % (6053 backtracks, 14094 nodes, 5.986 seconds)
Optimality gap: [17021523, 17212548] 1.110 % (6094 backtracks, 14200 nodes, 5.995 seconds)
Optimality gap: [17071175, 17212548] 0.821 % (6115 backtracks, 14300 nodes, 6.007 seconds)
Optimality gap: [17080200, 17212548] 0.769 % (6115 backtracks, 14309 nodes, 6.007 seconds)
Optimality gap: [17104783, 17212548] 0.626 % (6120 backtracks, 14358 nodes, 6.010 seconds)
Optimality gap: [17207188, 17212548] 0.031 % (6126 backtracks, 14406 nodes, 6.011 seconds)
Node redundancy during HBFS: 15.045
Optimum: 17212548 in 6126 backtracks and 14423 nodes ( 0 removals by DEE) and 6.012 seconds.
end.
