Discussion related to cado-nfs

[Soundcheck Team <soundcheck2014@gmail.com>]

Hi,
Thanks for your helpful response!
We are using version 2.0 updated to commit 39075958e0fda9e3187f60719bc61f3c96d206ac (The last build about when we started).

We did get a full disk in the middle of the krylov phase, which caused A* files (files with names like A0-64.0-149900) to be created with length 0. We stopped the process and erased all files in the c204.bwc directory created since the first such file was created, ghosted the disk to a larger one and then resumed. Could there still be corrupted files? We also had to resume a few times due to server crashes.

I'm attaching the last bwc logs; However the whole log file is 486 MB; is there a specific part of it that could help?

Thanks again,

Eran

On 9 July 2014 21:45, Zimmermann Paul <Paul.Zimmermann@inria.fr> wrote:

       Dear Eran,

> Date: Wed, 9 Jul 2014 19:59:00 +0300
> From: New Name <soundcheck2014@gmail.com>

>
> Hi,
> We've been using CADO-NFS to factor a large number (640 bit), finally
> reached the lingen subphase of the Linear Algebra phase but we got an error
> - "no solution found". Are there any known issues which could cause this?
> Notable issues in our run so far:
> - We're using the default c204 params file even though the number is a bit
> smaller (196 digits) as there is no 196 digit param file.

this should not be a problem.

> - Are there any issues in lingen when lpbr>32 ? Should we have used non
> default parameters?

no, we already used a large prime bound of 2^33 for RSA-704 for example.

> - We had to resume the krylov sub phase a few times.

my guess is that one of the checkpoints was corrupted. Usually this is
due to a full disk.

> Any help would be wonderful,
> Eran

please can you send us the full *.log file, and the *bwc*stdout and
*bwc*stderr files? Also which version of CADO-NFS are you using?

Best regards,
Paul Zimmermann

Attachment: c204.bwc.bwc.stderr.12
Description: Binary data

Attachment: c204.bwc.bwc.stdout.12
Description: Binary data