| 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 |
<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