Finishing coding top level of Tabu Search.