Concentration compactness of a space of nonlinear $p$-harmonic functions