From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Mar 2014 18:38:16 +0000 (+0000)
Subject: report some more stuff in stderr output
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=0fcf88703f2713fdee86521788dcda30f82cb8ff;p=matchsticks-search.git

report some more stuff in stderr output
---

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);