Reading CUDF and generating status / repo... Generating cache... Beginning dependencies problem solving... [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution New iteration (#2) [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution New iteration (#3) [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution New iteration (#4) [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution [3] Found a solution:  Packages to install:libgii1(=3) kdelibs5-data(=2) python-logilab-common(=6) libqt4-sql(=8) libxaw7(=2) libnettle3(=1) libhunspell-1.2-0(=3) xemacs21-bin(=2) libxxf86dga1(=1) libqtgui4(=6) python2.5-minimal(=3) libsamizdat-ruby1.8(=1) libqt4-qt3support(=9) libgmpxx4(=1) python-twisted-web(=5) libx11-dev(=6) libspeex1(=3) xemacs21(=4) lsb-release(=1) libmysqlclient16(=3) libcamomile-ocaml-dev(=3) libgstreamer0.10-0(=27) tidy(=2) install-info(=1) libldap-2.4-2(=2) x11proto-input-dev(=1) libgii1-target-x(=3) lesstif2(=3) kdelibs-bin(=3) librdf0(=5) libjasper1(=3) python2.4-dev(=4) libqtcore4(=7) libaa1(=4) anacron(=1) libgnutls26(=6) libept0(=3) libdbus-glib-1-2(=6) libenchant1c2a(=4) libqt4-script(=5) python-zopeinterface(=6) gcc-4.3(=5) libxapian15(=2) libjericho-html-java(=1) libtheora0(=5) libc-bin(=1) gcc-4.3-base(=3) libzip-ocaml-dev(=3) xtrans-dev(=2) liblensfun-data(=1) libglu1-mesa(=2) libgif4(=2) libao2(=4) dictionaries-common(=20) libopenexr6(=3) lsdb(=2) libdbi-ruby1.8(=1) libffi5(=2) flim(=7) libldap2-dev(=2) libpoppler-dev(=1) libtidy-0.99-0(=4) libcryptgps-ocaml-dev(=2) libmng1(=2) libxml2-utils(=5) libglib2.0-dev(=27) libvoikko1(=7) libk5crypto3(=5) hicolor-icon-theme(=3) dbus(=12) ghc6-prof(=12) x11proto-xext-dev(=3) libgomp1(=5) libkate1(=2) kde-l10n-de(=1) libclucene0ldbl(=2) libcamomile-ocaml-data(=3) xauth(=1) libcherokee-base0(=2) libfontconfig1-dev(=3) samizdat(=1) libghc6-arrows-dev(=3) libggi-target-x(=5) libxext-dev(=4) mesa-common-dev(=2) libstreams0(=2) libxau-dev(=2) libcurl4-gnutls-dev(=4) libaspell15(=3) libxrender-dev(=3) libqt4-network(=7) libgmp3-dev(=4) libqt4-designer(=6) libpng12-dev(=6) libglu1-mesa-dev(=2) ghc6(=21) x11proto-render-dev(=1) libraptor1(=8) libgssapi-krb5-2(=3) libkrb5-3(=4) icecast2(=1) xemacs21-support(=3) libcompfaceg1(=1) libgl1-mesa-swx11-dev(=3) libsm-dev(=3) libaudio2(=1) libxmu6(=2) libcwidget3(=2) tetex-base(=14) libxdmcp-dev(=2) libgraphviz4(=2) kdelibs5(=9) libbatteries-ocaml-dev(=2) libtype-conv-camlp4-dev(=2) librasqal1(=2) libcairo2-dev(=3) cdrdao(=2) python2.5(=8) libexif12(=3) python-logilab-constraint(=1) libmysql-ruby1.8(=2) libstreamanalyzer0(=3) hunspell-de-at(=2) tetex-frogg(=1) libxmuu1(=2) libqmmp0(=2) libfindlib-ocaml(=1) camlp4(=3) xdg-utils(=2) libffi-dev(=2) libice-dev(=4) libbickley-0.4-0(=1) libdbus-1-3(=8) libpq5(=5) libilmbase6(=2) graphviz(=6) libvorbisfile3(=3) libfreetype6-dev(=9) libpoppler0c2-glib(=2) libc-dev-bin(=1) libdbd-mysql-ruby1.8(=1) libsoprano4(=9) pike7.6-core(=5) linux-libc-dev(=5) libkeyutils1(=1) libdb4.7(=1) libgl1-mesa-swx11(=2) xemacs21-basesupport(=5) libxslt1.1(=7) liboggkate1(=2) libutempter0(=1) libjava-gnome-java-doc(=1) libfam0(=1) libtdb1(=6) lzma(=4) python-pycallgraph(=1) libphonon4(=9) python-constraint(=4) python-nevow(=2) x11proto-core-dev(=2) cpp-4.3(=5) libqt4-dbus(=5) libexiv2-5(=1) shared-mime-info(=2) libfindlib-ocaml-dev(=1) soprano-daemon(=1) libmpfr1ldbl(=1) libzip-ocaml(=3) libtext-format-ruby1.8(=1) libqt4-xml(=7) libghc6-opengl-prof(=2) python-twisted-bin(=3) libkozo0(=1) libosmesa6(=3) pike7.6-dev(=3) libkrb5support0(=2) libxxf86vm1(=1) libghc6-opengl-dev(=3) python-twisted-core(=11) dbus-x11(=3) libgpm2(=2) tcl8.3-doc(=2) x11proto-kb-dev(=1) libqt4-svg(=5) gcc-4.4-base(=2) libxp6(=1) libpoppler-glib-dev(=1) libggi2(=7) libggiwmh0-target-x(=2) libggiwmh0(=4) caudium-perl(=2) xemacs21-nomule(=2) apel(=8) python-webut(=1) libdb4.5(=2) libghc6-stream-dev(=2) libsexplib-camlp4-dev(=2) libreadline6(=1) libpoppler0c2(=2)  Total packages to install: 199  Packages to update:  ocaml-ulex(2 -> 3) libpcre3-dev(4 -> 5) binutils(6 -> 12) libtasn1-3(2 -> 4) libsqlite3-0(5 -> 20) libncursesw5(2 -> 5) libopenssl-ruby1.8(3 -> 5) libc6-dev(5 -> 8) libfreetype6(6 -> 11) libgcrypt11(2 -> 5) python(16 -> 21) mysql-common(3 -> 5) libc6(10 -> 23) python-central(12 -> 22) ocaml-interp(1 -> 4) libglib2.0-0(4 -> 19) libgpg-error-dev(1 -> 2) libxml2(14 -> 20) python-subversion(1 -> 3) tzdata(4 -> 5) libattr1(3 -> 5) gcc(7 -> 10) dpkg(23 -> 33) libpcre-ocaml-dev(3 -> 5) dpkg-dev(11 -> 22) libgcrypt11-dev(2 -> 4) locales(7 -> 8) python-support(7 -> 13) ocaml-base-nox(1 -> 3) ocaml-findlib(3 -> 7) libpxp-ocaml-dev(1 -> 2) libcurl-ocaml(1 -> 2) nscd(2 -> 4) libtasn1-3-dev(2 -> 3) libselinux1(5 -> 16) libpcre3(4 -> 7) aptitude(3 -> 5) apt(9 -> 15) libstdc++6(6 -> 17) lsb-base(19 -> 25) python-apt(5 -> 15) zlib1g-dev(6 -> 8) zlib1g(8 -> 11) libapache2-mod-python(1 -> 2) libncurses5(2 -> 5) python-selinux(1 -> 3) libpcrecpp0(1 -> 3) libcurl-ocaml-dev(2 -> 3) libocamlnet-ocaml-dev(4 -> 9) libocamlnet-ocaml(1 -> 3) libruby1.8(4 -> 17) libc6-i386(11 -> 18) python-pysqlite2(4 -> 6) libgpg-error0(3 -> 4) ruby1.8-dev(1 -> 4) cpp(2 -> 4) libncurses5-dev(1 -> 2) ocaml-nox(4 -> 7) libpcre-ocaml(1 -> 3) libcurl3-gnutls(4 -> 9) libgcc1(7 -> 16) libpng12-0(5 -> 7) python-minimal(2 -> 3) apt-utils(1 -> 4)  Total packages to update: 64  Packages to remove: libequeue-ocaml(=1) libequeue-ocaml-dev(=2) apt-show-versions(=1) libcurl3-gnutls-dev(=4) libapt-pkg-perl(=3) emacs21-nox(=1) linux-kernel-headers(=1)  Total packages to remove: 7 Writing solution in CUDF file. Benchmark: 4,271,16,204,0,49,0