void gather_statistics()