==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: coq 8.20.1-2 (Sun Feb 23 06:49:02 2025)
==> Retrieving sources...
-> Found coq-8.20.1.tar.gz
-> Found python-antlr4-4.9.3.tar.gz
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with b2sums...
coq-8.20.1.tar.gz ... Passed
python-antlr4-4.9.3.tar.gz ... Passed
==> Making package: coq 8.20.1-2 (Sun Feb 23 06:49:11 2025)
==> Checking runtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (3) ocaml-compiler-libs-5.3.0-1 ocaml-5.3.0-1 ocaml-findlib-1.9.8-4
Total Installed Size: 241.52 MiB
:: Proceed with installation? [Y/n]
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing ocaml...
Optional dependencies for ocaml
ncurses: advanced ncurses features [installed]
tk: advanced tk features
installing ocaml-compiler-libs...
installing ocaml-findlib...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
[?25h==> Checking buildtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
:: There are 6 providers available for java-environment>=6:
:: Repository extra
1) jdk-openjdk 2) jdk11-openjdk 3) jdk17-openjdk 4) jdk21-openjdk
5) jdk7-openjdk 6) jdk8-openjdk
Enter a number (default=1):
looking for conflicting packages...
warning: dependency cycle detected:
warning: harfbuzz will be installed before its freetype2 dependency
warning: dependency cycle detected:
warning: mesa will be installed before its libglvnd dependency
warning: dependency cycle detected:
warning: python-soupsieve will be installed before its python-beautifulsoup4 dependency
Packages (189) adobe-source-code-pro-fonts-2.042u+1.062i+1.026vf-2
adwaita-cursors-47.0-1 adwaita-icon-theme-47.0-1
adwaita-icon-theme-legacy-46.2-3 aom-3.12.0-1
at-spi2-core-2.54.1-1 avahi-1:0.8+r194+g3f79789-3 bc-1.08.1-1
cairo-1.18.2-2 cantarell-fonts-1:0.303.1-2 dav1d-1.5.1-1
dconf-0.40.0-3 default-cursors-3-1 desktop-file-utils-0.28-1
duktape-2.7.0-7 dvisvgm-3.3-1 enchant-2.8.2-2 fftw-3.3.10-7
fontconfig-2:2.16.0-2 freetype2-2.13.3-3 fribidi-1.0.16-1
gd-2.3.3-8 gdk-pixbuf2-2.42.12-2 giflib-5.2.2-1
glib-networking-1:2.80.1-1 graphite-1:1.3.14-4
gsettings-desktop-schemas-47.1-1
gsettings-system-schemas-47.1-1
gtk-update-icon-cache-1:4.16.12-1 gtkspell3-3.0.10-3
harfbuzz-10.3.0-1 hicolor-icon-theme-0.18-1 ijs-0.35-6
iso-codes-4.17.0-1 java-environment-common-3-6
java-runtime-common-3-6 jbig2dec-0.20-1 jbigkit-2.1-8
jdk-openjdk-23.0.2.u7-1 json-glib-1.10.6-1 lcms2-2.17-1
libavif-1.1.1-2 libcloudproviders-0.3.6-1 libcolord-1.4.7-2
libcups-2:2.4.11-2 libdaemon-0.14-6 libdatrie-0.2.13-4
libde265-1.0.15-3 libdrm-2.4.124-1 libedit-20240808_3.1-1
libepoxy-1.5.10-3 libglvnd-1.7.0-1 libheif-1.19.5-1
libice-1.1.2-1 libidn-1.42-1 libjpeg-turbo-3.1.0-1
liblqr-0.4.3-1 libnet-2:1.3-1 libpaper-2.2.6-1
libpciaccess-0.18.1-2 libpng-1.6.47-1 libproxy-0.5.9-1
libraqm-0.10.2-1 librsvg-2:2.59.2-1 libsigsegv-2.14-3
libsm-1.2.5-1 libsoup3-3.6.4-1 libstemmer-2.2.0-2
libsynctex-2024.2-6 libthai-0.1.29-3 libtiff-4.7.0-1
libwebp-1.5.0-1 libx11-1.8.11-1 libxau-1.0.12-1
libxaw-1.0.16-1 libxcb-1.17.0-1 libxcomposite-0.4.6-2
libxcursor-1.2.3-1 libxdamage-1.1.6-2 libxdmcp-1.1.5-1.1
libxext-1.3.6-1 libxfixes-6.0.1-2 libxft-2.3.8-2
libxi-1.8.2-1 libxinerama-1.1.5-2 libxkbcommon-1.8.0-1
libxmu-1.2.1-1 libxpm-3.5.17-2 libxrandr-1.5.4-1
libxrender-0.9.12-1 libxshmfence-1.3.3-1 libxt-1.3.1-1
libxtst-1.2.5-1 libxxf86vm-1.1.6-1 libyaml-0.2.5-3
libyuv-r2426+464c51a03-1 llvm-libs-19.1.7-1
lm_sensors-1:3.6.0.r41.g31d1f125-3 lzo-2.10-5 mesa-1:24.3.4-1
netpbm-10.86.44-1 nspr-4.36-1 nss-3.108-1 ocaml-cairo-0.6.5-3
openjpeg2-2.5.3-1 pango-1:1.56.1-1 perl-error-0.17029-7
perl-mailtools-2.22-1 perl-timedate-2.33-7 pixman-0.44.2-1
poppler-data-0.4.12-2 potrace-1.16-3
python-autocommand-2.2.2-7 python-babel-2.15.0-2
python-charset-normalizer-3.4.1-1 python-docutils-1:0.21.2-3
python-idna-3.10-2 python-imagesize-1.4.1-6
python-jaraco.collections-5.1.0-1 python-jaraco.context-6.0.1-1
python-jaraco.functools-4.1.0-1 python-jaraco.text-4.0.0-2
python-jinja-1:3.1.5-1 python-latexcodec-2.0.1-10
python-markupsafe-2.1.5-3 python-more-itertools-10.5.0-1
python-packaging-24.2-3 python-platformdirs-4.3.6-2
python-ptyprocess-0.7.0-8 python-pybtex-0.24.0-7
python-pybtex-docutils-1.0.2-4 python-pygments-2.19.1-1
python-pytz-2025.1-1 python-requests-2.32.3-4
python-setuptools-1:75.8.0-1 python-six-1.17.0-1
python-snowballstemmer-2.2.0-7 python-soupsieve-2.6-2
python-sphinx-alabaster-theme-1.0.0-4
python-sphinxcontrib-applehelp-2.0.0-3
python-sphinxcontrib-devhelp-2.0.0-4
python-sphinxcontrib-htmlhelp-2.1.0-3
python-sphinxcontrib-jquery-4.1-4
python-sphinxcontrib-jsmath-1.0.1-19
python-sphinxcontrib-qthelp-2.0.0-3
python-sphinxcontrib-serializinghtml-2.0.0-3
python-urllib3-2.3.0-1 python-wheel-0.45.0-3
python-yaml-6.0.2-2 rav1e-0.7.1-1 shared-mime-info-2.4-1
spirv-tools-2024.4.rc2-1 texlive-basic-2024.2-4
texlive-fontsrecommended-2024.2-4 texlive-latex-2024.2-4
texlive-latexrecommended-2024.2-4 tinysparql-3.8.2-3
wayland-1.23.1-1 woff2-1.0.2-5 x265-4.0-1 xcb-proto-1.17.0-3
xkeyboard-config-2.44-1 xorg-xprop-1.2.8-1 xorgproto-2024.1-2
zziplib-0.13.78-1 antlr4-4.13.2-1 dune-3.17.1-2
fig2dev-3.2.9-1 gendesk-1.0.10-1 ghostscript-10.04.0-1
git-2.48.1-2 gtk3-1:3.24.48-2
gtksourceview3-1:3.24.11+r28+g73e57b57-2 hevea-2.36-2
imagemagick-7.1.1.43-1 lablgtk3-3.1.4-4 ocaml-num-1.5-4
ocaml-zarith-1.14-3 python-beautifulsoup4-4.12.3-3
python-pexpect-4.9.0-4 python-sphinx-8.1.3-2
python-sphinx_rtd_theme-2.0.0-2
python-sphinxcontrib-bibtex-2.6.2-3 texlive-bin-2024.2-6
texlive-binextra-2024.2-4 texlive-fontsextra-2024.2-4
texlive-latexextra-2024.2-4 texlive-mathscience-2024.2-4
texlive-pictures-2024.2-4
Total Download Size: 911.53 MiB
Total Installed Size: 3433.62 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
texlive-fontsextra-2024.2-4-any downloading...
jdk-openjdk-23.0.2.u7-1-aarch64 downloading...
texlive-binextra-2024.2-4-any downloading...
lablgtk3-3.1.4-4-aarch64 downloading...
imagemagick-7.1.1.43-1-aarch64 downloading...
python-babel-2.15.0-2-any downloading...
python-sphinx-8.1.3-2-any downloading...
python-sphinx_rtd_theme-2.0.0-2-any downloading...
python-pygments-2.19.1-1-any downloading...
gendesk-1.0.10-1-aarch64 downloading...
antlr4-4.13.2-1-any downloading...
hevea-2.36-2-aarch64 downloading...
fftw-3.3.10-7-aarch64 downloading...
nss-3.108-1-aarch64 downloading...
netpbm-10.86.44-1-aarch64 downloading...
python-docutils-1:0.21.2-3-any downloading...
ocaml-num-1.5-4-aarch64 downloading...
libnet-2:1.3-1-aarch64 downloading...
python-jinja-1:3.1.5-1-any downloading...
python-beautifulsoup4-4.12.3-3-any downloading...
fig2dev-3.2.9-1-aarch64 downloading...
ocaml-zarith-1.14-3-aarch64 downloading...
python-urllib3-2.3.0-1-any downloading...
python-snowballstemmer-2.2.0-7-any downloading...
nspr-4.36-1-aarch64 downloading...
python-pybtex-0.24.0-7-any downloading...
python-yaml-6.0.2-2-aarch64 downloading...
python-requests-2.32.3-4-any downloading...
python-sphinxcontrib-jquery-4.1-4-any downloading...
python-pexpect-4.9.0-4-any downloading...
python-charset-normalizer-3.4.1-1-any downloading...
python-idna-3.10-2-any downloading...
python-soupsieve-2.6-2-any downloading...
python-sphinxcontrib-bibtex-2.6.2-3-any downloading...
libyaml-0.2.5-3-aarch64 downloading...
python-pytz-2025.1-1-any downloading...
python-sphinxcontrib-htmlhelp-2.1.0-3-any downloading...
libraqm-0.10.2-1-aarch64 downloading...
python-latexcodec-2.0.1-10-any downloading...
python-sphinxcontrib-applehelp-2.0.0-3-any downloading...
python-sphinxcontrib-serializinghtml-2.0.0-3-any downloading...
liblqr-0.4.3-1-aarch64 downloading...
python-sphinxcontrib-qthelp-2.0.0-3-any downloading...
python-ptyprocess-0.7.0-8-any downloading...
python-six-1.17.0-1-any downloading...
python-sphinxcontrib-devhelp-2.0.0-4-any downloading...
python-markupsafe-2.1.5-3-aarch64 downloading...
python-sphinx-alabaster-theme-1.0.0-4-any downloading...
python-imagesize-1.4.1-6-any downloading...
python-pybtex-docutils-1.0.2-4-any downloading...
python-sphinxcontrib-jsmath-1.0.1-19-any downloading...
java-runtime-common-3-6-any downloading...
java-environment-common-3-6-any downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing ocaml-num...
installing ocaml-zarith...
installing hicolor-icon-theme...
installing adwaita-icon-theme-legacy...
installing adwaita-cursors...
installing adwaita-icon-theme...
installing dconf...
installing gsettings-system-schemas...
installing adobe-source-code-pro-fonts...
installing cantarell-fonts...
installing gsettings-desktop-schemas...
installing xcb-proto...
installing xorgproto...
installing libxdmcp...
installing libxau...
installing libxcb...
installing libx11...
installing libxext...
installing libxfixes...
installing libxi...
installing libxtst...
installing xorg-xprop...
installing at-spi2-core...
installing libpng...
installing graphite...
Optional dependencies for graphite
graphite-docs: Documentation
installing harfbuzz...
Optional dependencies for harfbuzz
harfbuzz-utils: utilities
installing freetype2...
installing fontconfig...
Creating fontconfig configuration...
Rebuilding fontconfig cache...
installing libxrender...
installing lzo...
installing pixman...
installing cairo...
installing desktop-file-utils...
installing fribidi...
installing libjpeg-turbo...
installing jbigkit...
installing libtiff...
Optional dependencies for libtiff
freeglut: for using tiffgt
installing shared-mime-info...
installing gdk-pixbuf2...
Optional dependencies for gdk-pixbuf2
libwmf: Load .wmf and .apm
libopenraw: Load .dng, .cr2, .crw, .nef, .orf, .pef, .arw, .erf, .mrw, and
.raf
libavif: Load .avif [pending]
libheif: Load .heif, .heic, and .avif [pending]
libjxl: Load .jxl
librsvg: Load .svg, .svgz, and .svg.gz [pending]
webp-pixbuf-loader: Load .webp
installing iso-codes...
installing libcloudproviders...
installing lcms2...
installing libcolord...
installing libdaemon...
installing avahi...
Optional dependencies for avahi
gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc
[pending]
libevent: libevent bindings [installed]
nss-mdns: NSS support for mDNS
python-dbus: avahi-bookmarks, avahi-discover
python-gobject: avahi-bookmarks, avahi-discover
python-twisted: avahi-bookmarks
qt5-base: qt5 bindings
installing libcups...
installing libpciaccess...
installing libdrm...
Optional dependencies for libdrm
cairo: needed for modetest tool [installed]
installing libxshmfence...
installing libxxf86vm...
installing libedit...
installing llvm-libs...
installing lm_sensors...
Optional dependencies for lm_sensors
rrdtool: for logging with sensord
perl: for sensor detection and configuration convert [installed]
installing spirv-tools...
installing default-cursors...
Optional dependencies for default-cursors
adwaita-cursors: default cursor theme [installed]
installing wayland...
installing mesa...
Optional dependencies for mesa
opengl-man-pages: for the OpenGL API man pages
installing libglvnd...
installing libepoxy...
installing dav1d...
Optional dependencies for dav1d
dav1d-doc: HTML documentation
installing libdatrie...
installing libthai...
installing libxft...
installing pango...
installing librsvg...
installing libxcomposite...
installing libxcursor...
installing libxdamage...
installing libxinerama...
installing xkeyboard-config...
installing libxkbcommon...
Optional dependencies for libxkbcommon
libxkbcommon-x11: xkbcli interactive-x11
wayland: xkbcli interactive-wayland [installed]
installing libxrandr...
installing json-glib...
installing duktape...
installing libproxy...
installing glib-networking...
installing libsoup3...
Optional dependencies for libsoup3
samba: Windows Domain SSO
installing libstemmer...
installing tinysparql...
installing gtk-update-icon-cache...
installing gtk3...
Optional dependencies for gtk3
evince: Default print preview command
installing gtksourceview3...
installing dune...
Optional dependencies for dune
ocaml: Dune standard library [installed]
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing git...
Optional dependencies for git
git-zsh-completion: upstream zsh completion
tk: gitk and git gui
openssh: ssh transport and crypto
man: show help with `git command --help`
perl-libwww: git svn
perl-term-readkey: git svn and interactive.singlekey setting
perl-io-socket-ssl: git send-email TLS support
perl-authen-sasl: git send-email TLS support
perl-mediawiki-api: git mediawiki support
perl-datetime-format-iso8601: git mediawiki support
perl-lwp-protocol-https: git mediawiki https support
perl-cgi: gitweb (web interface) support
python: git svn & git p4 [installed]
subversion: git svn
org.freedesktop.secrets: keyring credential helper
libsecret: libsecret credential helper [installed]
installing enchant...
Optional dependencies for enchant
aspell: for aspell based spell checking support
hspell: for hspell based spell checking support
hunspell: for hunspell based spell checking support
libvoikko: for libvoikko based spell checking support
nuspell: for nuspell based spell checking support
installing gtkspell3...
installing ocaml-cairo...
installing lablgtk3...
Optional dependencies for lablgtk3
ocaml: for using the tools [installed]
installing gendesk...
installing libice...
installing libsm...
installing libxt...
installing libxpm...
installing giflib...
installing libwebp...
installing aom...
installing rav1e...
installing libyuv...
installing libavif...
installing libde265...
Optional dependencies for libde265
ffmpeg: for sherlock265
qt5-base: for sherlock265
sdl: dec265 YUV overlay output
installing x265...
installing libheif...
Optional dependencies for libheif
libjpeg-turbo: for heif-convert and heif-enc [installed]
libpng: for heif-convert and heif-enc [installed]
dav1d: dav1d encoder [installed]
ffmpeg: hardware decode
rav1e: rav1e encoder [installed]
installing gd...
Optional dependencies for gd
perl: bdftogd script [installed]
installing libpaper...
installing libsigsegv...
installing libsynctex...
installing libxmu...
installing libxaw...
installing potrace...
installing zziplib...
installing texlive-bin...
Optional dependencies for texlive-bin
psutils: to manipulate the output of dvips
installing texlive-basic...
Optional dependencies for texlive-basic
perl-tk: for the tlmgr GUI
biber: for bibliography processing
installing jbig2dec...
installing ijs...
installing openjpeg2...
installing libidn...
installing poppler-data...
installing ghostscript...
Optional dependencies for ghostscript
gtk3: needed for gsx [installed]
installing woff2...
installing dvisvgm...
Optional dependencies for dvisvgm
mupdf-tools: to process PDF files
installing texlive-latex...
installing texlive-latexrecommended...
installing texlive-pictures...
Optional dependencies for texlive-pictures
ghostscript: for epspdf [installed]
installing texlive-latexextra...
Optional dependencies for texlive-latexextra
java-runtime: for pdfannotextractor [pending]
python-pygments: for pygmentex [pending]
installing texlive-fontsextra...
installing texlive-fontsrecommended...
installing texlive-mathscience...
installing texlive-binextra...
Optional dependencies for texlive-binextra
ed: for texconfig
dialog: for texconfig
java-runtime: for utilities like arara, texplate [pending]
perl-tk: for texdoctk
perl-yaml-tiny: for latexindent
perl-file-homedir: for latexindent
perl-ipc-system-simple: for latex-git-log
python: for de-macro, dviasm, pythontex [installed]
texlive-latexrecommended: for pdfjam [installed]
wdiff: for texdiff
installing bc...
installing netpbm...
installing fig2dev...
installing fftw...
Optional dependencies for fftw
fftw-openmpi: for OpenMPI integration
installing liblqr...
installing libraqm...
installing imagemagick...
Optional dependencies for imagemagick
ghostscript: PS/PDF support [installed]
jbigkit: JBIG support [installed]
libheif: HEIF support [installed]
libjpeg-turbo: JPEG support [installed]
libjxl: JPEG XL support
libraw: DNG support
librsvg: SVG support [installed]
libtiff: TIFF support [installed]
libultrahdr: UHDR support
libwebp: WEBP support [installed]
libwmf: WMF support
libzip: OpenRaster support
ocl-icd: OpenCL support
openexr: OpenEXR support
openjpeg2: JPEG2000 support [installed]
djvulibre: DJVU support
pango: Text rendering [installed]
installing hevea...
installing python-pytz...
installing python-babel...
installing python-docutils...
Optional dependencies for python-docutils
python-myst-parser: to parse input in "Markdown" (CommonMark) format
python-pillow: for some image manipulation operations
python-pygments: for syntax highlighting of code directives and roles
[pending]
installing python-imagesize...
installing python-markupsafe...
installing python-jinja...
Optional dependencies for python-jinja
python-babel: for i18n support [installed]
installing python-packaging...
installing python-pygments...
installing python-charset-normalizer...
installing python-idna...
installing python-urllib3...
Optional dependencies for python-urllib3
python-brotli: Brotli support
python-brotlicffi: Brotli support
python-h2: HTTP/2 support
python-pysocks: SOCKS support
python-zstandard: Zstandard support
installing python-requests...
Optional dependencies for python-requests
python-chardet: alternative character encoding library
python-pysocks: SOCKS proxy support
installing python-snowballstemmer...
Optional dependencies for python-snowballstemmer
python-pystemmer: for improved performance
installing python-sphinx-alabaster-theme...
installing python-sphinxcontrib-applehelp...
installing python-sphinxcontrib-devhelp...
installing python-sphinxcontrib-htmlhelp...
installing python-sphinxcontrib-jsmath...
installing python-sphinxcontrib-qthelp...
installing python-sphinxcontrib-serializinghtml...
installing python-sphinx...
Optional dependencies for python-sphinx
imagemagick: for ext.imgconverter [installed]
texlive-fontsextra: for the default admonition title icons in PDF output
[installed]
texlive-latexextra: for generation of PDF documentation [installed]
installing python-sphinxcontrib-jquery...
installing python-sphinx_rtd_theme...
installing python-ptyprocess...
installing python-pexpect...
installing python-soupsieve...
installing python-beautifulsoup4...
Optional dependencies for python-beautifulsoup4
python-cchardet: alternative to autodetect character encodings
python-chardet: to autodetect character encodings
python-lxml: alternative HTML parser
python-html5lib: alternative HTML parser
installing python-more-itertools...
installing python-jaraco.functools...
installing python-jaraco.context...
installing python-autocommand...
installing python-jaraco.text...
Optional dependencies for python-jaraco.text
python-inflect: for show-newlines script
installing python-jaraco.collections...
installing python-platformdirs...
installing python-wheel...
Optional dependencies for python-wheel
python-keyring: for wheel.signatures
python-xdg: for wheel.signatures
python-setuptools: for legacy bdist_wheel subcommand [pending]
installing python-setuptools...
installing python-six...
installing libyaml...
installing python-yaml...
installing python-latexcodec...
installing python-pybtex...
installing python-pybtex-docutils...
installing python-sphinxcontrib-bibtex...
installing java-runtime-common...
For the complete set of Java binaries to be available in your PATH,
you need to re-login or source /etc/profile
Please note that this package does not support forcing JAVA_HOME as former package java-common did
installing nspr...
installing nss...
installing libnet...
installing java-environment-common...
installing jdk-openjdk...
Optional dependencies for jdk-openjdk
java-rhino: for some JavaScript support
alsa-lib: for basic sound support
gtk3: for the Gtk+ 3 look and feel - desktop usage [installed]
installing antlr4...
:: Running post-transaction hooks...
( 1/19) Creating system user accounts...
Creating group 'avahi' with GID 971.
Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 971 and GID 971.
Creating group 'git' with GID 970.
Creating user 'git' (git daemon user) with UID 970 and GID 970.
( 2/19) Reloading system manager configuration...
Skipped: Current root is not booted.
( 3/19) Reloading user manager configuration...
Skipped: Current root is not booted.
( 4/19) Arming ConditionNeedsUpdate...
( 5/19) Updating the MIME type database...
( 6/19) Updating fontconfig configuration...
( 7/19) Updating TeXLive filename database...
mktexlsr: Updating /etc/texmf/ls-R...
mktexlsr: Updating /usr/share/texmf/ls-R...
mktexlsr: Updating /usr/share/texmf-dist/ls-R...
mktexlsr: Updating /var/lib/texmf/ls-R...
mktexlsr: Done.
( 8/19) Updating TeXLive format files...
( 9/19) Updating TeXLive font maps...
mktexlsr: Updating /etc/texmf/ls-R...
mktexlsr: Updating /usr/share/texmf/ls-R...
mktexlsr: Updating /usr/share/texmf-dist/ls-R...
mktexlsr: Updating /var/lib/texmf/ls-R...
mktexlsr: Done.
(10/19) Reloading system bus configuration...
Skipped: Current root is not booted.
(11/19) Checking for old perl modules...
(12/19) Updating fontconfig cache...
(13/19) Probing GDK-Pixbuf loader modules...
(14/19) Updating GIO module cache...
(15/19) Compiling GSettings XML schema files...
(16/19) Probing GTK3 input method modules...
(17/19) Updating icon theme caches...
(18/19) Updating the info directory file...
(19/19) Updating the desktop file MIME type cache...
[?25h==> Retrieving sources...
-> Found coq-8.20.1.tar.gz
-> Found python-antlr4-4.9.3.tar.gz
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Extracting coq-8.20.1.tar.gz with bsdtar
-> Extracting python-antlr4-4.9.3.tar.gz with bsdtar
==> Starting build()...
[coqide] Generating desktop file... IDE is an unrecognized category
ok
running build
running build_py
creating build/lib/antlr4
copying src/antlr4/CommonTokenStream.py -> build/lib/antlr4
copying src/antlr4/ParserRuleContext.py -> build/lib/antlr4
copying src/antlr4/Recognizer.py -> build/lib/antlr4
copying src/antlr4/InputStream.py -> build/lib/antlr4
copying src/antlr4/RuleContext.py -> build/lib/antlr4
copying src/antlr4/TokenStreamRewriter.py -> build/lib/antlr4
copying src/antlr4/Token.py -> build/lib/antlr4
copying src/antlr4/LL1Analyzer.py -> build/lib/antlr4
copying src/antlr4/StdinStream.py -> build/lib/antlr4
copying src/antlr4/IntervalSet.py -> build/lib/antlr4
copying src/antlr4/BufferedTokenStream.py -> build/lib/antlr4
copying src/antlr4/Lexer.py -> build/lib/antlr4
copying src/antlr4/CommonTokenFactory.py -> build/lib/antlr4
copying src/antlr4/FileStream.py -> build/lib/antlr4
copying src/antlr4/Utils.py -> build/lib/antlr4
copying src/antlr4/ListTokenSource.py -> build/lib/antlr4
copying src/antlr4/ParserInterpreter.py -> build/lib/antlr4
copying src/antlr4/PredictionContext.py -> build/lib/antlr4
copying src/antlr4/Parser.py -> build/lib/antlr4
copying src/antlr4/__init__.py -> build/lib/antlr4
creating build/lib/antlr4/atn
copying src/antlr4/atn/ATNConfigSet.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATN.py -> build/lib/antlr4/atn
copying src/antlr4/atn/SemanticContext.py -> build/lib/antlr4/atn
copying src/antlr4/atn/LexerActionExecutor.py -> build/lib/antlr4/atn
copying src/antlr4/atn/PredictionMode.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNType.py -> build/lib/antlr4/atn
copying src/antlr4/atn/LexerATNSimulator.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNDeserializationOptions.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNState.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNSimulator.py -> build/lib/antlr4/atn
copying src/antlr4/atn/LexerAction.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ParserATNSimulator.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNDeserializer.py -> build/lib/antlr4/atn
copying src/antlr4/atn/ATNConfig.py -> build/lib/antlr4/atn
copying src/antlr4/atn/Transition.py -> build/lib/antlr4/atn
copying src/antlr4/atn/__init__.py -> build/lib/antlr4/atn
creating build/lib/antlr4/dfa
copying src/antlr4/dfa/DFA.py -> build/lib/antlr4/dfa
copying src/antlr4/dfa/DFAState.py -> build/lib/antlr4/dfa
copying src/antlr4/dfa/DFASerializer.py -> build/lib/antlr4/dfa
copying src/antlr4/dfa/__init__.py -> build/lib/antlr4/dfa
creating build/lib/antlr4/tree
copying src/antlr4/tree/RuleTagToken.py -> build/lib/antlr4/tree
copying src/antlr4/tree/ParseTreePattern.py -> build/lib/antlr4/tree
copying src/antlr4/tree/ParseTreePatternMatcher.py -> build/lib/antlr4/tree
copying src/antlr4/tree/ParseTreeMatch.py -> build/lib/antlr4/tree
copying src/antlr4/tree/Trees.py -> build/lib/antlr4/tree
copying src/antlr4/tree/TokenTagToken.py -> build/lib/antlr4/tree
copying src/antlr4/tree/Tree.py -> build/lib/antlr4/tree
copying src/antlr4/tree/Chunk.py -> build/lib/antlr4/tree
copying src/antlr4/tree/__init__.py -> build/lib/antlr4/tree
creating build/lib/antlr4/error
copying src/antlr4/error/Errors.py -> build/lib/antlr4/error
copying src/antlr4/error/ErrorStrategy.py -> build/lib/antlr4/error
copying src/antlr4/error/ErrorListener.py -> build/lib/antlr4/error
copying src/antlr4/error/DiagnosticErrorListener.py -> build/lib/antlr4/error
copying src/antlr4/error/__init__.py -> build/lib/antlr4/error
creating build/lib/antlr4/xpath
copying src/antlr4/xpath/XPath.py -> build/lib/antlr4/xpath
copying src/antlr4/xpath/__init__.py -> build/lib/antlr4/xpath
running build_scripts
creating build/scripts-3.13
copying and adjusting bin/pygrun -> build/scripts-3.13
changing mode of build/scripts-3.13/pygrun from 644 to 755
dune build --root . theories_dune ltac2_dune
Scanned 0 directories
Scanned 100 directories
Scanned 300 directories
Done: 0% (0/0, 0 left) (jobs: 0)
Done: 0% (0/2, 2 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 50% (2/4, 2 left) (jobs: 0)
Done: 50% (2/4, 2 left) (jobs: 0)
Done: 50% (2/4, 2 left) (jobs: 0)
Done: 50% (2/4, 2 left) (jobs: 0)
Done: 0% (2/542, 540 left) (jobs: 0)
Done: 0% (5/596, 591 left) (jobs: 0)
Done: 79% (472/596, 124 left) (jobs: 0)
Done: 90% (540/596, 56 left) (jobs: 0)
Done: 99% (594/596, 2 left) (jobs: 0)
Done: 99% (594/596, 2 left) (jobs: 0)
Done: 99% (594/597, 3 left) (jobs: 0)
Done: 99% (594/597, 3 left) (jobs: 0)
Done: 99% (594/599, 5 left) (jobs: 0)
Done: 99% (595/600, 5 left) (jobs: 0)
Done: 65% (595/910, 315 left) (jobs: 0)
Done: 66% (612/916, 304 left) (jobs: 0)
Done: 98% (904/919, 15 left) (jobs: 0)
Done: 97% (905/932, 27 left) (jobs: 0)
Done: 96% (908/939, 31 left) (jobs: 0)
Done: 92% (912/991, 79 left) (jobs: 0)
Done: 85% (921/1076, 155 left) (jobs: 1)
Done: 82% (921/1122, 201 left) (jobs: 1)
Done: 79% (923/1161, 238 left) (jobs: 1)
Done: 78% (925/1171, 246 left) (jobs: 1)
Done: 72% (964/1338, 374 left) (jobs: 4)
Done: 73% (1043/1414, 371 left) (jobs: 8)
Done: 74% (1047/1414, 367 left) (jobs: 7)
Done: 75% (1106/1465, 359 left) (jobs: 2)
Done: 73% (1112/1503, 391 left) (jobs: 3)
Done: 70% (1116/1578, 462 left) (jobs: 8)
Done: 69% (1120/1623, 503 left) (jobs: 8)
Done: 69% (1129/1624, 495 left) (jobs: 8)
Done: 69% (1135/1624, 489 left) (jobs: 8)
Done: 70% (1144/1625, 481 left) (jobs: 8)
Done: 70% (1150/1626, 476 left) (jobs: 8)
Done: 71% (1157/1626, 469 left) (jobs: 8)
Done: 71% (1170/1626, 456 left) (jobs: 8)
Done: 72% (1182/1626, 444 left) (jobs: 8)
Done: 73% (1191/1626, 435 left) (jobs: 8)
Done: 73% (1202/1626, 424 left) (jobs: 8)
Done: 74% (1215/1628, 413 left) (jobs: 8)
Done: 76% (1246/1628, 382 left) (jobs: 8)
Done: 78% (1270/1628, 358 left) (jobs: 8)
Done: 78% (1275/1628, 353 left) (jobs: 8)
Done: 78% (1284/1629, 345 left) (jobs: 8)
Done: 79% (1293/1635, 342 left) (jobs: 8)
Done: 79% (1304/1637, 333 left) (jobs: 8)
Done: 80% (1315/1642, 327 left) (jobs: 8)
Done: 80% (1326/1649, 323 left) (jobs: 8)
Done: 81% (1342/1649, 307 left) (jobs: 8)
Done: 82% (1358/1650, 292 left) (jobs: 8)
Done: 82% (1368/1650, 282 left) (jobs: 8)
Done: 83% (1389/1661, 272 left) (jobs: 8)
Done: 85% (1415/1661, 246 left) (jobs: 8)
Done: 86% (1436/1663, 227 left) (jobs: 8)
Done: 86% (1445/1663, 218 left) (jobs: 8)
Done: 87% (1451/1663, 212 left) (jobs: 8)
Done: 87% (1455/1663, 208 left) (jobs: 8)
Done: 87% (1457/1663, 206 left) (jobs: 8)
Done: 87% (1458/1663, 205 left) (jobs: 8)
Done: 88% (1464/1663, 199 left) (jobs: 8)
Done: 88% (1468/1663, 195 left) (jobs: 8)
Done: 88% (1472/1663, 191 left) (jobs: 8)
Done: 88% (1476/1663, 187 left) (jobs: 8)
Done: 89% (1483/1663, 180 left) (jobs: 8)
Done: 89% (1487/1663, 176 left) (jobs: 8)
Done: 89% (1492/1663, 171 left) (jobs: 8)
Done: 89% (1494/1663, 169 left) (jobs: 8)
Done: 89% (1496/1663, 167 left) (jobs: 8)
Done: 90% (1497/1663, 166 left) (jobs: 8)
Done: 90% (1500/1663, 163 left) (jobs: 8)
Done: 90% (1501/1663, 162 left) (jobs: 8)
Done: 90% (1505/1663, 158 left) (jobs: 8)
Done: 90% (1507/1663, 156 left) (jobs: 8)
Done: 90% (1508/1663, 155 left) (jobs: 8)
Done: 90% (1509/1663, 154 left) (jobs: 8)
Done: 90% (1511/1663, 152 left) (jobs: 8)
Done: 90% (1513/1663, 150 left) (jobs: 8)
Done: 91% (1514/1663, 149 left) (jobs: 8)
Done: 91% (1517/1663, 146 left) (jobs: 8)
Done: 91% (1518/1663, 145 left) (jobs: 8)
Done: 91% (1519/1663, 144 left) (jobs: 8)
Done: 91% (1521/1663, 142 left) (jobs: 8)
Done: 91% (1522/1663, 141 left) (jobs: 8)
Done: 91% (1524/1663, 139 left) (jobs: 8)
Done: 91% (1526/1663, 137 left) (jobs: 8)
Done: 91% (1529/1663, 134 left) (jobs: 8)
Done: 92% (1530/1663, 133 left) (jobs: 8)
Done: 92% (1531/1663, 132 left) (jobs: 8)
Done: 92% (1532/1663, 131 left) (jobs: 8)
Done: 92% (1533/1663, 130 left) (jobs: 8)
Done: 92% (1534/1663, 129 left) (jobs: 8)
Done: 92% (1535/1663, 128 left) (jobs: 8)
Done: 92% (1539/1663, 124 left) (jobs: 8)
Done: 92% (1540/1663, 123 left) (jobs: 8)
Done: 92% (1542/1663, 121 left) (jobs: 8)
Done: 92% (1543/1663, 120 left) (jobs: 8)
Done: 92% (1544/1663, 119 left) (jobs: 8)
Done: 92% (1545/1663, 118 left) (jobs: 8)
Done: 92% (1546/1663, 117 left) (jobs: 8)
Done: 93% (1547/1663, 116 left) (jobs: 8)
Done: 93% (1548/1663, 115 left) (jobs: 8)
Done: 93% (1549/1663, 114 left) (jobs: 8)
Done: 93% (1551/1663, 112 left) (jobs: 8)
Done: 93% (1552/1663, 111 left) (jobs: 8)
Done: 93% (1555/1663, 108 left) (jobs: 8)
Done: 93% (1556/1663, 107 left) (jobs: 8)
Done: 93% (1559/1663, 104 left) (jobs: 8)
Done: 93% (1560/1663, 103 left) (jobs: 8)
Done: 93% (1563/1663, 100 left) (jobs: 8)
Done: 94% (1564/1663, 99 left) (jobs: 8)
Done: 94% (1566/1663, 97 left) (jobs: 8)
Done: 94% (1568/1663, 95 left) (jobs: 8)
Done: 94% (1571/1663, 92 left) (jobs: 8)
Done: 94% (1573/1663, 90 left) (jobs: 8)
Done: 94% (1575/1663, 88 left) (jobs: 8)
Done: 94% (1578/1663, 85 left) (jobs: 8)
Done: 94% (1579/1663, 84 left) (jobs: 8)
Done: 95% (1580/1663, 83 left) (jobs: 8)
Done: 95% (1581/1663, 82 left) (jobs: 8)
Done: 95% (1582/1663, 81 left) (jobs: 8)
Done: 95% (1583/1663, 80 left) (jobs: 8)
Done: 95% (1585/1663, 78 left) (jobs: 8)
Done: 95% (1586/1663, 77 left) (jobs: 8)
Done: 95% (1587/1663, 76 left) (jobs: 8)
Done: 95% (1588/1663, 75 left) (jobs: 8)
Done: 95% (1589/1663, 74 left) (jobs: 8)
Done: 95% (1590/1663, 73 left) (jobs: 8)
Done: 95% (1591/1663, 72 left) (jobs: 8)
Done: 95% (1592/1663, 71 left) (jobs: 8)
Done: 95% (1595/1663, 68 left) (jobs: 8)
Done: 96% (1597/1663, 66 left) (jobs: 8)
Done: 96% (1598/1663, 65 left) (jobs: 8)
Done: 96% (1599/1663, 64 left) (jobs: 8)
Done: 96% (1600/1663, 63 left) (jobs: 8)
Done: 96% (1601/1663, 62 left) (jobs: 8)
Done: 96% (1603/1663, 60 left) (jobs: 8)
Done: 96% (1604/1663, 59 left) (jobs: 8)
Done: 96% (1606/1663, 57 left) (jobs: 8)
Done: 96% (1610/1663, 53 left) (jobs: 8)
Done: 97% (1614/1663, 49 left) (jobs: 8)
Done: 97% (1616/1663, 47 left) (jobs: 8)
Done: 97% (1618/1663, 45 left) (jobs: 8)
Done: 97% (1619/1663, 44 left) (jobs: 8)
Done: 97% (1620/1663, 43 left) (jobs: 8)
Done: 97% (1622/1663, 41 left) (jobs: 8)
Done: 97% (1625/1663, 38 left) (jobs: 8)
Done: 97% (1626/1663, 37 left) (jobs: 8)
Done: 97% (1627/1663, 36 left) (jobs: 8)
Done: 97% (1628/1663, 35 left) (jobs: 8)
Done: 98% (1630/1663, 33 left) (jobs: 8)
Done: 98% (1631/1663, 32 left) (jobs: 8)
Done: 98% (1633/1663, 30 left) (jobs: 8)
Done: 98% (1634/1663, 29 left) (jobs: 8)
Done: 98% (1636/1663, 27 left) (jobs: 8)
Done: 98% (1637/1663, 26 left) (jobs: 8)
Done: 98% (1638/1663, 25 left) (jobs: 8)
Done: 98% (1642/1663, 21 left) (jobs: 4)
Done: 98% (1643/1663, 20 left) (jobs: 6)
Done: 98% (1646/1663, 17 left) (jobs: 6)
Done: 99% (1647/1663, 16 left) (jobs: 6)
Done: 99% (1648/1663, 15 left) (jobs: 6)
Done: 99% (1649/1663, 14 left) (jobs: 5)
Done: 99% (1650/1663, 13 left) (jobs: 4)
Done: 99% (1651/1663, 12 left) (jobs: 3)
Done: 99% (1652/1663, 11 left) (jobs: 2)
Done: 99% (1653/1663, 10 left) (jobs: 2)
Done: 99% (1655/1663, 8 left) (jobs: 1)
Done: 99% (1656/1663, 7 left) (jobs: 1)
Done: 99% (1658/1663, 5 left) (jobs: 1)
Done: 99% (1659/1663, 4 left) (jobs: 1)
Done: 99% (1660/1663, 3 left) (jobs: 1)
Done: 99% (1661/1663, 2 left) (jobs: 2)
Done: 99% (1662/1663, 1 left) (jobs: 1)
touch .dune-stamp
cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune
cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune
Scanned 0 directories
Scanned 100 directories
Scanned 200 directories
Done: 0% (0/0, 0 left) (jobs: 0)
Done: 0% (0/2, 2 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 16% (2/12, 10 left) (jobs: 0)
Done: 16% (2/12, 10 left) (jobs: 0)
Done: 13% (2/15, 13 left) (jobs: 0)
Done: 26% (4/15, 11 left) (jobs: 0)
Done: 66% (10/15, 5 left) (jobs: 0)
Done: 66% (10/15, 5 left) (jobs: 0)
Done: 9% (10/102, 92 left) (jobs: 0)
Done: 39% (40/102, 62 left) (jobs: 0)
Done: 39% (40/102, 62 left) (jobs: 0)
Done: 23% (40/168, 128 left) (jobs: 0)
Done: 34% (58/169, 111 left) (jobs: 0)
Done: 34% (58/169, 111 left) (jobs: 0)
Done: 28% (58/207, 149 left) (jobs: 0)
Done: 28% (60/207, 147 left) (jobs: 0)
Done: 31% (65/207, 142 left) (jobs: 0)
Done: 42% (89/210, 121 left) (jobs: 0)
Done: 39% (89/225, 136 left) (jobs: 0)
Done: 35% (89/250, 161 left) (jobs: 0)
Done: 37% (101/270, 169 left) (jobs: 0)
Done: 41% (125/304, 179 left) (jobs: 0)
Done: 33% (126/371, 245 left) (jobs: 0)
Done: 11% (126/1125, 999 left) (jobs: 0)
Done: 11% (126/1128, 1002 left) (jobs: 0)
Done: 10% (126/1150, 1024 left) (jobs: 0)
Done: 10% (126/1172, 1046 left) (jobs: 0)
Done: 10% (132/1261, 1129 left) (jobs: 0)
Done: 7% (150/2063, 1913 left) (jobs: 3)
Done: 9% (210/2118, 1908 left) (jobs: 7)
Done: 9% (211/2118, 1907 left) (jobs: 6)
Done: 23% (593/2493, 1900 left) (jobs: 8)
Done: 24% (600/2493, 1893 left) (jobs: 8)
Done: 24% (602/2493, 1891 left) (jobs: 8)
Done: 24% (602/2498, 1896 left) (jobs: 8)
Done: 24% (611/2498, 1887 left) (jobs: 8)
Done: 24% (617/2498, 1881 left) (jobs: 7)
Done: 22% (630/2808, 2178 left) (jobs: 0)
Done: 19% (636/3217, 2581 left) (jobs: 1)
Done: 22% (747/3299, 2552 left) (jobs: 1)
Done: 22% (748/3299, 2551 left) (jobs: 2)
Done: 35% (1327/3753, 2426 left) (jobs: 6)
Done: 32% (1328/4123, 2795 left) (jobs: 8)
Done: 32% (1334/4123, 2789 left) (jobs: 8)
Done: 32% (1339/4123, 2784 left) (jobs: 8)
Done: 34% (1444/4127, 2683 left) (jobs: 8)
Done: 34% (1445/4157, 2712 left) (jobs: 8)
Done: 35% (1456/4157, 2701 left) (jobs: 8)
Done: 34% (1469/4230, 2761 left) (jobs: 8)
Done: 32% (1488/4636, 3148 left) (jobs: 8)
Done: 32% (1489/4636, 3147 left) (jobs: 8)
Done: 33% (1550/4686, 3136 left) (jobs: 8)
Done: 33% (1555/4686, 3131 left) (jobs: 8)
Done: 37% (1750/4687, 2937 left) (jobs: 8)
Done: 37% (1759/4695, 2936 left) (jobs: 8)
Done: 37% (1770/4697, 2927 left) (jobs: 8)
Done: 37% (1778/4765, 2987 left) (jobs: 8)
Done: 37% (1798/4766, 2968 left) (jobs: 8)
Done: 37% (1812/4792, 2980 left) (jobs: 8)
Done: 37% (1830/4861, 3031 left) (jobs: 8)
Done: 37% (1848/4867, 3019 left) (jobs: 8)
Done: 38% (1862/4867, 3005 left) (jobs: 8)
Done: 38% (1872/4874, 3002 left) (jobs: 8)
Done: 38% (1875/4878, 3003 left) (jobs: 8)
Done: 38% (1885/4878, 2993 left) (jobs: 8)
Done: 26% (1885/7206, 5321 left) (jobs: 8)
Done: 26% (1892/7206, 5314 left) (jobs: 8)
Done: 26% (1896/7206, 5310 left) (jobs: 8)
Done: 26% (1900/7237, 5337 left) (jobs: 8)
Done: 26% (1907/7237, 5330 left) (jobs: 8)
Done: 26% (1908/7237, 5329 left) (jobs: 8)
Done: 36% (2661/7240, 4579 left) (jobs: 8)
Done: 36% (2669/7240, 4571 left) (jobs: 8)
Done: 37% (2686/7240, 4554 left) (jobs: 8)
Done: 37% (2705/7290, 4585 left) (jobs: 8)
Done: 37% (2713/7298, 4585 left) (jobs: 8)
Done: 36% (2730/7457, 4727 left) (jobs: 8)
Done: 36% (2738/7457, 4719 left) (jobs: 8)
Done: 36% (2752/7535, 4783 left) (jobs: 8)
Done: 37% (2828/7535, 4707 left) (jobs: 8)
Done: 37% (2838/7560, 4722 left) (jobs: 8)
Done: 37% (2838/7560, 4722 left) (jobs: 8)
Done: 37% (2847/7560, 4713 left) (jobs: 8)
Done: 37% (2849/7608, 4759 left) (jobs: 8)
Done: 37% (2863/7608, 4745 left) (jobs: 8)
Done: 37% (2869/7608, 4739 left) (jobs: 8)
Done: 37% (2873/7609, 4736 left) (jobs: 8)
Done: 37% (2882/7616, 4734 left) (jobs: 8)
Done: 37% (2882/7616, 4734 left) (jobs: 8)
Done: 37% (2889/7616, 4727 left) (jobs: 8)
Done: 37% (2896/7641, 4745 left) (jobs: 8)
Done: 37% (2902/7662, 4760 left) (jobs: 8)
Done: 37% (2905/7662, 4757 left) (jobs: 8)
Done: 37% (2912/7682, 4770 left) (jobs: 8)
Done: 37% (2914/7682, 4768 left) (jobs: 8)
Done: 37% (2919/7682, 4763 left) (jobs: 8)
Done: 37% (2919/7684, 4765 left) (jobs: 8)
Done: 38% (2922/7684, 4762 left) (jobs: 8)
Done: 33% (2922/8631, 5709 left) (jobs: 8)
Done: 33% (2929/8631, 5702 left) (jobs: 8)
Done: 33% (2929/8638, 5709 left) (jobs: 8)
Done: 33% (2933/8638, 5705 left) (jobs: 8)
Done: 33% (2936/8638, 5702 left) (jobs: 8)
Done: 36% (3187/8642, 5455 left) (jobs: 8)
Done: 36% (3188/8666, 5478 left) (jobs: 8)
Done: 36% (3200/8666, 5466 left) (jobs: 8)
Done: 36% (3203/8666, 5463 left) (jobs: 8)
Done: 36% (3211/8698, 5487 left) (jobs: 8)
Done: 36% (3217/8794, 5577 left) (jobs: 8)
Done: 36% (3224/8794, 5570 left) (jobs: 8)
Done: 36% (3228/8794, 5566 left) (jobs: 8)
Done: 36% (3231/8796, 5565 left) (jobs: 8)
Done: 36% (3237/8796, 5559 left) (jobs: 8)
Done: 36% (3244/8796, 5552 left) (jobs: 8)
Done: 36% (3244/8904, 5660 left) (jobs: 8)
Done: 36% (3252/8904, 5652 left) (jobs: 8)
Done: 36% (3253/8931, 5678 left) (jobs: 8)
Done: 36% (3262/8940, 5678 left) (jobs: 8)
Done: 36% (3267/8965, 5698 left) (jobs: 8)
Done: 36% (3273/9013, 5740 left) (jobs: 8)
Done: 36% (3273/9013, 5740 left) (jobs: 8)
Done: 36% (3282/9013, 5731 left) (jobs: 8)
Done: 36% (3286/9014, 5728 left) (jobs: 8)
Done: 36% (3330/9243, 5913 left) (jobs: 8)
Done: 36% (3335/9243, 5908 left) (jobs: 8)
Done: 35% (3337/9279, 5942 left) (jobs: 8)
Done: 36% (3371/9283, 5912 left) (jobs: 8)
Done: 36% (3374/9283, 5909 left) (jobs: 8)
Done: 36% (3375/9283, 5908 left) (jobs: 8)
Done: 36% (3381/9283, 5902 left) (jobs: 8)
Done: 36% (3389/9286, 5897 left) (jobs: 8)
Done: 36% (3395/9286, 5891 left) (jobs: 8)
Done: 36% (3404/9286, 5882 left) (jobs: 8)
Done: 36% (3406/9286, 5880 left) (jobs: 8)
Done: 36% (3414/9472, 6058 left) (jobs: 8)
Done: 36% (3414/9476, 6062 left) (jobs: 8)
Done: 36% (3424/9479, 6055 left) (jobs: 8)
Done: 36% (3442/9479, 6037 left) (jobs: 8)
Done: 35% (3444/9597, 6153 left) (jobs: 8)
Done: 35% (3444/9617, 6173 left) (jobs: 8)
Done: 35% (3452/9637, 6185 left) (jobs: 8)
Done: 35% (3452/9637, 6185 left) (jobs: 8)
Done: 35% (3457/9637, 6180 left) (jobs: 8)
Done: 35% (3457/9637, 6180 left) (jobs: 8)
Done: 35% (3462/9637, 6175 left) (jobs: 8)
Done: 36% (3478/9637, 6159 left) (jobs: 8)
Done: 36% (3483/9637, 6154 left) (jobs: 8)
Done: 36% (3500/9637, 6137 left) (jobs: 8)
Done: 36% (3514/9637, 6123 left) (jobs: 8)
Done: 36% (3525/9637, 6112 left) (jobs: 8)
Done: 36% (3533/9637, 6104 left) (jobs: 8)
Done: 31% (3548/11421, 7873 left) (jobs: 8)
Done: 31% (3548/11421, 7873 left) (jobs: 8)
Done: 31% (3564/11421, 7857 left) (jobs: 8)
Done: 31% (3570/11421, 7851 left) (jobs: 8)
Done: 31% (3585/11421, 7836 left) (jobs: 8)
Done: 31% (3588/11421, 7833 left) (jobs: 8)
Done: 31% (3606/11421, 7815 left) (jobs: 8)
Done: 31% (3609/11481, 7872 left) (jobs: 8)
Done: 31% (3612/11481, 7869 left) (jobs: 8)
Done: 31% (3630/11481, 7851 left) (jobs: 8)
Done: 31% (3633/11481, 7848 left) (jobs: 8)
Done: 31% (3639/11481, 7842 left) (jobs: 8)
Done: 31% (3658/11481, 7823 left) (jobs: 8)
Done: 29% (3658/12343, 8685 left) (jobs: 8)
Done: 29% (3667/12343, 8676 left) (jobs: 8)
Done: 29% (3677/12343, 8666 left) (jobs: 8)
Done: 30% (3708/12343, 8635 left) (jobs: 8)
Done: 30% (3720/12343, 8623 left) (jobs: 8)
Done: 30% (3720/12343, 8623 left) (jobs: 8)
Done: 30% (3728/12343, 8615 left) (jobs: 8)
Done: 37% (4592/12373, 7781 left) (jobs: 8)
Done: 37% (4622/12373, 7751 left) (jobs: 8)
Done: 37% (4634/12373, 7739 left) (jobs: 8)
Done: 37% (4639/12373, 7734 left) (jobs: 8)
Done: 37% (4650/12373, 7723 left) (jobs: 8)
Done: 37% (4680/12384, 7704 left) (jobs: 8)
Done: 37% (4688/12464, 7776 left) (jobs: 8)
Done: 37% (4688/12464, 7776 left) (jobs: 8)
Done: 37% (4707/12464, 7757 left) (jobs: 8)
Done: 37% (4708/12528, 7820 left) (jobs: 8)
Done: 37% (4717/12528, 7811 left) (jobs: 8)
Done: 37% (4745/12528, 7783 left) (jobs: 8)
Done: 37% (4747/12610, 7863 left) (jobs: 8)
Done: 37% (4748/12610, 7862 left) (jobs: 8)
Done: 38% (4829/12610, 7781 left) (jobs: 8)
Done: 38% (4843/12610, 7767 left) (jobs: 8)
Done: 38% (4861/12610, 7749 left) (jobs: 8)
Done: 38% (4863/12610, 7747 left) (jobs: 8)
Done: 39% (4930/12610, 7680 left) (jobs: 8)
Done: 39% (4944/12610, 7666 left) (jobs: 8)
Done: 39% (4960/12634, 7674 left) (jobs: 8)
Done: 39% (4977/12634, 7657 left) (jobs: 8)
Done: 39% (4999/12634, 7635 left) (jobs: 8)
Done: 39% (5018/12634, 7616 left) (jobs: 8)
Done: 39% (5030/12634, 7604 left) (jobs: 8)
Done: 39% (5049/12634, 7585 left) (jobs: 8)
Done: 40% (5058/12634, 7576 left) (jobs: 8)
Done: 40% (5080/12634, 7554 left) (jobs: 8)
Done: 40% (5094/12634, 7540 left) (jobs: 8)
Done: 40% (5096/12634, 7538 left) (jobs: 8)
Done: 40% (5141/12786, 7645 left) (jobs: 8)
Done: 40% (5146/12789, 7643 left) (jobs: 8)
Done: 40% (5207/12869, 7662 left) (jobs: 8)
Done: 40% (5228/12869, 7641 left) (jobs: 8)
Done: 40% (5230/12869, 7639 left) (jobs: 8)
Done: 40% (5264/12869, 7605 left) (jobs: 8)
Done: 40% (5274/12869, 7595 left) (jobs: 8)
Done: 41% (5295/12869, 7574 left) (jobs: 8)
Done: 41% (5306/12869, 7563 left) (jobs: 8)
Done: 41% (5314/12890, 7576 left) (jobs: 8)
Done: 41% (5346/12901, 7555 left) (jobs: 8)
Done: 41% (5368/12901, 7533 left) (jobs: 8)
Done: 41% (5381/12901, 7520 left) (jobs: 8)
Done: 41% (5386/12901, 7515 left) (jobs: 8)
Done: 42% (5452/12901, 7449 left) (jobs: 8)
Done: 42% (5477/12901, 7424 left) (jobs: 8)
Done: 42% (5494/12901, 7407 left) (jobs: 8)
Done: 42% (5502/12901, 7399 left) (jobs: 8)
Done: 42% (5510/12901, 7391 left) (jobs: 8)
Done: 42% (5538/12901, 7363 left) (jobs: 8)
Done: 43% (5556/12901, 7345 left) (jobs: 8)
Done: 43% (5574/12904, 7330 left) (jobs: 8)
Done: 43% (5592/12904, 7312 left) (jobs: 8)
Done: 43% (5607/12904, 7297 left) (jobs: 8)
Done: 43% (5620/12904, 7284 left) (jobs: 8)
Done: 43% (5636/12904, 7268 left) (jobs: 8)
Done: 43% (5649/12904, 7255 left) (jobs: 8)
Done: 43% (5673/12904, 7231 left) (jobs: 8)
Done: 44% (5693/12904, 7211 left) (jobs: 8)
Done: 44% (5697/12904, 7207 left) (jobs: 8)
(cd _build/default && /usr/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision
skipping make_git_revision: git dir not found
Done: 44% (5697/12904, 7207 left) (jobs: 8)
Done: 44% (5715/12904, 7189 left) (jobs: 8)
Done: 44% (5724/12904, 7180 left) (jobs: 8)
Done: 44% (5730/12904, 7174 left) (jobs: 8)
Done: 44% (5734/12904, 7170 left) (jobs: 8)
Done: 44% (5740/12904, 7164 left) (jobs: 8)
Done: 44% (5746/12904, 7158 left) (jobs: 8)
Done: 44% (5752/12904, 7152 left) (jobs: 8)
Done: 44% (5761/12904, 7143 left) (jobs: 8)
Done: 44% (5768/12904, 7136 left) (jobs: 8)
Done: 44% (5781/12904, 7123 left) (jobs: 8)
Done: 44% (5796/12904, 7108 left) (jobs: 8)
Done: 44% (5802/12904, 7102 left) (jobs: 8)
Done: 45% (5809/12904, 7095 left) (jobs: 8)
Done: 45% (5848/12904, 7056 left) (jobs: 8)
Done: 45% (5866/12904, 7038 left) (jobs: 8)
Done: 45% (5890/12904, 7014 left) (jobs: 8)
Done: 45% (5893/12904, 7011 left) (jobs: 8)
Done: 45% (5910/12904, 6994 left) (jobs: 8)
Done: 45% (5917/12904, 6987 left) (jobs: 8)
Done: 45% (5922/12904, 6982 left) (jobs: 8)
Done: 46% (5938/12904, 6966 left) (jobs: 8)
Done: 46% (5949/12904, 6955 left) (jobs: 8)
Done: 46% (5954/12904, 6950 left) (jobs: 8)
Done: 46% (5958/12904, 6946 left) (jobs: 8)
Done: 46% (5971/12904, 6933 left) (jobs: 8)
Done: 46% (5979/12904, 6925 left) (jobs: 8)
Done: 46% (5996/12904, 6908 left) (jobs: 8)
Done: 46% (6005/12904, 6899 left) (jobs: 8)
Done: 46% (6011/12904, 6893 left) (jobs: 8)
Done: 46% (6026/12904, 6878 left) (jobs: 8)
Done: 46% (6034/12904, 6870 left) (jobs: 8)
Done: 46% (6044/12904, 6860 left) (jobs: 8)
Done: 46% (6053/12904, 6851 left) (jobs: 8)
Done: 46% (6063/12904, 6841 left) (jobs: 8)
Done: 47% (6068/12904, 6836 left) (jobs: 8)
Done: 47% (6080/12904, 6824 left) (jobs: 8)
Done: 47% (6093/12904, 6811 left) (jobs: 8)
Done: 47% (6102/12904, 6802 left) (jobs: 8)
Done: 47% (6110/12904, 6794 left) (jobs: 8)
Done: 47% (6115/12904, 6789 left) (jobs: 8)
Done: 47% (6129/12904, 6775 left) (jobs: 8)
Done: 47% (6144/12904, 6760 left) (jobs: 8)
Done: 47% (6154/12904, 6750 left) (jobs: 8)
Done: 47% (6171/12904, 6733 left) (jobs: 8)
Done: 47% (6185/12904, 6719 left) (jobs: 8)
Done: 48% (6197/12904, 6707 left) (jobs: 8)
Done: 48% (6200/12904, 6704 left) (jobs: 8)
Done: 48% (6203/12904, 6701 left) (jobs: 8)
Done: 48% (6205/12904, 6699 left) (jobs: 8)
Done: 48% (6209/12904, 6695 left) (jobs: 8)
Done: 48% (6211/12904, 6693 left) (jobs: 8)
Done: 48% (6213/12904, 6691 left) (jobs: 8)
Done: 48% (6217/12904, 6687 left) (jobs: 8)
Done: 48% (6221/12904, 6683 left) (jobs: 8)
Done: 48% (6222/12904, 6682 left) (jobs: 8)
Done: 48% (6228/12904, 6676 left) (jobs: 8)
Done: 48% (6229/12904, 6675 left) (jobs: 8)
Done: 48% (6232/12904, 6672 left) (jobs: 8)
Done: 48% (6236/12904, 6668 left) (jobs: 8)
Done: 48% (6243/12904, 6661 left) (jobs: 8)
Done: 48% (6253/12904, 6651 left) (jobs: 8)
Done: 48% (6259/12904, 6645 left) (jobs: 8)
Done: 48% (6261/12904, 6643 left) (jobs: 8)
Done: 48% (6263/12904, 6641 left) (jobs: 8)
Done: 48% (6268/12904, 6636 left) (jobs: 8)
Done: 48% (6270/12904, 6634 left) (jobs: 8)
Done: 48% (6274/12904, 6630 left) (jobs: 8)
Done: 48% (6282/12904, 6622 left) (jobs: 8)
Done: 48% (6284/12904, 6620 left) (jobs: 8)
Done: 48% (6287/12907, 6620 left) (jobs: 8)
Done: 48% (6291/12907, 6616 left) (jobs: 8)
Done: 48% (6293/12907, 6614 left) (jobs: 8)
Done: 48% (6298/12907, 6609 left) (jobs: 8)
Done: 48% (6300/12907, 6607 left) (jobs: 8)
Done: 48% (6307/12907, 6600 left) (jobs: 8)
Done: 48% (6311/12907, 6596 left) (jobs: 8)
Done: 48% (6315/12907, 6592 left) (jobs: 8)
Done: 48% (6320/12907, 6587 left) (jobs: 8)
Done: 48% (6324/12907, 6583 left) (jobs: 8)
Done: 49% (6330/12907, 6577 left) (jobs: 8)
Done: 49% (6334/12907, 6573 left) (jobs: 8)
Done: 49% (6336/12907, 6571 left) (jobs: 8)
Done: 49% (6344/12907, 6563 left) (jobs: 8)
Done: 49% (6348/12907, 6559 left) (jobs: 8)
Done: 49% (6351/12907, 6556 left) (jobs: 8)
Done: 49% (6354/12907, 6553 left) (jobs: 8)
Done: 49% (6356/12907, 6551 left) (jobs: 8)
Done: 49% (6358/12907, 6549 left) (jobs: 8)
Done: 49% (6361/12907, 6546 left) (jobs: 8)
Done: 49% (6363/12907, 6544 left) (jobs: 8)
Done: 49% (6365/12907, 6542 left) (jobs: 8)
Done: 49% (6368/12907, 6539 left) (jobs: 8)
Done: 49% (6371/12907, 6536 left) (jobs: 8)
Done: 49% (6377/12910, 6533 left) (jobs: 8)
Done: 49% (6379/12910, 6531 left) (jobs: 8)
Done: 49% (6380/12910, 6530 left) (jobs: 8)
Done: 49% (6381/12910, 6529 left) (jobs: 8)
Done: 49% (6384/12910, 6526 left) (jobs: 8)
Done: 49% (6386/12910, 6524 left) (jobs: 8)
Done: 49% (6388/12910, 6522 left) (jobs: 8)
Done: 49% (6389/12910, 6521 left) (jobs: 8)
Done: 49% (6393/12910, 6517 left) (jobs: 8)
Done: 49% (6395/12910, 6515 left) (jobs: 8)
Done: 49% (6397/12910, 6513 left) (jobs: 8)
Done: 49% (6399/12910, 6511 left) (jobs: 8)
Done: 49% (6401/12910, 6509 left) (jobs: 8)
Done: 49% (6403/12910, 6507 left) (jobs: 8)
Done: 49% (6405/12910, 6505 left) (jobs: 8)
Done: 49% (6407/12910, 6503 left) (jobs: 8)
Done: 49% (6409/12910, 6501 left) (jobs: 8)
Done: 49% (6410/12910, 6500 left) (jobs: 8)
Done: 49% (6412/12910, 6498 left) (jobs: 8)
Done: 49% (6414/12910, 6496 left) (jobs: 8)
Done: 49% (6421/12910, 6489 left) (jobs: 8)
Done: 49% (6422/12910, 6488 left) (jobs: 8)
Done: 49% (6427/12910, 6483 left) (jobs: 8)
Done: 49% (6436/12910, 6474 left) (jobs: 8)
Done: 49% (6439/12910, 6471 left) (jobs: 8)
Done: 49% (6451/12910, 6459 left) (jobs: 8)
Done: 50% (6459/12910, 6451 left) (jobs: 8)
Done: 50% (6465/12913, 6448 left) (jobs: 8)
Done: 50% (6475/12913, 6438 left) (jobs: 8)
Done: 50% (6483/12913, 6430 left) (jobs: 8)
Done: 50% (6485/12913, 6428 left) (jobs: 8)
Done: 50% (6488/12913, 6425 left) (jobs: 8)
Done: 50% (6489/12913, 6424 left) (jobs: 8)
Done: 50% (6491/12913, 6422 left) (jobs: 8)
Done: 50% (6492/12913, 6421 left) (jobs: 8)
Done: 50% (6498/12913, 6415 left) (jobs: 8)
Done: 50% (6500/12913, 6413 left) (jobs: 8)
Done: 50% (6508/12913, 6405 left) (jobs: 8)
Done: 50% (6510/12913, 6403 left) (jobs: 8)
Done: 50% (6517/12916, 6399 left) (jobs: 8)
Done: 50% (6520/12916, 6396 left) (jobs: 8)
Done: 50% (6523/12916, 6393 left) (jobs: 8)
Done: 50% (6525/12916, 6391 left) (jobs: 8)
Done: 50% (6528/12916, 6388 left) (jobs: 8)
Done: 50% (6530/12916, 6386 left) (jobs: 8)
Done: 50% (6533/12916, 6383 left) (jobs: 8)
Done: 50% (6535/12916, 6381 left) (jobs: 8)
Done: 50% (6536/12916, 6380 left) (jobs: 8)
Done: 50% (6538/12916, 6378 left) (jobs: 8)
Done: 50% (6539/12916, 6377 left) (jobs: 8)
Done: 50% (6540/12916, 6376 left) (jobs: 8)
Done: 50% (6542/12916, 6374 left) (jobs: 8)
Done: 50% (6545/12916, 6371 left) (jobs: 8)
Done: 50% (6547/12916, 6369 left) (jobs: 8)
Done: 50% (6549/12916, 6367 left) (jobs: 8)
Done: 50% (6551/12916, 6365 left) (jobs: 8)
Done: 50% (6553/12916, 6363 left) (jobs: 8)
Done: 50% (6555/12916, 6361 left) (jobs: 8)
Done: 50% (6557/12916, 6359 left) (jobs: 8)
Done: 50% (6562/12916, 6354 left) (jobs: 8)
Done: 50% (6564/12919, 6355 left) (jobs: 8)
Done: 50% (6568/12919, 6351 left) (jobs: 8)
Done: 50% (6573/12919, 6346 left) (jobs: 8)
Done: 50% (6579/12919, 6340 left) (jobs: 8)
Done: 51% (6591/12919, 6328 left) (jobs: 8)
Done: 51% (6593/12919, 6326 left) (jobs: 8)
Done: 51% (6595/12919, 6324 left) (jobs: 8)
Done: 51% (6598/12922, 6324 left) (jobs: 8)
Done: 51% (6600/12922, 6322 left) (jobs: 8)
Done: 51% (6602/12922, 6320 left) (jobs: 8)
Done: 51% (6607/12922, 6315 left) (jobs: 8)
Done: 51% (6609/12922, 6313 left) (jobs: 8)
Done: 51% (6610/12922, 6312 left) (jobs: 8)
Done: 51% (6612/12922, 6310 left) (jobs: 8)
Done: 51% (6616/12922, 6306 left) (jobs: 8)
Done: 51% (6618/12922, 6304 left) (jobs: 8)
Done: 51% (6621/12922, 6301 left) (jobs: 8)
Done: 51% (6623/12922, 6299 left) (jobs: 8)
Done: 51% (6625/12922, 6297 left) (jobs: 8)
Done: 51% (6627/12922, 6295 left) (jobs: 8)
Done: 51% (6629/12922, 6293 left) (jobs: 8)
Done: 51% (6630/12922, 6292 left) (jobs: 8)
Done: 51% (6632/12922, 6290 left) (jobs: 8)
Done: 51% (6636/12922, 6286 left) (jobs: 8)
Done: 51% (6639/12922, 6283 left) (jobs: 8)
Done: 51% (6641/12925, 6284 left) (jobs: 8)
Done: 51% (6643/12925, 6282 left) (jobs: 8)
Done: 51% (6648/12925, 6277 left) (jobs: 8)
Done: 51% (6649/12925, 6276 left) (jobs: 8)
Done: 51% (6655/12925, 6270 left) (jobs: 8)
Done: 51% (6657/12925, 6268 left) (jobs: 8)
Done: 51% (6670/12932, 6262 left) (jobs: 8)
Done: 51% (6675/12932, 6257 left) (jobs: 8)
Done: 51% (6676/12932, 6256 left) (jobs: 8)
Done: 51% (6681/12932, 6251 left) (jobs: 8)
Done: 51% (6683/12932, 6249 left) (jobs: 8)
Done: 51% (6692/12932, 6240 left) (jobs: 8)
Done: 51% (6703/12932, 6229 left) (jobs: 8)
Done: 51% (6709/12932, 6223 left) (jobs: 8)
Done: 51% (6712/12932, 6220 left) (jobs: 8)
Done: 51% (6724/12932, 6208 left) (jobs: 8)
Done: 52% (6730/12932, 6202 left) (jobs: 8)
Done: 52% (6734/12932, 6198 left) (jobs: 8)
Done: 52% (6738/12932, 6194 left) (jobs: 8)
Done: 52% (6746/12936, 6190 left) (jobs: 8)
Done: 52% (6752/12936, 6184 left) (jobs: 8)
Done: 52% (6754/12936, 6182 left) (jobs: 8)
Done: 52% (6756/12936, 6180 left) (jobs: 8)
Done: 52% (6758/12936, 6178 left) (jobs: 8)
Done: 52% (6760/12936, 6176 left) (jobs: 8)
Done: 52% (6765/12936, 6171 left) (jobs: 8)
Done: 52% (6770/12936, 6166 left) (jobs: 8)
Done: 52% (6773/12936, 6163 left) (jobs: 8)
Done: 52% (6777/12936, 6159 left) (jobs: 8)
Done: 52% (6778/12936, 6158 left) (jobs: 8)
Done: 52% (6788/12936, 6148 left) (jobs: 8)
Done: 52% (6789/12936, 6147 left) (jobs: 8)
Done: 52% (6795/12936, 6141 left) (jobs: 8)
Done: 52% (6799/12936, 6137 left) (jobs: 8)
Done: 52% (6801/12936, 6135 left) (jobs: 8)
Done: 52% (6805/12936, 6131 left) (jobs: 8)
Done: 52% (6807/12936, 6129 left) (jobs: 8)
Done: 52% (6815/12936, 6121 left) (jobs: 8)
Done: 52% (6817/12936, 6119 left) (jobs: 8)
Done: 52% (6822/12936, 6114 left) (jobs: 8)
Done: 52% (6825/12936, 6111 left) (jobs: 8)
Done: 52% (6830/12936, 6106 left) (jobs: 8)
Done: 52% (6831/12936, 6105 left) (jobs: 8)
Done: 52% (6838/12936, 6098 left) (jobs: 8)
Done: 52% (6842/12936, 6094 left) (jobs: 8)
Done: 52% (6846/12936, 6090 left) (jobs: 8)
Done: 52% (6852/12936, 6084 left) (jobs: 8)
Done: 53% (6857/12936, 6079 left) (jobs: 8)
Done: 53% (6862/12936, 6074 left) (jobs: 8)
Done: 53% (6866/12936, 6070 left) (jobs: 8)
Done: 53% (6867/12936, 6069 left) (jobs: 8)
Done: 53% (6869/12936, 6067 left) (jobs: 8)
Done: 53% (6870/12936, 6066 left) (jobs: 8)
Done: 53% (6871/12936, 6065 left) (jobs: 8)
Done: 53% (6872/12936, 6064 left) (jobs: 8)
Done: 53% (6873/12936, 6063 left) (jobs: 8)
Done: 53% (6874/12936, 6062 left) (jobs: 8)
Done: 53% (6875/12936, 6061 left) (jobs: 8)
Done: 53% (6876/12936, 6060 left) (jobs: 8)
Done: 53% (6877/12936, 6059 left) (jobs: 8)
Done: 53% (6878/12936, 6058 left) (jobs: 8)
Done: 53% (6880/12936, 6056 left) (jobs: 8)
Done: 53% (6881/12936, 6055 left) (jobs: 8)
Done: 53% (6883/12936, 6053 left) (jobs: 8)
Done: 53% (6884/12936, 6052 left) (jobs: 8)
Done: 53% (6885/12936, 6051 left) (jobs: 8)
Done: 53% (6886/12936, 6050 left) (jobs: 8)
Done: 53% (6889/12936, 6047 left) (jobs: 8)
Done: 53% (6892/12936, 6044 left) (jobs: 8)
Done: 53% (6893/12936, 6043 left) (jobs: 8)
Done: 53% (6894/12936, 6042 left) (jobs: 8)
Done: 53% (6896/12936, 6040 left) (jobs: 8)
Done: 53% (6899/12936, 6037 left) (jobs: 8)
Done: 53% (6909/12936, 6027 left) (jobs: 8)
Done: 53% (6920/12936, 6016 left) (jobs: 8)
Done: 53% (6932/12936, 6004 left) (jobs: 8)
Done: 53% (6946/12936, 5990 left) (jobs: 8)
Done: 53% (6969/12936, 5967 left) (jobs: 8)
Done: 53% (6979/12936, 5957 left) (jobs: 8)
Done: 53% (6985/12936, 5951 left) (jobs: 8)
Done: 54% (6990/12936, 5946 left) (jobs: 8)
Done: 54% (6993/12936, 5943 left) (jobs: 8)
Done: 54% (6995/12936, 5941 left) (jobs: 8)
Done: 54% (6997/12936, 5939 left) (jobs: 8)
Done: 54% (7001/12936, 5935 left) (jobs: 8)
Done: 54% (7003/12936, 5933 left) (jobs: 8)
Done: 54% (7006/12939, 5933 left) (jobs: 8)
Done: 54% (7007/12939, 5932 left) (jobs: 8)
Done: 54% (7009/12939, 5930 left) (jobs: 8)
Done: 54% (7010/12939, 5929 left) (jobs: 8)
Done: 54% (7012/12939, 5927 left) (jobs: 8)
Done: 54% (7016/12939, 5923 left) (jobs: 8)
Done: 54% (7022/12939, 5917 left) (jobs: 8)
Done: 54% (7025/12939, 5914 left) (jobs: 8)
Done: 54% (7035/12939, 5904 left) (jobs: 8)
Done: 54% (7038/12939, 5901 left) (jobs: 8)
Done: 54% (7046/12939, 5893 left) (jobs: 8)
Done: 54% (7052/12939, 5887 left) (jobs: 8)
Done: 54% (7058/12939, 5881 left) (jobs: 8)
Done: 54% (7066/12939, 5873 left) (jobs: 8)
Done: 54% (7070/12939, 5869 left) (jobs: 8)
Done: 54% (7076/12939, 5863 left) (jobs: 8)
Done: 54% (7082/12939, 5857 left) (jobs: 8)
Done: 54% (7088/12939, 5851 left) (jobs: 8)
Done: 54% (7090/12939, 5849 left) (jobs: 8)
Done: 54% (7096/12939, 5843 left) (jobs: 8)
Done: 54% (7099/12942, 5843 left) (jobs: 8)
Done: 54% (7103/12942, 5839 left) (jobs: 8)
Done: 54% (7105/12942, 5837 left) (jobs: 8)
Done: 54% (7108/12942, 5834 left) (jobs: 8)
Done: 54% (7111/12942, 5831 left) (jobs: 8)
Done: 54% (7114/12942, 5828 left) (jobs: 8)
Done: 54% (7118/12942, 5824 left) (jobs: 8)
Done: 55% (7121/12942, 5821 left) (jobs: 8)
Done: 55% (7125/12942, 5817 left) (jobs: 8)
Done: 55% (7129/12942, 5813 left) (jobs: 8)
Done: 55% (7133/12942, 5809 left) (jobs: 8)
Done: 55% (7139/12970, 5831 left) (jobs: 8)
Done: 55% (7139/12970, 5831 left) (jobs: 8)
Done: 55% (7144/12970, 5826 left) (jobs: 8)
Done: 55% (7145/12970, 5825 left) (jobs: 8)
Done: 55% (7148/12970, 5822 left) (jobs: 8)
Done: 55% (7150/12970, 5820 left) (jobs: 8)
Done: 55% (7152/12970, 5818 left) (jobs: 8)
Done: 55% (7154/12970, 5816 left) (jobs: 8)
Done: 55% (7155/12970, 5815 left) (jobs: 8)
Done: 55% (7156/12970, 5814 left) (jobs: 8)
Done: 55% (7163/12970, 5807 left) (jobs: 8)
Done: 55% (7166/12970, 5804 left) (jobs: 8)
Done: 55% (7168/12970, 5802 left) (jobs: 8)
Done: 55% (7171/12970, 5799 left) (jobs: 8)
Done: 55% (7172/12970, 5798 left) (jobs: 8)
Done: 55% (7174/12970, 5796 left) (jobs: 8)
Done: 55% (7177/12970, 5793 left) (jobs: 8)
Done: 55% (7179/12970, 5791 left) (jobs: 8)
Done: 55% (7181/12970, 5789 left) (jobs: 8)
Done: 55% (7182/12970, 5788 left) (jobs: 8)
Done: 55% (7183/12970, 5787 left) (jobs: 8)
Done: 55% (7187/12970, 5783 left) (jobs: 8)
Done: 55% (7191/12970, 5779 left) (jobs: 8)
Done: 55% (7198/12970, 5772 left) (jobs: 8)
Done: 55% (7200/12970, 5770 left) (jobs: 8)
Done: 55% (7206/12970, 5764 left) (jobs: 8)
Done: 55% (7209/12970, 5761 left) (jobs: 8)
Done: 55% (7212/12970, 5758 left) (jobs: 8)
Done: 55% (7214/12970, 5756 left) (jobs: 8)
Done: 55% (7217/12970, 5753 left) (jobs: 8)
Done: 55% (7219/12970, 5751 left) (jobs: 8)
Done: 55% (7220/12970, 5750 left) (jobs: 8)
Done: 55% (7225/12970, 5745 left) (jobs: 8)
Done: 55% (7226/12970, 5744 left) (jobs: 8)
Done: 55% (7227/12970, 5743 left) (jobs: 8)
Done: 55% (7228/12970, 5742 left) (jobs: 8)
Done: 55% (7229/12970, 5741 left) (jobs: 8)
Done: 55% (7235/12970, 5735 left) (jobs: 8)
Done: 55% (7237/12970, 5733 left) (jobs: 8)
Done: 55% (7239/12970, 5731 left) (jobs: 8)
Done: 55% (7243/12970, 5727 left) (jobs: 8)
Done: 55% (7245/12970, 5725 left) (jobs: 8)
Done: 55% (7249/12970, 5721 left) (jobs: 8)
Done: 55% (7251/12970, 5719 left) (jobs: 8)
Done: 55% (7253/12970, 5717 left) (jobs: 8)
Done: 55% (7255/12970, 5715 left) (jobs: 8)
Done: 55% (7256/12970, 5714 left) (jobs: 8)
Done: 55% (7258/12970, 5712 left) (jobs: 8)
Done: 55% (7263/12970, 5707 left) (jobs: 8)
Done: 56% (7266/12970, 5704 left) (jobs: 8)
Done: 56% (7271/12970, 5699 left) (jobs: 8)
Done: 56% (7274/12970, 5696 left) (jobs: 8)
Done: 56% (7279/12970, 5691 left) (jobs: 8)
Done: 56% (7280/12970, 5690 left) (jobs: 8)
Done: 56% (7282/12970, 5688 left) (jobs: 8)
Done: 56% (7287/12970, 5683 left) (jobs: 8)
Done: 56% (7289/12970, 5681 left) (jobs: 8)
Done: 56% (7291/12970, 5679 left) (jobs: 8)
Done: 56% (7293/12970, 5677 left) (jobs: 8)
Done: 56% (7298/12970, 5672 left) (jobs: 8)
Done: 56% (7299/12970, 5671 left) (jobs: 8)
Done: 56% (7301/12970, 5669 left) (jobs: 8)
Done: 56% (7304/12970, 5666 left) (jobs: 8)
Done: 56% (7308/12970, 5662 left) (jobs: 8)
Done: 56% (7310/12970, 5660 left) (jobs: 8)
Done: 56% (7313/12970, 5657 left) (jobs: 8)
Done: 56% (7316/12970, 5654 left) (jobs: 8)
Done: 56% (7318/12970, 5652 left) (jobs: 8)
Done: 56% (7328/12970, 5642 left) (jobs: 8)
Done: 56% (7331/12970, 5639 left) (jobs: 8)
Done: 56% (7333/12970, 5637 left) (jobs: 8)
Done: 56% (7339/12970, 5631 left) (jobs: 8)
Done: 56% (7342/12970, 5628 left) (jobs: 8)
Done: 56% (7348/12970, 5622 left) (jobs: 8)
Done: 56% (7351/12970, 5619 left) (jobs: 8)
Done: 56% (7354/12970, 5616 left) (jobs: 8)
Done: 56% (7357/12970, 5613 left) (jobs: 8)
Done: 56% (7359/12970, 5611 left) (jobs: 8)
Done: 56% (7361/12970, 5609 left) (jobs: 8)
Done: 56% (7363/12970, 5607 left) (jobs: 8)
Done: 56% (7366/12970, 5604 left) (jobs: 8)
Done: 56% (7368/12970, 5602 left) (jobs: 8)
Done: 56% (7374/12970, 5596 left) (jobs: 8)
Done: 56% (7379/12970, 5591 left) (jobs: 8)
Done: 56% (7382/12970, 5588 left) (jobs: 8)
Done: 56% (7384/12970, 5586 left) (jobs: 8)
Done: 56% (7386/12970, 5584 left) (jobs: 8)
Done: 56% (7391/12970, 5579 left) (jobs: 8)
Done: 57% (7398/12970, 5572 left) (jobs: 8)
Done: 57% (7399/12970, 5571 left) (jobs: 8)
Done: 57% (7401/12970, 5569 left) (jobs: 8)
Done: 57% (7403/12970, 5567 left) (jobs: 8)
Done: 57% (7410/12970, 5560 left) (jobs: 8)
Done: 57% (7412/12970, 5558 left) (jobs: 8)
Done: 57% (7414/12970, 5556 left) (jobs: 8)
Done: 57% (7415/12970, 5555 left) (jobs: 8)
Done: 57% (7421/12970, 5549 left) (jobs: 8)
Done: 57% (7423/12970, 5547 left) (jobs: 8)
Done: 57% (7426/12970, 5544 left) (jobs: 8)
Done: 57% (7428/12970, 5542 left) (jobs: 8)
Done: 57% (7430/12970, 5540 left) (jobs: 8)
Done: 57% (7434/12970, 5536 left) (jobs: 8)
Done: 57% (7439/12970, 5531 left) (jobs: 8)
Done: 57% (7441/12970, 5529 left) (jobs: 8)
Done: 57% (7443/12970, 5527 left) (jobs: 8)
Done: 57% (7446/12970, 5524 left) (jobs: 8)
Done: 57% (7452/12970, 5518 left) (jobs: 8)
Done: 57% (7455/12970, 5515 left) (jobs: 8)
Done: 57% (7459/12970, 5511 left) (jobs: 8)
Done: 57% (7465/12970, 5505 left) (jobs: 8)
Done: 57% (7467/12970, 5503 left) (jobs: 8)
Done: 57% (7469/12970, 5501 left) (jobs: 8)
Done: 57% (7473/12970, 5497 left) (jobs: 8)
Done: 57% (7477/12970, 5493 left) (jobs: 8)
Done: 57% (7480/12970, 5490 left) (jobs: 8)
Done: 57% (7482/12970, 5488 left) (jobs: 8)
Done: 57% (7484/12970, 5486 left) (jobs: 8)
Done: 57% (7485/12970, 5485 left) (jobs: 8)
Done: 57% (7488/12970, 5482 left) (jobs: 8)
Done: 57% (7490/12970, 5480 left) (jobs: 8)
Done: 57% (7492/12970, 5478 left) (jobs: 8)
Done: 57% (7493/12970, 5477 left) (jobs: 8)
Done: 57% (7495/12970, 5475 left) (jobs: 8)
Done: 57% (7497/12970, 5473 left) (jobs: 8)
Done: 57% (7499/12970, 5471 left) (jobs: 8)
Done: 57% (7502/12970, 5468 left) (jobs: 8)
Done: 57% (7505/12970, 5465 left) (jobs: 8)
Done: 57% (7506/12970, 5464 left) (jobs: 8)
Done: 57% (7508/12970, 5462 left) (jobs: 8)
Done: 57% (7509/12970, 5461 left) (jobs: 8)
Done: 57% (7511/12970, 5459 left) (jobs: 8)
Done: 57% (7513/12970, 5457 left) (jobs: 8)
Done: 57% (7515/12970, 5455 left) (jobs: 8)
Done: 57% (7519/12970, 5451 left) (jobs: 8)
Done: 57% (7521/12970, 5449 left) (jobs: 8)
Done: 58% (7523/12970, 5447 left) (jobs: 8)
Done: 58% (7525/12970, 5445 left) (jobs: 8)
Done: 58% (7527/12970, 5443 left) (jobs: 8)
Done: 58% (7529/12970, 5441 left) (jobs: 8)
Done: 58% (7531/12970, 5439 left) (jobs: 8)
Done: 58% (7534/12970, 5436 left) (jobs: 8)
Done: 58% (7538/12970, 5432 left) (jobs: 8)
Done: 58% (7540/12970, 5430 left) (jobs: 8)
Done: 58% (7542/12970, 5428 left) (jobs: 8)
Done: 58% (7543/12970, 5427 left) (jobs: 8)
Done: 58% (7545/12970, 5425 left) (jobs: 8)
Done: 58% (7548/12970, 5422 left) (jobs: 8)
Done: 58% (7549/12970, 5421 left) (jobs: 8)
Done: 58% (7551/12970, 5419 left) (jobs: 8)
Done: 58% (7552/12970, 5418 left) (jobs: 8)
Done: 58% (7553/12970, 5417 left) (jobs: 8)
Done: 58% (7555/12970, 5415 left) (jobs: 8)
Done: 58% (7556/12970, 5414 left) (jobs: 8)
Done: 58% (7557/12970, 5413 left) (jobs: 8)
Done: 58% (7561/12970, 5409 left) (jobs: 8)
Done: 58% (7563/12970, 5407 left) (jobs: 8)
Done: 58% (7564/12970, 5406 left) (jobs: 8)
Done: 58% (7568/12970, 5402 left) (jobs: 8)
Done: 58% (7572/12970, 5398 left) (jobs: 8)
Done: 58% (7584/12970, 5386 left) (jobs: 8)
Done: 58% (7587/12970, 5383 left) (jobs: 8)
Done: 58% (7590/12970, 5380 left) (jobs: 8)
Done: 58% (7599/12970, 5371 left) (jobs: 8)
Done: 58% (7602/12970, 5368 left) (jobs: 8)
Done: 58% (7605/12970, 5365 left) (jobs: 8)
Done: 58% (7608/12970, 5362 left) (jobs: 8)
Done: 58% (7611/12970, 5359 left) (jobs: 8)
Done: 58% (7614/12970, 5356 left) (jobs: 8)
Done: 58% (7616/12970, 5354 left) (jobs: 8)
Done: 58% (7618/12970, 5352 left) (jobs: 8)
Done: 58% (7619/12970, 5351 left) (jobs: 8)
Done: 58% (7621/12970, 5349 left) (jobs: 8)
Done: 58% (7623/12970, 5347 left) (jobs: 8)
Done: 58% (7626/12970, 5344 left) (jobs: 8)
Done: 58% (7631/12970, 5339 left) (jobs: 8)
Done: 58% (7633/12970, 5337 left) (jobs: 8)
Done: 58% (7637/12970, 5333 left) (jobs: 8)
Done: 58% (7639/12970, 5331 left) (jobs: 8)
Done: 58% (7641/12970, 5329 left) (jobs: 8)
Done: 58% (7644/12970, 5326 left) (jobs: 8)
Done: 58% (7649/12970, 5321 left) (jobs: 8)
Done: 58% (7651/12970, 5319 left) (jobs: 8)
Done: 59% (7653/12970, 5317 left) (jobs: 8)
Done: 59% (7655/12970, 5315 left) (jobs: 8)
Done: 59% (7657/12970, 5313 left) (jobs: 8)
Done: 59% (7658/12970, 5312 left) (jobs: 8)
Done: 59% (7660/12970, 5310 left) (jobs: 8)
Done: 59% (7662/12970, 5308 left) (jobs: 8)
Done: 59% (7666/12970, 5304 left) (jobs: 8)
Done: 59% (7668/12970, 5302 left) (jobs: 8)
Done: 59% (7671/12970, 5299 left) (jobs: 8)
Done: 59% (7672/12970, 5298 left) (jobs: 8)
Done: 59% (7675/12970, 5295 left) (jobs: 8)
Done: 59% (7676/12970, 5294 left) (jobs: 8)
Done: 59% (7678/12970, 5292 left) (jobs: 8)
Done: 59% (7680/12970, 5290 left) (jobs: 8)
Done: 59% (7682/12970, 5288 left) (jobs: 7)
Done: 59% (7687/12970, 5283 left) (jobs: 8)
Done: 59% (7689/12970, 5281 left) (jobs: 8)
Done: 59% (7693/12970, 5277 left) (jobs: 8)
Done: 59% (7699/12970, 5271 left) (jobs: 8)
Done: 59% (7702/12970, 5268 left) (jobs: 8)
Done: 59% (7704/12970, 5266 left) (jobs: 8)
Done: 59% (7713/12970, 5257 left) (jobs: 8)
Done: 59% (7716/12970, 5254 left) (jobs: 8)
Done: 59% (7718/12970, 5252 left) (jobs: 8)
Done: 59% (7722/12970, 5248 left) (jobs: 8)
Done: 59% (7727/12970, 5243 left) (jobs: 8)
Done: 59% (7731/12970, 5239 left) (jobs: 8)
Done: 59% (7733/12970, 5237 left) (jobs: 8)
Done: 59% (7736/12970, 5234 left) (jobs: 8)
Done: 59% (7740/12970, 5230 left) (jobs: 8)
Done: 59% (7743/12970, 5227 left) (jobs: 8)
Done: 59% (7745/12970, 5225 left) (jobs: 7)
Done: 59% (7748/12970, 5222 left) (jobs: 7)
Done: 59% (7750/12970, 5220 left) (jobs: 6)
Done: 59% (7752/12970, 5218 left) (jobs: 5)
Done: 59% (7755/12970, 5215 left) (jobs: 6)
Done: 59% (7757/12970, 5213 left) (jobs: 5)
Done: 59% (7759/12970, 5211 left) (jobs: 4)
Done: 59% (7762/12970, 5208 left) (jobs: 6)
Done: 59% (7765/12970, 5205 left) (jobs: 6)
Done: 59% (7768/12970, 5202 left) (jobs: 8)
Done: 59% (7770/12970, 5200 left) (jobs: 8)
Done: 59% (7775/12970, 5195 left) (jobs: 8)
Done: 59% (7778/12970, 5192 left) (jobs: 8)
Done: 59% (7781/12970, 5189 left) (jobs: 8)
Done: 60% (7784/12970, 5186 left) (jobs: 8)
Done: 60% (7787/12970, 5183 left) (jobs: 8)
Done: 60% (7790/12970, 5180 left) (jobs: 8)
Done: 60% (7792/12970, 5178 left) (jobs: 8)
Done: 60% (7794/12970, 5176 left) (jobs: 8)
Done: 60% (7796/12970, 5174 left) (jobs: 8)
Done: 60% (7798/12970, 5172 left) (jobs: 8)
Done: 60% (7803/12970, 5167 left) (jobs: 8)
Done: 60% (7805/12970, 5165 left) (jobs: 8)
Done: 60% (7810/12970, 5160 left) (jobs: 8)
Done: 60% (7816/12970, 5154 left) (jobs: 8)
Done: 60% (7819/12970, 5151 left) (jobs: 8)
Done: 60% (7827/12970, 5143 left) (jobs: 8)
Done: 60% (7833/12970, 5137 left) (jobs: 8)
Done: 60% (7844/12970, 5126 left) (jobs: 8)
Done: 60% (7847/12970, 5123 left) (jobs: 8)
Done: 60% (7850/12970, 5120 left) (jobs: 8)
Done: 60% (7853/12970, 5117 left) (jobs: 8)
Done: 60% (7859/12970, 5111 left) (jobs: 8)
Done: 60% (7862/12970, 5108 left) (jobs: 8)
Done: 60% (7864/12970, 5106 left) (jobs: 8)
Done: 60% (7866/12970, 5104 left) (jobs: 8)
Done: 60% (7876/12970, 5094 left) (jobs: 8)
Done: 60% (7879/12970, 5091 left) (jobs: 8)
Done: 60% (7881/12970, 5089 left) (jobs: 8)
Done: 60% (7888/12970, 5082 left) (jobs: 8)
Done: 60% (7891/12970, 5079 left) (jobs: 8)
Done: 60% (7893/12970, 5077 left) (jobs: 8)
Done: 60% (7895/12970, 5075 left) (jobs: 8)
Done: 60% (7897/12970, 5073 left) (jobs: 8)
Done: 60% (7900/12970, 5070 left) (jobs: 8)
Done: 60% (7902/12970, 5068 left) (jobs: 8)
Done: 60% (7904/12970, 5066 left) (jobs: 8)
Done: 60% (7906/12970, 5064 left) (jobs: 8)
Done: 60% (7908/12970, 5062 left) (jobs: 8)
Done: 60% (7910/12970, 5060 left) (jobs: 8)
Done: 61% (7912/12970, 5058 left) (jobs: 8)
Done: 61% (7914/12970, 5056 left) (jobs: 8)
Done: 61% (7919/12970, 5051 left) (jobs: 8)
Done: 61% (7923/12970, 5047 left) (jobs: 8)
Done: 61% (7925/12970, 5045 left) (jobs: 8)
Done: 61% (7927/12970, 5043 left) (jobs: 8)
Done: 61% (7928/12970, 5042 left) (jobs: 8)
Done: 61% (7933/12970, 5037 left) (jobs: 8)
Done: 61% (7938/12970, 5032 left) (jobs: 8)
Done: 61% (7941/12970, 5029 left) (jobs: 8)
Done: 61% (7944/12970, 5026 left) (jobs: 8)
Done: 61% (7946/12970, 5024 left) (jobs: 8)
Done: 61% (7947/12970, 5023 left) (jobs: 8)
Done: 61% (7949/12970, 5021 left) (jobs: 8)
Done: 61% (7951/12970, 5019 left) (jobs: 8)
Done: 61% (7954/12970, 5016 left) (jobs: 8)
Done: 61% (7957/12970, 5013 left) (jobs: 8)
Done: 61% (7959/12970, 5011 left) (jobs: 8)
Done: 61% (7962/12970, 5008 left) (jobs: 8)
Done: 61% (7965/12970, 5005 left) (jobs: 8)
Done: 61% (7967/12970, 5003 left) (jobs: 8)
Done: 61% (7969/12970, 5001 left) (jobs: 8)
Done: 61% (7972/12970, 4998 left) (jobs: 8)
Done: 61% (7975/12970, 4995 left) (jobs: 8)
Done: 61% (7978/12970, 4992 left) (jobs: 8)
Done: 61% (7980/12970, 4990 left) (jobs: 8)
Done: 61% (7983/12970, 4987 left) (jobs: 8)
Done: 61% (7988/12970, 4982 left) (jobs: 8)
Done: 61% (7990/12970, 4980 left) (jobs: 8)
Done: 61% (7993/12970, 4977 left) (jobs: 8)
Done: 61% (7994/12970, 4976 left) (jobs: 8)
Done: 61% (7996/12970, 4974 left) (jobs: 8)
Done: 61% (7998/12970, 4972 left) (jobs: 8)
Done: 61% (8000/12970, 4970 left) (jobs: 8)
Done: 61% (8002/12970, 4968 left) (jobs: 8)
Done: 61% (8004/12970, 4966 left) (jobs: 8)
Done: 61% (8007/12970, 4963 left) (jobs: 8)
Done: 61% (8009/12970, 4961 left) (jobs: 8)
Done: 61% (8011/12970, 4959 left) (jobs: 8)
Done: 61% (8015/12970, 4955 left) (jobs: 8)
Done: 61% (8017/12970, 4953 left) (jobs: 8)
Done: 61% (8018/12970, 4952 left) (jobs: 8)
Done: 61% (8020/12970, 4950 left) (jobs: 8)
Done: 61% (8022/12970, 4948 left) (jobs: 8)
Done: 61% (8023/12970, 4947 left) (jobs: 8)
Done: 61% (8028/12970, 4942 left) (jobs: 8)
Done: 61% (8034/12970, 4936 left) (jobs: 8)
Done: 61% (8037/12970, 4933 left) (jobs: 8)
Done: 61% (8038/12970, 4932 left) (jobs: 8)
Done: 61% (8041/12970, 4929 left) (jobs: 8)
Done: 62% (8044/12970, 4926 left) (jobs: 8)
Done: 62% (8047/12970, 4923 left) (jobs: 8)
Done: 62% (8050/12970, 4920 left) (jobs: 8)
Done: 62% (8054/12970, 4916 left) (jobs: 8)
Done: 62% (8055/12970, 4915 left) (jobs: 8)
Done: 62% (8057/12970, 4913 left) (jobs: 8)
Done: 62% (8060/12970, 4910 left) (jobs: 8)
Done: 62% (8062/12970, 4908 left) (jobs: 8)
Done: 62% (8065/12970, 4905 left) (jobs: 8)
Done: 62% (8066/12970, 4904 left) (jobs: 8)
Done: 62% (8070/12970, 4900 left) (jobs: 8)
Done: 62% (8073/12970, 4897 left) (jobs: 8)
Done: 62% (8075/12970, 4895 left) (jobs: 8)
Done: 62% (8080/12970, 4890 left) (jobs: 8)
Done: 62% (8082/12970, 4888 left) (jobs: 8)
Done: 62% (8084/12970, 4886 left) (jobs: 8)
Done: 62% (8086/12970, 4884 left) (jobs: 8)
Done: 62% (8089/12970, 4881 left) (jobs: 8)
Done: 62% (8091/12970, 4879 left) (jobs: 8)
Done: 62% (8094/12970, 4876 left) (jobs: 8)
Done: 62% (8098/12970, 4872 left) (jobs: 8)
Done: 62% (8101/12970, 4869 left) (jobs: 8)
Done: 62% (8102/12970, 4868 left) (jobs: 8)
Done: 62% (8105/12970, 4865 left) (jobs: 8)
Done: 62% (8108/12970, 4862 left) (jobs: 8)
Done: 62% (8110/12970, 4860 left) (jobs: 8)
Done: 62% (8112/12970, 4858 left) (jobs: 8)
Done: 62% (8114/12970, 4856 left) (jobs: 8)
Done: 62% (8117/12970, 4853 left) (jobs: 8)
Done: 62% (8119/12970, 4851 left) (jobs: 8)
Done: 62% (8125/12970, 4845 left) (jobs: 8)
Done: 62% (8131/12970, 4839 left) (jobs: 8)
Done: 62% (8134/12970, 4836 left) (jobs: 8)
Done: 62% (8136/12970, 4834 left) (jobs: 8)
Done: 62% (8138/12970, 4832 left) (jobs: 8)
Done: 62% (8140/12970, 4830 left) (jobs: 8)
Done: 62% (8141/12970, 4829 left) (jobs: 8)
Done: 62% (8146/12970, 4824 left) (jobs: 8)
Done: 62% (8148/12970, 4822 left) (jobs: 8)
Done: 62% (8151/12970, 4819 left) (jobs: 8)
Done: 62% (8154/12970, 4816 left) (jobs: 8)
Done: 62% (8156/12970, 4814 left) (jobs: 8)
Done: 62% (8160/12970, 4810 left) (jobs: 8)
Done: 62% (8162/12970, 4808 left) (jobs: 8)
Done: 62% (8164/12970, 4806 left) (jobs: 8)
Done: 62% (8167/12970, 4803 left) (jobs: 8)
Done: 62% (8169/12970, 4801 left) (jobs: 8)
Done: 63% (8172/12970, 4798 left) (jobs: 8)
Done: 63% (8174/12970, 4796 left) (jobs: 8)
Done: 63% (8176/12970, 4794 left) (jobs: 8)
Done: 63% (8180/12970, 4790 left) (jobs: 8)
Done: 63% (8182/12970, 4788 left) (jobs: 8)
Done: 63% (8185/12970, 4785 left) (jobs: 8)
Done: 63% (8189/12970, 4781 left) (jobs: 8)
Done: 63% (8191/12970, 4779 left) (jobs: 8)
Done: 63% (8195/12970, 4775 left) (jobs: 8)
Done: 63% (8198/12970, 4772 left) (jobs: 8)
Done: 63% (8201/12970, 4769 left) (jobs: 8)
Done: 63% (8204/12970, 4766 left) (jobs: 8)
Done: 63% (8206/12970, 4764 left) (jobs: 8)
Done: 63% (8209/12970, 4761 left) (jobs: 8)
Done: 63% (8211/12970, 4759 left) (jobs: 8)
Done: 63% (8213/12970, 4757 left) (jobs: 8)
Done: 63% (8216/12970, 4754 left) (jobs: 8)
Done: 63% (8219/12970, 4751 left) (jobs: 8)
Done: 63% (8221/12970, 4749 left) (jobs: 8)
Done: 63% (8223/12970, 4747 left) (jobs: 8)
Done: 63% (8225/12970, 4745 left) (jobs: 8)
Done: 63% (8230/12970, 4740 left) (jobs: 8)
Done: 63% (8233/12970, 4737 left) (jobs: 8)
Done: 63% (8236/12970, 4734 left) (jobs: 8)
Done: 63% (8239/12970, 4731 left) (jobs: 8)
Done: 63% (8242/12970, 4728 left) (jobs: 8)
Done: 63% (8244/12970, 4726 left) (jobs: 8)
Done: 63% (8246/12970, 4724 left) (jobs: 8)
Done: 63% (8251/12970, 4719 left) (jobs: 8)
Done: 63% (8253/12970, 4717 left) (jobs: 8)
Done: 63% (8256/12970, 4714 left) (jobs: 8)
Done: 63% (8258/12970, 4712 left) (jobs: 8)
Done: 63% (8261/12970, 4709 left) (jobs: 8)
Done: 63% (8264/12970, 4706 left) (jobs: 8)
Done: 63% (8267/12970, 4703 left) (jobs: 8)
Done: 63% (8269/12970, 4701 left) (jobs: 8)
Done: 63% (8271/12970, 4699 left) (jobs: 8)
Done: 63% (8277/12970, 4693 left) (jobs: 8)
Done: 63% (8280/12970, 4690 left) (jobs: 8)
Done: 63% (8283/12970, 4687 left) (jobs: 8)
Done: 63% (8289/12970, 4681 left) (jobs: 8)
Done: 63% (8294/12970, 4676 left) (jobs: 8)
Done: 63% (8297/12970, 4673 left) (jobs: 8)
Done: 63% (8300/12970, 4670 left) (jobs: 8)
Done: 64% (8303/12970, 4667 left) (jobs: 8)
Done: 64% (8308/12970, 4662 left) (jobs: 8)
Done: 64% (8310/12970, 4660 left) (jobs: 8)
Done: 64% (8313/12970, 4657 left) (jobs: 8)
Done: 64% (8315/12970, 4655 left) (jobs: 8)
Done: 64% (8318/12970, 4652 left) (jobs: 8)
Done: 64% (8323/12970, 4647 left) (jobs: 8)
Done: 64% (8326/12970, 4644 left) (jobs: 8)
Done: 64% (8331/12970, 4639 left) (jobs: 8)
Done: 64% (8337/12970, 4633 left) (jobs: 8)
Done: 64% (8340/12970, 4630 left) (jobs: 8)
Done: 64% (8342/12970, 4628 left) (jobs: 8)
Done: 64% (8345/12970, 4625 left) (jobs: 8)
Done: 64% (8350/12970, 4620 left) (jobs: 8)
Done: 64% (8353/12970, 4617 left) (jobs: 8)
Done: 64% (8355/12970, 4615 left) (jobs: 8)
Done: 64% (8357/12970, 4613 left) (jobs: 8)
Done: 64% (8361/12970, 4609 left) (jobs: 8)
Done: 64% (8365/12970, 4605 left) (jobs: 8)
Done: 64% (8367/12970, 4603 left) (jobs: 8)
Done: 64% (8369/12970, 4601 left) (jobs: 8)
Done: 64% (8372/12970, 4598 left) (jobs: 8)
Done: 64% (8374/12970, 4596 left) (jobs: 7)
Done: 64% (8377/12970, 4593 left) (jobs: 8)
Done: 64% (8384/12970, 4586 left) (jobs: 8)
Done: 64% (8386/12970, 4584 left) (jobs: 8)
Done: 64% (8389/12970, 4581 left) (jobs: 8)
Done: 64% (8391/12970, 4579 left) (jobs: 8)
Done: 64% (8393/12970, 4577 left) (jobs: 8)
Done: 64% (8395/12970, 4575 left) (jobs: 8)
Done: 64% (8397/12970, 4573 left) (jobs: 8)
Done: 64% (8399/12970, 4571 left) (jobs: 8)
Done: 64% (8401/12970, 4569 left) (jobs: 8)
Done: 64% (8403/12970, 4567 left) (jobs: 8)
Done: 64% (8406/12970, 4564 left) (jobs: 8)
Done: 64% (8408/12970, 4562 left) (jobs: 8)
Done: 64% (8412/12970, 4558 left) (jobs: 8)
Done: 64% (8415/12970, 4555 left) (jobs: 8)
Done: 64% (8418/12970, 4552 left) (jobs: 8)
Done: 64% (8421/12970, 4549 left) (jobs: 8)
Done: 64% (8426/12970, 4544 left) (jobs: 8)
Done: 64% (8429/12970, 4541 left) (jobs: 8)
Done: 65% (8432/12970, 4538 left) (jobs: 8)
Done: 65% (8438/12970, 4532 left) (jobs: 8)
Done: 65% (8444/12970, 4526 left) (jobs: 8)
Done: 65% (8447/12970, 4523 left) (jobs: 8)
Done: 65% (8449/12970, 4521 left) (jobs: 8)
Done: 65% (8455/12970, 4515 left) (jobs: 8)
Done: 65% (8461/12970, 4509 left) (jobs: 8)
Done: 65% (8464/12970, 4506 left) (jobs: 8)
Done: 65% (8467/12970, 4503 left) (jobs: 8)
Done: 65% (8469/12970, 4501 left) (jobs: 8)
Done: 65% (8472/12970, 4498 left) (jobs: 8)
Done: 65% (8478/12970, 4492 left) (jobs: 8)
Done: 65% (8480/12970, 4490 left) (jobs: 8)
Done: 65% (8482/12970, 4488 left) (jobs: 8)
Done: 65% (8484/12970, 4486 left) (jobs: 8)
Done: 65% (8486/12970, 4484 left) (jobs: 8)
Done: 65% (8488/12970, 4482 left) (jobs: 8)
Done: 65% (8490/12970, 4480 left) (jobs: 8)
Done: 65% (8492/12970, 4478 left) (jobs: 8)
Done: 65% (8494/12970, 4476 left) (jobs: 8)
Done: 65% (8496/12970, 4474 left) (jobs: 8)
Done: 65% (8499/12970, 4471 left) (jobs: 8)
Done: 65% (8501/12970, 4469 left) (jobs: 8)
Done: 65% (8506/12970, 4464 left) (jobs: 8)
Done: 65% (8509/12970, 4461 left) (jobs: 8)
Done: 65% (8511/12970, 4459 left) (jobs: 8)
Done: 65% (8515/12970, 4455 left) (jobs: 8)
Done: 65% (8517/12970, 4453 left) (jobs: 8)
Done: 65% (8522/12970, 4448 left) (jobs: 8)
Done: 65% (8525/12970, 4445 left) (jobs: 8)
Done: 65% (8531/12970, 4439 left) (jobs: 8)
Done: 65% (8537/12970, 4433 left) (jobs: 8)
Done: 65% (8545/12970, 4425 left) (jobs: 8)
Done: 65% (8548/12970, 4422 left) (jobs: 8)
Done: 65% (8553/12970, 4417 left) (jobs: 8)
Done: 65% (8559/12970, 4411 left) (jobs: 8)
Done: 66% (8563/12970, 4407 left) (jobs: 8)
Done: 66% (8566/12970, 4404 left) (jobs: 8)
Done: 66% (8572/12970, 4398 left) (jobs: 8)
Done: 66% (8578/12970, 4392 left) (jobs: 8)
Done: 66% (8580/12970, 4390 left) (jobs: 8)
Done: 66% (8582/12970, 4388 left) (jobs: 8)
Done: 66% (8584/12970, 4386 left) (jobs: 8)
Done: 66% (8586/12970, 4384 left) (jobs: 8)
Done: 66% (8589/12970, 4381 left) (jobs: 8)
Done: 66% (8591/12970, 4379 left) (jobs: 8)
Done: 66% (8595/12970, 4375 left) (jobs: 8)
Done: 66% (8597/12970, 4373 left) (jobs: 8)
Done: 66% (8600/12970, 4370 left) (jobs: 8)
Done: 66% (8602/12970, 4368 left) (jobs: 8)
Done: 66% (8604/12970, 4366 left) (jobs: 8)
Done: 66% (8608/12970, 4362 left) (jobs: 8)
Done: 66% (8610/12970, 4360 left) (jobs: 8)
Done: 66% (8612/12970, 4358 left) (jobs: 8)
Done: 66% (8614/12970, 4356 left) (jobs: 8)
Done: 66% (8617/12970, 4353 left) (jobs: 8)
Done: 66% (8619/12970, 4351 left) (jobs: 8)
Done: 66% (8622/12970, 4348 left) (jobs: 8)
Done: 66% (8625/12970, 4345 left) (jobs: 8)
Done: 66% (8627/12970, 4343 left) (jobs: 8)
Done: 66% (8630/12970, 4340 left) (jobs: 8)
Done: 66% (8633/12970, 4337 left) (jobs: 8)
Done: 66% (8636/12970, 4334 left) (jobs: 8)
Done: 66% (8639/12970, 4331 left) (jobs: 8)
Done: 66% (8644/12970, 4326 left) (jobs: 8)
Done: 66% (8646/12970, 4324 left) (jobs: 8)
Done: 66% (8650/12970, 4320 left) (jobs: 8)
Done: 66% (8652/12970, 4318 left) (jobs: 8)
Done: 66% (8654/12970, 4316 left) (jobs: 8)
Done: 66% (8656/12970, 4314 left) (jobs: 8)
Done: 66% (8658/12970, 4312 left) (jobs: 8)
Done: 66% (8660/12970, 4310 left) (jobs: 8)
Done: 66% (8663/12970, 4307 left) (jobs: 8)
Done: 66% (8665/12970, 4305 left) (jobs: 8)
Done: 66% (8667/12970, 4303 left) (jobs: 8)
Done: 66% (8669/12970, 4301 left) (jobs: 8)
Done: 66% (8671/12970, 4299 left) (jobs: 8)
Done: 66% (8673/12970, 4297 left) (jobs: 8)
Done: 66% (8675/12970, 4295 left) (jobs: 8)
Done: 66% (8677/12970, 4293 left) (jobs: 8)
Done: 66% (8679/12970, 4291 left) (jobs: 8)
Done: 66% (8681/12970, 4289 left) (jobs: 8)
Done: 66% (8683/12970, 4287 left) (jobs: 8)
Done: 66% (8689/12970, 4281 left) (jobs: 8)
Done: 67% (8691/12970, 4279 left) (jobs: 8)
Done: 67% (8694/12970, 4276 left) (jobs: 8)
Done: 67% (8696/12970, 4274 left) (jobs: 8)
Done: 67% (8698/12970, 4272 left) (jobs: 8)
Done: 67% (8700/12970, 4270 left) (jobs: 8)
Done: 67% (8702/12970, 4268 left) (jobs: 8)
Done: 67% (8707/12970, 4263 left) (jobs: 8)
Done: 67% (8710/12970, 4260 left) (jobs: 8)
Done: 67% (8713/12970, 4257 left) (jobs: 8)
Done: 67% (8715/12970, 4255 left) (jobs: 8)
Done: 67% (8718/12970, 4252 left) (jobs: 8)
Done: 67% (8719/12970, 4251 left) (jobs: 8)
Done: 67% (8722/12970, 4248 left) (jobs: 8)
Done: 67% (8724/12970, 4246 left) (jobs: 8)
Done: 67% (8726/12970, 4244 left) (jobs: 8)
Done: 67% (8730/12970, 4240 left) (jobs: 8)
Done: 67% (8732/12970, 4238 left) (jobs: 8)
Done: 67% (8737/12970, 4233 left) (jobs: 8)
Done: 67% (8739/12970, 4231 left) (jobs: 8)
Done: 67% (8743/12970, 4227 left) (jobs: 8)
Done: 67% (8745/12970, 4225 left) (jobs: 8)
Done: 67% (8748/12970, 4222 left) (jobs: 8)
Done: 67% (8751/12970, 4219 left) (jobs: 8)
Done: 67% (8757/12970, 4213 left) (jobs: 8)
Done: 67% (8765/12970, 4205 left) (jobs: 8)
Done: 67% (8768/12970, 4202 left) (jobs: 8)
Done: 67% (8774/12970, 4196 left) (jobs: 8)
Done: 67% (8778/12970, 4192 left) (jobs: 8)
Done: 67% (8781/12970, 4189 left) (jobs: 8)
Done: 67% (8784/12970, 4186 left) (jobs: 8)
Done: 67% (8787/12970, 4183 left) (jobs: 8)
Done: 67% (8790/12970, 4180 left) (jobs: 8)
Done: 67% (8793/12970, 4177 left) (jobs: 8)
Done: 67% (8798/12970, 4172 left) (jobs: 8)
Done: 67% (8800/12970, 4170 left) (jobs: 8)
Done: 67% (8802/12970, 4168 left) (jobs: 8)
Done: 67% (8805/12970, 4165 left) (jobs: 8)
Done: 67% (8808/12970, 4162 left) (jobs: 8)
Done: 67% (8810/12970, 4160 left) (jobs: 8)
Done: 67% (8812/12970, 4158 left) (jobs: 8)
Done: 67% (8815/12970, 4155 left) (jobs: 8)
Done: 67% (8817/12970, 4153 left) (jobs: 8)
Done: 68% (8821/12970, 4149 left) (jobs: 8)
Done: 68% (8824/12970, 4146 left) (jobs: 8)
Done: 68% (8826/12970, 4144 left) (jobs: 8)
Done: 68% (8829/12970, 4141 left) (jobs: 8)
Done: 68% (8834/12970, 4136 left) (jobs: 8)
Done: 68% (8840/12970, 4130 left) (jobs: 8)
Done: 68% (8846/12970, 4124 left) (jobs: 8)
Done: 68% (8849/12970, 4121 left) (jobs: 8)
Done: 68% (8852/12970, 4118 left) (jobs: 8)
Done: 68% (8855/12970, 4115 left) (jobs: 8)
Done: 68% (8858/12970, 4112 left) (jobs: 8)
Done: 68% (8864/12970, 4106 left) (jobs: 8)
Done: 68% (8867/12970, 4103 left) (jobs: 8)
Done: 68% (8872/12970, 4098 left) (jobs: 8)
Done: 68% (8878/12970, 4092 left) (jobs: 8)
Done: 68% (8883/12970, 4087 left) (jobs: 8)
Done: 68% (8885/12970, 4085 left) (jobs: 8)
Done: 68% (8891/12970, 4079 left) (jobs: 8)
Done: 68% (8897/12970, 4073 left) (jobs: 8)
Done: 68% (8900/12970, 4070 left) (jobs: 8)
Done: 68% (8903/12970, 4067 left) (jobs: 8)
Done: 68% (8906/12970, 4064 left) (jobs: 8)
Done: 68% (8908/12970, 4062 left) (jobs: 8)
Done: 68% (8917/12970, 4053 left) (jobs: 8)
Done: 68% (8923/12970, 4047 left) (jobs: 8)
Done: 68% (8928/12970, 4042 left) (jobs: 8)
Done: 68% (8930/12970, 4040 left) (jobs: 8)
Done: 68% (8933/12970, 4037 left) (jobs: 8)
Done: 68% (8938/12970, 4032 left) (jobs: 8)
Done: 68% (8940/12970, 4030 left) (jobs: 8)
Done: 68% (8945/12970, 4025 left) (jobs: 8)
Done: 68% (8947/12970, 4023 left) (jobs: 8)
Done: 69% (8952/12970, 4018 left) (jobs: 8)
Done: 69% (8954/12970, 4016 left) (jobs: 8)
Done: 69% (8956/12970, 4014 left) (jobs: 8)
Done: 69% (8959/12970, 4011 left) (jobs: 8)
Done: 69% (8961/12970, 4009 left) (jobs: 8)
Done: 69% (8963/12970, 4007 left) (jobs: 8)
Done: 69% (8965/12970, 4005 left) (jobs: 8)
Done: 69% (8967/12970, 4003 left) (jobs: 8)
Done: 69% (8969/12970, 4001 left) (jobs: 8)
Done: 69% (8972/12970, 3998 left) (jobs: 8)
Done: 69% (8975/12970, 3995 left) (jobs: 8)
Done: 69% (8977/12970, 3993 left) (jobs: 8)
Done: 69% (8981/12970, 3989 left) (jobs: 8)
Done: 69% (8984/12970, 3986 left) (jobs: 8)
Done: 69% (8988/12970, 3982 left) (jobs: 8)
Done: 69% (8994/12970, 3976 left) (jobs: 8)
Done: 69% (9000/12970, 3970 left) (jobs: 8)
Done: 69% (9002/12970, 3968 left) (jobs: 8)
Done: 69% (9004/12970, 3966 left) (jobs: 8)
Done: 69% (9009/12970, 3961 left) (jobs: 8)
Done: 69% (9011/12970, 3959 left) (jobs: 8)
Done: 69% (9015/12970, 3955 left) (jobs: 8)
Done: 69% (9019/12970, 3951 left) (jobs: 8)
Done: 69% (9021/12970, 3949 left) (jobs: 8)
Done: 69% (9025/12970, 3945 left) (jobs: 8)
Done: 69% (9028/12970, 3942 left) (jobs: 8)
Done: 69% (9030/12970, 3940 left) (jobs: 8)
Done: 69% (9032/12970, 3938 left) (jobs: 8)
Done: 69% (9034/12970, 3936 left) (jobs: 8)
Done: 69% (9036/12970, 3934 left) (jobs: 8)
Done: 69% (9038/12970, 3932 left) (jobs: 8)
Done: 69% (9040/12970, 3930 left) (jobs: 8)
Done: 69% (9044/12970, 3926 left) (jobs: 8)
Done: 69% (9049/12970, 3921 left) (jobs: 8)
Done: 69% (9053/12970, 3917 left) (jobs: 8)
Done: 69% (9056/12970, 3914 left) (jobs: 8)
Done: 69% (9066/12970, 3904 left) (jobs: 8)
Done: 69% (9068/12970, 3902 left) (jobs: 8)
Done: 69% (9071/12970, 3899 left) (jobs: 8)
Done: 69% (9074/12970, 3896 left) (jobs: 8)
Done: 69% (9076/12970, 3894 left) (jobs: 8)
Done: 70% (9079/12970, 3891 left) (jobs: 8)
Done: 70% (9083/12970, 3887 left) (jobs: 8)
Done: 70% (9085/12970, 3885 left) (jobs: 8)
Done: 70% (9088/12970, 3882 left) (jobs: 8)
Done: 70% (9091/12970, 3879 left) (jobs: 8)
Done: 70% (9093/12970, 3877 left) (jobs: 8)
Done: 70% (9095/12970, 3875 left) (jobs: 8)
Done: 70% (9097/12970, 3873 left) (jobs: 8)
Done: 70% (9099/12970, 3871 left) (jobs: 8)
Done: 70% (9101/12970, 3869 left) (jobs: 8)
Done: 70% (9103/12970, 3867 left) (jobs: 8)
Done: 70% (9106/12970, 3864 left) (jobs: 8)
Done: 70% (9113/12970, 3857 left) (jobs: 8)
Done: 70% (9116/12970, 3854 left) (jobs: 8)
Done: 70% (9125/12970, 3845 left) (jobs: 8)
Done: 70% (9128/12970, 3842 left) (jobs: 8)
Done: 70% (9134/12970, 3836 left) (jobs: 8)
Done: 70% (9140/12970, 3830 left) (jobs: 8)
Done: 70% (9146/12970, 3824 left) (jobs: 8)
Done: 70% (9149/12970, 3821 left) (jobs: 8)
Done: 70% (9152/12970, 3818 left) (jobs: 8)
Done: 70% (9155/12970, 3815 left) (jobs: 8)
Done: 70% (9158/12970, 3812 left) (jobs: 8)
Done: 70% (9164/12970, 3806 left) (jobs: 8)
Done: 70% (9166/12970, 3804 left) (jobs: 8)
Done: 70% (9169/12970, 3801 left) (jobs: 8)
Done: 70% (9175/12970, 3795 left) (jobs: 8)
Done: 70% (9178/12970, 3792 left) (jobs: 8)
Done: 70% (9184/12970, 3786 left) (jobs: 8)
Done: 70% (9187/12970, 3783 left) (jobs: 8)
Done: 70% (9193/12970, 3777 left) (jobs: 8)
Done: 70% (9201/12970, 3769 left) (jobs: 8)
Done: 70% (9207/12970, 3763 left) (jobs: 8)
Done: 71% (9213/12970, 3757 left) (jobs: 8)
Done: 71% (9219/12970, 3751 left) (jobs: 8)
Done: 71% (9225/12970, 3745 left) (jobs: 8)
Done: 71% (9231/12970, 3739 left) (jobs: 8)
Done: 71% (9237/12970, 3733 left) (jobs: 8)
Done: 71% (9240/12970, 3730 left) (jobs: 8)
Done: 71% (9243/12970, 3727 left) (jobs: 8)
Done: 71% (9245/12970, 3725 left) (jobs: 8)
Done: 71% (9248/12970, 3722 left) (jobs: 8)
Done: 71% (9250/12970, 3720 left) (jobs: 8)
Done: 71% (9253/12970, 3717 left) (jobs: 8)
Done: 71% (9257/12970, 3713 left) (jobs: 8)
Done: 71% (9263/12970, 3707 left) (jobs: 8)
Done: 71% (9266/12970, 3704 left) (jobs: 8)
Done: 71% (9269/12970, 3701 left) (jobs: 8)
Done: 71% (9275/12970, 3695 left) (jobs: 8)
Done: 71% (9277/12970, 3693 left) (jobs: 8)
Done: 71% (9282/12970, 3688 left) (jobs: 8)
Done: 71% (9285/12970, 3685 left) (jobs: 8)
Done: 71% (9288/12970, 3682 left) (jobs: 8)
Done: 71% (9291/12970, 3679 left) (jobs: 8)
Done: 71% (9293/12970, 3677 left) (jobs: 8)
Done: 71% (9295/12970, 3675 left) (jobs: 8)
Done: 71% (9297/12970, 3673 left) (jobs: 8)
Done: 71% (9299/12970, 3671 left) (jobs: 8)
Done: 71% (9301/12970, 3669 left) (jobs: 8)
Done: 71% (9303/12970, 3667 left) (jobs: 8)
Done: 71% (9305/12970, 3665 left) (jobs: 8)
Done: 71% (9307/12970, 3663 left) (jobs: 8)
Done: 71% (9309/12970, 3661 left) (jobs: 8)
Done: 71% (9317/12970, 3653 left) (jobs: 8)
Done: 71% (9319/12970, 3651 left) (jobs: 8)
Done: 71% (9322/12970, 3648 left) (jobs: 8)
Done: 71% (9325/12970, 3645 left) (jobs: 8)
Done: 71% (9327/12970, 3643 left) (jobs: 8)
Done: 71% (9329/12970, 3641 left) (jobs: 8)
Done: 71% (9331/12970, 3639 left) (jobs: 8)
Done: 71% (9335/12970, 3635 left) (jobs: 8)
Done: 71% (9337/12970, 3633 left) (jobs: 8)
Done: 72% (9339/12970, 3631 left) (jobs: 8)
Done: 72% (9341/12970, 3629 left) (jobs: 8)
Done: 72% (9344/12970, 3626 left) (jobs: 8)
Done: 72% (9346/12970, 3624 left) (jobs: 8)
Done: 72% (9348/12970, 3622 left) (jobs: 8)
Done: 72% (9353/12970, 3617 left) (jobs: 8)
Done: 72% (9355/12970, 3615 left) (jobs: 8)
Done: 72% (9357/12970, 3613 left) (jobs: 8)
Done: 72% (9360/12970, 3610 left) (jobs: 8)
Done: 72% (9368/12970, 3602 left) (jobs: 8)
Done: 72% (9371/12970, 3599 left) (jobs: 8)
Done: 72% (9375/12970, 3595 left) (jobs: 8)
Done: 72% (9379/12970, 3591 left) (jobs: 8)
Done: 72% (9381/12970, 3589 left) (jobs: 8)
Done: 72% (9383/12970, 3587 left) (jobs: 8)
Done: 72% (9385/12970, 3585 left) (jobs: 8)
Done: 72% (9388/12970, 3582 left) (jobs: 8)
Done: 72% (9390/12970, 3580 left) (jobs: 8)
Done: 72% (9393/12970, 3577 left) (jobs: 8)
Done: 72% (9395/12970, 3575 left) (jobs: 8)
Done: 72% (9397/12970, 3573 left) (jobs: 8)
Done: 72% (9399/12970, 3571 left) (jobs: 8)
Done: 72% (9402/12970, 3568 left) (jobs: 8)
Done: 72% (9407/12970, 3563 left) (jobs: 8)
Done: 72% (9413/12970, 3557 left) (jobs: 8)
Done: 72% (9416/12970, 3554 left) (jobs: 8)
Done: 72% (9419/12970, 3551 left) (jobs: 8)
Done: 72% (9428/12970, 3542 left) (jobs: 8)
Done: 72% (9432/12970, 3538 left) (jobs: 8)
Done: 72% (9439/12970, 3531 left) (jobs: 8)
Done: 72% (9444/12970, 3526 left) (jobs: 8)
Done: 72% (9450/12970, 3520 left) (jobs: 8)
Done: 72% (9452/12970, 3518 left) (jobs: 8)
Done: 72% (9456/12970, 3514 left) (jobs: 8)
Done: 72% (9458/12970, 3512 left) (jobs: 8)
Done: 72% (9461/12970, 3509 left) (jobs: 8)
Done: 72% (9463/12970, 3507 left) (jobs: 8)
Done: 72% (9465/12970, 3505 left) (jobs: 8)
Done: 72% (9468/12970, 3502 left) (jobs: 8)
Done: 73% (9470/12970, 3500 left) (jobs: 8)
Done: 73% (9472/12970, 3498 left) (jobs: 8)
Done: 73% (9474/12970, 3496 left) (jobs: 8)
Done: 73% (9476/12970, 3494 left) (jobs: 8)
Done: 73% (9478/12970, 3492 left) (jobs: 8)
Done: 73% (9480/12970, 3490 left) (jobs: 8)
Done: 73% (9484/12970, 3486 left) (jobs: 8)
Done: 73% (9488/12970, 3482 left) (jobs: 8)
Done: 73% (9492/12970, 3478 left) (jobs: 8)
Done: 73% (9494/12970, 3476 left) (jobs: 8)
Done: 73% (9496/12970, 3474 left) (jobs: 8)
Done: 73% (9498/12970, 3472 left) (jobs: 8)
Done: 73% (9501/12970, 3469 left) (jobs: 8)
Done: 73% (9503/12970, 3467 left) (jobs: 8)
Done: 73% (9509/12970, 3461 left) (jobs: 8)
Done: 73% (9513/12970, 3457 left) (jobs: 8)
Done: 73% (9515/12970, 3455 left) (jobs: 8)
Done: 73% (9517/12970, 3453 left) (jobs: 8)
Done: 73% (9519/12970, 3451 left) (jobs: 8)
Done: 73% (9521/12970, 3449 left) (jobs: 8)
Done: 73% (9522/12970, 3448 left) (jobs: 8)
Done: 73% (9523/12970, 3447 left) (jobs: 8)
Done: 73% (9526/12970, 3444 left) (jobs: 8)
Done: 73% (9532/12970, 3438 left) (jobs: 8)
Done: 73% (9535/12970, 3435 left) (jobs: 8)
Done: 73% (9540/12970, 3430 left) (jobs: 8)
Done: 73% (9545/12970, 3425 left) (jobs: 8)
Done: 73% (9547/12970, 3423 left) (jobs: 8)
Done: 73% (9551/12970, 3419 left) (jobs: 8)
Done: 73% (9554/12970, 3416 left) (jobs: 8)
Done: 73% (9556/12970, 3414 left) (jobs: 8)
Done: 73% (9558/12970, 3412 left) (jobs: 8)
Done: 73% (9560/12970, 3410 left) (jobs: 8)
Done: 73% (9567/12970, 3403 left) (jobs: 8)
Done: 73% (9569/12970, 3401 left) (jobs: 8)
Done: 73% (9571/12970, 3399 left) (jobs: 8)
Done: 73% (9574/12970, 3396 left) (jobs: 8)
Done: 73% (9578/12970, 3392 left) (jobs: 8)
Done: 73% (9583/12970, 3387 left) (jobs: 8)
Done: 73% (9585/12970, 3385 left) (jobs: 8)
Done: 73% (9587/12970, 3383 left) (jobs: 8)
Done: 73% (9593/12970, 3377 left) (jobs: 8)
Done: 73% (9595/12970, 3375 left) (jobs: 8)
Done: 74% (9598/12970, 3372 left) (jobs: 8)
Done: 74% (9604/12970, 3366 left) (jobs: 8)
Done: 74% (9609/12970, 3361 left) (jobs: 8)
Done: 74% (9614/12970, 3356 left) (jobs: 8)
Done: 74% (9618/12970, 3352 left) (jobs: 8)
Done: 74% (9620/12970, 3350 left) (jobs: 8)
Done: 74% (9625/12970, 3345 left) (jobs: 8)
Done: 74% (9628/12970, 3342 left) (jobs: 8)
Done: 74% (9630/12970, 3340 left) (jobs: 8)
Done: 74% (9631/12970, 3339 left) (jobs: 8)
Done: 74% (9633/12970, 3337 left) (jobs: 8)
Done: 74% (9635/12970, 3335 left) (jobs: 8)
Done: 74% (9637/12970, 3333 left) (jobs: 8)
Done: 74% (9638/12970, 3332 left) (jobs: 8)
Done: 74% (9642/12970, 3328 left) (jobs: 8)
Done: 74% (9645/12970, 3325 left) (jobs: 8)
Done: 74% (9647/12970, 3323 left) (jobs: 8)
Done: 74% (9649/12970, 3321 left) (jobs: 8)
Done: 74% (9651/12970, 3319 left) (jobs: 8)
Done: 74% (9653/12970, 3317 left) (jobs: 8)
Done: 74% (9655/12970, 3315 left) (jobs: 8)
Done: 74% (9658/12970, 3312 left) (jobs: 8)
Done: 74% (9660/12970, 3310 left) (jobs: 8)
Done: 74% (9662/12970, 3308 left) (jobs: 8)
Done: 74% (9665/12970, 3305 left) (jobs: 8)
Done: 74% (9667/12970, 3303 left) (jobs: 8)
Done: 74% (9669/12970, 3301 left) (jobs: 8)
Done: 74% (9671/12970, 3299 left) (jobs: 8)
Done: 74% (9673/12970, 3297 left) (jobs: 8)
Done: 74% (9675/12970, 3295 left) (jobs: 8)
Done: 74% (9677/12970, 3293 left) (jobs: 8)
Done: 74% (9678/12970, 3292 left) (jobs: 8)
Done: 74% (9680/12970, 3290 left) (jobs: 8)
Done: 74% (9684/12970, 3286 left) (jobs: 8)
Done: 74% (9686/12970, 3284 left) (jobs: 8)
Done: 74% (9690/12970, 3280 left) (jobs: 8)
Done: 74% (9692/12970, 3278 left) (jobs: 8)
Done: 74% (9694/12970, 3276 left) (jobs: 8)
Done: 74% (9696/12970, 3274 left) (jobs: 8)
Done: 74% (9698/12970, 3272 left) (jobs: 8)
Done: 74% (9700/12970, 3270 left) (jobs: 8)
Done: 74% (9702/12970, 3268 left) (jobs: 7)
Done: 74% (9706/12970, 3264 left) (jobs: 8)
Done: 74% (9708/12970, 3262 left) (jobs: 7)
Done: 74% (9710/12970, 3260 left) (jobs: 6)
Done: 74% (9714/12970, 3256 left) (jobs: 8)
Done: 74% (9716/12970, 3254 left) (jobs: 8)
Done: 74% (9719/12970, 3251 left) (jobs: 8)
Done: 74% (9721/12970, 3249 left) (jobs: 8)
Done: 74% (9723/12970, 3247 left) (jobs: 8)
Done: 74% (9725/12970, 3245 left) (jobs: 8)
Done: 74% (9727/12970, 3243 left) (jobs: 8)
Done: 75% (9730/12970, 3240 left) (jobs: 8)
Done: 75% (9733/12970, 3237 left) (jobs: 8)
Done: 75% (9735/12970, 3235 left) (jobs: 8)
Done: 75% (9737/12970, 3233 left) (jobs: 8)
Done: 75% (9739/12970, 3231 left) (jobs: 7)
Done: 75% (9741/12970, 3229 left) (jobs: 7)
Done: 75% (9743/12970, 3227 left) (jobs: 6)
Done: 75% (9744/12970, 3226 left) (jobs: 6)
Done: 75% (9746/12970, 3224 left) (jobs: 6)
Done: 75% (9748/12970, 3222 left) (jobs: 6)
Done: 75% (9750/12970, 3220 left) (jobs: 5)
Done: 75% (9754/12970, 3216 left) (jobs: 4)
Done: 75% (9756/12970, 3214 left) (jobs: 3)
Done: 75% (9760/12970, 3210 left) (jobs: 3)
Done: 75% (9762/12970, 3208 left) (jobs: 2)
Done: 75% (9764/12970, 3206 left) (jobs: 2)
Done: 75% (9766/12970, 3204 left) (jobs: 2)
Done: 75% (9770/12970, 3200 left) (jobs: 1)
Done: 75% (9772/12970, 3198 left) (jobs: 1)
Done: 75% (9774/12970, 3196 left) (jobs: 2)
Done: 75% (9776/12970, 3194 left) (jobs: 1)
Done: 75% (9778/12970, 3192 left) (jobs: 8)
Done: 75% (9780/12970, 3190 left) (jobs: 8)
Done: 75% (9785/12970, 3185 left) (jobs: 7)
Done: 75% (9787/12970, 3183 left) (jobs: 6)
Done: 75% (9793/12970, 3177 left) (jobs: 5)
Done: 75% (9795/12970, 3175 left) (jobs: 4)
Done: 75% (9797/12970, 3173 left) (jobs: 3)
Done: 75% (9799/12970, 3171 left) (jobs: 2)
Done: 75% (9801/12970, 3169 left) (jobs: 1)
Done: 75% (9803/12970, 3167 left) (jobs: 3)
Done: 75% (9805/12970, 3165 left) (jobs: 2)
Done: 75% (9807/12970, 3163 left) (jobs: 4)
Done: 75% (9809/12970, 3161 left) (jobs: 3)
Done: 75% (9811/12970, 3159 left) (jobs: 2)
Done: 75% (9813/12970, 3157 left) (jobs: 1)
Done: 75% (9815/12970, 3155 left) (jobs: 3)
Done: 75% (9819/12970, 3151 left) (jobs: 7)
Done: 75% (9821/12970, 3149 left) (jobs: 7)
Done: 75% (9823/12970, 3147 left) (jobs: 6)
Done: 75% (9825/12970, 3145 left) (jobs: 5)
Done: 75% (9827/12970, 3143 left) (jobs: 4)
Done: 75% (9829/12970, 3141 left) (jobs: 3)
Done: 75% (9831/12970, 3139 left) (jobs: 2)
Done: 75% (9833/12970, 3137 left) (jobs: 2)
Done: 75% (9835/12970, 3135 left) (jobs: 2)
Done: 75% (9837/12970, 3133 left) (jobs: 2)
Done: 75% (9839/12970, 3131 left) (jobs: 1)
Done: 75% (9841/12970, 3129 left) (jobs: 1)
Done: 75% (9843/12970, 3127 left) (jobs: 1)
Done: 75% (9845/12970, 3125 left) (jobs: 2)
Done: 75% (9847/12970, 3123 left) (jobs: 1)
Done: 75% (9849/12970, 3121 left) (jobs: 1)
Done: 75% (9851/12970, 3119 left) (jobs: 2)
Done: 75% (9853/12970, 3117 left) (jobs: 1)
Done: 75% (9855/12970, 3115 left) (jobs: 1)
Done: 75% (9857/12970, 3113 left) (jobs: 8)
Done: 76% (9859/12970, 3111 left) (jobs: 7)
Done: 76% (9861/12970, 3109 left) (jobs: 6)
Done: 76% (9865/12970, 3105 left) (jobs: 4)
Done: 76% (9868/12970, 3102 left) (jobs: 4)
Done: 76% (9870/12970, 3100 left) (jobs: 4)
Done: 76% (9872/12970, 3098 left) (jobs: 7)
Done: 76% (9874/12970, 3096 left) (jobs: 7)
Done: 76% (9876/12970, 3094 left) (jobs: 6)
Done: 76% (9878/12970, 3092 left) (jobs: 6)
Done: 76% (9880/12970, 3090 left) (jobs: 5)
Done: 76% (9882/12970, 3088 left) (jobs: 5)
Done: 76% (9884/12970, 3086 left) (jobs: 4)
Done: 76% (9886/12970, 3084 left) (jobs: 3)
Done: 76% (9888/12970, 3082 left) (jobs: 2)
Done: 76% (9890/12970, 3080 left) (jobs: 2)
Done: 76% (9893/12970, 3077 left) (jobs: 2)
Done: 76% (9895/12970, 3075 left) (jobs: 1)
Done: 76% (9897/12970, 3073 left) (jobs: 2)
Done: 76% (9899/12970, 3071 left) (jobs: 1)
Done: 76% (9901/12970, 3069 left) (jobs: 1)
Done: 76% (9903/12970, 3067 left) (jobs: 1)
Done: 76% (9905/12970, 3065 left) (jobs: 1)
Done: 76% (9907/12970, 3063 left) (jobs: 1)
Done: 76% (9909/12970, 3061 left) (jobs: 1)
Done: 76% (9911/12970, 3059 left) (jobs: 1)
Done: 76% (9913/12970, 3057 left) (jobs: 2)
Done: 76% (9915/12970, 3055 left) (jobs: 1)
Done: 76% (9917/12970, 3053 left) (jobs: 4)
Done: 76% (9919/12970, 3051 left) (jobs: 3)
Done: 76% (9922/12970, 3048 left) (jobs: 3)
Done: 76% (9924/12970, 3046 left) (jobs: 2)
Done: 76% (9926/12970, 3044 left) (jobs: 2)
Done: 76% (9928/12970, 3042 left) (jobs: 1)
Done: 76% (9930/12970, 3040 left) (jobs: 1)
Done: 76% (9932/12970, 3038 left) (jobs: 2)
Done: 76% (9934/12970, 3036 left) (jobs: 1)
Done: 76% (9936/12970, 3034 left) (jobs: 3)
Done: 76% (9939/12970, 3031 left) (jobs: 3)
Done: 76% (9941/12970, 3029 left) (jobs: 2)
Done: 76% (9943/12970, 3027 left) (jobs: 2)
Done: 76% (9945/12970, 3025 left) (jobs: 1)
Done: 76% (9947/12970, 3023 left) (jobs: 1)
Done: 76% (9949/12970, 3021 left) (jobs: 1)
Done: 76% (9951/12970, 3019 left) (jobs: 1)
Done: 76% (9953/12970, 3017 left) (jobs: 8)
Done: 76% (9956/12970, 3014 left) (jobs: 8)
Done: 76% (9958/12970, 3012 left) (jobs: 8)
Done: 76% (9962/12970, 3008 left) (jobs: 7)
Done: 76% (9964/12970, 3006 left) (jobs: 6)
Done: 76% (9966/12970, 3004 left) (jobs: 5)
Done: 76% (9968/12970, 3002 left) (jobs: 5)
Done: 76% (9970/12970, 3000 left) (jobs: 6)
Done: 76% (9972/12970, 2998 left) (jobs: 5)
Done: 76% (9974/12970, 2996 left) (jobs: 5)
Done: 76% (9976/12970, 2994 left) (jobs: 4)
Done: 76% (9978/12970, 2992 left) (jobs: 3)
Done: 76% (9980/12970, 2990 left) (jobs: 3)
Done: 76% (9982/12970, 2988 left) (jobs: 2)
Done: 76% (9984/12970, 2986 left) (jobs: 2)
Done: 76% (9986/12970, 2984 left) (jobs: 1)
Done: 77% (9988/12970, 2982 left) (jobs: 7)
Done: 77% (9990/12970, 2980 left) (jobs: 6)
Done: 77% (9992/12970, 2978 left) (jobs: 5)
Done: 77% (9994/12970, 2976 left) (jobs: 4)
Done: 77% (9996/12970, 2974 left) (jobs: 3)
Done: 77% (9998/12970, 2972 left) (jobs: 3)
Done: 77% (10000/12970, 2970 left) (jobs: 3)
Done: 77% (10002/12970, 2968 left) (jobs: 3)
Done: 77% (10004/12970, 2966 left) (jobs: 2)
Done: 77% (10006/12970, 2964 left) (jobs: 4)
Done: 77% (10008/12970, 2962 left) (jobs: 3)
Done: 77% (10010/12970, 2960 left) (jobs: 2)
Done: 77% (10012/12970, 2958 left) (jobs: 1)
Done: 77% (10014/12970, 2956 left) (jobs: 1)
Done: 77% (10016/12970, 2954 left) (jobs: 8)
Done: 77% (10018/12970, 2952 left) (jobs: 8)
Done: 77% (10023/12970, 2947 left) (jobs: 8)
Done: 77% (10025/12970, 2945 left) (jobs: 8)
Done: 77% (10027/12970, 2943 left) (jobs: 8)
Done: 77% (10029/12970, 2941 left) (jobs: 8)
Done: 77% (10031/12970, 2939 left) (jobs: 7)
Done: 77% (10033/12970, 2937 left) (jobs: 6)
Done: 77% (10035/12970, 2935 left) (jobs: 5)
Done: 77% (10037/12970, 2933 left) (jobs: 4)
Done: 77% (10039/12970, 2931 left) (jobs: 3)
Done: 77% (10041/12970, 2929 left) (jobs: 2)
Done: 77% (10043/12970, 2927 left) (jobs: 7)
Done: 77% (10045/12970, 2925 left) (jobs: 6)
Done: 77% (10049/12970, 2921 left) (jobs: 6)
Done: 77% (10053/12970, 2917 left) (jobs: 6)
Done: 77% (10055/12970, 2915 left) (jobs: 5)
Done: 77% (10057/12970, 2913 left) (jobs: 4)
Done: 77% (10059/12970, 2911 left) (jobs: 4)
Done: 77% (10061/12970, 2909 left) (jobs: 3)
Done: 77% (10063/12970, 2907 left) (jobs: 3)
Done: 77% (10065/12970, 2905 left) (jobs: 2)
Done: 77% (10067/12970, 2903 left) (jobs: 3)
Done: 77% (10069/12970, 2901 left) (jobs: 2)
Done: 77% (10071/12970, 2899 left) (jobs: 1)
Done: 77% (10073/12970, 2897 left) (jobs: 2)
Done: 77% (10075/12970, 2895 left) (jobs: 2)
Done: 77% (10077/12970, 2893 left) (jobs: 1)
Done: 77% (10079/12970, 2891 left) (jobs: 8)
Done: 77% (10081/12970, 2889 left) (jobs: 8)
Done: 77% (10083/12970, 2887 left) (jobs: 8)
Done: 77% (10085/12970, 2885 left) (jobs: 7)
Done: 77% (10087/12970, 2883 left) (jobs: 6)
Done: 77% (10091/12970, 2879 left) (jobs: 5)
Done: 77% (10093/12970, 2877 left) (jobs: 5)
Done: 77% (10095/12970, 2875 left) (jobs: 5)
Done: 77% (10097/12970, 2873 left) (jobs: 4)
Done: 77% (10099/12970, 2871 left) (jobs: 4)
Done: 77% (10101/12970, 2869 left) (jobs: 3)
Done: 77% (10103/12970, 2867 left) (jobs: 2)
Done: 77% (10105/12970, 2865 left) (jobs: 2)
Done: 77% (10107/12970, 2863 left) (jobs: 2)
Done: 77% (10109/12970, 2861 left) (jobs: 2)
Done: 77% (10111/12970, 2859 left) (jobs: 2)
Done: 77% (10113/12970, 2857 left) (jobs: 1)
Done: 77% (10115/12970, 2855 left) (jobs: 2)
Done: 78% (10117/12970, 2853 left) (jobs: 2)
Done: 78% (10119/12970, 2851 left) (jobs: 1)
Done: 78% (10121/12970, 2849 left) (jobs: 1)
Done: 78% (10123/12970, 2847 left) (jobs: 1)
Done: 78% (10125/12970, 2845 left) (jobs: 1)
Done: 78% (10127/12970, 2843 left) (jobs: 1)
Done: 78% (10129/12970, 2841 left) (jobs: 2)
Done: 78% (10131/12970, 2839 left) (jobs: 1)
Done: 78% (10133/12970, 2837 left) (jobs: 8)
Done: 78% (10135/12970, 2835 left) (jobs: 8)
Done: 78% (10137/12970, 2833 left) (jobs: 8)
Done: 78% (10144/12970, 2826 left) (jobs: 8)
Done: 78% (10146/12970, 2824 left) (jobs: 8)
Done: 78% (10150/12970, 2820 left) (jobs: 8)
Done: 78% (10154/12970, 2816 left) (jobs: 8)
Done: 78% (10158/12970, 2812 left) (jobs: 7)
Done: 78% (10160/12970, 2810 left) (jobs: 7)
Done: 78% (10162/12970, 2808 left) (jobs: 7)
Done: 78% (10165/12970, 2805 left) (jobs: 7)
Done: 78% (10167/12970, 2803 left) (jobs: 8)
Done: 78% (10169/12970, 2801 left) (jobs: 8)
Done: 78% (10172/12970, 2798 left) (jobs: 8)
Done: 78% (10174/12970, 2796 left) (jobs: 8)
Done: 78% (10176/12970, 2794 left) (jobs: 8)
Done: 78% (10178/12970, 2792 left) (jobs: 8)
Done: 78% (10180/12970, 2790 left) (jobs: 8)
Done: 78% (10182/12970, 2788 left) (jobs: 8)
Done: 78% (10184/12970, 2786 left) (jobs: 8)
Done: 78% (10186/12970, 2784 left) (jobs: 8)
Done: 78% (10188/12970, 2782 left) (jobs: 8)
Done: 78% (10190/12970, 2780 left) (jobs: 7)
Done: 78% (10192/12970, 2778 left) (jobs: 6)
Done: 78% (10196/12970, 2774 left) (jobs: 6)
Done: 78% (10204/12970, 2766 left) (jobs: 8)
Done: 78% (10207/12970, 2763 left) (jobs: 8)
Done: 78% (10209/12970, 2761 left) (jobs: 7)
Done: 78% (10211/12970, 2759 left) (jobs: 6)
Done: 78% (10213/12970, 2757 left) (jobs: 5)
Done: 78% (10217/12970, 2753 left) (jobs: 4)
Done: 78% (10219/12970, 2751 left) (jobs: 5)
Done: 78% (10221/12970, 2749 left) (jobs: 7)
Done: 78% (10223/12970, 2747 left) (jobs: 7)
Done: 78% (10225/12970, 2745 left) (jobs: 6)
Done: 78% (10229/12970, 2741 left) (jobs: 7)
Done: 78% (10231/12970, 2739 left) (jobs: 8)
Done: 78% (10233/12970, 2737 left) (jobs: 8)
Done: 78% (10235/12970, 2735 left) (jobs: 8)
Done: 78% (10237/12970, 2733 left) (jobs: 7)
Done: 78% (10239/12970, 2731 left) (jobs: 6)
Done: 78% (10241/12970, 2729 left) (jobs: 5)
Done: 78% (10243/12970, 2727 left) (jobs: 4)
Done: 78% (10245/12970, 2725 left) (jobs: 5)
Done: 79% (10247/12970, 2723 left) (jobs: 4)
Done: 79% (10249/12970, 2721 left) (jobs: 4)
Done: 79% (10251/12970, 2719 left) (jobs: 8)
Done: 79% (10254/12970, 2716 left) (jobs: 8)
Done: 79% (10256/12970, 2714 left) (jobs: 8)
Done: 79% (10262/12970, 2708 left) (jobs: 6)
Done: 79% (10266/12970, 2704 left) (jobs: 5)
Done: 79% (10268/12970, 2702 left) (jobs: 4)
Done: 79% (10270/12970, 2700 left) (jobs: 5)
Done: 79% (10272/12970, 2698 left) (jobs: 5)
Done: 79% (10274/12970, 2696 left) (jobs: 5)
Done: 79% (10276/12970, 2694 left) (jobs: 5)
Done: 79% (10278/12970, 2692 left) (jobs: 4)
Done: 79% (10280/12970, 2690 left) (jobs: 4)
Done: 79% (10282/12970, 2688 left) (jobs: 4)
Done: 79% (10284/12970, 2686 left) (jobs: 5)
Done: 79% (10286/12970, 2684 left) (jobs: 4)
Done: 79% (10288/12970, 2682 left) (jobs: 8)
Done: 79% (10290/12970, 2680 left) (jobs: 6)
Done: 79% (10293/12970, 2677 left) (jobs: 8)
Done: 79% (10296/12970, 2674 left) (jobs: 8)
Done: 79% (10298/12970, 2672 left) (jobs: 8)
Done: 79% (10301/12970, 2669 left) (jobs: 8)
Done: 79% (10303/12970, 2667 left) (jobs: 7)
Done: 79% (10305/12970, 2665 left) (jobs: 6)
Done: 79% (10306/12970, 2664 left) (jobs: 6)
Done: 79% (10308/12970, 2662 left) (jobs: 8)
Done: 79% (10310/12970, 2660 left) (jobs: 7)
Done: 79% (10312/12970, 2658 left) (jobs: 6)
Done: 79% (10314/12970, 2656 left) (jobs: 8)
Done: 79% (10316/12970, 2654 left) (jobs: 8)
Done: 79% (10318/12970, 2652 left) (jobs: 8)
Done: 79% (10320/12970, 2650 left) (jobs: 7)
Done: 79% (10322/12970, 2648 left) (jobs: 6)
Done: 79% (10324/12970, 2646 left) (jobs: 7)
Done: 79% (10326/12970, 2644 left) (jobs: 7)
Done: 79% (10328/12970, 2642 left) (jobs: 7)
Done: 79% (10330/12970, 2640 left) (jobs: 6)
Done: 79% (10332/12970, 2638 left) (jobs: 6)
Done: 79% (10336/12970, 2634 left) (jobs: 4)
Done: 79% (10338/12970, 2632 left) (jobs: 8)
Done: 79% (10345/12970, 2625 left) (jobs: 6)
Done: 79% (10347/12970, 2623 left) (jobs: 5)
Done: 79% (10349/12970, 2621 left) (jobs: 4)
Done: 79% (10351/12970, 2619 left) (jobs: 3)
Done: 79% (10353/12970, 2617 left) (jobs: 2)
Done: 79% (10355/12970, 2615 left) (jobs: 2)
Done: 79% (10358/12970, 2612 left) (jobs: 2)
Done: 79% (10360/12970, 2610 left) (jobs: 1)
Done: 79% (10362/12970, 2608 left) (jobs: 8)
Done: 79% (10364/12970, 2606 left) (jobs: 8)
Done: 79% (10369/12970, 2601 left) (jobs: 8)
Done: 79% (10371/12970, 2599 left) (jobs: 8)
Done: 79% (10373/12970, 2597 left) (jobs: 8)
Done: 79% (10375/12970, 2595 left) (jobs: 8)
Done: 80% (10377/12970, 2593 left) (jobs: 8)
Done: 80% (10381/12970, 2589 left) (jobs: 8)
Done: 80% (10383/12970, 2587 left) (jobs: 8)
Done: 80% (10387/12970, 2583 left) (jobs: 8)
Done: 80% (10389/12970, 2581 left) (jobs: 8)
Done: 80% (10393/12970, 2577 left) (jobs: 8)
Done: 80% (10395/12970, 2575 left) (jobs: 8)
Done: 80% (10401/12970, 2569 left) (jobs: 8)
Done: 80% (10403/12970, 2567 left) (jobs: 8)
Done: 80% (10405/12970, 2565 left) (jobs: 8)
Done: 80% (10407/12970, 2563 left) (jobs: 8)
Done: 80% (10409/12970, 2561 left) (jobs: 8)
Done: 80% (10411/12970, 2559 left) (jobs: 8)
Done: 80% (10413/12970, 2557 left) (jobs: 8)
Done: 80% (10415/12970, 2555 left) (jobs: 8)
Done: 80% (10418/12970, 2552 left) (jobs: 8)
Done: 80% (10420/12970, 2550 left) (jobs: 8)
Done: 80% (10422/12970, 2548 left) (jobs: 8)
Done: 80% (10424/12970, 2546 left) (jobs: 8)
Done: 80% (10426/12970, 2544 left) (jobs: 8)
Done: 80% (10428/12970, 2542 left) (jobs: 8)
Done: 80% (10430/12970, 2540 left) (jobs: 8)
Done: 80% (10432/12970, 2538 left) (jobs: 8)
Done: 80% (10434/12970, 2536 left) (jobs: 8)
Done: 80% (10436/12970, 2534 left) (jobs: 8)
Done: 80% (10438/12970, 2532 left) (jobs: 8)
Done: 80% (10440/12970, 2530 left) (jobs: 8)
Done: 80% (10442/12970, 2528 left) (jobs: 8)
Done: 80% (10444/12970, 2526 left) (jobs: 8)
Done: 80% (10446/12970, 2524 left) (jobs: 8)
Done: 80% (10449/12970, 2521 left) (jobs: 8)
Done: 80% (10453/12970, 2517 left) (jobs: 8)
Done: 80% (10455/12970, 2515 left) (jobs: 8)
Done: 80% (10457/12970, 2513 left) (jobs: 8)
Done: 80% (10462/12970, 2508 left) (jobs: 8)
Done: 80% (10464/12970, 2506 left) (jobs: 8)
Done: 80% (10469/12970, 2501 left) (jobs: 8)
Done: 80% (10476/12970, 2494 left) (jobs: 8)
Done: 80% (10480/12970, 2490 left) (jobs: 8)
Done: 80% (10483/12970, 2487 left) (jobs: 8)
Done: 80% (10485/12970, 2485 left) (jobs: 8)
Done: 80% (10487/12970, 2483 left) (jobs: 8)
Done: 80% (10492/12970, 2478 left) (jobs: 8)
Done: 80% (10494/12970, 2476 left) (jobs: 8)
Done: 80% (10496/12970, 2474 left) (jobs: 8)
Done: 80% (10498/12970, 2472 left) (jobs: 8)
Done: 80% (10501/12970, 2469 left) (jobs: 8)
Done: 80% (10503/12970, 2467 left) (jobs: 8)
Done: 81% (10507/12970, 2463 left) (jobs: 8)
Done: 81% (10510/12970, 2460 left) (jobs: 8)
Done: 81% (10514/12970, 2456 left) (jobs: 8)
Done: 81% (10517/12970, 2453 left) (jobs: 8)
Done: 81% (10521/12970, 2449 left) (jobs: 8)
Done: 81% (10523/12970, 2447 left) (jobs: 8)
Done: 81% (10526/12970, 2444 left) (jobs: 8)
Done: 81% (10530/12970, 2440 left) (jobs: 8)
Done: 81% (10533/12970, 2437 left) (jobs: 8)
Done: 81% (10535/12970, 2435 left) (jobs: 8)
Done: 81% (10537/12970, 2433 left) (jobs: 8)
Done: 81% (10539/12970, 2431 left) (jobs: 8)
Done: 81% (10542/12970, 2428 left) (jobs: 8)
Done: 81% (10544/12970, 2426 left) (jobs: 8)
Done: 81% (10546/12970, 2424 left) (jobs: 8)
Done: 81% (10548/12970, 2422 left) (jobs: 8)
Done: 81% (10550/12970, 2420 left) (jobs: 8)
Done: 81% (10552/12970, 2418 left) (jobs: 8)
Done: 81% (10554/12970, 2416 left) (jobs: 8)
Done: 81% (10557/12970, 2413 left) (jobs: 8)
Done: 81% (10561/12970, 2409 left) (jobs: 7)
Done: 81% (10563/12970, 2407 left) (jobs: 6)
Done: 81% (10565/12970, 2405 left) (jobs: 6)
Done: 81% (10568/12970, 2402 left) (jobs: 6)
Done: 81% (10570/12970, 2400 left) (jobs: 6)
Done: 81% (10572/12970, 2398 left) (jobs: 5)
Done: 81% (10574/12970, 2396 left) (jobs: 5)
Done: 81% (10576/12970, 2394 left) (jobs: 5)
Done: 81% (10580/12970, 2390 left) (jobs: 5)
Done: 81% (10582/12970, 2388 left) (jobs: 5)
Done: 81% (10585/12970, 2385 left) (jobs: 5)
Done: 81% (10587/12970, 2383 left) (jobs: 4)
Done: 81% (10591/12970, 2379 left) (jobs: 6)
Done: 81% (10593/12970, 2377 left) (jobs: 8)
Done: 81% (10597/12970, 2373 left) (jobs: 7)
Done: 81% (10601/12970, 2369 left) (jobs: 6)
Done: 81% (10603/12970, 2367 left) (jobs: 5)
Done: 81% (10605/12970, 2365 left) (jobs: 6)
Done: 81% (10607/12970, 2363 left) (jobs: 6)
Done: 81% (10609/12970, 2361 left) (jobs: 6)
Done: 81% (10611/12970, 2359 left) (jobs: 5)
Done: 81% (10613/12970, 2357 left) (jobs: 4)
Done: 81% (10615/12970, 2355 left) (jobs: 4)
Done: 81% (10618/12970, 2352 left) (jobs: 4)
Done: 81% (10620/12970, 2350 left) (jobs: 4)
Done: 81% (10626/12970, 2344 left) (jobs: 5)
Done: 81% (10628/12970, 2342 left) (jobs: 5)
Done: 81% (10630/12970, 2340 left) (jobs: 4)
Done: 81% (10633/12970, 2337 left) (jobs: 4)
Done: 82% (10637/12970, 2333 left) (jobs: 3)
Done: 82% (10639/12970, 2331 left) (jobs: 2)
Done: 82% (10643/12970, 2327 left) (jobs: 2)
Done: 82% (10645/12970, 2325 left) (jobs: 3)
Done: 82% (10647/12970, 2323 left) (jobs: 2)
Done: 82% (10651/12970, 2319 left) (jobs: 2)
Done: 82% (10655/12970, 2315 left) (jobs: 2)
Done: 82% (10659/12970, 2311 left) (jobs: 3)
Done: 82% (10663/12970, 2307 left) (jobs: 2)
Done: 82% (10665/12970, 2305 left) (jobs: 2)
Done: 82% (10667/12970, 2303 left) (jobs: 2)
Done: 82% (10670/12970, 2300 left) (jobs: 2)
Done: 82% (10674/12970, 2296 left) (jobs: 2)
Done: 82% (10678/12970, 2292 left) (jobs: 8)
Done: 82% (10681/12970, 2289 left) (jobs: 8)
Done: 82% (10685/12970, 2285 left) (jobs: 8)
Done: 82% (10693/12970, 2277 left) (jobs: 8)
Done: 82% (10701/12970, 2269 left) (jobs: 8)
Done: 82% (10705/12970, 2265 left) (jobs: 8)
Done: 82% (10709/12970, 2261 left) (jobs: 8)
Done: 82% (10713/12970, 2257 left) (jobs: 8)
Done: 82% (10717/12970, 2253 left) (jobs: 8)
Done: 82% (10721/12970, 2249 left) (jobs: 8)
Done: 82% (10725/12970, 2245 left) (jobs: 8)
Done: 82% (10729/12970, 2241 left) (jobs: 8)
Done: 82% (10733/12970, 2237 left) (jobs: 8)
Done: 82% (10737/12970, 2233 left) (jobs: 8)
Done: 82% (10741/12970, 2229 left) (jobs: 8)
Done: 82% (10745/12970, 2225 left) (jobs: 8)
Done: 82% (10749/12970, 2221 left) (jobs: 8)
Done: 82% (10753/12970, 2217 left) (jobs: 8)
Done: 82% (10761/12970, 2209 left) (jobs: 8)
Done: 83% (10769/12970, 2201 left) (jobs: 8)
Done: 83% (10777/12970, 2193 left) (jobs: 8)
Done: 83% (10781/12970, 2189 left) (jobs: 8)
Done: 83% (10785/12970, 2185 left) (jobs: 8)
Done: 83% (10789/12970, 2181 left) (jobs: 8)
Done: 83% (10797/12970, 2173 left) (jobs: 8)
Done: 83% (10801/12970, 2169 left) (jobs: 8)
Done: 83% (10809/12970, 2161 left) (jobs: 8)
Done: 83% (10813/12970, 2157 left) (jobs: 8)
Done: 83% (10817/12970, 2153 left) (jobs: 8)
Done: 83% (10821/12970, 2149 left) (jobs: 8)
Done: 83% (10825/12970, 2145 left) (jobs: 8)
Done: 83% (10829/12970, 2141 left) (jobs: 8)
Done: 83% (10833/12970, 2137 left) (jobs: 8)
Done: 83% (10841/12970, 2129 left) (jobs: 8)
Done: 83% (10845/12970, 2125 left) (jobs: 8)
Done: 83% (10849/12970, 2121 left) (jobs: 8)
Done: 83% (10857/12970, 2113 left) (jobs: 8)
Done: 83% (10861/12970, 2109 left) (jobs: 8)
Done: 83% (10869/12970, 2101 left) (jobs: 8)
Done: 83% (10873/12970, 2097 left) (jobs: 8)
Done: 83% (10877/12970, 2093 left) (jobs: 8)
Done: 83% (10881/12970, 2089 left) (jobs: 8)
Done: 83% (10885/12970, 2085 left) (jobs: 8)
Done: 83% (10889/12970, 2081 left) (jobs: 8)
Done: 83% (10893/12970, 2077 left) (jobs: 8)
Done: 84% (10897/12970, 2073 left) (jobs: 8)
Done: 84% (10905/12970, 2065 left) (jobs: 8)
Done: 84% (10909/12970, 2061 left) (jobs: 8)
Done: 84% (10913/12970, 2057 left) (jobs: 8)
Done: 84% (10917/12970, 2053 left) (jobs: 8)
Done: 84% (10921/12970, 2049 left) (jobs: 8)
Done: 84% (10925/12970, 2045 left) (jobs: 8)
Done: 84% (10933/12970, 2037 left) (jobs: 8)
Done: 84% (10937/12970, 2033 left) (jobs: 8)
Done: 84% (10941/12970, 2029 left) (jobs: 8)
Done: 84% (10945/12970, 2025 left) (jobs: 8)
Done: 84% (10949/12970, 2021 left) (jobs: 8)
Done: 84% (10953/12970, 2017 left) (jobs: 8)
Done: 84% (10957/12970, 2013 left) (jobs: 8)
Done: 84% (10961/12970, 2009 left) (jobs: 8)
Done: 84% (10969/12970, 2001 left) (jobs: 8)
Done: 84% (10973/12970, 1997 left) (jobs: 8)
Done: 84% (10977/12970, 1993 left) (jobs: 8)
Done: 84% (10981/12970, 1989 left) (jobs: 8)
Done: 84% (10985/12970, 1985 left) (jobs: 8)
Done: 84% (10989/12970, 1981 left) (jobs: 8)
Done: 84% (10993/12970, 1977 left) (jobs: 8)
Done: 84% (10997/12970, 1973 left) (jobs: 8)
Done: 84% (11001/12970, 1969 left) (jobs: 8)
Done: 84% (11005/12970, 1965 left) (jobs: 8)
Done: 84% (11009/12970, 1961 left) (jobs: 8)
Done: 84% (11013/12970, 1957 left) (jobs: 8)
Done: 84% (11017/12970, 1953 left) (jobs: 8)
Done: 84% (11021/12970, 1949 left) (jobs: 8)
Done: 85% (11025/12970, 1945 left) (jobs: 8)
Done: 85% (11029/12970, 1941 left) (jobs: 8)
Done: 85% (11033/12970, 1937 left) (jobs: 8)
Done: 85% (11037/12970, 1933 left) (jobs: 8)
Done: 85% (11041/12970, 1929 left) (jobs: 8)
Done: 85% (11045/12970, 1925 left) (jobs: 8)
Done: 85% (11049/12970, 1921 left) (jobs: 8)
Done: 85% (11053/12970, 1917 left) (jobs: 8)
Done: 85% (11057/12970, 1913 left) (jobs: 8)
Done: 85% (11061/12970, 1909 left) (jobs: 8)
Done: 85% (11065/12970, 1905 left) (jobs: 8)
Done: 85% (11073/12970, 1897 left) (jobs: 8)
Done: 85% (11077/12970, 1893 left) (jobs: 8)
Done: 85% (11085/12970, 1885 left) (jobs: 8)
Done: 85% (11093/12970, 1877 left) (jobs: 8)
Done: 85% (11097/12970, 1873 left) (jobs: 8)
Done: 85% (11105/12970, 1865 left) (jobs: 8)
Done: 85% (11109/12970, 1861 left) (jobs: 8)
Done: 85% (11113/12970, 1857 left) (jobs: 8)
Done: 85% (11117/12970, 1853 left) (jobs: 8)
Done: 85% (11121/12970, 1849 left) (jobs: 8)
Done: 85% (11125/12970, 1845 left) (jobs: 8)
Done: 85% (11133/12970, 1837 left) (jobs: 8)
Done: 85% (11137/12970, 1833 left) (jobs: 8)
Done: 85% (11141/12970, 1829 left) (jobs: 8)
Done: 85% (11145/12970, 1825 left) (jobs: 8)
Done: 85% (11149/12970, 1821 left) (jobs: 8)
Done: 85% (11153/12970, 1817 left) (jobs: 8)
Done: 86% (11157/12970, 1813 left) (jobs: 8)
Done: 86% (11161/12970, 1809 left) (jobs: 8)
Done: 86% (11169/12970, 1801 left) (jobs: 7)
Done: 86% (11173/12970, 1797 left) (jobs: 6)
Done: 86% (11177/12970, 1793 left) (jobs: 6)
Done: 86% (11181/12970, 1789 left) (jobs: 6)
Done: 86% (11185/12970, 1785 left) (jobs: 5)
Done: 86% (11189/12970, 1781 left) (jobs: 4)
Done: 86% (11193/12970, 1777 left) (jobs: 4)
Done: 86% (11197/12970, 1773 left) (jobs: 4)
Done: 86% (11201/12970, 1769 left) (jobs: 3)
Done: 86% (11205/12970, 1765 left) (jobs: 6)
Done: 86% (11209/12970, 1761 left) (jobs: 5)
Done: 86% (11213/12970, 1757 left) (jobs: 4)
Done: 86% (11217/12970, 1753 left) (jobs: 3)
Done: 86% (11221/12970, 1749 left) (jobs: 2)
Done: 86% (11225/12970, 1745 left) (jobs: 2)
Done: 86% (11229/12970, 1741 left) (jobs: 2)
Done: 86% (11233/12970, 1737 left) (jobs: 3)
Done: 86% (11237/12970, 1733 left) (jobs: 2)
Done: 86% (11241/12970, 1729 left) (jobs: 2)
Done: 86% (11245/12970, 1725 left) (jobs: 3)
Done: 86% (11249/12970, 1721 left) (jobs: 2)
Done: 86% (11253/12970, 1717 left) (jobs: 2)
Done: 86% (11257/12970, 1713 left) (jobs: 1)
Done: 86% (11261/12970, 1709 left) (jobs: 1)
Done: 86% (11265/12970, 1705 left) (jobs: 1)
Done: 86% (11269/12970, 1701 left) (jobs: 1)
Done: 86% (11273/12970, 1697 left) (jobs: 2)
Done: 86% (11277/12970, 1693 left) (jobs: 2)
Done: 86% (11281/12970, 1689 left) (jobs: 1)
Done: 87% (11285/12970, 1685 left) (jobs: 1)
Done: 87% (11289/12970, 1681 left) (jobs: 1)
Done: 87% (11293/12970, 1677 left) (jobs: 6)
Done: 87% (11297/12970, 1673 left) (jobs: 5)
Done: 87% (11301/12970, 1669 left) (jobs: 4)
Done: 87% (11305/12970, 1665 left) (jobs: 3)
Done: 87% (11309/12970, 1661 left) (jobs: 2)
Done: 87% (11313/12970, 1657 left) (jobs: 1)
Done: 87% (11317/12970, 1653 left) (jobs: 1)
Done: 87% (11321/12970, 1649 left) (jobs: 1)
Done: 87% (11325/12970, 1645 left) (jobs: 2)
Done: 87% (11329/12970, 1641 left) (jobs: 2)
Done: 87% (11333/12970, 1637 left) (jobs: 2)
Done: 87% (11337/12970, 1633 left) (jobs: 2)
Done: 87% (11341/12970, 1629 left) (jobs: 3)
Done: 87% (11345/12970, 1625 left) (jobs: 2)
Done: 87% (11349/12970, 1621 left) (jobs: 2)
Done: 87% (11353/12970, 1617 left) (jobs: 2)
Done: 87% (11357/12970, 1613 left) (jobs: 2)
Done: 87% (11361/12970, 1609 left) (jobs: 2)
Done: 87% (11365/12970, 1605 left) (jobs: 2)
Done: 87% (11369/12970, 1601 left) (jobs: 2)
Done: 87% (11373/12970, 1597 left) (jobs: 2)
Done: 87% (11377/12970, 1593 left) (jobs: 2)
Done: 87% (11381/12970, 1589 left) (jobs: 7)
Done: 87% (11385/12970, 1585 left) (jobs: 8)
Done: 87% (11389/12970, 1581 left) (jobs: 8)
Done: 87% (11393/12970, 1577 left) (jobs: 7)
Done: 87% (11397/12970, 1573 left) (jobs: 7)
Done: 87% (11401/12970, 1569 left) (jobs: 6)
Done: 87% (11405/12970, 1565 left) (jobs: 5)
Done: 87% (11409/12970, 1561 left) (jobs: 5)
Done: 87% (11413/12970, 1557 left) (jobs: 4)
Done: 88% (11417/12970, 1553 left) (jobs: 4)
Done: 88% (11421/12970, 1549 left) (jobs: 4)
Done: 88% (11425/12970, 1545 left) (jobs: 4)
Done: 88% (11429/12970, 1541 left) (jobs: 8)
Done: 88% (11433/12970, 1537 left) (jobs: 7)
Done: 88% (11437/12970, 1533 left) (jobs: 7)
Done: 88% (11441/12970, 1529 left) (jobs: 6)
Done: 88% (11445/12970, 1525 left) (jobs: 5)
Done: 88% (11449/12970, 1521 left) (jobs: 4)
Done: 88% (11453/12970, 1517 left) (jobs: 3)
Done: 88% (11457/12970, 1513 left) (jobs: 3)
Done: 88% (11461/12970, 1509 left) (jobs: 3)
Done: 88% (11465/12970, 1505 left) (jobs: 2)
Done: 88% (11469/12970, 1501 left) (jobs: 2)
Done: 88% (11473/12970, 1497 left) (jobs: 2)
Done: 88% (11477/12970, 1493 left) (jobs: 8)
Done: 88% (11481/12970, 1489 left) (jobs: 8)
Done: 88% (11485/12970, 1485 left) (jobs: 8)
Done: 88% (11489/12970, 1481 left) (jobs: 8)
Done: 88% (11493/12970, 1477 left) (jobs: 7)
Done: 88% (11501/12970, 1469 left) (jobs: 7)
Done: 88% (11505/12970, 1465 left) (jobs: 6)
Done: 88% (11509/12970, 1461 left) (jobs: 5)
Done: 88% (11513/12970, 1457 left) (jobs: 8)
Done: 88% (11517/12970, 1453 left) (jobs: 7)
Done: 88% (11521/12970, 1449 left) (jobs: 6)
Done: 88% (11525/12970, 1445 left) (jobs: 5)
Done: 88% (11529/12970, 1441 left) (jobs: 4)
Done: 88% (11533/12970, 1437 left) (jobs: 5)
Done: 88% (11537/12970, 1433 left) (jobs: 6)
Done: 88% (11541/12970, 1429 left) (jobs: 5)
Done: 89% (11545/12970, 1425 left) (jobs: 4)
Done: 89% (11553/12970, 1417 left) (jobs: 4)
Done: 89% (11557/12970, 1413 left) (jobs: 4)
Done: 89% (11561/12970, 1409 left) (jobs: 3)
Done: 89% (11565/12970, 1405 left) (jobs: 4)
Done: 89% (11569/12970, 1401 left) (jobs: 3)
Done: 89% (11573/12970, 1397 left) (jobs: 3)
Done: 89% (11577/12970, 1393 left) (jobs: 5)
Done: 89% (11581/12970, 1389 left) (jobs: 5)
Done: 89% (11585/12970, 1385 left) (jobs: 4)
Done: 89% (11589/12970, 1381 left) (jobs: 4)
Done: 89% (11593/12970, 1377 left) (jobs: 4)
Done: 89% (11597/12970, 1373 left) (jobs: 4)
Done: 89% (11601/12970, 1369 left) (jobs: 3)
Done: 89% (11605/12970, 1365 left) (jobs: 3)
Done: 89% (11609/12970, 1361 left) (jobs: 3)
Done: 89% (11613/12970, 1357 left) (jobs: 8)
Done: 89% (11617/12970, 1353 left) (jobs: 8)
Done: 89% (11621/12970, 1349 left) (jobs: 7)
Done: 89% (11625/12970, 1345 left) (jobs: 6)
Done: 89% (11629/12970, 1341 left) (jobs: 5)
Done: 89% (11633/12970, 1337 left) (jobs: 5)
Done: 89% (11637/12970, 1333 left) (jobs: 4)
Done: 89% (11641/12970, 1329 left) (jobs: 4)
Done: 89% (11645/12970, 1325 left) (jobs: 3)
Done: 89% (11649/12970, 1321 left) (jobs: 8)
Done: 89% (11653/12970, 1317 left) (jobs: 8)
Done: 89% (11657/12970, 1313 left) (jobs: 8)
Done: 89% (11661/12970, 1309 left) (jobs: 8)
Done: 89% (11665/12970, 1305 left) (jobs: 8)
Done: 89% (11669/12970, 1301 left) (jobs: 8)
Done: 90% (11673/12970, 1297 left) (jobs: 8)
Done: 90% (11677/12970, 1293 left) (jobs: 8)
Done: 90% (11685/12970, 1285 left) (jobs: 8)
Done: 90% (11689/12970, 1281 left) (jobs: 8)
Done: 90% (11693/12970, 1277 left) (jobs: 8)
Done: 90% (11697/12970, 1273 left) (jobs: 7)
Done: 90% (11701/12970, 1269 left) (jobs: 7)
Done: 90% (11705/12970, 1265 left) (jobs: 6)
Done: 90% (11709/12970, 1261 left) (jobs: 6)
Done: 90% (11713/12970, 1257 left) (jobs: 6)
Done: 90% (11717/12970, 1253 left) (jobs: 6)
Done: 90% (11721/12970, 1249 left) (jobs: 8)
Done: 90% (11725/12970, 1245 left) (jobs: 8)
Done: 90% (11729/12970, 1241 left) (jobs: 8)
Done: 90% (11733/12970, 1237 left) (jobs: 8)
Done: 90% (11737/12970, 1233 left) (jobs: 8)
Done: 90% (11741/12970, 1229 left) (jobs: 8)
Done: 90% (11745/12970, 1225 left) (jobs: 8)
Done: 90% (11749/12970, 1221 left) (jobs: 8)
Done: 90% (11753/12970, 1217 left) (jobs: 8)
Done: 90% (11757/12970, 1213 left) (jobs: 8)
Done: 90% (11761/12970, 1209 left) (jobs: 8)
Done: 90% (11765/12970, 1205 left) (jobs: 8)
Done: 90% (11769/12970, 1201 left) (jobs: 8)
Done: 90% (11773/12970, 1197 left) (jobs: 8)
Done: 90% (11777/12970, 1193 left) (jobs: 8)
Done: 90% (11781/12970, 1189 left) (jobs: 8)
Done: 90% (11785/12970, 1185 left) (jobs: 8)
Done: 90% (11789/12970, 1181 left) (jobs: 8)
Done: 90% (11793/12970, 1177 left) (jobs: 8)
Done: 90% (11797/12970, 1173 left) (jobs: 8)
Done: 90% (11801/12970, 1169 left) (jobs: 8)
Done: 91% (11805/12970, 1165 left) (jobs: 8)
Done: 91% (11809/12970, 1161 left) (jobs: 8)
Done: 91% (11813/12970, 1157 left) (jobs: 8)
Done: 91% (11817/12970, 1153 left) (jobs: 8)
Done: 91% (11821/12970, 1149 left) (jobs: 8)
Done: 91% (11825/12970, 1145 left) (jobs: 8)
Done: 91% (11829/12970, 1141 left) (jobs: 8)
Done: 91% (11833/12970, 1137 left) (jobs: 8)
Done: 91% (11837/12970, 1133 left) (jobs: 8)
Done: 91% (11841/12970, 1129 left) (jobs: 8)
Done: 91% (11845/12970, 1125 left) (jobs: 8)
Done: 91% (11849/12970, 1121 left) (jobs: 8)
Done: 91% (11853/12970, 1117 left) (jobs: 8)
Done: 91% (11857/12970, 1113 left) (jobs: 8)
Done: 91% (11861/12970, 1109 left) (jobs: 8)
Done: 91% (11865/12970, 1105 left) (jobs: 8)
Done: 91% (11869/12970, 1101 left) (jobs: 8)
Done: 91% (11873/12970, 1097 left) (jobs: 8)
Done: 91% (11877/12970, 1093 left) (jobs: 8)
Done: 91% (11881/12970, 1089 left) (jobs: 8)
Done: 91% (11885/12970, 1085 left) (jobs: 8)
Done: 91% (11889/12970, 1081 left) (jobs: 8)
Done: 91% (11893/12970, 1077 left) (jobs: 7)
Done: 91% (11897/12970, 1073 left) (jobs: 6)
Done: 91% (11901/12970, 1069 left) (jobs: 6)
Done: 91% (11905/12970, 1065 left) (jobs: 5)
Done: 91% (11909/12970, 1061 left) (jobs: 6)
Done: 91% (11913/12970, 1057 left) (jobs: 5)
Done: 91% (11917/12970, 1053 left) (jobs: 4)
Done: 91% (11921/12970, 1049 left) (jobs: 4)
Done: 91% (11925/12970, 1045 left) (jobs: 4)
Done: 91% (11929/12970, 1041 left) (jobs: 3)
Done: 92% (11933/12970, 1037 left) (jobs: 3)
Done: 92% (11937/12970, 1033 left) (jobs: 2)
Done: 92% (11941/12970, 1029 left) (jobs: 2)
Done: 92% (11945/12970, 1025 left) (jobs: 2)
Done: 92% (11949/12970, 1021 left) (jobs: 7)
Done: 92% (11953/12970, 1017 left) (jobs: 7)
Done: 92% (11957/12970, 1013 left) (jobs: 7)
Done: 92% (11961/12970, 1009 left) (jobs: 8)
Done: 92% (11965/12970, 1005 left) (jobs: 8)
Done: 92% (11969/12970, 1001 left) (jobs: 8)
Done: 92% (11973/12970, 997 left) (jobs: 7)
Done: 92% (11977/12970, 993 left) (jobs: 8)
Done: 92% (11981/12970, 989 left) (jobs: 8)
Done: 92% (11985/12970, 985 left) (jobs: 8)
Done: 92% (11989/12970, 981 left) (jobs: 8)
Done: 92% (11993/12970, 977 left) (jobs: 8)
Done: 92% (11997/12970, 973 left) (jobs: 8)
Done: 92% (12001/12970, 969 left) (jobs: 8)
Done: 92% (12005/12970, 965 left) (jobs: 8)
Done: 92% (12009/12970, 961 left) (jobs: 8)
Done: 92% (12013/12970, 957 left) (jobs: 8)
Done: 92% (12017/12970, 953 left) (jobs: 8)
Done: 92% (12021/12970, 949 left) (jobs: 8)
Done: 92% (12025/12970, 945 left) (jobs: 8)
Done: 92% (12029/12970, 941 left) (jobs: 8)
Done: 92% (12033/12970, 937 left) (jobs: 8)
Done: 92% (12037/12970, 933 left) (jobs: 8)
Done: 92% (12041/12970, 929 left) (jobs: 8)
Done: 92% (12045/12970, 925 left) (jobs: 8)
Done: 92% (12049/12970, 921 left) (jobs: 8)
Done: 92% (12053/12970, 917 left) (jobs: 8)
Done: 92% (12057/12970, 913 left) (jobs: 8)
Done: 92% (12061/12970, 909 left) (jobs: 8)
Done: 93% (12065/12970, 905 left) (jobs: 8)
Done: 93% (12069/12970, 901 left) (jobs: 8)
Done: 93% (12073/12970, 897 left) (jobs: 8)
Done: 93% (12077/12970, 893 left) (jobs: 8)
Done: 93% (12081/12970, 889 left) (jobs: 8)
Done: 93% (12085/12970, 885 left) (jobs: 8)
Done: 93% (12089/12970, 881 left) (jobs: 8)
Done: 93% (12093/12970, 877 left) (jobs: 8)
Done: 93% (12097/12970, 873 left) (jobs: 8)
Done: 93% (12101/12970, 869 left) (jobs: 8)
Done: 93% (12105/12970, 865 left) (jobs: 8)
Done: 93% (12109/12970, 861 left) (jobs: 8)
Done: 93% (12113/12970, 857 left) (jobs: 8)
Done: 93% (12117/12970, 853 left) (jobs: 8)
Done: 93% (12121/12970, 849 left) (jobs: 8)
Done: 93% (12125/12970, 845 left) (jobs: 8)
Done: 93% (12129/12970, 841 left) (jobs: 8)
Done: 93% (12133/12970, 837 left) (jobs: 8)
Done: 93% (12137/12970, 833 left) (jobs: 8)
Done: 93% (12141/12970, 829 left) (jobs: 8)
Done: 93% (12145/12970, 825 left) (jobs: 8)
Done: 93% (12149/12970, 821 left) (jobs: 8)
Done: 93% (12153/12970, 817 left) (jobs: 8)
Done: 93% (12157/12970, 813 left) (jobs: 8)
Done: 93% (12161/12970, 809 left) (jobs: 8)
Done: 93% (12165/12970, 805 left) (jobs: 8)
Done: 93% (12169/12970, 801 left) (jobs: 8)
Done: 93% (12173/12970, 797 left) (jobs: 8)
Done: 93% (12177/12970, 793 left) (jobs: 8)
Done: 93% (12181/12970, 789 left) (jobs: 8)
Done: 93% (12185/12970, 785 left) (jobs: 8)
Done: 93% (12189/12970, 781 left) (jobs: 8)
Done: 94% (12193/12970, 777 left) (jobs: 8)
Done: 94% (12197/12970, 773 left) (jobs: 8)
Done: 94% (12201/12970, 769 left) (jobs: 8)
Done: 94% (12205/12970, 765 left) (jobs: 8)
Done: 94% (12209/12970, 761 left) (jobs: 7)
Done: 94% (12213/12970, 757 left) (jobs: 7)
Done: 94% (12217/12970, 753 left) (jobs: 7)
Done: 94% (12221/12970, 749 left) (jobs: 6)
Done: 94% (12225/12970, 745 left) (jobs: 6)
Done: 94% (12229/12970, 741 left) (jobs: 7)
Done: 94% (12233/12970, 737 left) (jobs: 8)
Done: 94% (12237/12970, 733 left) (jobs: 8)
Done: 94% (12241/12970, 729 left) (jobs: 8)
Done: 94% (12245/12970, 725 left) (jobs: 8)
Done: 94% (12249/12970, 721 left) (jobs: 8)
Done: 94% (12253/12970, 717 left) (jobs: 8)
Done: 94% (12257/12970, 713 left) (jobs: 8)
Done: 94% (12261/12970, 709 left) (jobs: 8)
Done: 94% (12265/12970, 705 left) (jobs: 8)
Done: 94% (12269/12970, 701 left) (jobs: 8)
Done: 94% (12273/12970, 697 left) (jobs: 8)
Done: 94% (12277/12970, 693 left) (jobs: 7)
Done: 94% (12281/12970, 689 left) (jobs: 6)
Done: 94% (12285/12970, 685 left) (jobs: 5)
Done: 94% (12289/12970, 681 left) (jobs: 5)
Done: 94% (12293/12970, 677 left) (jobs: 8)
Done: 94% (12297/12970, 673 left) (jobs: 8)
Done: 94% (12301/12970, 669 left) (jobs: 8)
Done: 94% (12305/12970, 665 left) (jobs: 8)
Done: 94% (12309/12970, 661 left) (jobs: 8)
Done: 94% (12313/12970, 657 left) (jobs: 8)
Done: 94% (12317/12970, 653 left) (jobs: 8)
Done: 94% (12321/12970, 649 left) (jobs: 8)
Done: 95% (12325/12970, 645 left) (jobs: 8)
Done: 95% (12329/12970, 641 left) (jobs: 8)
Done: 95% (12333/12970, 637 left) (jobs: 8)
Done: 95% (12337/12970, 633 left) (jobs: 8)
Done: 95% (12341/12970, 629 left) (jobs: 8)
Done: 95% (12345/12970, 625 left) (jobs: 7)
Done: 95% (12349/12970, 621 left) (jobs: 6)
Done: 95% (12353/12970, 617 left) (jobs: 5)
Done: 95% (12357/12970, 613 left) (jobs: 4)
Done: 95% (12361/12970, 609 left) (jobs: 3)
Done: 95% (12365/12970, 605 left) (jobs: 3)
Done: 95% (12369/12970, 601 left) (jobs: 3)
Done: 95% (12373/12970, 597 left) (jobs: 3)
Done: 95% (12377/12970, 593 left) (jobs: 3)
Done: 95% (12381/12970, 589 left) (jobs: 3)
Done: 95% (12385/12970, 585 left) (jobs: 3)
Done: 95% (12389/12970, 581 left) (jobs: 8)
Done: 95% (12393/12970, 577 left) (jobs: 8)
Done: 95% (12397/12970, 573 left) (jobs: 8)
Done: 95% (12401/12970, 569 left) (jobs: 8)
Done: 95% (12405/12970, 565 left) (jobs: 8)
Done: 95% (12409/12970, 561 left) (jobs: 8)
Done: 95% (12413/12970, 557 left) (jobs: 8)
Done: 95% (12417/12970, 553 left) (jobs: 8)
Done: 95% (12421/12970, 549 left) (jobs: 8)
Done: 95% (12425/12970, 545 left) (jobs: 8)
Done: 95% (12429/12970, 541 left) (jobs: 8)
Done: 95% (12433/12970, 537 left) (jobs: 8)
Done: 95% (12437/12970, 533 left) (jobs: 8)
Done: 95% (12441/12970, 529 left) (jobs: 8)
Done: 95% (12445/12970, 525 left) (jobs: 8)
Done: 95% (12449/12970, 521 left) (jobs: 8)
Done: 96% (12453/12970, 517 left) (jobs: 8)
Done: 96% (12457/12970, 513 left) (jobs: 8)
Done: 96% (12461/12970, 509 left) (jobs: 8)
Done: 96% (12465/12970, 505 left) (jobs: 8)
Done: 96% (12469/12970, 501 left) (jobs: 8)
Done: 96% (12473/12970, 497 left) (jobs: 8)
Done: 96% (12477/12970, 493 left) (jobs: 8)
Done: 96% (12481/12970, 489 left) (jobs: 8)
Done: 96% (12485/12970, 485 left) (jobs: 8)
Done: 96% (12489/12970, 481 left) (jobs: 8)
Done: 96% (12493/12970, 477 left) (jobs: 8)
Done: 96% (12497/12970, 473 left) (jobs: 8)
Done: 96% (12501/12970, 469 left) (jobs: 8)
Done: 96% (12505/12970, 465 left) (jobs: 8)
Done: 96% (12509/12970, 461 left) (jobs: 8)
Done: 96% (12513/12970, 457 left) (jobs: 8)
Done: 96% (12517/12970, 453 left) (jobs: 8)
Done: 96% (12521/12970, 449 left) (jobs: 8)
Done: 96% (12525/12970, 445 left) (jobs: 8)
Done: 96% (12529/12970, 441 left) (jobs: 8)
Done: 96% (12533/12970, 437 left) (jobs: 8)
Done: 96% (12537/12970, 433 left) (jobs: 8)
Done: 96% (12541/12970, 429 left) (jobs: 8)
Done: 96% (12545/12970, 425 left) (jobs: 8)
Done: 96% (12549/12970, 421 left) (jobs: 8)
Done: 96% (12553/12970, 417 left) (jobs: 8)
Done: 96% (12557/12970, 413 left) (jobs: 8)
Done: 96% (12561/12970, 409 left) (jobs: 8)
Done: 96% (12565/12970, 405 left) (jobs: 8)
Done: 96% (12569/12970, 401 left) (jobs: 8)
Done: 96% (12573/12970, 397 left) (jobs: 8)
Done: 96% (12577/12970, 393 left) (jobs: 8)
Done: 97% (12581/12970, 389 left) (jobs: 7)
Done: 97% (12585/12970, 385 left) (jobs: 8)
Done: 97% (12589/12970, 381 left) (jobs: 8)
Done: 97% (12593/12970, 377 left) (jobs: 7)
Done: 97% (12597/12970, 373 left) (jobs: 6)
Done: 97% (12601/12970, 369 left) (jobs: 6)
Done: 97% (12605/12970, 365 left) (jobs: 6)
Done: 97% (12609/12970, 361 left) (jobs: 6)
Done: 97% (12613/12970, 357 left) (jobs: 5)
Done: 97% (12617/12970, 353 left) (jobs: 4)
Done: 97% (12621/12970, 349 left) (jobs: 3)
Done: 97% (12625/12970, 345 left) (jobs: 3)
Done: 97% (12629/12970, 341 left) (jobs: 2)
Done: 97% (12633/12970, 337 left) (jobs: 1)
Done: 97% (12637/12970, 333 left) (jobs: 1)
Done: 97% (12641/12970, 329 left) (jobs: 1)
Done: 97% (12645/12970, 325 left) (jobs: 1)
Done: 97% (12649/12970, 321 left) (jobs: 4)
Done: 97% (12653/12970, 317 left) (jobs: 3)
Done: 97% (12657/12970, 313 left) (jobs: 2)
Done: 97% (12661/12970, 309 left) (jobs: 1)
Done: 97% (12665/12970, 305 left) (jobs: 2)
Done: 97% (12669/12970, 301 left) (jobs: 2)
Done: 97% (12673/12970, 297 left) (jobs: 1)
Done: 97% (12677/12970, 293 left) (jobs: 5)
Done: 97% (12681/12970, 289 left) (jobs: 5)
Done: 97% (12685/12970, 285 left) (jobs: 4)
Done: 97% (12689/12970, 281 left) (jobs: 3)
Done: 97% (12693/12970, 277 left) (jobs: 2)
Done: 97% (12697/12970, 273 left) (jobs: 2)
Done: 97% (12701/12970, 269 left) (jobs: 2)
Done: 97% (12705/12970, 265 left) (jobs: 1)
Done: 97% (12709/12970, 261 left) (jobs: 4)
Done: 98% (12713/12970, 257 left) (jobs: 3)
Done: 98% (12717/12970, 253 left) (jobs: 2)
Done: 98% (12721/12970, 249 left) (jobs: 1)
Done: 98% (12725/12970, 245 left) (jobs: 1)
Done: 98% (12729/12970, 241 left) (jobs: 6)
Done: 98% (12733/12970, 237 left) (jobs: 5)
Done: 98% (12737/12970, 233 left) (jobs: 4)
Done: 98% (12741/12970, 229 left) (jobs: 4)
Done: 98% (12745/12970, 225 left) (jobs: 3)
Done: 98% (12749/12970, 221 left) (jobs: 4)
Done: 98% (12753/12970, 217 left) (jobs: 3)
Done: 98% (12757/12970, 213 left) (jobs: 5)
Done: 98% (12761/12970, 209 left) (jobs: 4)
Done: 98% (12765/12970, 205 left) (jobs: 4)
Done: 98% (12769/12970, 201 left) (jobs: 4)
Done: 98% (12773/12970, 197 left) (jobs: 4)
Done: 98% (12777/12970, 193 left) (jobs: 4)
Done: 98% (12781/12970, 189 left) (jobs: 3)
Done: 98% (12785/12970, 185 left) (jobs: 3)
Done: 98% (12789/12970, 181 left) (jobs: 3)
Done: 98% (12793/12970, 177 left) (jobs: 3)
Done: 98% (12797/12970, 173 left) (jobs: 7)
Done: 98% (12801/12970, 169 left) (jobs: 7)
Done: 98% (12805/12970, 165 left) (jobs: 6)
Done: 98% (12809/12970, 161 left) (jobs: 5)
Done: 98% (12817/12970, 153 left) (jobs: 6)
Done: 98% (12821/12970, 149 left) (jobs: 5)
Done: 98% (12825/12970, 145 left) (jobs: 4)
Done: 98% (12829/12970, 141 left) (jobs: 3)
Done: 98% (12833/12970, 137 left) (jobs: 3)
Done: 98% (12837/12970, 133 left) (jobs: 3)
Done: 99% (12841/12970, 129 left) (jobs: 3)
Done: 99% (12845/12970, 125 left) (jobs: 4)
Done: 99% (12849/12970, 121 left) (jobs: 4)
Done: 99% (12853/12970, 117 left) (jobs: 3)
Done: 99% (12857/12970, 113 left) (jobs: 3)
Done: 99% (12861/12970, 109 left) (jobs: 3)
Done: 99% (12865/12970, 105 left) (jobs: 4)
Done: 99% (12869/12970, 101 left) (jobs: 3)
Done: 99% (12873/12970, 97 left) (jobs: 3)
Done: 99% (12877/12970, 93 left) (jobs: 3)
Done: 99% (12881/12970, 89 left) (jobs: 2)
Done: 99% (12885/12970, 85 left) (jobs: 1)
Done: 99% (12889/12970, 81 left) (jobs: 1)
Done: 99% (12893/12970, 77 left) (jobs: 4)
Done: 99% (12897/12970, 73 left) (jobs: 3)
Done: 99% (12901/12970, 69 left) (jobs: 2)
Done: 99% (12905/12970, 65 left) (jobs: 1)
Done: 99% (12909/12970, 61 left) (jobs: 1)
Done: 99% (12913/12970, 57 left) (jobs: 1)
Done: 99% (12917/12970, 53 left) (jobs: 1)
Done: 99% (12921/12970, 49 left) (jobs: 2)
Done: 99% (12925/12970, 45 left) (jobs: 1)
Done: 99% (12929/12970, 41 left) (jobs: 1)
Done: 99% (12933/12970, 37 left) (jobs: 1)
Done: 99% (12937/12970, 33 left) (jobs: 1)
Done: 99% (12941/12970, 29 left) (jobs: 1)
Done: 99% (12945/12970, 25 left) (jobs: 1)
Done: 99% (12949/12970, 21 left) (jobs: 1)
Done: 99% (12953/12970, 17 left) (jobs: 1)
Done: 99% (12957/12970, 13 left) (jobs: 1)
Done: 99% (12961/12970, 9 left) (jobs: 1)
Done: 99% (12965/12970, 5 left) (jobs: 1)
Scanned 0 directories
Scanned 100 directories
Scanned 200 directories
Scanned 300 directories
Done: 0% (0/0, 0 left) (jobs: 0)
Done: 0% (0/2, 2 left) (jobs: 0)
Done: 0% (0/2, 2 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 100% (2/2, 0 left) (jobs: 0)
Done: 14% (2/14, 12 left) (jobs: 0)
Done: 14% (2/14, 12 left) (jobs: 0)
Done: 11% (2/17, 15 left) (jobs: 0)
Done: 29% (5/17, 12 left) (jobs: 0)
Done: 64% (11/17, 6 left) (jobs: 0)
Done: 45% (41/91, 50 left) (jobs: 0)
Done: 24% (41/168, 127 left) (jobs: 0)
Done: 23% (41/175, 134 left) (jobs: 0)
Done: 23% (41/177, 136 left) (jobs: 0)
Done: 29% (63/215, 152 left) (jobs: 0)
Done: 31% (68/219, 151 left) (jobs: 0)
Done: 41% (92/222, 130 left) (jobs: 0)
Done: 39% (94/237, 143 left) (jobs: 0)
Done: 35% (94/262, 168 left) (jobs: 0)
Done: 37% (106/282, 176 left) (jobs: 0)
Done: 28% (130/454, 324 left) (jobs: 0)
Done: 11% (131/1114, 983 left) (jobs: 0)
Done: 7% (132/1868, 1736 left) (jobs: 0)
Done: 14% (269/1870, 1601 left) (jobs: 0)
Done: 45% (861/1873, 1012 left) (jobs: 0)
Done: 45% (863/1912, 1049 left) (jobs: 0)
Done: 44% (863/1936, 1073 left) (jobs: 0)
Done: 42% (869/2022, 1153 left) (jobs: 0)
Done: 32% (909/2824, 1915 left) (jobs: 1)
Done: 33% (972/2879, 1907 left) (jobs: 0)
Done: 42% (1379/3255, 1876 left) (jobs: 0)
Done: 38% (1379/3545, 2166 left) (jobs: 0)
Done: 38% (1386/3577, 2191 left) (jobs: 0)
Done: 36% (1484/4013, 2529 left) (jobs: 0)
Done: 41% (1699/4079, 2380 left) (jobs: 0)
Done: 46% (2091/4515, 2424 left) (jobs: 0)
Done: 42% (2098/4885, 2787 left) (jobs: 0)
Done: 44% (2172/4888, 2716 left) (jobs: 0)
Done: 53% (2626/4900, 2274 left) (jobs: 0)
Done: 53% (2629/4956, 2327 left) (jobs: 1)
Done: 52% (2639/5056, 2417 left) (jobs: 1)
Done: 50% (2749/5440, 2691 left) (jobs: 1)
Done: 51% (2832/5451, 2619 left) (jobs: 1)
Done: 76% (4159/5452, 1293 left) (jobs: 1)
Done: 75% (4190/5519, 1329 left) (jobs: 1)
Done: 78% (4369/5532, 1163 left) (jobs: 1)
Done: 80% (4460/5532, 1072 left) (jobs: 1)
Done: 80% (4473/5552, 1079 left) (jobs: 1)
Done: 90% (5040/5565, 525 left) (jobs: 1)
Done: 91% (5075/5567, 492 left) (jobs: 1)
Done: 98% (5490/5572, 82 left) (jobs: 1)
Done: 99% (5561/5590, 29 left) (jobs: 1)
Done: 98% (5566/5645, 79 left) (jobs: 1)
Done: 99% (5605/5651, 46 left) (jobs: 1)
Done: 99% (5615/5651, 36 left) (jobs: 1)
Done: 99% (5656/5675, 19 left) (jobs: 1)
Done: 99% (5657/5679, 22 left) (jobs: 1)
Done: 99% (5658/5679, 21 left) (jobs: 1)
Done: 99% (5661/5679, 18 left) (jobs: 1)
Done: 70% (5661/8007, 2346 left) (jobs: 1)
Done: 70% (5665/8041, 2376 left) (jobs: 1)
Done: 89% (7220/8041, 821 left) (jobs: 1)
Done: 89% (7236/8041, 805 left) (jobs: 1)
Done: 98% (7967/8054, 87 left) (jobs: 1)
Done: 98% (7973/8092, 119 left) (jobs: 1)
Done: 99% (8046/8101, 55 left) (jobs: 1)
Done: 97% (8062/8259, 197 left) (jobs: 1)
Done: 97% (8114/8308, 194 left) (jobs: 1)
Done: 97% (8126/8361, 235 left) (jobs: 1)
Done: 97% (8129/8362, 233 left) (jobs: 1)
Done: 97% (8171/8366, 195 left) (jobs: 1)
Done: 97% (8190/8396, 206 left) (jobs: 1)
Done: 97% (8198/8440, 242 left) (jobs: 1)
Done: 97% (8198/8451, 253 left) (jobs: 1)
Done: 87% (8198/9401, 1203 left) (jobs: 1)
Done: 87% (8205/9401, 1196 left) (jobs: 1)
Done: 90% (8536/9458, 922 left) (jobs: 1)
Done: 90% (8630/9561, 931 left) (jobs: 1)
Done: 90% (8642/9561, 919 left) (jobs: 1)
Done: 89% (8710/9723, 1013 left) (jobs: 1)
Done: 89% (8737/9730, 993 left) (jobs: 1)
Done: 89% (8753/9786, 1033 left) (jobs: 1)
Done: 89% (8764/9815, 1051 left) (jobs: 1)
Done: 89% (8961/10039, 1078 left) (jobs: 1)
Done: 90% (9056/10044, 988 left) (jobs: 1)
Done: 90% (9118/10065, 947 left) (jobs: 1)
Done: 90% (9226/10243, 1017 left) (jobs: 1)
Done: 90% (9251/10250, 999 left) (jobs: 1)
Done: 90% (9284/10250, 966 left) (jobs: 1)
Done: 91% (9471/10364, 893 left) (jobs: 1)
Done: 91% (9498/10368, 870 left) (jobs: 1)
Done: 98% (10248/10421, 173 left) (jobs: 1)
Done: 99% (10407/10422, 15 left) (jobs: 1)
Done: 99% (10407/10423, 16 left) (jobs: 1)
Done: 99% (10407/10424, 17 left) (jobs: 1)
Done: 85% (10413/12207, 1794 left) (jobs: 1)
Done: 85% (10427/12207, 1780 left) (jobs: 1)
Done: 88% (10875/12267, 1392 left) (jobs: 1)
Done: 88% (10905/12280, 1375 left) (jobs: 1)
Done: 85% (10920/12698, 1778 left) (jobs: 1)
Done: 85% (10920/12713, 1793 left) (jobs: 1)
Done: 85% (10920/12724, 1804 left) (jobs: 1)
Done: 88% (11320/12804, 1484 left) (jobs: 1)
Done: 87% (11340/12901, 1561 left) (jobs: 1)
Done: 87% (11376/12930, 1554 left) (jobs: 1)
Done: 87% (11444/13058, 1614 left) (jobs: 1)
Done: 87% (11508/13148, 1640 left) (jobs: 1)
(cd _build/default && /usr/bin/bash -e -u -o pipefail -c 'doc/stdlib/make-library-index doc/stdlib/index-list.html doc/stdlib/hidden-files')
Building file index-list.prehtml... Done
Done: 87% (11508/13148, 1640 left) (jobs: 1)
Done: 90% (11925/13153, 1228 left) (jobs: 0)
Done: 99% (13137/13153, 16 left) (jobs: 0)
Done: 99% (13146/13153, 7 left) (jobs: 3)
File "doc/dune", lines 23-40, characters 0-497:
23 | (rule
24 | (targets
25 | (dir refman-html))
....
38 | (env_var SPHINXWARNOPT))
39 | (action
40 | (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
(cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b html sphinx refman-html)
Extension error:
Could not import extension coqrst.coqdomain (exception: No module named 'typing.io'; 'typing' is not a package)
Done: 99% (13146/13153, 7 left) (jobs: 3)
File "doc/dune", lines 42-60, characters 0-534:
42 | (rule
43 | (targets
44 | (dir refman-pdf))
....
58 | (progn
59 | (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets})
60 | (chdir %{targets} (run make LATEXMKOPTS=-silent)))))
(cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b latex sphinx refman-pdf)
Extension error:
Could not import extension coqrst.coqdomain (exception: No module named 'typing.io'; 'typing' is not a package)
Done: 99% (13146/13153, 7 left) (jobs: 3)
Done: 99% (13146/13153, 7 left, 2 failed) (jobs: 1)
Done: 99% (13146/13153, 7 left, 2 failed) (jobs: 1)
==> Entering fakeroot environment...
==> Starting package_coq()...
Scanned 0 directories
Scanned 100 directories
Scanned 200 directories
Scanned 300 directories
==> Tidying install...
-> Removing empty directories...
-> Removing libtool files...
-> Purging unwanted files...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/bin/coq_makefile
usr/bin/coqc.byte
usr/bin/coqnative
usr/bin/coqchk
usr/bin/coqidetop.byte
usr/bin/coqdep
usr/bin/coqworker.opt
usr/bin/coqtop
usr/bin/coqtop.byte
usr/bin/coqdoc
usr/bin/coqc
usr/bin/coqidetop.opt
usr/lib/coq-core/perf/coqperf.cmxs
usr/lib/coq-core/perf/libcoqperf_stubs.a
usr/lib/coq-core/vm/libcoqrun_stubs.a
usr/lib/coq-core/config/config.cmxs
usr/lib/coq-core/config/coq_config.ml
usr/lib/coq-core/config/config.cma
usr/lib/coq-core/config/coq_config.cmx
usr/lib/coq-core/config/config.a
usr/lib/stublibs/dllcoqrun_stubs.so
usr/lib/stublibs/dllcoqperf_stubs.so
==> Creating package "coq"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Starting package_coqide()...
Scanned 0 directories
Scanned 100 directories
Scanned 200 directories
Scanned 300 directories
==> Tidying install...
-> Removing empty directories...
-> Removing libtool files...
-> Purging unwanted files...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/bin/coqide
==> Creating package "coqide"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Starting package_coq-doc()...
/startdir/PKGBUILD: line 100: cd: ./_build/install/default/doc/coq-doc/html/refman: No such file or directory
==> Tidying install...
-> Removing empty directories...
-> Removing libtool files...
-> Purging unwanted files...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "coq-doc"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: coq 8.20.1-2 (Sun Feb 23 07:05:48 2025)
==> Cleaning up...