The Server Allocation Problem with non-identical machines: A meta-heuristic approach