facebook/hhvm — pull request #1287 by kristapsk (2013-11-20 23:47:50+00:00)
Title: Use CPU time instead of wall time for time limit.

Fixes #1279.