Re: [firedrake] out of memory error during assemble