B_t127_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t127_s0of1 DONE nodes=2784 solutions=0 | generic tries: tries=503716 log tries: tries=249523
B_t143_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t143_s0of1 DONE nodes=164 solutions=0 | generic tries: tries=19843 log tries: tries=4695
B_t109_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t109_s0of1 DONE nodes=71497 solutions=0 | generic tries: tries=23479296 log tries: tries=10855921
B_t135_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t135_s0of1 DONE nodes=3035 solutions=0 | generic tries: tries=618755 log tries: tries=276025
B_t7_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t7_s0of1 DONE nodes=1 solutions=0 | generic tries: tries=11940 log tries: tries=9312
B_t81_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t81_s0of1 DONE nodes=922325 solutions=0 | generic tries: tries=429004398 log tries: tries=201456036
B_t92_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t92_s0of1 DONE nodes=1045 solutions=0 | generic tries: tries=273195 log tries: tries=106765
B_t72_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t72_s0of1 DONE nodes=0 solutions=0 | generic tries: tries=0 log tries: tries=0
B_t111_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t111_s0of1 DONE nodes=58555 solutions=0 | generic tries: tries=19777088 log tries: tries=8735416
B_t133_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t133_s0of1 DONE nodes=2333 solutions=0 | generic tries: tries=262488 log tries: tries=122571
B_t115_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t115_s0of1 DONE nodes=62369 solutions=0 | generic tries: tries=22106501 log tries: tries=10450110
B_t35_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t35_s0of1 DONE nodes=0 solutions=0 | generic tries: tries=0 log tries: tries=0
B_t69_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t69_s0of1 DONE nodes=1449301 solutions=0 | generic tries: tries=388823738 log tries: tries=182541557
B_t112_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t112_s0of1 DONE nodes=17429 solutions=0 | generic tries: tries=5026432 log tries: tries=2164425
B_t87_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t87_s0of1 DONE nodes=3501 solutions=0 | generic tries: tries=708069 log tries: tries=339729
B_t26_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t26_s0of1 DONE nodes=1 solutions=0 | generic tries: tries=10119 log tries: tries=8367
B_t100_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t100_s0of1 DONE nodes=29809 solutions=0 | generic tries: tries=8301235 log tries: tries=3372089
B_t82_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t82_s0of1 DONE nodes=0 solutions=0 | generic tries: tries=0 log tries: tries=0
B_t122_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t122_s0of1 DONE nodes=21667 solutions=0 | generic tries: tries=6304770 log tries: tries=3058679
B_t114_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t114_s0of1 DONE nodes=90253 solutions=0 | generic tries: tries=26130037 log tries: tries=10826228
B_t58_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t58_s0of1 DONE nodes=0 solutions=0 | generic tries: tries=0 log tries: tries=0
B_t11_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t11_s0of1 DONE nodes=1 solutions=0 | generic tries: tries=11460 log tries: tries=8380
B_t120_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t120_s0of1 DONE nodes=28001 solutions=0 | generic tries: tries=10165821 log tries: tries=4289925
B_t113_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t113_s0of1 DONE nodes=61933 solutions=0 | generic tries: tries=12653991 log tries: tries=4553700
B_t138_s0of1 generic=SAME fsearch_dev=SAME | log: SLICE B_t138_s0of1 DONE nodes=330 solutions=0 | generic tries: tries=48683 log tries: tries=22925
