My server has a set seed which I have picked out, but it has not used that seed to generate the world. The world seed is 7896780471617454403 (that's the one I have set), but the actual world uses the seed 9061207322554960107, a completely random seed. It is also very laggy. Can anyone help me?