How to assign processes to CPU cores on Linux systems