Despite a new lifetime best of 4:00.15, Ciara Mageean has finished 10th for Ireland in the World Athletics Championships 1500m final in Doha, with a meteoric pace set at the front.