From 0fcf88703f2713fdee86521788dcda30f82cb8ff Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Mar 2014 18:38:16 +0000
Subject: [PATCH] report some more stuff in stderr output

---
 main.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main.c b/main.c
index 08bf5cb..fb270e0 100644
--- 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]);
-    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);
-- 
2.30.2