Where did this magic batch size of 20 come from? Is this the optimal fetch size?