Process huge amount .mp3

Hey, I have about 6300 .mp3 that are ~60 kb size in average and have a total size of 400mb, and I tried to compress a couple of .mp3 in Audacity and converted them .ogg which decreased the size of the .mp3…
I tried to add 1000 .mp3 to audacity but it took so long and the application forced close,
Can anyone suggest a way to process these huge amount of .mp3?
Thanks.

Use a batch format converter.
If you’re on Windows you could use OggDrop or Foobar2000.