BTW yesterday I logged pulseaudio using vlc. No choppy sound, however after a random number of minutes (at most 30) the audio output is trapped into an infinite loop a few seconds long, and finally stops completely after say 100 repetitions. If you think it's worth I can attach the logs (compressed). The cpu usage was quite modest.
I attach the output of alsa-info.
I'm trying the methods you suggested in a minute.
BTW yesterday I logged pulseaudio using vlc. No choppy sound, however after a random number of minutes (at most 30) the audio output is trapped into an infinite loop a few seconds long, and finally stops completely after say 100 repetitions. If you think it's worth I can attach the logs (compressed). The cpu usage was quite modest.