They are not going into each and every account to check if there is a pending sell order. Heck, they most like just use an outdated list, one or two months old.
It is like Banks being able to lend out money for mortgages (money the banks don't actually have), they just use a monthly balance.
Market Data 
Markets 
AI
