Just curious how the wall time is lesser than the sum of system time and user time?