tight2.py 5 5 0 1 (the version that keeps all families) was stopped by this run after 8 minutes without result; the same range was run with tight2b.py (out/tight2b_n5_k5.json).
