The operating system decides where each process runs (according to the
binding). It usually has no knowledge of MPI ranks. And I don't think it
looks at the PID numbers during the scheduling. So it's very likely random.