Second push. Substantial edits: 1. multithreading, across the different machines. 2. More robust parsing of command line outputs. 3. Comparisons across results, with printlines indicating inconsistencies.