El Capitan är fortfarande herren på superdator-täppan