c ./toulbar2  version : v1.2.1-371-g4f60bb1a-lapjv (1762445389), copyright (c) 2006-2024, toulbar2 team
cmd: ./toulbar2 /Scratch/gsewa/QAP/Instances/QAP_LAPJV_Instances/els19.wcsp.xz -S -O=-1 -d: -o -timer=1200 -w=els19.wcsp.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.5e-05 seconds.
Singleton consistency dual bound at iteration 1: 42792 (+100.000%)
Singleton consistency dual bound at iteration 2: 82688 (+48.249%)
Singleton consistency dual bound at iteration 3: 220506 (+62.501%)
Singleton consistency dual bound at iteration 4: 256166 (+13.921%)
Singleton consistency dual bound at iteration 5: 359490 (+28.742%)
Singleton consistency dual bound at iteration 7: 388458 (+7.457%)
Singleton consistency dual bound at iteration 8: 419858 (+7.479%)
Singleton consistency dual bound at iteration 9: 506074 (+17.036%)
Singleton consistency dual bound at iteration 10: 560508 (+9.712%)
Singleton consistency dual bound at iteration 11: 567464 (+1.226%)
Singleton consistency dual bound at iteration 12: 605120 (+6.223%)
Singleton consistency dual bound at iteration 13: 644914 (+6.170%)
Singleton consistency dual bound at iteration 14: 764164 (+15.605%)
Singleton consistency dual bound at iteration 15: 831016 (+8.045%)
Singleton consistency dual bound at iteration 16: 838730 (+0.920%)
Singleton consistency dual bound at iteration 17: 882992 (+5.013%)
Singleton consistency dual bound at iteration 18: 1042016 (+15.261%)
Singleton consistency dual bound at iteration 19: 1672098 (+37.682%)
Singleton consistency dual bound at iteration 20: 1783616 (+6.252%)
Singleton consistency dual bound at iteration 21: 1830398 (+2.556%)
Singleton consistency dual bound at iteration 22: 1873722 (+2.312%)
Singleton consistency dual bound at iteration 23: 2056462 (+8.886%)
Singleton consistency dual bound at iteration 24: 2274048 (+9.568%)
Singleton consistency dual bound at iteration 25: 2640078 (+13.864%)
Singleton consistency dual bound at iteration 26: 2741336 (+3.694%)
Singleton consistency dual bound at iteration 27: 2758526 (+0.623%)
Singleton consistency dual bound at iteration 28: 2943544 (+6.286%)
Singleton consistency dual bound at iteration 29: 3037830 (+3.104%)
Singleton consistency dual bound at iteration 30: 3313338 (+8.315%)
Singleton consistency dual bound at iteration 31: 3378974 (+1.942%)
Singleton consistency dual bound at iteration 32: 3628954 (+6.888%)
Singleton consistency dual bound at iteration 33: 3820038 (+5.002%)
Singleton consistency dual bound at iteration 34: 3888746 (+1.767%)
Singleton consistency dual bound at iteration 35: 4068978 (+4.429%)
Singleton consistency dual bound at iteration 36: 4219410 (+3.565%)
Singleton consistency dual bound at iteration 37: 4523854 (+6.730%)
Singleton consistency dual bound at iteration 38: 5255338 (+13.919%)
Singleton consistency dual bound at iteration 39: 5385584 (+2.418%)
Singleton consistency dual bound at iteration 40: 5483378 (+1.783%)
Singleton consistency dual bound at iteration 41: 5717110 (+4.088%)
Singleton consistency dual bound at iteration 42: 5823148 (+1.821%)
Singleton consistency dual bound at iteration 43: 5958966 (+2.279%)
Singleton consistency dual bound at iteration 44: 6050246 (+1.509%)
Singleton consistency dual bound at iteration 45: 6194878 (+2.335%)
Singleton consistency dual bound at iteration 46: 6327914 (+2.102%)
Singleton consistency dual bound at iteration 47: 6419558 (+1.428%)
Singleton consistency dual bound at iteration 48: 6499588 (+1.231%)
Singleton consistency dual bound at iteration 49: 6605028 (+1.596%)
Singleton consistency dual bound at iteration 50: 6690586 (+1.279%)
Singleton consistency dual bound at iteration 51: 6866230 (+2.558%)
Singleton consistency dual bound at iteration 52: 6938078 (+1.036%)
Singleton consistency dual bound at iteration 53: 7048654 (+1.569%)
Singleton consistency dual bound at iteration 54: 7127846 (+1.111%)
Singleton consistency dual bound at iteration 55: 7280754 (+2.100%)
Singleton consistency dual bound at iteration 56: 7426556 (+1.963%)
Singleton consistency dual bound at iteration 57: 7669422 (+3.167%)
Singleton consistency dual bound at iteration 58: 7749542 (+1.034%)
Singleton consistency dual bound at iteration 59: 7858424 (+1.386%)
Singleton consistency dual bound at iteration 60: 7873620 (+0.193%)
Singleton consistency dual bound at iteration 61: 7975468 (+1.277%)
Singleton consistency dual bound at iteration 62: 7985246 (+0.122%)
Singleton consistency dual bound at iteration 63: 8021268 (+0.449%)
Singleton consistency dual bound at iteration 64: 8084254 (+0.779%)
Singleton consistency dual bound at iteration 65: 8127152 (+0.528%)
Singleton consistency dual bound at iteration 66: 8163792 (+0.449%)
Singleton consistency dual bound at iteration 67: 8207372 (+0.531%)
Singleton consistency dual bound at iteration 68: 8286742 (+0.958%)
Singleton consistency dual bound at iteration 69: 8331558 (+0.538%)
Singleton consistency dual bound at iteration 70: 8387696 (+0.669%)
Singleton consistency dual bound at iteration 71: 8416346 (+0.340%)
Singleton consistency dual bound at iteration 72: 8452462 (+0.427%)
Singleton consistency dual bound at iteration 73: 8555488 (+1.204%)
Singleton consistency dual bound at iteration 74: 8652442 (+1.121%)
Singleton consistency dual bound at iteration 75: 8716476 (+0.735%)
Singleton consistency dual bound at iteration 76: 8836786 (+1.361%)
Singleton consistency dual bound at iteration 77: 8858064 (+0.240%)
Singleton consistency dual bound at iteration 78: 8865180 (+0.080%)
Singleton consistency dual bound at iteration 79: 8896594 (+0.353%)
Singleton consistency dual bound at iteration 80: 8916898 (+0.228%)
Singleton consistency dual bound at iteration 81: 8924932 (+0.090%)
Singleton consistency dual bound at iteration 82: 8939300 (+0.161%)
Singleton consistency dual bound at iteration 83: 8984678 (+0.505%)
Singleton consistency dual bound at iteration 84: 9024824 (+0.445%)
Singleton consistency dual bound at iteration 85: 9044162 (+0.214%)
Singleton consistency dual bound at iteration 86: 9054048 (+0.109%)
Singleton consistency dual bound at iteration 87: 9096134 (+0.463%)
Singleton consistency dual bound at iteration 88: 9119612 (+0.257%)
Singleton consistency dual bound at iteration 89: 9164980 (+0.495%)
Singleton consistency dual bound at iteration 90: 9182262 (+0.188%)
Singleton consistency dual bound at iteration 91: 9210258 (+0.304%)
Singleton consistency dual bound at iteration 92: 9250256 (+0.432%)
Singleton consistency dual bound at iteration 93: 9302720 (+0.564%)
Singleton consistency dual bound at iteration 94: 9372174 (+0.741%)
Singleton consistency dual bound at iteration 95: 9479148 (+1.129%)
Singleton consistency dual bound at iteration 96: 9491058 (+0.125%)
Singleton consistency dual bound at iteration 97: 9497394 (+0.067%)
Singleton consistency dual bound at iteration 98: 9532308 (+0.366%)
Singleton consistency dual bound at iteration 99: 9534762 (+0.026%)
Singleton consistency dual bound at iteration 101: 9546960 (+0.124%)
Singleton consistency dual bound at iteration 102: 9561084 (+0.148%)
Singleton consistency dual bound at iteration 103: 9586424 (+0.264%)
Singleton consistency dual bound at iteration 105: 9588566 (+0.016%)
Singleton consistency dual bound at iteration 106: 9612198 (+0.246%)
Singleton consistency dual bound at iteration 107: 9635194 (+0.239%)
Singleton consistency dual bound at iteration 108: 9658094 (+0.237%)
Singleton consistency dual bound at iteration 109: 9668714 (+0.110%)
Singleton consistency dual bound at iteration 110: 9677834 (+0.094%)
Singleton consistency dual bound at iteration 111: 9700890 (+0.238%)
Singleton consistency dual bound at iteration 112: 9748770 (+0.491%)
Singleton consistency dual bound at iteration 113: 9782356 (+0.343%)
Singleton consistency dual bound at iteration 114: 9846362 (+0.650%)
Singleton consistency dual bound at iteration 115: 9876300 (+0.303%)
Singleton consistency dual bound at iteration 116: 9913816 (+0.378%)
Singleton consistency dual bound at iteration 117: 9925448 (+0.117%)
Singleton consistency dual bound at iteration 119: 9927292 (+0.014%)
Singleton consistency dual bound at iteration 120: 9930108 (+0.028%)
Singleton consistency dual bound at iteration 121: 9942666 (+0.126%)
Singleton consistency dual bound at iteration 122: 9951332 (+0.087%)
Singleton consistency dual bound at iteration 123: 9975726 (+0.245%)
Singleton consistency dual bound at iteration 124: 9984094 (+0.084%)
Singleton consistency dual bound at iteration 125: 10024184 (+0.400%)
Singleton consistency dual bound at iteration 126: 10028872 (+0.047%)
Singleton consistency dual bound at iteration 127: 10036552 (+0.077%)
Singleton consistency dual bound at iteration 128: 10053774 (+0.171%)
Singleton consistency dual bound at iteration 129: 10061352 (+0.075%)
Singleton consistency dual bound at iteration 130: 10069916 (+0.085%)
Singleton consistency dual bound at iteration 131: 10081852 (+0.118%)
Singleton consistency dual bound at iteration 132: 10144194 (+0.615%)
Singleton consistency dual bound at iteration 133: 10230418 (+0.843%)
Singleton consistency dual bound at iteration 134: 10245070 (+0.143%)
Singleton consistency dual bound at iteration 135: 10252614 (+0.074%)
Singleton consistency dual bound at iteration 136: 10273166 (+0.200%)
Singleton consistency dual bound at iteration 139: 10315960 (+0.402%)
Singleton consistency dual bound at iteration 140: 10321206 (+0.051%)
Singleton consistency dual bound at iteration 141: 10331984 (+0.104%)
Singleton consistency dual bound at iteration 142: 10334636 (+0.026%)
Singleton consistency dual bound at iteration 143: 10337048 (+0.023%)
Singleton consistency dual bound at iteration 144: 10346962 (+0.096%)
Singleton consistency dual bound at iteration 145: 10351752 (+0.046%)
Singleton consistency dual bound at iteration 146: 10372688 (+0.202%)
Singleton consistency dual bound at iteration 147: 10377018 (+0.042%)
Singleton consistency dual bound at iteration 148: 10395848 (+0.181%)
Singleton consistency dual bound at iteration 149: 10413442 (+0.169%)
Singleton consistency dual bound at iteration 150: 10428480 (+0.144%)
Singleton consistency dual bound at iteration 151: 10450216 (+0.208%)
Singleton consistency dual bound at iteration 152: 10513246 (+0.600%)
Singleton consistency dual bound at iteration 153: 10530840 (+0.167%)
Singleton consistency dual bound at iteration 154: 10532338 (+0.014%)
Singleton consistency dual bound at iteration 155: 10535756 (+0.032%)
Singleton consistency dual bound at iteration 156: 10547398 (+0.110%)
Singleton consistency dual bound at iteration 158: 10554864 (+0.065%)
Singleton consistency dual bound at iteration 159: 10557088 (+0.021%)
Singleton consistency dual bound at iteration 160: 10560560 (+0.033%)
Singleton consistency dual bound at iteration 161: 10562136 (+0.015%)
Singleton consistency dual bound at iteration 162: 10573288 (+0.105%)
Singleton consistency dual bound at iteration 163: 10581792 (+0.080%)
Singleton consistency dual bound at iteration 164: 10588078 (+0.059%)
Singleton consistency dual bound at iteration 165: 10604434 (+0.154%)
Singleton consistency dual bound at iteration 166: 10612700 (+0.078%)
Singleton consistency dual bound at iteration 167: 10616412 (+0.035%)
Singleton consistency dual bound at iteration 168: 10625472 (+0.085%)
Singleton consistency dual bound at iteration 169: 10670930 (+0.426%)
Singleton consistency dual bound at iteration 170: 10683226 (+0.115%)
Singleton consistency dual bound at iteration 171: 10737018 (+0.501%)
Singleton consistency dual bound at iteration 172: 10740000 (+0.028%)
Singleton consistency dual bound at iteration 173: 10753456 (+0.125%)
Singleton consistency dual bound at iteration 174: 10756138 (+0.025%)
Singleton consistency dual bound at iteration 177: 10764412 (+0.069%)
Singleton consistency dual bound at iteration 178: 10768422 (+0.037%)
Singleton consistency dual bound at iteration 179: 10770066 (+0.015%)
Singleton consistency dual bound at iteration 180: 10784840 (+0.137%)
Singleton consistency dual bound at iteration 182: 10803228 (+0.168%)
Singleton consistency dual bound at iteration 183: 10805698 (+0.023%)
Singleton consistency dual bound at iteration 184: 10809922 (+0.039%)
Singleton consistency dual bound at iteration 185: 10815610 (+0.053%)
Singleton consistency dual bound at iteration 186: 10827990 (+0.114%)
Singleton consistency dual bound at iteration 187: 10840242 (+0.113%)
Singleton consistency dual bound at iteration 188: 10848892 (+0.080%)
Singleton consistency dual bound at iteration 189: 10858868 (+0.092%)
Singleton consistency dual bound at iteration 190: 10906522 (+0.437%)
Singleton consistency dual bound at iteration 191: 10917274 (+0.098%)
Singleton consistency dual bound at iteration 194: 10926398 (+0.076%)
Singleton consistency dual bound at iteration 196: 10928278 (+0.010%)
Singleton consistency dual bound at iteration 197: 10931764 (+0.032%)
Singleton consistency dual bound at iteration 201: 10954550 (+0.197%)
Singleton consistency dual bound at iteration 202: 10961744 (+0.066%)
Singleton consistency dual bound at iteration 203: 10972178 (+0.095%)
Singleton consistency dual bound at iteration 204: 10979294 (+0.065%)
Singleton consistency dual bound at iteration 205: 10989078 (+0.089%)
Singleton consistency dual bound at iteration 206: 10991624 (+0.023%)
Singleton consistency dual bound at iteration 207: 10997338 (+0.052%)
Singleton consistency dual bound at iteration 208: 11011912 (+0.132%)
Singleton consistency dual bound at iteration 209: 11049904 (+0.344%)
Singleton consistency dual bound at iteration 210: 11056876 (+0.063%)
Singleton consistency dual bound at iteration 213: 11060138 (+0.015%)
Singleton consistency dual bound at iteration 216: 11072278 (+0.104%)
Singleton consistency dual bound at iteration 217: 11082700 (+0.094%)
Singleton consistency dual bound at iteration 218: 11090308 (+0.069%)
Singleton consistency dual bound at iteration 219: 11094880 (+0.041%)
Singleton consistency dual bound at iteration 220: 11100644 (+0.052%)
Singleton consistency dual bound at iteration 221: 11101822 (+0.011%)
Singleton consistency dual bound at iteration 222: 11116800 (+0.135%)
Singleton consistency dual bound at iteration 223: 11123078 (+0.056%)
Singleton consistency dual bound at iteration 224: 11132122 (+0.081%)
Singleton consistency dual bound at iteration 225: 11144598 (+0.112%)
Singleton consistency dual bound at iteration 226: 11158128 (+0.121%)
Singleton consistency dual bound at iteration 227: 11180978 (+0.204%)
Singleton consistency dual bound at iteration 228: 11206468 (+0.227%)
Singleton consistency dual bound at iteration 229: 11216236 (+0.087%)
Singleton consistency dual bound at iteration 230: 11217442 (+0.011%)
Singleton consistency dual bound at iteration 233: 11219976 (+0.013%)
Singleton consistency dual bound at iteration 235: 11224466 (+0.032%)
Singleton consistency dual bound at iteration 236: 11228382 (+0.035%)
Singleton consistency dual bound at iteration 239: 11234300 (+0.038%)
Singleton consistency dual bound at iteration 240: 11237362 (+0.027%)
Singleton consistency dual bound at iteration 241: 11250742 (+0.119%)
Singleton consistency dual bound at iteration 242: 11253990 (+0.029%)
Singleton consistency dual bound at iteration 243: 11258034 (+0.036%)
Singleton consistency dual bound at iteration 244: 11264880 (+0.061%)
Singleton consistency dual bound at iteration 245: 11274928 (+0.089%)
Singleton consistency dual bound at iteration 246: 11292114 (+0.152%)
Singleton consistency dual bound at iteration 247: 11321108 (+0.256%)
Singleton consistency dual bound at iteration 248: 11327772 (+0.059%)
Singleton consistency dual bound at iteration 250: 11329930 (+0.013%)
Singleton consistency dual bound at iteration 251: 11335260 (+0.047%)
Singleton consistency dual bound at iteration 253: 11336876 (+0.012%)
Singleton consistency dual bound at iteration 254: 11340992 (+0.036%)
Singleton consistency dual bound at iteration 255: 11343768 (+0.024%)
Singleton consistency dual bound at iteration 256: 11345574 (+0.016%)
Singleton consistency dual bound at iteration 257: 11346860 (+0.011%)
Singleton consistency dual bound at iteration 258: 11348856 (+0.018%)
Singleton consistency dual bound at iteration 259: 11351184 (+0.021%)
Singleton consistency dual bound at iteration 260: 11364650 (+0.118%)
Singleton consistency dual bound at iteration 261: 11369160 (+0.040%)
Singleton consistency dual bound at iteration 262: 11371400 (+0.020%)
Singleton consistency dual bound at iteration 263: 11373274 (+0.016%)
Singleton consistency dual bound at iteration 264: 11387444 (+0.124%)
Singleton consistency dual bound at iteration 265: 11400842 (+0.118%)
Singleton consistency dual bound at iteration 266: 11433792 (+0.288%)
Singleton consistency dual bound at iteration 267: 11434952 (+0.010%)
Singleton consistency dual bound at iteration 271: 11437600 (+0.014%)
Singleton consistency dual bound at iteration 273: 11444044 (+0.047%)
Singleton consistency dual bound at iteration 276: 11447096 (+0.017%)
Singleton consistency dual bound at iteration 277: 11450968 (+0.034%)
Singleton consistency dual bound at iteration 279: 11462462 (+0.093%)
Singleton consistency dual bound at iteration 280: 11465542 (+0.027%)
Singleton consistency dual bound at iteration 281: 11477008 (+0.100%)
Singleton consistency dual bound at iteration 282: 11479760 (+0.024%)
Singleton consistency dual bound at iteration 283: 11482666 (+0.025%)
Singleton consistency dual bound at iteration 284: 11504506 (+0.190%)
Singleton consistency dual bound at iteration 285: 11527492 (+0.199%)
Singleton consistency dual bound at iteration 286: 11529208 (+0.015%)
Singleton consistency dual bound at iteration 290: 11531276 (+0.012%)
Singleton consistency dual bound at iteration 292: 11535966 (+0.039%)
Singleton consistency dual bound at iteration 293: 11540442 (+0.039%)
Singleton consistency dual bound at iteration 298: 11541842 (+0.012%)
Singleton consistency dual bound at iteration 299: 11547014 (+0.045%)
Singleton consistency dual bound at iteration 301: 11551790 (+0.040%)
Singleton consistency dual bound at iteration 302: 11557868 (+0.053%)
Singleton consistency dual bound at iteration 303: 11572444 (+0.126%)
Singleton consistency dual bound at iteration 304: 11598378 (+0.224%)
Singleton consistency dual bound at iteration 305: 11600276 (+0.016%)
Singleton consistency dual bound at iteration 310: 11606336 (+0.033%)
Singleton consistency dual bound at iteration 311: 11613300 (+0.060%)
Singleton consistency dual bound at iteration 312: 11619268 (+0.051%)
Singleton consistency dual bound at iteration 314: 11621670 (+0.021%)
Singleton consistency dual bound at iteration 315: 11635052 (+0.115%)
Singleton consistency dual bound at iteration 317: 11638204 (+0.026%)
Singleton consistency dual bound at iteration 318: 11640118 (+0.016%)
Singleton consistency dual bound at iteration 319: 11643748 (+0.031%)
Singleton consistency dual bound at iteration 320: 11646178 (+0.021%)
Singleton consistency dual bound at iteration 321: 11653408 (+0.062%)
Singleton consistency dual bound at iteration 322: 11663804 (+0.089%)
Singleton consistency dual bound at iteration 323: 11674250 (+0.089%)
Singleton consistency dual bound at iteration 324: 11676462 (+0.019%)
Singleton consistency dual bound at iteration 326: 11681918 (+0.044%)
Singleton consistency dual bound at iteration 330: 11685046 (+0.011%)
Singleton consistency dual bound at iteration 334: 11691962 (+0.049%)
Singleton consistency dual bound at iteration 340: 11696266 (+0.015%)
Singleton consistency dual bound at iteration 341: 11700374 (+0.035%)
Singleton consistency dual bound at iteration 342: 11715154 (+0.126%)
Singleton consistency dual bound at iteration 343: 11717030 (+0.016%)
Singleton consistency dual bound at iteration 344: 11721226 (+0.036%)
Singleton consistency dual bound at iteration 345: 11724632 (+0.029%)
Singleton consistency dual bound at iteration 353: 11728254 (+0.011%)
Singleton consistency dual bound at iteration 354: 11732234 (+0.034%)
Singleton consistency dual bound at iteration 355: 11734568 (+0.020%)
Singleton consistency dual bound at iteration 358: 11737742 (+0.025%)
Singleton consistency dual bound at iteration 359: 11743364 (+0.048%)
Singleton consistency dual bound at iteration 360: 11753212 (+0.084%)
Singleton consistency dual bound at iteration 361: 11765788 (+0.107%)
Singleton consistency dual bound at iteration 369: 11768424 (+0.011%)
Singleton consistency dual bound at iteration 373: 11770944 (+0.018%)
Singleton consistency dual bound at iteration 374: 11781466 (+0.089%)
Singleton consistency dual bound at iteration 375: 11784394 (+0.025%)
Singleton consistency dual bound at iteration 376: 11791924 (+0.064%)
Singleton consistency dual bound at iteration 377: 11795912 (+0.034%)
Singleton consistency dual bound at iteration 378: 11800350 (+0.038%)
Singleton consistency dual bound at iteration 379: 11809030 (+0.074%)
Singleton consistency dual bound at iteration 380: 11840414 (+0.265%)
Singleton consistency dual bound at iteration 381: 11841820 (+0.012%)
Singleton consistency dual bound at iteration 383: 11843954 (+0.018%)
Singleton consistency dual bound at iteration 385: 11846514 (+0.021%)
Singleton consistency dual bound at iteration 387: 11848262 (+0.012%)
Singleton consistency dual bound at iteration 388: 11849576 (+0.011%)
Singleton consistency dual bound at iteration 389: 11853192 (+0.031%)
Singleton consistency dual bound at iteration 391: 11855274 (+0.018%)
Singleton consistency dual bound at iteration 392: 11857572 (+0.019%)
Singleton consistency dual bound at iteration 394: 11859876 (+0.013%)
Singleton consistency dual bound at iteration 396: 11873568 (+0.115%)
Singleton consistency dual bound at iteration 397: 11876162 (+0.022%)
Singleton consistency dual bound at iteration 398: 11896700 (+0.173%)
Singleton consistency dual bound at iteration 399: 11919004 (+0.187%)
Singleton consistency dual bound at iteration 401: 11921210 (+0.013%)
Singleton consistency dual bound at iteration 402: 11922786 (+0.013%)
Singleton consistency dual bound at iteration 404: 11924700 (+0.016%)
Singleton consistency dual bound at iteration 411: 11927500 (+0.012%)
Singleton consistency dual bound at iteration 415: 11930662 (+0.013%)
Singleton consistency dual bound at iteration 416: 11933620 (+0.025%)
Singleton consistency dual bound at iteration 417: 11942350 (+0.073%)
Singleton consistency dual bound at iteration 418: 11958300 (+0.133%)
Singleton consistency dual bound at iteration 420: 11959606 (+0.011%)
Singleton consistency dual bound at iteration 421: 11960816 (+0.010%)
Singleton consistency dual bound at iteration 425: 11964340 (+0.025%)
Singleton consistency dual bound at iteration 434: 11967820 (+0.022%)
Singleton consistency dual bound at iteration 435: 11971738 (+0.033%)
Singleton consistency dual bound at iteration 436: 11983146 (+0.095%)
Singleton consistency dual bound at iteration 437: 11996762 (+0.113%)
Singleton consistency dual bound at iteration 439: 12000912 (+0.030%)
Singleton consistency dual bound at iteration 454: 12008028 (+0.017%)
Singleton consistency dual bound at iteration 455: 12009238 (+0.010%)
Singleton consistency dual bound at iteration 456: 12027672 (+0.153%)
Singleton consistency dual bound at iteration 458: 12030476 (+0.023%)
Singleton consistency dual bound at iteration 472: 12036246 (+0.018%)
Singleton consistency dual bound at iteration 475: 12041970 (+0.039%)
Singleton consistency dual bound at iteration 476: 12043628 (+0.014%)
Singleton consistency dual bound at iteration 485: 12046136 (+0.011%)
Singleton consistency dual bound at iteration 491: 12049560 (+0.017%)
Singleton consistency dual bound at iteration 493: 12052834 (+0.023%)
Singleton consistency dual bound at iteration 494: 12063904 (+0.092%)
Singleton consistency dual bound at iteration 495: 12065622 (+0.014%)
Singleton consistency dual bound at iteration 513: 12087864 (+0.141%)
Singleton consistency dual bound at iteration 519: 12096854 (+0.069%)
Singleton consistency dual bound at iteration 521: 12099426 (+0.021%)
Singleton consistency dual bound at iteration 526: 12103368 (+0.024%)
Singleton consistency dual bound at iteration 529: 12105576 (+0.017%)
Singleton consistency dual bound at iteration 531: 12112394 (+0.050%)
Singleton consistency dual bound at iteration 532: 12116786 (+0.036%)
Singleton consistency dual bound at iteration 548: 12124670 (+0.037%)
Singleton consistency dual bound at iteration 550: 12129722 (+0.034%)
Singleton consistency dual bound at iteration 551: 12145256 (+0.128%)
Singleton consistency dual bound at iteration 562: 12149152 (+0.029%)
Singleton consistency dual bound at iteration 565: 12151972 (+0.018%)
Singleton consistency dual bound at iteration 566: 12158970 (+0.058%)
Singleton consistency dual bound at iteration 569: 12164392 (+0.037%)
Singleton consistency dual bound at iteration 570: 12168548 (+0.034%)
Singleton consistency dual bound at iteration 571: 12170826 (+0.019%)
Singleton consistency dual bound at iteration 576: 12172966 (+0.014%)
Singleton consistency dual bound at iteration 584: 12177538 (+0.018%)
Singleton consistency dual bound at iteration 588: 12181056 (+0.014%)
Singleton consistency dual bound at iteration 589: 12192868 (+0.097%)
Singleton consistency dual bound at iteration 590: 12199344 (+0.053%)
Singleton consistency dual bound at iteration 606: 12214096 (+0.107%)
Singleton consistency dual bound at iteration 607: 12218692 (+0.038%)
Singleton consistency dual bound at iteration 608: 12223986 (+0.043%)
Singleton consistency dual bound at iteration 623: 12227856 (+0.020%)
Singleton consistency dual bound at iteration 624: 12239266 (+0.093%)
Singleton consistency dual bound at iteration 626: 12241416 (+0.015%)
Singleton consistency dual bound at iteration 627: 12252594 (+0.091%)
Singleton consistency dual bound at iteration 636: 12255722 (+0.020%)
Singleton consistency dual bound at iteration 640: 12257694 (+0.010%)
Singleton consistency dual bound at iteration 645: 12268468 (+0.080%)
Singleton consistency dual bound at iteration 646: 12280814 (+0.101%)
Singleton consistency dual bound at iteration 659: 12283410 (+0.017%)
Singleton consistency dual bound at iteration 665: 12287892 (+0.026%)
Singleton consistency dual bound at iteration 666: 12291304 (+0.028%)
Singleton consistency dual bound at iteration 680: 12317298 (+0.196%)
Singleton consistency dual bound at iteration 684: 12321654 (+0.033%)
Singleton consistency dual bound at iteration 698: 12327252 (+0.038%)
Singleton consistency dual bound at iteration 699: 12358130 (+0.250%)
Singleton consistency dual bound at iteration 702: 12367650 (+0.075%)
Singleton consistency dual bound at iteration 703: 12370712 (+0.025%)
Singleton consistency dual bound at iteration 704: 12372364 (+0.013%)
Singleton consistency dual bound at iteration 719: 12377746 (+0.024%)
Singleton consistency dual bound at iteration 721: 12380448 (+0.020%)
Singleton consistency dual bound at iteration 736: 12385824 (+0.024%)
Singleton consistency dual bound at iteration 738: 12387066 (+0.010%)
Singleton consistency dual bound at iteration 740: 12389092 (+0.016%)
Singleton consistency dual bound at iteration 741: 12396338 (+0.058%)
Singleton consistency dual bound at iteration 757: 12402664 (+0.028%)
Singleton consistency dual bound at iteration 760: 12406294 (+0.022%)
Singleton consistency dual bound at iteration 778: 12413674 (+0.045%)
Singleton consistency dual bound at iteration 779: 12415590 (+0.015%)
Singleton consistency dual bound at iteration 792: 12419990 (+0.026%)
Singleton consistency dual bound at iteration 793: 12421688 (+0.014%)
Singleton consistency dual bound at iteration 798: 12424666 (+0.010%)
Singleton consistency dual bound at iteration 811: 12428152 (+0.026%)
Singleton consistency dual bound at iteration 831: 12434728 (+0.024%)
Singleton consistency dual bound at iteration 833: 12435980 (+0.010%)
Singleton consistency dual bound at iteration 835: 12439466 (+0.021%)
Singleton consistency dual bound at iteration 836: 12443348 (+0.031%)
Singleton consistency dual bound at iteration 849: 12448516 (+0.029%)
Singleton consistency dual bound at iteration 850: 12450984 (+0.020%)
Singleton consistency dual bound at iteration 854: 12452810 (+0.011%)
Singleton consistency dual bound at iteration 855: 12454256 (+0.012%)
Singleton consistency dual bound at iteration 859: 12457194 (+0.019%)
Singleton consistency dual bound at iteration 872: 12463360 (+0.024%)
Singleton consistency dual bound at iteration 873: 12465020 (+0.013%)
Singleton consistency dual bound at iteration 874: 12466320 (+0.010%)
Singleton consistency dual bound at iteration 877: 12468656 (+0.010%)
Singleton consistency dual bound at iteration 892: 12471088 (+0.012%)
Singleton consistency dual bound at iteration 912: 12475228 (+0.017%)
Singleton consistency dual bound at iteration 931: 12477062
Singleton consistency done in 931 iterations and 1.821 seconds.
Preprocessing time: 1.821 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: [12477062, 1000000000] 98.752%
c 2097152 Bytes allocated for long long stack.
New solution: 21223816 (0 backtracks, 16 nodes, depth 18, 1.829 seconds)
Optimality gap: [12477518, 21223816] 41.210 % (32 backtracks, 69 nodes, 1.847 seconds)
New solution: 20005070 (32 backtracks, 88 nodes, depth 18, 1.855 seconds)
New solution: 19810356 (48 backtracks, 123 nodes, depth 17, 1.866 seconds)
New solution: 19778102 (63 backtracks, 156 nodes, depth 15, 1.879 seconds)
New solution: 19760478 (76 backtracks, 191 nodes, depth 18, 1.892 seconds)
New solution: 17443160 (108 backtracks, 267 nodes, depth 17, 1.922 seconds)
c 4194304 Bytes allocated for long long stack.
New solution: 17399366 (410 backtracks, 921 nodes, depth 15, 2.135 seconds)
New solution: 17371876 (436 backtracks, 972 nodes, depth 14, 2.139 seconds)
New solution: 17322770 (441 backtracks, 983 nodes, depth 15, 2.139 seconds)
New solution: 17287482 (473 backtracks, 1047 nodes, depth 15, 2.149 seconds)
New solution: 17286882 (474 backtracks, 1048 nodes, depth 14, 2.149 seconds)
Optimality gap: [12527178, 17286882] 27.534 % (672 backtracks, 1442 nodes, 2.217 seconds)
Optimality gap: [12576698, 17286882] 27.247 % (1463 backtracks, 3102 nodes, 3.205 seconds)
New solution: 17284692 (1463 backtracks, 3115 nodes, depth 12, 3.212 seconds)
New solution: 17242510 (1464 backtracks, 3117 nodes, depth 12, 3.212 seconds)
New solution: 17212548 (2054 backtracks, 4344 nodes, depth 12, 3.862 seconds)
Optimality gap: [12626020, 17212548] 26.646 % (2225 backtracks, 4714 nodes, 4.096 seconds)
Optimality gap: [12668130, 17212548] 26.402 % (2472 backtracks, 5257 nodes, 4.373 seconds)
Optimality gap: [12716486, 17212548] 26.121 % (2808 backtracks, 6005 nodes, 4.799 seconds)
Optimality gap: [12767248, 17212548] 25.826 % (3283 backtracks, 7094 nodes, 5.387 seconds)
Optimality gap: [12813542, 17212548] 25.557 % (3841 backtracks, 8382 nodes, 5.986 seconds)
Optimality gap: [12856866, 17212548] 25.305 % (4663 backtracks, 10351 nodes, 6.977 seconds)
Optimality gap: [12908350, 17212548] 25.006 % (6027 backtracks, 13309 nodes, 8.940 seconds)
c 8388608 Bytes allocated for long long stack.
Optimality gap: [12954478, 17212548] 24.738 % (7332 backtracks, 16034 nodes, 10.179 seconds)
Optimality gap: [12998320, 17212548] 24.483 % (8309 backtracks, 18081 nodes, 11.726 seconds)
Optimality gap: [13065192, 17212548] 24.095 % (9187 backtracks, 19998 nodes, 13.041 seconds)
Optimality gap: [13094414, 17212548] 23.925 % (10012 backtracks, 21789 nodes, 14.150 seconds)
Optimality gap: [13145798, 17212548] 23.627 % (10395 backtracks, 22622 nodes, 14.670 seconds)
Optimality gap: [13190002, 17212548] 23.370 % (10566 backtracks, 23087 nodes, 14.929 seconds)
Optimality gap: [13239630, 17212548] 23.082 % (10947 backtracks, 23921 nodes, 15.466 seconds)
Optimality gap: [13283172, 17212548] 22.829 % (11159 backtracks, 24388 nodes, 15.679 seconds)
Optimality gap: [13330070, 17212548] 22.556 % (11295 backtracks, 24765 nodes, 15.862 seconds)
c 16777216 Bytes allocated for long long stack.
Optimality gap: [13383346, 17212548] 22.247 % (11536 backtracks, 25353 nodes, 16.246 seconds)
Optimality gap: [13434088, 17212548] 21.952 % (11814 backtracks, 26003 nodes, 16.574 seconds)
Optimality gap: [13482926, 17212548] 21.668 % (11832 backtracks, 26083 nodes, 16.600 seconds)
Optimality gap: [13522320, 17212548] 21.439 % (11938 backtracks, 26378 nodes, 16.707 seconds)
Optimality gap: [13588384, 17212548] 21.055 % (12086 backtracks, 26763 nodes, 16.924 seconds)
Optimality gap: [13684194, 17212548] 20.499 % (12127 backtracks, 26863 nodes, 16.978 seconds)
Optimality gap: [13718540, 17212548] 20.299 % (12146 backtracks, 26933 nodes, 16.991 seconds)
Optimality gap: [13776312, 17212548] 19.964 % (12191 backtracks, 27092 nodes, 17.070 seconds)
Optimality gap: [13810150, 17212548] 19.767 % (12232 backtracks, 27235 nodes, 17.121 seconds)
Optimality gap: [13850528, 17212548] 19.532 % (12258 backtracks, 27340 nodes, 17.169 seconds)
Optimality gap: [13903644, 17212548] 19.224 % (12316 backtracks, 27530 nodes, 17.254 seconds)
Optimality gap: [13985220, 17212548] 18.750 % (12371 backtracks, 27741 nodes, 17.313 seconds)
Optimality gap: [14021090, 17212548] 18.541 % (12405 backtracks, 27888 nodes, 17.372 seconds)
Optimality gap: [14042342, 17212548] 18.418 % (12494 backtracks, 28102 nodes, 17.467 seconds)
Optimality gap: [14099236, 17212548] 18.087 % (12531 backtracks, 28240 nodes, 17.503 seconds)
Optimality gap: [14136706, 17212548] 17.870 % (12732 backtracks, 28688 nodes, 17.627 seconds)
Optimality gap: [14183506, 17212548] 17.598 % (12782 backtracks, 28812 nodes, 17.653 seconds)
Optimality gap: [14260700, 17212548] 17.149 % (12996 backtracks, 29326 nodes, 17.755 seconds)
Optimality gap: [14315226, 17212548] 16.833 % (13001 backtracks, 29394 nodes, 17.767 seconds)
Optimality gap: [14331228, 17212548] 16.740 % (13005 backtracks, 29428 nodes, 17.775 seconds)
Optimality gap: [14402540, 17212548] 16.325 % (13105 backtracks, 29735 nodes, 17.836 seconds)
Optimality gap: [14471638, 17212548] 15.924 % (13111 backtracks, 29785 nodes, 17.843 seconds)
Optimality gap: [14531516, 17212548] 15.576 % (13131 backtracks, 29859 nodes, 17.855 seconds)
Optimality gap: [14579494, 17212548] 15.297 % (13137 backtracks, 29885 nodes, 17.863 seconds)
Optimality gap: [14658892, 17212548] 14.836 % (13148 backtracks, 29923 nodes, 17.870 seconds)
Optimality gap: [14731656, 17212548] 14.413 % (13154 backtracks, 29950 nodes, 17.873 seconds)
Optimality gap: [14758664, 17212548] 14.256 % (13517 backtracks, 30688 nodes, 18.102 seconds)
Optimality gap: [14802578, 17212548] 14.001 % (13518 backtracks, 30719 nodes, 18.104 seconds)
Optimality gap: [14878090, 17212548] 13.563 % (13565 backtracks, 30904 nodes, 18.141 seconds)
Optimality gap: [14902178, 17212548] 13.423 % (13576 backtracks, 30942 nodes, 18.144 seconds)
Optimality gap: [14977408, 17212548] 12.986 % (13581 backtracks, 30974 nodes, 18.149 seconds)
Optimality gap: [15011516, 17212548] 12.787 % (13585 backtracks, 30998 nodes, 18.152 seconds)
Optimality gap: [15049544, 17212548] 12.566 % (13588 backtracks, 31045 nodes, 18.161 seconds)
Optimality gap: [15160628, 17212548] 11.921 % (13601 backtracks, 31122 nodes, 18.174 seconds)
Optimality gap: [15184250, 17212548] 11.784 % (13608 backtracks, 31153 nodes, 18.176 seconds)
Optimality gap: [15224036, 17212548] 11.553 % (13679 backtracks, 31327 nodes, 18.216 seconds)
Optimality gap: [15315480, 17212548] 11.021 % (13725 backtracks, 31489 nodes, 18.252 seconds)
Optimality gap: [15318604, 17212548] 11.003 % (13732 backtracks, 31534 nodes, 18.260 seconds)
Optimality gap: [15389572, 17212548] 10.591 % (13877 backtracks, 31920 nodes, 18.331 seconds)
Optimality gap: [15461680, 17212548] 10.172 % (13882 backtracks, 31942 nodes, 18.339 seconds)
Optimality gap: [15554390, 17212548] 9.633 % (13968 backtracks, 32201 nodes, 18.398 seconds)
Optimality gap: [15570314, 17212548] 9.541 % (13974 backtracks, 32240 nodes, 18.403 seconds)
Optimality gap: [15654132, 17212548] 9.054 % (14023 backtracks, 32379 nodes, 18.432 seconds)
Optimality gap: [15721594, 17212548] 8.662 % (14036 backtracks, 32455 nodes, 18.445 seconds)
Optimality gap: [15745908, 17212548] 8.521 % (14039 backtracks, 32517 nodes, 18.451 seconds)
Optimality gap: [15797480, 17212548] 8.221 % (14061 backtracks, 32607 nodes, 18.482 seconds)
Optimality gap: [15901080, 17212548] 7.619 % (14068 backtracks, 32671 nodes, 18.496 seconds)
Optimality gap: [15939436, 17212548] 7.396 % (14072 backtracks, 32736 nodes, 18.505 seconds)
Optimality gap: [16029050, 17212548] 6.876 % (14110 backtracks, 32929 nodes, 18.532 seconds)
Optimality gap: [16082376, 17212548] 6.566 % (14118 backtracks, 32995 nodes, 18.547 seconds)
Optimality gap: [16129456, 17212548] 6.292 % (14126 backtracks, 33064 nodes, 18.558 seconds)
Optimality gap: [16255352, 17212548] 5.561 % (14166 backtracks, 33174 nodes, 18.576 seconds)
Optimality gap: [16307064, 17212548] 5.261 % (14172 backtracks, 33206 nodes, 18.584 seconds)
Optimality gap: [16328980, 17212548] 5.133 % (14180 backtracks, 33236 nodes, 18.588 seconds)
Optimality gap: [16376926, 17212548] 4.855 % (14182 backtracks, 33270 nodes, 18.594 seconds)
Optimality gap: [16447970, 17212548] 4.442 % (14184 backtracks, 33285 nodes, 18.599 seconds)
Optimality gap: [16514660, 17212548] 4.055 % (14184 backtracks, 33315 nodes, 18.600 seconds)
Optimality gap: [16553368, 17212548] 3.830 % (14191 backtracks, 33376 nodes, 18.608 seconds)
Optimality gap: [16611634, 17212548] 3.491 % (14236 backtracks, 33517 nodes, 18.619 seconds)
Optimality gap: [16653676, 17212548] 3.247 % (14241 backtracks, 33562 nodes, 18.622 seconds)
Optimality gap: [16742416, 17212548] 2.731 % (14351 backtracks, 33848 nodes, 18.658 seconds)
Optimality gap: [16789386, 17212548] 2.458 % (14352 backtracks, 33891 nodes, 18.659 seconds)
Optimality gap: [16835040, 17212548] 2.193 % (14646 backtracks, 34515 nodes, 18.712 seconds)
Optimality gap: [16890610, 17212548] 1.870 % (14647 backtracks, 34591 nodes, 18.714 seconds)
Optimality gap: [16968866, 17212548] 1.416 % (14661 backtracks, 34631 nodes, 18.720 seconds)
Optimality gap: [16982626, 17212548] 1.336 % (14661 backtracks, 34654 nodes, 18.721 seconds)
Optimality gap: [17047556, 17212548] 0.959 % (14767 backtracks, 34918 nodes, 18.741 seconds)
Optimality gap: [17073000, 17212548] 0.811 % (14770 backtracks, 34978 nodes, 18.743 seconds)
Optimality gap: [17118704, 17212548] 0.545 % (14774 backtracks, 35040 nodes, 18.745 seconds)
Optimality gap: [17201296, 17212548] 0.065 % (14785 backtracks, 35136 nodes, 18.749 seconds)
Node redundancy during HBFS: 15.898
Optimum: 17212548 in 14787 backtracks and 35169 nodes ( 0 removals by DEE) and 18.751 seconds.
end.
