Improved verbose output for SA