output allocation and timing info for debugging