tie-breaking by MRNumber
oops, fixing sort order
ensuring the warming up doesn't take too long