How is run queue length computed in linux proc filesystem