Use `/usr/bin/time` command of system instead of getrusage

TODO:
- store elapsed time in result
- stop using `/usr/bin/time` and provide original time command