| Name | wu_sf6_DS-16x9_Grp1419256of8000000_0 |
| Workunit | 253830354 |
| Created | 1 Nov 2025, 20:49:40 UTC |
| Sent | 6 Nov 2025, 13:29:32 UTC |
| Report deadline | 13 Nov 2025, 13:29:32 UTC |
| Received | 15 Nov 2025, 14:05:36 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 2870757 |
| Run time | 6 hours 21 min 56 sec |
| CPU time | 5 hours 37 min 7 sec |
| Validate state | Task was reported too late to validate |
| Credit | 0.00 |
| Device peak FLOPS | 2.36 GFLOPS |
| Application version | Get Decic Fields v4.00 (default) windows_x86_64 |
| Peak working set size | 25.74 MB |
| Peak swap size | 291.42 MB |
| Peak disk usage | 0.02 MB |
<core_client_version>7.14.2</core_client_version>
<![CDATA[
<stderr_txt>
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 1.
Doing Cvec 2.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 1.
N1 Start = -15.
N2 Start = 13.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = -2.
m1 Start = -5.
m2 Start = -1.
Poly Count value = 109813760.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 1601 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 2.
Doing Cvec 3.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 2.
N1 Start = -7.
N2 Start = 4.
k1 Start = 0.
k2 Start = 0.
L1 Start = 2.
L2 Start = -3.
m1 Start = -17.
m2 Start = 2.
Poly Count value = 155463680.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 2391 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 3.
Doing Cvec 4.
Doing Cvec 5.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 4.
N1 Start = -16.
N2 Start = 11.
k1 Start = 0.
k2 Start = 0.
L1 Start = -2.
L2 Start = -3.
m1 Start = 28.
m2 Start = -18.
Poly Count value = 330711040.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 5593 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 5.
Doing Cvec 6.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 5.
N1 Start = 2.
N2 Start = 1.
k1 Start = 0.
k2 Start = 0.
L1 Start = -5.
L2 Start = -2.
m1 Start = -27.
m2 Start = 4.
Poly Count value = 376545280.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 6193 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 6.
Doing Cvec 7.
12:24:52 (19452): Can't acquire lockfile (32) - waiting 35s
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 6.
N1 Start = 12.
N2 Start = 2.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = -1.
m1 Start = 16.
m2 Start = 9.
Poly Count value = 425902080.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 42129 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 7.
Doing Cvec 8.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 6.
N1 Start = 32.
N2 Start = 20.
k1 Start = 0.
k2 Start = 0.
L1 Start = -4.
L2 Start = 0.
m1 Start = -14.
m2 Start = -11.
Poly Count value = 443617280.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 42536 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 7.
Doing Cvec 8.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 6.
N1 Start = 32.
N2 Start = 20.
k1 Start = 0.
k2 Start = 0.
L1 Start = -4.
L2 Start = 0.
m1 Start = -14.
m2 Start = -11.
Poly Count value = 443617280.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 42536 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 7.
Doing Cvec 8.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 6.
N1 Start = 32.
N2 Start = 20.
k1 Start = 0.
k2 Start = 0.
L1 Start = -4.
L2 Start = 0.
m1 Start = -14.
m2 Start = -11.
Poly Count value = 443617280.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 42536 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 7.
Doing Cvec 8.
Doing Cvec 9.
Doing Cvec 10.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 9.
N1 Start = -2.
N2 Start = 2.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = 3.
m1 Start = 16.
m2 Start = -14.
Poly Count value = 649267200.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 45142 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 10.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 9.
N1 Start = -2.
N2 Start = 2.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = 3.
m1 Start = 16.
m2 Start = -14.
Poly Count value = 649267200.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 45142 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 10.
Doing Cvec 11.
Doing Cvec 12.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 11.
N1 Start = -7.
N2 Start = 2.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = 0.
m1 Start = 5.
m2 Start = 14.
Poly Count value = 794695680.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 51772 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 12.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 11.
N1 Start = 9.
N2 Start = 7.
k1 Start = 0.
k2 Start = 0.
L1 Start = 1.
L2 Start = 2.
m1 Start = 17.
m2 Start = 14.
Poly Count value = 818114560.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 52170 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 12.
Doing Cvec 13.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 12.
N1 Start = 39.
N2 Start = 24.
k1 Start = 0.
k2 Start = 0.
L1 Start = -1.
L2 Start = -3.
m1 Start = 23.
m2 Start = 15.
Poly Count value = 935557120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 55022 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 13.
Doing Cvec 14.
Doing Cvec 15.
Doing Cvec 16.
Doing Cvec 17.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 16.
N1 Start = 8.
N2 Start = 3.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = -4.
m1 Start = -16.
m2 Start = 5.
Poly Count value = 1153781760.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 58853 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 17.
Doing Cvec 18.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 17.
N1 Start = 8.
N2 Start = 4.
k1 Start = 0.
k2 Start = 0.
L1 Start = 4.
L2 Start = 1.
m1 Start = 8.
m2 Start = 14.
Poly Count value = 1249669120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 60469 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 18.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 17.
N1 Start = -33.
N2 Start = 21.
k1 Start = 0.
k2 Start = 0.
L1 Start = 0.
L2 Start = -1.
m1 Start = 13.
m2 Start = -6.
Poly Count value = 1294295040.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 61268 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 18.
Doing Cvec 19.
Doing Cvec 20.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 19.
N1 Start = -11.
N2 Start = 3.
k1 Start = 0.
k2 Start = 0.
L1 Start = -1.
L2 Start = 3.
m1 Start = 3.
m2 Start = -17.
Poly Count value = 1315788800.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 61663 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 20.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x9_Grp1419256of8000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 19.
N1 Start = -11.
N2 Start = 3.
k1 Start = 0.
k2 Start = 0.
L1 Start = -1.
L2 Start = 3.
m1 Start = 3.
m2 Start = -17.
Poly Count value = 1315788800.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 61663 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x9_Grp1419256of8000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 25600000000000
Skip = (P^4)*(Q^5)
Num Congruences = 25
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x9_Grp1419256of8000000_0_r1537190419_0
Now starting the targeted Martinet search:
Num Cvecs = 25.
Doing Cvec 20.
Doing Cvec 21.
Doing Cvec 22.
Doing Cvec 23.
Doing Cvec 24.
Doing Cvec 25.
The search has finished.
21:05:22 (8288): called boinc_finish(0)
</stderr_txt>
]]>