Taking a random appliance vendor's list of machines, there are a good few 9 or 10kg ones, but 6-7kg is also common: https://powercity.ie/groups/view?grp=40&class=01 (the very most expensive one they sell does _18kg_; I had no idea that was a thing...)