Result ID: 132109464

Workunit ID:	102490014
Result name:	sf7_DS-16x12-10_Grp1174410of3125000_152247247_0
Priority:	8000
Created:	26 Jun 2025, 23:11:32
Sent:	26 Jun 2025, 23:11:37
Received:	27 Jun 2025, 03:21:19
Report deadline:	01 Jul 2025, 23:11:32
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 72303,  owner: crashtech,  team: TeAm AnandTech
Validate state:	Valid.
CPU/Device time:	11,703.00 sec
Claimed credit:	842.59
Granted credit:	3,505.18
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]~, [350, -30]~, [-500, 40]~, [275, 10]~, [-340, -4]~], [[0, 0]~, [250, 20]~, [-300, -40]~, [75, 5]~, [-340, 16]~], [[0, 0]~, [-500, -10]~, [400, -40]~, [400, -15]~, [-40, 36]~], [[0, 0]~, [-100, 10]~, [-200, 0]~, [250, -25]~, [-40, -4]~], [[0, 0]~, [100, 20]~, [-400, 0]~, [150, -30]~, [360, 36]~], [[0, 0]~, [-450, -10]~, [-500, 40]~, [225, -20]~, [460, -24]~], [[0, 0]~, [-100, -20]~, [0,
stderr_txt:	Boinc Manager 7.24.5 <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1174410of3125000_152247247_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. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1174410of3125000_152247247_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 6. N1 Start = -13. N2 Start = 78. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = 2. m2 Start = 50. Poly Count value = 407193600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4160 (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 7. Doing Cvec 8. Doing Cvec 9. Doing Cvec 10. Doing Cvec 11. Doing Cvec 12. Doing Cvec 13. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1174410of3125000_152247247_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 12. N1 Start = 32. N2 Start = 23. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = 5. m2 Start = -11. Poly Count value = 801658880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7822 (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 13. Doing Cvec 14. Doing Cvec 15. Doing Cvec 16. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-10_Grp1174410of3125000_152247247_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = 2. N2 Start = 55. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = -2. m2 Start = -14. Poly Count value = 1165168640. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 11422 (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. 21:23:21 (116698): called boinc_finish(0) </stderr_txt>