backtracking solver completed