import os
projectdir ='/home/thibaut/projects/pacemaker/planetlab/data'
result = [[]]
for node in os.listdir(projectdir):
    c = 0
    preuve = {}
    try:
        for logfile in os.listdir(os.path.join(projectdir,node,'log')):
            if '.net' in logfile:
                fh = open(os.path.join(projectdir,node,'log',logfile),"r")
                c += len(fh.readlines())
                fh.close()
            if '.prot' in logfile:
                fh = open(os.path.join(projectdir,node,'log',logfile),"r")
                for line in fh.readlines():
                    if 'Proof' in line:
                        try:
                            timestp, proof, nround, depth = line.rstrip().split()
                            preuve[nround]=1
                        except ValueError:
                            import pdb;pdb.set_trace()
                fh.close()
        result.append([node,c,len(preuve)]) 
    except OSError:
        pass