added try-catch to nail down that EAGAIN observed in Philly;
temporarily changed the fillBatches() criterion to threshold of 100 (should make little difference);
bug fix: Corpus::next() should check for inconsistent end of data across streams;
minor fix: MPI rank in log is now padded to same #digits for all ranks, for better readable logs