[note] lam=1 Nmax=40 run stopped by verifier B at 9.5 min (direct sparse LU used >4 GB memory); not repeated
