> Where can one observe the progress of the computations? What is > allocated etc? See "inspect the current status of the search" on http://www.brute.cl.cam.ac.uk/brute/ Note that I have disabled auto-generation of the stats file to help reduce the congestion ...