| Name | wu_sf6_DS-15x11_Grp9009113of13107200_0 |
| Workunit | 243254511 |
| Created | 30 Jun 2025, 13:46:57 UTC |
| Sent | 7 Jul 2025, 10:50:37 UTC |
| Report deadline | 14 Jul 2025, 10:50:37 UTC |
| Received | 7 Jul 2025, 23:30:47 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 2793941 |
| Run time | 2 hours 45 min |
| CPU time | 2 hours 17 min 17 sec |
| Validate state | Valid |
| Credit | 525.00 |
| Device peak FLOPS | 4.85 GFLOPS |
| Application version | Get Decic Fields v3.00 (default) x86_64-apple-darwin |
| Peak working set size | 10.91 MB |
| Peak swap size | 33.40 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_Grp9009113of13107200_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9009113of13107200.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_Grp9009113of13107200_0_r254995830_0
Now starting the targeted Martinet search:
00:22:08 (11840): Can't acquire lockfile (-154) - waiting 35s
00:22:12 (10324): BOINC client no longer exists - exiting
00:22:12 (10324): timer handler: client dead, exiting
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9009113of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 20.
N1 Start = 1.
N2 Start = 7.
k1 Start = 0.
k2 Start = 0.
L1 Start = 1.
L2 Start = 0.
m1 Start = -3.
m2 Start = -6.
Poly Count value = 677171200.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 6028 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9009113of13107200.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_Grp9009113of13107200_0_r254995830_0
Now starting the targeted Martinet search:
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9009113of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 27.
N1 Start = -11.
N2 Start = 33.
k1 Start = 0.
k2 Start = 0.
L1 Start = 1.
L2 Start = 4.
m1 Start = 3.
m2 Start = -25.
Poly Count value = 1115801600.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 9832 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9009113of13107200.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_Grp9009113of13107200_0_r254995830_0
Now starting the targeted Martinet search:
01:27:07 (11840): BOINC client no longer exists - exiting
01:27:07 (11840): timer handler: client dead, exiting
The search has finished.
01:30:37 (13068): called boinc_finish(0)
</stderr_txt>
]]>