Task 260464873

Name wu_sf6_DS-15x11_Grp9042124of13107200_0
Workunit 243287522
Created 1 Jul 2025, 2:45:25 UTC
Sent 7 Jul 2025, 23:41:53 UTC
Report deadline 14 Jul 2025, 23:41:53 UTC
Received 8 Jul 2025, 8:51:28 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 2793941
Run time 2 hours 35 min 23 sec
CPU time 2 hours 23 min 31 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 11.39 MB
Peak swap size 33.39 GB
Peak disk usage 0.02 MB

Stderr output

<core_client_version>8.0.2</core_client_version>
<![CDATA[
<stderr_txt>
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9042124of13107200_checkpoint.
Checkpoint Flag = 0.
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9042124of13107200.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_Grp9042124of13107200_0_r545672812_0
Now starting the targeted Martinet search:
01:58:10 (13748): Can't acquire lockfile (-154) - waiting 35s
01:58:16 (13394): BOINC client no longer exists - exiting
01:58:16 (13394): timer handler: client dead, exiting
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9042124of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
   Cvec Starting Index = 5.
   N1 Start = -6.
   N2 Start = 10.
   k1 Start = 0.
   k2 Start = 0.
   L1 Start = -1.
   L2 Start = -4.
   m1 Start = 11.
   m2 Start = 4.
   Poly Count value = 153600000.
   Poly Disc Count = 0.
   Irreducibility Count = 0.
   Field Disc Count = 0.
   Elapsed Time = 976 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9042124of13107200.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_Grp9042124of13107200_0_r545672812_0
Now starting the targeted Martinet search:
Checkpoint failed!
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9042124of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
   Cvec Starting Index = 5.
   N1 Start = -12.
   N2 Start = 26.
   k1 Start = 0.
   k2 Start = 0.
   L1 Start = 0.
   L2 Start = -3.
   m1 Start = -5.
   m2 Start = 41.
   Poly Count value = 184821760.
   Poly Disc Count = 0.
   Irreducibility Count = 0.
   Field Disc Count = 0.
   Elapsed Time = 1176 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9042124of13107200.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_Grp9042124of13107200_0_r545672812_0
Now starting the targeted Martinet search:
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9042124of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
   Cvec Starting Index = 8.
   N1 Start = 10.
   N2 Start = 32.
   k1 Start = 0.
   k2 Start = 1.
   L1 Start = -1.
   L2 Start = -8.
   m1 Start = -9.
   m2 Start = -29.
   Poly Count value = 300462080.
   Poly Disc Count = 0.
   Irreducibility Count = 0.
   Field Disc Count = 0.
   Elapsed Time = 2070 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9042124of13107200.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_Grp9042124of13107200_0_r545672812_0
Now starting the targeted Martinet search:
polyBufferSize = 10240.
CHECKPOINT_FILE = wu_sf6_DS-15x11_Grp9042124of13107200_checkpoint.
Reading checkpoint file.
Checkpoint Flag = 1.
Checkpoint Data:
   Cvec Starting Index = 13.
   N1 Start = -5.
   N2 Start = 13.
   k1 Start = 0.
   k2 Start = 0.
   L1 Start = 1.
   L2 Start = 9.
   m1 Start = -8.
   m2 Start = 11.
   Poly Count value = 810506240.
   Poly Disc Count = 0.
   Irreducibility Count = 0.
   Field Disc Count = 0.
   Elapsed Time = 5670 (sec).
Reading file ../../projects/numberfields.asu.edu_NumberFields/sf6_DS-15x11_Grp9042124of13107200.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_Grp9042124of13107200_0_r545672812_0
Now starting the targeted Martinet search:
The search has finished.
10:45:14 (17314): called boinc_finish(0)

</stderr_txt>
]]>



Main page · Your account · Message boards


Copyright © 2025 Arizona State University