Random-number stream number used to seed the solver's stochastic decisions. 0 means "next available stream".