Pool size used to be displayed in Production Configuration page in Management Portal in old version of Ensemble, unfortunately this (IMHO very important) information is now missing. To get the pool size you need to click in each and every host in ...