Remove <solutionTabuSize>