10:02:24 ...........................................................  3422 / 10345 ( 33%)
10:02:31 ...........................................................  3481 / 10345 ( 33%)
10:02:33 ...................S.......................................  3540 / 10345 ( 34%)
10:02:36 ...........................................................  3599 / 10345 ( 34%)
10:02:38 ...........................................................  3658 / 10345 ( 35%)
10:02:39 ...........................................................  3717 / 10345 ( 35%)
10:02:41 ............................................../srv/deployment/integration/slave-scripts/bin/mw-run-phpunit-allexts.sh: line 22: 25427 Segmentation fault      $PHP_BIN phpunit.php --log-junit "$JUNIT_DEST" --testsuite extensions
10:02:41 Build step 'Execute shell' marked build as failure
10:02:41 Recording test results
10:02:41 [PostBuildScript] - Execution post build scripts.
10:02:41 [mwext-testextension-php55] $ /bin/bash -xe /tmp/hudson8996816272568185092.sh
10:02:41 + /srv/deployment/integration/slave-scripts/bin/mw-teardown-mysql.sh
10:02:42 Archiving artifacts
10:02:42 Finished: FAILURE