Fix: the seed init should be done *before* the process init (otherwise there is no randomness in the initial configuration!)