# How many operation can be executed in one batch?
	private var batch_max_size = 1000