added more logging and solver cleanup