Optimality analysis of energy-performance trade-off for server farm management