Python中的VLC API无法播放音频

Question

我正在运行的file.mp3，它的长度为4180 ms，但是vlc只能播放到3854 ms，并且进度只能达到92.83397197723389%，我该如何获得他播放整个音频吗？或进行正确的测量。

import vlc, time

mp = vlc.MediaPlayer('path/to/file.mp3')

mp.play()


while(True):
    print(mp.get_time(), mp.get_position()*100)

    time.sleep(0.10)