[quote=Andi47;144210]For me, approx. 139.64M to 140M will be left over.[/quote]

ok, I'll do 139.65M to 140M.

[QUOTE=bsquared;144207]How much will be left over? I can help out if you want.[/QUOTE]I'll finish 90M-96M and 99M-100M (most of it already uploaded).

Most of 96M-99M is sieving at the moment, but i can't finish all ranges on time. Sieving during office hours has a significant impact on VMWare servers so those i can only run at night (if i have time/won't forget to start them)

I won't be able to start on 96.5M-97.0M and 98.5M-99M

[quote=smh;144246]
I won't be able to start on 96.5M-97.0M and 98.5M-99M[/quote]

Ok, I'll do these.

I have just started to upload my files.

I've uploaded whatever i had done on my range.

Thanks very much; I've got everything now.

[code]
16:24:06 fivemack@kolmogorov:/mnt/scratch/5-421-linalg$ ls -l
total 42751044
-rw-r--r-- 1 fivemack fivemack 183 2008-10-03 15:37 firstline.dat
-rw-r--r-- 1 fivemack fivemack 43734291375 2008-10-03 16:25 msieve.dat
-rw-r--r-- 1 fivemack fivemack 428 2008-10-03 15:37 msieve.fb
-rw-r--r-- 1 fivemack fivemack 181 2008-10-03 15:37 worktodo.ini
16:25:25 fivemack@kolmogorov:/mnt/scratch/5-421-linalg$ wc -l msieve.dat
382793051 msieve.dat
[/code]

I'm just finishing off the sieving for 10^259+1, so I'll start the filtering tomorrow morning; with luck and a following wind, there'll be a matrix by Monday lunchtime when I leave the country.

Don't forget to change LOG2_DUP_HASHTABLE1_SIZE in gnfs/filter/duplicate.c to 31, and probably increment LOG2_DUP_HASHTABLE2_SIZE once or twice. This will drastically reduce the memory use of the duplicate removal, and with 383M relations that's a [i]good[/i] idea.

Tom, do you have another computer node called "smirnov"?
[SIZE=1](Not to be confused with Smirnoff; ...that would be yet another node.)[/SIZE]

[QUOTE=Batalov;144413]Tom, do you have another computer node called "smirnov"?
[SIZE=1](Not to be confused with Smirnoff; ...that would be yet another node.)[/SIZE][/QUOTE]

My other nodes are 'sheep' and 'pig', since it's a compute farm; 'goat' got put out to pasture a few months ago, a dual-core just doesn't have the horsepower to compete.

Kolmogorov studied computational complexity, so at any moment my most complex computer is named after him - when I get a new one, the data and the name go along, and the old one turns into an animal and joins the farm.

How much store?
 

How much RAM is in the machine solving this matrix? :popcorn:

...and what's you L2 size? 2M standard in family 10, is it? I always see it in Childers/Dodson logs ("using block size 65536 for processor cache size 2048 kB") and salivate. My cpus have 1M only.

Did you read a follow-up in "Y.A.B.Wiedeman" [URL="http://www.mersenneforum.org/showpost.php?p=144370&postcount=18"]thread[/URL]? well, you'll be there at CADO... :envy:

________________

P.S. To me as a Pink Floyd-fed fanatic, the obvious animal complementing sheeps and pigs - is dogs. (with nods to Orwell, of course)

[SIZE=1]You gotta be crazy, you gotta have a real need...[/SIZE] :whistle:
[SIZE=1]/this tune fits this project!/[/SIZE]

[QUOTE=FactorEyes;144421]How much RAM is in the machine solving this matrix? :popcorn:[/QUOTE]

8GB; with the extra sieving done on this project, I anticipate a matrix size around 16Mrows, taking about 6GB of store.

The machine is a standard Phenom box: one chip containing four 2.5GHz cores each with 512K cache, taking to a shared 2M cache, four 2GB sticks of DDR2/800 memory, about 180 watts when doing four-threaded linear algebra. It cost about 360 pounds; as I said in a thread elsewhere, it's the smallest, cheapest machine that could do the job by Christmas; there's no point in having more than barely enough memory.

(there's a story about Cunard, when the Queen Mary liner was launched:

'So, what was it that made you build the largest, fastest ship in the world?'

'I think of it as the smallest, slowest ship that could make a profit providing a weekly trans-Atlantic service')

[quote=Batalov;144434]...and what's you L2 size? 2M standard in family 10, is it? I always see it in Childers/Dodson logs ("using block size 65536 for processor cache size 2048 kB") and salivate. My cpus have 1M only.
[/quote]

The woodcrest CPU's that I use are nice in that regard as well.

[quote]Wed Jun 25 10:10:01 2008 using block size 65536 for processor cache size 4096 kB
[SIZE=2]Wed Jun 25 10:12:13 2008 commencing Lanczos iteration (4 threads)[/SIZE]
[SIZE=2]Wed Jun 25 10:12:13 2008 memory use: 3178.1 MB[/SIZE]
[/quote]

The above from 2,1598L.

[QUOTE=Batalov;144434]
Did you read a follow-up in "Y.A.B.Wiedeman" [URL="http://www.mersenneforum.org/showpost.php?p=144370&postcount=18"]thread[/URL]? well, you'll be there at CADO... :envy:[/quote]

I read it, and it's definitely very interesting; GPUs are blindingly fast but their problem has always been insufficient memory, and the Tesla S1070 has enough memory for matrices up to 25M^2, say SNFS 280 or GNFS 190. A lot depends on the price; I've seen $8000 as an estimate, which is cheap enough that I don't believe it for a moment.

I'm a bit curious that the example sparse matrices in [url]http://www.mersenneforum.org/showpost.php?p=139353&postcount=15[/url] are so sparse, and that the ten-per-row takes four times longer than the seven-per-row, but I assume there will be more interesting timing information at CADO. Optimistically, on the S1070, you could do a 25Mrow weight-70 matrix-vector multiply in 0.004s * (1750/28) (entries) / 4 (processors) ~ 0.075 second, you need a few hundred thousand of those to get the input for block-Weidemann, but that's something between six hours and half a day.

Which means you want a supply of one 190-digit GNFS problem every six hours, and sieving capability capable of doing 25 CPU-years every six hours, which is about the total capability of current GIMPS! 1GB/core machines are now pretty ubiquitous, but gnfs-lasieve4I15e (not to even contemplate 16e) is still a much heavier program than prime95, so a harder sell to people who want a background job.

And if you want to do a bigger job, I suspect the S1070 is not quite the right node to use in a cluster; suppose I've been over-optimistic and a 25M matrix-vector op takes 0.1 seconds, it still generates 25M*128 bits = 400Mbytes which needs to be transmitted down rows and across columns, and over 10Gbit ethernet (the cards for which are now a not-absurd $900) that transfer takes 0.3 seconds. On the other hand there's probably nothing a third the speed of the S1070 with the same memory capacity, so you have to accept the slight inefficiency.

I suspect this will be a major topic at CADO, I will be very interested to see what it converges to. A lot depends on whether clusters built for doing huge Wiedemann jobs turn out to be things you could get the engineering department to pay for for huge fluid-dynamic jobs, and run the linalg for a 1024-bit SNFS over the weekend when they're not designing ramjet combusters; I don't know if there are open organisations that would provide six figures of funding for factorising numbers.

After a bit of grovelling around, it looks as if the cheapest adequate-performance cluster link is SDR Infiniband. The cards are $125 from Colfax Direct, and an eight-port switch is $750, as compared to 'free on the motherboard' and $40 for gigabit ethernet, but it's the only high-speed link (1Gbyte/second) I've found that doesn't cost much more than a quad-core CPU.

Here we go ...
 

[code]
Sun Oct 5 11:34:14 2008 Msieve v. 1.38
Sun Oct 5 11:34:14 2008 random seeds: de557d1b 1764b796
Sun Oct 5 11:34:14 2008 factoring 856747567165509732120757534754047466186338557004916269612235956443230634437193149247989845404816349224130750819510131856088353227722964229252203600736528648205287332264407802189199 (180 digits)
Sun Oct 5 11:34:15 2008 no P-1/P+1/ECM available, skipping
Sun Oct 5 11:34:15 2008 commencing number field sieve (180-digit input)
Sun Oct 5 11:34:15 2008 R0: -10823715308709192191932199683059669
Sun Oct 5 11:34:15 2008 R1: 46531574816134967669
Sun Oct 5 11:34:15 2008 A0: -5682335232801110703624206006414844672400
Sun Oct 5 11:34:15 2008 A1: 14831413561315809659995278076458170
Sun Oct 5 11:34:15 2008 A2: 16917954271985164657592650551
Sun Oct 5 11:34:15 2008 A3: -23832471548163085528052
Sun Oct 5 11:34:15 2008 A4: -12525357190853198
Sun Oct 5 11:34:15 2008 A5: 5767280580
Sun Oct 5 11:34:15 2008 size score = 1.661442e-18, Murphy alpha = -5.362108, combined = 9.924988e-18
Sun Oct 5 11:34:15 2008
Sun Oct 5 11:34:15 2008 commencing linear algebra
Sun Oct 5 11:34:23 2008 read 16983811 cycles
Sun Oct 5 11:38:12 2008 cycles contain 42718946 unique relations
Sun Oct 5 11:55:57 2008 read 42718946 relations
Sun Oct 5 11:59:45 2008 using 32 quadratic characters above 4294965768
Sun Oct 5 12:10:30 2008 building initial matrix
Sun Oct 5 13:42:48 2008 memory use: 5917.1 MB
Sun Oct 5 13:43:02 2008 read 16983811 cycles
Sun Oct 5 13:44:30 2008 matrix is 16981887 x 16983811 (5080.2 MB) with weight 1647336740 (96.99/col)
Sun Oct 5 13:44:30 2008 sparse part has weight 1127938617 (66.41/col)
Sun Oct 5 13:59:41 2008 filtering completed in 3 passes
Sun Oct 5 13:59:46 2008 matrix is 16926696 x 16926896 (5072.0 MB) with weight 1644282592 (97.14/col)
Sun Oct 5 13:59:46 2008 sparse part has weight 1126464718 (66.55/col)
Sun Oct 5 14:03:45 2008 read 16926896 cycles
Sun Oct 5 14:04:41 2008 matrix is 16926696 x 16926896 (5072.0 MB) with weight 1644282592 (97.14/col)
Sun Oct 5 14:04:41 2008 sparse part has weight 1126464718 (66.55/col)
Sun Oct 5 14:04:42 2008 saving the first 48 matrix rows for later
Sun Oct 5 14:04:50 2008 matrix is 16926648 x 16926896 (4903.9 MB) with weight 1274502890 (75.29/col)
Sun Oct 5 14:04:50 2008 sparse part has weight 1116264757 (65.95/col)
Sun Oct 5 14:04:50 2008 matrix includes 64 packed rows
Sun Oct 5 14:04:50 2008 using block size 65536 for processor cache size 2048 kB
Sun Oct 5 14:06:22 2008 commencing Lanczos iteration (4 threads)
Sun Oct 5 14:06:22 2008 memory use: 5145.6 MB
[/code]

So the extra sieving has given us a nice reasonable-sized matrix, which I expect to be finished by the end of November. The filtering log is below, because uploading it as an attachment didn't seem to work.

[code]
Fri Oct 3 21:17:49 2008
Fri Oct 3 21:17:49 2008
Fri Oct 3 21:17:49 2008 Msieve v. 1.38
Fri Oct 3 21:17:49 2008 random seeds: 915b36e5 1fdfcf3e
Fri Oct 3 21:17:49 2008 factoring 856747567165509732120757534754047466186338557004916269612235956443230634437193149247989845404816349224130750819510131856088353227722964229252203600736528648205287332264407802189199 (180 digits)
Fri Oct 3 21:17:51 2008 no P-1/P+1/ECM available, skipping
Fri Oct 3 21:17:51 2008 commencing number field sieve (180-digit input)
Fri Oct 3 21:17:51 2008 R0: -10823715308709192191932199683059669
Fri Oct 3 21:17:51 2008 R1: 46531574816134967669
Fri Oct 3 21:17:51 2008 A0: -5682335232801110703624206006414844672400
Fri Oct 3 21:17:51 2008 A1: 14831413561315809659995278076458170
Fri Oct 3 21:17:51 2008 A2: 16917954271985164657592650551
Fri Oct 3 21:17:51 2008 A3: -23832471548163085528052
Fri Oct 3 21:17:51 2008 A4: -12525357190853198
Fri Oct 3 21:17:51 2008 A5: 5767280580
Fri Oct 3 21:17:51 2008 size score = 1.661442e-18, Murphy alpha = -5.362108, combined = 9.924988e-18
Fri Oct 3 21:17:51 2008
Fri Oct 3 21:17:51 2008 commencing relation filtering
Fri Oct 3 21:17:51 2008 commencing duplicate removal, pass 1
Fri Oct 3 22:16:12 2008 found 83678948 hash collisions in 382017530 relations
Fri Oct 3 22:17:27 2008 added 117435 free relations
Fri Oct 3 22:17:27 2008 commencing duplicate removal, pass 2
Fri Oct 3 22:24:35 2008 found 80406920 duplicates and 301728045 unique relations
Fri Oct 3 22:24:35 2008 memory use: 2195.0 MB
Fri Oct 3 22:24:36 2008 reading rational ideals above 339804160
Fri Oct 3 22:24:36 2008 reading algebraic ideals above 339804160
Fri Oct 3 22:24:36 2008 commencing singleton removal, pass 1
Fri Oct 3 23:11:31 2008 relations with 0 large ideals: 17684267
Fri Oct 3 23:11:31 2008 relations with 1 large ideals: 72879076
Fri Oct 3 23:11:31 2008 relations with 2 large ideals: 116996057
Fri Oct 3 23:11:31 2008 relations with 3 large ideals: 76385719
Fri Oct 3 23:11:31 2008 relations with 4 large ideals: 17768013
Fri Oct 3 23:11:31 2008 relations with 5 large ideals: 14814
Fri Oct 3 23:11:31 2008 relations with 6 large ideals: 99
Fri Oct 3 23:11:31 2008 relations with 7+ large ideals: 0
Fri Oct 3 23:11:31 2008 301728045 relations and about 108858095 large ideals
Fri Oct 3 23:11:31 2008 commencing singleton removal, pass 2
Fri Oct 3 23:59:52 2008 found 13640069 singletons
Fri Oct 3 23:59:52 2008 current dataset: 288087976 relations and about 94992249 large ideals
Fri Oct 3 23:59:52 2008 commencing singleton removal, pass 3
Sat Oct 4 00:45:43 2008 relations with 0 large ideals: 17684267
Sat Oct 4 00:45:43 2008 relations with 1 large ideals: 71154201
Sat Oct 4 00:45:43 2008 relations with 2 large ideals: 111606635
Sat Oct 4 00:45:43 2008 relations with 3 large ideals: 71354083
Sat Oct 4 00:45:43 2008 relations with 4 large ideals: 16275093
Sat Oct 4 00:45:43 2008 relations with 5 large ideals: 13610
Sat Oct 4 00:45:43 2008 relations with 6 large ideals: 87
Sat Oct 4 00:45:43 2008 relations with 7+ large ideals: 0
Sat Oct 4 00:45:43 2008 288087976 relations and about 144385603 large ideals
Sat Oct 4 00:45:43 2008 commencing singleton removal, pass 4
Sat Oct 4 01:32:18 2008 found 28160395 singletons
Sat Oct 4 01:32:18 2008 current dataset: 259927581 relations and about 115178376 large ideals
Sat Oct 4 01:32:19 2008 commencing singleton removal, pass 5
Sat Oct 4 02:14:03 2008 relations with 0 large ideals: 17684267
Sat Oct 4 02:14:03 2008 relations with 1 large ideals: 67422435
Sat Oct 4 02:14:03 2008 relations with 2 large ideals: 100339765
Sat Oct 4 02:14:03 2008 relations with 3 large ideals: 61145267
Sat Oct 4 02:14:03 2008 relations with 4 large ideals: 13324442
Sat Oct 4 02:14:03 2008 relations with 5 large ideals: 11331
Sat Oct 4 02:14:03 2008 relations with 6 large ideals: 74
Sat Oct 4 02:14:03 2008 relations with 7+ large ideals: 0
Sat Oct 4 02:14:03 2008 259927581 relations and about 149698788 large ideals
Sat Oct 4 02:14:03 2008 commencing singleton removal, pass 6
Sat Oct 4 02:56:36 2008 found 27764368 singletons
Sat Oct 4 02:56:36 2008 current dataset: 232163213 relations and about 120786391 large ideals
Sat Oct 4 02:56:37 2008 commencing singleton removal, pass 7
Sat Oct 4 03:34:59 2008 found 4250335 singletons
Sat Oct 4 03:34:59 2008 current dataset: 227912878 relations and about 116503669 large ideals
Sat Oct 4 03:34:59 2008 commencing singleton removal, pass 8
Sat Oct 4 04:12:43 2008 found 552522 singletons
Sat Oct 4 04:12:43 2008 current dataset: 227360356 relations and about 115950540 large ideals
Sat Oct 4 04:12:44 2008 commencing singleton removal, pass 9
Sat Oct 4 04:50:23 2008 found 64160 singletons
Sat Oct 4 04:50:23 2008 current dataset: 227296196 relations and about 115886366 large ideals
Sat Oct 4 04:50:24 2008 commencing singleton removal, final pass
Sat Oct 4 06:12:01 2008 memory use: 3361.0 MB
Sat Oct 4 06:12:01 2008 commencing in-memory singleton removal
Sat Oct 4 06:12:34 2008 begin with 227296196 relations and 140200841 unique ideals
Sat Oct 4 06:19:04 2008 reduce to 209403509 relations and 121973435 ideals in 12 passes
Sat Oct 4 06:19:04 2008 max relations containing the same ideal: 37
Sat Oct 4 06:19:42 2008 reading rational ideals above 720000
Sat Oct 4 06:19:42 2008 reading algebraic ideals above 720000
Sat Oct 4 06:19:42 2008 commencing singleton removal, final pass
Sat Oct 4 11:44:08 2008 keeping 142124980 ideals with weight <= 20, new excess is 16389705
Sat Oct 4 11:48:49 2008 memory use: 5161.8 MB
Sat Oct 4 11:48:55 2008 commencing in-memory singleton removal
Sat Oct 4 11:49:32 2008 begin with 209403509 relations and 142124980 unique ideals
Sat Oct 4 11:55:30 2008 reduce to 209177428 relations and 141898850 ideals in 9 passes
Sat Oct 4 11:55:30 2008 max relations containing the same ideal: 20
Sat Oct 4 11:58:21 2008 removing 3247341 relations and 2847341 ideals in 400000 cliques
Sat Oct 4 11:58:25 2008 commencing in-memory singleton removal
Sat Oct 4 11:59:01 2008 begin with 205930087 relations and 141898850 unique ideals
Sat Oct 4 12:02:50 2008 reduce to 205907754 relations and 139029125 ideals in 6 passes
Sat Oct 4 12:02:50 2008 max relations containing the same ideal: 20
Sat Oct 4 12:05:37 2008 removing 2499527 relations and 2099527 ideals in 400000 cliques
Sat Oct 4 12:05:42 2008 commencing in-memory singleton removal
Sat Oct 4 12:06:16 2008 begin with 203408227 relations and 139029125 unique ideals
Sat Oct 4 12:09:25 2008 reduce to 203393942 relations and 136915283 ideals in 5 passes
Sat Oct 4 12:09:25 2008 max relations containing the same ideal: 20
Sat Oct 4 12:12:09 2008 removing 2250277 relations and 1850277 ideals in 400000 cliques
Sat Oct 4 12:12:14 2008 commencing in-memory singleton removal
Sat Oct 4 12:12:48 2008 begin with 201143665 relations and 136915283 unique ideals
Sat Oct 4 12:15:53 2008 reduce to 201131700 relations and 135053018 ideals in 5 passes
Sat Oct 4 12:15:53 2008 max relations containing the same ideal: 20
Sat Oct 4 12:18:34 2008 removing 2094739 relations and 1694739 ideals in 400000 cliques
Sat Oct 4 12:18:38 2008 commencing in-memory singleton removal
Sat Oct 4 12:19:12 2008 begin with 199036961 relations and 135053018 unique ideals
Sat Oct 4 12:22:14 2008 reduce to 199025877 relations and 133347179 ideals in 5 passes
Sat Oct 4 12:22:14 2008 max relations containing the same ideal: 20
Sat Oct 4 12:24:55 2008 removing 1989745 relations and 1589745 ideals in 400000 cliques
Sat Oct 4 12:24:59 2008 commencing in-memory singleton removal
Sat Oct 4 12:25:33 2008 begin with 197036132 relations and 133347179 unique ideals
Sat Oct 4 12:29:15 2008 reduce to 197025988 relations and 131747265 ideals in 6 passes
Sat Oct 4 12:29:15 2008 max relations containing the same ideal: 20
Sat Oct 4 12:31:56 2008 removing 1908609 relations and 1508609 ideals in 400000 cliques
Sat Oct 4 12:32:00 2008 commencing in-memory singleton removal
Sat Oct 4 12:32:33 2008 begin with 195117379 relations and 131747265 unique ideals
Sat Oct 4 12:35:33 2008 reduce to 195108187 relations and 130229451 ideals in 5 passes
Sat Oct 4 12:35:33 2008 max relations containing the same ideal: 20
Sat Oct 4 12:38:12 2008 removing 1844299 relations and 1444299 ideals in 400000 cliques
Sat Oct 4 12:38:17 2008 commencing in-memory singleton removal
Sat Oct 4 12:38:50 2008 begin with 193263888 relations and 130229451 unique ideals
Sat Oct 4 12:41:50 2008 reduce to 193255195 relations and 128776444 ideals in 5 passes
Sat Oct 4 12:41:50 2008 max relations containing the same ideal: 20
Sat Oct 4 12:44:27 2008 removing 1784304 relations and 1384304 ideals in 400000 cliques
Sat Oct 4 12:44:31 2008 commencing in-memory singleton removal
Sat Oct 4 12:45:04 2008 begin with 191470891 relations and 128776444 unique ideals
Sat Oct 4 12:48:01 2008 reduce to 191461761 relations and 127382994 ideals in 5 passes
Sat Oct 4 12:48:01 2008 max relations containing the same ideal: 20
Sat Oct 4 12:50:32 2008 removing 1730633 relations and 1330633 ideals in 400000 cliques
Sat Oct 4 12:50:36 2008 commencing in-memory singleton removal
Sat Oct 4 12:51:09 2008 begin with 189731128 relations and 127382994 unique ideals
Sat Oct 4 12:54:05 2008 reduce to 189722883 relations and 126044100 ideals in 5 passes
Sat Oct 4 12:54:05 2008 max relations containing the same ideal: 20
Sat Oct 4 12:56:38 2008 removing 1698149 relations and 1298149 ideals in 400000 cliques
Sat Oct 4 12:56:42 2008 commencing in-memory singleton removal
Sat Oct 4 12:57:15 2008 begin with 188024734 relations and 126044100 unique ideals
Sat Oct 4 13:00:10 2008 reduce to 188016741 relations and 124737936 ideals in 5 passes
Sat Oct 4 13:00:10 2008 max relations containing the same ideal: 20
Sat Oct 4 13:02:41 2008 removing 1668227 relations and 1268227 ideals in 400000 cliques
Sat Oct 4 13:02:45 2008 commencing in-memory singleton removal
Sat Oct 4 13:03:17 2008 begin with 186348514 relations and 124737936 unique ideals
Sat Oct 4 13:06:44 2008 reduce to 186340734 relations and 123461915 ideals in 6 passes
Sat Oct 4 13:06:44 2008 max relations containing the same ideal: 20
Sat Oct 4 13:09:13 2008 removing 1636586 relations and 1236586 ideals in 400000 cliques
Sat Oct 4 13:09:17 2008 commencing in-memory singleton removal
Sat Oct 4 13:09:49 2008 begin with 184704148 relations and 123461915 unique ideals
Sat Oct 4 13:12:38 2008 reduce to 184696221 relations and 122217383 ideals in 5 passes
Sat Oct 4 13:12:38 2008 max relations containing the same ideal: 20
Sat Oct 4 13:15:06 2008 removing 1593459 relations and 1193459 ideals in 400000 cliques
Sat Oct 4 13:15:10 2008 commencing in-memory singleton removal
Sat Oct 4 13:15:41 2008 begin with 183102762 relations and 122217383 unique ideals
Sat Oct 4 13:17:56 2008 reduce to 183094161 relations and 121015302 ideals in 4 passes
Sat Oct 4 13:17:56 2008 max relations containing the same ideal: 20
Sat Oct 4 13:20:22 2008 removing 1595959 relations and 1195959 ideals in 400000 cliques
Sat Oct 4 13:20:26 2008 commencing in-memory singleton removal
Sat Oct 4 13:20:57 2008 begin with 181498202 relations and 121015302 unique ideals
Sat Oct 4 13:23:41 2008 reduce to 181491966 relations and 119813093 ideals in 5 passes
Sat Oct 4 13:23:41 2008 max relations containing the same ideal: 20
Sat Oct 4 13:26:01 2008 removing 1562225 relations and 1162225 ideals in 400000 cliques
Sat Oct 4 13:26:05 2008 commencing in-memory singleton removal
Sat Oct 4 13:26:34 2008 begin with 179929741 relations and 119813093 unique ideals
Sat Oct 4 13:29:12 2008 reduce to 179923313 relations and 118644424 ideals in 5 passes
Sat Oct 4 13:29:12 2008 max relations containing the same ideal: 20
Sat Oct 4 13:31:31 2008 removing 1516822 relations and 1116822 ideals in 400000 cliques
Sat Oct 4 13:31:35 2008 commencing in-memory singleton removal
Sat Oct 4 13:32:04 2008 begin with 178406491 relations and 118644424 unique ideals
Sat Oct 4 13:34:42 2008 reduce to 178398645 relations and 117519736 ideals in 5 passes
Sat Oct 4 13:34:42 2008 max relations containing the same ideal: 20
Sat Oct 4 13:36:59 2008 removing 1541226 relations and 1141226 ideals in 400000 cliques
Sat Oct 4 13:37:02 2008 commencing in-memory singleton removal
Sat Oct 4 13:37:31 2008 begin with 176857419 relations and 117519736 unique ideals
Sat Oct 4 13:40:06 2008 reduce to 176850969 relations and 116372043 ideals in 5 passes
Sat Oct 4 13:40:06 2008 max relations containing the same ideal: 20
Sat Oct 4 13:42:22 2008 removing 1492097 relations and 1092097 ideals in 400000 cliques
Sat Oct 4 13:42:25 2008 commencing in-memory singleton removal
Sat Oct 4 13:42:54 2008 begin with 175358872 relations and 116372043 unique ideals
Sat Oct 4 13:44:57 2008 reduce to 175351337 relations and 115272396 ideals in 4 passes
Sat Oct 4 13:44:57 2008 max relations containing the same ideal: 20
Sat Oct 4 13:47:11 2008 removing 1497210 relations and 1097210 ideals in 400000 cliques
Sat Oct 4 13:47:15 2008 commencing in-memory singleton removal
Sat Oct 4 13:47:43 2008 begin with 173854127 relations and 115272396 unique ideals
Sat Oct 4 13:49:45 2008 reduce to 173847145 relations and 114168178 ideals in 4 passes
Sat Oct 4 13:49:45 2008 max relations containing the same ideal: 20
Sat Oct 4 13:51:58 2008 removing 1468189 relations and 1068189 ideals in 400000 cliques
Sat Oct 4 13:52:02 2008 commencing in-memory singleton removal
Sat Oct 4 13:52:29 2008 begin with 172378956 relations and 114168178 unique ideals
Sat Oct 4 13:54:32 2008 reduce to 172371196 relations and 113092207 ideals in 4 passes
Sat Oct 4 13:54:32 2008 max relations containing the same ideal: 20
Sat Oct 4 13:56:45 2008 removing 1426103 relations and 1026103 ideals in 400000 cliques
Sat Oct 4 13:56:48 2008 commencing in-memory singleton removal
Sat Oct 4 13:57:17 2008 begin with 170945093 relations and 113092207 unique ideals
Sat Oct 4 13:59:19 2008 reduce to 170935976 relations and 112056958 ideals in 4 passes
Sat Oct 4 13:59:19 2008 max relations containing the same ideal: 20
Sat Oct 4 14:01:31 2008 removing 1467023 relations and 1067023 ideals in 400000 cliques
Sat Oct 4 14:01:35 2008 commencing in-memory singleton removal
Sat Oct 4 14:02:02 2008 begin with 169468953 relations and 112056958 unique ideals
Sat Oct 4 14:04:01 2008 reduce to 169462886 relations and 110983846 ideals in 4 passes
Sat Oct 4 14:04:01 2008 max relations containing the same ideal: 20
Sat Oct 4 14:06:12 2008 removing 1395102 relations and 995102 ideals in 400000 cliques
Sat Oct 4 14:06:15 2008 commencing in-memory singleton removal
Sat Oct 4 14:06:42 2008 begin with 168067784 relations and 110983846 unique ideals
Sat Oct 4 14:08:42 2008 reduce to 168060779 relations and 109981724 ideals in 4 passes
Sat Oct 4 14:08:42 2008 max relations containing the same ideal: 20
Sat Oct 4 14:10:51 2008 removing 1418077 relations and 1018077 ideals in 400000 cliques
Sat Oct 4 14:10:54 2008 commencing in-memory singleton removal
Sat Oct 4 14:11:21 2008 begin with 166642702 relations and 109981724 unique ideals
Sat Oct 4 14:13:48 2008 reduce to 166636346 relations and 108957271 ideals in 5 passes
Sat Oct 4 14:13:48 2008 max relations containing the same ideal: 20
Sat Oct 4 14:15:55 2008 removing 1391702 relations and 991702 ideals in 400000 cliques
Sat Oct 4 14:15:58 2008 commencing in-memory singleton removal
Sat Oct 4 14:16:26 2008 begin with 165244644 relations and 108957271 unique ideals
Sat Oct 4 14:18:21 2008 reduce to 165237531 relations and 107958432 ideals in 4 passes
Sat Oct 4 14:18:21 2008 max relations containing the same ideal: 20
Sat Oct 4 14:20:28 2008 removing 1377590 relations and 977590 ideals in 400000 cliques
Sat Oct 4 14:20:31 2008 commencing in-memory singleton removal
Sat Oct 4 14:20:58 2008 begin with 163859941 relations and 107958432 unique ideals
Sat Oct 4 14:22:54 2008 reduce to 163852368 relations and 106973248 ideals in 4 passes
Sat Oct 4 14:22:54 2008 max relations containing the same ideal: 20
Sat Oct 4 14:24:59 2008 removing 1353443 relations and 953443 ideals in 400000 cliques
Sat Oct 4 14:25:02 2008 commencing in-memory singleton removal
Sat Oct 4 14:25:28 2008 begin with 162498925 relations and 106973248 unique ideals
Sat Oct 4 14:27:20 2008 reduce to 162490698 relations and 106011546 ideals in 4 passes
Sat Oct 4 14:27:20 2008 max relations containing the same ideal: 20
Sat Oct 4 14:29:23 2008 removing 1387943 relations and 987943 ideals in 400000 cliques
Sat Oct 4 14:29:26 2008 commencing in-memory singleton removal
Sat Oct 4 14:29:52 2008 begin with 161102755 relations and 106011546 unique ideals
Sat Oct 4 14:31:43 2008 reduce to 161095900 relations and 105016728 ideals in 4 passes
Sat Oct 4 14:31:43 2008 max relations containing the same ideal: 20
Sat Oct 4 14:33:46 2008 removing 1366299 relations and 966299 ideals in 400000 cliques
Sat Oct 4 14:33:49 2008 commencing in-memory singleton removal
Sat Oct 4 14:34:15 2008 begin with 159729601 relations and 105016728 unique ideals
Sat Oct 4 14:36:33 2008 reduce to 159722720 relations and 104043527 ideals in 5 passes
Sat Oct 4 14:36:33 2008 max relations containing the same ideal: 20
Sat Oct 4 14:38:34 2008 removing 1344963 relations and 944963 ideals in 400000 cliques
Sat Oct 4 14:38:37 2008 commencing in-memory singleton removal
Sat Oct 4 14:39:02 2008 begin with 158377757 relations and 104043527 unique ideals
Sat Oct 4 14:40:44 2008 reduce to 158370337 relations and 103091126 ideals in 4 passes
Sat Oct 4 14:40:44 2008 max relations containing the same ideal: 20
Sat Oct 4 14:42:35 2008 removing 1340708 relations and 940708 ideals in 400000 cliques
Sat Oct 4 14:42:38 2008 commencing in-memory singleton removal
Sat Oct 4 14:43:01 2008 begin with 157029629 relations and 103091126 unique ideals
Sat Oct 4 14:44:41 2008 reduce to 157021954 relations and 102142708 ideals in 4 passes
Sat Oct 4 14:44:41 2008 max relations containing the same ideal: 20
Sat Oct 4 14:46:31 2008 removing 1341070 relations and 941070 ideals in 400000 cliques
Sat Oct 4 14:46:34 2008 commencing in-memory singleton removal
Sat Oct 4 14:46:57 2008 begin with 155680884 relations and 102142708 unique ideals
Sat Oct 4 14:48:37 2008 reduce to 155673418 relations and 101194135 ideals in 4 passes
Sat Oct 4 14:48:37 2008 max relations containing the same ideal: 20
Sat Oct 4 14:50:26 2008 removing 1327992 relations and 927992 ideals in 400000 cliques
Sat Oct 4 14:50:29 2008 commencing in-memory singleton removal
Sat Oct 4 14:50:51 2008 begin with 154345426 relations and 101194135 unique ideals
Sat Oct 4 14:52:30 2008 reduce to 154337532 relations and 100258214 ideals in 4 passes
Sat Oct 4 14:52:30 2008 max relations containing the same ideal: 20
Sat Oct 4 14:54:17 2008 removing 1323112 relations and 923112 ideals in 400000 cliques
Sat Oct 4 14:54:20 2008 commencing in-memory singleton removal
Sat Oct 4 14:54:43 2008 begin with 153014420 relations and 100258214 unique ideals
Sat Oct 4 14:56:20 2008 reduce to 153006353 relations and 99327000 ideals in 4 passes
Sat Oct 4 14:56:20 2008 max relations containing the same ideal: 20
Sat Oct 4 14:58:07 2008 removing 1311867 relations and 911867 ideals in 400000 cliques
Sat Oct 4 14:58:10 2008 commencing in-memory singleton removal
Sat Oct 4 14:58:32 2008 begin with 151694486 relations and 99327000 unique ideals
Sat Oct 4 15:00:08 2008 reduce to 151685881 relations and 98406480 ideals in 4 passes
Sat Oct 4 15:00:08 2008 max relations containing the same ideal: 20
Sat Oct 4 15:01:54 2008 removing 1304940 relations and 904940 ideals in 400000 cliques
Sat Oct 4 15:01:57 2008 commencing in-memory singleton removal
Sat Oct 4 15:02:18 2008 begin with 150380941 relations and 98406480 unique ideals
Sat Oct 4 15:03:53 2008 reduce to 150371846 relations and 97492397 ideals in 4 passes
Sat Oct 4 15:03:53 2008 max relations containing the same ideal: 20
Sat Oct 4 15:05:37 2008 removing 1283103 relations and 883103 ideals in 400000 cliques
Sat Oct 4 15:05:40 2008 commencing in-memory singleton removal
Sat Oct 4 15:06:02 2008 begin with 149088743 relations and 97492397 unique ideals
Sat Oct 4 15:07:36 2008 reduce to 149078852 relations and 96599351 ideals in 4 passes
Sat Oct 4 15:07:36 2008 max relations containing the same ideal: 20
Sat Oct 4 15:09:19 2008 removing 1298991 relations and 898991 ideals in 400000 cliques
Sat Oct 4 15:09:22 2008 commencing in-memory singleton removal
Sat Oct 4 15:09:43 2008 begin with 147779861 relations and 96599351 unique ideals
Sat Oct 4 15:11:16 2008 reduce to 147771811 relations and 95692260 ideals in 4 passes
Sat Oct 4 15:11:16 2008 max relations containing the same ideal: 20
Sat Oct 4 15:12:58 2008 removing 1287773 relations and 887773 ideals in 400000 cliques
Sat Oct 4 15:13:01 2008 commencing in-memory singleton removal
Sat Oct 4 15:13:22 2008 begin with 146484038 relations and 95692260 unique ideals
Sat Oct 4 15:14:54 2008 reduce to 146476624 relations and 94797022 ideals in 4 passes
Sat Oct 4 15:14:54 2008 max relations containing the same ideal: 20
Sat Oct 4 15:16:34 2008 removing 1275442 relations and 875442 ideals in 400000 cliques
Sat Oct 4 15:16:37 2008 commencing in-memory singleton removal
Sat Oct 4 15:16:58 2008 begin with 145201182 relations and 94797022 unique ideals
Sat Oct 4 15:18:29 2008 reduce to 145193899 relations and 93914253 ideals in 4 passes
Sat Oct 4 15:18:29 2008 max relations containing the same ideal: 20
Sat Oct 4 15:20:08 2008 removing 1262078 relations and 862078 ideals in 400000 cliques
Sat Oct 4 15:20:11 2008 commencing in-memory singleton removal
Sat Oct 4 15:20:32 2008 begin with 143931821 relations and 93914253 unique ideals
Sat Oct 4 15:22:24 2008 reduce to 143924141 relations and 93044455 ideals in 5 passes
Sat Oct 4 15:22:24 2008 max relations containing the same ideal: 20
Sat Oct 4 15:24:02 2008 removing 1263742 relations and 863742 ideals in 400000 cliques
Sat Oct 4 15:24:05 2008 commencing in-memory singleton removal
Sat Oct 4 15:24:25 2008 begin with 142660399 relations and 93044455 unique ideals
Sat Oct 4 15:26:16 2008 reduce to 142652607 relations and 92172873 ideals in 5 passes
Sat Oct 4 15:26:16 2008 max relations containing the same ideal: 20
Sat Oct 4 15:27:53 2008 removing 1268749 relations and 868749 ideals in 400000 cliques
Sat Oct 4 15:27:56 2008 commencing in-memory singleton removal
Sat Oct 4 15:28:16 2008 begin with 141383858 relations and 92172873 unique ideals
Sat Oct 4 15:30:05 2008 reduce to 141376526 relations and 91296752 ideals in 5 passes
Sat Oct 4 15:30:05 2008 max relations containing the same ideal: 20
Sat Oct 4 15:31:41 2008 removing 1251307 relations and 851307 ideals in 400000 cliques
Sat Oct 4 15:31:44 2008 commencing in-memory singleton removal
Sat Oct 4 15:32:04 2008 begin with 140125219 relations and 91296752 unique ideals
Sat Oct 4 15:33:30 2008 reduce to 140117690 relations and 90437874 ideals in 4 passes
Sat Oct 4 15:33:30 2008 max relations containing the same ideal: 20
Sat Oct 4 15:35:05 2008 removing 1260375 relations and 860375 ideals in 400000 cliques
Sat Oct 4 15:35:08 2008 commencing in-memory singleton removal
Sat Oct 4 15:35:28 2008 begin with 138857315 relations and 90437874 unique ideals
Sat Oct 4 15:36:53 2008 reduce to 138850148 relations and 89570300 ideals in 4 passes
Sat Oct 4 15:36:53 2008 max relations containing the same ideal: 20
Sat Oct 4 15:38:27 2008 removing 1249762 relations and 849762 ideals in 400000 cliques
Sat Oct 4 15:38:30 2008 commencing in-memory singleton removal
Sat Oct 4 15:38:49 2008 begin with 137600386 relations and 89570300 unique ideals
Sat Oct 4 15:40:35 2008 reduce to 137593124 relations and 88713246 ideals in 5 passes
Sat Oct 4 15:40:35 2008 max relations containing the same ideal: 20
Sat Oct 4 15:42:08 2008 removing 1243022 relations and 843022 ideals in 400000 cliques
Sat Oct 4 15:42:10 2008 commencing in-memory singleton removal
Sat Oct 4 15:42:29 2008 begin with 136350102 relations and 88713246 unique ideals
Sat Oct 4 15:43:53 2008 reduce to 136342606 relations and 87862694 ideals in 4 passes
Sat Oct 4 15:43:53 2008 max relations containing the same ideal: 20
Sat Oct 4 15:45:21 2008 removing 1236410 relations and 836410 ideals in 400000 cliques
Sat Oct 4 15:45:23 2008 commencing in-memory singleton removal
Sat Oct 4 15:45:41 2008 begin with 135106196 relations and 87862694 unique ideals
Sat Oct 4 15:47:20 2008 reduce to 135098331 relations and 87018384 ideals in 5 passes
Sat Oct 4 15:47:20 2008 max relations containing the same ideal: 20
Sat Oct 4 15:48:46 2008 removing 1226573 relations and 826573 ideals in 400000 cliques
Sat Oct 4 15:48:49 2008 commencing in-memory singleton removal
Sat Oct 4 15:49:07 2008 begin with 133871758 relations and 87018384 unique ideals
Sat Oct 4 15:50:24 2008 reduce to 133863481 relations and 86183493 ideals in 4 passes
Sat Oct 4 15:50:24 2008 max relations containing the same ideal: 20
Sat Oct 4 15:51:50 2008 removing 1209134 relations and 809134 ideals in 400000 cliques
Sat Oct 4 15:51:53 2008 commencing in-memory singleton removal
Sat Oct 4 15:52:10 2008 begin with 132654347 relations and 86183493 unique ideals
Sat Oct 4 15:53:47 2008 reduce to 132644999 relations and 85364972 ideals in 5 passes
Sat Oct 4 15:53:47 2008 max relations containing the same ideal: 20
Sat Oct 4 15:55:12 2008 removing 1252397 relations and 852397 ideals in 400000 cliques
Sat Oct 4 15:55:14 2008 commencing in-memory singleton removal
Sat Oct 4 15:55:32 2008 begin with 131392602 relations and 85364972 unique ideals
Sat Oct 4 15:56:48 2008 reduce to 131385079 relations and 84505018 ideals in 4 passes
Sat Oct 4 15:56:48 2008 max relations containing the same ideal: 20
Sat Oct 4 15:58:12 2008 removing 1242425 relations and 842425 ideals in 400000 cliques
Sat Oct 4 15:58:15 2008 commencing in-memory singleton removal
Sat Oct 4 15:58:32 2008 begin with 130142654 relations and 84505018 unique ideals
Sat Oct 4 15:59:47 2008 reduce to 130135940 relations and 83655843 ideals in 4 passes
Sat Oct 4 15:59:47 2008 max relations containing the same ideal: 20
Sat Oct 4 16:01:10 2008 removing 1229493 relations and 829493 ideals in 400000 cliques
Sat Oct 4 16:01:13 2008 commencing in-memory singleton removal
Sat Oct 4 16:01:30 2008 begin with 128906447 relations and 83655843 unique ideals
Sat Oct 4 16:02:44 2008 reduce to 128899507 relations and 82819373 ideals in 4 passes
Sat Oct 4 16:02:44 2008 max relations containing the same ideal: 20
Sat Oct 4 16:04:12 2008 removing 1226505 relations and 826505 ideals in 400000 cliques
Sat Oct 4 16:04:15 2008 commencing in-memory singleton removal
Sat Oct 4 16:04:34 2008 begin with 127673002 relations and 82819373 unique ideals
Sat Oct 4 16:05:52 2008 reduce to 127665867 relations and 81985702 ideals in 4 passes
Sat Oct 4 16:05:52 2008 max relations containing the same ideal: 20
Sat Oct 4 16:07:20 2008 removing 1223287 relations and 823287 ideals in 400000 cliques
Sat Oct 4 16:07:22 2008 commencing in-memory singleton removal
Sat Oct 4 16:07:40 2008 begin with 126442580 relations and 81985702 unique ideals
Sat Oct 4 16:09:01 2008 reduce to 126435144 relations and 81154939 ideals in 4 passes
Sat Oct 4 16:09:01 2008 max relations containing the same ideal: 20
Sat Oct 4 16:10:29 2008 removing 1216577 relations and 816577 ideals in 400000 cliques
Sat Oct 4 16:10:32 2008 commencing in-memory singleton removal
Sat Oct 4 16:10:50 2008 begin with 125218567 relations and 81154939 unique ideals
Sat Oct 4 16:12:07 2008 reduce to 125210864 relations and 80330612 ideals in 4 passes
Sat Oct 4 16:12:07 2008 max relations containing the same ideal: 20
Sat Oct 4 16:13:31 2008 removing 1202809 relations and 802809 ideals in 400000 cliques
Sat Oct 4 16:13:34 2008 commencing in-memory singleton removal
Sat Oct 4 16:13:51 2008 begin with 124008055 relations and 80330612 unique ideals
Sat Oct 4 16:15:08 2008 reduce to 123999699 relations and 79519393 ideals in 4 passes
Sat Oct 4 16:15:08 2008 max relations containing the same ideal: 20
Sat Oct 4 16:16:33 2008 removing 1184889 relations and 784889 ideals in 400000 cliques
Sat Oct 4 16:16:35 2008 commencing in-memory singleton removal
Sat Oct 4 16:16:53 2008 begin with 122814810 relations and 79519393 unique ideals
Sat Oct 4 16:18:10 2008 reduce to 122805076 relations and 78724716 ideals in 4 passes
Sat Oct 4 16:18:10 2008 max relations containing the same ideal: 20
Sat Oct 4 16:19:33 2008 removing 1233234 relations and 833234 ideals in 400000 cliques
Sat Oct 4 16:19:35 2008 commencing in-memory singleton removal
Sat Oct 4 16:19:52 2008 begin with 121571842 relations and 78724716 unique ideals
Sat Oct 4 16:21:00 2008 reduce to 121563855 relations and 77883431 ideals in 4 passes
Sat Oct 4 16:21:00 2008 max relations containing the same ideal: 20
Sat Oct 4 16:22:16 2008 removing 1211717 relations and 811717 ideals in 400000 cliques
Sat Oct 4 16:22:19 2008 commencing in-memory singleton removal
Sat Oct 4 16:22:34 2008 begin with 120352138 relations and 77883431 unique ideals
Sat Oct 4 16:23:50 2008 reduce to 120344188 relations and 77063712 ideals in 4 passes
Sat Oct 4 16:23:50 2008 max relations containing the same ideal: 20
Sat Oct 4 16:25:14 2008 removing 1204213 relations and 804213 ideals in 400000 cliques
Sat Oct 4 16:25:16 2008 commencing in-memory singleton removal
Sat Oct 4 16:25:34 2008 begin with 119139975 relations and 77063712 unique ideals
Sat Oct 4 16:27:05 2008 reduce to 119131598 relations and 76251062 ideals in 5 passes
Sat Oct 4 16:27:05 2008 max relations containing the same ideal: 20
Sat Oct 4 16:28:27 2008 removing 1196441 relations and 796441 ideals in 400000 cliques
Sat Oct 4 16:28:30 2008 commencing in-memory singleton removal
Sat Oct 4 16:28:47 2008 begin with 117935157 relations and 76251062 unique ideals
Sat Oct 4 16:29:55 2008 reduce to 117926209 relations and 75445602 ideals in 4 passes
Sat Oct 4 16:29:55 2008 max relations containing the same ideal: 20
Sat Oct 4 16:31:09 2008 removing 1180908 relations and 780908 ideals in 400000 cliques
Sat Oct 4 16:31:12 2008 commencing in-memory singleton removal
Sat Oct 4 16:31:28 2008 begin with 116745301 relations and 75445602 unique ideals
Sat Oct 4 16:32:37 2008 reduce to 116735401 relations and 74654717 ideals in 4 passes
Sat Oct 4 16:32:37 2008 max relations containing the same ideal: 20
Sat Oct 4 16:33:54 2008 removing 1210048 relations and 810048 ideals in 400000 cliques
Sat Oct 4 16:33:56 2008 commencing in-memory singleton removal
Sat Oct 4 16:34:12 2008 begin with 115525353 relations and 74654717 unique ideals
Sat Oct 4 16:35:20 2008 reduce to 115516260 relations and 73835495 ideals in 4 passes
Sat Oct 4 16:35:20 2008 max relations containing the same ideal: 20
Sat Oct 4 16:36:36 2008 removing 1193479 relations and 793479 ideals in 400000 cliques
Sat Oct 4 16:36:38 2008 commencing in-memory singleton removal
Sat Oct 4 16:36:54 2008 begin with 114322781 relations and 73835495 unique ideals
Sat Oct 4 16:38:01 2008 reduce to 114313377 relations and 73032538 ideals in 4 passes
Sat Oct 4 16:38:01 2008 max relations containing the same ideal: 20
Sat Oct 4 16:39:16 2008 removing 1177589 relations and 777589 ideals in 400000 cliques
Sat Oct 4 16:39:19 2008 commencing in-memory singleton removal
Sat Oct 4 16:39:34 2008 begin with 113135788 relations and 73032538 unique ideals
Sat Oct 4 16:40:41 2008 reduce to 113125772 relations and 72244843 ideals in 4 passes
Sat Oct 4 16:40:41 2008 max relations containing the same ideal: 20
Sat Oct 4 16:41:55 2008 removing 1188242 relations and 788242 ideals in 400000 cliques
Sat Oct 4 16:41:57 2008 commencing in-memory singleton removal
Sat Oct 4 16:42:12 2008 begin with 111937530 relations and 72244843 unique ideals
Sat Oct 4 16:43:18 2008 reduce to 111927331 relations and 71446301 ideals in 4 passes
Sat Oct 4 16:43:18 2008 max relations containing the same ideal: 20
Sat Oct 4 16:44:35 2008 removing 1187146 relations and 787146 ideals in 400000 cliques
Sat Oct 4 16:44:38 2008 commencing in-memory singleton removal
Sat Oct 4 16:44:53 2008 begin with 110740185 relations and 71446301 unique ideals
Sat Oct 4 16:46:02 2008 reduce to 110730069 relations and 70648944 ideals in 4 passes
Sat Oct 4 16:46:02 2008 max relations containing the same ideal: 20
Sat Oct 4 16:47:16 2008 removing 1167327 relations and 767327 ideals in 400000 cliques
Sat Oct 4 16:47:18 2008 commencing in-memory singleton removal
Sat Oct 4 16:47:33 2008 begin with 109562742 relations and 70648944 unique ideals
Sat Oct 4 16:48:38 2008 reduce to 109551510 relations and 69870259 ideals in 4 passes
Sat Oct 4 16:48:38 2008 max relations containing the same ideal: 20
Sat Oct 4 16:49:51 2008 removing 1185798 relations and 785798 ideals in 400000 cliques
Sat Oct 4 16:49:53 2008 commencing in-memory singleton removal
Sat Oct 4 16:50:07 2008 begin with 108365712 relations and 69870259 unique ideals
Sat Oct 4 16:51:06 2008 reduce to 108354844 relations and 69073477 ideals in 4 passes
Sat Oct 4 16:51:06 2008 max relations containing the same ideal: 20
Sat Oct 4 16:52:13 2008 removing 1162198 relations and 762198 ideals in 400000 cliques
Sat Oct 4 16:52:15 2008 commencing in-memory singleton removal
Sat Oct 4 16:52:29 2008 begin with 107192646 relations and 69073477 unique ideals
Sat Oct 4 16:53:42 2008 reduce to 107180738 relations and 68299244 ideals in 5 passes
Sat Oct 4 16:53:42 2008 max relations containing the same ideal: 20
Sat Oct 4 16:54:50 2008 removing 1174429 relations and 774429 ideals in 400000 cliques
Sat Oct 4 16:54:52 2008 commencing in-memory singleton removal
Sat Oct 4 16:55:06 2008 begin with 106006309 relations and 68299244 unique ideals
Sat Oct 4 16:56:07 2008 reduce to 105994878 relations and 67513274 ideals in 4 passes
Sat Oct 4 16:56:07 2008 max relations containing the same ideal: 20
Sat Oct 4 16:57:16 2008 removing 1161969 relations and 761969 ideals in 400000 cliques
Sat Oct 4 16:57:18 2008 commencing in-memory singleton removal
Sat Oct 4 16:57:32 2008 begin with 104832909 relations and 67513274 unique ideals
Sat Oct 4 16:58:47 2008 reduce to 104820535 relations and 66738795 ideals in 5 passes
Sat Oct 4 16:58:47 2008 max relations containing the same ideal: 20
Sat Oct 4 16:59:54 2008 removing 1161515 relations and 761515 ideals in 400000 cliques
Sat Oct 4 16:59:57 2008 commencing in-memory singleton removal
Sat Oct 4 17:00:10 2008 begin with 103659020 relations and 66738795 unique ideals
Sat Oct 4 17:01:10 2008 reduce to 103646361 relations and 65964459 ideals in 4 passes
Sat Oct 4 17:01:10 2008 max relations containing the same ideal: 20
Sat Oct 4 17:02:17 2008 removing 1158170 relations and 758170 ideals in 400000 cliques
Sat Oct 4 17:02:19 2008 commencing in-memory singleton removal
Sat Oct 4 17:02:32 2008 begin with 102488191 relations and 65964459 unique ideals
Sat Oct 4 17:03:31 2008 reduce to 102475015 relations and 65192963 ideals in 4 passes
Sat Oct 4 17:03:31 2008 max relations containing the same ideal: 20
Sat Oct 4 17:04:37 2008 removing 1153173 relations and 753173 ideals in 400000 cliques
Sat Oct 4 17:04:39 2008 commencing in-memory singleton removal
Sat Oct 4 17:04:52 2008 begin with 101321842 relations and 65192963 unique ideals
Sat Oct 4 17:06:04 2008 reduce to 101308523 relations and 64426313 ideals in 5 passes
Sat Oct 4 17:06:04 2008 max relations containing the same ideal: 20
Sat Oct 4 17:07:06 2008 removing 1149029 relations and 749029 ideals in 400000 cliques
Sat Oct 4 17:07:08 2008 commencing in-memory singleton removal
Sat Oct 4 17:07:20 2008 begin with 100159494 relations and 64426313 unique ideals
Sat Oct 4 17:08:20 2008 reduce to 100145244 relations and 63662839 ideals in 4 passes
Sat Oct 4 17:08:20 2008 max relations containing the same ideal: 20
Sat Oct 4 17:09:27 2008 removing 1173482 relations and 773482 ideals in 400000 cliques
Sat Oct 4 17:09:29 2008 commencing in-memory singleton removal
Sat Oct 4 17:09:43 2008 begin with 98971762 relations and 63662839 unique ideals
Sat Oct 4 17:10:41 2008 reduce to 98959223 relations and 62876648 ideals in 4 passes
Sat Oct 4 17:10:41 2008 max relations containing the same ideal: 20
Sat Oct 4 17:11:46 2008 removing 1167392 relations and 767392 ideals in 400000 cliques
Sat Oct 4 17:11:48 2008 commencing in-memory singleton removal
Sat Oct 4 17:12:01 2008 begin with 97791831 relations and 62876648 unique ideals
Sat Oct 4 17:12:58 2008 reduce to 97780132 relations and 62097377 ideals in 4 passes
Sat Oct 4 17:12:58 2008 max relations containing the same ideal: 20
Sat Oct 4 17:14:03 2008 removing 1148436 relations and 748436 ideals in 400000 cliques
Sat Oct 4 17:14:05 2008 commencing in-memory singleton removal
Sat Oct 4 17:14:18 2008 begin with 96631696 relations and 62097377 unique ideals
Sat Oct 4 17:15:12 2008 reduce to 96619821 relations and 61336903 ideals in 4 passes
Sat Oct 4 17:15:12 2008 max relations containing the same ideal: 20
Sat Oct 4 17:16:13 2008 removing 1148140 relations and 748140 ideals in 400000 cliques
Sat Oct 4 17:16:15 2008 commencing in-memory singleton removal
Sat Oct 4 17:16:28 2008 begin with 95471681 relations and 61336903 unique ideals
Sat Oct 4 17:17:21 2008 reduce to 95459545 relations and 60576458 ideals in 4 passes
Sat Oct 4 17:17:21 2008 max relations containing the same ideal: 20
Sat Oct 4 17:18:22 2008 removing 1150254 relations and 750254 ideals in 400000 cliques
Sat Oct 4 17:18:24 2008 commencing in-memory singleton removal
Sat Oct 4 17:18:36 2008 begin with 94309291 relations and 60576458 unique ideals
Sat Oct 4 17:19:29 2008 reduce to 94297366 relations and 59814131 ideals in 4 passes
Sat Oct 4 17:19:29 2008 max relations containing the same ideal: 20
Sat Oct 4 17:20:28 2008 removing 1142420 relations and 742420 ideals in 400000 cliques
Sat Oct 4 17:20:30 2008 commencing in-memory singleton removal
Sat Oct 4 17:20:42 2008 begin with 93154946 relations and 59814131 unique ideals
Sat Oct 4 17:21:34 2008 reduce to 93142872 relations and 59059479 ideals in 4 passes
Sat Oct 4 17:21:34 2008 max relations containing the same ideal: 20
Sat Oct 4 17:22:33 2008 removing 1143576 relations and 743576 ideals in 400000 cliques
Sat Oct 4 17:22:35 2008 commencing in-memory singleton removal
Sat Oct 4 17:22:47 2008 begin with 91999296 relations and 59059479 unique ideals
Sat Oct 4 17:23:38 2008 reduce to 91987099 relations and 58303549 ideals in 4 passes
Sat Oct 4 17:23:38 2008 max relations containing the same ideal: 20
Sat Oct 4 17:24:36 2008 removing 1141863 relations and 741863 ideals in 400000 cliques
Sat Oct 4 17:24:38 2008 commencing in-memory singleton removal
Sat Oct 4 17:24:50 2008 begin with 90845236 relations and 58303549 unique ideals
Sat Oct 4 17:25:40 2008 reduce to 90832812 relations and 57549119 ideals in 4 passes
Sat Oct 4 17:25:40 2008 max relations containing the same ideal: 20
Sat Oct 4 17:26:34 2008 removing 1137254 relations and 737254 ideals in 400000 cliques
Sat Oct 4 17:26:36 2008 commencing in-memory singleton removal
Sat Oct 4 17:26:46 2008 begin with 89695558 relations and 57549119 unique ideals
Sat Oct 4 17:27:36 2008 reduce to 89682950 relations and 56799108 ideals in 4 passes
Sat Oct 4 17:27:36 2008 max relations containing the same ideal: 20
Sat Oct 4 17:28:32 2008 removing 1137656 relations and 737656 ideals in 400000 cliques
Sat Oct 4 17:28:33 2008 commencing in-memory singleton removal
Sat Oct 4 17:28:45 2008 begin with 88545294 relations and 56799108 unique ideals
Sat Oct 4 17:29:33 2008 reduce to 88532667 relations and 56048653 ideals in 4 passes
Sat Oct 4 17:29:33 2008 max relations containing the same ideal: 20
Sat Oct 4 17:30:29 2008 removing 1133500 relations and 733500 ideals in 400000 cliques
Sat Oct 4 17:30:30 2008 commencing in-memory singleton removal
Sat Oct 4 17:30:41 2008 begin with 87399167 relations and 56048653 unique ideals
Sat Oct 4 17:31:30 2008 reduce to 87386089 relations and 55301921 ideals in 4 passes
Sat Oct 4 17:31:30 2008 max relations containing the same ideal: 20
Sat Oct 4 17:32:24 2008 removing 1134740 relations and 734740 ideals in 400000 cliques
Sat Oct 4 17:32:26 2008 commencing in-memory singleton removal
Sat Oct 4 17:32:37 2008 begin with 86251349 relations and 55301921 unique ideals
Sat Oct 4 17:33:35 2008 reduce to 86237978 relations and 54553650 ideals in 5 passes
Sat Oct 4 17:33:35 2008 max relations containing the same ideal: 20
Sat Oct 4 17:34:29 2008 removing 1133718 relations and 733718 ideals in 400000 cliques
Sat Oct 4 17:34:31 2008 commencing in-memory singleton removal
Sat Oct 4 17:34:42 2008 begin with 85104260 relations and 54553650 unique ideals
Sat Oct 4 17:35:28 2008 reduce to 85090582 relations and 53806111 ideals in 4 passes
Sat Oct 4 17:35:28 2008 max relations containing the same ideal: 20
Sat Oct 4 17:36:21 2008 removing 1143004 relations and 743004 ideals in 400000 cliques
Sat Oct 4 17:36:23 2008 commencing in-memory singleton removal
Sat Oct 4 17:36:33 2008 begin with 83947578 relations and 53806111 unique ideals
Sat Oct 4 17:37:30 2008 reduce to 83934385 relations and 53049765 ideals in 5 passes
Sat Oct 4 17:37:30 2008 max relations containing the same ideal: 20
Sat Oct 4 17:38:22 2008 removing 1145663 relations and 745663 ideals in 400000 cliques
Sat Oct 4 17:38:23 2008 commencing in-memory singleton removal
Sat Oct 4 17:38:33 2008 begin with 82788722 relations and 53049765 unique ideals
Sat Oct 4 17:39:26 2008 reduce to 82776005 relations and 52291216 ideals in 5 passes
Sat Oct 4 17:39:26 2008 max relations containing the same ideal: 20
Sat Oct 4 17:40:17 2008 removing 1138461 relations and 738461 ideals in 400000 cliques
Sat Oct 4 17:40:18 2008 commencing in-memory singleton removal
Sat Oct 4 17:40:28 2008 begin with 81637544 relations and 52291216 unique ideals
Sat Oct 4 17:41:12 2008 reduce to 81624629 relations and 51539677 ideals in 4 passes
Sat Oct 4 17:41:12 2008 max relations containing the same ideal: 20
Sat Oct 4 17:42:03 2008 removing 1131154 relations and 731154 ideals in 400000 cliques
Sat Oct 4 17:42:04 2008 commencing in-memory singleton removal
Sat Oct 4 17:42:15 2008 begin with 80493475 relations and 51539677 unique ideals
Sat Oct 4 17:42:58 2008 reduce to 80480102 relations and 50794986 ideals in 4 passes
Sat Oct 4 17:42:58 2008 max relations containing the same ideal: 19
Sat Oct 4 17:43:48 2008 removing 1142830 relations and 742830 ideals in 400000 cliques
Sat Oct 4 17:43:50 2008 commencing in-memory singleton removal
Sat Oct 4 17:44:00 2008 begin with 79337272 relations and 50794986 unique ideals
Sat Oct 4 17:44:53 2008 reduce to 79323770 relations and 50038478 ideals in 5 passes
Sat Oct 4 17:44:53 2008 max relations containing the same ideal: 19
Sat Oct 4 17:45:42 2008 removing 1134199 relations and 734199 ideals in 400000 cliques
Sat Oct 4 17:45:44 2008 commencing in-memory singleton removal
Sat Oct 4 17:45:53 2008 begin with 78189571 relations and 50038478 unique ideals
Sat Oct 4 17:46:56 2008 reduce to 78175769 relations and 49290293 ideals in 6 passes
Sat Oct 4 17:46:56 2008 max relations containing the same ideal: 19
Sat Oct 4 17:47:44 2008 removing 1134049 relations and 734049 ideals in 400000 cliques
Sat Oct 4 17:47:46 2008 commencing in-memory singleton removal
Sat Oct 4 17:47:55 2008 begin with 77041720 relations and 49290293 unique ideals
Sat Oct 4 17:48:37 2008 reduce to 77027843 relations and 48542201 ideals in 4 passes
Sat Oct 4 17:48:37 2008 max relations containing the same ideal: 19
Sat Oct 4 17:49:24 2008 removing 1137511 relations and 737511 ideals in 400000 cliques
Sat Oct 4 17:49:25 2008 commencing in-memory singleton removal
Sat Oct 4 17:49:34 2008 begin with 75890332 relations and 48542201 unique ideals
Sat Oct 4 17:50:12 2008 reduce to 75876486 relations and 47790658 ideals in 4 passes
Sat Oct 4 17:50:12 2008 max relations containing the same ideal: 19
Sat Oct 4 17:50:57 2008 removing 1134125 relations and 734125 ideals in 400000 cliques
Sat Oct 4 17:50:59 2008 commencing in-memory singleton removal
Sat Oct 4 17:51:08 2008 begin with 74742361 relations and 47790658 unique ideals
Sat Oct 4 17:51:48 2008 reduce to 74727845 relations and 47041804 ideals in 4 passes
Sat Oct 4 17:51:48 2008 max relations containing the same ideal: 18
Sat Oct 4 17:52:33 2008 removing 1134170 relations and 734170 ideals in 400000 cliques
Sat Oct 4 17:52:35 2008 commencing in-memory singleton removal
Sat Oct 4 17:52:44 2008 begin with 73593675 relations and 47041804 unique ideals
Sat Oct 4 17:53:33 2008 reduce to 73579250 relations and 46293003 ideals in 5 passes
Sat Oct 4 17:53:33 2008 max relations containing the same ideal: 18
Sat Oct 4 17:54:17 2008 removing 1135048 relations and 735048 ideals in 400000 cliques
Sat Oct 4 17:54:19 2008 commencing in-memory singleton removal
Sat Oct 4 17:54:28 2008 begin with 72444202 relations and 46293003 unique ideals
Sat Oct 4 17:55:06 2008 reduce to 72429501 relations and 45543088 ideals in 4 passes
Sat Oct 4 17:55:06 2008 max relations containing the same ideal: 18
Sat Oct 4 17:55:50 2008 removing 1135300 relations and 735300 ideals in 400000 cliques
Sat Oct 4 17:55:52 2008 commencing in-memory singleton removal
Sat Oct 4 17:56:00 2008 begin with 71294201 relations and 45543088 unique ideals
Sat Oct 4 17:56:38 2008 reduce to 71279154 relations and 44792537 ideals in 4 passes
Sat Oct 4 17:56:38 2008 max relations containing the same ideal: 18
Sat Oct 4 17:57:21 2008 removing 1134446 relations and 734446 ideals in 400000 cliques
Sat Oct 4 17:57:23 2008 commencing in-memory singleton removal
Sat Oct 4 17:57:31 2008 begin with 70144708 relations and 44792537 unique ideals
Sat Oct 4 17:58:08 2008 reduce to 70129095 relations and 44042267 ideals in 4 passes
Sat Oct 4 17:58:08 2008 max relations containing the same ideal: 18
Sat Oct 4 17:58:50 2008 removing 1136390 relations and 736390 ideals in 400000 cliques
Sat Oct 4 17:58:52 2008 commencing in-memory singleton removal
Sat Oct 4 17:59:00 2008 begin with 68992705 relations and 44042267 unique ideals
Sat Oct 4 17:59:45 2008 reduce to 68977022 relations and 43290002 ideals in 5 passes
Sat Oct 4 17:59:45 2008 max relations containing the same ideal: 18
Sat Oct 4 18:00:26 2008 removing 1135604 relations and 735604 ideals in 400000 cliques
Sat Oct 4 18:00:28 2008 commencing in-memory singleton removal
Sat Oct 4 18:00:35 2008 begin with 67841418 relations and 43290002 unique ideals
Sat Oct 4 18:01:17 2008 reduce to 67825361 relations and 42538115 ideals in 5 passes
Sat Oct 4 18:01:17 2008 max relations containing the same ideal: 18
Sat Oct 4 18:01:56 2008 removing 1137117 relations and 737117 ideals in 400000 cliques
Sat Oct 4 18:01:57 2008 commencing in-memory singleton removal
Sat Oct 4 18:02:05 2008 begin with 66688244 relations and 42538115 unique ideals
Sat Oct 4 18:02:40 2008 reduce to 66671708 relations and 41784257 ideals in 4 passes
Sat Oct 4 18:02:40 2008 max relations containing the same ideal: 18
Sat Oct 4 18:03:20 2008 removing 1138622 relations and 738622 ideals in 400000 cliques
Sat Oct 4 18:03:21 2008 commencing in-memory singleton removal
Sat Oct 4 18:03:29 2008 begin with 65533086 relations and 41784257 unique ideals
Sat Oct 4 18:04:11 2008 reduce to 65516445 relations and 41028759 ideals in 5 passes
Sat Oct 4 18:04:11 2008 max relations containing the same ideal: 18
Sat Oct 4 18:04:51 2008 removing 1139046 relations and 739046 ideals in 400000 cliques
Sat Oct 4 18:04:52 2008 commencing in-memory singleton removal
Sat Oct 4 18:05:00 2008 begin with 64377399 relations and 41028759 unique ideals
Sat Oct 4 18:05:33 2008 reduce to 64360582 relations and 40272656 ideals in 4 passes
Sat Oct 4 18:05:33 2008 max relations containing the same ideal: 18
Sat Oct 4 18:06:12 2008 removing 1139817 relations and 739817 ideals in 400000 cliques
Sat Oct 4 18:06:13 2008 commencing in-memory singleton removal
Sat Oct 4 18:06:21 2008 begin with 63220765 relations and 40272656 unique ideals
Sat Oct 4 18:06:53 2008 reduce to 63203364 relations and 39515232 ideals in 4 passes
Sat Oct 4 18:06:53 2008 max relations containing the same ideal: 17
Sat Oct 4 18:07:31 2008 removing 1140533 relations and 740533 ideals in 400000 cliques
Sat Oct 4 18:07:32 2008 commencing in-memory singleton removal
Sat Oct 4 18:07:39 2008 begin with 62062831 relations and 39515232 unique ideals
Sat Oct 4 18:08:19 2008 reduce to 62045053 relations and 38756657 ideals in 5 passes
Sat Oct 4 18:08:19 2008 max relations containing the same ideal: 17
Sat Oct 4 18:08:56 2008 removing 1142341 relations and 742341 ideals in 400000 cliques
Sat Oct 4 18:08:57 2008 commencing in-memory singleton removal
Sat Oct 4 18:09:04 2008 begin with 60902712 relations and 38756657 unique ideals
Sat Oct 4 18:09:43 2008 reduce to 60884697 relations and 37996066 ideals in 5 passes
Sat Oct 4 18:09:43 2008 max relations containing the same ideal: 17
Sat Oct 4 18:10:19 2008 removing 1142704 relations and 742704 ideals in 400000 cliques
Sat Oct 4 18:10:20 2008 commencing in-memory singleton removal
Sat Oct 4 18:10:27 2008 begin with 59741993 relations and 37996066 unique ideals
Sat Oct 4 18:11:02 2008 reduce to 59723327 relations and 37234441 ideals in 5 passes
Sat Oct 4 18:11:02 2008 max relations containing the same ideal: 17
Sat Oct 4 18:11:36 2008 removing 1143750 relations and 743750 ideals in 400000 cliques
Sat Oct 4 18:11:38 2008 commencing in-memory singleton removal
Sat Oct 4 18:11:44 2008 begin with 58579577 relations and 37234441 unique ideals
Sat Oct 4 18:12:21 2008 reduce to 58560242 relations and 36471091 ideals in 5 passes
Sat Oct 4 18:12:21 2008 max relations containing the same ideal: 17
Sat Oct 4 18:12:56 2008 removing 1145390 relations and 745390 ideals in 400000 cliques
Sat Oct 4 18:12:57 2008 commencing in-memory singleton removal
Sat Oct 4 18:13:04 2008 begin with 57414852 relations and 36471091 unique ideals
Sat Oct 4 18:13:40 2008 reduce to 57394880 relations and 35705489 ideals in 5 passes
Sat Oct 4 18:13:40 2008 max relations containing the same ideal: 17
Sat Oct 4 18:14:14 2008 removing 1147854 relations and 747854 ideals in 400000 cliques
Sat Oct 4 18:14:15 2008 commencing in-memory singleton removal
Sat Oct 4 18:14:22 2008 begin with 56247026 relations and 35705489 unique ideals
Sat Oct 4 18:14:57 2008 reduce to 56226716 relations and 34937022 ideals in 5 passes
Sat Oct 4 18:14:57 2008 max relations containing the same ideal: 17
Sat Oct 4 18:15:30 2008 removing 1148837 relations and 748837 ideals in 400000 cliques
Sat Oct 4 18:15:32 2008 commencing in-memory singleton removal
Sat Oct 4 18:15:38 2008 begin with 55077879 relations and 34937022 unique ideals
Sat Oct 4 18:16:12 2008 reduce to 55057233 relations and 34167237 ideals in 5 passes
Sat Oct 4 18:16:12 2008 max relations containing the same ideal: 17
Sat Oct 4 18:16:44 2008 removing 1152467 relations and 752467 ideals in 400000 cliques
Sat Oct 4 18:16:45 2008 commencing in-memory singleton removal
Sat Oct 4 18:16:52 2008 begin with 53904766 relations and 34167237 unique ideals
Sat Oct 4 18:17:25 2008 reduce to 53883414 relations and 33393101 ideals in 5 passes
Sat Oct 4 18:17:25 2008 max relations containing the same ideal: 17
Sat Oct 4 18:17:56 2008 removing 1155537 relations and 755537 ideals in 400000 cliques
Sat Oct 4 18:17:57 2008 commencing in-memory singleton removal
Sat Oct 4 18:18:03 2008 begin with 52727877 relations and 33393101 unique ideals
Sat Oct 4 18:18:30 2008 reduce to 52705887 relations and 32615289 ideals in 4 passes
Sat Oct 4 18:18:30 2008 max relations containing the same ideal: 17
Sat Oct 4 18:19:01 2008 removing 1158233 relations and 758233 ideals in 400000 cliques
Sat Oct 4 18:19:02 2008 commencing in-memory singleton removal
Sat Oct 4 18:19:08 2008 begin with 51547654 relations and 32615289 unique ideals
Sat Oct 4 18:19:39 2008 reduce to 51525459 relations and 31834525 ideals in 5 passes
Sat Oct 4 18:19:39 2008 max relations containing the same ideal: 17
Sat Oct 4 18:20:06 2008 removing 1161225 relations and 761225 ideals in 400000 cliques
Sat Oct 4 18:20:07 2008 commencing in-memory singleton removal
Sat Oct 4 18:20:12 2008 begin with 50364234 relations and 31834525 unique ideals
Sat Oct 4 18:20:41 2008 reduce to 50341956 relations and 31050679 ideals in 5 passes
Sat Oct 4 18:20:41 2008 max relations containing the same ideal: 17
Sat Oct 4 18:21:10 2008 removing 869078 relations and 589859 ideals in 279219 cliques
Sat Oct 4 18:21:11 2008 commencing in-memory singleton removal
Sat Oct 4 18:21:17 2008 begin with 49472878 relations and 31050679 unique ideals
Sat Oct 4 18:21:46 2008 reduce to 49463363 relations and 30451234 ideals in 5 passes
Sat Oct 4 18:21:46 2008 max relations containing the same ideal: 17
Sat Oct 4 18:21:51 2008 dataset too sparse, retrying
Sat Oct 4 18:21:52 2008 reading rational ideals above 720000
Sat Oct 4 18:21:52 2008 reading algebraic ideals above 720000
Sat Oct 4 18:21:52 2008 commencing singleton removal, final pass
Sat Oct 4 22:59:33 2008 keeping 145552576 ideals with weight <= 25, new excess is 12962109
Sat Oct 4 23:03:59 2008 memory use: 5161.8 MB
Sat Oct 4 23:04:07 2008 commencing in-memory singleton removal
Sat Oct 4 23:04:42 2008 begin with 209403509 relations and 145552576 unique ideals
Sat Oct 4 23:10:19 2008 reduce to 209177428 relations and 145326446 ideals in 9 passes
Sat Oct 4 23:10:19 2008 max relations containing the same ideal: 25
Sat Oct 4 23:13:07 2008 removing 3247341 relations and 2847341 ideals in 400000 cliques
Sat Oct 4 23:13:11 2008 commencing in-memory singleton removal
Sat Oct 4 23:13:46 2008 begin with 205930087 relations and 145326446 unique ideals
Sat Oct 4 23:17:31 2008 reduce to 205907754 relations and 142456721 ideals in 6 passes
Sat Oct 4 23:17:31 2008 max relations containing the same ideal: 25
Sat Oct 4 23:20:15 2008 removing 2499527 relations and 2099527 ideals in 400000 cliques
Sat Oct 4 23:20:19 2008 commencing in-memory singleton removal
Sat Oct 4 23:20:52 2008 begin with 203408227 relations and 142456721 unique ideals
Sat Oct 4 23:23:53 2008 reduce to 203393942 relations and 140342879 ideals in 5 passes
Sat Oct 4 23:23:53 2008 max relations containing the same ideal: 25
Sat Oct 4 23:26:33 2008 removing 2250277 relations and 1850277 ideals in 400000 cliques
Sat Oct 4 23:26:37 2008 commencing in-memory singleton removal
Sat Oct 4 23:27:11 2008 begin with 201143665 relations and 140342879 unique ideals
Sat Oct 4 23:30:12 2008 reduce to 201131700 relations and 138480614 ideals in 5 passes
Sat Oct 4 23:30:12 2008 max relations containing the same ideal: 25
Sat Oct 4 23:32:49 2008 removing 2094739 relations and 1694739 ideals in 400000 cliques
Sat Oct 4 23:32:53 2008 commencing in-memory singleton removal
Sat Oct 4 23:33:26 2008 begin with 199036961 relations and 138480614 unique ideals
Sat Oct 4 23:36:25 2008 reduce to 199025877 relations and 136774775 ideals in 5 passes
Sat Oct 4 23:36:25 2008 max relations containing the same ideal: 25
Sat Oct 4 23:39:02 2008 removing 1989745 relations and 1589745 ideals in 400000 cliques
Sat Oct 4 23:39:06 2008 commencing in-memory singleton removal
Sat Oct 4 23:39:38 2008 begin with 197036132 relations and 136774775 unique ideals
Sat Oct 4 23:43:09 2008 reduce to 197025988 relations and 135174861 ideals in 6 passes
Sat Oct 4 23:43:09 2008 max relations containing the same ideal: 25
Sat Oct 4 23:45:39 2008 removing 1908609 relations and 1508609 ideals in 400000 cliques
Sat Oct 4 23:45:43 2008 commencing in-memory singleton removal
Sat Oct 4 23:46:15 2008 begin with 195117379 relations and 135174861 unique ideals
Sat Oct 4 23:49:10 2008 reduce to 195108187 relations and 133657047 ideals in 5 passes
Sat Oct 4 23:49:10 2008 max relations containing the same ideal: 25
Sat Oct 4 23:51:42 2008 removing 1844301 relations and 1444301 ideals in 400000 cliques
Sat Oct 4 23:51:46 2008 commencing in-memory singleton removal
Sat Oct 4 23:52:18 2008 begin with 193263886 relations and 133657047 unique ideals
Sat Oct 4 23:55:08 2008 reduce to 193255194 relations and 132204039 ideals in 5 passes
Sat Oct 4 23:55:08 2008 max relations containing the same ideal: 25
Sat Oct 4 23:57:38 2008 removing 1784295 relations and 1384295 ideals in 400000 cliques
Sat Oct 4 23:57:42 2008 commencing in-memory singleton removal
Sat Oct 4 23:58:14 2008 begin with 191470899 relations and 132204039 unique ideals
Sun Oct 5 00:01:05 2008 reduce to 191461768 relations and 130810597 ideals in 5 passes
Sun Oct 5 00:01:05 2008 max relations containing the same ideal: 25
Sun Oct 5 00:03:33 2008 removing 1730640 relations and 1330640 ideals in 400000 cliques
Sun Oct 5 00:03:37 2008 commencing in-memory singleton removal
Sun Oct 5 00:04:07 2008 begin with 189731128 relations and 130810597 unique ideals
Sun Oct 5 00:06:53 2008 reduce to 189722882 relations and 129471695 ideals in 5 passes
Sun Oct 5 00:06:53 2008 max relations containing the same ideal: 25
Sun Oct 5 00:09:17 2008 removing 1698143 relations and 1298143 ideals in 400000 cliques
Sun Oct 5 00:09:20 2008 commencing in-memory singleton removal
Sun Oct 5 00:09:51 2008 begin with 188024739 relations and 129471695 unique ideals
Sun Oct 5 00:12:37 2008 reduce to 188016738 relations and 128165529 ideals in 5 passes
Sun Oct 5 00:12:37 2008 max relations containing the same ideal: 25
Sun Oct 5 00:15:02 2008 removing 1668208 relations and 1268208 ideals in 400000 cliques
Sun Oct 5 00:15:06 2008 commencing in-memory singleton removal
Sun Oct 5 00:15:36 2008 begin with 186348530 relations and 128165529 unique ideals
Sun Oct 5 00:18:53 2008 reduce to 186340749 relations and 126889526 ideals in 6 passes
Sun Oct 5 00:18:53 2008 max relations containing the same ideal: 25
Sun Oct 5 00:21:17 2008 removing 1636606 relations and 1236606 ideals in 400000 cliques
Sun Oct 5 00:21:21 2008 commencing in-memory singleton removal
Sun Oct 5 00:21:51 2008 begin with 184704143 relations and 126889526 unique ideals
Sun Oct 5 00:24:33 2008 reduce to 184696218 relations and 125644976 ideals in 5 passes
Sun Oct 5 00:24:33 2008 max relations containing the same ideal: 25
Sun Oct 5 00:26:55 2008 removing 1593459 relations and 1193459 ideals in 400000 cliques
Sun Oct 5 00:26:58 2008 commencing in-memory singleton removal
Sun Oct 5 00:27:28 2008 begin with 183102759 relations and 125644976 unique ideals
Sun Oct 5 00:29:34 2008 reduce to 183094155 relations and 124442892 ideals in 4 passes
Sun Oct 5 00:29:34 2008 max relations containing the same ideal: 25
Sun Oct 5 00:31:54 2008 removing 1595933 relations and 1195933 ideals in 400000 cliques
Sun Oct 5 00:31:58 2008 commencing in-memory singleton removal
Sun Oct 5 00:32:28 2008 begin with 181498222 relations and 124442892 unique ideals
Sun Oct 5 00:35:07 2008 reduce to 181491983 relations and 123240706 ideals in 5 passes
Sun Oct 5 00:35:07 2008 max relations containing the same ideal: 25
Sun Oct 5 00:37:26 2008 removing 1562234 relations and 1162234 ideals in 400000 cliques
Sun Oct 5 00:37:30 2008 commencing in-memory singleton removal
Sun Oct 5 00:37:59 2008 begin with 179929749 relations and 123240706 unique ideals
Sun Oct 5 00:40:38 2008 reduce to 179923319 relations and 122072026 ideals in 5 passes
Sun Oct 5 00:40:38 2008 max relations containing the same ideal: 25
Sun Oct 5 00:42:56 2008 removing 1516882 relations and 1116882 ideals in 400000 cliques
Sun Oct 5 00:42:59 2008 commencing in-memory singleton removal
Sun Oct 5 00:43:28 2008 begin with 178406437 relations and 122072026 unique ideals
Sun Oct 5 00:46:04 2008 reduce to 178398612 relations and 120947299 ideals in 5 passes
Sun Oct 5 00:46:04 2008 max relations containing the same ideal: 25
Sun Oct 5 00:48:16 2008 removing 1541168 relations and 1141168 ideals in 400000 cliques
Sun Oct 5 00:48:19 2008 commencing in-memory singleton removal
Sun Oct 5 00:48:48 2008 begin with 176857444 relations and 120947299 unique ideals
Sun Oct 5 00:51:23 2008 reduce to 176850971 relations and 119799641 ideals in 5 passes
Sun Oct 5 00:51:23 2008 max relations containing the same ideal: 25
Sun Oct 5 00:53:38 2008 removing 1492088 relations and 1092088 ideals in 400000 cliques
Sun Oct 5 00:53:41 2008 commencing in-memory singleton removal
Sun Oct 5 00:54:10 2008 begin with 175358883 relations and 119799641 unique ideals
Sun Oct 5 00:56:13 2008 reduce to 175351347 relations and 118700002 ideals in 4 passes
Sun Oct 5 00:56:13 2008 max relations containing the same ideal: 25
Sun Oct 5 00:58:26 2008 removing 1497228 relations and 1097228 ideals in 400000 cliques
Sun Oct 5 00:58:30 2008 commencing in-memory singleton removal
Sun Oct 5 00:58:58 2008 begin with 173854119 relations and 118700002 unique ideals
Sun Oct 5 01:00:59 2008 reduce to 173847145 relations and 117595774 ideals in 4 passes
Sun Oct 5 01:00:59 2008 max relations containing the same ideal: 25
Sun Oct 5 01:03:12 2008 removing 1468179 relations and 1068179 ideals in 400000 cliques
Sun Oct 5 01:03:15 2008 commencing in-memory singleton removal
Sun Oct 5 01:03:43 2008 begin with 172378966 relations and 117595774 unique ideals
Sun Oct 5 01:05:39 2008 reduce to 172371172 relations and 116519779 ideals in 4 passes
Sun Oct 5 01:05:39 2008 max relations containing the same ideal: 25
Sun Oct 5 01:07:58 2008 removing 1426100 relations and 1026100 ideals in 400000 cliques
Sun Oct 5 01:08:02 2008 commencing in-memory singleton removal
Sun Oct 5 01:08:32 2008 begin with 170945072 relations and 116519779 unique ideals
Sun Oct 5 01:11:13 2008 reduce to 170935951 relations and 115484529 ideals in 5 passes
Sun Oct 5 01:11:13 2008 max relations containing the same ideal: 25
Sun Oct 5 01:13:34 2008 removing 1466995 relations and 1066995 ideals in 400000 cliques
Sun Oct 5 01:13:38 2008 commencing in-memory singleton removal
Sun Oct 5 01:14:08 2008 begin with 169468956 relations and 115484529 unique ideals
Sun Oct 5 01:16:15 2008 reduce to 169462887 relations and 114411443 ideals in 4 passes
Sun Oct 5 01:16:15 2008 max relations containing the same ideal: 25
Sun Oct 5 01:18:34 2008 removing 1395129 relations and 995129 ideals in 400000 cliques
Sun Oct 5 01:18:38 2008 commencing in-memory singleton removal
Sun Oct 5 01:19:07 2008 begin with 168067758 relations and 114411443 unique ideals
Sun Oct 5 01:21:12 2008 reduce to 168060765 relations and 113409306 ideals in 4 passes
Sun Oct 5 01:21:12 2008 max relations containing the same ideal: 25
Sun Oct 5 01:23:29 2008 removing 1418068 relations and 1018068 ideals in 400000 cliques
Sun Oct 5 01:23:32 2008 commencing in-memory singleton removal
Sun Oct 5 01:24:00 2008 begin with 166642697 relations and 113409306 unique ideals
Sun Oct 5 01:26:35 2008 reduce to 166636343 relations and 112384864 ideals in 5 passes
Sun Oct 5 01:26:35 2008 max relations containing the same ideal: 25
Sun Oct 5 01:28:50 2008 removing 1391689 relations and 991689 ideals in 400000 cliques
Sun Oct 5 01:28:54 2008 commencing in-memory singleton removal
Sun Oct 5 01:29:23 2008 begin with 165244654 relations and 112384864 unique ideals
Sun Oct 5 01:31:24 2008 reduce to 165237549 relations and 111386046 ideals in 4 passes
Sun Oct 5 01:31:24 2008 max relations containing the same ideal: 25
Sun Oct 5 01:33:38 2008 removing 1377618 relations and 977618 ideals in 400000 cliques
Sun Oct 5 01:33:42 2008 commencing in-memory singleton removal
Sun Oct 5 01:34:10 2008 begin with 163859931 relations and 111386046 unique ideals
Sun Oct 5 01:36:10 2008 reduce to 163852350 relations and 110400825 ideals in 4 passes
Sun Oct 5 01:36:11 2008 max relations containing the same ideal: 25
Sun Oct 5 01:38:22 2008 removing 1353401 relations and 953401 ideals in 400000 cliques
Sun Oct 5 01:38:26 2008 commencing in-memory singleton removal
Sun Oct 5 01:38:54 2008 begin with 162498949 relations and 110400825 unique ideals
Sun Oct 5 01:40:53 2008 reduce to 162490714 relations and 109439158 ideals in 4 passes
Sun Oct 5 01:40:53 2008 max relations containing the same ideal: 25
Sun Oct 5 01:43:03 2008 removing 1387936 relations and 987936 ideals in 400000 cliques
Sun Oct 5 01:43:06 2008 commencing in-memory singleton removal
Sun Oct 5 01:43:34 2008 begin with 161102778 relations and 109439158 unique ideals
Sun Oct 5 01:45:31 2008 reduce to 161095904 relations and 108444328 ideals in 4 passes
Sun Oct 5 01:45:31 2008 max relations containing the same ideal: 25
Sun Oct 5 01:47:38 2008 removing 1366309 relations and 966309 ideals in 400000 cliques
Sun Oct 5 01:47:42 2008 commencing in-memory singleton removal
Sun Oct 5 01:48:09 2008 begin with 159729595 relations and 108444328 unique ideals
Sun Oct 5 01:50:37 2008 reduce to 159722724 relations and 107471127 ideals in 5 passes
Sun Oct 5 01:50:37 2008 max relations containing the same ideal: 25
Sun Oct 5 01:52:47 2008 removing 1345129 relations and 945129 ideals in 400000 cliques
Sun Oct 5 01:52:51 2008 commencing in-memory singleton removal
Sun Oct 5 01:53:21 2008 begin with 158377595 relations and 107471127 unique ideals
Sun Oct 5 01:55:20 2008 reduce to 158370152 relations and 106518537 ideals in 4 passes
Sun Oct 5 01:55:20 2008 max relations containing the same ideal: 25
Sun Oct 5 01:57:26 2008 removing 1340454 relations and 940454 ideals in 400000 cliques
Sun Oct 5 01:57:29 2008 commencing in-memory singleton removal
Sun Oct 5 01:57:56 2008 begin with 157029698 relations and 106518537 unique ideals
Sun Oct 5 01:59:49 2008 reduce to 157022005 relations and 105570354 ideals in 4 passes
Sun Oct 5 01:59:49 2008 max relations containing the same ideal: 25
Sun Oct 5 02:01:52 2008 removing 1341202 relations and 941202 ideals in 400000 cliques
Sun Oct 5 02:01:56 2008 commencing in-memory singleton removal
Sun Oct 5 02:02:22 2008 begin with 155680803 relations and 105570354 unique ideals
Sun Oct 5 02:04:12 2008 reduce to 155673345 relations and 104621658 ideals in 4 passes
Sun Oct 5 02:04:12 2008 max relations containing the same ideal: 25
Sun Oct 5 02:06:15 2008 removing 1327930 relations and 927930 ideals in 400000 cliques
Sun Oct 5 02:06:18 2008 commencing in-memory singleton removal
Sun Oct 5 02:06:43 2008 begin with 154345415 relations and 104621658 unique ideals
Sun Oct 5 02:08:33 2008 reduce to 154337531 relations and 103685811 ideals in 4 passes
Sun Oct 5 02:08:33 2008 max relations containing the same ideal: 25
Sun Oct 5 02:10:32 2008 removing 1323121 relations and 923121 ideals in 400000 cliques
Sun Oct 5 02:10:37 2008 commencing in-memory singleton removal
Sun Oct 5 02:11:02 2008 begin with 153014410 relations and 103685811 unique ideals
Sun Oct 5 02:12:51 2008 reduce to 153006328 relations and 102754573 ideals in 4 passes
Sun Oct 5 02:12:51 2008 max relations containing the same ideal: 25
Sun Oct 5 02:14:51 2008 removing 1311863 relations and 911863 ideals in 400000 cliques
Sun Oct 5 02:14:55 2008 commencing in-memory singleton removal
Sun Oct 5 02:15:20 2008 begin with 151694465 relations and 102754573 unique ideals
Sun Oct 5 02:17:08 2008 reduce to 151685854 relations and 101834052 ideals in 4 passes
Sun Oct 5 02:17:08 2008 max relations containing the same ideal: 25
Sun Oct 5 02:19:05 2008 removing 1305062 relations and 905062 ideals in 400000 cliques
Sun Oct 5 02:19:09 2008 commencing in-memory singleton removal
Sun Oct 5 02:19:33 2008 begin with 150380792 relations and 101834052 unique ideals
Sun Oct 5 02:21:46 2008 reduce to 150371707 relations and 100919858 ideals in 5 passes
Sun Oct 5 02:21:46 2008 max relations containing the same ideal: 25
Sun Oct 5 02:23:42 2008 removing 1283132 relations and 883132 ideals in 400000 cliques
Sun Oct 5 02:23:45 2008 commencing in-memory singleton removal
Sun Oct 5 02:24:10 2008 begin with 149088575 relations and 100919858 unique ideals
Sun Oct 5 02:25:56 2008 reduce to 149078767 relations and 100026870 ideals in 4 passes
Sun Oct 5 02:25:56 2008 max relations containing the same ideal: 25
Sun Oct 5 02:27:51 2008 removing 1298775 relations and 898775 ideals in 400000 cliques
Sun Oct 5 02:27:54 2008 commencing in-memory singleton removal
Sun Oct 5 02:28:19 2008 begin with 147779992 relations and 100026870 unique ideals
Sun Oct 5 02:30:29 2008 reduce to 147771885 relations and 99119939 ideals in 5 passes
Sun Oct 5 02:30:29 2008 max relations containing the same ideal: 25
Sun Oct 5 02:32:23 2008 removing 1287951 relations and 887951 ideals in 400000 cliques
Sun Oct 5 02:32:27 2008 commencing in-memory singleton removal
Sun Oct 5 02:32:51 2008 begin with 146483934 relations and 99119939 unique ideals
Sun Oct 5 02:34:34 2008 reduce to 146476436 relations and 98224443 ideals in 4 passes
Sun Oct 5 02:34:34 2008 max relations containing the same ideal: 25
Sun Oct 5 02:36:25 2008 removing 1275111 relations and 875111 ideals in 400000 cliques
Sun Oct 5 02:36:28 2008 commencing in-memory singleton removal
Sun Oct 5 02:36:51 2008 begin with 145201325 relations and 98224443 unique ideals
Sun Oct 5 02:38:37 2008 reduce to 145194027 relations and 97341990 ideals in 4 passes
Sun Oct 5 02:38:37 2008 max relations containing the same ideal: 25
Sun Oct 5 02:40:34 2008 removing 1262496 relations and 862496 ideals in 400000 cliques
Sun Oct 5 02:40:37 2008 commencing in-memory singleton removal
Sun Oct 5 02:41:03 2008 begin with 143931531 relations and 97341990 unique ideals
Sun Oct 5 02:43:18 2008 reduce to 143923951 relations and 96471872 ideals in 5 passes
Sun Oct 5 02:43:18 2008 max relations containing the same ideal: 25
Sun Oct 5 02:45:13 2008 removing 1263644 relations and 863644 ideals in 400000 cliques
Sun Oct 5 02:45:17 2008 commencing in-memory singleton removal
Sun Oct 5 02:45:44 2008 begin with 142660307 relations and 96471872 unique ideals
Sun Oct 5 02:47:57 2008 reduce to 142652476 relations and 95600356 ideals in 5 passes
Sun Oct 5 02:47:57 2008 max relations containing the same ideal: 25
Sun Oct 5 02:49:49 2008 removing 1268679 relations and 868679 ideals in 400000 cliques
Sun Oct 5 02:49:52 2008 commencing in-memory singleton removal
Sun Oct 5 02:50:15 2008 begin with 141383797 relations and 95600356 unique ideals
Sun Oct 5 02:51:55 2008 reduce to 141376511 relations and 94724348 ideals in 4 passes
Sun Oct 5 02:51:55 2008 max relations containing the same ideal: 25
Sun Oct 5 02:53:42 2008 removing 1251595 relations and 851595 ideals in 400000 cliques
Sun Oct 5 02:53:46 2008 commencing in-memory singleton removal
Sun Oct 5 02:54:09 2008 begin with 140124916 relations and 94724348 unique ideals
Sun Oct 5 02:55:47 2008 reduce to 140117410 relations and 93865206 ideals in 4 passes
Sun Oct 5 02:55:47 2008 max relations containing the same ideal: 25
Sun Oct 5 02:57:33 2008 removing 1260196 relations and 860196 ideals in 400000 cliques
Sun Oct 5 02:57:36 2008 commencing in-memory singleton removal
Sun Oct 5 02:57:58 2008 begin with 138857214 relations and 93865206 unique ideals
Sun Oct 5 02:59:36 2008 reduce to 138849994 relations and 92997758 ideals in 4 passes
Sun Oct 5 02:59:36 2008 max relations containing the same ideal: 25
Sun Oct 5 03:01:20 2008 removing 1249796 relations and 849796 ideals in 400000 cliques
Sun Oct 5 03:01:23 2008 commencing in-memory singleton removal
Sun Oct 5 03:01:45 2008 begin with 137600198 relations and 92997758 unique ideals
Sun Oct 5 03:03:45 2008 reduce to 137592961 relations and 92140695 ideals in 5 passes
Sun Oct 5 03:03:45 2008 max relations containing the same ideal: 25
Sun Oct 5 03:05:28 2008 removing 1243734 relations and 843734 ideals in 400000 cliques
Sun Oct 5 03:05:31 2008 commencing in-memory singleton removal
Sun Oct 5 03:05:53 2008 begin with 136349227 relations and 92140695 unique ideals
Sun Oct 5 03:07:28 2008 reduce to 136341665 relations and 91289368 ideals in 4 passes
Sun Oct 5 03:07:28 2008 max relations containing the same ideal: 25
Sun Oct 5 03:09:09 2008 removing 1235156 relations and 835156 ideals in 400000 cliques
Sun Oct 5 03:09:12 2008 commencing in-memory singleton removal
Sun Oct 5 03:09:33 2008 begin with 135106509 relations and 91289368 unique ideals
Sun Oct 5 03:11:30 2008 reduce to 135098594 relations and 90446254 ideals in 5 passes
Sun Oct 5 03:11:30 2008 max relations containing the same ideal: 25
Sun Oct 5 03:13:09 2008 removing 1227550 relations and 827550 ideals in 400000 cliques
Sun Oct 5 03:13:12 2008 commencing in-memory singleton removal
Sun Oct 5 03:13:33 2008 begin with 133871044 relations and 90446254 unique ideals
Sun Oct 5 03:15:04 2008 reduce to 133862799 relations and 89610414 ideals in 4 passes
Sun Oct 5 03:15:04 2008 max relations containing the same ideal: 25
Sun Oct 5 03:16:43 2008 removing 1207962 relations and 807962 ideals in 400000 cliques
Sun Oct 5 03:16:46 2008 commencing in-memory singleton removal
Sun Oct 5 03:17:07 2008 begin with 132654837 relations and 89610414 unique ideals
Sun Oct 5 03:18:59 2008 reduce to 132645340 relations and 88792917 ideals in 5 passes
Sun Oct 5 03:18:59 2008 max relations containing the same ideal: 25
Sun Oct 5 03:20:37 2008 removing 1252583 relations and 852583 ideals in 400000 cliques
Sun Oct 5 03:20:40 2008 commencing in-memory singleton removal
Sun Oct 5 03:21:01 2008 begin with 131392757 relations and 88792917 unique ideals
Sun Oct 5 03:22:30 2008 reduce to 131385447 relations and 87932982 ideals in 4 passes
Sun Oct 5 03:22:30 2008 max relations containing the same ideal: 25
Sun Oct 5 03:24:06 2008 removing 1243026 relations and 843026 ideals in 400000 cliques
Sun Oct 5 03:24:09 2008 commencing in-memory singleton removal
Sun Oct 5 03:24:29 2008 begin with 130142421 relations and 87932982 unique ideals
Sun Oct 5 03:25:56 2008 reduce to 130135769 relations and 87083273 ideals in 4 passes
Sun Oct 5 03:25:56 2008 max relations containing the same ideal: 25
Sun Oct 5 03:27:31 2008 removing 1229167 relations and 829167 ideals in 400000 cliques
Sun Oct 5 03:27:34 2008 commencing in-memory singleton removal
Sun Oct 5 03:27:54 2008 begin with 128906602 relations and 87083273 unique ideals
Sun Oct 5 03:29:19 2008 reduce to 128899586 relations and 86247051 ideals in 4 passes
Sun Oct 5 03:29:19 2008 max relations containing the same ideal: 25
Sun Oct 5 03:30:52 2008 removing 1227027 relations and 827027 ideals in 400000 cliques
Sun Oct 5 03:30:54 2008 commencing in-memory singleton removal
Sun Oct 5 03:31:14 2008 begin with 127672559 relations and 86247051 unique ideals
Sun Oct 5 03:32:38 2008 reduce to 127665450 relations and 85412883 ideals in 4 passes
Sun Oct 5 03:32:38 2008 max relations containing the same ideal: 25
Sun Oct 5 03:34:10 2008 removing 1223159 relations and 823159 ideals in 400000 cliques
Sun Oct 5 03:34:12 2008 commencing in-memory singleton removal
Sun Oct 5 03:34:31 2008 begin with 126442291 relations and 85412883 unique ideals
Sun Oct 5 03:35:48 2008 reduce to 126434806 relations and 84582199 ideals in 4 passes
Sun Oct 5 03:35:48 2008 max relations containing the same ideal: 25
Sun Oct 5 03:37:13 2008 removing 1216906 relations and 816906 ideals in 400000 cliques
Sun Oct 5 03:37:16 2008 commencing in-memory singleton removal
Sun Oct 5 03:37:33 2008 begin with 125217900 relations and 84582199 unique ideals
Sun Oct 5 03:38:50 2008 reduce to 125210174 relations and 83757521 ideals in 4 passes
Sun Oct 5 03:38:50 2008 max relations containing the same ideal: 25
Sun Oct 5 03:40:14 2008 removing 1203446 relations and 803446 ideals in 400000 cliques
Sun Oct 5 03:40:16 2008 commencing in-memory singleton removal
Sun Oct 5 03:40:34 2008 begin with 124006728 relations and 83757521 unique ideals
Sun Oct 5 03:41:49 2008 reduce to 123998421 relations and 82945712 ideals in 4 passes
Sun Oct 5 03:41:49 2008 max relations containing the same ideal: 25
Sun Oct 5 03:43:13 2008 removing 1183070 relations and 783070 ideals in 400000 cliques
Sun Oct 5 03:43:15 2008 commencing in-memory singleton removal
Sun Oct 5 03:43:32 2008 begin with 122815351 relations and 82945712 unique ideals
Sun Oct 5 03:44:47 2008 reduce to 122805646 relations and 82152877 ideals in 4 passes
Sun Oct 5 03:44:47 2008 max relations containing the same ideal: 25
Sun Oct 5 03:46:10 2008 removing 1233925 relations and 833925 ideals in 400000 cliques
Sun Oct 5 03:46:12 2008 commencing in-memory singleton removal
Sun Oct 5 03:46:29 2008 begin with 121571721 relations and 82152877 unique ideals
Sun Oct 5 03:47:43 2008 reduce to 121563779 relations and 81310956 ideals in 4 passes
Sun Oct 5 03:47:43 2008 max relations containing the same ideal: 25
Sun Oct 5 03:49:04 2008 removing 1211907 relations and 811907 ideals in 400000 cliques
Sun Oct 5 03:49:07 2008 commencing in-memory singleton removal
Sun Oct 5 03:49:23 2008 begin with 120351872 relations and 81310956 unique ideals
Sun Oct 5 03:50:36 2008 reduce to 120343912 relations and 80491026 ideals in 4 passes
Sun Oct 5 03:50:36 2008 max relations containing the same ideal: 25
Sun Oct 5 03:51:56 2008 removing 1203589 relations and 803589 ideals in 400000 cliques
Sun Oct 5 03:51:59 2008 commencing in-memory singleton removal
Sun Oct 5 03:52:15 2008 begin with 119140323 relations and 80491026 unique ideals
Sun Oct 5 03:53:45 2008 reduce to 119131879 relations and 79678931 ideals in 5 passes
Sun Oct 5 03:53:45 2008 max relations containing the same ideal: 25
Sun Oct 5 03:55:04 2008 removing 1197873 relations and 797873 ideals in 400000 cliques
Sun Oct 5 03:55:06 2008 commencing in-memory singleton removal
Sun Oct 5 03:55:23 2008 begin with 117934006 relations and 79678931 unique ideals
Sun Oct 5 03:56:52 2008 reduce to 117925114 relations and 78872098 ideals in 5 passes
Sun Oct 5 03:56:52 2008 max relations containing the same ideal: 25
Sun Oct 5 03:58:10 2008 removing 1179662 relations and 779662 ideals in 400000 cliques
Sun Oct 5 03:58:12 2008 commencing in-memory singleton removal
Sun Oct 5 03:58:29 2008 begin with 116745452 relations and 78872098 unique ideals
Sun Oct 5 03:59:39 2008 reduce to 116735499 relations and 78082409 ideals in 4 passes
Sun Oct 5 03:59:39 2008 max relations containing the same ideal: 25
Sun Oct 5 04:00:56 2008 removing 1209687 relations and 809687 ideals in 400000 cliques
Sun Oct 5 04:00:58 2008 commencing in-memory singleton removal
Sun Oct 5 04:01:14 2008 begin with 115525812 relations and 78082409 unique ideals
Sun Oct 5 04:02:23 2008 reduce to 115516733 relations and 77263566 ideals in 4 passes
Sun Oct 5 04:02:23 2008 max relations containing the same ideal: 25
Sun Oct 5 04:03:40 2008 removing 1194832 relations and 794832 ideals in 400000 cliques
Sun Oct 5 04:03:42 2008 commencing in-memory singleton removal
Sun Oct 5 04:03:57 2008 begin with 114321901 relations and 77263566 unique ideals
Sun Oct 5 04:05:06 2008 reduce to 114312444 relations and 76459210 ideals in 4 passes
Sun Oct 5 04:05:06 2008 max relations containing the same ideal: 25
Sun Oct 5 04:06:21 2008 removing 1180555 relations and 780555 ideals in 400000 cliques
Sun Oct 5 04:06:23 2008 commencing in-memory singleton removal
Sun Oct 5 04:06:39 2008 begin with 113131889 relations and 76459210 unique ideals
Sun Oct 5 04:07:46 2008 reduce to 113121883 relations and 75668555 ideals in 4 passes
Sun Oct 5 04:07:46 2008 max relations containing the same ideal: 25
Sun Oct 5 04:09:01 2008 removing 1183351 relations and 783351 ideals in 400000 cliques
Sun Oct 5 04:09:03 2008 commencing in-memory singleton removal
Sun Oct 5 04:09:18 2008 begin with 111938532 relations and 75668555 unique ideals
Sun Oct 5 04:10:24 2008 reduce to 111928215 relations and 74874786 ideals in 4 passes
Sun Oct 5 04:10:24 2008 max relations containing the same ideal: 25
Sun Oct 5 04:11:38 2008 removing 1189571 relations and 789571 ideals in 400000 cliques
Sun Oct 5 04:11:40 2008 commencing in-memory singleton removal
Sun Oct 5 04:11:55 2008 begin with 110738644 relations and 74874786 unique ideals
Sun Oct 5 04:13:01 2008 reduce to 110728464 relations and 74074925 ideals in 4 passes
Sun Oct 5 04:13:01 2008 max relations containing the same ideal: 25
Sun Oct 5 04:14:14 2008 removing 1168802 relations and 768802 ideals in 400000 cliques
Sun Oct 5 04:14:16 2008 commencing in-memory singleton removal
Sun Oct 5 04:14:31 2008 begin with 109559662 relations and 74074925 unique ideals
Sun Oct 5 04:15:36 2008 reduce to 109548731 relations and 73295073 ideals in 4 passes
Sun Oct 5 04:15:36 2008 max relations containing the same ideal: 24
Sun Oct 5 04:16:48 2008 removing 1182093 relations and 782093 ideals in 400000 cliques
Sun Oct 5 04:16:50 2008 commencing in-memory singleton removal
Sun Oct 5 04:17:04 2008 begin with 108366638 relations and 73295073 unique ideals
Sun Oct 5 04:18:08 2008 reduce to 108355696 relations and 72501902 ideals in 4 passes
Sun Oct 5 04:18:08 2008 max relations containing the same ideal: 24
Sun Oct 5 04:19:19 2008 removing 1171153 relations and 771153 ideals in 400000 cliques
Sun Oct 5 04:19:22 2008 commencing in-memory singleton removal
Sun Oct 5 04:19:36 2008 begin with 107184543 relations and 72501902 unique ideals
Sun Oct 5 04:20:55 2008 reduce to 107173044 relations and 71719133 ideals in 5 passes
Sun Oct 5 04:20:55 2008 max relations containing the same ideal: 24
Sun Oct 5 04:22:05 2008 removing 1164857 relations and 764857 ideals in 400000 cliques
Sun Oct 5 04:22:07 2008 commencing in-memory singleton removal
Sun Oct 5 04:22:22 2008 begin with 106008187 relations and 71719133 unique ideals
Sun Oct 5 04:23:24 2008 reduce to 105996318 relations and 70942269 ideals in 4 passes
Sun Oct 5 04:23:24 2008 max relations containing the same ideal: 24
Sun Oct 5 04:24:33 2008 removing 1165792 relations and 765792 ideals in 400000 cliques
Sun Oct 5 04:24:35 2008 commencing in-memory singleton removal
Sun Oct 5 04:24:49 2008 begin with 104830526 relations and 70942269 unique ideals
Sun Oct 5 04:25:50 2008 reduce to 104818249 relations and 70164061 ideals in 4 passes
Sun Oct 5 04:25:50 2008 max relations containing the same ideal: 24
Sun Oct 5 04:26:58 2008 removing 1162352 relations and 762352 ideals in 400000 cliques
Sun Oct 5 04:27:00 2008 commencing in-memory singleton removal
Sun Oct 5 04:27:14 2008 begin with 103655897 relations and 70164061 unique ideals
Sun Oct 5 04:28:30 2008 reduce to 103643441 relations and 69389100 ideals in 5 passes
Sun Oct 5 04:28:30 2008 max relations containing the same ideal: 24
Sun Oct 5 04:29:37 2008 removing 1155278 relations and 755278 ideals in 400000 cliques
Sun Oct 5 04:29:39 2008 commencing in-memory singleton removal
Sun Oct 5 04:29:53 2008 begin with 102488163 relations and 69389100 unique ideals
Sun Oct 5 04:30:53 2008 reduce to 102474877 relations and 68620405 ideals in 4 passes
Sun Oct 5 04:30:53 2008 max relations containing the same ideal: 24
Sun Oct 5 04:32:00 2008 removing 1153875 relations and 753875 ideals in 400000 cliques
Sun Oct 5 04:32:02 2008 commencing in-memory singleton removal
Sun Oct 5 04:32:15 2008 begin with 101321002 relations and 68620405 unique ideals
Sun Oct 5 04:33:14 2008 reduce to 101307381 relations and 67852721 ideals in 4 passes
Sun Oct 5 04:33:14 2008 max relations containing the same ideal: 24
Sun Oct 5 04:34:20 2008 removing 1148124 relations and 748124 ideals in 400000 cliques
Sun Oct 5 04:34:22 2008 commencing in-memory singleton removal
Sun Oct 5 04:34:35 2008 begin with 100159257 relations and 67852721 unique ideals
Sun Oct 5 04:35:48 2008 reduce to 100145087 relations and 67090235 ideals in 5 passes
Sun Oct 5 04:35:48 2008 max relations containing the same ideal: 24
Sun Oct 5 04:36:53 2008 removing 1172111 relations and 772111 ideals in 400000 cliques
Sun Oct 5 04:36:55 2008 commencing in-memory singleton removal
Sun Oct 5 04:37:08 2008 begin with 98972976 relations and 67090235 unique ideals
Sun Oct 5 04:38:19 2008 reduce to 98960182 relations and 66305119 ideals in 5 passes
Sun Oct 5 04:38:19 2008 max relations containing the same ideal: 23
Sun Oct 5 04:39:23 2008 removing 1167927 relations and 767927 ideals in 400000 cliques
Sun Oct 5 04:39:26 2008 commencing in-memory singleton removal
Sun Oct 5 04:39:38 2008 begin with 97792255 relations and 66305119 unique ideals
Sun Oct 5 04:40:49 2008 reduce to 97780749 relations and 65525515 ideals in 5 passes
Sun Oct 5 04:40:49 2008 max relations containing the same ideal: 23
Sun Oct 5 04:41:52 2008 removing 1152285 relations and 752285 ideals in 400000 cliques
Sun Oct 5 04:41:54 2008 commencing in-memory singleton removal
Sun Oct 5 04:42:06 2008 begin with 96628464 relations and 65525515 unique ideals
Sun Oct 5 04:43:02 2008 reduce to 96616806 relations and 64761407 ideals in 4 passes
Sun Oct 5 04:43:02 2008 max relations containing the same ideal: 23
Sun Oct 5 04:44:04 2008 removing 1144859 relations and 744859 ideals in 400000 cliques
Sun Oct 5 04:44:06 2008 commencing in-memory singleton removal
Sun Oct 5 04:44:18 2008 begin with 95471947 relations and 64761407 unique ideals
Sun Oct 5 04:45:27 2008 reduce to 95459827 relations and 64004253 ideals in 5 passes
Sun Oct 5 04:45:27 2008 max relations containing the same ideal: 23
Sun Oct 5 04:46:28 2008 removing 1151485 relations and 751485 ideals in 400000 cliques
Sun Oct 5 04:46:30 2008 commencing in-memory singleton removal
Sun Oct 5 04:46:42 2008 begin with 94308342 relations and 64004253 unique ideals
Sun Oct 5 04:47:36 2008 reduce to 94296270 relations and 63240523 ideals in 4 passes
Sun Oct 5 04:47:36 2008 max relations containing the same ideal: 23
Sun Oct 5 04:48:37 2008 removing 1137843 relations and 737843 ideals in 400000 cliques
Sun Oct 5 04:48:39 2008 commencing in-memory singleton removal
Sun Oct 5 04:48:51 2008 begin with 93158427 relations and 63240523 unique ideals
Sun Oct 5 04:49:44 2008 reduce to 93146176 relations and 62490253 ideals in 4 passes
Sun Oct 5 04:49:44 2008 max relations containing the same ideal: 23
Sun Oct 5 04:50:43 2008 removing 1151723 relations and 751723 ideals in 400000 cliques
Sun Oct 5 04:50:45 2008 commencing in-memory singleton removal
Sun Oct 5 04:50:57 2008 begin with 91994453 relations and 62490253 unique ideals
Sun Oct 5 04:51:49 2008 reduce to 91982531 relations and 61726443 ideals in 4 passes
Sun Oct 5 04:51:49 2008 max relations containing the same ideal: 23
Sun Oct 5 04:52:48 2008 removing 1136081 relations and 736081 ideals in 400000 cliques
Sun Oct 5 04:52:50 2008 commencing in-memory singleton removal
Sun Oct 5 04:53:02 2008 begin with 90846450 relations and 61726443 unique ideals
Sun Oct 5 04:54:06 2008 reduce to 90833971 relations and 60977724 ideals in 5 passes
Sun Oct 5 04:54:06 2008 max relations containing the same ideal: 23
Sun Oct 5 04:55:03 2008 removing 1145263 relations and 745263 ideals in 400000 cliques
Sun Oct 5 04:55:05 2008 commencing in-memory singleton removal
Sun Oct 5 04:55:17 2008 begin with 89688708 relations and 60977724 unique ideals
Sun Oct 5 04:56:07 2008 reduce to 89676381 relations and 60219989 ideals in 4 passes
Sun Oct 5 04:56:07 2008 max relations containing the same ideal: 23
Sun Oct 5 04:57:04 2008 removing 1133715 relations and 733715 ideals in 400000 cliques
Sun Oct 5 04:57:06 2008 commencing in-memory singleton removal
Sun Oct 5 04:57:17 2008 begin with 88542666 relations and 60219989 unique ideals
Sun Oct 5 04:58:07 2008 reduce to 88529991 relations and 59473445 ideals in 4 passes
Sun Oct 5 04:58:07 2008 max relations containing the same ideal: 23
Sun Oct 5 04:59:03 2008 removing 1136577 relations and 736577 ideals in 400000 cliques
Sun Oct 5 04:59:05 2008 commencing in-memory singleton removal
Sun Oct 5 04:59:16 2008 begin with 87393414 relations and 59473445 unique ideals
Sun Oct 5 05:00:05 2008 reduce to 87380463 relations and 58723760 ideals in 4 passes
Sun Oct 5 05:00:05 2008 max relations containing the same ideal: 23
Sun Oct 5 05:01:00 2008 removing 1136139 relations and 736139 ideals in 400000 cliques
Sun Oct 5 05:01:02 2008 commencing in-memory singleton removal
Sun Oct 5 05:01:13 2008 begin with 86244324 relations and 58723760 unique ideals
Sun Oct 5 05:02:01 2008 reduce to 86231395 relations and 57974535 ideals in 4 passes
Sun Oct 5 05:02:01 2008 max relations containing the same ideal: 22
Sun Oct 5 05:02:55 2008 removing 1133797 relations and 733797 ideals in 400000 cliques
Sun Oct 5 05:02:57 2008 commencing in-memory singleton removal
Sun Oct 5 05:03:08 2008 begin with 85097598 relations and 57974535 unique ideals
Sun Oct 5 05:03:55 2008 reduce to 85083980 relations and 57226935 ideals in 4 passes
Sun Oct 5 05:03:55 2008 max relations containing the same ideal: 22
Sun Oct 5 05:04:49 2008 removing 1132963 relations and 732963 ideals in 400000 cliques
Sun Oct 5 05:04:51 2008 commencing in-memory singleton removal
Sun Oct 5 05:05:01 2008 begin with 83951017 relations and 57226935 unique ideals
Sun Oct 5 05:05:48 2008 reduce to 83937361 relations and 56480143 ideals in 4 passes
Sun Oct 5 05:05:48 2008 max relations containing the same ideal: 22
Sun Oct 5 05:06:41 2008 removing 1141720 relations and 741720 ideals in 400000 cliques
Sun Oct 5 05:06:42 2008 commencing in-memory singleton removal
Sun Oct 5 05:06:53 2008 begin with 82795641 relations and 56480143 unique ideals
Sun Oct 5 05:07:50 2008 reduce to 82782191 relations and 55724821 ideals in 5 passes
Sun Oct 5 05:07:50 2008 max relations containing the same ideal: 22
Sun Oct 5 05:08:42 2008 removing 1145406 relations and 745406 ideals in 400000 cliques
Sun Oct 5 05:08:44 2008 commencing in-memory singleton removal
Sun Oct 5 05:08:54 2008 begin with 81636785 relations and 55724821 unique ideals
Sun Oct 5 05:09:50 2008 reduce to 81623727 relations and 54966174 ideals in 5 passes
Sun Oct 5 05:09:50 2008 max relations containing the same ideal: 22
Sun Oct 5 05:10:41 2008 removing 1139536 relations and 739536 ideals in 400000 cliques
Sun Oct 5 05:10:43 2008 commencing in-memory singleton removal
Sun Oct 5 05:10:53 2008 begin with 80484191 relations and 54966174 unique ideals
Sun Oct 5 05:11:37 2008 reduce to 80470867 relations and 54213145 ideals in 4 passes
Sun Oct 5 05:11:37 2008 max relations containing the same ideal: 22
Sun Oct 5 05:12:27 2008 removing 1136577 relations and 736577 ideals in 400000 cliques
Sun Oct 5 05:12:29 2008 commencing in-memory singleton removal
Sun Oct 5 05:12:39 2008 begin with 79334290 relations and 54213145 unique ideals
Sun Oct 5 05:13:23 2008 reduce to 79320858 relations and 53462943 ideals in 4 passes
Sun Oct 5 05:13:23 2008 max relations containing the same ideal: 21
Sun Oct 5 05:14:12 2008 removing 1135414 relations and 735414 ideals in 400000 cliques
Sun Oct 5 05:14:14 2008 commencing in-memory singleton removal
Sun Oct 5 05:14:23 2008 begin with 78185444 relations and 53462943 unique ideals
Sun Oct 5 05:15:06 2008 reduce to 78171793 relations and 52713687 ideals in 4 passes
Sun Oct 5 05:15:06 2008 max relations containing the same ideal: 21
Sun Oct 5 05:15:54 2008 removing 1132882 relations and 732882 ideals in 400000 cliques
Sun Oct 5 05:15:56 2008 commencing in-memory singleton removal
Sun Oct 5 05:16:06 2008 begin with 77038911 relations and 52713687 unique ideals
Sun Oct 5 05:16:48 2008 reduce to 77024788 relations and 51966526 ideals in 4 passes
Sun Oct 5 05:16:48 2008 max relations containing the same ideal: 21
Sun Oct 5 05:17:35 2008 removing 1134855 relations and 734855 ideals in 400000 cliques
Sun Oct 5 05:17:37 2008 commencing in-memory singleton removal
Sun Oct 5 05:17:46 2008 begin with 75889933 relations and 51966526 unique ideals
Sun Oct 5 05:18:37 2008 reduce to 75875348 relations and 51216895 ideals in 5 passes
Sun Oct 5 05:18:37 2008 max relations containing the same ideal: 21
Sun Oct 5 05:19:24 2008 removing 1136543 relations and 736543 ideals in 400000 cliques
Sun Oct 5 05:19:26 2008 commencing in-memory singleton removal
Sun Oct 5 05:19:35 2008 begin with 74738805 relations and 51216895 unique ideals
Sun Oct 5 05:20:25 2008 reduce to 74724022 relations and 50465397 ideals in 5 passes
Sun Oct 5 05:20:25 2008 max relations containing the same ideal: 21
Sun Oct 5 05:21:11 2008 removing 1137594 relations and 737594 ideals in 400000 cliques
Sun Oct 5 05:21:13 2008 commencing in-memory singleton removal
Sun Oct 5 05:21:22 2008 begin with 73586428 relations and 50465397 unique ideals
Sun Oct 5 05:22:12 2008 reduce to 73571470 relations and 49712657 ideals in 5 passes
Sun Oct 5 05:22:12 2008 max relations containing the same ideal: 21
Sun Oct 5 05:22:57 2008 removing 1135714 relations and 735714 ideals in 400000 cliques
Sun Oct 5 05:22:59 2008 commencing in-memory singleton removal
Sun Oct 5 05:23:08 2008 begin with 72435756 relations and 49712657 unique ideals
Sun Oct 5 05:23:47 2008 reduce to 72420513 relations and 48961484 ideals in 4 passes
Sun Oct 5 05:23:47 2008 max relations containing the same ideal: 21
Sun Oct 5 05:24:31 2008 removing 1135425 relations and 735425 ideals in 400000 cliques
Sun Oct 5 05:24:33 2008 commencing in-memory singleton removal
Sun Oct 5 05:24:42 2008 begin with 71285088 relations and 48961484 unique ideals
Sun Oct 5 05:25:20 2008 reduce to 71269558 relations and 48210322 ideals in 4 passes
Sun Oct 5 05:25:20 2008 max relations containing the same ideal: 21
Sun Oct 5 05:26:03 2008 removing 1136593 relations and 736593 ideals in 400000 cliques
Sun Oct 5 05:26:05 2008 commencing in-memory singleton removal
Sun Oct 5 05:26:13 2008 begin with 70132965 relations and 48210322 unique ideals
Sun Oct 5 05:26:51 2008 reduce to 70117185 relations and 47457736 ideals in 4 passes
Sun Oct 5 05:26:51 2008 max relations containing the same ideal: 21
Sun Oct 5 05:27:34 2008 removing 1137869 relations and 737869 ideals in 400000 cliques
Sun Oct 5 05:27:35 2008 commencing in-memory singleton removal
Sun Oct 5 05:27:44 2008 begin with 68979316 relations and 47457736 unique ideals
Sun Oct 5 05:28:30 2008 reduce to 68963505 relations and 46703818 ideals in 5 passes
Sun Oct 5 05:28:30 2008 max relations containing the same ideal: 21
Sun Oct 5 05:29:12 2008 removing 1138099 relations and 738099 ideals in 400000 cliques
Sun Oct 5 05:29:13 2008 commencing in-memory singleton removal
Sun Oct 5 05:29:22 2008 begin with 67825406 relations and 46703818 unique ideals
Sun Oct 5 05:30:06 2008 reduce to 67809185 relations and 45949289 ideals in 5 passes
Sun Oct 5 05:30:06 2008 max relations containing the same ideal: 20
Sun Oct 5 05:30:48 2008 removing 1138410 relations and 738410 ideals in 400000 cliques
Sun Oct 5 05:30:49 2008 commencing in-memory singleton removal
Sun Oct 5 05:30:57 2008 begin with 66670775 relations and 45949289 unique ideals
Sun Oct 5 05:31:33 2008 reduce to 66653992 relations and 45193862 ideals in 4 passes
Sun Oct 5 05:31:33 2008 max relations containing the same ideal: 20
Sun Oct 5 05:32:13 2008 removing 1139301 relations and 739301 ideals in 400000 cliques
Sun Oct 5 05:32:15 2008 commencing in-memory singleton removal
Sun Oct 5 05:32:22 2008 begin with 65514691 relations and 45193862 unique ideals
Sun Oct 5 05:33:06 2008 reduce to 65497440 relations and 44437078 ideals in 5 passes
Sun Oct 5 05:33:06 2008 max relations containing the same ideal: 20
Sun Oct 5 05:33:45 2008 removing 1139925 relations and 739925 ideals in 400000 cliques
Sun Oct 5 05:33:47 2008 commencing in-memory singleton removal
Sun Oct 5 05:33:54 2008 begin with 64357515 relations and 44437078 unique ideals
Sun Oct 5 05:34:36 2008 reduce to 64339467 relations and 43678842 ideals in 5 passes
Sun Oct 5 05:34:36 2008 max relations containing the same ideal: 20
Sun Oct 5 05:35:15 2008 removing 1144476 relations and 744476 ideals in 400000 cliques
Sun Oct 5 05:35:17 2008 commencing in-memory singleton removal
Sun Oct 5 05:35:24 2008 begin with 63194991 relations and 43678842 unique ideals
Sun Oct 5 05:36:05 2008 reduce to 63176923 relations and 42916056 ideals in 5 passes
Sun Oct 5 05:36:05 2008 max relations containing the same ideal: 20
Sun Oct 5 05:36:43 2008 removing 1145870 relations and 745870 ideals in 400000 cliques
Sun Oct 5 05:36:45 2008 commencing in-memory singleton removal
Sun Oct 5 05:36:52 2008 begin with 62031053 relations and 42916056 unique ideals
Sun Oct 5 05:37:25 2008 reduce to 62013235 relations and 42152100 ideals in 4 passes
Sun Oct 5 05:37:25 2008 max relations containing the same ideal: 20
Sun Oct 5 05:38:02 2008 removing 1148354 relations and 748354 ideals in 400000 cliques
Sun Oct 5 05:38:03 2008 commencing in-memory singleton removal
Sun Oct 5 05:38:10 2008 begin with 60864881 relations and 42152100 unique ideals
Sun Oct 5 05:38:50 2008 reduce to 60846522 relations and 41385138 ideals in 5 passes
Sun Oct 5 05:38:50 2008 max relations containing the same ideal: 20
Sun Oct 5 05:39:26 2008 removing 1148587 relations and 748587 ideals in 400000 cliques
Sun Oct 5 05:39:28 2008 commencing in-memory singleton removal
Sun Oct 5 05:39:35 2008 begin with 59697935 relations and 41385138 unique ideals
Sun Oct 5 05:40:13 2008 reduce to 59679024 relations and 40617375 ideals in 5 passes
Sun Oct 5 05:40:13 2008 max relations containing the same ideal: 20
Sun Oct 5 05:40:49 2008 removing 1151586 relations and 751586 ideals in 400000 cliques
Sun Oct 5 05:40:50 2008 commencing in-memory singleton removal
Sun Oct 5 05:40:57 2008 begin with 58527438 relations and 40617375 unique ideals
Sun Oct 5 05:41:27 2008 reduce to 58507992 relations and 39846102 ideals in 4 passes
Sun Oct 5 05:41:27 2008 max relations containing the same ideal: 20
Sun Oct 5 05:42:02 2008 removing 1153495 relations and 753495 ideals in 400000 cliques
Sun Oct 5 05:42:03 2008 commencing in-memory singleton removal
Sun Oct 5 05:42:10 2008 begin with 57354497 relations and 39846102 unique ideals
Sun Oct 5 05:42:47 2008 reduce to 57334592 relations and 39072434 ideals in 5 passes
Sun Oct 5 05:42:47 2008 max relations containing the same ideal: 20
Sun Oct 5 05:43:21 2008 removing 1155637 relations and 755637 ideals in 400000 cliques
Sun Oct 5 05:43:22 2008 commencing in-memory singleton removal
Sun Oct 5 05:43:29 2008 begin with 56178955 relations and 39072434 unique ideals
Sun Oct 5 05:44:05 2008 reduce to 56158156 relations and 38295678 ideals in 5 passes
Sun Oct 5 05:44:05 2008 max relations containing the same ideal: 19
Sun Oct 5 05:44:38 2008 removing 1158043 relations and 758043 ideals in 400000 cliques
Sun Oct 5 05:44:39 2008 commencing in-memory singleton removal
Sun Oct 5 05:44:46 2008 begin with 55000113 relations and 38295678 unique ideals
Sun Oct 5 05:45:20 2008 reduce to 54978716 relations and 37515923 ideals in 5 passes
Sun Oct 5 05:45:20 2008 max relations containing the same ideal: 19
Sun Oct 5 05:45:53 2008 removing 1160370 relations and 760370 ideals in 400000 cliques
Sun Oct 5 05:45:54 2008 commencing in-memory singleton removal
Sun Oct 5 05:46:00 2008 begin with 53818346 relations and 37515923 unique ideals
Sun Oct 5 05:46:35 2008 reduce to 53796007 relations and 36732904 ideals in 5 passes
Sun Oct 5 05:46:35 2008 max relations containing the same ideal: 19
Sun Oct 5 05:47:06 2008 removing 1164781 relations and 764781 ideals in 400000 cliques
Sun Oct 5 05:47:08 2008 commencing in-memory singleton removal
Sun Oct 5 05:47:14 2008 begin with 52631226 relations and 36732904 unique ideals
Sun Oct 5 05:47:47 2008 reduce to 52608077 relations and 35944640 ideals in 5 passes
Sun Oct 5 05:47:47 2008 max relations containing the same ideal: 19
Sun Oct 5 05:48:18 2008 removing 1166864 relations and 766864 ideals in 400000 cliques
Sun Oct 5 05:48:19 2008 commencing in-memory singleton removal
Sun Oct 5 05:48:25 2008 begin with 51441213 relations and 35944640 unique ideals
Sun Oct 5 05:48:57 2008 reduce to 51417147 relations and 35153372 ideals in 5 passes
Sun Oct 5 05:48:57 2008 max relations containing the same ideal: 19
Sun Oct 5 05:49:28 2008 removing 1173723 relations and 773723 ideals in 400000 cliques
Sun Oct 5 05:49:29 2008 commencing in-memory singleton removal
Sun Oct 5 05:49:34 2008 begin with 50243424 relations and 35153372 unique ideals
Sun Oct 5 05:50:06 2008 reduce to 50219161 relations and 34355036 ideals in 5 passes
Sun Oct 5 05:50:06 2008 max relations containing the same ideal: 18
Sun Oct 5 05:50:35 2008 removing 1179880 relations and 779880 ideals in 400000 cliques
Sun Oct 5 05:50:36 2008 commencing in-memory singleton removal
Sun Oct 5 05:50:42 2008 begin with 49039281 relations and 34355036 unique ideals
Sun Oct 5 05:51:13 2008 reduce to 49015208 relations and 33550717 ideals in 5 passes
Sun Oct 5 05:51:13 2008 max relations containing the same ideal: 18
Sun Oct 5 05:51:41 2008 removing 1182733 relations and 782733 ideals in 400000 cliques
Sun Oct 5 05:51:42 2008 commencing in-memory singleton removal
Sun Oct 5 05:51:48 2008 begin with 47832475 relations and 33550717 unique ideals
Sun Oct 5 05:52:17 2008 reduce to 47807953 relations and 32743133 ideals in 5 passes
Sun Oct 5 05:52:17 2008 max relations containing the same ideal: 18
Sun Oct 5 05:52:45 2008 removing 118338 relations and 89565 ideals in 28773 cliques
Sun Oct 5 05:52:46 2008 commencing in-memory singleton removal
Sun Oct 5 05:52:51 2008 begin with 47689615 relations and 32743133 unique ideals
Sun Oct 5 05:53:09 2008 reduce to 47689462 relations and 32653415 ideals in 3 passes
Sun Oct 5 05:53:09 2008 max relations containing the same ideal: 18
Sun Oct 5 05:53:18 2008 relations with 0 large ideals: 1679985
Sun Oct 5 05:53:18 2008 relations with 1 large ideals: 8131321
Sun Oct 5 05:53:18 2008 relations with 2 large ideals: 15251181
Sun Oct 5 05:53:18 2008 relations with 3 large ideals: 14241423
Sun Oct 5 05:53:18 2008 relations with 4 large ideals: 6794510
Sun Oct 5 05:53:18 2008 relations with 5 large ideals: 1493958
Sun Oct 5 05:53:18 2008 relations with 6 large ideals: 95139
Sun Oct 5 05:53:18 2008 relations with 7+ large ideals: 1945
Sun Oct 5 05:53:18 2008 commencing 2-way merge
Sun Oct 5 05:53:57 2008 reduce to 35469658 relation sets and 20433611 unique ideals
Sun Oct 5 05:53:57 2008 commencing full merge
Sun Oct 5 05:59:33 2008 memory use: 1921.3 MB
Sun Oct 5 05:59:38 2008 found 19057404 cycles, need 16983811
Sun Oct 5 05:59:47 2008 weight of 16983811 cycles is about 1189145581 (70.02/cycle)
Sun Oct 5 05:59:47 2008 distribution of cycle lengths:
Sun Oct 5 05:59:47 2008 1 relations: 2152611
Sun Oct 5 05:59:47 2008 2 relations: 1971752
Sun Oct 5 05:59:47 2008 3 relations: 2181147
Sun Oct 5 05:59:47 2008 4 relations: 2192328
Sun Oct 5 05:59:47 2008 5 relations: 2122496
Sun Oct 5 05:59:47 2008 6 relations: 1879700
Sun Oct 5 05:59:47 2008 7 relations: 1604241
Sun Oct 5 05:59:47 2008 8 relations: 1296963
Sun Oct 5 05:59:47 2008 9 relations: 976243
Sun Oct 5 05:59:47 2008 10+ relations: 606330
Sun Oct 5 05:59:47 2008 heaviest cycle: 12 relations
Sun Oct 5 05:59:50 2008 commencing cycle optimization
Sun Oct 5 06:00:37 2008 start with 79769182 relations
Sun Oct 5 06:03:14 2008 pruned 3157154 relations
Sun Oct 5 06:03:14 2008 memory use: 2606.7 MB
Sun Oct 5 06:03:15 2008 distribution of cycle lengths:
Sun Oct 5 06:03:15 2008 1 relations: 2152611
Sun Oct 5 06:03:15 2008 2 relations: 2055822
Sun Oct 5 06:03:15 2008 3 relations: 2332864
Sun Oct 5 06:03:15 2008 4 relations: 2335727
Sun Oct 5 06:03:15 2008 5 relations: 2265522
Sun Oct 5 06:03:15 2008 6 relations: 1956088
Sun Oct 5 06:03:15 2008 7 relations: 1602609
Sun Oct 5 06:03:15 2008 8 relations: 1175964
Sun Oct 5 06:03:15 2008 9 relations: 757126
Sun Oct 5 06:03:15 2008 10+ relations: 349478
Sun Oct 5 06:03:15 2008 heaviest cycle: 12 relations
Sun Oct 5 06:03:47 2008 elapsed time 32:45:58
[/code]

A factor!
 

Some of you may be interested to see

[code]
Sun Oct 5 14:06:22 2008 commencing Lanczos iteration (4 threads)
Sun Oct 5 14:06:22 2008 memory use: 5145.6 MB
Tue Nov 11 13:40:03 2008 lanczos halted after 267675 iterations (dim = 16926644)
Tue Nov 11 13:41:03 2008 recovered 40 nontrivial dependencies
Tue Nov 11 13:41:13 2008 elapsed time 891:06:59

Tue Nov 11 23:01:52 2008 commencing square root phase
Tue Nov 11 23:01:52 2008 reading relations for dependency 1
Tue Nov 11 23:02:01 2008 read 8459651 cycles
Tue Nov 11 23:03:15 2008 cycles contain 26292737 unique relations
Tue Nov 11 23:18:24 2008 read 26292737 relations
Tue Nov 11 23:26:47 2008 multiplying 21331766 relations
Wed Nov 12 02:26:17 2008 multiply complete, coefficients have about 1484.17 million bits
Wed Nov 12 02:27:52 2008 initial square root is modulo 4545691
Wed Nov 12 08:33:13 2008 reading relations for dependency 2
Wed Nov 12 08:33:23 2008 read 8466329 cycles
Wed Nov 12 08:34:37 2008 cycles contain 26308920 unique relations
Wed Nov 12 08:50:08 2008 read 26308920 relations
Wed Nov 12 08:58:29 2008 multiplying 21344796 relations
Wed Nov 12 11:57:33 2008 multiply complete, coefficients have about 1485.09 million bits
Wed Nov 12 11:59:09 2008 initial square root is modulo 4589119
Wed Nov 12 18:03:11 2008 prp66 factor: 622232758780358778126190590256749954524999505890859340251987532999
Wed Nov 12 18:03:11 2008 prp115 factor: 1376892416986891660868888952709866680522212404877414052781432896337974197524345976334022067211965993249761230743801
Wed Nov 12 18:03:11 2008 elapsed time 19:01:21
[/code]

I should probably write this up in a bit more detail; what should go into the mix?

Woo Hoo!

Any chance of pulling together an estimate of the total time spent on the poly search and sieving? Those would be interesting data points... together with the calandar milestones.

Congrats!

bsquared: could you remind me which university you're attached to, since you said you wanted it recorded for the announcement?

I don't have actual measured times for the searching and sieving, though I've got the datastamps for the bits I've done so I could easily estimate how long the whole thing would have taken had I done it myself.

The cluster used was the EduGrid, at the University of Northern Iowa. I can probably dig up the timing info for the ranges I did.... but your extrapolation would probably be a reasonable estimate.

- ben.

[QUOTE=jasonp;138120]With these parameters, your job will be the first test of msieve with 32-bit large primes. The entire library is supposedly '32-bit clean', but I expect postprocessing trouble commensurate with the epic size of this job. Did your 8G machine ever run the lanczos solver reliably?[/QUOTE]Well, I guess somebody will be pleasantly surprised!

Indeed, aside from having to buy a new computer to ensure that I had a reliable one, the calculation went absolutely painlessly. And it finished (three days) before the Nehalem CPUs became available ...

[QUOTE=FactorEyes;149338]Well, I guess somebody will be pleasantly surprised![/QUOTE]
A bright spot in an otherwise cold and yucky day. Congrats to everyone!

Cool beans! Congratulations. Page 110 starts to fill up. :showoff:

Great job!

(Ben, I'm just around the corner from you, down in Iowa City.)

[quote=Zeta-Flux;149366]Great job!

(Ben, I'm just around the corner from you, down in Iowa City.)[/quote]


UNI is my alma mater, but I'm still not far away. I'm in Rochester, MN now. Good to hear from another Iowan! Do you go to the university of Iowa, or just live in Iowa City?

I'm doing the 3rd (and unfortunately last) year of my postdoc right now at the University of Iowa. Then I'm heading back west.

Nice work, congrats to all involved!

Alex