N=16 K=5: 4368 K-subsets, 26 order-feasible patterns per subset, 113568 candidate relations
[node 0] depth 0 dim 16 unsatQ 4368 pool 24 branch on Q=(0, 1, 2, 3, 15) (sure 11, maybe 15) nodes 1 lps 0 certs 0 nogoods 0 nghits 0 t=0.0s
[node 1] depth 1 dim 15 unsatQ 4367 pool 24 branch on Q=(1, 7, 8, 9, 10) (sure 1, maybe 25) nodes 2 lps 0 certs 0 nogoods 0 nghits 0 t=0.0s
[node 499] depth 10 dim 6 unsatQ 3772 pool 25 branch on Q=(0, 1, 2, 3, 7) (sure 0, maybe 26) nodes 500 lps 5352 certs 12312 nogoods 4356 nghits 7956 t=36.9s
[node 999] depth 9 dim 7 unsatQ 3777 pool 25 branch on Q=(0, 1, 2, 7, 10) (sure 0, maybe 26) nodes 1000 lps 10397 certs 24829 nogoods 8401 nghits 16428 t=80.0s
[node 1499] depth 11 dim 5 unsatQ 3728 pool 25 branch on Q=(0, 1, 3, 5, 12) (sure 0, maybe 26) nodes 1500 lps 14757 certs 37283 nogoods 11761 nghits 25522 t=119.8s
[node 1999] depth 8 dim 8 unsatQ 4035 pool 25 branch on Q=(0, 1, 2, 7, 9) (sure 0, maybe 26) nodes 2000 lps 18411 certs 49838 nogoods 14415 nghits 35423 t=153.6s
[node 2499] depth 9 dim 7 unsatQ 3570 pool 25 branch on Q=(0, 1, 2, 4, 10) (sure 0, maybe 26) nodes 2500 lps 23111 certs 62326 nogoods 18115 nghits 44211 t=189.3s
[node 2999] depth 10 dim 6 unsatQ 3796 pool 25 branch on Q=(0, 1, 2, 3, 10) (sure 0, maybe 26) nodes 3000 lps 27326 certs 74814 nogoods 21330 nghits 53484 t=231.0s
[node 3499] depth 11 dim 5 unsatQ 3385 pool 25 branch on Q=(0, 1, 2, 7, 14) (sure 0, maybe 26) nodes 3500 lps 31349 certs 87322 nogoods 24353 nghits 62969 t=275.7s
[node 3999] depth 10 dim 6 unsatQ 3696 pool 25 branch on Q=(0, 1, 3, 5, 15) (sure 0, maybe 26) nodes 4000 lps 35067 certs 99831 nogoods 27071 nghits 72760 t=313.5s
[node 4499] depth 7 dim 9 unsatQ 3979 pool 25 branch on Q=(0, 1, 2, 4, 15) (sure 0, maybe 26) nodes 4500 lps 39699 certs 112347 nogoods 30703 nghits 81644 t=354.5s
[node 4999] depth 7 dim 9 unsatQ 3506 pool 25 branch on Q=(0, 1, 2, 7, 10) (sure 0, maybe 26) nodes 5000 lps 44137 certs 124843 nogoods 34141 nghits 90702 t=401.5s
[node 5499] depth 10 dim 6 unsatQ 3410 pool 25 branch on Q=(0, 1, 2, 3, 10) (sure 0, maybe 26) nodes 5500 lps 48014 certs 137315 nogoods 37018 nghits 100297 t=450.3s
[node 5999] depth 9 dim 7 unsatQ 3948 pool 25 branch on Q=(0, 1, 2, 3, 14) (sure 0, maybe 26) nodes 6000 lps 52320 certs 149825 nogoods 40324 nghits 109501 t=494.0s
[node 6499] depth 11 dim 5 unsatQ 3392 pool 25 branch on Q=(0, 1, 2, 3, 10) (sure 0, maybe 26) nodes 6500 lps 56277 certs 162319 nogoods 43281 nghits 119038 t=539.1s
[node 6999] depth 9 dim 7 unsatQ 3889 pool 25 branch on Q=(0, 1, 2, 3, 14) (sure 0, maybe 26) nodes 7000 lps 59869 certs 174852 nogoods 45873 nghits 128979 t=583.4s
[node 7499] depth 11 dim 5 unsatQ 3504 pool 25 branch on Q=(0, 1, 2, 5, 10) (sure 0, maybe 26) nodes 7500 lps 63685 certs 187313 nogoods 48689 nghits 138624 t=630.8s
[node 7999] depth 10 dim 6 unsatQ 3858 pool 25 branch on Q=(0, 1, 2, 5, 15) (sure 0, maybe 26) nodes 8000 lps 67183 certs 199843 nogoods 51187 nghits 148656 t=677.5s
[node 8499] depth 11 dim 5 unsatQ 3186 pool 25 branch on Q=(0, 1, 3, 4, 7) (sure 0, maybe 26) nodes 8500 lps 71244 certs 212317 nogoods 54248 nghits 158069 t=720.9s
[node 8999] depth 11 dim 5 unsatQ 3242 pool 25 branch on Q=(0, 1, 3, 6, 10) (sure 0, maybe 26) nodes 9000 lps 75134 certs 224814 nogoods 57138 nghits 167676 t=766.1s
[node 9499] depth 9 dim 7 unsatQ 3722 pool 25 branch on Q=(0, 1, 2, 7, 9) (sure 0, maybe 26) nodes 9500 lps 78801 certs 237358 nogoods 59805 nghits 177553 t=809.1s
[node 9999] depth 10 dim 6 unsatQ 3454 pool 25 branch on Q=(0, 1, 3, 4, 15) (sure 0, maybe 26) nodes 10000 lps 82033 certs 249822 nogoods 62037 nghits 187785 t=849.7s
[node 10499] depth 10 dim 6 unsatQ 3732 pool 25 branch on Q=(0, 1, 2, 7, 10) (sure 0, maybe 26) nodes 10500 lps 85126 certs 262326 nogoods 64130 nghits 198196 t=890.0s
[node 10999] depth 11 dim 5 unsatQ 3513 pool 25 branch on Q=(0, 1, 2, 7, 14) (sure 0, maybe 26) nodes 11000 lps 88307 certs 274806 nogoods 66311 nghits 208495 t=931.8s
[node 11499] depth 9 dim 7 unsatQ 3638 pool 25 branch on Q=(0, 1, 2, 4, 5) (sure 0, maybe 26) nodes 11500 lps 91912 certs 287341 nogoods 68916 nghits 218425 t=985.0s
[node 11999] depth 11 dim 5 unsatQ 3616 pool 25 branch on Q=(0, 1, 2, 5, 15) (sure 0, maybe 26) nodes 12000 lps 95530 certs 299817 nogoods 71534 nghits 228283 t=1039.4s
[node 12499] depth 11 dim 5 unsatQ 3472 pool 25 branch on Q=(0, 1, 2, 3, 5) (sure 0, maybe 26) nodes 12500 lps 99081 certs 312318 nogoods 74085 nghits 238233 t=1090.3s
[node 12999] depth 11 dim 5 unsatQ 3056 pool 25 branch on Q=(0, 1, 3, 4, 15) (sure 0, maybe 26) nodes 13000 lps 102321 certs 324832 nogoods 76325 nghits 248507 t=1141.8s
[node 13499] depth 10 dim 6 unsatQ 3428 pool 25 branch on Q=(0, 1, 2, 7, 8) (sure 0, maybe 26) nodes 13500 lps 105668 certs 337336 nogoods 78672 nghits 258664 t=1188.1s
[node 13999] depth 10 dim 6 unsatQ 3961 pool 25 branch on Q=(0, 1, 2, 4, 15) (sure 0, maybe 26) nodes 14000 lps 109581 certs 349825 nogoods 81585 nghits 268240 t=1236.3s
[node 14499] depth 9 dim 7 unsatQ 3841 pool 25 branch on Q=(0, 1, 3, 5, 15) (sure 0, maybe 26) nodes 14500 lps 112716 certs 362331 nogoods 83720 nghits 278611 t=1286.4s
[node 14999] depth 11 dim 5 unsatQ 3675 pool 25 branch on Q=(0, 1, 2, 3, 10) (sure 0, maybe 26) nodes 15000 lps 116294 certs 374808 nogoods 86298 nghits 288510 t=1338.5s
[node 15499] depth 10 dim 6 unsatQ 3866 pool 25 branch on Q=(0, 1, 3, 4, 15) (sure 0, maybe 26) nodes 15500 lps 119818 certs 387325 nogoods 88822 nghits 298503 t=1390.2s
[node 15999] depth 10 dim 6 unsatQ 3909 pool 25 branch on Q=(0, 1, 3, 4, 15) (sure 0, maybe 26) nodes 16000 lps 123249 certs 399838 nogoods 91253 nghits 308585 t=1442.9s
[node 16499] depth 10 dim 6 unsatQ 3623 pool 25 branch on Q=(0, 1, 3, 4, 15) (sure 0, maybe 26) nodes 16500 lps 126577 certs 412334 nogoods 93581 nghits 318753 t=1489.0s
[node 16999] depth 9 dim 7 unsatQ 3678 pool 25 branch on Q=(0, 1, 2, 5, 10) (sure 0, maybe 26) nodes 17000 lps 130698 certs 424840 nogoods 96702 nghits 328138 t=1538.8s
[node 17499] depth 11 dim 5 unsatQ 3382 pool 25 branch on Q=(0, 1, 2, 5, 10) (sure 0, maybe 26) nodes 17500 lps 135085 certs 437326 nogoods 100089 nghits 337237 t=1593.0s
[node 17999] depth 7 dim 9 unsatQ 3770 pool 25 branch on Q=(0, 1, 2, 7, 14) (sure 0, maybe 26) nodes 18000 lps 139352 certs 449847 nogoods 103356 nghits 346491 t=1650.7s
[node 18499] depth 9 dim 7 unsatQ 3677 pool 25 branch on Q=(0, 1, 2, 5, 10) (sure 0, maybe 26) nodes 18500 lps 142926 certs 462318 nogoods 105930 nghits 356388 t=1709.3s
TIME LIMIT reached at node 18877 (depth 11); stopping
DONE N=16 K=5 nodes=18878 lps=145554 certs=471756 nogoods=107802 nghits=363954 uncertified=0 solutions=0 stopped_early=True time=1750.0s
