Tabu search for graph partitioning