start_ranlux: check if any two processes are started with the same seed