Task 66852916

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_110_43703_1
Workunit 32291637
Created 2 Sep 2025, 3:13:17 UTC
Sent 2 Sep 2025, 6:09:30 UTC
Report deadline 7 Sep 2025, 6:09:29 UTC
Received 4 Sep 2025, 13:14:02 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 27466
Run time 1 hours 37 min 9 sec
CPU time 1 hours 37 min 9 sec
Validate state Valid
Credit 44.93
Device peak FLOPS 6.02 GFLOPS
Application version Ramanujan Machine New Key v1.11
windows_x86_64
Peak working set size 90.95 MB
Peak swap size 752.50 MB
Peak disk usage 93.40 MB

Stderr output

<core_client_version>8.2.4</core_client_version>
<![CDATA[
<stderr_txt>
02:09:53 (5800): wrapper (7.7.26016): starting
02:09:53 (5800): wrapper: running RamanujanMachine.exe (0001.json)
06:40:58 (8628): Can't acquire lockfile (32) - waiting 35s
06:41:33 (8628): Can't acquire lockfile (32) - exiting
06:41:33 (8628): Error: The process cannot access the file because it is being used by another process.

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

 (0x20)
06:47:20 (7848): Can't acquire lockfile (32) - waiting 35s
06:47:55 (7848): Can't acquire lockfile (32) - exiting
06:47:55 (7848): Error: The process cannot access the file because it is being used by another process.

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

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

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

 (0x20)
09:12:28 (26672): Can't acquire lockfile (32) - waiting 35s
09:13:03 (26672): Can't acquire lockfile (32) - exiting
09:13:03 (26672): Error: The process cannot access the file because it is being used by another process.

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

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

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

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

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

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

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

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

 (0x20)
10:45:06 (25472): Can't acquire lockfile (32) - waiting 35s
10:45:41 (25472): Can't acquire lockfile (32) - exiting
10:45:41 (25472): Error: The process cannot access the file because it is being used by another process.

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

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

 (0x20)
11:55:32 (25532): Can't acquire lockfile (32) - waiting 35s
11:56:07 (25532): Can't acquire lockfile (32) - exiting
11:56:07 (25532): Error: The process cannot access the file because it is being used by another process.

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

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

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

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

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

 (0x20)
14:42:12 (13172): Can't acquire lockfile (32) - waiting 35s
14:42:47 (13172): Can't acquire lockfile (32) - exiting
14:42:47 (13172): Error: The process cannot access the file because it is being used by another process.

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

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

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

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

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

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

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

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

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

 (0x20)
18:33:37 (15336): wrapper (7.7.26016): starting
18:33:37 (15336): wrapper: running RamanujanMachine.exe (0001.json)
checking for FR enumerator
using relative enumerator
starting preliminary search...
that took 138762.52821278572s
calculating intermediate results to a higher precision...
Running PSLQ
that took 0.14943242073059082s
09:06:28 (15336): RamanujanMachine.exe exited; CPU time 5829.750000
09:06:28 (15336): called boinc_finish(0)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team