Use problemSeed rather than PG_original_randomSeed
Merge pull request #19 from dpvc/random-seed-fix

Use problemSeed rather than PG_original_randomSeed