Counting of callbacks to now when the executor of pSolver can be killed