daily_travis_ci.rb on 20131124
Limit memory useage to 10GB, resp. 1.4 GB for crawler