dementors: move printing stats to dementors