Go Back > Math Stuff > Computer Science & Computational Number Theory

Thread Tools
Old 2020-10-08, 05:44   #45
dbaugh's Avatar
Aug 2005

11110012 Posts

Using Kim Walisch's primecount program, here are some additional powers of two:

π(287) = 2610087356951889016077639
π(288) = 5159830247726102115466054
π(289) = 10201730804263125133012340
π(290) = 20172933541156002700963336
dbaugh is offline   Reply With Quote
Old 2020-10-08, 19:56   #46
CRGreathouse's Avatar
Aug 2006

176316 Posts
CRGreathouse is offline   Reply With Quote
Old 2020-10-27, 16:38   #47
kwalisch's Avatar
Sep 2015

1516 Posts
Default We have successfully verified PrimePi(1e28)

I am happy to announce that David and myself have successfully verified PrimePi(1e28) = 157589269275973410412739598. This time the computation took only 12.8 CPU core years (only physical CPU cores are counted). Hence the verification run took only half as much time as our first run and also only half as much time as our PrimePi(1e27) computation from 2015! The reason for this new speedup is that the verification run was computed entirely on new AMD EPYC servers (2nd Gen, codename "Rome") with much more memory.

Because I know that many people in this forum are hardware enthusiasts (just like myself), here are some more details about the server that I have used for PrimePi(1e28):

Computing new prime counting function records takes a long time. Up until 2019 I rented servers on AWS, however this became increasingly expensive as AWS kept on increasing prices over the past few years. Currently the spot price for an 48 core (96 threads) Intel server on AWS is about 0.94$ per hour, hence the cost per month is about 700$. For this reason I decided to buy a server myself at the beginning of 2020 for running primecount 24/7. I wanted to buy a dual socket AMD EPYC server because of its large number of CPU cores and memory channels. After evaluating the PROs and CONs of the different CPU models I picked the AMD EPYC 7642 with 48 cores and 96 threads. My idea was to initially buy only 1 CPU and then jointly compute PrimePi(1e28) with David and if that computation succeeds I would buy a 2nd AMD EYPC CPU along with more memory for computing PrimePi(1e29).

I also bought the pre-assembled "A+ Server AS-4023S-TRT" server tower from Supermicro (see attached screenshot), this way I only needed to install the CPU, memory and hard-disk. However once it was up and running there were two problems : the cooling was insufficient, the airflow inside this case is pretty bad as the case is narrow and contains a lot of pieces that block the air flow. The second issue was the noise level, it was incredibly loud. The server is located in my flat's basement and I measured a noise level of up to 70 decibel inside the room and up to 50 decibel outside the room. By Luxemburgish law the maximum allowed noise level is 40 decibel outside the room.

I tried a lot of stuff to reduce the noise level (e.g. noise dampening panels) but with little success. Eventually I realized that the tiny 80mm fans of my server that were spinning extremely fast (up to 9000 rpm) were the root cause of the high noise level. So in order to make progress and significantly reduce the noise level I bought the "Fractal Design Define 7 XL" gaming PC case (see screenshots) which allowed me to install many large fans that are spinning more slowly (~ 1600 rpm). With this new case the cooling and noise issues are now fixed, the noise level is now around 35 decibel outside of my basement. Another issue I had was that my memory (512 GiB ECC DDR4 3200 MHz) was running much hotter than I have ever seen on my desktop PCs. The memory reached up to 70 degree Celsius, this was even hotter than my CPU! For about 20$ I ended up buying a cheap memory cooler: the "Corsair Vengeance Airflow Memory" (see screenshots). It works great, it reduces my RAM temps by about 15C.

I had a lot of fun building my own tiny little data center and I have learnt a lot about servers, network devices, cooling, sensors, ... The server has now been running 24/7 for months without a single issue. The thing I probably like most about my server is that I have configured it like a cloud server: it has no graphics card, there is no monitor and keyboard attached to it. Instead I have installed Ubuntu server and sshd (OpenSSH server) on it. This allows me to conveniently connect to my server from my laptop using ssh even when I am on holiday.
Attached Thumbnails
Click image for larger version

Name:	Supermicro Server Tower.jpg
Views:	400
Size:	428.7 KB
ID:	23648   Click image for larger version

Name:	Fractal Design Define 7 XL.jpg
Views:	398
Size:	392.2 KB
ID:	23649   Click image for larger version

Name:	Corsair Memory Cooling.jpg
Views:	379
Size:	14.7 KB
ID:	23650   Click image for larger version

Name:	Cooling system.png
Views:	373
Size:	306.2 KB
ID:	23652   Click image for larger version

Name:	IPMI Server sensors.jpg
Views:	378
Size:	340.8 KB
ID:	23653  

Last fiddled with by kwalisch on 2020-10-27 at 16:51
kwalisch is offline   Reply With Quote
Old 2020-10-27, 17:19   #48
firejuggler's Avatar
Apr 2010
Over the rainbow

2×1,429 Posts

Can we ask you how much did that server cost you? around 12 to 15 k? $ £ €
firejuggler is offline   Reply With Quote
Old 2020-10-28, 07:54   #49
kwalisch's Avatar
Sep 2015

3·7 Posts

Originally Posted by firejuggler View Post
Can we ask you how much did that server cost you? around 12 to 15 k? $ £ €
That's actually a very good guess!

I paid:

AMD EPYC 7642: 5500 EUR
512 GiB DDR4 ECC 3200 MHz: 3100 EUR
Supermicro A+ Server AS-4023S-TRT: 1800 EUR
Fractal Design Define 7 XL: 200 EUR
1000 Watt Corsair AX1000 (80+Titanium) Modular: 230 EUR
Other parts (NVMe, heat-sink, fans, ...): 2000 EUR

Total: 12,830 EUR = 15,139$

With the knowledge that I have today I could have built the same system 3000$ cheaper. I wasted a lot of money on fans e.g. first I bought a lot of new Supermicro fans but they did not fix my cooling issue. Then I bought the new PC case along with high quality BeQuiet! fans. However these fans were not powerful enough and did not work well with my Supermicro mainboard. So in the end I had to replace them all with Noctua industrial fans that are far more powerful while still being relatively quiet.
kwalisch is offline   Reply With Quote
Old 2020-11-06, 22:02   #50
dbaugh's Avatar
Aug 2005

12110 Posts

Using Kim Walisch's primecount program, here is an additional power of two:

π(291) = 39895115987049029184882256
dbaugh is offline   Reply With Quote
Old 2020-12-16, 07:24   #51
dbaugh's Avatar
Aug 2005

112 Posts

Using Kim Walisch's primecount program, here is an additional power of two:

π(292) = 78908656317357166866404346
dbaugh is offline   Reply With Quote

Thread Tools

Similar Threads
Thread Thread Starter Forum Replies Last Post
New confirmed pi(10^27),... pi(10^29) prime counting function records kwalisch Computer Science & Computational Number Theory 42 2022-08-12 10:48
Counting Goldbach Prime Pairs Up To... Steve One Miscellaneous Math 8 2018-03-06 19:20
Prime counting function Steve One Miscellaneous Math 20 2018-03-03 22:44
Fourier Series for Prime Number Counting Functions SteveC Analysis & Analytic Number Theory 10 2016-10-14 21:48
Legendre's prime counting function pbewig Information & Answers 0 2011-07-14 00:47

All times are UTC. The time now is 13:00.

Sun Oct 2 13:00:16 UTC 2022 up 45 days, 10:28, 0 users, load averages: 1.33, 1.36, 1.33

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔