Those 10k in this case appear to be the low performing or team shutdowns where transferring doesn't make sense.
5% headcount reduction is attainable just by freezing hiring and letting churn happen and performance management.
With nearly any company I've seen employees who can dodge performance but are a low performing employee. It drags down their team, and makes your high performers quit.
Layoffs like this might not even have front line managers input aside from, "who is critical to keeping the lights on in the company". All those things that have helped an employee avoid being PIP'ed out are gone.
The managers who I've talked to in these situations will almost always pick their high performing individuals regardless, because they know if they don't they'll be cut next due to poor performing team.
That's enough time for a new bachelor's degree.