Initialize every process with a different seed
Authored by: dariovillar 2013-04-11
Parent: [r9]
Child: [r11]