  This is the second part of the paper which proves the compatibility of
pushforward along a proper morphism of an \'{e}tale constructible sheaf and the
pushforward of its characteristic cycle up to $p$-torsion. In this second part,
we show a result which is postponed from the first part because the technique
of the proof is different. Especially, we use Zariski-Riemann spaces to show a
certain alteration process terminates.
