{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2785","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2785/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2785/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2785/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/2785","id":114706316,"number":2785,"title":"Meta002 test gets killed by travis-ci.org","user":{"login":"lenary","id":14548,"avatar_url":"https://avatars.githubusercontent.com/u/14548?v=3","gravatar_id":"","url":"https://api.github.com/users/lenary","html_url":"https://github.com/lenary","followers_url":"https://api.github.com/users/lenary/followers","following_url":"https://api.github.com/users/lenary/following{/other_user}","gists_url":"https://api.github.com/users/lenary/gists{/gist_id}","starred_url":"https://api.github.com/users/lenary/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lenary/subscriptions","organizations_url":"https://api.github.com/users/lenary/orgs","repos_url":"https://api.github.com/users/lenary/repos","events_url":"https://api.github.com/users/lenary/events{/privacy}","received_events_url":"https://api.github.com/users/lenary/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-11-02T23:16:20Z","updated_at":"2015-11-02T23:34:03Z","closed_at":null,"body":"As evidenced by this message, the meta002 test seems to get killed by travis-ci when running. (Parallel builds interleave output, but the \"meta002 passed\" is always printed after this killed message).\r\n\r\nhttps://travis-ci.org/idris-lang/Idris-dev/jobs/86099125#L1091\r\n\r\nAfter looking into this further, it seems to have originated in the builds for #2749 (the build linked, but appears in every test including meta002 since then), it doesn't appear in travis build 4111.\r\n\r\nI have run the test on my own machine, trying to get out some figures. Travis will kill some processes, in certain cases: http://docs.travis-ci.com/user/common-build-problems/#My-build-script-is-killed-without-any-error and it seems this is triggered. I ran the following, and it showed me:\r\n\r\n```\r\n$ /usr/bin/time -lp idris -p pruviloj --check Deriving.idr\r\nreal        58.89\r\nuser        47.99\r\nsys          5.25\r\n4464189440  maximum resident set size\r\n         0  average shared memory size\r\n         0  average unshared data size\r\n         0  average unshared stack size\r\n   1629379  page reclaims\r\n       407  page faults\r\n         0  swaps\r\n        31  block input operations\r\n         3  block output operations\r\n         0  messages sent\r\n         0  messages received\r\n      5785  signals received\r\n       124  voluntary context switches\r\n    143867  involuntary context switches\r\n```\r\n\r\nThat figure for Max RSS is in bytes, so, about 4.4 GB of memory is used at peak by this script. Travis will kill a process if it goes above 3GB.\r\n\r\nI can't get the other two files in the test to actually run, but maybe we need to do something like \"set +e\" or something in the ./run script (this will cause the whole script to error if any of it does, you can \"set -e\" to remove this again later in a script).\r\n"},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/153192986","html_url":"https://github.com/idris-lang/Idris-dev/issues/2785#issuecomment-153192986","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2785","id":153192986,"user":{"login":"lenary","id":14548,"avatar_url":"https://avatars.githubusercontent.com/u/14548?v=3","gravatar_id":"","url":"https://api.github.com/users/lenary","html_url":"https://github.com/lenary","followers_url":"https://api.github.com/users/lenary/followers","following_url":"https://api.github.com/users/lenary/following{/other_user}","gists_url":"https://api.github.com/users/lenary/gists{/gist_id}","starred_url":"https://api.github.com/users/lenary/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lenary/subscriptions","organizations_url":"https://api.github.com/users/lenary/orgs","repos_url":"https://api.github.com/users/lenary/repos","events_url":"https://api.github.com/users/lenary/events{/privacy}","received_events_url":"https://api.github.com/users/lenary/received_events","type":"User","site_admin":false},"created_at":"2015-11-02T23:34:03Z","updated_at":"2015-11-02T23:34:03Z","body":"It's worth pointing out, I'm pretty sure the test passes, given lack of error messages from it. "}}