Result ID: 131099711

Workunit ID:	100802975
Result name:	sf7_DS-16x12-9_Grp2487371of3125000_880230458_0
Priority:	9000
Created:	02 Jun 2025, 11:02:03
Sent:	02 Jun 2025, 11:02:16
Received:	03 Jun 2025, 13:17:17
Report deadline:	07 Jun 2025, 11:02:03
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 67000,  owner: Mazay,  team: none
Validate state:	Valid.
CPU/Device time:	7,704.00 sec
Claimed credit:	111.89
Granted credit:	1,678.30
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]~, [-100, 0]~, [-400, -20]~, [-300, 30]~, [120, -24]~], [[0, 0]~, [450, -20]~, [300, -20]~, [-175, 40]~, [220, 16]~], [[0, 0]~, [450, -10]~, [-300, 20]~, [425, 45]~, [-380, -44]~], [[0, 0]~, [150, 0]~, [-300, -20]~, [175, -10]~, [20, -24]~], [[0, 0]~, [-450, 20]~, [100, -40]~, [225, 10]~, [20, 16]~], [[0, 0]~, [250, 30]~, [100, 40]~, [125, -5]~, [420, -24]~], [[0, 0]~, [-500, -30]~, [200
stderr_txt:	Boinc Manager 7.24.1 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp2487371of3125000_880230458_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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp2487371of3125000_880230458_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 0. N1 Start = -5. N2 Start = 6. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 5. m1 Start = -7. m2 Start = 11. Poly Count value = 10905600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 159 (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 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-9_Grp2487371of3125000_880230458_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = 3. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = 2. L2 Start = -1. m1 Start = -8. m2 Start = 6. Poly Count value = 262696960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3318 (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. Doing Cvec 15. Doing Cvec 16. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp2487371of3125000_880230458_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -9. N2 Start = 62. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = 9. m2 Start = 4. Poly Count value = 894044160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 10665 (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 16. The search has finished. 14:18:03 (2948): called boinc_finish(0) </stderr_txt>