The first link is not working for me, at least at the moment.
I must apologize for not posting a follow-up on this. Later the same day, I happened to notice that the job card had REGION=300K on it (or some other ridiculously small number), from back in the dinosaur age. I removed that, and the problem went away. Apparently it was just a memory shortage.