CADO should keep running until we get a manageable matrix. 73M at 1.25G relations suggests we have another day or three to go; hopefully filtering can be run once a day until the matrix doesn't shrink much from the day's extra relations.
1.16G -> 87M matrix (default TD)
1.255G -> 73M matrix (TD 120)
So ~100M extra relations dropped 16% from matrix size. Another 50M relations from a day's sieving should reduce another 6% or so; that is, we might lose ~4M dimensions from one more day's sieving.
Projecting from these two data points, 1.4G might yield a matrix around 61-64M. Let's use TD 124 next time, to make filtering work a little harder.
|