As hnhanu said in a comment, indeed the error goes away when you increase the amount of work memory. So that counts as an answer to my question.
But what an ugly, ugly way to fail on out of memory!
↧