Task 69564045

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_-64_00161_1
Workunit 33604502
Created 8 Oct 2025, 15:23:26 UTC
Sent 8 Oct 2025, 19:36:21 UTC
Report deadline 13 Oct 2025, 19:36:20 UTC
Received 10 Oct 2025, 17:19:09 UTC
Server state Over
Outcome Computation error
Client state Aborted by user
Exit status 203 (0x000000CB) EXIT_ABORTED_VIA_GUI
Computer ID 27466
Run time 34 sec
CPU time
Validate state Invalid
Credit 0.00
Device peak FLOPS 6.00 GFLOPS
Application version Ramanujan Machine New Key v1.11
windows_x86_64
Peak working set size 7.19 MB
Peak swap size 2.06 MB
Peak disk usage 93.41 MB

Stderr output

<core_client_version>8.2.4</core_client_version>
<![CDATA[
<message>
aborted by user</message>
<stderr_txt>
16:14:14 (30472): wrapper (7.7.26016): starting
16:14:14 (30472): wrapper: running RamanujanMachine.exe (0001.json)
02:06:50 (38260): Can't acquire lockfile (32) - waiting 35s
02:07:25 (38260): Can't acquire lockfile (32) - exiting
02:07:25 (38260): Error: The process cannot access the file because it is being used by another process.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 (0x20)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team