The lack of convergence to objectives that should remain achievable
under constraints is really getting to me. Very tempting to just go
back to the recursive approach that works in most cases (in spite of
the proof by Mistry:2007 that it allows lower-priority tasks to
interfere with higher-priority tasks in case of conflicts).