Result ID: 129059630

Workunit ID:	98861296
Result name:	sf7_DS-16x12-9_Grp710193of3125000_385761317_0
Priority:	7000
Created:	22 Apr 2025, 07:45:53
Sent:	22 Apr 2025, 07:46:14
Received:	22 Apr 2025, 10:10:22
Report deadline:	27 Apr 2025, 07:45:53
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	3
Exit status:	194
Computer:	ID: 70271,  owner: Luca,  team: CONSULENTE FINANZIARIO • LUCA SPINELLI
Validate state:	Invalid.
CPU/Device time:	5,230.00 sec
Claimed credit:	0.00
Granted credit:	0.00
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]~, [-450, -10]~, [-500, 0]~, [-175, 40]~, [420, -4]~], [[0, 0]~, [50, 20]~, [-300, 0]~, [-275, -20]~, [220, -44]~], [[0, 0]~, [50, -10]~, [100, 40]~, [275, 45]~, [220, -44]~], [[0, 0]~, [-100, -50]~, [-400, 40]~, [-200, -30]~, [120, -44]~], [[0, 0]~, [-400, -20]~, [-200, -40]~, [300, 20]~, [-280, 16]~], [[0, 0]~, [50, -10]~, [100, -20]~, [275, -35]~, [220, -4]~], [[0, 0]~, [-400, 40]~, [
stderr_txt:	Boinc Manager 8.0.2 <message> (unknown error) (0) - exit code 194 (0xc2)</message> <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp710193of3125000_385761317_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-9_Grp710193of3125000_385761317_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = 24. N2 Start = 52. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = -6. m2 Start = 1. Poly Count value = 460636160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3717 (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 6. Doing Cvec 7. Doing Cvec 8. Doing Cvec 9. Doing Cvec 10. Doing Cvec 11. Doing Cvec 12. Doing Cvec 13. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp710193of3125000_385761317_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 12. N1 Start = -18. N2 Start = 67. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = 3. m2 Start = 6. Poly Count value = 697190400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5813 (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. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-9_Grp710193of3125000_385761317_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -20. N2 Start = 17. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 2. m1 Start = -11. m2 Start = -25. Poly Count value = 749015040. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6278 (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 15. </stderr_txt>