debug private algorithm with lots of output

Seems to be working now without adding noise to the private counters and
without reducing the capacities. However, writing the matching to an
output file needs to be fixed.