Added statistics for non-tight programs.