Name | RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_-97_23627_1 |
Workunit | 31883257 |
Created | 15 Aug 2025, 9:00:00 UTC |
Sent | 15 Aug 2025, 17:18:19 UTC |
Report deadline | 20 Aug 2025, 17:18:18 UTC |
Received | 18 Aug 2025, 17:05:30 UTC |
Server state | Over |
Outcome | Success |
Client state | Done |
Exit status | 0 (0x00000000) |
Computer ID | 21268 |
Run time | 37 min 25 sec |
CPU time | 32 min 23 sec |
Validate state | Valid |
Credit | 4.54 |
Device peak FLOPS | 4.14 GFLOPS |
Application version | Ramanujan Machine New Key v1.11 windows_x86_64 |
Peak working set size | 88.77 MB |
Peak swap size | 173.74 MB |
Peak disk usage | 93.39 MB |
<core_client_version>7.14.2</core_client_version> <![CDATA[ <stderr_txt> 22:18:05 (10556): wrapper (7.7.26016): starting 22:18:05 (10556): wrapper: running RamanujanMachine.exe (0001.json) Matplotlib is building the font cache; this may take a moment. 15:47:53 (15236): wrapper (7.7.26016): starting 15:47:53 (15236): wrapper: running RamanujanMachine.exe (0001.json) 16:00:53 (11056): wrapper (7.7.26016): starting 16:00:53 (11056): wrapper: running RamanujanMachine.exe (0001.json) Matplotlib is building the font cache; this may take a moment. 22:07:20 (7172): wrapper (7.7.26016): starting 22:07:20 (7172): wrapper: running RamanujanMachine.exe (0001.json) Matplotlib is building the font cache; this may take a moment. 22:20:47 (10824): wrapper (7.7.26016): starting 22:20:48 (10824): wrapper: running RamanujanMachine.exe (0001.json) 21:18:18 (7220): wrapper (7.7.26016): starting 21:18:19 (7220): wrapper: running RamanujanMachine.exe (0001.json) Matplotlib is building the font cache; this may take a moment. checking for FR enumerator using relative enumerator starting preliminary search... that took 2766.9278180599213s calculating intermediate results to a higher precision... Running PSLQ that took 0.07361268997192383s 22:04:45 (7220): RamanujanMachine.exe exited; CPU time 1943.546875 22:04:45 (7220): called boinc_finish(0) </stderr_txt> ]]>
©2025 The Ramanujan Machine Project Team