2225 caps of size 13, m=29, B=20, adding t=16 points (each on >=1 secant)
TIMEOUT at cap 1989 after 1500 s, nodes=59346255872