report some more stuff in stderr output

diff --git a/main.c b/main.c
index 08bf5cb6ff524caf3fc84a62fc5e113bdc5d86f9..fb270e0d75ccf61d6f07917a5e432b37860fe409 100644 (file)
--- a/main.c
+++ b/main.c
@@ -691,8 +691,9 @@ static void report(void) {
     int i;
     fprintf(stderr,"  ");
     for (i=0; i<n; i++) fprintf(stderr, " %"PRADJ, best_adjmatrix[i]);
     int i;
     fprintf(stderr,"  ");
     for (i=0; i<n; i++) fprintf(stderr, " %"PRADJ, best_adjmatrix[i]);

-    fprintf(stderr," OK\n");

   }
   }

+  fprintf(stderr, " best=%-12.8f nf<=%d mf<=%d\n",
+         best, n_max_frags, m_max_frags);

   printf("%d into %d: ", n, m);
   if (best_prob) {
     double min = glp_get_obj_val(best_prob);
   printf("%d into %d: ", n, m);
   if (best_prob) {
     double min = glp_get_obj_val(best_prob);