| Name | wu_sf6_DS-16x10_Grp13913151of20000000_0 |
| Workunit | 274323749 |
| Created | 24 Jul 2026, 14:18:11 UTC |
| Sent | 30 Jul 2026, 16:59:24 UTC |
| Report deadline | 6 Aug 2026, 16:59:24 UTC |
| Received | 2 Aug 2026, 7:40:53 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 2870757 |
| Run time | 7 hours 19 min 33 sec |
| CPU time | 6 hours 34 min 35 sec |
| Validate state | Valid |
| Credit | 700.00 |
| Device peak FLOPS | 2.32 GFLOPS |
| Application version | Get Decic Fields v4.00 (default) windows_x86_64 |
| Peak working set size | 22.13 MB |
| Peak swap size | 291.39 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-16x10_Grp13913151of20000000_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 1.
Doing Cvec 2.
Doing Cvec 3.
Doing Cvec 4.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 3.
N1 Start = 52.
N2 Start = 13.
k1 Start = 0.
k2 Start = 0.
L1 Start = 2.
L2 Start = 2.
m1 Start = 30.
m2 Start = 11.
Poly Count value = 343879680.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 6582 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 4.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 3.
N1 Start = 36.
N2 Start = 20.
k1 Start = 0.
k2 Start = 0.
L1 Start = -2.
L2 Start = 1.
m1 Start = -1.
m2 Start = -7.
Poly Count value = 362045440.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 6993 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 4.
Doing Cvec 5.
Doing Cvec 6.
Doing Cvec 7.
Doing Cvec 8.
Doing Cvec 9.
Doing Cvec 10.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 9.
N1 Start = -29.
N2 Start = 3.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = -2.
m1 Start = 19.
m2 Start = 0.
Poly Count value = 402544640.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 7733 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 10.
Doing Cvec 11.
Doing Cvec 12.
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-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 16.
N1 Start = -41.
N2 Start = 14.
k1 Start = 0.
k2 Start = 0.
L1 Start = 0.
L2 Start = -2.
m1 Start = -1.
m2 Start = 6.
Poly Count value = 651397120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 13686 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 17.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 16.
N1 Start = -41.
N2 Start = 14.
k1 Start = 0.
k2 Start = 0.
L1 Start = 0.
L2 Start = -2.
m1 Start = -1.
m2 Start = 6.
Poly Count value = 651397120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 13686 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 17.
Doing Cvec 18.
Doing Cvec 19.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 18.
N1 Start = 4.
N2 Start = 0.
k1 Start = 0.
k2 Start = 0.
L1 Start = -6.
L2 Start = 0.
m1 Start = 30.
m2 Start = -7.
Poly Count value = 735539200.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 15089 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 19.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 18.
N1 Start = 4.
N2 Start = 0.
k1 Start = 0.
k2 Start = 0.
L1 Start = -6.
L2 Start = 0.
m1 Start = 30.
m2 Start = -7.
Poly Count value = 735539200.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 15089 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 19.
Doing Cvec 20.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 18.
N1 Start = 89.
N2 Start = 25.
k1 Start = 0.
k2 Start = 0.
L1 Start = 2.
L2 Start = 1.
m1 Start = 0.
m2 Start = -4.
Poly Count value = 851548160.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 16907 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 19.
Doing Cvec 20.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 19.
N1 Start = -26.
N2 Start = 1.
k1 Start = 0.
k2 Start = 0.
L1 Start = 3.
L2 Start = 1.
m1 Start = 29.
m2 Start = 4.
Poly Count value = 859545600.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 17112 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 20.
Doing Cvec 21.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 19.
N1 Start = -68.
N2 Start = 22.
k1 Start = 0.
k2 Start = 0.
L1 Start = -2.
L2 Start = 2.
m1 Start = -11.
m2 Start = 4.
Poly Count value = 904304640.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 17901 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 20.
Doing Cvec 21.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 19.
N1 Start = -68.
N2 Start = 22.
k1 Start = 0.
k2 Start = 0.
L1 Start = -2.
L2 Start = 2.
m1 Start = -11.
m2 Start = 4.
Poly Count value = 904304640.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 17901 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 20.
Doing Cvec 21.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 20.
N1 Start = 13.
N2 Start = 8.
k1 Start = 0.
k2 Start = 0.
L1 Start = 2.
L2 Start = 2.
m1 Start = -15.
m2 Start = 5.
Poly Count value = 1014312960.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 19712 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 21.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 20.
N1 Start = -20.
N2 Start = 9.
k1 Start = 1.
k2 Start = 0.
L1 Start = -1.
L2 Start = 2.
m1 Start = 37.
m2 Start = -2.
Poly Count value = 1021890560.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 20125 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 21.
Doing Cvec 22.
Doing Cvec 23.
Doing Cvec 24.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 23.
N1 Start = 2.
N2 Start = 3.
k1 Start = 0.
k2 Start = 0.
L1 Start = -4.
L2 Start = 2.
m1 Start = 47.
m2 Start = 2.
Poly Count value = 1282908160.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 24242 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 24.
Doing Cvec 25.
Doing Cvec 26.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 25.
N1 Start = -46.
N2 Start = 12.
k1 Start = 0.
k2 Start = 0.
L1 Start = -3.
L2 Start = 0.
m1 Start = 17.
m2 Start = -9.
Poly Count value = 1520076800.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 28328 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 26.
Doing Cvec 27.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 26.
N1 Start = 16.
N2 Start = 8.
k1 Start = 1.
k2 Start = 0.
L1 Start = 1.
L2 Start = -2.
m1 Start = 24.
m2 Start = 4.
Poly Count value = 1659781120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 30519 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 27.
Doing Cvec 28.
Doing Cvec 29.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 28.
N1 Start = 40.
N2 Start = 4.
k1 Start = 0.
k2 Start = 0.
L1 Start = 1.
L2 Start = -1.
m1 Start = 20.
m2 Start = -1.
Poly Count value = 1856133120.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 58377 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 29.
numBlocks = 10240.
threadsPerBlock = 1.
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-16x10_Grp13913151of20000000_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
Cvec Starting Index = 28.
N1 Start = 13.
N2 Start = 12.
k1 Start = 0.
k2 Start = 0.
L1 Start = 0.
L2 Start = -1.
m1 Start = -23.
m2 Start = -10.
Poly Count value = 1904506880.
Poly Disc Count = 0.
Irreducibility Count = 0.
Field Disc Count = 0.
Elapsed Time = 59171 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-16x10_Grp13913151of20000000.dat
K = x^2 - 10
S = [2, 5]
Disc Bound = 128000000000000
Skip = (P^4)*(Q^6)
Num Congruences = 32
SCALE = 1.000000
|dK| = 40
Signature = [2,0]
Opening output file ../../projects/numberfields.asu.edu_NumberFields/wu_sf6_DS-16x10_Grp13913151of20000000_0_r1642078251_0
Now starting the targeted Martinet search:
Num Cvecs = 32.
Doing Cvec 29.
Doing Cvec 30.
Doing Cvec 31.
Doing Cvec 32.
The search has finished.
14:39:55 (29344): called boinc_finish(0)
</stderr_txt>
]]>