Task 63371841

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_123_58098_1
Workunit 30622079
Created 18 Jun 2025, 5:32:03 UTC
Sent 18 Jun 2025, 7:00:55 UTC
Report deadline 23 Jun 2025, 7:00:54 UTC
Received 20 Jun 2025, 8:54:32 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 9788
Run time 2 sec
CPU time
Validate state Valid
Credit 0.07
Device peak FLOPS 7.52 GFLOPS
Application version Ramanujan Machine New Key v1.11
windows_x86_64
Peak working set size 7.50 MB
Peak swap size 2.14 MB
Peak disk usage 93.39 MB

Stderr output

<core_client_version>8.2.4</core_client_version>
<![CDATA[
<stderr_txt>
01:13:50 (9388): wrapper (7.7.26016): starting
01:13:50 (9388): wrapper: running RamanujanMachine.exe (0001.json)
02:04:53 (11880): wrapper (7.7.26016): starting
02:04:53 (11880): wrapper: running RamanujanMachine.exe (0001.json)
checking for FR enumerator
using relative enumerator
starting preliminary search...
that took 2926.1908259391785s
calculating intermediate results to a higher precision...
Running PSLQ
that took 0.06280517578125s
s.

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

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

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

 (0x20)
02:53:41 (11880): RamanujanMachine.exe exited; CPU time 1585.812500
02:53:41 (11880): called boinc_finish(0)
02:54:47 (17244): wrapper (7.7.26016): starting
02:54:47 (17244): called boinc_finish(0)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team