Result ID: 132084016

Workunit ID:	102447520
Result name:	sf7_DS-16x12-10_Grp1131916of3125000_150472074_0
Priority:	8000
Created:	26 Jun 2025, 07:50:23
Sent:	26 Jun 2025, 07:50:28
Received:	27 Jun 2025, 06:03:13
Report deadline:	01 Jul 2025, 07:50:23
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 68969,  owner: m0laki,  team: 313 Detroit
Validate state:	Valid.
CPU/Device time:	6,887.00 sec
Claimed credit:	688.52
Granted credit:	2,864.26
Application:	"GetDecicFields(Linux)", version: 406, platform: Linux_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]~, [-150, -30]~, [300, 40]~, [325, -5]~, [260, -4]~], [[0, 0]~, [-100, -10]~, [0, 40]~, [-200, 25]~, [-240, -4]~], [[0, 0]~, [50, -40]~, [300, -40]~, [175, -5]~, [-140, -24]~], [[0, 0]~, [300, 10]~, [400, 20]~, [300, -15]~, [-40, -44]~], [[0, 0]~, [-450, 0]~, [-300, -40]~, [175, -45]~, [60, -24]~], [[0, 0]~, [450, 0]~, [-500, 0]~, [-425, 35]~, [-340, -44]~], [[0, 0]~, [-350, -30]~, [300,
stderr_txt:	Boinc Manager 8.0.4 <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_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. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = 17. N2 Start = 55. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 0. m1 Start = -10. m2 Start = -23. Poly Count value = 302940160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2649 (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 3. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = 13. N2 Start = 62. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -1. m1 Start = 1. m2 Start = 10. Poly Count value = 309964800. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2713 (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 3. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = 19. N2 Start = 70. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = -10. m2 Start = -18. Poly Count value = 316610560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2780 (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 3. Doing Cvec 4. Doing Cvec 5. Doing Cvec 6. Doing Cvec 7. Doing Cvec 8. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = -22. N2 Start = 13. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -3. m1 Start = 13. m2 Start = 3. Poly Count value = 362516480. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3174 (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. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1131916of3125000_150472074_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = -24. N2 Start = 16. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 0. m1 Start = -5. m2 Start = -10. Poly Coun