コマンドラインからstatsでセーブデータの詳細情報見れるよ
そこでシード値も判る(globalだったと思う)