Bug fix statistic object should not be static. This created problems when run through the python interface, for example when printing the time at which solutions are obtained. The was measured from starting the binary, rather than from starting the search.