BatchAllocator: Stable inital batch split over PCI