Ireland's Alastair Cragg had a disappointing race in the men's 5000metres final, finishing 12th in a time of 13:43.06.