[QUOTE=ryanp;549836]I decided to fire up certification of M78737 with Primo, using 64 processes. Hopefully no one else is already running this!

The machine it's running on is a 3Ghz, 36-core/72-thread system. Anyone have a rough sense of how long this should take?

(Addendum: it would be great if Primo was open-source... I'd love to understand more about these "stk4321" processes it spawns. If I could farm these out to a cluster and then feed the results back in, presumably this could go a lot faster).[/QUOTE]

2-3 weeks, maybe a month.

[QUOTE=Gelly;548852]

I'll reserve 10^25333-2*10^5182-3 (PRP25333) because it looks silly and it'll force myself into 9th on ECPP.

[/QUOTE]

It's done! Precise count is 3934149s (45.5 days), although I had another decent power outage that had it not working for about a day. Seems like it saved the time stats correctly, though! Uploaded on FactorDB - though, it seems like it's having a hard time starting processing on it, so it's currently not there. Not worried, though - I'm sure it'll make it to processing eventually.

[QUOTE=paulunderwood;548863]
You might want to certify some t[URL="https://primes.utm.edu/top20/page.php?id=49"]op20 Mersnne co-factors[/URL]. The available ones are [URL="https://www.mersenne.ca/prp.php"]here[/URL].
[/QUOTE]

Probably more appropriate than silly-lookin PRPs. Since Ryan's got M78737, I will do the certification of M84211 (PRP25291). Good size, leaves the gap for M82939, in case anyone wants to cert a slightly smaller PRP, and I also just like how M84211 visually looks.

[QUOTE=Gelly;552874]It's done! Precise count is 3934149s (45.5 days), although I had another decent power outage that had it not working for about a day. Seems like it saved the time stats correctly, though! Uploaded on FactorDB - though, it seems like it's having a hard time starting processing on it, so it's currently not there. Not worried, though - I'm sure it'll make it to processing eventually.



Probably more appropriate than silly-lookin PRPs. Since Ryan's got M78737, I will do the certification of M84211 (PRP25291). Good size, leaves the gap for M82939, in case anyone wants to cert a slightly smaller PRP, and I also just like how M84211 visually looks.[/QUOTE]


Go to [url]https://primes.utm.edu/bios/[/url] and create a new prover account based on a "c" code for Primo if you don't already have one. Then you can submit your newly certified prime under the new code with the comment: ECPP, like this:

10^25333-2*10^5182-3 ECPP

For Mersenne cofactors the comment should be: Mersenne cofactor, ECPP

Also use sendspace or similar to send Marcel Martin a download link for the certificate and you will get a listing on his top20 Primo proofs page.

Congrats! :banana:

[QUOTE=Gelly;552874] and I also just like how M84211 visually looks.[/QUOTE]
Yeah, pretty huh? Lots of 1 in binary... :razz:

[QUOTE=ryanp;549836]I decided to fire up certification of M78737 with Primo, using 64 processes. Hopefully no one else is already running this![/QUOTE]

An update: the machine running this certification had to be restarted, and I forgot to fire up the job again. Running it again now, with 36 workers. It's currently at "Bits: 78188/78577" in phase 1.

[QUOTE=Gelly;552874] Since Ryan's got M78737, I will do the certification of M84211 (PRP25291). Good size, leaves the gap for M82939, in case anyone wants to cert a slightly smaller PRP, and I also just like how M84211 visually looks.[/QUOTE]

Done! 4132590s (47.8 days). Once Marcel puts it up and I submit to Prime Pages, it should be the largest Mersenne Cofactor proven prime by a fair bit.

For the time being, since I want to wait on my incoming Thermosyphon as a sweet threadripper cooler, I'll not do another reservation for a while yet.

[QUOTE=Gelly;557830]Done! 4132590s (47.8 days). Once Marcel puts it up and I submit to Prime Pages, it should be the largest Mersenne Cofactor proven prime by a fair bit.

For the time being, since I want to wait on my incoming Thermosyphon as a sweet threadripper cooler, I'll not do another reservation for a while yet.[/QUOTE]

:banana: Congrats for the proof of the M84211 cofactor.

[QUOTE=paulunderwood;557834]:banana: Congrats for the proof of the M84211 cofactor.[/QUOTE]

[URL="https://primes.utm.edu/primes/page.php?id=131278"]It is up[/URL].

Suggest these probable primes for the "proven" [URL="https://docs.google.com/document/d/e/2PACX-1vQMhZGxAX7Yuzx2q1xyKudcbWLhKlyzEOqmjDBRgTjJdguhMTORkHIOEZbq2-BMVswY9IYDNnWsnwkN/pub"]Sierpinski[/URL]/[URL="https://docs.google.com/document/d/e/2PACX-1vTb4hZ3-V6K6usszow7_EfYULqeJerDObsY9EUrycbtewwHbuPRy40OaP1Gftc9Mzes_NAalbF8cNyG/pub"]Riesel[/URL] conjectures, if the primality of these probable primes were proven, then these Sierpinski/Riesel conjectures would be completely proven.

S73: (14*73^21369+1)/3 (may be too large)
S105: (191*105^5045+1)/8
S256: (11*256^5702+1)/3

R7: (197*7^181761-1)/2 and (367*7^15118-1)/6 (may be too large)
R73: (79*73^9339-1)/6
R91: (27*91^5048-1)/2
R100: (133*100^5496-1)/33
R107: (3*107^4900-1)/2

Someone mentioned to me another list that is outdated in terms of compute power is the Unique Primes list, so I'll be proving Phi(79710,10) (PRP21248)

[QUOTE=Gelly;561841]Someone mentioned to me another list that is outdated in terms of compute power is the Unique Primes list, so I'll be proving Phi(79710,10) (PRP21248)[/QUOTE]

There is a much smaller PRP factor of Phi(n,10), (10^6881-1)/(10^983-1)/49141059632832877096172610809992897380296624365337454176129, see [URL="https://stdkmd.net/nrr/repunit/prpfactors.htm"]https://stdkmd.net/nrr/repunit/prpfactors.htm[/URL]