попробуйте
cp input.txt original.txt
awk 'NR==1 || $4 < 10000 ' original.txt > input.txt
где
Проблема в VirtualBox. Исправьте :
Тогда:
sudo apt-get remove virtualbox*
Кредит принадлежит:форуму Mint
Como /usr/lib/virtualbox/additions/libGL.so.1 se informó en el registro de fallas, Intenté eliminar solo la adicción de invitados de Virtualbox, y funcionó para mí:
sudo apt-get remove virtualbox-guest-utils