Build failed in Jenkins: g-i-installation_debian_sid_daily_hurd_lxde #23
See <https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/23/>
------------------------------------------
[...truncated 1019 lines...]
0:00:48.25 audio: 0kbps video: 175kbps, ET: 00:41:14, est. size: 7.5 MB
0:00:50.25 audio: 0kbps video: 172kbps, ET: 00:40:53, est. size: 7.4 MB
0:00:51.66 audio: 0kbps video: 169kbps, ET: 00:40:29, est. size: 7.2 MB
0:00:52.41 audio: 0kbps video: 167kbps, ET: 00:40:23, est. size: 7.2 MB
0:00:54.33 audio: 0kbps video: 161kbps, ET: 00:39:51, est. size: 6.9 MB
0:00:55.58 audio: 0kbps video: 160kbps, ET: 00:39:42, est. size: 6.8 MB
0:00:57.50 audio: 0kbps video: 155kbps, ET: 00:39:22, est. size: 6.6 MB
0:00:59.41 audio: 0kbps video: 150kbps, ET: 00:39:17, est. size: 6.4 MB
0:01:00.91 audio: 0kbps video: 148kbps, ET: 00:39:12, est. size: 6.4 MB
0:01:02.83 audio: 0kbps video: 144kbps, ET: 00:38:51, est. size: 6.2 MB
0:01:04.75 audio: 0kbps video: 139kbps, ET: 00:38:41, est. size: 6.0 MB
0:01:06.25 audio: 0kbps video: 138kbps, ET: 00:38:25, est. size: 5.9 MB
0:01:08.16 audio: 0kbps video: 134kbps, ET: 00:37:57, est. size: 5.8 MB
0:01:10.08 audio: 0kbps video: 131kbps, ET: 00:37:38, est. size: 5.6 MB
0:01:11.58 audio: 0kbps video: 130kbps, ET: 00:37:24, est. size: 5.6 MB
0:01:13.41 audio: 0kbps video: 127kbps, ET: 00:37:05, est. size: 5.5 MB
0:01:14.91 audio: 0kbps video: 125kbps, ET: 00:36:55, est. size: 5.4 MB
0:01:16.91 audio: 0kbps video: 124kbps, ET: 00:36:33, est. size: 5.3 MB
0:01:17.58 audio: 0kbps video: 124kbps, ET: 00:36:28, est. size: 5.3 MB
0:01:19.08 audio: 0kbps video: 122kbps, ET: 00:36:24, est. size: 5.3 MB
0:01:19.91 audio: 0kbps video: 122kbps, ET: 00:36:20, est. size: 5.2 MB
0:01:20.66 audio: 0kbps video: 121kbps, ET: 00:36:18, est. size: 5.2 MB
0:01:21.83 audio: 0kbps video: 120kbps, ET: 00:36:05, est. size: 5.2 MB
0:01:24.16 audio: 0kbps video: 118kbps, ET: 00:35:43, est. size: 5.1 MB
0:01:25.66 audio: 0kbps video: 117kbps, ET: 00:35:36, est. size: 5.0 MB
0:01:26.25 audio: 0kbps video: 116kbps, ET: 00:35:39, est. size: 5.0 MB
0:01:27.58 audio: 0kbps video: 117kbps, ET: 00:35:24, est. size: 5.0 MB
0:01:29.50 audio: 0kbps video: 114kbps, ET: 00:35:03, est. size: 4.9 MB
0:01:30.33 audio: 0kbps video: 113kbps, ET: 00:35:01, est. size: 4.9 MB
0:01:31.08 audio: 0kbps video: 113kbps, ET: 00:34:53, est. size: 4.9 MB
0:01:32.08 audio: 0kbps video: 113kbps, ET: 00:34:49, est. size: 4.8 MB
0:01:32.91 audio: 0kbps video: 113kbps, ET: 00:34:41, est. size: 4.8 MB
0:01:34.33 audio: 0kbps video: 112kbps, ET: 00:34:30, est. size: 4.8 MB
0:01:35.00 audio: 0kbps video: 112kbps, ET: 00:34:24, est. size: 4.8 MB
0:01:35.66 audio: 0kbps video: 112kbps, ET: 00:34:16, est. size: 4.8 MB
0:01:37.50 audio: 0kbps video: 111kbps, ET: 00:34:03, est. size: 4.8 MB
0:01:38.25 audio: 0kbps video: 112kbps, ET: 00:33:58, est. size: 4.8 MB
0:01:39.41 audio: 0kbps video: 111kbps, ET: 00:33:49, est. size: 4.8 MB
0:01:41.33 audio: 0kbps video: 109kbps, ET: 00:33:26, est. size: 4.7 MB
0:01:42.91 audio: 0kbps video: 108kbps, ET: 00:33:16, est. size: 4.6 MB
0:01:43.58 audio: 0kbps video: 109kbps, ET: 00:33:10, est. size: 4.7 MB
0:01:45.50 audio: 0kbps video: 107kbps, ET: 00:33:00, est. size: 4.6 MB
0:01:46.08 audio: 0kbps video: 108kbps, ET: 00:32:54, est. size: 4.6 MB
0:01:46.75 audio: 0kbps video: 110kbps, ET: 00:32:47, est. size: 4.7 MB
0:01:48.00 audio: 0kbps video: 109kbps, ET: 00:32:33, est. size: 4.7 MB
0:01:48.66 audio: 0kbps video: 109kbps, ET: 00:32:30, est. size: 4.7 MB
0:01:49.33 audio: 0kbps video: 112kbps, ET: 00:32:24, est. size: 4.8 MB
0:01:50.00 audio: 0kbps video: 112kbps, ET: 00:32:21, est. size: 4.8 MB
0:01:50.75 audio: 0kbps video: 112kbps, ET: 00:32:15, est. size: 4.8 MB
0:01:51.66 audio: 0kbps video: 112kbps, ET: 00:32:10, est. size: 4.8 MB
0:01:53.33 audio: 0kbps video: 111kbps, ET: 00:31:55, est. size: 4.8 MB
0:01:54.25 audio: 0kbps video: 113kbps, ET: 00:31:46, est. size: 4.8 MB
0:01:56.50 audio: 0kbps video: 111kbps, ET: 00:31:27, est. size: 4.8 MB
0:01:57.50 audio: 0kbps video: 110kbps, ET: 00:31:20, est. size: 4.7 MB
0:01:58.16 audio: 0kbps video: 110kbps, ET: 00:31:12, est. size: 4.7 MB
0:01:59.58 audio: 0kbps video: 112kbps, ET: 00:30:59, est. size: 4.8 MB
0:02:00.33 audio: 0kbps video: 111kbps, ET: 00:30:52, est. size: 4.8 MB
0:02:01.16 audio: 0kbps video: 111kbps, ET: 00:30:43, est. size: 4.8 MB
0:02:02.08 audio: 0kbps video: 111kbps, ET: 00:30:36, est. size: 4.8 MB
0:02:02.75 audio: 0kbps video: 111kbps, ET: 00:30:28, est. size: 4.8 MB
0:02:03.41 audio: 0kbps video: 111kbps, ET: 00:30:21, est. size: 4.8 MB
0:02:04.25 audio: 0kbps video: 111kbps, ET: 00:30:12, est. size: 4.8 MB
0:02:04.91 audio: 0kbps video: 116kbps, ET: 00:30:06, est. size: 5.0 MB
0:02:05.58 audio: 0kbps video: 116kbps, ET: 00:29:59, est. size: 5.0 MB
0:02:06.25 audio: 0kbps video: 116kbps, ET: 00:29:52, est. size: 5.0 MB
0:02:06.91 audio: 0kbps video: 116kbps, ET: 00:29:45, est. size: 5.0 MB
0:02:08.83 audio: 0kbps video: 114kbps, ET: 00:29:25, est. size: 4.9 MB
0:02:10.25 audio: 0kbps video: 116kbps, ET: 00:29:13, est. size: 5.0 MB
0:02:11.66 audio: 0kbps video: 117kbps, ET: 00:29:03, est. size: 5.0 MB
0:02:12.91 audio: 0kbps video: 116kbps, ET: 00:28:52, est. size: 5.0 MB
0:02:13.58 audio: 0kbps video: 116kbps, ET: 00:28:47, est. size: 5.0 MB
0:02:14.58 audio: 0kbps video: 116kbps, ET: 00:28:40, est. size: 5.0 MB
0:02:15.58 audio: 0kbps video: 119kbps, ET: 00:28:31, est. size: 5.1 MB
0:02:16.25 audio: 0kbps video: 118kbps, ET: 00:28:24, est. size: 5.1 MB
0:02:18.16 audio: 0kbps video: 117kbps, ET: 00:28:07, est. size: 5.0 MB
0:02:19.16 audio: 0kbps video: 116kbps, ET: 00:28:00, est. size: 5.0 MB
0:02:20.91 audio: 0kbps video: 118kbps, ET: 00:27:43, est. size: 5.1 MB
0:02:22.83 audio: 0kbps video: 117kbps, ET: 00:27:25, est. size: 5.0 MB
0:02:25.08 audio: 0kbps video: 115kbps, ET: 00:27:08, est. size: 5.0 MB
0:02:26.25 audio: 0kbps video: 118kbps, ET: 00:26:59, est. size: 5.1 MB
0:02:27.08 audio: 0kbps video: 117kbps, ET: 00:26:51, est. size: 5.0 MB
0:02:29.33 audio: 0kbps video: 116kbps, ET: 00:26:31, est. size: 5.0 MB
0:02:30.08 audio: 0kbps video: 116kbps, ET: 00:26:24, est. size: 5.0 MB
0:02:31.08 audio: 0kbps video: 116kbps, ET: 00:26:16, est. size: 5.0 MB
0:02:33.50 audio: 0kbps video: 118kbps, ET: 00:25:55, est. size: 5.1 MB
0:02:35.41 audio: 0kbps video: 117kbps, ET: 00:25:39, est. size: 5.0 MB
0:02:36.83 audio: 0kbps video: 119kbps, ET: 00:25:28, est. size: 5.1 MB
0:02:37.50 audio: 0kbps video: 119kbps, ET: 00:25:23, est. size: 5.1 MB
0:02:38.08 audio: 0kbps video: 119kbps, ET: 00:25:17, est. size: 5.1 MB
0:02:39.16 audio: 0kbps video: 118kbps, ET: 00:25:09, est. size: 5.1 MB
0:02:41.08 audio: 0kbps video: 117kbps, ET: 00:24:50, est. size: 5.0 MB
0:02:42.16 audio: 0kbps video: 119kbps, ET: 00:24:41, est. size: 5.1 MB
0:02:44.41 audio: 0kbps video: 118kbps, ET: 00:24:21, est. size: 5.1 MB
0:02:46.33 audio: 0kbps video: 117kbps, ET: 00:24:04, est. size: 5.0 MB
0:02:47.16 audio: 0kbps video: 117kbps, ET: 00:23:56, est. size: 5.0 MB
0:02:49.50 audio: 0kbps video: 117kbps, ET: 00:23:35, est. size: 5.0 MB
0:02:50.25 audio: 0kbps video: 117kbps, ET: 00:23:29, est. size: 5.0 MB
0:02:51.66 audio: 0kbps video: 118kbps, ET: 00:23:20, est. size: 5.1 MB
0:02:52.91 audio: 0kbps video: 119kbps, ET: 00:23:09, est. size: 5.1 MB
0:02:54.83 audio: 0kbps video: 117kbps, ET: 00:22:51, est. size: 5.0 MB
0:02:56.75 audio: 0kbps video: 116kbps, ET: 00:22:36, est. size: 5.0 MB
0:02:58.25 audio: 0kbps video: 117kbps, ET: 00:22:24, est. size: 5.0 MB
0:03:00.16 audio: 0kbps video: 116kbps, ET: 00:22:08, est. size: 5.0 MB
0:03:02.08 audio: 0kbps video: 114kbps, ET: 00:21:53, est. size: 4.9 MB
0:03:03.58 audio: 0kbps video: 115kbps, ET: 00:21:42, est. size: 5.0 MB
0:03:05.50 audio: 0kbps video: 114kbps, ET: 00:21:27, est. size: 4.9 MB
0:03:07.41 audio: 0kbps video: 113kbps, ET: 00:21:12, est. size: 4.9 MB
0:03:08.16 audio: 0kbps video: 113kbps, ET: 00:21:07, est. size: 4.8 MB
0:03:08.91 audio: 0kbps video: 114kbps, ET: 00:21:02, est. size: 4.9 MB
0:03:10.75 audio: 0kbps video: 113kbps, ET: 00:20:47, est. size: 4.9 MB
0:03:13.00 audio: 0kbps video: 113kbps, ET: 00:20:29, est. size: 4.8 MB
0:03:14.25 audio: 0kbps video: 113kbps, ET: 00:20:19, est. size: 4.8 MB
0:03:16.16 audio: 0kbps video: 111kbps, ET: 00:20:03, est. size: 4.8 MB
0:03:18.08 audio: 0kbps video: 110kbps, ET: 00:19:48, est. size: 4.7 MB
0:03:19.58 audio: 0kbps video: 110kbps, ET: 00:19:36, est. size: 4.7 MB
0:03:21.50 audio: 0kbps video: 109kbps, ET: 00:19:21, est. size: 4.7 MB
0:03:23.41 audio: 0kbps video: 108kbps, ET: 00:19:06, est. size: 4.6 MB
0:03:24.91 audio: 0kbps video: 108kbps, ET: 00:18:54, est. size: 4.6 MB
0:03:26.83 audio: 0kbps video: 107kbps, ET: 00:18:38, est. size: 4.6 MB
0:03:28.75 audio: 0kbps video: 106kbps, ET: 00:18:23, est. size: 4.5 MB
0:03:30.25 audio: 0kbps video: 106kbps, ET: 00:18:12, est. size: 4.5 MB
0:03:32.16 audio: 0kbps video: 105kbps, ET: 00:17:58, est. size: 4.5 MB
0:03:34.08 audio: 0kbps video: 104kbps, ET: 00:17:42, est. size: 4.4 MB
0:03:35.58 audio: 0kbps video: 103kbps, ET: 00:17:30, est. size: 4.4 MB
0:03:37.50 audio: 0kbps video: 103kbps, ET: 00:17:15, est. size: 4.4 MB
0:03:39.41 audio: 0kbps video: 102kbps, ET: 00:16:59, est. size: 4.4 MB
0:03:40.08 audio: 0kbps video: 102kbps, ET: 00:16:54, est. size: 4.4 MB
0:03:40.83 audio: 0kbps video: 102kbps, ET: 00:16:48, est. size: 4.4 MB
0:03:43.08 audio: 0kbps video: 101kbps, ET: 00:16:30, est. size: 4.3 MB
0:03:45.00 audio: 0kbps video: 100kbps, ET: 00:16:15, est. size: 4.3 MB
0:03:46.25 audio: 0kbps video: 100kbps, ET: 00:16:06, est. size: 4.3 MB
0:03:48.16 audio: 0kbps video: 100kbps, ET: 00:15:51, est. size: 4.3 MB
0:03:50.08 audio: 0kbps video: 99kbps, ET: 00:15:37, est. size: 4.2 MB
0:03:51.58 audio: 0kbps video: 99kbps, ET: 00:15:26, est. size: 4.2 MB
0:03:52.41 audio: 0kbps video: 99kbps, ET: 00:15:20, est. size: 4.3 MB
0:03:54.66 audio: 0kbps video: 98kbps, ET: 00:15:02, est. size: 4.2 MB
0:03:56.58 audio: 0kbps video: 97kbps, ET: 00:14:47, est. size: 4.2 MB
0:03:58.83 audio: 0kbps video: 97kbps, ET: 00:14:29, est. size: 4.2 MB
0:04:00.75 audio: 0kbps video: 96kbps, ET: 00:14:15, est. size: 4.1 MB
0:04:02.25 audio: 0kbps video: 96kbps, ET: 00:14:04, est. size: 4.1 MB
0:04:04.16 audio: 0kbps video: 96kbps, ET: 00:13:49, est. size: 4.1 MB
0:04:06.08 audio: 0kbps video: 95kbps, ET: 00:13:34, est. size: 4.1 MB
0:04:07.58 audio: 0kbps video: 95kbps, ET: 00:13:23, est. size: 4.1 MB
0:04:09.50 audio: 0kbps video: 94kbps, ET: 00:13:08, est. size: 4.0 MB
0:04:11.41 audio: 0kbps video: 93kbps, ET: 00:12:53, est. size: 4.0 MB
0:04:12.91 audio: 0kbps video: 93kbps, ET: 00:12:42, est. size: 4.0 MB
0:04:14.41 audio: 0kbps video: 93kbps, ET: 00:12:31, est. size: 4.0 MB
0:04:15.08 audio: 0kbps video: 93kbps, ET: 00:12:28, est. size: 4.0 MB
0:04:17.00 audio: 0kbps video: 92kbps, ET: 00:12:13, est. size: 4.0 MB
0:04:17.83 audio: 0kbps video: 92kbps, ET: 00:12:07, est. size: 4.0 MB
0:04:18.50 audio: 0kbps video: 93kbps, ET: 00:12:02, est. size: 4.0 MB
0:04:19.25 audio: 0kbps video: 93kbps, ET: 00:11:56, est. size: 4.0 MB
0:04:20.58 audio: 0kbps video: 92kbps, ET: 00:11:49, est. size: 4.0 MB
0:04:21.25 audio: 0kbps video: 92kbps, ET: 00:11:44, est. size: 4.0 MB
0:04:22.00 audio: 0kbps video: 92kbps, ET: 00:11:38, est. size: 4.0 MB
0:04:23.58 audio: 0kbps video: 92kbps, ET: 00:11:26, est. size: 4.0 MB
0:04:24.41 audio: 0kbps video: 92kbps, ET: 00:11:20, est. size: 4.0 MB
0:04:25.25 audio: 0kbps video: 92kbps, ET: 00:11:13, est. size: 4.0 MB
0:04:25.91 audio: 0kbps video: 92kbps, ET: 00:11:08, est. size: 4.0 MB
0:04:26.58 audio: 0kbps video: 92kbps, ET: 00:11:03, est. size: 4.0 MB
0:04:27.41 audio: 0kbps video: 93kbps, ET: 00:10:57, est. size: 4.0 MB
0:04:28.25 audio: 0kbps video: 92kbps, ET: 00:10:51, est. size: 4.0 MB
0:04:28.91 audio: 0kbps video: 93kbps, ET: 00:10:46, est. size: 4.0 MB
0:04:30.16 audio: 0kbps video: 93kbps, ET: 00:10:38, est. size: 4.0 MB
0:04:31.25 audio: 0kbps video: 93kbps, ET: 00:10:33, est. size: 4.0 MB
0:04:32.25 audio: 0kbps video: 92kbps, ET: 00:10:26, est. size: 4.0 MB
0:04:33.00 audio: 0kbps video: 92kbps, ET: 00:10:21, est. size: 4.0 MB
0:04:34.00 audio: 0kbps video: 92kbps, ET: 00:10:13, est. size: 4.0 MB
0:04:35.25 audio: 0kbps video: 93kbps, ET: 00:10:05, est. size: 4.0 MB
0:04:35.83 audio: 0kbps video: 93kbps, ET: 00:10:01, est. size: 4.0 MB
0:04:36.75 audio: 0kbps video: 92kbps, ET: 00:09:54, est. size: 4.0 MB
0:04:37.41 audio: 0kbps video: 92kbps, ET: 00:09:49, est. size: 4.0 MB
0:04:39.33 audio: 0kbps video: 92kbps, ET: 00:09:35, est. size: 3.9 MB
0:04:40.33 audio: 0kbps video: 92kbps, ET: 00:09:28, est. size: 3.9 MB
0:04:41.16 audio: 0kbps video: 92kbps, ET: 00:09:22, est. size: 3.9 MB
0:04:42.25 audio: 0kbps video: 92kbps, ET: 00:09:15, est. size: 3.9 MB
0:04:43.41 audio: 0kbps video: 91kbps, ET: 00:09:06, est. size: 3.9 MB
0:04:44.83 audio: 0kbps video: 92kbps, ET: 00:08:55, est. size: 4.0 MB
0:04:46.33 audio: 0kbps video: 93kbps, ET: 00:08:42, est. size: 4.0 MB
0:04:48.25 audio: 0kbps video: 92kbps, ET: 00:08:26, est. size: 3.9 MB
0:04:48.91 audio: 0kbps video: 92kbps, ET: 00:08:20, est. size: 4.0 MB
0:04:49.58 audio: 0kbps video: 94kbps, ET: 00:08:14, est. size: 4.0 MB
0:04:50.25 audio: 0kbps video: 95kbps, ET: 00:08:09, est. size: 4.1 MB
0:04:50.91 audio: 0kbps video: 95kbps, ET: 00:08:03, est. size: 4.1 MB
0:04:51.58 audio: 0kbps video: 96kbps, ET: 00:07:57, est. size: 4.1 MB
0:04:52.25 audio: 0kbps video: 96kbps, ET: 00:07:52, est. size: 4.1 MB
0:04:53.41 audio: 0kbps video: 96kbps, ET: 00:07:42, est. size: 4.1 MB
0:04:54.08 audio: 0kbps video: 97kbps, ET: 00:07:37, est. size: 4.2 MB
0:04:55.08 audio: 0kbps video: 97kbps, ET: 00:07:28, est. size: 4.1 MB
0:04:56.83 audio: 0kbps video: 98kbps, ET: 00:07:14, est. size: 4.2 MB
0:04:57.50 audio: 0kbps video: 98kbps, ET: 00:07:09, est. size: 4.2 MB
0:04:58.25 audio: 0kbps video: 98kbps, ET: 00:07:03, est. size: 4.2 MB
0:04:58.91 audio: 0kbps video: 99kbps, ET: 00:06:57, est. size: 4.2 MB
0:04:59.58 audio: 0kbps video: 100kbps, ET: 00:06:52, est. size: 4.3 MB
0:05:00.58 audio: 0kbps video: 100kbps, ET: 00:06:44, est. size: 4.3 MB
0:05:01.16 audio: 0kbps video: 102kbps, ET: 00:06:39, est. size: 4.4 MB
0:05:02.00 audio: 0kbps video: 102kbps, ET: 00:06:33, est. size: 4.4 MB
0:05:02.83 audio: 0kbps video: 105kbps, ET: 00:06:26, est. size: 4.5 MB
0:05:03.66 audio: 0kbps video: 105kbps, ET: 00:06:21, est. size: 4.5 MB
0:05:04.25 audio: 0kbps video: 105kbps, ET: 00:06:17, est. size: 4.5 MB
0:05:05.08 audio: 0kbps video: 105kbps, ET: 00:06:11, est. size: 4.5 MB
0:05:05.66 audio: 0kbps video: 107kbps, ET: 00:06:06, est. size: 4.6 MB
0:05:06.50 audio: 0kbps video: 110kbps, ET: 00:06:00, est. size: 4.7 MB
0:05:07.16 audio: 0kbps video: 110kbps, ET: 00:05:54, est. size: 4.7 MB
0:05:07.83 audio: 0kbps video: 110kbps, ET: 00:05:50, est. size: 4.7 MB
0:05:08.66 audio: 0kbps video: 110kbps, ET: 00:05:43, est. size: 4.7 MB
0:05:09.33 audio: 0kbps video: 110kbps, ET: 00:05:38, est. size: 4.7 MB
0:05:10.16 audio: 0kbps video: 110kbps, ET: 00:05:32, est. size: 4.7 MB
0:05:10.83 audio: 0kbps video: 110kbps, ET: 00:05:27, est. size: 4.7 MB
0:05:11.50 audio: 0kbps video: 112kbps, ET: 00:05:24, est. size: 4.8 MB
0:05:12.33 audio: 0kbps video: 113kbps, ET: 00:05:18, est. size: 4.8 MB
0:05:13.00 audio: 0kbps video: 113kbps, ET: 00:05:13, est. size: 4.9 MB
0:05:13.66 audio: 0kbps video: 113kbps, ET: 00:05:08, est. size: 4.9 MB
0:05:14.33 audio: 0kbps video: 113kbps, ET: 00:05:03, est. size: 4.9 MB
0:05:16.16 audio: 0kbps video: 113kbps, ET: 00:04:50, est. size: 4.9 MB
0:05:16.83 audio: 0kbps video: 113kbps, ET: 00:04:45, est. size: 4.9 MB
0:05:18.50 audio: 0kbps video: 115kbps, ET: 00:04:33, est. size: 5.0 MB
0:05:19.16 audio: 0kbps video: 116kbps, ET: 00:04:28, est. size: 5.0 MB
0:05:19.83 audio: 0kbps video: 116kbps, ET: 00:04:23, est. size: 5.0 MB
0:05:21.58 audio: 0kbps video: 115kbps, ET: 00:04:11, est. size: 5.0 MB
0:05:22.16 audio: 0kbps video: 117kbps, ET: 00:04:06, est. size: 5.0 MB
0:05:22.83 audio: 0kbps video: 118kbps, ET: 00:04:02, est. size: 5.1 MB
0:05:23.50 audio: 0kbps video: 118kbps, ET: 00:03:57, est. size: 5.1 MB
0:05:25.25 audio: 0kbps video: 118kbps, ET: 00:03:45, est. size: 5.0 MB
0:05:27.16 audio: 0kbps video: 117kbps, ET: 00:03:31, est. size: 5.0 MB
0:05:27.83 audio: 0kbps video: 119kbps, ET: 00:03:26, est. size: 5.1 MB
0:05:29.75 audio: 0kbps video: 118kbps, ET: 00:03:13, est. size: 5.1 MB
0:05:31.66 audio: 0kbps video: 118kbps, ET: 00:03:00, est. size: 5.0 MB
0:05:32.50 audio: 0kbps video: 117kbps, ET: 00:02:55, est. size: 5.0 MB
0:05:33.16 audio: 0kbps video: 120kbps, ET: 00:02:50, est. size: 5.1 MB
0:05:35.08 audio: 0kbps video: 119kbps, ET: 00:02:37, est. size: 5.1 MB
0:05:37.00 audio: 0kbps video: 118kbps, ET: 00:02:25, est. size: 5.1 MB
0:05:38.16 audio: 0kbps video: 119kbps, ET: 00:02:17, est. size: 5.1 MB
0:05:40.41 audio: 0kbps video: 119kbps, ET: 00:02:02, est. size: 5.1 MB
0:05:42.33 audio: 0kbps video: 119kbps, ET: 00:01:50, est. size: 5.1 MB
0:05:43.50 audio: 0kbps video: 120kbps, ET: 00:01:42, est. size: 5.1 MB
0:05:45.75 audio: 0kbps video: 120kbps, ET: 00:01:28, est. size: 5.1 MB
0:05:47.66 audio: 0kbps video: 119kbps, ET: 00:01:15, est. size: 5.1 MB
0:05:48.83 audio: 0kbps video: 120kbps, ET: 00:01:08, est. size: 5.2 MB
0:05:51.08 audio: 0kbps video: 120kbps, ET: 00:00:54, est. size: 5.2 MB
0:05:53.00 audio: 0kbps video: 120kbps, ET: 00:00:42, est. size: 5.1 MB
0:05:54.16 audio: 0kbps video: 121kbps, ET: 00:00:35, est. size: 5.2 MB
0:05:56.41 audio: 0kbps video: 121kbps, ET: 00:00:21, est. size: 5.2 MB
0:05:58.33 audio: 0kbps video: 120kbps, ET: 00:00:10, est. size: 5.1 MB
0:05:59.50 audio: 0kbps video: 121kbps, ET: 00:00:03, est. size: 5.2 MB
0:06:00.16 audio: 0kbps video: 121kbps, time elapsed: 00:35:53
0:06:00.04 audio: 0kbps video: 121kbps, time elapsed: 00:35:53
Mon May 5 17:38:01 UTC 2014 - /srv/jenkins/bin/g-i-installation.sh stopped running as /tmp/jenkins-script-hIopGOjh, which will now be removed.
Build step 'Execute shell' marked build as failure
Reply to: