The option -misched-detail-resource-booking prints the following
information every time the method
SchedBoundary::getNextResourceCycle is invoked:
- counters of the resources that have already been booked;
- the values returned by getNextResourceCycle, which is the next
available cycle in which a resource can be booked.
The method is useful to debug low-level checks inside the machine
scheduler that make decisions based on the values returned by
getNextResourceCycle.