ユーザー1000人としてプールサーバーのスペックはどれぐらいが妥当なの?