| Name | RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_-64_00744_0 |
| Workunit | 33604494 |
| 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.18 MB |
| Peak swap size | 2.04 MB |
| Peak disk usage | 93.42 MB |
<core_client_version>8.2.4</core_client_version> <![CDATA[ <message> aborted by user</message> <stderr_txt> 16:12:24 (37428): wrapper (7.7.26016): starting 16:12:24 (37428): wrapper: running RamanujanMachine.exe (0001.json) 02:06:33 (2056): Can't acquire lockfile (32) - waiting 35s 02:07:08 (2056): Can't acquire lockfile (32) - exiting 02:07:08 (2056): Error: The process cannot access the file because it is being used by another process. (0x20) 02:22:08 (29872): Can't acquire lockfile (32) - waiting 35s 02:22:43 (29872): Can't acquire lockfile (32) - exiting 02:22:43 (29872): Error: The process cannot access the file because it is being used by another process. (0x20) 02:34:03 (26180): Can't acquire lockfile (32) - waiting 35s 02:34:38 (26180): Can't acquire lockfile (32) - exiting 02:34:38 (26180): Error: The process cannot access the file because it is being used by another process. (0x20) 02:38:52 (6872): Can't acquire lockfile (32) - waiting 35s 02:39:27 (6872): Can't acquire lockfile (32) - exiting 02:39:27 (6872): Error: The process cannot access the file because it is being used by another process. (0x20) 02:51:50 (23280): Can't acquire lockfile (32) - waiting 35s 02:52:25 (23280): Can't acquire lockfile (32) - exiting 02:52:25 (23280): Error: The process cannot access the file because it is being used by another process. (0x20) 03:05:59 (29464): Can't acquire lockfile (32) - waiting 35s 03:06:34 (29464): Can't acquire lockfile (32) - exiting 03:06:34 (29464): Error: The process cannot access the file because it is being used by another process. (0x20) 03:38:00 (25772): Can't acquire lockfile (32) - waiting 35s 03:38:35 (25772): Can't acquire lockfile (32) - exiting 03:38:35 (25772): Error: The process cannot access the file because it is being used by another process. (0x20) 03:50:28 (36064): Can't acquire lockfile (32) - waiting 35s 03:51:03 (36064): Can't acquire lockfile (32) - exiting 03:51:03 (36064): Error: The process cannot access the file because it is being used by another process. (0x20) 04:32:56 (30224): Can't acquire lockfile (32) - waiting 35s 04:33:31 (30224): Can't acquire lockfile (32) - exiting 04:33:31 (30224): Error: The process cannot access the file because it is being used by another process. (0x20) 05:05:10 (28308): Can't acquire lockfile (32) - waiting 35s 05:05:45 (28308): Can't acquire lockfile (32) - exiting 05:05:45 (28308): Error: The process cannot access the file because it is being used by another process. (0x20) 05:18:48 (37748): Can't acquire lockfile (32) - waiting 35s 05:19:23 (37748): Can't acquire lockfile (32) - exiting 05:19:23 (37748): Error: The process cannot access the file because it is being used by another process. (0x20) 05:46:19 (29628): Can't acquire lockfile (32) - waiting 35s 05:46:54 (29628): Can't acquire lockfile (32) - exiting 05:46:54 (29628): Error: The process cannot access the file because it is being used by another process. (0x20) 05:56:58 (14320): Can't acquire lockfile (32) - waiting 35s 05:57:33 (14320): Can't acquire lockfile (32) - exiting 05:57:33 (14320): Error: The process cannot access the file because it is being used by another process. (0x20) 06:07:36 (20652): Can't acquire lockfile (32) - waiting 35s 06:08:11 (20652): Can't acquire lockfile (32) - exiting 06:08:11 (20652): Error: The process cannot access the file because it is being used by another process. (0x20) 06:18:15 (12844): Can't acquire lockfile (32) - waiting 35s 06:18:50 (12844): Can't acquire lockfile (32) - exiting 06:18:50 (12844): Error: The process cannot access the file because it is being used by another process. (0x20) 06:28:57 (33396): Can't acquire lockfile (32) - waiting 35s 06:29:32 (33396): Can't acquire lockfile (32) - exiting 06:29:32 (33396): Error: The process cannot access the file because it is being used by another process. (0x20) 06:39:36 (33552): Can't acquire lockfile (32) - waiting 35s 06:40:11 (33552): Can't acquire lockfile (32) - exiting 06:40:11 (33552): Error: The process cannot access the file because it is being used by another process. (0x20) 06:50:15 (13024): Can't acquire lockfile (32) - waiting 35s 06:50:50 (13024): Can't acquire lockfile (32) - exiting 06:50:50 (13024): Error: The process cannot access the file because it is being used by another process. (0x20) 07:00:54 (28400): Can't acquire lockfile (32) - waiting 35s 07:01:29 (28400): Can't acquire lockfile (32) - exiting 07:01:29 (28400): Error: The process cannot access the file because it is being used by another process. (0x20) 07:11:33 (18280): Can't acquire lockfile (32) - waiting 35s 07:12:08 (18280): Can't acquire lockfile (32) - exiting 07:12:08 (18280): Error: The process cannot access the file because it is being used by another process. (0x20) 07:22:13 (31012): Can't acquire lockfile (32) - waiting 35s 07:22:48 (31012): Can't acquire lockfile (32) - exiting 07:22:48 (31012): Error: The process cannot access the file because it is being used by another process. (0x20) 07:32:53 (24716): Can't acquire lockfile (32) - waiting 35s 07:33:28 (24716): Can't acquire lockfile (32) - exiting 07:33:28 (24716): Error: The process cannot access the file because it is being used by another process. (0x20) 07:43:30 (34204): Can't acquire lockfile (32) - waiting 35s 07:44:05 (34204): Can't acquire lockfile (32) - exiting 07:44:05 (34204): Error: The process cannot access the file because it is being used by another process. (0x20) 07:54:10 (33476): Can't acquire lockfile (32) - waiting 35s 07:54:45 (33476): Can't acquire lockfile (32) - exiting 07:54:45 (33476): Error: The process cannot access the file because it is being used by another process. (0x20) 08:04:56 (23932): Can't acquire lockfile (32) - waiting 35s 08:05:31 (23932): Can't acquire lockfile (32) - exiting 08:05:31 (23932): Error: The process cannot access the file because it is being used by another process. (0x20) 08:15:34 (8324): Can't acquire lockfile (32) - waiting 35s 08:16:09 (8324): Can't acquire lockfile (32) - exiting 08:16:09 (8324): Error: The process cannot access the file because it is being used by another process. (0x20) 08:26:12 (28876): Can't acquire lockfile (32) - waiting 35s 08:26:47 (28876): Can't acquire lockfile (32) - exiting 08:26:47 (28876): Error: The process cannot access the file because it is being used by another process. (0x20) 08:36:50 (14412): Can't acquire lockfile (32) - waiting 35s 08:37:25 (14412): Can't acquire lockfile (32) - exiting 08:37:25 (14412): Error: The process cannot access the file because it is being used by another process. (0x20) 08:47:39 (5140): Can't acquire lockfile (32) - waiting 35s 08:48:14 (5140): Can't acquire lockfile (32) - exiting 08:48:14 (5140): Error: The process cannot access the file because it is being used by another process. (0x20) 08:58:38 (28268): Can't acquire lockfile (32) - waiting 35s 08:59:13 (28268): Can't acquire lockfile (32) - exiting 08:59:13 (28268): Error: The process cannot access the file because it is being used by another process. (0x20) 09:09:22 (33044): Can't acquire lockfile (32) - waiting 35s 09:09:57 (33044): Can't acquire lockfile (32) - exiting 09:09:57 (33044): Error: The process cannot access the file because it is being used by another process. (0x20) 09:20:27 (36376): Can't acquire lockfile (32) - waiting 35s 09:21:02 (36376): Can't acquire lockfile (32) - exiting 09:21:02 (36376): Error: The process cannot access the file because it is being used by another process. (0x20) 09:31:18 (38540): Can't acquire lockfile (32) - waiting 35s 09:31:53 (38540): Can't acquire lockfile (32) - exiting 09:31:53 (38540): Error: The process cannot access the file because it is being used by another process. (0x20) 09:42:23 (25620): Can't acquire lockfile (32) - waiting 35s 09:42:58 (25620): Can't acquire lockfile (32) - exiting 09:42:58 (25620): Error: The process cannot access the file because it is being used by another process. (0x20) 09:53:03 (38428): Can't acquire lockfile (32) - waiting 35s 09:53:38 (38428): Can't acquire lockfile (32) - exiting 09:53:38 (38428): Error: The process cannot access the file because it is being used by another process. (0x20) 10:03:58 (36420): Can't acquire lockfile (32) - waiting 35s 10:04:33 (36420): Can't acquire lockfile (32) - exiting 10:04:33 (36420): Error: The process cannot access the file because it is being used by another process. (0x20) 11:19:01 (35728): Can't acquire lockfile (32) - waiting 35s 11:19:36 (35728): Can't acquire lockfile (32) - exiting 11:19:36 (35728): Error: The process cannot access the file because it is being used by another process. (0x20) 12:22:11 (26752): Can't acquire lockfile (32) - waiting 35s 12:22:46 (26752): Can't acquire lockfile (32) - exiting 12:22:46 (26752): Error: The process cannot access the file because it is being used by another process. (0x20) 12:38:14 (35000): Can't acquire lockfile (32) - waiting 35s 12:38:49 (35000): Can't acquire lockfile (32) - exiting 12:38:49 (35000): Error: The process cannot access the file because it is being used by another process. (0x20) 13:34:19 (11232): Can't acquire lockfile (32) - waiting 35s 13:34:54 (11232): Can't acquire lockfile (32) - exiting 13:34:54 (11232): Error: The process cannot access the file because it is being used by another process. (0x20) 13:52:59 (8636): Can't acquire lockfile (32) - waiting 35s 13:53:34 (8636): Can't acquire lockfile (32) - exiting 13:53:34 (8636): Error: The process cannot access the file because it is being used by another process. (0x20) 14:40:45 (24316): Can't acquire lockfile (32) - waiting 35s 14:41:20 (24316): Can't acquire lockfile (32) - exiting 14:41:20 (24316): Error: The process cannot access the file because it is being used by another process. (0x20) 14:51:23 (25248): Can't acquire lockfile (32) - waiting 35s 14:51:58 (25248): Can't acquire lockfile (32) - exiting 14:51:58 (25248): Error: The process cannot access the file because it is being used by another process. (0x20) 15:02:18 (5948): Can't acquire lockfile (32) - waiting 35s 15:02:53 (5948): Can't acquire lockfile (32) - exiting 15:02:53 (5948): Error: The process cannot access the file because it is being used by another process. (0x20) 15:13:02 (22452): Can't acquire lockfile (32) - waiting 35s 15:13:37 (22452): Can't acquire lockfile (32) - exiting 15:13:37 (22452): Error: The process cannot access the file because it is being used by another process. (0x20) 15:23:41 (30620): Can't acquire lockfile (32) - waiting 35s 15:24:16 (30620): Can't acquire lockfile (32) - exiting 15:24:16 (30620): Error: The process cannot access the file because it is being used by another process. (0x20) 15:34:18 (40336): Can't acquire lockfile (32) - waiting 35s 15:34:53 (40336): Can't acquire lockfile (32) - exiting 15:34:53 (40336): Error: The process cannot access the file because it is being used by another process. (0x20) 15:44:55 (15584): Can't acquire lockfile (32) - waiting 35s 15:45:30 (15584): Can't acquire lockfile (32) - exiting 15:45:30 (15584): Error: The process cannot access the file because it is being used by another process. (0x20) 15:55:47 (22980): Can't acquire lockfile (32) - waiting 35s 15:56:22 (22980): Can't acquire lockfile (32) - exiting 15:56:22 (22980): Error: The process cannot access the file because it is being used by another process. (0x20) 16:32:01 (41024): Can't acquire lockfile (32) - waiting 35s 16:32:36 (41024): Can't acquire lockfile (32) - exiting 16:32:36 (41024): Error: The process cannot access the file because it is being used by another process. (0x20) 18:43:24 (40492): Can't acquire lockfile (32) - waiting 35s 18:43:59 (40492): Can't acquire lockfile (32) - exiting 18:43:59 (40492): Error: The process cannot access the file because it is being used by another process. (0x20) 18:54:06 (31652): Can't acquire lockfile (32) - waiting 35s 18:54:41 (31652): Can't acquire lockfile (32) - exiting 18:54:41 (31652): Error: The process cannot access the file because it is being used by another process. (0x20) 21:28:44 (23992): Can't acquire lockfile (32) - waiting 35s 21:29:19 (23992): Can't acquire lockfile (32) - exiting 21:29:19 (23992): Error: The process cannot access the file because it is being used by another process. (0x20) 22:26:09 (6604): Can't acquire lockfile (32) - waiting 35s 22:26:44 (6604): Can't acquire lockfile (32) - exiting 22:26:44 (6604): Error: The process cannot access the file because it is being used by another process. (0x20) 23:41:13 (35244): Can't acquire lockfile (32) - waiting 35s 23:41:48 (35244): Can't acquire lockfile (32) - exiting 23:41:48 (35244): Error: The process cannot access the file because it is being used by another process. (0x20) 23:47:50 (5040): Can't acquire lockfile (32) - waiting 35s 23:48:25 (5040): Can't acquire lockfile (32) - exiting 23:48:25 (5040): Error: The process cannot access the file because it is being used by another process. (0x20) 23:59:10 (22592): Can't acquire lockfile (32) - waiting 35s 23:59:45 (22592): Can't acquire lockfile (32) - exiting 23:59:45 (22592): Error: The process cannot access the file because it is being used by another process. (0x20) 00:10:01 (27720): Can't acquire lockfile (32) - waiting 35s 00:10:36 (27720): Can't acquire lockfile (32) - exiting 00:10:36 (27720): Error: The process cannot access the file because it is being used by another process. (0x20) 00:21:15 (31704): Can't acquire lockfile (32) - waiting 35s 00:21:50 (31704): Can't acquire lockfile (32) - exiting 00:21:50 (31704): Error: The process cannot access the file because it is being used by another process. (0x20) 00:33:04 (644): Can't acquire lockfile (32) - waiting 35s 00:33:39 (644): Can't acquire lockfile (32) - exiting 00:33:39 (644): Error: The process cannot access the file because it is being used by another process. (0x20) 00:48:23 (42948): Can't acquire lockfile (32) - waiting 35s 00:48:58 (42948): Can't acquire lockfile (32) - exiting 00:48:58 (42948): Error: The process cannot access the file because it is being used by another process. (0x20) 01:06:07 (40172): Can't acquire lockfile (32) - waiting 35s 01:06:42 (40172): Can't acquire lockfile (32) - exiting 01:06:42 (40172): Error: The process cannot access the file because it is being used by another process. (0x20) 01:16:45 (26384): Can't acquire lockfile (32) - waiting 35s 01:17:20 (26384): Can't acquire lockfile (32) - exiting 01:17:20 (26384): Error: The process cannot access the file because it is being used by another process. (0x20) 01:27:30 (22068): Can't acquire lockfile (32) - waiting 35s 01:28:05 (22068): Can't acquire lockfile (32) - exiting 01:28:05 (22068): Error: The process cannot access the file because it is being used by another process. (0x20) 01:38:22 (24408): Can't acquire lockfile (32) - waiting 35s 01:38:57 (24408): Can't acquire lockfile (32) - exiting 01:38:57 (24408): Error: The process cannot access the file because it is being used by another process. (0x20) 01:50:09 (42420): Can't acquire lockfile (32) - waiting 35s 01:50:44 (42420): Can't acquire lockfile (32) - exiting 01:50:44 (42420): Error: The process cannot access the file because it is being used by another process. (0x20) 02:01:10 (15172): Can't acquire lockfile (32) - waiting 35s 02:01:45 (15172): Can't acquire lockfile (32) - exiting 02:01:45 (15172): Error: The process cannot access the file because it is being used by another process. (0x20) 02:12:01 (36584): Can't acquire lockfile (32) - waiting 35s 02:12:36 (36584): Can't acquire lockfile (32) - exiting 02:12:36 (36584): Error: The process cannot access the file because it is being used by another process. (0x20) 02:23:09 (36764): Can't acquire lockfile (32) - waiting 35s 02:23:44 (36764): Can't acquire lockfile (32) - exiting 02:23:44 (36764): Error: The process cannot access the file because it is being used by another process. (0x20) 02:34:36 (43972): Can't acquire lockfile (32) - waiting 35s 02:35:11 (43972): Can't acquire lockfile (32) - exiting 02:35:11 (43972): Error: The process cannot access the file because it is being used by another process. (0x20) 02:45:34 (9500): Can't acquire lockfile (32) - waiting 35s 02:46:09 (9500): Can't acquire lockfile (32) - exiting 02:46:09 (9500): Error: The process cannot access the file because it is being used by another process. (0x20) 02:56:56 (25108): Can't acquire lockfile (32) - waiting 35s 02:57:31 (25108): Can't acquire lockfile (32) - exiting 02:57:31 (25108): Error: The process cannot access the file because it is being used by another process. (0x20) 03:07:48 (44180): Can't acquire lockfile (32) - waiting 35s 03:08:23 (44180): Can't acquire lockfile (32) - exiting 03:08:23 (44180): Error: The process cannot access the file because it is being used by another process. (0x20) 03:19:01 (34572): Can't acquire lockfile (32) - waiting 35s 03:19:36 (34572): Can't acquire lockfile (32) - exiting 03:19:36 (34572): Error: The process cannot access the file because it is being used by another process. (0x20) 03:30:48 (20592): Can't acquire lockfile (32) - waiting 35s 03:31:23 (20592): Can't acquire lockfile (32) - exiting 03:31:23 (20592): Error: The process cannot access the file because it is being used by another process. (0x20) 03:41:40 (34144): Can't acquire lockfile (32) - waiting 35s 03:42:15 (34144): Can't acquire lockfile (32) - exiting 03:42:15 (34144): Error: The process cannot access the file because it is being used by another process. (0x20) 03:52:35 (42408): Can't acquire lockfile (32) - waiting 35s 03:53:10 (42408): Can't acquire lockfile (32) - exiting 03:53:10 (42408): Error: The process cannot access the file because it is being used by another process. (0x20) 04:03:18 (43484): Can't acquire lockfile (32) - waiting 35s 04:03:53 (43484): Can't acquire lockfile (32) - exiting 04:03:53 (43484): Error: The process cannot access the file because it is being used by another process. (0x20) 04:17:33 (40716): Can't acquire lockfile (32) - waiting 35s 04:18:08 (40716): Can't acquire lockfile (32) - exiting 04:18:08 (40716): Error: The process cannot access the file because it is being used by another process. (0x20) 04:37:12 (44932): Can't acquire lockfile (32) - waiting 35s 04:37:47 (44932): Can't acquire lockfile (32) - exiting 04:37:47 (44932): Error: The process cannot access the file because it is being used by another process. (0x20) 04:50:00 (44220): Can't acquire lockfile (32) - waiting 35s 04:50:35 (44220): Can't acquire lockfile (32) - exiting 04:50:35 (44220): Error: The process cannot access the file because it is being used by another process. (0x20) 05:00:53 (43468): Can't acquire lockfile (32) - waiting 35s 05:01:28 (43468): Can't acquire lockfile (32) - exiting 05:01:28 (43468): Error: The process cannot access the file because it is being used by another process. (0x20) 05:12:52 (16488): Can't acquire lockfile (32) - waiting 35s 05:13:27 (16488): Can't acquire lockfile (32) - exiting 05:13:27 (16488): Error: The process cannot access the file because it is being used by another process. (0x20) 05:26:57 (44004): Can't acquire lockfile (32) - waiting 35s 05:27:32 (44004): Can't acquire lockfile (32) - exiting 05:27:32 (44004): Error: The process cannot access the file because it is being used by another process. (0x20) 05:41:17 (27624): Can't acquire lockfile (32) - waiting 35s 05:41:52 (27624): Can't acquire lockfile (32) - exiting 05:41:52 (27624): Error: The process cannot access the file because it is being used by another process. (0x20) 06:15:55 (30312): Can't acquire lockfile (32) - waiting 35s 06:16:30 (30312): Can't acquire lockfile (32) - exiting 06:16:30 (30312): Error: The process cannot access the file because it is being used by another process. (0x20) 06:38:23 (13264): Can't acquire lockfile (32) - waiting 35s 06:38:58 (13264): Can't acquire lockfile (32) - exiting 06:38:58 (13264): Error: The process cannot access the file because it is being used by another process. (0x20) 07:16:18 (26004): Can't acquire lockfile (32) - waiting 35s 07:16:53 (26004): Can't acquire lockfile (32) - exiting 07:16:53 (26004): Error: The process cannot access the file because it is being used by another process. (0x20) 07:29:40 (39492): Can't acquire lockfile (32) - waiting 35s 07:30:15 (39492): Can't acquire lockfile (32) - exiting 07:30:15 (39492): Error: The process cannot access the file because it is being used by another process. (0x20) 07:51:30 (8144): Can't acquire lockfile (32) - waiting 35s 07:52:05 (8144): Can't acquire lockfile (32) - exiting 07:52:05 (8144): Error: The process cannot access the file because it is being used by another process. (0x20) 08:04:00 (43900): Can't acquire lockfile (32) - waiting 35s 08:04:35 (43900): Can't acquire lockfile (32) - exiting 08:04:35 (43900): Error: The process cannot access the file because it is being used by another process. (0x20) 08:29:55 (18988): Can't acquire lockfile (32) - waiting 35s 08:30:30 (18988): Can't acquire lockfile (32) - exiting 08:30:30 (18988): Error: The process cannot access the file because it is being used by another process. (0x20) 08:49:57 (41488): Can't acquire lockfile (32) - waiting 35s 08:50:32 (41488): Can't acquire lockfile (32) - exiting 08:50:32 (41488): Error: The process cannot access the file because it is being used by another process. (0x20) 09:02:59 (40916): Can't acquire lockfile (32) - waiting 35s 09:03:34 (40916): Can't acquire lockfile (32) - exiting 09:03:34 (40916): Error: The process cannot access the file because it is being used by another process. (0x20) 09:15:06 (41752): Can't acquire lockfile (32) - waiting 35s 09:15:41 (41752): Can't acquire lockfile (32) - exiting 09:15:41 (41752): Error: The process cannot access the file because it is being used by another process. (0x20) 09:25:51 (1088): Can't acquire lockfile (32) - waiting 35s 09:26:26 (1088): Can't acquire lockfile (32) - exiting 09:26:26 (1088): Error: The process cannot access the file because it is being used by another process. (0x20) 09:36:41 (6616): Can't acquire lockfile (32) - waiting 35s 09:37:16 (6616): Can't acquire lockfile (32) - exiting 09:37:16 (6616): Error: The process cannot access the file because it is being used by another process. (0x20) 09:47:23 (39556): Can't acquire lockfile (32) - waiting 35s 09:47:58 (39556): Can't acquire lockfile (32) - exiting 09:47:58 (39556): Error: The process cannot access the file because it is being used by another process. (0x20) 09:58:03 (39556): Can't acquire lockfile (32) - waiting 35s 09:58:38 (39556): Can't acquire lockfile (32) - exiting 09:58:38 (39556): Error: The process cannot access the file because it is being used by another process. (0x20) 10:08:48 (45192): Can't acquire lockfile (32) - waiting 35s 10:09:23 (45192): Can't acquire lockfile (32) - exiting 10:09:23 (45192): Error: The process cannot access the file because it is being used by another process. (0x20) 10:19:29 (45072): Can't acquire lockfile (32) - waiting 35s 10:20:04 (45072): Can't acquire lockfile (32) - exiting 10:20:04 (45072): Error: The process cannot access the file because it is being used by another process. (0x20) 10:30:06 (42236): Can't acquire lockfile (32) - waiting 35s 10:30:42 (42236): Can't acquire lockfile (32) - exiting 10:30:42 (42236): Error: The process cannot access the file because it is being used by another process. (0x20) 10:40:45 (45868): Can't acquire lockfile (32) - waiting 35s 10:41:20 (45868): Can't acquire lockfile (32) - exiting 10:41:20 (45868): Error: The process cannot access the file because it is being used by another process. (0x20) 10:51:38 (33816): Can't acquire lockfile (32) - waiting 35s 10:52:13 (33816): Can't acquire lockfile (32) - exiting 10:52:13 (33816): Error: The process cannot access the file because it is being used by another process. (0x20) 11:02:29 (2304): Can't acquire lockfile (32) - waiting 35s 11:03:04 (2304): Can't acquire lockfile (32) - exiting 11:03:04 (2304): Error: The process cannot access the file because it is being used by another process. (0x20) 11:13:37 (13872): Can't acquire lockfile (32) - waiting 35s 11:14:12 (13872): Can't acquire lockfile (32) - exiting 11:14:12 (13872): Error: The process cannot access the file because it is being used by another process. (0x20) 11:24:21 (31448): Can't acquire lockfile (32) - waiting 35s 11:24:56 (31448): Can't acquire lockfile (32) - exiting 11:24:56 (31448): Error: The process cannot access the file because it is being used by another process. (0x20) 11:34:58 (42296): Can't acquire lockfile (32) - waiting 35s 11:35:33 (42296): Can't acquire lockfile (32) - exiting 11:35:33 (42296): Error: The process cannot access the file because it is being used by another process. (0x20) 11:46:17 (23316): Can't acquire lockfile (32) - waiting 35s 11:46:52 (23316): Can't acquire lockfile (32) - exiting 11:46:52 (23316): Error: The process cannot access the file because it is being used by another process. (0x20) 12:02:34 (24528): Can't acquire lockfile (32) - waiting 35s 12:03:09 (24528): Can't acquire lockfile (32) - exiting 12:03:09 (24528): Error: The process cannot access the file because it is being used by another process. (0x20) 12:19:58 (35756): Can't acquire lockfile (32) - waiting 35s 12:20:33 (35756): Can't acquire lockfile (32) - exiting 12:20:33 (35756): Error: The process cannot access the file because it is being used by another process. (0x20) 12:30:36 (35168): Can't acquire lockfile (32) - waiting 35s 12:31:11 (35168): Can't acquire lockfile (32) - exiting 12:31:11 (35168): Error: The process cannot access the file because it is being used by another process. (0x20) 12:41:15 (31424): Can't acquire lockfile (32) - waiting 35s 12:41:50 (31424): Can't acquire lockfile (32) - exiting 12:41:50 (31424): Error: The process cannot access the file because it is being used by another process. (0x20) 12:51:59 (45548): Can't acquire lockfile (32) - waiting 35s 12:52:34 (45548): Can't acquire lockfile (32) - exiting 12:52:34 (45548): Error: The process cannot access the file because it is being used by another process. (0x20) 13:02:58 (27808): Can't acquire lockfile (32) - waiting 35s 13:03:33 (27808): Can't acquire lockfile (32) - exiting 13:03:33 (27808): Error: The process cannot access the file because it is being used by another process. (0x20) 13:13:38 (12092): Can't acquire lockfile (32) - waiting 35s 13:14:13 (12092): Can't acquire lockfile (32) - exiting 13:14:13 (12092): Error: The process cannot access the file because it is being used by another process. (0x20) </stderr_txt> ]]>
©2025 The Ramanujan Machine Project Team