| Name | wu_sf6_DS-15x12-1_Grp2023833of2500000_2 |
| Workunit | 249375931 |
| Created | 5 Oct 2025, 19:41:06 UTC |
| Sent | 5 Oct 2025, 19:42:56 UTC |
| Report deadline | 9 Oct 2025, 19:42:56 UTC |
| Received | 6 Oct 2025, 10:48:51 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 2902555 |
| Run time | 4 hours 48 min 11 sec |
| CPU time | 4 hours 47 min 56 sec |
| Validate state | Valid |
| Credit | 465.00 |
| Device peak FLOPS | 4.72 GFLOPS |
| Application version | Get Decic Fields v4.00 (default) x86_64-pc-linux-gnu |
| Peak working set size | 8.25 MB |
| Peak swap size | 298.64 MB |
| Peak disk usage | 0.02 MB |
<core_client_version>7.24.1</core_client_version>
<![CDATA[
<stderr_txt>
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x12-1_Grp2023833of2500000_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x12-1_Grp2023833of2500000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 1600000000000000
Skip = (P^5)*(Q^5)
Num Congruences = 10
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x12-1_Grp2023833of2500000_2_r1749478387_0
Now starting the targeted Martinet search:
Num Cvecs = 10.
Doing Cvec 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x12-1_Grp2023833of2500000_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x12-1_Grp2023833of2500000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 1600000000000000
Skip = (P^5)*(Q^5)
Num Congruences = 10
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-15x12-1_Grp2023833of2500000_2_r1749478387_0
Now starting the targeted Martinet search:
Num Cvecs = 10.
Doing Cvec 1.
Doing Cvec 2.
Doing Cvec 3.
Doing Cvec 4.
Doing Cvec 5.
Doing Cvec 6.
Doing Cvec 7.
Doing Cvec 8.
Doing Cvec 9.
Doing Cvec 10.
The search has finished.
12:48:09 (3064): called boinc_finish(0)
</stderr_txt>
]]>