Name | wu_sf6_DS-15x11_Grp7643784of13107200_0 |
Workunit | 241889182 |
Created | 9 Jun 2025, 8:45:51 UTC |
Sent | 16 Jun 2025, 13:43:21 UTC |
Report deadline | 23 Jun 2025, 13:43:21 UTC |
Received | 17 Jun 2025, 13:16:30 UTC |
Server state | Over |
Outcome | Success |
Client state | Done |
Exit status | 0 (0x00000000) |
Computer ID | 2894303 |
Run time | 4 hours 25 min 40 sec |
CPU time | 4 hours 12 min 58 sec |
Validate state | Valid |
Credit | 525.00 |
Device peak FLOPS | 6.08 GFLOPS |
Application version | Get Decic Fields v3.00 (default) x86_64-apple-darwin |
Peak working set size | 6.58 MB |
Peak swap size | 33.55 GB |
Peak disk usage | 0.03 MB |
<core_client_version>8.0.2</core_client_version> <![CDATA[ <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = 13. N2 Start = 50. k1 Start = 0. k2 Start = 1. L1 Start = 0. L2 Start = 3. m1 Start = 7. m2 Start = 18. Poly Count value = 100526080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1598 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = -24. N2 Start = 62. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 1. m1 Start = 16. m2 Start = -37. Poly Count value = 107038720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 1667 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -3. N2 Start = 10. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -4. m1 Start = -4. m2 Start = 40. Poly Count value = 142766080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2055 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -8. N2 Start = 16. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 7. m1 Start = -5. m2 Start = 37. Poly Count value = 155924480. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2194 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -7. N2 Start = 26. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 2. m1 Start = 1. m2 Start = -24. Poly Count value = 176281600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2415 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -14. N2 Start = 42. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 5. m1 Start = 7. m2 Start = -26. Poly Count value = 203765760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2732 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -14. N2 Start = 42. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 5. m1 Start = 7. m2 Start = -26. Poly Count value = 203765760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2732 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 3. N1 Start = -29. N2 Start = 117. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 0. m1 Start = 1. m2 Start = 7. Poly Count value = 246661120. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3187 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 6. N1 Start = 3. N2 Start = 1. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 6. m1 Start = -1. m2 Start = 41. Poly Count value = 253173760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3256 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -30. N2 Start = 87. k1 Start = 0. k2 Start = 1. L1 Start = 0. L2 Start = -1. m1 Start = 18. m2 Start = -59. Poly Count value = 618209280. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7459 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -30. N2 Start = 87. k1 Start = 0. k2 Start = 1. L1 Start = 0. L2 Start = -1. m1 Start = 18. m2 Start = -59. Poly Count value = 618209280. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7459 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = 11. N2 Start = 0. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 5. m1 Start = 6. m2 Start = 26. Poly Count value = 624547840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7530 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7643784of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 12. N1 Start = -26. N2 Start = 89. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 4. m1 Start = 7. m2 Start = -12. Poly Count value = 897228800. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 10639 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7643784of13107200.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_Grp7643784of13107200_0_r1594254410_0 Now starting the targeted Martinet search: The search has finished. 21:01:30 (9120): called boinc_finish(0) </stderr_txt> ]]>