Documentation: /proc/$pid/stat files