Task 67284643

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_100_51054_0
Workunit 32500868
Created 9 Sep 2025, 13:44:01 UTC
Sent 9 Sep 2025, 17:19:36 UTC
Report deadline 14 Sep 2025, 17:19:35 UTC
Received 9 Sep 2025, 23:48:22 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 23782
Run time 2 sec
CPU time
Validate state Initial
Credit 0.00
Device peak FLOPS 6.44 GFLOPS
Application version Ramanujan Machine New Key v1.11
windows_x86_64
Peak working set size 7.13 MB
Peak swap size 1.91 MB
Peak disk usage 93.39 MB

Stderr output

<core_client_version>8.2.4</core_client_version>
<![CDATA[
<stderr_txt>
14:38:00 (50896): wrapper (7.7.26016): starting
14:38:00 (50896): wrapper: running RamanujanMachine.exe (0001.json)
checking for FR enumerator
using relative enumerator
starting preliminary search...
that took 10629.695362567902s
calculating intermediate results to a higher precision...
Running PSLQ
that took 0.3431708812713623s


 (0x20)
15:54:51 (21992): Can't acquire lockfile (32) - waiting 35s
15:55:26 (21992): Can't acquire lockfile (32) - exiting
15:55:26 (21992): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:43:57 (50408): Can't acquire lockfile (32) - waiting 35s
16:44:32 (50408): Can't acquire lockfile (32) - exiting
16:44:32 (50408): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:56:49 (54748): Can't acquire lockfile (32) - waiting 35s
16:57:24 (54748): Can't acquire lockfile (32) - exiting
16:57:24 (54748): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:10:25 (45468): Can't acquire lockfile (32) - waiting 35s
17:11:00 (45468): Can't acquire lockfile (32) - exiting
17:11:00 (45468): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:22:17 (43676): Can't acquire lockfile (32) - waiting 35s
17:22:52 (43676): Can't acquire lockfile (32) - exiting
17:22:52 (43676): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:35:28 (50896): RamanujanMachine.exe exited; CPU time 5255.859375
17:35:28 (50896): called boinc_finish(0)
17:52:01 (46860): wrapper (7.7.26016): starting
17:52:01 (46860): called boinc_finish(0)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team