Make sure that we don't start from scratch if we have to restart the ranker, by first reading in the already written output before reading in the input, and thereby skipping already processed users.