Result ID: 136168007

Workunit ID:	106103450
Result name:	sf7_DS-16x12-11_Grp1097503of3125000_331034810_0
Priority:	9000
Created:	20 Feb 2026, 08:23:35
Sent:	20 Feb 2026, 08:23:38
Received:	20 Feb 2026, 17:51:08
Report deadline:	25 Feb 2026, 08:23:35
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 93460,  owner: Sununico,  team: Team China
Validate state:	Valid.
CPU/Device time:	8,302.00 sec
Claimed credit:	144.66
Granted credit:	2,169.83
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]~, [200, -40]~, [-200, -20]~, [400, -35]~, [200, -28]~], [[0, 0]~, [0, -30]~, [400, 0]~, [-200, -40]~, [0, -8]~], [[0, 0]~, [-300, -20]~, [200, -40]~, [400, 10]~, [-400, 12]~], [[0, 0]~, [400, -30]~, [0, 0]~, [300, 40]~, [-400, -8]~], [[0, 0]~, [-200, -10]~, [-200, 20]~, [150, -15]~, [-200, 12]~], [[0, 0]~, [450, -40]~, [300, -40]~, [375, -30]~, [-500, 32]~], [[0, 0]~, [0, 0]~, [400, 20]
stderr_txt:	Boinc Manager 8.2.8 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1097503of3125000_331034810_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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1097503of3125000_331034810_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -16. N2 Start = 3. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -1. m1 Start = 3. m2 Start = 8. Poly Count value = 4485120. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 60 (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 2. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1097503of3125000_331034810_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 19. N2 Start = 5. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -1. m1 Start = -7. m2 Start = -37. Poly Count value = 9881600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 120 (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 2. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1097503of3125000_331034810_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 4. N2 Start = 8. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -2. m1 Start = 9. m2 Start = 21. Poly Count value = 15400960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 180 (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 2. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp1097503of3125000_331034810_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -12. N2 Start = 11. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 3. m1 Start = -2. m2 Start = -23. Poly Count value = 20889600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 240 (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 2. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE