Ties broken randomly

Jobs are dispatched according to highest priority. If ties, then then a job is chosen at random.

Ties broken w.r.t lowest machine order

Jobs are dispatched according to highest priority. If ties, then the first job on the job-list is chosen.