I think you have to manage that manually. The notations just create a bitmask that selects the cores available. You could make a simple script that dishes them out according to whatever scheme you want to use I suppose.