An integer programming approach to resource allocation in large-scale server consolidationBenjamin SpeitkampEsaurito4,3Avvisami