[Qa-jenkins-scm] Build failed in Jenkins: reproducible_html_indexes #96555

[jenkins at jenkins.debian.net]

See <https://jenkins.debian.net/job/reproducible_html_indexes/96555/display/redirect>

------------------------------------------
[...truncated 5.51 MB...]
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:57] INFO: Finding out which usertagged bugs have been closed or at least have patches
OSError: [Errno 28] No space left on device

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/srv/jenkins/bin/reproducible_html_indexes.py", line 837, in <module>
    build_page(page, suite, arch)
  File "/srv/jenkins/bin/reproducible_html_indexes.py", line 828, in build_page
    left_nav_html=left_nav_html)
  File "/srv/jenkins/bin/rblib/html.py", line 151, in write_html_page
    fd.write(html)
OSError: [Errno 28] No space left on device
[2018-07-22 00:00:57] INFO: Finished at 2018-07-22 00:00:57.929727, took: 0:00:56.640117
Build step 'Execute shell' marked build as failure