You can't. These instructions are for single player worlds and games hosted by a single player instance. Real dedicated servers have the seed hashed. The information is not available in this log file or any other I have found.