Name | wu_sf6_DS-15x11_Grp6981079of13107200_0 |
Workunit | 241226477 |
Created | 31 May 2025, 0:15:10 UTC |
Sent | 6 Jun 2025, 0:19:42 UTC |
Report deadline | 13 Jun 2025, 0:19:42 UTC |
Received | 7 Jun 2025, 20:07:01 UTC |
Server state | Over |
Outcome | Success |
Client state | Done |
Exit status | 0 (0x00000000) |
Computer ID | 2892346 |
Run time | 1 hours 37 min 33 sec |
CPU time | 1 hours 29 min 57 sec |
Validate state | Valid |
Credit | 525.00 |
Device peak FLOPS | 6.76 GFLOPS |
Application version | Get Decic Fields v3.00 (default) x86_64-apple-darwin |
Peak working set size | 10.86 MB |
Peak swap size | 33.52 GB |
Peak disk usage | 0.06 MB |
<core_client_version>8.0.2</core_client_version> <![CDATA[ <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 2. N2 Start = 4. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 8. m1 Start = -2. m2 Start = -43. Poly Count value = 8130560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 65 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -4. N2 Start = 10. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -5. m1 Start = -4. m2 Start = 43. Poly Count value = 19374080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 128 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -6. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 5. m1 Start = 9. m2 Start = 2. Poly Count value = 26705920. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 190 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 1. N2 Start = 20. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = 6. m2 Start = -15. Poly Count value = 37662720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 252 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 22. N2 Start = 61. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 4. m2 Start = 3. Poly Count value = 76953600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 572 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = 0. N2 Start = 1. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -12. m1 Start = -4. m2 Start = -3. Poly Count value = 88698880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 634 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = -9. N2 Start = 9. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 4. m1 Start = -6. m2 Start = 9. Poly Count value = 107694080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 759 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = 17. N2 Start = 61. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 4. m1 Start = 13. m2 Start = 20. Poly Count value = 187535360. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2753 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 7. N1 Start = 18. N2 Start = 84. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = 2. m2 Start = 1. Poly Count value = 198430720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2815 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -7. N2 Start = 1. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = 2. m2 Start = 4. Poly Count value = 208896000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2879 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = 0. N2 Start = 4. k1 Start = 0. k2 Start = 0. L1 Start = 2. L2 Start = 8. m1 Start = 7. m2 Start = -10. Poly Count value = 216391680. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2941 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -5. N2 Start = 15. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 9. m1 Start = 1. m2 Start = 27. Poly Count value = 237352960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3065 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -12. N2 Start = 22. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = 6. m2 Start = 9. Poly Count value = 248627200. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3127 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -14. N2 Start = 38. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 1. m1 Start = 11. m2 Start = -46. Poly Count value = 269916160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3252 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -22. N2 Start = 69. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 3. m1 Start = -12. m2 Start = 45. Poly Count value = 287784960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3377 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 2. N2 Start = 0. k1 Start = 0. k2 Start = -1. L1 Start = 0. L2 Start = 2. m1 Start = -4. m2 Start = -31. Poly Count value = 298598400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3439 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 1. N2 Start = 3. k1 Start = 0. k2 Start = -1. L1 Start = 2. L2 Start = 5. m1 Start = -2. m2 Start = 3. Poly Count value = 308869120. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3501 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 1. N2 Start = 5. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -11. m1 Start = -6. m2 Start = -14. Poly Count value = 315770880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3563 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 3. N2 Start = 10. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -11. m1 Start = 10. m2 Start = 6. Poly Count value = 332728320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3687 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -18. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 1. m2 Start = 7. Poly Count value = 343193600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3749 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -19. N2 Start = 21. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = 9. m2 Start = -24. Poly Count value = 362926080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3874 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -2. N2 Start = 25. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 7. m1 Start = 1. m2 Start = -31. Poly Count value = 373790720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3936 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 36. N2 Start = 112. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -3. m1 Start = 10. m2 Start = 31. Poly Count value = 447098880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4378 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -13. N2 Start = 3. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 4. m1 Start = 7. m2 Start = -23. Poly Count value = 457338880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4440 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -13. N2 Start = 3. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 4. m1 Start = 7. m2 Start = -23. Poly Count value = 457338880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4440 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 4. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = 6. m2 Start = 15. Poly Count value = 468316160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4502 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 0. N2 Start = 3. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -4. m1 Start = 3. m2 Start = -3. Poly Count value = 560547840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5082 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 6. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -4. m1 Start = 4. m2 Start = 40. Poly Count value = 571494400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5144 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -2. N2 Start = 12. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 3. m1 Start = -2. m2 Start = 30. Poly Count value = 582543360. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5206 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 17. N2 Start = 21. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -4. m1 Start = -4. m2 Start = 3. Poly Count value = 603555840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5331 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 17. N2 Start = 21. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -4. m1 Start = -4. m2 Start = 3. Poly Count value = 603555840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5331 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -15. N2 Start = 33. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = -10. m2 Start = 24. Poly Count value = 624271360. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5456 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -13. N2 Start = 40. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 7. m1 Start = 2. m2 Start = 2. Poly Count value = 634972160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5518 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 18. N2 Start = 48. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 3. m1 Start = 14. m2 Start = 39. Poly Count value = 645693440. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5580 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = 15. N2 Start = 74. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 4. m1 Start = 8. m2 Start = 17. Poly Count value = 666695680. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5705 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -38. N2 Start = 116. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -3. m1 Start = -8. m2 Start = 24. Poly Count value = 677959680. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5767 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = 3. N2 Start = 2. k1 Start = 0. k2 Start = 0. L1 Start = -2. L2 Start = -2. m1 Start = 12. m2 Start = -6. Poly Count value = 688762880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5830 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = 0. N2 Start = 6. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -6. m1 Start = 6. m2 Start = -1. Poly Count value = 699299840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5893 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = 4. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = -2. L2 Start = 4. m1 Start = -6. m2 Start = -51. Poly Count value = 720680960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6017 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -3. N2 Start = 29. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -4. m1 Start = 0. m2 Start = -7. Poly Count value = 746526720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6244 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -12. N2 Start = 38. k1 Start = 0. k2 Start = -1. L1 Start = -2. L2 Start = 5. m1 Start = 18. m2 Start = -33. Poly Count value = 756234240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6308 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = 14. N2 Start = 48. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -7. m1 Start = 14. m2 Start = 44. Poly Count value = 763473920. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6372 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -26. N2 Start = 85. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = 17. m2 Start = -52. Poly Count value = 773795840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6434 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 15. N1 Start = -26. N2 Start = 85. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 1. m1 Start = 17. m2 Start = -52. Poly Count value = 773795840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6434 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 24. N1 Start = -7. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -6. m1 Start = 9. m2 Start = 5. Poly Count value = 1080821760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 8350 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 26. N1 Start = 13. N2 Start = 59. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 2. m1 Start = 4. m2 Start = 6. Poly Count value = 1258280960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9457 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 26. N1 Start = 22. N2 Start = 101. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 7. m2 Start = 20. Poly Count value = 1268602880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9519 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = -7. N2 Start = 3. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 4. m1 Start = 6. m2 Start = 4. Poly Count value = 1278986240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9581 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = 0. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 4. m1 Start = 6. m2 Start = -29. Poly Count value = 1289123840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9643 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = 9. N2 Start = 17. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = 3. m2 Start = -7. Poly Count value = 1311027200. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9768 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = 4. N2 Start = 23. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 4. m1 Start = 10. m2 Start = 19. Poly Count value = 1321533440. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9830 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = -5. N2 Start = 30. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = -2. m2 Start = -1. Poly Count value = 1332664320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9892 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = 11. N2 Start = 38. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = -11. m2 Start = -21. Poly Count value = 1343672320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9954 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6981079of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 30. N1 Start = 13. N2 Start = 50. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = -6. m2 Start = -7. Poly Count value = 1354680320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 10016 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6981079of13107200.dat K = x^2 - 10 S = [2, 5] Disc Bound = 320000000000000 Skip = (P^3)*(Q^9) Num Congruences = 32 SCALE = 1.000000 |dK| = 40 Signature = [2,0] Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x11_Grp6981079of13107200_0_r1337554201_0 Now starting the targeted Martinet search: The search has finished. 20:05:45 (29351): called boinc_finish(0) </stderr_txt> ]]>