Result ID: 133651684

Workunit ID:	103559294
Result name:	sf7_DS-16x12-10_Grp2223690of3125000_410023549_0
Priority:	8000
Created:	19 Jul 2025, 17:22:07
Sent:	19 Jul 2025, 17:22:37
Received:	20 Jul 2025, 07:45:56
Report deadline:	24 Jul 2025, 17:22:07
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 72580,  owner: m0laki,  team: 313 Detroit
Validate state:	Valid.
CPU/Device time:	10,430.00 sec
Claimed credit:	166.23
Granted credit:	2,493.41
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]~, [-400, 0]~, [200, -20]~, [-200, -50]~, [-440, -4]~], [[0, 0]~, [50, -40]~, [300, -20]~, [175, -10]~, [-140, 36]~], [[0, 0]~, [50, -30]~, [100, -20]~, [325, -15]~, [-140, 16]~], [[0, 0]~, [100, -10]~, [0, 40]~, [-350, -25]~, [-440, -4]~], [[0, 0]~, [450, 10]~, [-100, 40]~, [-375, 0]~, [460, -24]~], [[0, 0]~, [-400, 30]~, [400, -40]~, [350, 40]~, [-440, -4]~], [[0, 0]~, [-300, -10]~, [-
stderr_txt:	Boinc Manager 8.2.4 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp2223690of3125000_410023549_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. Doing Cvec 6. Doing Cvec 7. Doing Cvec 8. Doing Cvec 9. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp2223690of3125000_410023549_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = 7. N2 Start = 58. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 1. m2 Start = -37. Poly Count value = 552140800. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6614 (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 9. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp2223690of3125000_410023549_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = 12. N2 Start = 120. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = -3. m2 Start = -24. Poly Count value = 604794880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7135 (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 9. Doing Cvec 10. Doing Cvec 11. Doing Cvec 12. Doing Cvec 13. Doing Cvec 14. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp2223690of3125000_410023549_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 11. N2 Start = 19. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 0. m1 Start = -6. m2 Start = 9. Poly Count value = 704081920. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 8287 (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 14. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp2223690of3125000_410023549_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -18. N2 Start = 24. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 1. m1 Start = 3. m2 Start = -30. Poly Count value = 711690240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 8375 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCAL