cout counter and pool size for debug