Use SortedList instead of SortedDictionnary

The retrieval of the lowest priority is faster, thus it reduce
the overhead of the metrics