update for RNG seeding to use pid() instead of time() due to parallel copies getting the same seed accidentally