Result ID: 138349622

Workunit ID:	108288610
Result name:	sf7_DS-16x12-12_Grp1235315of3125000_208592930_0
Priority:	9000
Created:	26 Jun 2026, 08:32:30
Sent:	26 Jun 2026, 08:32:41
Received:	26 Jun 2026, 13:20:26
Report deadline:	01 Jul 2026, 08:32:30
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 94919,  owner: SerVal,  team: Russia Team
Validate state:	Valid.
CPU/Device time:	4,590.00 sec
Claimed credit:	167.31
Granted credit:	2,509.69
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]~, [0, -20]~, [-200, -40]~, [-160, -28]~], [[0, 0]~, [250, 40]~, [-100, 20]~, [-75, -40]~, [-260, -48]~], [[0, 0]~, [250, 30]~, [-100, 20]~, [225, 45]~, [-460, -48]~], [[0, 0]~, [-350, -40]~, [100, 0]~, [-25, -25]~, [-460, -28]~], [[0, 0]~, [350, 30]~, [-300, 0]~, [-425, -25]~, [340, 12]~], [[0, 0]~, [100, 0]~, [200, -20]~, [100, 40]~, [440, -48]~], [[0, 0]~, [-50, -40]~, [300
stderr_txt:	Boinc Manager 8.2.11 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1235315of3125000_208592930_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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1235315of3125000_208592930_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-12_Grp1235315of3125000_208592930_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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1235315of3125000_208592930_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-12_Grp1235315of3125000_208592930_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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-12_Grp1235315of3125000_208592930_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-12_Grp1235315of3125000_208592930_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 0. N1 Start = -5. N2 Start = 27. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = 9. m2 Start = -23. Poly Count value = 56002560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 326 (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] Openin