Upon creating a server within 1.14, The level-seed variable within server.properties, is not used and a default seed of -1036516263 is used.
changing or deleting the custom seed, does not change the seed of the map, or the seed given by the console command of /seed
Latest log and properties file given
I have no such problem on my side. i succesfully managed to change the seed, and it's working properly.