Result ID: 136857435

Workunit ID:	106852464
Result name:	sf7_DS-16x12-11_Grp2843670of3125000_452058687_0
Priority:	9000
Created:	08 May 2026, 07:51:32
Sent:	08 May 2026, 07:51:50
Received:	08 May 2026, 10:00:55
Report deadline:	13 May 2026, 07:51:32
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 94522,  owner: vaughan,  team: BOINC@AUSTRALIA
Validate state:	Valid.
CPU/Device time:	103.00 sec
Claimed credit:	2.62
Granted credit:	39.37
Application:	"Get Decic Fields", version: 400, platform: Windows_x86_64, plan_class: cpu.
data_in:	x^2 + 10 [2, 5] [[[5, [0, 1]~, 2, 1, [0, -10; 1, 0]], 5; [2, [0, 1]~, 2, 1, [0, -10; 1, 0]], 5], 3200000000000000, [[0, 0]~, [0, -20]~, [-200, -40]~, [-350, -15]~, [200, -48]~], [[0, 0]~, [200, -40]~, [0, 20]~, [-500, -20]~, [400, -48]~], [[0, 0]~, [-300, 40]~, [-400, 20]~, [300, 10]~, [400, 32]~], [[0, 0]~, [-400, -10]~, [200, -20]~, [150, 15]~, [400, -28]~], [[0, 0]~, [450, 20]~, [-300, -20]~, [-175, 5]~, [-300, -48]~], [[0, 0]~, [150, -30]~, [100, -40]~, [-175, 40]~, [-300, -8]~], [[0, 0]~, [-150, 40]~,
stderr_txt:	Boinc Manager 8.0.2 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp2843670of3125000_452058687_0.wu_checkpoint. Checkpoint Flag = 0. Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 1. 17:56:19 (25964): Can't acquire lockfile (32) - waiting 35s 17:56:54 (25964): Can't acquire lockfile (32) - exiting 17:56:54 (25964): Error: The process cannot access the file because it is being used by another process. (0x20) 18:10:01 (24708): Can't acquire lockfile (32) - waiting 35s 18:10:36 (24708): Can't acquire lockfile (32) - exiting 18:10:36 (24708): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 2. Doing Cvec 3. Doing Cvec 4. Doing Cvec 5. Doing Cvec 6. 18:20:39 (22992): Can't acquire lockfile (32) - waiting 35s 18:21:14 (22992): Can't acquire lockfile (32) - exiting 18:21:14 (22992): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 7. Doing Cvec 8. 18:31:16 (25744): Can't acquire lockfile (32) - waiting 35s 18:31:51 (25744): Can't acquire lockfile (32) - exiting 18:31:51 (25744): Error: The process cannot access the file because it is being used by another process. (0x20) 18:42:40 (25560): Can't acquire lockfile (32) - waiting 35s 18:43:15 (25560): Can't acquire lockfile (32) - exiting 18:43:15 (25560): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 9. 18:53:27 (12232): Can't acquire lockfile (32) - waiting 35s 18:54:03 (12232): Can't acquire lockfile (32) - exiting 18:54:03 (12232): Error: The process cannot access the file because it is being used by another process. (0x20) 19:04:45 (24548): Can't acquire lockfile (32) - waiting 35s 19:05:20 (24548): Can't acquire lockfile (32) - exiting 19:05:20 (24548): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 10. Doing Cvec 11. 19:15:39 (18772): Can't acquire lockfile (32) - waiting 35s 19:16:14 (18772): Can't acquire lockfile (32) - exiting 19:16:14 (18772): Error: The process cannot access the file because it is being used by another process. (0x20) 19:26:25 (9784): Can't acquire lockfile (32) - waiting 35s 19:27:00 (9784): Can't acquire lockfile (32) - exiting 19:27:00 (9784): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 12. 19:37:20 (5984): Can't acquire lockfile (32) - waiting 35s 19:37:55 (5984): Can't acquire lockfile (32) - exiting 19:37:55 (5984): Error: The process cannot access the file because it is being used by another process. (0x20) Doing Cvec 13. Doing Cvec 14. Doing Cvec 15. Doing Cvec 16. 19:48:01 (22616): Can't acquire lockfile (32) - waiting 35s 19:48:36 (22616): Can't acquire lockfile (32) - exiting 19:48:36 (22616): Error: The process cannot access the file because it is being used by another process. (0x20) The search has finished. 19:50:00 (14552): called boinc_finish(0) numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp2843670of3125000_452058687_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -9. N2 Start = 54. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 5. m2 Start = 16. Poly Count value = 1117337600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6800 (sec). Reading file i