Traced the bug back to the splitting condition in scheduler_splittask not being symmetric because of rounding