vsearch n=12 k=9 mode=1 outside-configs=11553698 tested=51502128 successes=0 => no R works: wsat >= 12+k
real 111.17
user 110.81
sys 0.23
