properly seed random generator in srunner