project stats files

chester
chester
Joined: 15 Jun 10
Posts: 15
Credit: 506261798
RAC: 0
Topic 205496

Hello, i'm trying to get all hosts running latest AMD RX 470/480 to compare their running times. According to http://boinc.berkeley.edu/trac/wiki/XmlStats it should be possible to get host stats from host.gz, but only tables.xml is available. Is it available elsewhere or can i get this info another way?

Christian Beer
Christian Beer
Joined: 9 Feb 05
Posts: 595
Credit: 127831478
RAC: 328433

On Einstein@Home the files

On Einstein@Home the files are named host_id.gz, team_id.gz and user_id.gz. The size of the host export is currently 250MB compressed. They are updated every 12 hours (around 0800 and 2000 UTC), check tables.xml before downloading.

chester
chester
Joined: 15 Jun 10
Posts: 15
Credit: 506261798
RAC: 0

Thank you, now i can do my

Thank you, now i can do my research :)

chester
chester
Joined: 15 Jun 10
Posts: 15
Credit: 506261798
RAC: 0

Christian, files are gzipped

Christian, files are gzipped twice.

Christian Beer
Christian Beer
Joined: 9 Feb 05
Posts: 595
Credit: 127831478
RAC: 328433

Possible. We gzip them on the

Possible. We gzip them on the server and the server gzips them during transport. But that shouldn't matter. After you downloaded the file it should be a regular gzipped textfile. At least that was the case when I just downloaded team_id.gz via my browser.

chester
chester
Joined: 15 Jun 10
Posts: 15
Credit: 506261798
RAC: 0

After i downloaded host_id.gz

After i downloaded host_id.gz and gunzipped it i got host_id, which was gzipped text file of the same size. I had to gunzip it again to get actual text file several times larger. This may be confusing to someone.

And /stats dir itself returns 403, so its contents and file names are unavailable unlike in seti, one should know what to look for.

Christian Beer
Christian Beer
Joined: 9 Feb 05
Posts: 595
Credit: 127831478
RAC: 328433

chester wrote:After i

chester wrote:
After i downloaded host_id.gz and gunzipped it i got host_id, which was gzipped text file of the same size. I had to gunzip it again to get actual text file several times larger. This may be confusing to someone

I downloaded the file and uncompressed using gzip -df team_id.gz which gave me a text file that was larger than the .gz. So I can't reproduce what you are experiencing.

mountkidd
mountkidd
Joined: 14 Jun 12
Posts: 175
Credit: 11042589122
RAC: 5202770

Christian Beer wrote:I

Christian Beer wrote:
I downloaded the file and uncompressed using gzip -df team_id.gz which gave me a text file that was larger than the .gz. So I can't reproduce what you are experiencing.

I have to do a double unzip (Win7 && Ub 14.04) as well to get text files from host_id.gz and user_id.gz.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.