Improve solver conflict error message.