tabu search, UI improvements, bug fixes