[QUOTE=pinhodecarlos;298474]Lionel,

You moved 2063_71_minus1 to post-processing queue but you set SALPMAX and SRLPMAX as 2147483648, a 31-bit prime. Do you think 129 M relations are enough for this case?

Carlos[/QUOTE]

Anyway, tomorrow I will start it if that's ok with you.

Hmm... indeed, I think I screwed up. I'll fix the number's state, thanks for the report :smile:

I'll take 683_79_minus1.

I would also like to take 2129_67_minus1.

[QUOTE=pinhodecarlos;298812]I'll take 683_79_minus1.[/QUOTE]

Done.


[QUOTE=pinhodecarlos;298997]I would also like to take 2129_67_minus1.[/QUOTE]

Start it.

Reserving 2069_67_minus1.

Carlos

2129_67_minus1 is done, 2069_67_minus1 underway.

Wow...79_113_minus1 is very oversieved!

Yeah, 79_113_minus1 might be of some interest to jasonp, jrk or somebody else :smile:
For fun, I'll run it through my modified remdups, to watch the duplicate rate, but I'll leave the postprocessing to others, as often.

In fact, all of 79_113_minus1, 683_73_minus1, 3543791_31_minus1 and 701_71_minus1 are oversieved to some extent.
For the three first ones, I tried 29-bit LPs for several easier tasks (usually, they would have been 28-bit LPs tasks), because at least one of them seemed to be marginally faster with 29-bit LPs, but then I did not make the ranges smaller enough, compared to the usual ranges for harder 29-bit LPs tasks.
For 701_71_minus1, 28-bit LPs task, the yield is fairly high.

At the time of this writing:

[code]$ ionice -c3 zcat 79_113_minus1.dat.gz | remdups4 450 -v > /dev/null
Starting program at Sun May 13 12:50:59 2012
allocated 1310692 bytes for pointers
allocated 1179648000 bytes for arrays
Sun May 13 12:51:05 2012 0.5M unique relns 0.00M duplicate relns (+0.00M, avg D/U ratio in block was 0.2%)
Sun May 13 12:51:09 2012 1.0M unique relns 0.00M duplicate relns (+0.00M, avg D/U ratio in block was 0.7%)
Sun May 13 12:51:12 2012 1.5M unique relns 0.01M duplicate relns (+0.00M, avg D/U ratio in block was 1.0%)
Sun May 13 12:51:16 2012 2.0M unique relns 0.02M duplicate relns (+0.01M, avg D/U ratio in block was 1.4%)
Sun May 13 12:51:20 2012 2.5M unique relns 0.03M duplicate relns (+0.01M, avg D/U ratio in block was 1.7%)
Sun May 13 12:51:23 2012 3.0M unique relns 0.04M duplicate relns (+0.01M, avg D/U ratio in block was 2.1%)
Sun May 13 12:51:27 2012 3.5M unique relns 0.05M duplicate relns (+0.01M, avg D/U ratio in block was 2.6%)
Sun May 13 12:51:30 2012 4.0M unique relns 0.06M duplicate relns (+0.01M, avg D/U ratio in block was 2.9%)
Sun May 13 12:51:34 2012 4.5M unique relns 0.08M duplicate relns (+0.02M, avg D/U ratio in block was 3.4%)
Sun May 13 12:51:37 2012 5.0M unique relns 0.10M duplicate relns (+0.02M, avg D/U ratio in block was 4.0%)
Sun May 13 12:51:41 2012 5.5M unique relns 0.12M duplicate relns (+0.02M, avg D/U ratio in block was 4.1%)
Sun May 13 12:51:45 2012 6.0M unique relns 0.14M duplicate relns (+0.02M, avg D/U ratio in block was 4.7%)
Sun May 13 12:51:48 2012 6.5M unique relns 0.17M duplicate relns (+0.02M, avg D/U ratio in block was 4.6%)
Sun May 13 12:51:52 2012 7.0M unique relns 0.19M duplicate relns (+0.03M, avg D/U ratio in block was 5.3%)
Sun May 13 12:51:56 2012 7.5M unique relns 0.22M duplicate relns (+0.03M, avg D/U ratio in block was 5.7%)
Sun May 13 12:52:00 2012 8.0M unique relns 0.25M duplicate relns (+0.03M, avg D/U ratio in block was 5.9%)
Sun May 13 12:52:04 2012 8.5M unique relns 0.28M duplicate relns (+0.03M, avg D/U ratio in block was 6.4%)
Sun May 13 12:52:08 2012 9.0M unique relns 0.32M duplicate relns (+0.03M, avg D/U ratio in block was 6.8%)
Sun May 13 12:52:12 2012 9.5M unique relns 0.35M duplicate relns (+0.04M, avg D/U ratio in block was 7.3%)
Sun May 13 12:52:16 2012 10.0M unique relns 0.39M duplicate relns (+0.03M, avg D/U ratio in block was 6.9%)
[snip]
Sun May 13 12:55:00 2012 30.0M unique relns 3.02M duplicate relns (+0.10M, avg D/U ratio in block was 20.3%)
Sun May 13 12:55:06 2012 30.5M unique relns 3.12M duplicate relns (+0.10M, avg D/U ratio in block was 20.9%)
Sun May 13 12:55:10 2012 31.0M unique relns 3.22M duplicate relns (+0.09M, avg D/U ratio in block was 18.3%)
Sun May 13 12:55:15 2012 31.5M unique relns 3.31M duplicate relns (+0.09M, avg D/U ratio in block was 18.3%)
Sun May 13 12:55:19 2012 32.0M unique relns 3.40M duplicate relns (+0.09M, avg D/U ratio in block was 18.3%)
Sun May 13 12:55:24 2012 32.5M unique relns 3.50M duplicate relns (+0.10M, avg D/U ratio in block was 19.3%)
Sun May 13 12:55:28 2012 33.0M unique relns 3.59M duplicate relns (+0.10M, avg D/U ratio in block was 19.5%)
Sun May 13 12:55:33 2012 33.5M unique relns 3.71M duplicate relns (+0.12M, avg D/U ratio in block was 23.5%)
Sun May 13 12:55:37 2012 34.0M unique relns 3.82M duplicate relns (+0.11M, avg D/U ratio in block was 21.6%)
Sun May 13 12:55:42 2012 34.5M unique relns 3.92M duplicate relns (+0.11M, avg D/U ratio in block was 21.1%)
Sun May 13 12:55:46 2012 35.0M unique relns 4.05M duplicate relns (+0.13M, avg D/U ratio in block was 25.1%)
Sun May 13 12:55:51 2012 35.5M unique relns 4.16M duplicate relns (+0.11M, avg D/U ratio in block was 22.7%)
Sun May 13 12:55:55 2012 36.0M unique relns 4.28M duplicate relns (+0.12M, avg D/U ratio in block was 24.1%)
Sun May 13 12:56:01 2012 36.5M unique relns 4.43M duplicate relns (+0.14M, avg D/U ratio in block was 28.3%)
Sun May 13 12:56:06 2012 37.0M unique relns 4.55M duplicate relns (+0.13M, avg D/U ratio in block was 25.2%)
Sun May 13 12:56:11 2012 37.5M unique relns 4.66M duplicate relns (+0.11M, avg D/U ratio in block was 22.1%)
Sun May 13 12:56:16 2012 38.0M unique relns 4.77M duplicate relns (+0.10M, avg D/U ratio in block was 20.8%)
Sun May 13 12:56:21 2012 38.5M unique relns 4.88M duplicate relns (+0.11M, avg D/U ratio in block was 22.0%)
Sun May 13 12:56:26 2012 39.0M unique relns 5.02M duplicate relns (+0.14M, avg D/U ratio in block was 28.5%)
Sun May 13 12:56:31 2012 39.5M unique relns 5.15M duplicate relns (+0.13M, avg D/U ratio in block was 26.3%)
[snip]
Sun May 13 12:59:11 2012 55.0M unique relns 9.95M duplicate relns (+0.18M, avg D/U ratio in block was 36.8%)
Sun May 13 12:59:16 2012 55.5M unique relns 10.13M duplicate relns (+0.18M, avg D/U ratio in block was 35.7%)
Sun May 13 12:59:22 2012 56.0M unique relns 10.33M duplicate relns (+0.20M, avg D/U ratio in block was 40.1%)
Sun May 13 12:59:27 2012 56.5M unique relns 10.49M duplicate relns (+0.16M, avg D/U ratio in block was 32.4%)
Sun May 13 12:59:32 2012 57.0M unique relns 10.69M duplicate relns (+0.20M, avg D/U ratio in block was 39.4%)
Sun May 13 12:59:37 2012 57.5M unique relns 10.89M duplicate relns (+0.20M, avg D/U ratio in block was 40.7%)
Sun May 13 12:59:43 2012 58.0M unique relns 11.11M duplicate relns (+0.22M, avg D/U ratio in block was 44.6%)
Sun May 13 12:59:48 2012 58.5M unique relns 11.33M duplicate relns (+0.22M, avg D/U ratio in block was 44.0%)
Sun May 13 12:59:53 2012 59.0M unique relns 11.56M duplicate relns (+0.23M, avg D/U ratio in block was 45.6%)
Sun May 13 12:59:59 2012 59.5M unique relns 11.77M duplicate relns (+0.21M, avg D/U ratio in block was 41.5%)
Sun May 13 13:00:06 2012 60.0M unique relns 11.98M duplicate relns (+0.21M, avg D/U ratio in block was 41.9%)
Sun May 13 13:00:11 2012 60.5M unique relns 12.19M duplicate relns (+0.21M, avg D/U ratio in block was 43.0%)
Sun May 13 13:00:17 2012 61.0M unique relns 12.46M duplicate relns (+0.27M, avg D/U ratio in block was 53.3%)
Sun May 13 13:00:23 2012 61.5M unique relns 12.72M duplicate relns (+0.26M, avg D/U ratio in block was 51.3%)
Sun May 13 13:00:28 2012 62.0M unique relns 12.97M duplicate relns (+0.25M, avg D/U ratio in block was 50.8%)
Sun May 13 13:00:34 2012 62.5M unique relns 13.19M duplicate relns (+0.22M, avg D/U ratio in block was 44.1%)
Sun May 13 13:00:40 2012 63.0M unique relns 13.40M duplicate relns (+0.21M, avg D/U ratio in block was 42.8%)
Sun May 13 13:00:45 2012 63.5M unique relns 13.63M duplicate relns (+0.22M, avg D/U ratio in block was 44.2%)
Sun May 13 13:00:51 2012 64.0M unique relns 13.87M duplicate relns (+0.25M, avg D/U ratio in block was 49.7%)
Sun May 13 13:00:57 2012 64.5M unique relns 14.11M duplicate relns (+0.23M, avg D/U ratio in block was 46.5%)
Sun May 13 13:01:03 2012 65.0M unique relns 14.35M duplicate relns (+0.24M, avg D/U ratio in block was 48.5%)
Sun May 13 13:01:09 2012 65.5M unique relns 14.60M duplicate relns (+0.25M, avg D/U ratio in block was 50.9%)
Sun May 13 13:01:14 2012 66.0M unique relns 14.84M duplicate relns (+0.24M, avg D/U ratio in block was 47.8%)
Found 66222272 unique, 14957313 duplicate (18.4% of total), and 7 bad relations.
Largest dimension used: 267 of 450
Average dimension used: 202.1 of 450
Terminating program at Sun May 13 13:01:17 2012[/code]

The duplicate rate remains below 20%, I've seen worse.
Linear projection indicates that ~12.5M raw relations remain to be returned; the number should be between 10M and 11.5M raw relations, 35-40% of which could be unique, so the raw dataset will exceed 70M unique relations.

[QUOTE=debrouxl;299327]Yeah, 79_113_minus1 might be of some interest to jasonp, jrk or somebody else :smile:[/QUOTE]
I would like to reserve 79_113_minus1.

So, can I reserve 683_73_minus1 or should I take 2083_67_minus1 instead?