Energy-Efficient Scheduler by Statistical Analysis for Linux