N=14 K=5: 2002 K-subsets, 26 order-feasible patterns per subset, 52052 candidate relations
[node 0] depth 0 dim 14 unsatQ 2002 pool 24 branch on Q=(0, 1, 2, 3, 13) (sure 9, maybe 17) nodes 1 lps 0 certs 0 nogoods 0 nghits 0 t=0.0s
[node 1] depth 1 dim 13 unsatQ 2001 pool 24 branch on Q=(0, 3, 8, 10, 11) (sure 1, maybe 25) nodes 2 lps 0 certs 0 nogoods 0 nghits 0 t=0.0s
[node 499] depth 5 dim 9 unsatQ 1821 pool 25 branch on Q=(0, 1, 5, 8, 11) (sure 0, maybe 26) nodes 500 lps 3981 certs 12415 nogoods 2985 nghits 9430 t=20.3s
[node 999] depth 7 dim 7 unsatQ 1842 pool 25 branch on Q=(0, 1, 3, 4, 5) (sure 0, maybe 26) nodes 1000 lps 9171 certs 24881 nogoods 7175 nghits 17706 t=40.3s
[node 1499] depth 5 dim 9 unsatQ 1847 pool 25 branch on Q=(0, 1, 2, 7, 13) (sure 0, maybe 26) nodes 1500 lps 13044 certs 37402 nogoods 10048 nghits 27354 t=57.0s
[node 1999] depth 5 dim 9 unsatQ 1759 pool 25 branch on Q=(0, 1, 2, 8, 13) (sure 0, maybe 26) nodes 2000 lps 17258 certs 49899 nogoods 13262 nghits 36637 t=79.4s
[node 2499] depth 5 dim 9 unsatQ 1726 pool 25 branch on Q=(0, 1, 2, 6, 13) (sure 0, maybe 26) nodes 2500 lps 20608 certs 62381 nogoods 15612 nghits 46769 t=100.4s
[node 2999] depth 8 dim 6 unsatQ 1561 pool 25 branch on Q=(0, 1, 3, 6, 8) (sure 0, maybe 26) nodes 3000 lps 23788 certs 74864 nogoods 17792 nghits 57072 t=121.2s
[node 3499] depth 5 dim 9 unsatQ 1808 pool 25 branch on Q=(0, 1, 3, 11, 13) (sure 0, maybe 26) nodes 3500 lps 27014 certs 87400 nogoods 20018 nghits 67382 t=138.2s
[node 3999] depth 6 dim 8 unsatQ 1833 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 4000 lps 30149 certs 99905 nogoods 22153 nghits 77752 t=155.9s
[node 4499] depth 7 dim 7 unsatQ 1495 pool 25 branch on Q=(0, 1, 3, 11, 13) (sure 0, maybe 26) nodes 4500 lps 33154 certs 112366 nogoods 24158 nghits 88208 t=177.0s
[node 4999] depth 6 dim 8 unsatQ 1579 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 5000 lps 36139 certs 124890 nogoods 26143 nghits 98747 t=201.7s
[node 5499] depth 6 dim 8 unsatQ 1877 pool 25 branch on Q=(0, 1, 2, 3, 6) (sure 0, maybe 26) nodes 5500 lps 39474 certs 137403 nogoods 28478 nghits 108925 t=225.6s
[node 5999] depth 7 dim 7 unsatQ 1390 pool 25 branch on Q=(0, 1, 2, 3, 11) (sure 0, maybe 26) nodes 6000 lps 44145 certs 149855 nogoods 32149 nghits 117706 t=258.8s
[node 6499] depth 6 dim 8 unsatQ 1662 pool 25 branch on Q=(0, 1, 4, 6, 13) (sure 0, maybe 26) nodes 6500 lps 47271 certs 162369 nogoods 34275 nghits 128094 t=286.5s
[node 6999] depth 10 dim 4 unsatQ 1251 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 7000 lps 50085 certs 174843 nogoods 36089 nghits 138754 t=313.2s
[node 7499] depth 7 dim 7 unsatQ 1558 pool 25 branch on Q=(0, 1, 9, 10, 11) (sure 0, maybe 26) nodes 7500 lps 52986 certs 187362 nogoods 37990 nghits 149372 t=343.6s
[node 7999] depth 7 dim 7 unsatQ 1718 pool 25 branch on Q=(0, 1, 2, 5, 11) (sure 0, maybe 26) nodes 8000 lps 55691 certs 199848 nogoods 39695 nghits 160153 t=372.1s
[node 8499] depth 5 dim 9 unsatQ 1672 pool 25 branch on Q=(0, 1, 2, 5, 13) (sure 0, maybe 26) nodes 8500 lps 59769 certs 212382 nogoods 42773 nghits 169609 t=397.1s
[node 8999] depth 6 dim 8 unsatQ 1920 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 9000 lps 62830 certs 224906 nogoods 44834 nghits 180072 t=423.5s
[node 9499] depth 8 dim 6 unsatQ 1738 pool 25 branch on Q=(0, 1, 3, 5, 13) (sure 0, maybe 26) nodes 9500 lps 66467 certs 237376 nogoods 47471 nghits 189905 t=449.0s
[node 9999] depth 10 dim 4 unsatQ 1460 pool 25 branch on Q=(0, 1, 3, 8, 13) (sure 0, maybe 26) nodes 10000 lps 69465 certs 249863 nogoods 49469 nghits 200394 t=475.3s
[node 10499] depth 7 dim 7 unsatQ 1676 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 10500 lps 72574 certs 262374 nogoods 51578 nghits 210796 t=502.6s
[node 10999] depth 7 dim 7 unsatQ 1665 pool 25 branch on Q=(0, 1, 3, 9, 11) (sure 0, maybe 26) nodes 11000 lps 76061 certs 274892 nogoods 54065 nghits 220827 t=531.2s
[node 11499] depth 7 dim 7 unsatQ 1688 pool 25 branch on Q=(0, 1, 3, 9, 11) (sure 0, maybe 26) nodes 11500 lps 81084 certs 287391 nogoods 58088 nghits 229303 t=566.1s
[node 11999] depth 6 dim 8 unsatQ 1858 pool 25 branch on Q=(0, 1, 2, 5, 6) (sure 0, maybe 26) nodes 12000 lps 84437 certs 299912 nogoods 60441 nghits 239471 t=595.0s
[node 12499] depth 10 dim 4 unsatQ 1416 pool 25 branch on Q=(0, 1, 3, 5, 13) (sure 0, maybe 26) nodes 12500 lps 88343 certs 312366 nogoods 63347 nghits 249019 t=630.2s
[node 12999] depth 8 dim 6 unsatQ 1698 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 13000 lps 91862 certs 324866 nogoods 65866 nghits 259000 t=662.8s
[node 13499] depth 8 dim 6 unsatQ 1646 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 13500 lps 94379 certs 337390 nogoods 67383 nghits 270007 t=691.1s
[node 13999] depth 7 dim 7 unsatQ 1580 pool 25 branch on Q=(0, 3, 9, 10, 11) (sure 0, maybe 26) nodes 14000 lps 98117 certs 349884 nogoods 70121 nghits 279763 t=720.7s
[node 14499] depth 9 dim 5 unsatQ 1263 pool 25 branch on Q=(0, 1, 3, 8, 12) (sure 0, maybe 26) nodes 14500 lps 101329 certs 362365 nogoods 72333 nghits 290032 t=749.0s
[node 14999] depth 7 dim 7 unsatQ 1762 pool 25 branch on Q=(0, 1, 2, 7, 13) (sure 0, maybe 26) nodes 15000 lps 104842 certs 374883 nogoods 74846 nghits 300037 t=775.0s
[node 15499] depth 6 dim 8 unsatQ 1921 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 15500 lps 108250 certs 387396 nogoods 77254 nghits 310142 t=802.2s
[node 15999] depth 8 dim 6 unsatQ 1797 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 16000 lps 112288 certs 399880 nogoods 80292 nghits 319588 t=836.4s
[node 16499] depth 6 dim 8 unsatQ 1866 pool 25 branch on Q=(0, 1, 2, 9, 11) (sure 0, maybe 26) nodes 16500 lps 116390 certs 412413 nogoods 83394 nghits 329019 t=871.2s
[node 16999] depth 9 dim 5 unsatQ 1742 pool 25 branch on Q=(0, 1, 3, 5, 13) (sure 0, maybe 26) nodes 17000 lps 120753 certs 424874 nogoods 86757 nghits 338117 t=905.8s
[node 17499] depth 7 dim 7 unsatQ 1817 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 17500 lps 124844 certs 437411 nogoods 89848 nghits 347563 t=942.3s
[node 17999] depth 7 dim 7 unsatQ 1727 pool 25 branch on Q=(0, 1, 3, 4, 11) (sure 0, maybe 26) nodes 18000 lps 128280 certs 449892 nogoods 92284 nghits 357608 t=981.8s
[node 18499] depth 8 dim 6 unsatQ 1729 pool 25 branch on Q=(0, 1, 3, 4, 11) (sure 0, maybe 26) nodes 18500 lps 131562 certs 462381 nogoods 94568 nghits 367813 t=1017.8s
[node 18999] depth 8 dim 6 unsatQ 1638 pool 25 branch on Q=(0, 1, 2, 6, 13) (sure 0, maybe 26) nodes 19000 lps 135160 certs 474878 nogoods 97166 nghits 377712 t=1053.9s
[node 19499] depth 8 dim 6 unsatQ 1515 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 19500 lps 138605 certs 487386 nogoods 99611 nghits 387775 t=1093.8s
[node 19999] depth 10 dim 4 unsatQ 1608 pool 25 branch on Q=(0, 1, 2, 10, 11) (sure 0, maybe 26) nodes 20000 lps 142106 certs 499863 nogoods 102112 nghits 397751 t=1135.0s
[node 20499] depth 10 dim 4 unsatQ 1600 pool 25 branch on Q=(0, 1, 3, 5, 13) (sure 0, maybe 26) nodes 20500 lps 145466 certs 512403 nogoods 104472 nghits 407931 t=1171.3s
[node 20999] depth 8 dim 6 unsatQ 1845 pool 25 branch on Q=(0, 1, 2, 5, 13) (sure 0, maybe 26) nodes 21000 lps 149156 certs 524895 nogoods 107162 nghits 417733 t=1208.6s
[node 21499] depth 8 dim 6 unsatQ 1700 pool 25 branch on Q=(0, 1, 3, 7, 13) (sure 0, maybe 26) nodes 21500 lps 153459 certs 537382 nogoods 110465 nghits 426917 t=1257.5s
[node 21999] depth 8 dim 6 unsatQ 1825 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 22000 lps 157999 certs 549908 nogoods 114005 nghits 435903 t=1303.8s
[node 22499] depth 10 dim 4 unsatQ 1544 pool 25 branch on Q=(0, 1, 2, 3, 12) (sure 0, maybe 26) nodes 22500 lps 162813 certs 562412 nogoods 117819 nghits 444593 t=1349.3s
[node 22999] depth 7 dim 7 unsatQ 1733 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 23000 lps 166379 certs 574905 nogoods 120385 nghits 454520 t=1393.0s
[node 23499] depth 7 dim 7 unsatQ 1537 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 23500 lps 168844 certs 587390 nogoods 121850 nghits 465540 t=1423.9s
[node 23999] depth 7 dim 7 unsatQ 1754 pool 25 branch on Q=(0, 1, 3, 4, 8) (sure 0, maybe 26) nodes 24000 lps 171908 certs 599894 nogoods 123914 nghits 475980 t=1460.2s
[node 24499] depth 7 dim 7 unsatQ 1601 pool 25 branch on Q=(0, 1, 2, 6, 13) (sure 0, maybe 26) nodes 24500 lps 174623 certs 612379 nogoods 125629 nghits 486750 t=1490.0s
[node 24999] depth 5 dim 9 unsatQ 1853 pool 25 branch on Q=(0, 1, 3, 4, 13) (sure 0, maybe 26) nodes 25000 lps 177781 certs 624907 nogoods 127787 nghits 497120 t=1530.7s
[node 25499] depth 8 dim 6 unsatQ 1631 pool 25 branch on Q=(0, 1, 2, 4, 13) (sure 0, maybe 26) nodes 25500 lps 181070 certs 637406 nogoods 130076 nghits 507330 t=1565.8s
[node 25999] depth 9 dim 5 unsatQ 1341 pool 25 branch on Q=(0, 1, 3, 7, 13) (sure 0, maybe 26) nodes 26000 lps 184299 certs 649885 nogoods 132305 nghits 517580 t=1603.1s
[node 26499] depth 11 dim 3 unsatQ 1309 pool 25 branch on Q=(0, 1, 2, 3, 11) (sure 0, maybe 26) nodes 26500 lps 188611 certs 662336 nogoods 135617 nghits 526719 t=1658.8s
[node 26999] depth 11 dim 3 unsatQ 1131 pool 25 branch on Q=(0, 1, 2, 3, 8) (sure 0, maybe 26) nodes 27000 lps 193614 certs 674842 nogoods 139620 nghits 535222 t=1709.7s
TIME LIMIT reached at node 27430 (depth 8); stopping
DONE N=14 K=5 nodes=27431 lps=197339 certs=685640 nogoods=142483 nghits=543157 uncertified=0 solutions=0 stopped_early=True time=1750.1s
