Task 64895750

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_105_29300_1
Workunit 31346394
Created 21 Jul 2025, 11:20:04 UTC
Sent 21 Jul 2025, 18:25:56 UTC
Report deadline 26 Jul 2025, 18:25:55 UTC
Received 21 Jul 2025, 20:16:01 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 13966
Run time 1 sec
CPU time
Validate state Valid
Credit 0.06
Device peak FLOPS 6.83 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:26:01 (3052): wrapper (7.7.26016): starting
14:26:01 (3052): wrapper: running RamanujanMachine.exe (0001.json)
checking for FR enumerator
using relative enumerator
starting preliminary search...
that took 6257.548773765564s
calculating intermediate results to a higher precision...
Running PSLQ
that took 0.05500006675720215s


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

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

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

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

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

 (0x20)
16:10:23 (3052): RamanujanMachine.exe exited; CPU time 1898.562500
16:10:23 (3052): called boinc_finish(0)
16:15:51 (7696): wrapper (7.7.26016): starting
16:15:51 (7696): called boinc_finish(0)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team