Result ID: 127459239

Workunit ID:	97502865
Result name:	sf7_DS-16x12-8_Grp2276263of3125000_731558445_0
Priority:	8000
Created:	13 Mar 2025, 13:40:39
Sent:	13 Mar 2025, 13:40:52
Received:	13 Mar 2025, 20:57:10
Report deadline:	18 Mar 2025, 13:40:39
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 70270,  owner: Luca,  team: CONSULENTE FINANZIARIO • LUCA SPINELLI
Validate state:	Valid.
CPU/Device time:	2,960.00 sec
Claimed credit:	58.31
Granted credit:	874.63
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]~, [0, -50]~, [400, 20]~, [250, -45]~, [280, -44]~], [[0, 0]~, [350, -40]~, [300, -20]~, [-125, 5]~, [-420, -44]~], [[0, 0]~, [-150, -20]~, [-300, 40]~, [275, 15]~, [-220, 36]~], [[0, 0]~, [150, -50]~, [-300, 20]~, [425, 45]~, [-420, -24]~], [[0, 0]~, [-150, -20]~, [100, 0]~, [475, -50]~, [180, -4]~], [[0, 0]~, [-450, 20]~, [-100, -40]~, [-475, -15]~, [-420, 16]~], [[0, 0]~, [100, 30]~,
stderr_txt:	Boinc Manager 8.0.2 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-8_Grp2276263of3125000_731558445_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-8_Grp2276263of3125000_731558445_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 0. N1 Start = 27. N2 Start = 54. k1 Start = 0. k2 Start = 1. L1 Start = -1. L2 Start = 0. m1 Start = -8. m2 Start = 4. Poly Count value = 127508480. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3651 (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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-8_Grp2276263of3125000_731558445_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = -4. N2 Start = 8. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 2. m1 Start = -8. m2 Start = 14. Poly Count value = 263680000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4038 (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-8_Grp2276263of3125000_731558445_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 4. N1 Start = -4. N2 Start = 8. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 2. m1 Start = -8. m2 Start = 14. Poly Count value = 263680000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4038 (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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-8_Grp2276263of3125000_731558445_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 6. N1 Start = -4. N2 Start = 32. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = -4. m2 Start = 15. Poly Count value = 389877760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4427 (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. Doin