Task 69564075

Name RNM_deg6_bn_first_two_facts_b-1_-10_a2_-150_-64_06765_1
Workunit 33604517
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.04 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:10:17 (31820): wrapper (7.7.26016): starting
16:10:18 (31820): wrapper: running RamanujanMachine.exe (0001.json)
02:06:28 (34944): Can't acquire lockfile (32) - waiting 35s
02:07:03 (34944): Can't acquire lockfile (32) - exiting
02:07:03 (34944): Error: The process cannot access the file because it is being used by another process.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 (0x20)

</stderr_txt>
]]>


©2025 The Ramanujan Machine Project Team