simplify processor destruction code
print more debugging info