| Name | wu_sf6_DS-16x10_Grp10327841of20000000_0 |
| Workunit | 270738439 |
| Created | 28 May 2026, 19:46:53 UTC |
| Sent | 4 Jun 2026, 17:31:33 UTC |
| Report deadline | 11 Jun 2026, 17:31:33 UTC |
| Received | 9 Jun 2026, 22:01:35 UTC |
| Server state | Over |
| Outcome | Computation error |
| Client state | Compute error |
| Exit status | -226 (0xFFFFFF1E) ERR_TOO_MANY_EXITS |
| Computer ID | 2814546 |
| Run time | 34 sec |
| CPU time | |
| Validate state | Invalid |
| Credit | 0.00 |
| Device peak FLOPS | 9.33 GFLOPS |
| Application version | Get Decic Fields v4.02 (opencl_intel_gpu) windows_x86_64 |
| Peak working set size | 22.49 MB |
| Peak swap size | 1.73 MB |
| Peak disk usage | 0.13 MB |
<core_client_version>8.2.9</core_client_version> <![CDATA[ <message> too many boinc_temporary_exit()s</message> <stderr_txt> GPU Summary String = [INTEL|Intel(R)HDGraphics4000|1|1348MB||102]. Loading GPU lookup table from file. GPU was not found in the lookup table. Using default values: numBlocks = 1024. threadsPerBlock = 32. polyBufferSize = 32768. 16:30:22 (7032): Can't acquire lockfile (32) - waiting 35s 16:30:57 (7032): Can't acquire lockfile (32) - exiting 16:30:57 (7032): Error: The process cannot access the file because it is being used by another process. (0x20) 16:31:58 (6780): Can't acquire lockfile (32) - waiting 35s 16:32:33 (6780): Can't acquire lockfile (32) - exiting 16:32:33 (6780): Error: The process cannot access the file because it is being used by another process. (0x20) 02:57:11 (10932): Can't acquire lockfile (32) - waiting 35s 02:57:46 (10932): Can't acquire lockfile (32) - exiting 02:57:46 (10932): Error: The process cannot access the file because it is being used by another process. (0x20) 08:05:33 (6884): Can't acquire lockfile (32) - waiting 35s 08:06:08 (6884): Can't acquire lockfile (32) - exiting 08:06:08 (6884): Error: The process cannot access the file because it is being used by another process. (0x20) 13:55:37 (2736): Can't acquire lockfile (32) - waiting 35s 13:56:12 (2736): Can't acquire lockfile (32) - exiting 13:56:12 (2736): Error: The process cannot access the file because it is being used by another process. (0x20) 22:38:19 (10992): Can't acquire lockfile (32) - waiting 35s 22:38:54 (10992): Can't acquire lockfile (32) - exiting 22:38:54 (10992): Error: The process cannot access the file because it is being used by another process. (0x20) 00:23:53 (2612): Can't acquire lockfile (32) - waiting 35s 00:24:28 (2612): Can't acquire lockfile (32) - exiting 00:24:28 (2612): Error: The process cannot access the file because it is being used by another process. (0x20) 00:34:36 (11328): Can't acquire lockfile (32) - waiting 35s 00:35:11 (11328): Can't acquire lockfile (32) - exiting 00:35:11 (11328): Error: The process cannot access the file because it is being used by another process. (0x20) 00:45:18 (6200): Can't acquire lockfile (32) - waiting 35s 00:45:53 (6200): Can't acquire lockfile (32) - exiting 00:45:53 (6200): Error: The process cannot access the file because it is being used by another process. (0x20) 00:56:16 (9392): Can't acquire lockfile (32) - waiting 35s 00:56:51 (9392): Can't acquire lockfile (32) - exiting 00:56:51 (9392): Error: The process cannot access the file because it is being used by another process. (0x20) 01:06:57 (2472): Can't acquire lockfile (32) - waiting 35s 01:07:32 (2472): Can't acquire lockfile (32) - exiting 01:07:32 (2472): Error: The process cannot access the file because it is being used by another process. (0x20) 01:09:56 (1464): Can't acquire lockfile (32) - waiting 35s 01:10:31 (1464): Can't acquire lockfile (32) - exiting 01:10:31 (1464): Error: The process cannot access the file because it is being used by another process. (0x20) 01:20:41 (5496): Can't acquire lockfile (32) - waiting 35s 01:21:16 (5496): Can't acquire lockfile (32) - exiting 01:21:16 (5496): Error: The process cannot access the file because it is being used by another process. (0x20) 01:31:24 (10268): Can't acquire lockfile (32) - waiting 35s 01:31:59 (10268): Can't acquire lockfile (32) - exiting 01:31:59 (10268): Error: The process cannot access the file because it is being used by another process. (0x20) 01:42:07 (12888): Can't acquire lockfile (32) - waiting 35s 01:42:42 (12888): Can't acquire lockfile (32) - exiting 01:42:42 (12888): Error: The process cannot access the file because it is being used by another process. (0x20) 01:45:40 (5132): Can't acquire lockfile (32) - waiting 35s 01:46:15 (5132): Can't acquire lockfile (32) - exiting 01:46:15 (5132): Error: The process cannot access the file because it is being used by another process. (0x20) 01:56:37 (6104): Can't acquire lockfile (32) - waiting 35s 01:57:12 (6104): Can't acquire lockfile (32) - exiting 01:57:12 (6104): Error: The process cannot access the file because it is being used by another process. (0x20) 02:07:20 (1492): Can't acquire lockfile (32) - waiting 35s 02:07:55 (1492): Can't acquire lockfile (32) - exiting 02:07:55 (1492): Error: The process cannot access the file because it is being used by another process. (0x20) 02:18:08 (7028): Can't acquire lockfile (32) - waiting 35s 02:18:43 (7028): Can't acquire lockfile (32) - exiting 02:18:43 (7028): Error: The process cannot access the file because it is being used by another process. (0x20) 02:28:50 (3208): Can't acquire lockfile (32) - waiting 35s 02:29:25 (3208): Can't acquire lockfile (32) - exiting 02:29:25 (3208): Error: The process cannot access the file because it is being used by another process. (0x20) 02:32:06 (3644): Can't acquire lockfile (32) - waiting 35s 02:32:41 (3644): Can't acquire lockfile (32) - exiting 02:32:41 (3644): Error: The process cannot access the file because it is being used by another process. (0x20) 02:43:15 (7400): Can't acquire lockfile (32) - waiting 35s 02:43:50 (7400): Can't acquire lockfile (32) - exiting 02:43:50 (7400): Error: The process cannot access the file because it is being used by another process. (0x20) 02:54:09 (1988): Can't acquire lockfile (32) - waiting 35s 02:54:44 (1988): Can't acquire lockfile (32) - exiting 02:54:44 (1988): Error: The process cannot access the file because it is being used by another process. (0x20) 03:04:46 (4592): Can't acquire lockfile (32) - waiting 35s 03:05:21 (4592): Can't acquire lockfile (32) - exiting 03:05:21 (4592): Error: The process cannot access the file because it is being used by another process. (0x20) 03:08:33 (12396): Can't acquire lockfile (32) - waiting 35s 03:09:08 (12396): Can't acquire lockfile (32) - exiting 03:09:08 (12396): Error: The process cannot access the file because it is being used by another process. (0x20) 03:19:21 (3588): Can't acquire lockfile (32) - waiting 35s 03:19:56 (3588): Can't acquire lockfile (32) - exiting 03:19:56 (3588): Error: The process cannot access the file because it is being used by another process. (0x20) 03:30:04 (3448): Can't acquire lockfile (32) - waiting 35s 03:30:39 (3448): Can't acquire lockfile (32) - exiting 03:30:39 (3448): Error: The process cannot access the file because it is being used by another process. (0x20) 03:40:55 (8340): Can't acquire lockfile (32) - waiting 35s 03:41:30 (8340): Can't acquire lockfile (32) - exiting 03:41:30 (8340): Error: The process cannot access the file because it is being used by another process. (0x20) 03:51:39 (7376): Can't acquire lockfile (32) - waiting 35s 03:52:14 (7376): Can't acquire lockfile (32) - exiting 03:52:14 (7376): Error: The process cannot access the file because it is being used by another process. (0x20) 03:54:13 (11904): Can't acquire lockfile (32) - waiting 35s 03:54:48 (11904): Can't acquire lockfile (32) - exiting 03:54:48 (11904): Error: The process cannot access the file because it is being used by another process. (0x20) 04:05:18 (2808): Can't acquire lockfile (32) - waiting 35s 04:05:53 (2808): Can't acquire lockfile (32) - exiting 04:05:53 (2808): Error: The process cannot access the file because it is being used by another process. (0x20) 04:16:00 (1864): Can't acquire lockfile (32) - waiting 35s 04:16:35 (1864): Can't acquire lockfile (32) - exiting 04:16:35 (1864): Error: The process cannot access the file because it is being used by another process. (0x20) 04:26:43 (6428): Can't acquire lockfile (32) - waiting 35s 04:27:18 (6428): Can't acquire lockfile (32) - exiting 04:27:18 (6428): Error: The process cannot access the file because it is being used by another process. (0x20) 04:37:40 (12920): Can't acquire lockfile (32) - waiting 35s 04:38:15 (12920): Can't acquire lockfile (32) - exiting 04:38:15 (12920): Error: The process cannot access the file because it is being used by another process. (0x20) 04:40:33 (4728): Can't acquire lockfile (32) - waiting 35s 04:41:09 (4728): Can't acquire lockfile (32) - exiting 04:41:09 (4728): Error: The process cannot access the file because it is being used by another process. (0x20) 04:51:17 (7220): Can't acquire lockfile (32) - waiting 35s 04:51:52 (7220): Can't acquire lockfile (32) - exiting 04:51:52 (7220): Error: The process cannot access the file because it is being used by another process. (0x20) 05:02:22 (1388): Can't acquire lockfile (32) - waiting 35s 05:02:57 (1388): Can't acquire lockfile (32) - exiting 05:02:57 (1388): Error: The process cannot access the file because it is being used by another process. (0x20) 05:13:05 (1688): Can't acquire lockfile (32) - waiting 35s 05:13:40 (1688): Can't acquire lockfile (32) - exiting 05:13:40 (1688): Error: The process cannot access the file because it is being used by another process. (0x20) 05:16:46 (4360): Can't acquire lockfile (32) - waiting 35s 05:17:21 (4360): Can't acquire lockfile (32) - exiting 05:17:21 (4360): Error: The process cannot access the file because it is being used by another process. (0x20) 05:27:26 (8264): Can't acquire lockfile (32) - waiting 35s 05:28:01 (8264): Can't acquire lockfile (32) - exiting 05:28:01 (8264): Error: The process cannot access the file because it is being used by another process. (0x20) 05:38:52 (12748): Can't acquire lockfile (32) - waiting 35s 05:39:27 (12748): Can't acquire lockfile (32) - exiting 05:39:27 (12748): Error: The process cannot access the file because it is being used by another process. (0x20) 05:49:35 (12332): Can't acquire lockfile (32) - waiting 35s 05:50:10 (12332): Can't acquire lockfile (32) - exiting 05:50:10 (12332): Error: The process cannot access the file because it is being used by another process. (0x20) 05:53:15 (8780): Can't acquire lockfile (32) - waiting 35s 05:53:50 (8780): Can't acquire lockfile (32) - exiting 05:53:50 (8780): Error: The process cannot access the file because it is being used by another process. (0x20) 06:03:53 (12300): Can't acquire lockfile (32) - waiting 35s 06:04:28 (12300): Can't acquire lockfile (32) - exiting 06:04:28 (12300): Error: The process cannot access the file because it is being used by another process. (0x20) 06:14:36 (8160): Can't acquire lockfile (32) - waiting 35s 06:15:11 (8160): Can't acquire lockfile (32) - exiting 06:15:11 (8160): Error: The process cannot access the file because it is being used by another process. (0x20) 06:25:23 (12020): Can't acquire lockfile (32) - waiting 35s 06:25:58 (12020): Can't acquire lockfile (32) - exiting 06:25:58 (12020): Error: The process cannot access the file because it is being used by another process. (0x20) 06:29:34 (9964): Can't acquire lockfile (32) - waiting 35s 06:30:09 (9964): Can't acquire lockfile (32) - exiting 06:30:09 (9964): Error: The process cannot access the file because it is being used by another process. (0x20) 06:40:17 (6940): Can't acquire lockfile (32) - waiting 35s 06:40:52 (6940): Can't acquire lockfile (32) - exiting 06:40:52 (6940): Error: The process cannot access the file because it is being used by another process. (0x20) 06:51:00 (2348): Can't acquire lockfile (32) - waiting 35s 06:51:35 (2348): Can't acquire lockfile (32) - exiting 06:51:35 (2348): Error: The process cannot access the file because it is being used by another process. (0x20) 07:02:11 (6356): Can't acquire lockfile (32) - waiting 35s 07:02:46 (6356): Can't acquire lockfile (32) - exiting 07:02:46 (6356): Error: The process cannot access the file because it is being used by another process. (0x20) 07:05:56 (12472): Can't acquire lockfile (32) - waiting 35s 07:06:31 (12472): Can't acquire lockfile (32) - exiting 07:06:31 (12472): Error: The process cannot access the file because it is being used by another process. (0x20) 07:16:39 (12500): Can't acquire lockfile (32) - waiting 35s 07:17:14 (12500): Can't acquire lockfile (32) - exiting 07:17:14 (12500): Error: The process cannot access the file because it is being used by another process. (0x20) 07:27:21 (8384): Can't acquire lockfile (32) - waiting 35s 07:27:56 (8384): Can't acquire lockfile (32) - exiting 07:27:56 (8384): Error: The process cannot access the file because it is being used by another process. (0x20) 07:38:03 (12784): Can't acquire lockfile (32) - waiting 35s 07:38:38 (12784): Can't acquire lockfile (32) - exiting 07:38:38 (12784): Error: The process cannot access the file because it is being used by another process. (0x20) 07:42:09 (5968): Can't acquire lockfile (32) - waiting 35s 07:42:44 (5968): Can't acquire lockfile (32) - exiting 07:42:44 (5968): Error: The process cannot access the file because it is being used by another process. (0x20) 07:52:51 (7348): Can't acquire lockfile (32) - waiting 35s 07:53:26 (7348): Can't acquire lockfile (32) - exiting 07:53:26 (7348): Error: The process cannot access the file because it is being used by another process. (0x20) 08:03:38 (1372): Can't acquire lockfile (32) - waiting 35s 08:04:13 (1372): Can't acquire lockfile (32) - exiting 08:04:13 (1372): Error: The process cannot access the file because it is being used by another process. (0x20) 08:14:36 (7356): Can't acquire lockfile (32) - waiting 35s 08:15:11 (7356): Can't acquire lockfile (32) - exiting 08:15:11 (7356): Error: The process cannot access the file because it is being used by another process. (0x20) 08:18:57 (1448): Can't acquire lockfile (32) - waiting 35s 08:19:32 (1448): Can't acquire lockfile (32) - exiting 08:19:32 (1448): Error: The process cannot access the file because it is being used by another process. (0x20) 08:29:39 (5976): Can't acquire lockfile (32) - waiting 35s 08:30:14 (5976): Can't acquire lockfile (32) - exiting 08:30:14 (5976): Error: The process cannot access the file because it is being used by another process. (0x20) 08:40:23 (9436): Can't acquire lockfile (32) - waiting 35s 08:40:58 (9436): Can't acquire lockfile (32) - exiting 08:40:58 (9436): Error: The process cannot access the file because it is being used by another process. (0x20) 08:51:06 (9096): Can't acquire lockfile (32) - waiting 35s 08:51:41 (9096): Can't acquire lockfile (32) - exiting 08:51:41 (9096): Error: The process cannot access the file because it is being used by another process. (0x20) 09:01:50 (10648): Can't acquire lockfile (32) - waiting 35s 09:02:25 (10648): Can't acquire lockfile (32) - exiting 09:02:25 (10648): Error: The process cannot access the file because it is being used by another process. (0x20) 09:05:14 (4412): Can't acquire lockfile (32) - waiting 35s 09:05:49 (4412): Can't acquire lockfile (32) - exiting 09:05:49 (4412): Error: The process cannot access the file because it is being used by another process. (0x20) 09:16:02 (2392): Can't acquire lockfile (32) - waiting 35s 09:16:37 (2392): Can't acquire lockfile (32) - exiting 09:16:37 (2392): Error: The process cannot access the file because it is being used by another process. (0x20) 09:26:52 (4320): Can't acquire lockfile (32) - waiting 35s 09:27:27 (4320): Can't acquire lockfile (32) - exiting 09:27:27 (4320): Error: The process cannot access the file because it is being used by another process. (0x20) 09:37:35 (9524): Can't acquire lockfile (32) - waiting 35s 09:38:10 (9524): Can't acquire lockfile (32) - exiting 09:38:10 (9524): Error: The process cannot access the file because it is being used by another process. (0x20) 09:41:47 (12952): Can't acquire lockfile (32) - waiting 35s 09:42:22 (12952): Can't acquire lockfile (32) - exiting 09:42:22 (12952): Error: The process cannot access the file because it is being used by another process. (0x20) 09:52:31 (2456): Can't acquire lockfile (32) - waiting 35s 09:53:06 (2456): Can't acquire lockfile (32) - exiting 09:53:06 (2456): Error: The process cannot access the file because it is being used by another process. (0x20) 10:03:09 (12560): Can't acquire lockfile (32) - waiting 35s 10:03:44 (12560): Can't acquire lockfile (32) - exiting 10:03:44 (12560): Error: The process cannot access the file because it is being used by another process. (0x20) 10:13:52 (2728): Can't acquire lockfile (32) - waiting 35s 10:14:27 (2728): Can't acquire lockfile (32) - exiting 10:14:27 (2728): Error: The process cannot access the file because it is being used by another process. (0x20) 10:17:36 (10880): Can't acquire lockfile (32) - waiting 35s 10:18:11 (10880): Can't acquire lockfile (32) - exiting 10:18:11 (10880): Error: The process cannot access the file because it is being used by another process. (0x20) 10:28:28 (8100): Can't acquire lockfile (32) - waiting 35s 10:29:03 (8100): Can't acquire lockfile (32) - exiting 10:29:03 (8100): Error: The process cannot access the file because it is being used by another process. (0x20) 10:39:11 (5312): Can't acquire lockfile (32) - waiting 35s 10:39:46 (5312): Can't acquire lockfile (32) - exiting 10:39:46 (5312): Error: The process cannot access the file because it is being used by another process. (0x20) 10:49:55 (4736): Can't acquire lockfile (32) - waiting 35s 10:50:30 (4736): Can't acquire lockfile (32) - exiting 10:50:30 (4736): Error: The process cannot access the file because it is being used by another process. (0x20) 10:54:53 (7372): Can't acquire lockfile (32) - waiting 35s 10:55:28 (7372): Can't acquire lockfile (32) - exiting 10:55:28 (7372): Error: The process cannot access the file because it is being used by another process. (0x20) 11:05:49 (9660): Can't acquire lockfile (32) - waiting 35s 11:06:24 (9660): Can't acquire lockfile (32) - exiting 11:06:24 (9660): Error: The process cannot access the file because it is being used by another process. (0x20) 11:16:32 (6388): Can't acquire lockfile (32) - waiting 35s 11:17:07 (6388): Can't acquire lockfile (32) - exiting 11:17:07 (6388): Error: The process cannot access the file because it is being used by another process. (0x20) 11:27:21 (3664): Can't acquire lockfile (32) - waiting 35s 11:27:57 (3664): Can't acquire lockfile (32) - exiting 11:27:57 (3664): Error: The process cannot access the file because it is being used by another process. (0x20) 11:31:19 (5556): Can't acquire lockfile (32) - waiting 35s 11:31:54 (5556): Can't acquire lockfile (32) - exiting 11:31:54 (5556): Error: The process cannot access the file because it is being used by another process. (0x20) 11:42:02 (3248): Can't acquire lockfile (32) - waiting 35s 11:42:37 (3248): Can't acquire lockfile (32) - exiting 11:42:37 (3248): Error: The process cannot access the file because it is being used by another process. (0x20) 11:52:45 (11388): Can't acquire lockfile (32) - waiting 35s 11:53:20 (11388): Can't acquire lockfile (32) - exiting 11:53:20 (11388): Error: The process cannot access the file because it is being used by another process. (0x20) 12:03:58 (4068): Can't acquire lockfile (32) - waiting 35s 12:04:33 (4068): Can't acquire lockfile (32) - exiting 12:04:33 (4068): Error: The process cannot access the file because it is being used by another process. (0x20) 12:08:32 (764): Can't acquire lockfile (32) - waiting 35s 12:09:07 (764): Can't acquire lockfile (32) - exiting 12:09:07 (764): Error: The process cannot access the file because it is being used by another process. (0x20) 12:19:15 (9420): Can't acquire lockfile (32) - waiting 35s 12:19:50 (9420): Can't acquire lockfile (32) - exiting 12:19:50 (9420): Error: The process cannot access the file because it is being used by another process. (0x20) 12:29:56 (1984): Can't acquire lockfile (32) - waiting 35s 12:30:31 (1984): Can't acquire lockfile (32) - exiting 12:30:31 (1984): Error: The process cannot access the file because it is being used by another process. (0x20) 12:40:37 (4088): Can't acquire lockfile (32) - waiting 35s 12:41:12 (4088): Can't acquire lockfile (32) - exiting 12:41:12 (4088): Error: The process cannot access the file because it is being used by another process. (0x20) 12:45:05 (12784): Can't acquire lockfile (32) - waiting 35s 12:45:40 (12784): Can't acquire lockfile (32) - exiting 12:45:40 (12784): Error: The process cannot access the file because it is being used by another process. (0x20) 12:55:47 (7064): Can't acquire lockfile (32) - waiting 35s 12:56:22 (7064): Can't acquire lockfile (32) - exiting 12:56:22 (7064): Error: The process cannot access the file because it is being used by another process. (0x20) 13:06:43 (4996): Can't acquire lockfile (32) - waiting 35s 13:07:18 (4996): Can't acquire lockfile (32) - exiting 13:07:18 (4996): Error: The process cannot access the file because it is being used by another process. (0x20) 13:17:26 (12152): Can't acquire lockfile (32) - waiting 35s 13:18:01 (12152): Can't acquire lockfile (32) - exiting 13:18:01 (12152): Error: The process cannot access the file because it is being used by another process. (0x20) 13:21:54 (8656): Can't acquire lockfile (32) - waiting 35s 13:22:29 (8656): Can't acquire lockfile (32) - exiting 13:22:29 (8656): Error: The process cannot access the file because it is being used by another process. (0x20) 13:32:56 (9372): Can't acquire lockfile (32) - waiting 35s 13:33:31 (9372): Can't acquire lockfile (32) - exiting 13:33:31 (9372): Error: The process cannot access the file because it is being used by another process. (0x20) 13:44:29 (7748): Can't acquire lockfile (32) - waiting 35s 13:45:04 (7748): Can't acquire lockfile (32) - exiting 13:45:04 (7748): Error: The process cannot access the file because it is being used by another process. (0x20) 13:55:15 (6792): Can't acquire lockfile (32) - waiting 35s 13:55:50 (6792): Can't acquire lockfile (32) - exiting 13:55:50 (6792): Error: The process cannot access the file because it is being used by another process. (0x20) 13:57:47 (12812): Can't acquire lockfile (32) - waiting 35s 13:58:22 (12812): Can't acquire lockfile (32) - exiting 13:58:22 (12812): Error: The process cannot access the file because it is being used by another process. (0x20) 14:08:29 (6664): Can't acquire lockfile (32) - waiting 35s 14:09:04 (6664): Can't acquire lockfile (32) - exiting 14:09:04 (6664): Error: The process cannot access the file because it is being used by another process. (0x20) 14:19:12 (10976): Can't acquire lockfile (32) - waiting 35s 14:19:47 (10976): Can't acquire lockfile (32) - exiting 14:19:47 (10976): Error: The process cannot access the file because it is being used by another process. (0x20) 14:29:55 (13244): Can't acquire lockfile (32) - waiting 35s 14:30:30 (13244): Can't acquire lockfile (32) - exiting 14:30:30 (13244): Error: The process cannot access the file because it is being used by another process. (0x20) 14:33:42 (13056): Can't acquire lockfile (32) - waiting 35s 14:34:17 (13056): Can't acquire lockfile (32) - exiting 14:34:17 (13056): Error: The process cannot access the file because it is being used by another process. (0x20) 14:44:28 (12696): Can't acquire lockfile (32) - waiting 35s 14:45:03 (12696): Can't acquire lockfile (32) - exiting 14:45:03 (12696): Error: The process cannot access the file because it is being used by another process. (0x20) 14:55:39 (7872): Can't acquire lockfile (32) - waiting 35s 14:56:14 (7872): Can't acquire lockfile (32) - exiting 14:56:14 (7872): Error: The process cannot access the file because it is being used by another process. (0x20) </stderr_txt> ]]>