batching reports the size of the batches, and solver uses this as termination condition, giving a good speedup