The server didn't crash; my friend was running it it and I asked him if it did. It didn't actually crash, but all the players were just randomly disconnected. Anyways, it wouldn't have been a large number, since we had adjusted gamerule doMobSpawning to false, and used /kill @e, neither of which put much stress on the server.
I'd just like to say that I created my issue first. MC-46601. Times on the side prove it. That is all.