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 [3] Found a solution:  Packages to install:ia32-libs(=9) rhyme(=1) libclamav6(=4) libavahi-common3(=3) libgnome2-0(=4) gnome-system-tools(=2) libxaw7(=2) parrot(=2) desktop-file-utils(=3) polipo(=1) libxxf86dga1(=2) python2.5-minimal(=3) weechat-common(=1) libanthy0(=3) libgnome-menu2(=7) libparrot1.4.0(=1) python-numpy(=11) libspeex1(=5) libclan2c2a-png(=2) libfontenc1(=2) openafs-kpasswd(=1) lsb-release(=2) libbonobo2-common(=2) libbonoboui2-common(=1) libmono0(=10) metacity-common(=1) libgstreamer0.10-0(=26) css-mode(=2) install-info(=1) python-gtk2(=43) libldap-2.4-2(=2) gnome-control-center(=8) libjasper1(=2) libdbix-contextualfetch-perl(=2) libfribidi0(=4) lib32z1(=4) libmrml1c2a(=2) libnspr4-0d(=8) libgnutls26(=6) libept0(=3) libdbus-glib-1-2(=6) docbook-xml(=8) libclone-perl(=2) libgconf2-ruby1.8(=1) libgfortran3(=5) libxapian15(=2) libgstreamer-plugins-base0.10-0(=20) python-cairo(=12) brltty-speechd(=1) lib32gcc1(=10) libc-bin(=1) libwnck18(=3) libhal-storage1(=2) gnome-panel-data(=3) libxklavier10(=1) libspeex-ocaml(=1) libhal1(=7) libactivesupport-ruby(=2) libxdamage1(=3) libglib2-ruby1.8(=2) libffi5(=2) openafs-client(=2) m17n-db(=1) libi18n-ruby1.8(=2) libcryptgps-ocaml-dev(=2) sgml-data(=5) libxss1(=2) weechat-curses(=1) e2fsck-static(=1) libxcb-render-util0(=6) libntfs-gnomevfs(=2) libk5crypto3(=5) gconf2(=7) libedataserverui1.2-6(=2) fast-user-switch-applet(=2) tsconf(=1) libclanlib2c2a(=2) hicolor-icon-theme(=3) libgtop2-common(=2) libuniversal-require-perl(=4) lib32stdc++6(=10) dbus(=12) libtzinfo-ruby1.8(=2) lib32asound2(=6) libthai-data(=2) libgirepository1.0-0(=1) gnome-about(=3) libparrot-dev(=2) libipc-system-simple-perl(=1) libsdl-mixer1.2(=2) libavahi-client3(=4) libclass-dbi-perl(=8) libxml2-dev(=21) libcgi-untaint-perl(=4) libcups2(=5) libdatrie1(=2) common-lisp-controller(=14) libmono-system2.0-cil(=5) varkon-user-manual(=1) xserver-xorg-video-intel(=1) libavahi-common-data(=3) tennix(=1) xserver-xorg(=4) libm17n-dev(=1) libxtrap6(=2) libedataserver1.2-7(=3) xkb-data-legacy(=1) libcamel1.2-8(=2) libgssapi-krb5-2(=3) libkrb5-3(=4) libbonobo2-0(=5) libbuilder-ruby1.8(=2) gconf2-common(=6) libxkbfile1(=2) libgsf-1-common(=2) libxmu6(=2) libcwidget3(=1) menu-xdg(=2) mono-jit(=7) libgnomevfs2-common(=8) libnss3-0d(=3) libgnomecanvas2-0(=3) librsvg2-2(=6) libogg-ocaml(=2) libscrollkeeper0(=2) python2.5(=8) emacs23-nox(=2) libotf0(=1) libntfs10(=2) gdm(=3) libecal1.2-6(=3) libclass-trigger-perl(=2) cl-asdf(=5) libstartup-notification0(=2) netcdf-bin(=1) gnome-desktop-data(=3) gksu(=8) libpanel-applet2-0(=5) libxmuu1(=1) libcroco3(=2) liborbit2(=5) lib32ncurses5(=5) libgnomeui-0(=5) libfindlib-ocaml(=1) camlp4(=3) xbase-clients(=7) libversion-perl(=2) libnautilus-extension1(=2) libclass-dbi-fromcgi-perl(=1) gnome-panel(=8) libwnck-common(=1) libmono-security2.0-cil(=2) libdbus-1-3(=5) libvorbisfile3(=3) libc-dev-bin(=1) libidl0(=1) libxcb1(=4) libmemcache-client-ruby1.8(=2) libgtop2-7(=3) hermes1(=2) libxv1(=1) libima-dbi-perl(=2) libglade2-0(=5) libgsf-1-114(=11) linux-libc-dev(=1) libmono-relaxng2.0-cil(=1) libkeyutils1(=2) libdb4.7(=2) libgnomecanvas2-common(=1) libwine-alsa(=2) libdmx1(=2) libthai0(=6) libgl1-mesa-swx11(=1) libgnome-keyring0(=12) libxslt1.1(=6) realpath(=1) python-gobject(=18) gnome-menus(=10) libbrlapi0.5(=1) gnome-mime-data(=2) libssl-dev(=9) libfam0(=1) lzma(=4) libatlas3gf-base(=1) libxcomposite1(=3) libgconf2-4(=7) libwine(=2) librsvg2-common(=7) libghc6-vty-doc(=2) capplets-data(=2) libts-0.0-0(=2) libmetacity0(=2) libgnome2-common(=2) shared-mime-info(=6) libgksu2-0(=2) libfindlib-ocaml-dev(=1) libxml-simple-ruby(=3) libsmpeg0(=1) xserver-xorg-input-digitaledge(=1) libavahi-glib1(=4) rxvt-unicode-lite(=1) libgnuift0c2a(=2) libdirectfb-1.2-0(=1) libm17n-0(=1) libuniversal-moniker-perl(=2) libxfont1(=4) libspeechd2(=1) libkrb5support0(=2) libbz2-dev(=1) mono-common(=2) python-gmenu(=3) libxxf86vm1(=1) libebook1.2-5(=3) scrollkeeper(=7) dbus-x11(=2) libgpm2(=2) emacs23-common(=2) gnome-icon-theme(=9) gcc-4.4-base(=4) libsdl-ttf2.0-0(=1) libpixman-1-0(=6) libgnome-window-settings1(=1) sqlite(=2) libbonoboui2-0(=3) xserver-xorg-core(=6) libsdl-image1.2(=3) brltty(=2) libgnome-desktop-2(=2) system-tools-backends(=2) libactivesupport-ruby1.8(=2) libgnomeui-common(=1) libfs6(=1) libsqlite0(=4) libicu42(=2) libxxf86misc1(=1) libdb4.5(=2) libmono-corlib2.0-cil(=8) libgnomevfs2-0(=7) parrot-minimal(=1) libnetcdf3(=2) parrot-devel(=1) libxcb-render0(=1) c++-annotations-txt(=1) libreadline6(=1) libclamav-dev(=4) libxres1(=1) gnome-keyring(=1) emacs23-bin-common(=2)  Total packages to install: 248  Packages to update:  ocaml-ulex(2 -> 3) libpcre3-dev(4 -> 5) binutils(6 -> 12) libtasn1-3(2 -> 4) libasound2(4 -> 8) libsqlite3-0(5 -> 20) libncursesw5(2 -> 5) libopenssl-ruby1.8(3 -> 7) libc6-dev(5 -> 8) libgcrypt11(2 -> 5) python(16 -> 21) libpango1.0-0(12 -> 34) libc6(10 -> 23) python-central(12 -> 21) ocaml-interp(1 -> 4) libglib2.0-0(4 -> 34) libgpg-error-dev(1 -> 2) libxml2(14 -> 20) python-subversion(1 -> 3) tzdata(4 -> 6) 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) nscd(2 -> 4) libtasn1-3-dev(2 -> 3) libselinux1(5 -> 16) libpcre3(4 -> 7) aptitude(3 -> 5) apt(9 -> 14) libatk1.0-0(4 -> 7) libxrandr2(2 -> 6) libstdc++6(6 -> 18) lsb-base(19 -> 25) python-apt(5 -> 15) zlib1g-dev(6 -> 8) zlib1g(8 -> 11) libcairo2(5 -> 25) libapache2-mod-python(1 -> 2) libncurses5(2 -> 5) python-selinux(1 -> 2) libpcrecpp0(1 -> 3) libocamlnet-ocaml-dev(4 -> 9) libocamlnet-ocaml(1 -> 3) libpango1.0-common(3 -> 5) libruby1.8(4 -> 17) libc6-i386(11 -> 18) python-pysqlite2(4 -> 6) libgpg-error0(3 -> 4) ruby1.8-dev(1 -> 4) libssl0.9.8(10 -> 12) libgtk2.0-0(10 -> 49) libncurses5-dev(1 -> 2) ocaml-nox(4 -> 7) libpcre-ocaml(1 -> 3) libgcc1(7 -> 17) python-minimal(2 -> 3) apt-utils(1 -> 4)  Total packages to update: 63  Packages to remove: libequeue-ocaml(=1) krb5-user(=1) libequeue-ocaml-dev(=2) apt-show-versions(=1) libapt-pkg-perl(=3) emacs21-nox(=1) linux-kernel-headers(=1)  Total packages to remove: 7 Writing solution in CUDF file. Benchmark: 3,210,8,163,0,37,0