#include <glpk.h>
typedef uint32_t AdjWord;
-#define PRADJ "08"PRIx32
+#define PRADJ "04"PRIx32
static int n, m;
static AdjWord *adjmatrix_counters;
for (i=0, totalfrags=0; i<n; i++) {
int frags = count_set_adj_bits(adjmatrix[i]);
totalfrags += frags;
- PRINTF("%"PRADJ" ", adjmatrix[i]);
+ PRINTF("%"PRADJ"/%"PRADJ" ", adjmatrix_counters[i], adjmatrix[i]);
double maxminsize = (double)m / frags;
if (maxminsize <= best) {
PRINTF(" too fine");