[debian-edu-commits] Build failed in Jenkins: g-i-installation_debian-edu_jessie_main-ltsp-server #9

jenkins at jenkins.debian.net jenkins at jenkins.debian.net
Sun Oct 26 16:04:50 UTC 2014


See <https://jenkins.debian.net/job/g-i-installation_debian-edu_jessie_main-ltsp-server/9/>

------------------------------------------
[...truncated 1059 lines...]
  0:02:16.91 audio: 0kbps video: 133kbps, ET: 00:19:18, est. size: 6.1 MB   
  0:02:17.58 audio: 0kbps video: 133kbps, ET: 00:19:15, est. size: 6.1 MB   
  0:02:18.25 audio: 0kbps video: 133kbps, ET: 00:19:12, est. size: 6.1 MB   
  0:02:18.91 audio: 0kbps video: 134kbps, ET: 00:19:06, est. size: 6.1 MB   
  0:02:19.58 audio: 0kbps video: 135kbps, ET: 00:19:05, est. size: 6.2 MB   
  0:02:20.33 audio: 0kbps video: 135kbps, ET: 00:19:00, est. size: 6.2 MB   
  0:02:21.16 audio: 0kbps video: 135kbps, ET: 00:18:57, est. size: 6.2 MB   
  0:02:21.83 audio: 0kbps video: 136kbps, ET: 00:18:52, est. size: 6.2 MB   
  0:02:22.50 audio: 0kbps video: 136kbps, ET: 00:18:48, est. size: 6.2 MB   
  0:02:23.16 audio: 0kbps video: 136kbps, ET: 00:18:47, est. size: 6.2 MB   
  0:02:24.00 audio: 0kbps video: 136kbps, ET: 00:18:45, est. size: 6.2 MB   
  0:02:24.75 audio: 0kbps video: 136kbps, ET: 00:18:50, est. size: 6.2 MB   
  0:02:25.41 audio: 0kbps video: 138kbps, ET: 00:18:47, est. size: 6.3 MB   
  0:02:26.08 audio: 0kbps video: 138kbps, ET: 00:18:42, est. size: 6.3 MB   
  0:02:26.75 audio: 0kbps video: 138kbps, ET: 00:18:38, est. size: 6.3 MB   
  0:02:27.50 audio: 0kbps video: 139kbps, ET: 00:18:34, est. size: 6.3 MB   
  0:02:28.16 audio: 0kbps video: 139kbps, ET: 00:18:29, est. size: 6.4 MB   
  0:02:29.16 audio: 0kbps video: 139kbps, ET: 00:18:23, est. size: 6.3 MB   
  0:02:29.83 audio: 0kbps video: 139kbps, ET: 00:18:18, est. size: 6.4 MB   
  0:02:30.50 audio: 0kbps video: 140kbps, ET: 00:18:13, est. size: 6.4 MB   
  0:02:32.75 audio: 0kbps video: 139kbps, ET: 00:18:01, est. size: 6.4 MB   
  0:02:33.50 audio: 0kbps video: 139kbps, ET: 00:17:55, est. size: 6.4 MB   
  0:02:34.25 audio: 0kbps video: 139kbps, ET: 00:17:51, est. size: 6.4 MB   
  0:02:35.16 audio: 0kbps video: 139kbps, ET: 00:17:46, est. size: 6.4 MB   
  0:02:35.83 audio: 0kbps video: 140kbps, ET: 00:17:41, est. size: 6.4 MB   
  0:02:36.58 audio: 0kbps video: 140kbps, ET: 00:17:37, est. size: 6.4 MB   
  0:02:37.33 audio: 0kbps video: 140kbps, ET: 00:17:33, est. size: 6.4 MB   
  0:02:39.75 audio: 0kbps video: 138kbps, ET: 00:17:18, est. size: 6.3 MB   
  0:02:40.91 audio: 0kbps video: 139kbps, ET: 00:17:12, est. size: 6.4 MB   
  0:02:41.58 audio: 0kbps video: 139kbps, ET: 00:17:08, est. size: 6.4 MB   
  0:02:42.16 audio: 0kbps video: 139kbps, ET: 00:17:06, est. size: 6.4 MB   
  0:02:42.83 audio: 0kbps video: 139kbps, ET: 00:17:05, est. size: 6.4 MB   
  0:02:43.50 audio: 0kbps video: 139kbps, ET: 00:17:02, est. size: 6.4 MB   
  0:02:44.16 audio: 0kbps video: 140kbps, ET: 00:16:57, est. size: 6.4 MB   
  0:02:45.75 audio: 0kbps video: 139kbps, ET: 00:16:51, est. size: 6.4 MB   
  0:02:46.41 audio: 0kbps video: 141kbps, ET: 00:16:48, est. size: 6.4 MB   
  0:02:47.08 audio: 0kbps video: 140kbps, ET: 00:16:43, est. size: 6.4 MB   
  0:02:48.75 audio: 0kbps video: 139kbps, ET: 00:16:35, est. size: 6.4 MB   
  0:02:49.50 audio: 0kbps video: 139kbps, ET: 00:16:31, est. size: 6.4 MB   
  0:02:50.33 audio: 0kbps video: 139kbps, ET: 00:16:28, est. size: 6.4 MB   
  0:02:51.08 audio: 0kbps video: 139kbps, ET: 00:16:24, est. size: 6.3 MB   
  0:02:51.75 audio: 0kbps video: 140kbps, ET: 00:16:21, est. size: 6.4 MB   
  0:02:53.66 audio: 0kbps video: 138kbps, ET: 00:16:10, est. size: 6.3 MB   
  0:02:55.58 audio: 0kbps video: 137kbps, ET: 00:16:01, est. size: 6.3 MB   
  0:02:56.41 audio: 0kbps video: 136kbps, ET: 00:15:59, est. size: 6.2 MB   
  0:02:57.08 audio: 0kbps video: 138kbps, ET: 00:15:57, est. size: 6.3 MB   
  0:02:57.75 audio: 0kbps video: 138kbps, ET: 00:15:53, est. size: 6.3 MB   
  0:02:58.41 audio: 0kbps video: 138kbps, ET: 00:15:51, est. size: 6.3 MB   
  0:02:59.41 audio: 0kbps video: 138kbps, ET: 00:15:48, est. size: 6.3 MB   
  0:03:00.08 audio: 0kbps video: 138kbps, ET: 00:15:45, est. size: 6.3 MB   
  0:03:00.91 audio: 0kbps video: 138kbps, ET: 00:15:44, est. size: 6.3 MB   
  0:03:01.58 audio: 0kbps video: 138kbps, ET: 00:15:41, est. size: 6.3 MB   
  0:03:02.33 audio: 0kbps video: 139kbps, ET: 00:15:35, est. size: 6.4 MB   
  0:03:03.00 audio: 0kbps video: 139kbps, ET: 00:15:32, est. size: 6.4 MB   
  0:03:04.16 audio: 0kbps video: 139kbps, ET: 00:15:25, est. size: 6.4 MB   
  0:03:05.16 audio: 0kbps video: 138kbps, ET: 00:15:21, est. size: 6.3 MB   
  0:03:05.83 audio: 0kbps video: 139kbps, ET: 00:15:18, est. size: 6.3 MB   
  0:03:06.58 audio: 0kbps video: 138kbps, ET: 00:15:13, est. size: 6.3 MB   
  0:03:07.58 audio: 0kbps video: 139kbps, ET: 00:15:15, est. size: 6.4 MB   
  0:03:08.91 audio: 0kbps video: 138kbps, ET: 00:15:07, est. size: 6.3 MB   
  0:03:09.58 audio: 0kbps video: 138kbps, ET: 00:15:03, est. size: 6.3 MB   
  0:03:10.41 audio: 0kbps video: 138kbps, ET: 00:15:01, est. size: 6.3 MB   
  0:03:11.00 audio: 0kbps video: 138kbps, ET: 00:14:59, est. size: 6.3 MB   
  0:03:11.66 audio: 0kbps video: 137kbps, ET: 00:14:58, est. size: 6.3 MB   
  0:03:12.91 audio: 0kbps video: 138kbps, ET: 00:14:53, est. size: 6.3 MB   
  0:03:14.25 audio: 0kbps video: 137kbps, ET: 00:14:49, est. size: 6.3 MB   
  0:03:16.16 audio: 0kbps video: 136kbps, ET: 00:14:45, est. size: 6.2 MB   
  0:03:17.00 audio: 0kbps video: 136kbps, ET: 00:14:44, est. size: 6.2 MB   
  0:03:18.16 audio: 0kbps video: 135kbps, ET: 00:14:43, est. size: 6.2 MB   
  0:03:19.58 audio: 0kbps video: 136kbps, ET: 00:14:39, est. size: 6.2 MB   
  0:03:20.25 audio: 0kbps video: 136kbps, ET: 00:14:38, est. size: 6.2 MB   
  0:03:21.00 audio: 0kbps video: 136kbps, ET: 00:14:35, est. size: 6.2 MB   
  0:03:21.66 audio: 0kbps video: 136kbps, ET: 00:14:32, est. size: 6.2 MB   
  0:03:23.58 audio: 0kbps video: 136kbps, ET: 00:14:26, est. size: 6.2 MB   
  0:03:25.50 audio: 0kbps video: 134kbps, ET: 00:14:21, est. size: 6.2 MB   
  0:03:26.33 audio: 0kbps video: 134kbps, ET: 00:14:22, est. size: 6.1 MB   
  0:03:27.00 audio: 0kbps video: 135kbps, ET: 00:14:19, est. size: 6.2 MB   
  0:03:28.91 audio: 0kbps video: 135kbps, ET: 00:14:15, est. size: 6.2 MB   
  0:03:30.83 audio: 0kbps video: 133kbps, ET: 00:14:08, est. size: 6.1 MB   
  0:03:31.58 audio: 0kbps video: 133kbps, ET: 00:14:06, est. size: 6.1 MB   
  0:03:32.33 audio: 0kbps video: 133kbps, ET: 00:14:04, est. size: 6.1 MB   
  0:03:34.25 audio: 0kbps video: 133kbps, ET: 00:14:02, est. size: 6.1 MB   
  0:03:36.16 audio: 0kbps video: 132kbps, ET: 00:13:57, est. size: 6.0 MB   
  0:03:38.08 audio: 0kbps video: 131kbps, ET: 00:13:50, est. size: 6.0 MB   
  0:03:39.58 audio: 0kbps video: 131kbps, ET: 00:13:48, est. size: 6.0 MB   
  0:03:40.25 audio: 0kbps video: 131kbps, ET: 00:13:47, est. size: 6.0 MB   
  0:03:40.91 audio: 0kbps video: 132kbps, ET: 00:13:47, est. size: 6.0 MB   
  0:03:41.91 audio: 0kbps video: 131kbps, ET: 00:13:43, est. size: 6.0 MB   
  0:03:43.33 audio: 0kbps video: 131kbps, ET: 00:13:38, est. size: 6.0 MB   
  0:03:44.00 audio: 0kbps video: 131kbps, ET: 00:13:35, est. size: 6.0 MB   
  0:03:44.91 audio: 0kbps video: 132kbps, ET: 00:13:31, est. size: 6.0 MB   
  0:03:46.25 audio: 0kbps video: 131kbps, ET: 00:13:27, est. size: 6.0 MB   
  0:03:48.50 audio: 0kbps video: 130kbps, ET: 00:13:18, est. size: 5.9 MB   
  0:03:50.25 audio: 0kbps video: 130kbps, ET: 00:13:11, est. size: 6.0 MB   
  0:03:50.83 audio: 0kbps video: 130kbps, ET: 00:13:09, est. size: 5.9 MB   
  0:03:52.08 audio: 0kbps video: 129kbps, ET: 00:13:04, est. size: 5.9 MB   
  0:03:54.00 audio: 0kbps video: 128kbps, ET: 00:12:57, est. size: 5.9 MB   
  0:03:55.58 audio: 0kbps video: 128kbps, ET: 00:12:50, est. size: 5.9 MB   
  0:03:57.50 audio: 0kbps video: 127kbps, ET: 00:12:40, est. size: 5.8 MB   
  0:03:59.41 audio: 0kbps video: 126kbps, ET: 00:12:30, est. size: 5.8 MB   
  0:04:00.08 audio: 0kbps video: 127kbps, ET: 00:12:28, est. size: 5.8 MB   
  0:04:00.66 audio: 0kbps video: 127kbps, ET: 00:12:26, est. size: 5.8 MB   
  0:04:01.91 audio: 0kbps video: 127kbps, ET: 00:12:20, est. size: 5.8 MB   
  0:04:02.58 audio: 0kbps video: 127kbps, ET: 00:12:17, est. size: 5.8 MB   
  0:04:03.25 audio: 0kbps video: 128kbps, ET: 00:12:14, est. size: 5.9 MB   
  0:04:03.91 audio: 0kbps video: 128kbps, ET: 00:12:11, est. size: 5.9 MB   
  0:04:05.08 audio: 0kbps video: 128kbps, ET: 00:12:06, est. size: 5.8 MB   
  0:04:05.83 audio: 0kbps video: 128kbps, ET: 00:12:03, est. size: 5.8 MB   
  0:04:06.66 audio: 0kbps video: 128kbps, ET: 00:12:00, est. size: 5.9 MB   
  0:04:07.25 audio: 0kbps video: 128kbps, ET: 00:11:57, est. size: 5.9 MB   
  0:04:08.25 audio: 0kbps video: 128kbps, ET: 00:11:53, est. size: 5.8 MB   
  0:04:09.66 audio: 0kbps video: 127kbps, ET: 00:11:48, est. size: 5.8 MB   
  0:04:10.33 audio: 0kbps video: 128kbps, ET: 00:11:45, est. size: 5.8 MB   
  0:04:11.00 audio: 0kbps video: 127kbps, ET: 00:11:42, est. size: 5.8 MB   
  0:04:11.83 audio: 0kbps video: 128kbps, ET: 00:11:37, est. size: 5.9 MB   
  0:04:14.08 audio: 0kbps video: 127kbps, ET: 00:11:28, est. size: 5.8 MB   
  0:04:16.00 audio: 0kbps video: 126kbps, ET: 00:11:20, est. size: 5.8 MB   
  0:04:16.91 audio: 0kbps video: 127kbps, ET: 00:11:16, est. size: 5.8 MB   
  0:04:18.83 audio: 0kbps video: 126kbps, ET: 00:11:06, est. size: 5.8 MB   
  0:04:20.75 audio: 0kbps video: 125kbps, ET: 00:10:58, est. size: 5.7 MB   
  0:04:22.25 audio: 0kbps video: 125kbps, ET: 00:10:51, est. size: 5.7 MB   
  0:04:24.16 audio: 0kbps video: 124kbps, ET: 00:10:42, est. size: 5.7 MB   
  0:04:26.08 audio: 0kbps video: 123kbps, ET: 00:10:33, est. size: 5.6 MB   
  0:04:26.66 audio: 0kbps video: 123kbps, ET: 00:10:31, est. size: 5.6 MB   
  0:04:27.33 audio: 0kbps video: 124kbps, ET: 00:10:29, est. size: 5.7 MB   
  0:04:28.41 audio: 0kbps video: 124kbps, ET: 00:10:25, est. size: 5.7 MB   
  0:04:29.08 audio: 0kbps video: 124kbps, ET: 00:10:21, est. size: 5.7 MB   
  0:04:29.75 audio: 0kbps video: 125kbps, ET: 00:10:19, est. size: 5.7 MB   
  0:04:30.58 audio: 0kbps video: 125kbps, ET: 00:10:15, est. size: 5.7 MB   
  0:04:31.33 audio: 0kbps video: 124kbps, ET: 00:10:11, est. size: 5.7 MB   
  0:04:32.66 audio: 0kbps video: 124kbps, ET: 00:10:04, est. size: 5.7 MB   
  0:04:33.41 audio: 0kbps video: 125kbps, ET: 00:10:00, est. size: 5.7 MB   
  0:04:34.08 audio: 0kbps video: 125kbps, ET: 00:09:57, est. size: 5.7 MB   
  0:04:34.91 audio: 0kbps video: 125kbps, ET: 00:09:53, est. size: 5.7 MB   
  0:04:36.08 audio: 0kbps video: 125kbps, ET: 00:09:49, est. size: 5.7 MB   
  0:04:36.75 audio: 0kbps video: 125kbps, ET: 00:09:46, est. size: 5.7 MB   
  0:04:37.41 audio: 0kbps video: 125kbps, ET: 00:09:42, est. size: 5.7 MB   
  0:04:38.08 audio: 0kbps video: 125kbps, ET: 00:09:39, est. size: 5.7 MB   
  0:04:38.75 audio: 0kbps video: 126kbps, ET: 00:09:36, est. size: 5.8 MB   
  0:04:39.41 audio: 0kbps video: 126kbps, ET: 00:09:33, est. size: 5.8 MB   
  0:04:40.33 audio: 0kbps video: 127kbps, ET: 00:09:28, est. size: 5.8 MB   
  0:04:41.00 audio: 0kbps video: 127kbps, ET: 00:09:25, est. size: 5.8 MB   
  0:04:41.66 audio: 0kbps video: 127kbps, ET: 00:09:21, est. size: 5.8 MB   
  0:04:42.25 audio: 0kbps video: 127kbps, ET: 00:09:18, est. size: 5.8 MB   
  0:04:42.91 audio: 0kbps video: 127kbps, ET: 00:09:15, est. size: 5.8 MB   
  0:04:43.58 audio: 0kbps video: 127kbps, ET: 00:09:11, est. size: 5.8 MB   
  0:04:44.66 audio: 0kbps video: 127kbps, ET: 00:09:04, est. size: 5.8 MB   
  0:04:45.33 audio: 0kbps video: 127kbps, ET: 00:09:02, est. size: 5.8 MB   
  0:04:47.25 audio: 0kbps video: 127kbps, ET: 00:08:52, est. size: 5.8 MB   
  0:04:48.83 audio: 0kbps video: 126kbps, ET: 00:08:43, est. size: 5.8 MB   
  0:04:49.66 audio: 0kbps video: 126kbps, ET: 00:08:39, est. size: 5.8 MB   
  0:04:50.33 audio: 0kbps video: 127kbps, ET: 00:08:36, est. size: 5.8 MB   
  0:04:51.08 audio: 0kbps video: 127kbps, ET: 00:08:30, est. size: 5.8 MB   
  0:04:51.75 audio: 0kbps video: 127kbps, ET: 00:08:26, est. size: 5.8 MB   
  0:04:53.08 audio: 0kbps video: 126kbps, ET: 00:08:18, est. size: 5.8 MB   
  0:04:53.75 audio: 0kbps video: 126kbps, ET: 00:08:13, est. size: 5.8 MB   
  0:04:54.41 audio: 0kbps video: 127kbps, ET: 00:08:09, est. size: 5.8 MB   
  0:04:55.16 audio: 0kbps video: 127kbps, ET: 00:08:05, est. size: 5.8 MB   
  0:04:56.83 audio: 0kbps video: 127kbps, ET: 00:07:56, est. size: 5.8 MB   
  0:04:58.83 audio: 0kbps video: 126kbps, ET: 00:07:45, est. size: 5.8 MB   
  0:04:59.50 audio: 0kbps video: 127kbps, ET: 00:07:42, est. size: 5.8 MB   
  0:05:01.08 audio: 0kbps video: 127kbps, ET: 00:07:33, est. size: 5.8 MB   
  0:05:03.33 audio: 0kbps video: 126kbps, ET: 00:07:24, est. size: 5.8 MB   
  0:05:04.25 audio: 0kbps video: 126kbps, ET: 00:07:20, est. size: 5.8 MB   
  0:05:05.00 audio: 0kbps video: 126kbps, ET: 00:07:16, est. size: 5.8 MB   
  0:05:06.33 audio: 0kbps video: 126kbps, ET: 00:07:08, est. size: 5.8 MB   
  0:05:07.00 audio: 0kbps video: 126kbps, ET: 00:07:05, est. size: 5.8 MB   
  0:05:08.00 audio: 0kbps video: 126kbps, ET: 00:06:59, est. size: 5.8 MB   
  0:05:08.66 audio: 0kbps video: 126kbps, ET: 00:06:56, est. size: 5.8 MB   
  0:05:09.41 audio: 0kbps video: 126kbps, ET: 00:06:52, est. size: 5.8 MB   
  0:05:10.08 audio: 0kbps video: 126kbps, ET: 00:06:49, est. size: 5.8 MB   
  0:05:11.16 audio: 0kbps video: 127kbps, ET: 00:06:45, est. size: 5.8 MB   
  0:05:11.83 audio: 0kbps video: 127kbps, ET: 00:06:42, est. size: 5.8 MB   
  0:05:13.75 audio: 0kbps video: 126kbps, ET: 00:06:33, est. size: 5.8 MB   
  0:05:15.58 audio: 0kbps video: 126kbps, ET: 00:06:25, est. size: 5.8 MB   
  0:05:17.50 audio: 0kbps video: 126kbps, ET: 00:06:15, est. size: 5.8 MB   
  0:05:19.41 audio: 0kbps video: 125kbps, ET: 00:06:05, est. size: 5.7 MB   
  0:05:20.91 audio: 0kbps video: 125kbps, ET: 00:05:57, est. size: 5.7 MB   
  0:05:22.50 audio: 0kbps video: 125kbps, ET: 00:05:49, est. size: 5.7 MB   
  0:05:23.16 audio: 0kbps video: 125kbps, ET: 00:05:46, est. size: 5.7 MB   
  0:05:23.75 audio: 0kbps video: 125kbps, ET: 00:05:43, est. size: 5.7 MB   
  0:05:24.41 audio: 0kbps video: 125kbps, ET: 00:05:39, est. size: 5.7 MB   
  0:05:25.41 audio: 0kbps video: 124kbps, ET: 00:05:34, est. size: 5.7 MB   
  0:05:26.25 audio: 0kbps video: 125kbps, ET: 00:05:31, est. size: 5.7 MB   
  0:05:26.91 audio: 0kbps video: 125kbps, ET: 00:05:27, est. size: 5.7 MB   
  0:05:27.50 audio: 0kbps video: 125kbps, ET: 00:05:25, est. size: 5.7 MB   
  0:05:28.25 audio: 0kbps video: 125kbps, ET: 00:05:22, est. size: 5.7 MB   
  0:05:28.91 audio: 0kbps video: 125kbps, ET: 00:05:18, est. size: 5.7 MB   
  0:05:29.58 audio: 0kbps video: 125kbps, ET: 00:05:15, est. size: 5.7 MB   
  0:05:30.25 audio: 0kbps video: 125kbps, ET: 00:05:12, est. size: 5.7 MB   
  0:05:30.91 audio: 0kbps video: 125kbps, ET: 00:05:09, est. size: 5.7 MB   
  0:05:31.58 audio: 0kbps video: 126kbps, ET: 00:05:05, est. size: 5.8 MB   
  0:05:32.25 audio: 0kbps video: 126kbps, ET: 00:05:02, est. size: 5.8 MB   
  0:05:32.91 audio: 0kbps video: 126kbps, ET: 00:04:58, est. size: 5.8 MB   
  0:05:33.58 audio: 0kbps video: 126kbps, ET: 00:04:55, est. size: 5.8 MB   
  0:05:34.41 audio: 0kbps video: 126kbps, ET: 00:04:50, est. size: 5.8 MB   
  0:05:35.33 audio: 0kbps video: 126kbps, ET: 00:04:46, est. size: 5.8 MB   
  0:05:36.41 audio: 0kbps video: 126kbps, ET: 00:04:40, est. size: 5.8 MB   
  0:05:37.41 audio: 0kbps video: 126kbps, ET: 00:04:35, est. size: 5.8 MB   
  0:05:38.66 audio: 0kbps video: 126kbps, ET: 00:04:28, est. size: 5.8 MB   
  0:05:40.16 audio: 0kbps video: 126kbps, ET: 00:04:20, est. size: 5.8 MB   
  0:05:40.83 audio: 0kbps video: 126kbps, ET: 00:04:16, est. size: 5.8 MB   
  0:05:41.50 audio: 0kbps video: 126kbps, ET: 00:04:13, est. size: 5.8 MB   
  0:05:42.16 audio: 0kbps video: 126kbps, ET: 00:04:09, est. size: 5.8 MB   
  0:05:42.83 audio: 0kbps video: 127kbps, ET: 00:04:06, est. size: 5.8 MB   
  0:05:43.41 audio: 0kbps video: 127kbps, ET: 00:04:03, est. size: 5.8 MB   
  0:05:44.33 audio: 0kbps video: 127kbps, ET: 00:03:58, est. size: 5.8 MB   
  0:05:45.50 audio: 0kbps video: 127kbps, ET: 00:03:51, est. size: 5.8 MB   
  0:05:47.58 audio: 0kbps video: 127kbps, ET: 00:03:39, est. size: 5.8 MB   
  0:05:48.25 audio: 0kbps video: 126kbps, ET: 00:03:35, est. size: 5.8 MB   
  0:05:48.91 audio: 0kbps video: 127kbps, ET: 00:03:32, est. size: 5.8 MB   
  0:05:50.50 audio: 0kbps video: 126kbps, ET: 00:03:22, est. size: 5.8 MB   
  0:05:52.41 audio: 0kbps video: 125kbps, ET: 00:03:11, est. size: 5.7 MB   
  0:05:53.58 audio: 0kbps video: 126kbps, ET: 00:03:04, est. size: 5.8 MB   
  0:05:54.41 audio: 0kbps video: 126kbps, ET: 00:02:59, est. size: 5.8 MB   
  0:05:55.41 audio: 0kbps video: 126kbps, ET: 00:02:53, est. size: 5.7 MB   
  0:05:56.08 audio: 0kbps video: 126kbps, ET: 00:02:50, est. size: 5.8 MB   
  0:05:56.75 audio: 0kbps video: 126kbps, ET: 00:02:46, est. size: 5.8 MB   
  0:05:57.41 audio: 0kbps video: 126kbps, ET: 00:02:42, est. size: 5.8 MB   
  0:05:58.16 audio: 0kbps video: 126kbps, ET: 00:02:38, est. size: 5.8 MB   
  0:05:58.83 audio: 0kbps video: 127kbps, ET: 00:02:34, est. size: 5.8 MB   
  0:05:59.50 audio: 0kbps video: 127kbps, ET: 00:02:30, est. size: 5.8 MB   
  0:06:00.16 audio: 0kbps video: 127kbps, ET: 00:02:26, est. size: 5.8 MB   
  0:06:02.00 audio: 0kbps video: 127kbps, ET: 00:02:15, est. size: 5.8 MB   
  0:06:02.66 audio: 0kbps video: 127kbps, ET: 00:02:11, est. size: 5.8 MB   
  0:06:03.41 audio: 0kbps video: 127kbps, ET: 00:02:06, est. size: 5.8 MB   
  0:06:04.08 audio: 0kbps video: 127kbps, ET: 00:02:02, est. size: 5.8 MB   
  0:06:05.50 audio: 0kbps video: 127kbps, ET: 00:01:54, est. size: 5.8 MB   
  0:06:06.58 audio: 0kbps video: 127kbps, ET: 00:01:47, est. size: 5.8 MB   
  0:06:08.16 audio: 0kbps video: 126kbps, ET: 00:01:37, est. size: 5.8 MB   
  0:06:08.83 audio: 0kbps video: 127kbps, ET: 00:01:33, est. size: 5.8 MB   
  0:06:09.58 audio: 0kbps video: 127kbps, ET: 00:01:29, est. size: 5.8 MB   
  0:06:11.16 audio: 0kbps video: 127kbps, ET: 00:01:19, est. size: 5.8 MB   
  0:06:12.83 audio: 0kbps video: 126kbps, ET: 00:01:09, est. size: 5.8 MB   
  0:06:13.50 audio: 0kbps video: 126kbps, ET: 00:01:05, est. size: 5.8 MB   
  0:06:14.16 audio: 0kbps video: 127kbps, ET: 00:01:01, est. size: 5.8 MB   
  0:06:14.83 audio: 0kbps video: 127kbps, ET: 00:00:57, est. size: 5.8 MB   
  0:06:16.16 audio: 0kbps video: 127kbps, ET: 00:00:48, est. size: 5.8 MB   
  0:06:16.83 audio: 0kbps video: 127kbps, ET: 00:00:44, est. size: 5.8 MB   
  0:06:17.58 audio: 0kbps video: 127kbps, ET: 00:00:40, est. size: 5.8 MB   
  0:06:18.25 audio: 0kbps video: 127kbps, ET: 00:00:35, est. size: 5.8 MB   
  0:06:19.41 audio: 0kbps video: 127kbps, ET: 00:00:28, est. size: 5.8 MB   
  0:06:20.50 audio: 0kbps video: 127kbps, ET: 00:00:22, est. size: 5.8 MB   
  0:06:21.16 audio: 0kbps video: 127kbps, ET: 00:00:17, est. size: 5.8 MB   
  0:06:22.83 audio: 0kbps video: 127kbps, ET: 00:00:07, est. size: 5.8 MB   
  0:06:24.16 audio: 0kbps video: 127kbps, time elapsed: 00:39:55           
  0:06:24.04 audio: 0kbps video: 127kbps, time elapsed: 00:39:55           
Sun Oct 26 16:04:49 UTC 2014 - /srv/jenkins/bin/g-i-installation.sh stopped running as /tmp/jenkins-script-zH0BObRR, which will now be removed.
Build step 'Execute shell' marked build as failure



More information about the debian-edu-commits mailing list