Checkpoint file name is not unique to the run

[IvanUniTO]

checkpoint file name is always the same by default. If you run multiple concurrent survtrace jobs (e.g. on different datasets) they will crash each other or even scramble numerical results even in the presence of a RNG seed.