No FAQ available that match "random with proportional allocation"