-q isn't quiet, or useful

[ChrisJefferson]

Hi, I would expect -q to produce just the number of solutions. Instead it prints (as an example)

56 16
Maximum cache size: 16320 MB

[ZaydH]

In my view, quiet mode should be totally quiet and not print anything to the console. My recommendation would be if you want it quiet, you could parse the output file (e.g., data.out).

I raised a pull request along the lines above.