bitcoind cannot keep up with the blockchain
OK, apparently, the problem was with the Ethereum daemon running on the same machine and that I had forgotten. top and free showed there was still CPU and RAM available but, when I stopped the Ethereum daemon, Bitcoin was able to get up to date. A bit strange.

% bitcoin-cli getblockcount 
493316