Ended philoresolved.c, found a nice solution!
Merge branch 'master' of https://github.com/lbillon/SEA-Linux-Scheduling