Task 67284508

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_100_55314_1
Workunit 32500800
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 12 sec
CPU time
Validate state Valid
Credit 0.36
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.90 MB
Peak disk usage 93.39 MB

Stderr output

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


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

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

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

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

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

 (0x20)
17:35:54 (25168): RamanujanMachine.exe exited; CPU time 5267.984375
17:35:54 (25168): called boinc_finish(0)
17:53:53 (19432): wrapper (7.7.26016): starting
17:53:58 (19432): called boinc_finish(0)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team