Use twice the hardware execution context to keep the system busy

15:47 < kov> Glanzmann, may be a good idea to replace the -j 16 with -j `nproc`?
15:48 < Glanzmann> kov: I always use nproc * 2. That is where the 16 comes from, but yes.