Provide your own random seed (positive integer) for the random number generator.
mc_randomseed value
Usually a random seed is determined from current time plus process id. This option is useful to re-run a simulation for debugging.
Bibliography
About this document ...
Arve Kylling 2010-03-10