Update: overnight it found a 17828-digit prime number, a new personal best!
I can see why most primes found are found with easy-to-write formulae like (2^p)-1 or (k^2^n)+1. Ttrying to go backwards – coming up with a compact formula to represent a really huge prime made up of random digits like this one, is really tricky.