I'm in the UK
Homes here have a standard 100 amp supply, with 240V wall sockets.

I'm not expecting to be able to run them all, but just wanting to confirm my understanding in terms of what the RCD rating allows. As the total of all the RCDs in the panel exceed 100amps.