Name | wu_sf6_DS-15x11_Grp9044715of13107200_0 |
Workunit | 243290113 |
Created | 1 Jul 2025, 2:46:01 UTC |
Sent | 8 Jul 2025, 1:11:13 UTC |
Report deadline | 15 Jul 2025, 1:11:13 UTC |
Received | 8 Jul 2025, 16:27:06 UTC |
Server state | Over |
Outcome | Success |
Client state | Done |
Exit status | 0 (0x00000000) |
Computer ID | 2795090 |
Run time | 7 hours 8 min 15 sec |
CPU time | 6 hours 55 min 7 sec |
Validate state | Valid |
Credit | 525.00 |
Device peak FLOPS | 2.70 GFLOPS |
Application version | Get Decic Fields v3.00 (default) x86_64-apple-darwin |
Peak working set size | 5.58 MB |
Peak swap size | 4.39 GB |
Peak disk usage | 0.02 MB |
<core_client_version>8.0.2</core_client_version> <![CDATA[ <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = -7. N2 Start = 25. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 8. m1 Start = 3. m2 Start = -13. Poly Count value = 272670720. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 3644 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 12. N1 Start = 0. N2 Start = 15. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 4. m1 Start = -8. m2 Start = 11. Poly Count value = 775731200. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 10098 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 14. N1 Start = -3. N2 Start = 19. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 7. m1 Start = 4. m2 Start = -1. Poly Count value = 1030318080. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 13727 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 22. N1 Start = 10. N2 Start = 2. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -1. m1 Start = 3. m2 Start = -28. Poly Count value = 1310423040. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 17366 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 24. N1 Start = -26. N2 Start = 79. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 2. m1 Start = 7. m2 Start = -21. Poly Count value = 1581434880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 21005 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9044715of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 29. N1 Start = -12. N2 Start = 14. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = 2. m1 Start = 4. m2 Start = -5. Poly Count value = 1841868800. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 24647 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9044715of13107200.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_Grp9044715of13107200_0_r1374065760_0 Now starting the targeted Martinet search: The search has finished. 17:26:08 (30409): called boinc_finish(0) </stderr_txt> ]]>