Sieving for CRUS

Collapse
This is a sticky topic.
X
X
 
  • Filter
  • Time
  • Show
Clear All
new posts
  • rebirther
    • Sep 2011
    • 4170

      Sieving for CRUS

      Hi Followers,

      If someone is able to sieve some S/R Bases from 25-100k this would be great. Also 100-200k and 200-400k are welcome. I am out of running these ranges soon in BOINC and I don't want to lose time. Thx in advance!

      See recent posts in this thread for incomplete sieving reservations. See partially and fully completed sieve files in the right-hand column of our reservations pages here:
      http://www.noprimeleftbehind.net/cru...e-reserves.htm
      http://www.noprimeleftbehind.net/cru...e-reserves.htm

      If the file says "partially sieved file", it needs more sieving. Otherwise it can be assumed to be fully sieved.

      Sieving for bases with < ~100 k's remaining is mostly done by Yoyo now. See the status of the sieves here:
      http://www.rechenkraft.net/yoyo/y_status_sieve.php

      Below is a link to general sieving programs both old and new that can be used at CRUS along with a general file utility.
      Srsieve2 is the newest and most versatile program but others can run faster at times. All programs run well.
      http://www.noprimeleftbehind.net/cru...e-programs.zip
      Last edited by gd_barnes; 2024-07-13, 02:44. Reason: add link to sieving programs
    • gd_barnes
      • May 2007
      • 13868

        Originally posted by rebirther View Post
        Hi Fellowers,

        if someone is able to sieve some S/R Bases from 25-100k this would be great. Also 100-200k and 200-400k are welcome. Iam out of running these ranges soon in BOINC and I dont want to loose time. Thx in advance!
        My suggestion is to sieve some of the lowest difficulty bases as shown here:
        http://www.noprimeleftbehind.net/cru...s-unproven.htm

        Most of them will be 100-200k or 200k-400k. There are a lot of bases in that area that can more easily be proven or reduced to 1k or 2k remaining by BOINC.

        Comment

        • LaurV
          Romulan Interpreter
          • Jun 2011
          • 10509

            Ok, can you tell me one base I could sieve, preferable sr1sieve or sr2sieve job, the limits to go to (about) and the time frame when you need it, and I can allocate some resources to it.

            Comment

            • wombatman
              I moo ablest echo power!
              • May 2013
              • 1908

                I'm sieving R347 (with its remaining k of 22) from n=200k to 400k. Not quite to P=1e12 yet, at which point I'll run a PRP test to get a feel for how far I need to sieve.

                Comment

                • gd_barnes
                  • May 2007
                  • 13868

                    Originally posted by LaurV View Post
                    Ok, can you tell me one base I could sieve, preferable sr1sieve or sr2sieve job, the limits to go to (about) and the time frame when you need it, and I can allocate some resources to it.
                    Using that list in the link that I posted above, the lowest difficulty bases are S428, S638, and S332. (Wombatman is doing R347.) I'd suggest starting with S428 for n=200k-400k.

                    Comment

                    • LaurV
                      Romulan Interpreter
                      • Jun 2011
                      • 10509

                        Originally posted by gd_barnes View Post
                        Using that list in the link that I posted above, the lowest difficulty bases are S428, S638, and S332. (Wombatman is doing R347.) I'd suggest starting with S428 for n=200k-400k.
                        Ok, sieving S428 for n>200k for a while, to see what's going on. Starting in one hour. Do you need factors file?

                        Comment

                        • gd_barnes
                          • May 2007
                          • 13868

                            Originally posted by LaurV View Post
                            Ok, sieving S428 for n>200k for a while, to see what's going on. Starting in one hour. Do you need factors file?
                            No

                            Comment

                            • unconnected
                              • May 2009
                              • 3351

                                Originally posted by rebirther View Post
                                Hi Fellowers,

                                if someone is able to sieve some S/R Bases from 25-100k this would be great. Also 100-200k and 200-400k are welcome. Iam out of running these ranges soon in BOINC and I dont want to loose time. Thx in advance!
                                I have sieve file for S333 100K-250K, but sieve limit is only 1T. Will sieve deeply and send file to Gary.
                                Last edited by gd_barnes; 2016-01-03, 10:15. Reason: R333 -> S333

                                Comment

                                • MyDogBuster
                                  • May 2008
                                  • 2856

                                    Check for doubles

                                    People should check when starting a sieve for a base and range to see if the other side (Riesel or Sierp) has the same base with the same range and sieve them together. Saves time and resources.

                                    I'll be working on the 25K-100K range doing the doubles first.

                                    We don't take sieving reservations so using this thread to give a general area of work would help out a bit.

                                    Comment

                                    • LaurV
                                      Romulan Interpreter
                                      • Jun 2011
                                      • 10509

                                        R428 seems proven, which saves me of the troubles to learn how use srXsieve to sieve both sides in the same time...
                                        Last edited by LaurV; 2015-12-11, 14:22.

                                        Comment

                                        • LaurV
                                          Romulan Interpreter
                                          • Jun 2011
                                          • 10509

                                            S428 200k<n<1M sieved to 2e12 (it was faster than I expected). At this score, I have ~125 seconds per factor, which would mean ~1000 seconds per factor in the 200k-300k range. Some cllr test in the same cpu says about 1800-2000 seconds for one test.

                                            There are <7500 candidates remaining in 200k<n<1M.

                                            Question for the people knowing more about this subject: how much further should I go with sieving? And should I post the file here (~70kB) or send it to Gary?

                                            ---------------

                                            In the same time I ran cllr in a different core for 8*428^n+1 for n to about 70k (continuing) - this is a doublecheck. Gary, do you need residue file for DC purposes?

                                            --------------

                                            I also ran low-sieving and cllr for all other k's (as there are only 9 all together) for n>=2, as I just didn't like those numbers being prime for n=1. This is for the category "futile work", but it still can be posted like a puzzle. I found primes for n higher than 1 for all of them, except 2 and 6, but 6 is eliminated by algebraic factorization, it seems that all of them are divisible by 7. So here the primes with higher n:
                                            Code:
                                            2*428^1+1 = 857 is prime! (trial divisions)
                                            5*428^1+1 = 2141 is prime! (trial divisions)
                                            9*428^1+1 = 3853 is prime! (trial divisions)
                                            3*428^2+1 = 549553 is prime! (trial divisions)
                                            7*428^2+1 = 1282289 is prime! (trial divisions)
                                            9*428^3+1 = 705624769 is prime! (trial divisions)
                                            
                                            [COLOR=Red][COLOR=Red]1*428^32+1 is prime! (85 decimal digits)  Time : 9.273 ms.[/COLOR]
                                            [/COLOR][COLOR=Red][COLOR=Red]3*428^15+1 is prime! (40 decimal digits)  Time : 9.067 ms.
                                            [/COLOR]4*428^14+1 is prime! (38 decimal digits)  Time : 13.575 ms.
                                            [/COLOR][COLOR=Red]5*428^21+1 is prime! (56 decimal digits)  Time : 9.341 ms.[/COLOR]
                                            [COLOR=Red]7*428^20+1 is prime! (54 decimal digits)  Time : 9.544 ms.
                                            9*428^1665+1 is prime! (4383 decimal digits)  Time : 156.265 ms.
                                            [/COLOR]
                                            Now, the "puzzle" is that I didn't find any prime for k=2, although I sieved to 1T and I cllr it to n=69133 - still running.

                                            (I am not so happy with the prime for k=4 also, as that is long known, and not a "new find", hehe, but I didn't do any action in that direction. )

                                            One outcome from this futile playing with numbers is that I uncovered a small bug in cllr. My first sieving file was including 10*428^n+1 too, and it was sieving from n=0, therefore after srsieve kept 10*428^0+1 (which is prime) and eliminated all the other, so in the resulted sieved file (I stopped srsieve at 1e8 and continued with sr2sieve, then split and used sr1sieve for 2 and 8) - so in resulted file after first application of the srsieve, the 2*428^1+1 (=857, prime) followed after 10*428^0+1 (=11, also prime). In this very particular situation, cllr is testing the first one, and says it's prime, but is skipping the other one (i.e. misses the prime 857). Now I know this is a buggy situation, which will never happen in real life, but I wonder which other primes it can miss...
                                            Last edited by LaurV; 2015-12-13, 04:35.

                                            Comment

                                            • VBCurtis
                                              • Feb 2005
                                              • 6658

                                                Originally posted by LaurV View Post
                                                S428 200k<n<1M sieved to 2e12 (it was faster than I expected). At this score, I have ~125 seconds per factor, which would mean ~1000 seconds per factor in the 200k-300k range. Some cllr test in the same cpu says about 1800-2000 seconds for one test.

                                                There are <7500 candidates remaining in 200k<n<1M.

                                                Question for the people knowing more about this subject: how much further should I go with sieving? And should I post the file here (~70kB) or send it to Gary?
                                                The k's remaining are low-weight enough that it's pretty likely the entire file will be tested; so this question is roughly equivalent to "what sieve depth minimizes the time to sieve plus the time to LLR the file?" In the short run, it's about finding the point where breaking off a piece (say, 200-300k) for LLR followed by more sieving on 300k-1M is better than just sieving more on the 200k-1M file.

                                                If you test the 300k-1M sieve speed vs 200k-1M, you'll find that there's very little speed gain, meaning the 200-300 piece is, in a sense, getting sieved for free since we'll want the rest of the file sieved more. The heuristic I've found is that sieving until the sec/factor is at least double the LLR time for the smallest candidate is at the lower end of the right time to break off a piece.

                                                However, you won't be LLRing it yourself- BOINC will. Just like the NFS@home matrix-solvers have NFS@ home make extra relations to make their matrix task shorter, there's nothing wrong with sieving less for BOINC than you might for yourself. For Riesel-3, I've been sending pieces of the sieve files to rebirther when sec/factor in sieve is the same as sec/test in LLR for a typical candidate in the piece.

                                                30e12 would be a good spot to aim for for BOINC work, 50-75e12 for your own work.

                                                Comment

                                                • LaurV
                                                  Romulan Interpreter
                                                  • Jun 2011
                                                  • 10509

                                                    Originally posted by VBCurtis View Post
                                                    If you test the 300k-1M sieve speed vs 200k-1M, you'll find that there's very little speed gain, meaning the 200-300 piece is, in a sense, getting sieved for free since we'll want the rest of the file sieved more.
                                                    Thanks for the reply, I found that, or something similar. I got the idea that I need to sieve to 3e13, that is what I need to know. In a sense, as you said, if some prime divides some s(n), the n is "random", so its chance to be in 300k-1M is 7/8 from the chance that n is in 200k-1M, and this is what the factor list shows: about one in 8 is in 200k-300k, and i get one every ~125 seconds, i.e. about 1000 seconds per factor.

                                                    Comment

                                                    • Puzzle-Peter
                                                      • Jun 2009
                                                      • 700

                                                        Originally posted by rebirther View Post
                                                        Hi Fellowers,

                                                        if someone is able to sieve some S/R Bases from 25-100k this would be great. Also 100-200k and 200-400k are welcome. Iam out of running these ranges soon in BOINC and I dont want to loose time. Thx in advance!
                                                        Do you also need some XXL tests? I could give you a ready-to-go sieve file for S/R22 n=1.5M - 2M.

                                                        Comment

                                                        • rebirther
                                                          • Sep 2011
                                                          • 4170

                                                            Originally posted by Puzzle-Peter View Post
                                                            Do you also need some XXL tests? I could give you a ready-to-go sieve file for S/R22 n=1.5M - 2M.
                                                            No, the main target is 25-100k

                                                            Comment

                                                            • wombatman
                                                              I moo ablest echo power!
                                                              • May 2013
                                                              • 1908

                                                                R347

                                                                Here's the sieved file (P=20e12) for R347 from n=200k-400k. There are 1679 candidates remaining.

                                                                Edit: I can go ahead and run base 373 as well. Is there an easy to run both the S373 and R373 at the same time? Or do I just run them concurrently with two instances of the siever?

                                                                Nevermind, got it sorted.
                                                                Attached Files
                                                                Last edited by wombatman; 2015-12-15, 20:21.

                                                                Comment

                                                                • LaurV
                                                                  Romulan Interpreter
                                                                  • Jun 2011
                                                                  • 10509

                                                                    S428 status report: reached 12T, continuing to 30T as per Curtis' advice. In the same time I let cllr running for S428(8), it reached n=120k (this is a DC, but I don't think I will go to the full n=200k, as it is already getting very slow).

                                                                    Comment

                                                                    • wombatman
                                                                      I moo ablest echo power!
                                                                      • May 2013
                                                                      • 1908

                                                                        S/R373 and R610

                                                                        R/S373 (k=18 and k=108, respectively) is on its way to P=20e12 and should finish Christmas Day.

                                                                        R610 is heading to P=15e12, finishing on the 23rd.

                                                                        Comment

                                                                        • gd_barnes
                                                                          • May 2007
                                                                          • 13868

                                                                            Later tonight, I'll include a list of what is being worked on and who has what reserved for BOINC sieving in the first posting here. I'll also put a link to all completed files on the pages. Ian just sent me a large batch of bases sieved for n=25K-100K. That should keep BOINC busy for a while. :-)

                                                                            Comment

                                                                            • wombatman
                                                                              I moo ablest echo power!
                                                                              • May 2013
                                                                              • 1908

                                                                                Sweet! Thanks!

                                                                                Comment

                                                                                • wombatman
                                                                                  I moo ablest echo power!
                                                                                  • May 2013
                                                                                  • 1908

                                                                                    R610

                                                                                    Here's R610 for n=200k-400k, taken to P=15e12. 2284 candidates remaining.
                                                                                    Attached Files
                                                                                    Last edited by wombatman; 2015-12-23, 16:57.

                                                                                    Comment

                                                                                    • gd_barnes
                                                                                      • May 2007
                                                                                      • 13868

                                                                                        I received a large batch of sieve files from Ian for n=25K-100K and 100K=200K. There is now a link to all of them on the pages. They are as follows:

                                                                                        Code:
                                                                                        R91  100K-200K
                                                                                        R166 25K-100K
                                                                                        R291 25K-100K
                                                                                        R313 25K-100K
                                                                                        R403 25K-100K
                                                                                        R418 25K-100K
                                                                                        R421 25K-100K
                                                                                        R490 25K-100K
                                                                                        R510 100K-200K
                                                                                        R553 25K-100K
                                                                                        R565 25K-100K
                                                                                        R602 100K-200K
                                                                                        R694 100K-200K
                                                                                        R696 100K-200K
                                                                                        R783 100K-200K
                                                                                        R803 100K-200K
                                                                                        R823 25K-100K
                                                                                        S91  100K-200K
                                                                                        S166 25K-100K
                                                                                        S243 25K-100K
                                                                                        S421 25K-100K
                                                                                        S490 25K-100K
                                                                                        S591 25K-100K
                                                                                        S820 25K-100K
                                                                                        S821 100K-200K
                                                                                        S823 25K-100K
                                                                                        S832 100K-200K
                                                                                        S931 25K-100K

                                                                                        Comment

                                                                                        • wombatman
                                                                                          I moo ablest echo power!
                                                                                          • May 2013
                                                                                          • 1908

                                                                                            S/R373

                                                                                            Here is S373 and R373 taken to P=20e12.
                                                                                            Attached Files

                                                                                            Comment

                                                                                            • LaurV
                                                                                              Romulan Interpreter
                                                                                              • Jun 2011
                                                                                              • 10509

                                                                                                S428 k=8, up to n=1M sieved to 3e13 (or 30T). This means deep sieved. Finding a factor actually went much slower that the cllr went, at that depth. So, either my cllr is too fast, or my sr1sieve is too slow (read: I am doing something wrong, with the speeds I get I would stop somewhere at 15T-18T or so), but I still followed what people suggested, to go to 30T.

                                                                                                Additional in the zip, there is a double check of S428, as high as it could go during the sieving process in a parallel core, which I used for speed comparison (about n=180k), which may be needed by Gary or not.

                                                                                                Manual edit can be done on the sieve file to split the range, and eventually sieve the higher range higher (pun intended).

                                                                                                There is also a "sandbox" folder where I tried - without success - to find a reasonable prime for k=2 and k=4. Strange or not, there is no other prime to (about) n=110k (see the files), beside of the trivial known primes.

                                                                                                The file can be deleted by a mod, to save my quota of uploading space, when it was taken by the interesting parts (for Boinc and by Gary for DCs).
                                                                                                Attached Files
                                                                                                Last edited by LaurV; 2015-12-25, 15:31.

                                                                                                Comment

                                                                                                • VBCurtis
                                                                                                  • Feb 2005
                                                                                                  • 6658

                                                                                                    Originally posted by LaurV View Post
                                                                                                    S428 k=8, up to n=1M sieved to 3e13 (or 30T). This means deep sieved. Finding a factor actually went much slower that the cllr went, at that depth. So, either my cllr is too fast, or my sr1sieve is too slow (read: I am doing something wrong, with the speeds I get I would stop somewhere at 15T-18T or so), but I still followed what people suggested, to go to 30T.
                                                                                                    I may have goofed the sieve-depth estimate! If the file is 500k to 1M, the time per factor should be about twice as long as the time to LLR a 500k candidate. This accounts for the longer testing times as you proceed toward 1M. If the file goes lower than 500k, the usual heuristic is to find LLR time for a candidate about 2/3rds of the way through the file, and sieve until factor time matches that LLR time; so, if you have 100k to 1M, you'd measure LLR for a candidate around 700k. These estimates assume the same machine will sieve and LLR.

                                                                                                    Sorry if my previous guesses caused you to oversieve- just think of the time you saved the BOINCers!

                                                                                                    Comment

                                                                                                    Working...