I know you have your solution by now, but for those with PHP, here is a little script which you can use to slice a big chunk out of one of the massive dump files. If nothing else, you can then have a peek at the smaller file using any old editor without crashing your PC or waiting a year for the file to open.
If you use it, or get inspired by it, just let me know to make my day <img src="/images/icons/grin.gif" alt="" /> !
<pre><font class="small">code:</font><hr>
/**
* Build file subset
*
* Parameters:
* $in_filename - name of input file
* $out_filename - name of output file
* $from - start line
* $to - end line
*
* Example:
* file_subset("c:/structure.rdf.u8", "c:/subset.txt", 4402000, 4500000);
*
* Author:
* Hugh W Prior www.localpin.com
*/
function file_subset($in_filename, $out_filename, $from=1, $to=0)
{
$in_fp = fopen($in_filename, "r");
$out_fp = fopen($out_filename, "w");
// Ensure the to value is set
if ($to == 0) {
$to = $from + 10000000;
}
// Read in the in file up to the start line
$line = 1;
while ($data = fgets($in_fp, 4096) and $line < $from) {
$line++;
}
// Read in each line from the in file and write to the out file
while ($data = fgets($in_fp, 4096) and $line < $to) {
fwrite($out_fp, $data);
$line++;
}
fclose($in_fp);
fclose($out_fp);
}
</pre><hr>