Name | wu_sf6_DS-15x11_Grp7780076of13107200_0 |
Workunit | 242025474 |
Created | 10 Jun 2025, 20:49:49 UTC |
Sent | 18 Jun 2025, 18:07:15 UTC |
Report deadline | 25 Jun 2025, 18:07:15 UTC |
Received | 18 Jun 2025, 23:38:44 UTC |
Server state | Over |
Outcome | Computation error |
Client state | Aborted by user |
Exit status | 203 (0x000000CB) EXIT_ABORTED_VIA_GUI |
Computer ID | 2886932 |
Run time | 3 hours 0 min 29 sec |
CPU time | 2 hours 18 min 49 sec |
Validate state | Invalid |
Credit | 0.00 |
Device peak FLOPS | 5.41 GFLOPS |
Application version | Get Decic Fields v3.00 (default) x86_64-apple-darwin |
Peak working set size | 10.43 MB |
Peak swap size | 33.53 GB |
Peak disk usage | 0.02 MB |
<core_client_version>8.0.2</core_client_version> <![CDATA[ <message> aborted by user</message> <stderr_txt> polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Checkpoint Flag = 0. Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 2. N1 Start = -36. N2 Start = 114. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 3. m1 Start = -8. m2 Start = 30. Poly Count value = 276183040. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 6141 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -4. N2 Start = 13. k1 Start = 0. k2 Start = -1. L1 Start = 2. L2 Start = 1. m1 Start = 8. m2 Start = -42. Poly Count value = 429025280. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7680 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = -9. N2 Start = 28. k1 Start = 0. k2 Start = -1. L1 Start = -1. L2 Start = 3. m1 Start = -4. m2 Start = 15. Poly Count value = 475637760. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 7995 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 9. N1 Start = 15. N2 Start = 50. k1 Start = 0. k2 Start = -1. L1 Start = -1. L2 Start = 1. m1 Start = 9. m2 Start = 33. Poly Count value = 515706880. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9279 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = 9. N2 Start = 8. k1 Start = 0. k2 Start = 1. L1 Start = 0. L2 Start = 5. m1 Start = -3. m2 Start = -11. Poly Count value = 587202560. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 9821 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 10. N1 Start = -29. N2 Start = 106. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = 0. m1 Start = 5. m2 Start = -14. Poly Count value = 721039360. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 11283 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 11. N1 Start = 9. N2 Start = 43. k1 Start = 0. k2 Start = 0. L1 Start = -1. L2 Start = -2. m1 Start = 5. m2 Start = 7. Poly Count value = 813312000. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 11913 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: polyBufferSize = 10240. CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp7780076of13107200_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 18. N1 Start = -18. N2 Start = 54. k1 Start = 0. k2 Start = 0. L1 Start = 0. L2 Start = -3. m1 Start = -12. m2 Start = 43. Poly Count value = 1189990400. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 14857 (sec). Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp7780076of13107200.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_Grp7780076of13107200_0_r1071728448_0 Now starting the targeted Martinet search: </stderr_txt> ]]>