Allow us to see status information for walksat