Result ID: 138319380

Workunit ID:	108336004
Result name:	sf7_DS-16x12-12_Grp1282709of3125000_13485264_0
Priority:	8000
Created:	25 Jun 2026, 12:35:07
Sent:	25 Jun 2026, 12:35:10
Received:	25 Jun 2026, 20:09:24
Report deadline:	30 Jun 2026, 12:35:07
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: hidden ,  owner: Artem,  team: none
Validate state:	Valid.
CPU/Device time:	4,415.00 sec
Claimed credit:	119.49
Granted credit:	1,792.40
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]~, [400, -20]~, [0, 30]~, [240, -48]~], [[0, 0]~, [350, 0]~, [-100, -20]~, [-75, -45]~, [-460, -28]~], [[0, 0]~, [200, 30]~, [-200, 0]~, [300, 30]~, [-160, -8]~], [[0, 0]~, [-350, 0]~, [-500, 0]~, [-425, -10]~, [-60, -8]~], [[0, 0]~, [-100, 20]~, [-200, -20]~, [-500, -10]~, [440, 12]~], [[0, 0]~, [-350, -30]~, [300, -20]~, [-375, -45]~, [140, -48]~], [[0, 0]~, [250, -30]~, [
stderr_txt:	Boinc Manager 8.2.11 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1282709of3125000_13485264_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-12_Grp1282709of3125000_13485264_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = 37. N2 Start = 24. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = 1. m2 Start = -36. Poly Count value = 48414720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 393 (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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1282709of3125000_13485264_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = -3. N2 Start = 38. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -3. m1 Start = -3. m2 Start = 5. Poly Count value = 73277440. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 610 (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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1282709of3125000_13485264_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = -9. N2 Start = 53. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -3. m1 Start = -4. m2 Start = 9. Poly Count value = 97034240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1155 (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. Doing Cvec 8. Doing Cvec 9. Doing Cvec 10. Doing Cvec 11. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1282709of3125000_13485264_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -17. N2 Start = 22. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = 4. m2 Start = -11. Poly Count value = 495718400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4039 (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 o