print search statistics periodically in SAT solving