Name | wu_sf6_DS-15x11_Grp6982102of13107200_0 |
Workunit | 241227500 |
Created | 31 May 2025, 0:15:24 UTC |
Sent | 6 Jun 2025, 0:19:42 UTC |
Report deadline | 13 Jun 2025, 0:19:42 UTC |
Received | 7 Jun 2025, 18:56:09 UTC |
Server state | Over |
Outcome | Success |
Client state | Done |
Exit status | 0 (0x00000000) |
Computer ID | 2892346 |
Run time | 1 hours 37 min 6 sec |
CPU time | 1 hours 28 min 40 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.83 MB |
Peak swap size | 33.53 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_Grp6982102of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -6. N2 Start = 15. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 7. m1 Start = 5. m2 Start = -48. Poly Count value = 30494720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 192 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -6. N2 Start = 15. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 7. m1 Start = 5. m2 Start = -48. Poly Count value = 30494720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 192 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = -6. N2 Start = 15. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 7. m1 Start = 5. m2 Start = -48. Poly Count value = 30494720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 192 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 8. N2 Start = 35. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -1. m1 Start = 6. m2 Start = 1. Poly Count value = 64245760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 379 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 1. N1 Start = 8. N2 Start = 35. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -1. m1 Start = 6. m2 Start = 1. Poly Count value = 64245760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 379 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = -3. N2 Start = 26. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -5. m1 Start = 6. m2 Start = -23. Poly Count value = 174653440. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1088 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = 8. N2 Start = 32. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = 8. m2 Start = 23. Poly Count value = 185640960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1151 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = 11. N2 Start = 37. k1 Start = 0. k2 Start = 1. L1 Start = 1. L2 Start = -5. m1 Start = 11. m2 Start = 37. Poly Count value = 192839680. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1214 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = -8. N2 Start = 47. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 0. m1 Start = 6. m2 Start = -5. Poly Count value = 202936320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1276 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = 9. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = 6. m2 Start = -8. Poly Count value = 240025600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1592 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = -8. N2 Start = 13. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 6. m1 Start = 0. m2 Start = 13. Poly Count value = 250705920. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1654 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 8. N1 Start = 7. N2 Start = 22. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = 14. m2 Start = 35. Poly Count value = 268656640. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1779 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = 1. N2 Start = 5. k1 Start = 0. k2 Start = -1. L1 Start = -1. L2 Start = 7. m1 Start = -3. m2 Start = -37. Poly Count value = 344770560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3773 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = 4. N2 Start = 8. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -4. m1 Start = 2. m2 Start = 37. Poly Count value = 355205120. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3835 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = -2. N2 Start = 12. k1 Start = 0. k2 Start = -1. L1 Start = 1. L2 Start = 3. m1 Start = -2. m2 Start = -3. Poly Count value = 365352960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3898 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = -1. N2 Start = 16. k1 Start = 0. k2 Start = -1. L1 Start = 0. L2 Start = -1. m1 Start = 14. m2 Start = -1. Poly Count value = 375848960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3961 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = -6. N2 Start = 25. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -4. m1 Start = -3. m2 Start = -10. Poly Count value = 395571200. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4085 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = 10. N2 Start = 30. k1 Start = 0. k2 Start = -1. L1 Start = 0. L2 Start = 7. m1 Start = -9. m2 Start = -11. Poly Count value = 405678080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4147 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = -16. N2 Start = 48. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 1. m1 Start = -3. m2 Start = 18. Poly Count value = 426424320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4272 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = -29. N2 Start = 92. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 4. m1 Start = -3. m2 Start = 4. Poly Count value = 442572800. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4397 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 4. N2 Start = 2. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -5. m1 Start = 4. m2 Start = 19. Poly Count value = 453120000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4459 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 3. N2 Start = 5. k1 Start = 0. k2 Start = 1. L1 Start = -1. L2 Start = -8. m1 Start = 2. m2 Start = -15. Poly Count value = 463503360. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4521 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 3. N2 Start = 7. k1 Start = 0. k2 Start = 1. L1 Start = -2. L2 Start = 4. m1 Start = -4. m2 Start = -21. Poly Count value = 470364160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4583 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -10. N2 Start = 13. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -3. m1 Start = 5. m2 Start = -10. Poly Count value = 487639040. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4707 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = 4. N2 Start = 16. k1 Start = 0. k2 Start = 0. L1 Start = -2. L2 Start = -3. m1 Start = 2. m2 Start = 37. Poly Count value = 498698240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4769 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -11. N2 Start = 25. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -4. m1 Start = 2. m2 Start = -16. Poly Count value = 519546880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4893 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 13. N1 Start = -8. N2 Start = 30. k1 Start = 0. k2 Start = 1. L1 Start = -1. L2 Start = 7. m1 Start = -2. m2 Start = -9. Poly Count value = 530022400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 4955 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 16. N1 Start = 1. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 9. m1 Start = 8. m2 Start = 8. Poly Count value = 602941440. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5397 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 16. N1 Start = 8. N2 Start = 19. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 4. m1 Start = 3. m2 Start = 34. Poly Count value = 613314560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5459 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 16. N1 Start = 8. N2 Start = 19. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 4. m1 Start = 3. m2 Start = 34. Poly Count value = 613314560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5459 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 16. N1 Start = 11. N2 Start = 25. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -4. m1 Start = -9. m2 Start = -16. Poly Count value = 624005120. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 5521 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = -1. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -6. m1 Start = 1. m2 Start = -15. Poly Count value = 715008000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6102 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = 0. N2 Start = 18. k1 Start = 0. k2 Start = -1. L1 Start = 1. L2 Start = 2. m1 Start = 4. m2 Start = 11. Poly Count value = 725104640. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6164 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = 8. N2 Start = 22. k1 Start = 0. k2 Start = -1. L1 Start = 1. L2 Start = 4. m1 Start = 12. m2 Start = 23. Poly Count value = 735016960. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6226 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = 7. N2 Start = 33. k1 Start = 0. k2 Start = -1. L1 Start = 1. L2 Start = 5. m1 Start = 5. m2 Start = 3. Poly Count value = 754882560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6352 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = 7. N2 Start = 33. k1 Start = 0. k2 Start = -1. L1 Start = 1. L2 Start = 5. m1 Start = 5. m2 Start = 3. Poly Count value = 754882560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6352 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = 16. N2 Start = 51. k1 Start = 0. k2 Start = 0. L1 Start = -2. L2 Start = 2. m1 Start = -12. m2 Start = -46. Poly Count value = 774328320. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6477 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = -22. N2 Start = 73. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 5. m1 Start = 5. m2 Start = -3. Poly Count value = 784087040. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6539 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = 2. N2 Start = 1. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -9. m1 Start = -2. m2 Start = -27. Poly Count value = 793866240. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6601 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = -7. N2 Start = 10. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 6. m1 Start = 9. m2 Start = -1. Poly Count value = 815104000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6726 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = 0. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -3. m1 Start = 1. m2 Start = -3. Poly Count value = 825323520. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6788 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = -3. N2 Start = 19. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -6. m1 Start = 5. m2 Start = 9. Poly Count value = 836270080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6851 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = 7. N2 Start = 24. k1 Start = 0. k2 Start = 0. L1 Start = 2. L2 Start = 5. m1 Start = -6. m2 Start = -16. Poly Count value = 847206400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6915 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = -2. N2 Start = 37. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -2. m1 Start = -9. m2 Start = 11. Poly Count value = 868761600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7040 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = 20. N2 Start = 61. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -4. m1 Start = -11. m2 Start = -44. Poly Count value = 895334400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7267 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 20. N1 Start = -25. N2 Start = 80. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 3. m1 Start = -17. m2 Start = 50. Poly Count value = 906588160. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7330 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 24. N1 Start = -4. N2 Start = 0. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 7. m1 Start = 4. m2 Start = 21. Poly Count value = 917872640. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7392 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 24. N1 Start = -3. N2 Start = 4. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = 6. m2 Start = -12. Poly Count value = 928122880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7454 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 24. N1 Start = -3. N2 Start = 4. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = 6. m2 Start = -12. Poly Count value = 928122880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7454 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp6982102of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 31. N1 Start = 2. N2 Start = 7. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -6. m1 Start = 12. m2 Start = 37. Poly Count value = 1244610560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9367 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp6982102of13107200.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_Grp6982102of13107200_0_r1389123238_0 Now starting the targeted Martinet search: The search has finished. 19:23:32 (27378): called boinc_finish(0) </stderr_txt> ]]>