Keep information about the final conflict set and print it in case of
exhaustive search. The original error message is not printed any more.