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 [3] Found a solution:  Packages to install:libclamav6(=4) libjasper-dev(=3) esound-common(=1) kdelibs5-data(=1) expect-tcl8.3-dev(=1) libgnome2-0(=6) liblircclient0(=2) vlc(=6) libopenais3(=2) libccscript3-1.1-0(=1) libhunspell-1.2-0(=3) cl-uffi(=2) libshout3(=1) concordance(=1) libcxxtools6(=1) libvorbis0a(=5) dns-flood-detector(=1) python-gnome2(=17) wpasupplicant(=2) octave3.0(=3) libgnomeprintui2.2-common(=1) libvorbisenc2(=2) libqhull5(=2) libmono2.0-cil(=4) lua40(=1) gdesklets-data(=2) python-prelude(=2) libtommath0(=1) libghc6-mtl-dev(=4) libsdl1.2debian(=5) libjpeg62-dev(=3) wikipediafs(=2) libfribidi0(=3) libtiffxx0c2(=1) php5(=3) libmono-sharpzip2.84-cil(=2) libsysfs-dev(=1) viewglob(=1) mediawiki-semediawiki(=1) libexosip2-4(=1) tp-smapi-source(=1) libgif4(=2) libhal1(=5) libapache2-mod-perl2(=7) libaudiofile0(=2) libcholmod1.7.1(=2) libcdio10(=1) libavutil49(=3) libgsm1(=4) libdvdnav4(=3) libtag1-vanilla(=1) libfuse2(=2) libmono-posix2.0-cil(=3) r-cran-mvtnorm(=5) freeplayer(=1) libasyncns0(=1) clamav-data(=1) libccaudio2-1.0-0(=1) ghc6-prof(=11) libmimic0(=1) x11proto-xext-dev(=2) libwildmidi0(=1) libcrack2(=3) libmmpong0.9(=1) libtntdb1(=1) libfontconfig1-dev(=3) module-assistant(=2) python-fltk(=1) libglib2.0-cil(=3) libstreams0(=2) common-lisp-controller(=11) libmono-system2.0-cil(=3) libjcommon-java-doc(=1) libgmp3-dev(=4) libcorosync4(=2) uuid-dev(=1) libpng12-dev(=5) expect-tcl8.3(=2) libghc6-cairo-dev(=2) autodock(=1) libraptor1(=4) libvcdinfo0(=2) libnotify1(=3) libbonobo2-0(=4) libxcb-aux0(=4) python-optcomplete(=1) libavformat52(=4) libgudev-1.0-0(=2) kdelibs5(=8) libcairo2-dev(=8) libgail18(=3) libexif12(=2) ladcca2(=1) libiptcdata0(=1) cl-asdf(=3) chimera2(=1) libstartup-notification0(=3) mono-gac(=1) libstreamanalyzer0(=2) octave3.0-common(=1) libghc6-utf8-string-dev(=2) libgnomeui-0(=6) xdg-utils(=1) libnautilus-extension1(=4) libass4(=2) libdvbpsi5(=1) libgtk2.0-cil(=3) libmono-security2.0-cil(=2) libssreflect-coq(=1) libusb-1.0-0(=4) libxklavier15(=2) libflac8(=2) libaprutil1-dbd-sqlite3(=1) libsoprano4(=8) libfltk1.1(=6) python-clamav(=1) libgmpxx4ldbl(=1) tcl8.3(=3) libgnome-keyring0(=11) mediawiki-extensions(=1) mono-runtime(=6) libdc1394-22(=1) libvlc2(=4) privoxy(=1) mono-2.0-gac(=1) libfile-mmagic-xs-perl(=1) libtar(=1) kde-icons-oxygen(=2) coq(=2) ladcca-dev(=1) apache2-utils(=1) libmpeg2-4(=1) libicu-dev(=1) libexiv2-5(=1) libgme0(=2) chiark-really(=1) vlc-nox(=3) soprano-daemon(=1) libgraphicsmagick3(=2) libavahi-glib1(=2) libjcifs-java(=1) medit(=1) revelation(=1) libosptk3-dbg(=1) php5-cgi(=1) r-base-core(=25) libglpk0(=4) ettercap-common(=1) sgb-doc(=2) gnome-icon-theme(=17) libboost-iostreams1.40-dev(=2) libwmf-dev(=2) libsamplerate0(=1) libiso9660-7(=1) compiz-core(=1) mmpongd(=1) libsdl-image1.2(=3) libfeed-find-perl(=1) libpolkit-grant2(=2) tk8.3-dev(=1) libudev0(=4) libgnomeui-common(=2) liboil0.3(=8) gstreamer0.10-plugins-base(=11) libdvdread4(=2) libedataserver1.2-11(=5) libmono-corlib2.0-cil(=3) libgnomevfs2-0(=6) gtkpbbuttons-common(=1) libmono-data2.0-cil(=2) libswscale0(=4) libgraphicsmagick1-dev(=1) r-cran-survival(=4) libupnp3(=1) coinor-libcoinutils0(=1) r-cran-msm(=1) libmono-sqlite2.0-cil(=2) libmono-system-web-mvc1.0-cil(=1) ifmail(=1) librsvg2-2.18-cil(=3) mediawiki(=2) evolution-data-server-common(=2) libebml0(=1) debian-edu-archive-keyring(=1) vlc-data(=2) libgdiplus(=1) libbctsp-java(=1) libaugeas-ruby(=1) gvfs(=5) ifcico(=1) libqt4-sql-sqlite(=1) libspeex1(=4) libbonobo2-common(=1) libbonoboui2-common(=2) kde-l10n-nds(=1) cl-sql-uffi(=2) dynare(=1) libmad0(=3) libhdf5-mpich-1.8.3(=1) libsvga1(=1) libxcb-event1(=4) libv4l-0(=3) libexif-dev(=2) cli-common(=4) libccolamd2.7.1(=2) libapache-dbi-perl(=3) librdf0(=3) kdelibs-bin(=2) libpixman-1-dev(=3) cl-sql(=2) libaa1(=4) openoffice.org-l10n-fi(=2) libenchant1c2a(=2) libart-2.0-2(=3) cl-sql-postgresql(=2) gnustep-icons(=1) liblua40(=1) libmpcdec6(=2) libdca0(=1) libtheora0(=7) libx86-1(=2) libservlet2.3-java(=1) libhal-storage1(=3) libvisual-0.4-0(=2) openais(=3) wpagui(=1) libaprutil1-ldap(=1) x11-xkb-utils(=1) libcdaudio1(=2) apache2.2-bin(=1) libghc6-glib-dev(=2) fuse-utils(=5) libvoikko1(=5) libtag1c2a(=4) gconf2(=4) libnl1(=2) libmpeg3-dev(=1) libdirectfb-dev(=2) libccgnu2-1.7-0(=1) tk8.3(=3) libkate1(=2) libclucene0ldbl(=2) libdirac-encoder0(=1) libmatroska0(=1) libofa0(=2) libmono-system-data2.0-cil(=3) libmono-cairo2.0-cil(=3) libosptk3(=1) libxext-dev(=5) libdirectfb-extra(=1) libxcb-render-util0-dev(=1) libmono-system-web2.0-cil(=3) python-fuse(=3) libvlccore2(=4) libxrender-dev(=3) libavcodec52(=4) monodoc-manual(=3) tcl8.3-dev(=2) libpostproc51(=3) libraw1394-11(=1) libcelt0(=4) ghc6(=15) x11proto-render-dev(=2) libsm-dev(=3) libxkbfile1(=1) cmigrep(=1) libmms0(=2) libtalloc2(=2) libgnomevfs2-common(=5) libebook1.2-9(=6) libgnomecanvas2-0(=3) python-nautilus(=2) libsmbclient(=4) apache2.2-common(=10) libpulse0(=7) librasqal1(=2) libaugeas0(=3) bayonne(=1) libxcb-render0-dev(=1) libcamel1.2-14(=4) libhyena-cil(=1) libboost-regex1.40-dev(=2) libmusicbrainz4c2a(=2) libosip2-4(=1) libpcsclite1(=8) libcapi20-3(=1) libcdparanoia0(=2) libedataserverui1.2-8(=4) libjack0(=5) augeas-lenses(=1) libxt-dev(=5) libmpeg3-1(=2) libsoundtouch1c2(=3) libffi-dev(=2) libice-dev(=4) tuxpaint-stamps-default(=2) libfreetype6-dev(=7) gstreamer0.10-plugins-bad-dbg(=2) python-pyorbit(=3) coq-theories(=1) libschroedinger-1.0-0(=3) libxcb-atom1(=4) nautilus-clamscan(=1) dynare-common(=1) liba52-0.7.4(=1) libfaad2(=1) libmono-data-tds2.0-cil(=2) libsndfile1(=1) oxygen-icon-theme(=2) libgnomecanvas2-common(=2) realpath(=1) libmodplug0c2(=2) gnome-mime-data(=1) libgnomeui-0-dbg(=1) libfam0(=1) gstreamer0.10-plugins-bad(=5) libghc6-utf8-string-prof(=2) liblcms1-dev(=1) mesa-utils(=1) libccrtp1-1.7-0(=1) libfftw3-3(=1) libdata-peek-perl(=2) prelude-correlator(=2) aspell-pt-pt(=1) librsvg2-common(=4) libcamd2.2.0(=2) libtwolame0(=1) clamav(=5) libogg0(=4) apache2-mpm-itk(=2) libcaca0(=2) libgnome2-common(=5) gstreamer0.10-sdl(=2) libatk1.0-dev(=7) python-gconf(=2) libprelude2(=1) libpulse0-dbg(=2) libssreflect-ocaml(=1) libexempi3(=2) qt4-dev-tools(=1) libsoup2.4-1(=6) xkb-data(=5) dbus-x11(=2) ettercap(=2) monodoc-nlog-manual(=1) libbonoboui2-0(=4) libexplain9(=1) tntdb-mysql1(=1) libcolamd2.7.1(=2) liblualib40(=1) libtiff4-dev(=2) libconcord1(=1) libaugeas-ruby1.8(=1) libesd-alsa0(=3) nvidia-kernel-source(=2) libcxsparse2.2.3(=2) libwbclient0(=2) libsdl1.2debian-esd(=1) libenca0(=2) libpolkit2(=3)  Total packages to install: 360  Packages to remove: expect(=2)  Total packages to remove: 1 Writing solution in CUDF file. Benchmark: 2,18,2,11,0,4,0