Result ID: 136185443

Workunit ID:	106218403
Result name:	sf7_DS-16x12-11_Grp1112456of3125000_299965936_0
Priority:	8000
Created:	21 Feb 2026, 03:34:16
Sent:	21 Feb 2026, 03:34:21
Received:	21 Feb 2026, 12:58:08
Report deadline:	26 Feb 2026, 03:34:16
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 93462,  owner: Sununico,  team: Team China
Validate state:	Valid.
CPU/Device time:	16,568.00 sec
Claimed credit:	308.23
Granted credit:	4,623.43
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]~, [-500, -10]~, [200, 40]~, [100, 10]~, [400, -28]~], [[0, 0]~, [400, 20]~, [-200, -20]~, [-50, -20]~, [400, 32]~], [[0, 0]~, [350, -30]~, [300, 20]~, [-75, -30]~, [-500, 12]~], [[0, 0]~, [150, -40]~, [300, 40]~, [-125, -25]~, [-300, 12]~], [[0, 0]~, [0, 20]~, [0, 20]~, [-500, -15]~, [-400, -28]~], [[0, 0]~, [400, -20]~, [-400, -20]~, [-100, -10]~, [-400, -28]~], [[0, 0]~, [150, 0]~, [-
stderr_txt:	Boinc Manager 8.2.8 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1112456of3125000_299965936_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. Doing Cvec 2. Doing Cvec 3. Doing Cvec 4. Doing Cvec 5. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1112456of3125000_299965936_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = -26. N2 Start = 58. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = -5. m2 Start = 12. Poly Count value = 126996480. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3607 (sec). 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 5. Doing Cvec 6. Doing Cvec 7. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1112456of3125000_299965936_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 6. N1 Start = 7. N2 Start = 56. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -1. m1 Start = 3. m2 Start = 17. Poly Count value = 261918720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7213 (sec). 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 7. Doing Cvec 8. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1112456of3125000_299965936_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = -35. N2 Start = 42. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = 3. m2 Start = -28. Poly Count value = 367851520. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 10822 (sec). 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 8. Doing Cvec 9. Doing Cvec 10. Doing Cvec 11. Doing Cvec 12. Doing Cvec 13. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1112456of3125000_299965936_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 12. N1 Start = -14. N2 Start = 30. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -4. m1 Start = -12. m2 Start = -12. Poly Count value = 479733760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 14431 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000