Well, after something more than two hours running, it seems that my process was automatically killed by the OS or something. I guess I'll never know. Either that or I'll have to run it in batches and save the output to files. Err, okay, I'm not going to be that obsessive about it. Not until we start having Jotto AI competitions, that is.