[DCP-o-matic] How many encoding servers?