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:astronomical-almanac(=1) libical0(=5) esound-common(=2) kdelibs5-data(=1) libgnome2-0(=5) exo-utils(=1) libxfconf-0-2(=2) libslp1(=1) libpisock9(=3) kdeaccessibility-dbg(=1) libxcb-sync0(=1) libgtksourceview-common(=2) libhunspell-1.2-0(=3) libxine1-console(=1) openjdk-6-jre-lib(=1) boinc-dbg(=1) libvorbis0a(=5) python-gnome2(=17) libparent-perl(=3) libvorbisenc2(=2) libpcp3(=3) libgc-dev(=1) xfce4-dict(=1) libxv-dev(=2) phpgroupware-0.9.16(=1) libsdl1.2debian(=5) hal(=10) cups-common(=2) libgnome2.24-cil(=2) libnetfilter-conntrack3(=2) notification-daemon-xfce(=1) php5(=3) splix(=1) acl2-books-certs(=1) kdebase-runtime-data(=1) libcupsdriver1(=2) gtg(=1) hal-info(=2) libkaya-ncurses-dev(=1) evolution-common(=1) libsdl1.2debian-oss(=1) evolution-data-server(=3) libgtkhtml-editor0(=2) libgtkhtml3.14-19(=3) kdebase-runtime-dbg(=1) libgif4(=2) libhal1(=5) libaudiofile0(=2) libboost-thread1.40.0(=3) kdepimlibs5(=7) cups-client(=3) libboost-date-time1.38.0(=2) blockattack(=1) libbluetooth3(=3) crystalspace-doc(=1) genius-common(=1) libmono-posix2.0-cil(=3) libthunar-vfs-1-2(=3) libasyncns0(=1) libgrib2c0d(=1) mozart-doc(=1) python-plwm(=1) libmutter-private0(=2) mutter-common(=2) libevolution5.0-cil(=3) x11proto-xext-dev(=2) avant-window-navigator-data(=1) libunixsocket-java(=1) libknotificationitem-1-1(=3) liblua50-socket2(=1) libgrib-api-data(=1) libfontconfig1-dev(=3) gcal-common(=1) libgnomedb3-4(=1) libglib2.0-cil(=3) libstreams0(=2) ttf-freefont(=2) libpoppler4(=1) libmono-system2.0-cil(=4) kdepimlibs-dbg(=1) libgnuradio-core0(=1) libgtksourceview2.0-common(=2) consolekit(=4) libsensors3(=5) libgromnithread0(=1) libraptor1(=4) libpolkit-gobject-1-0(=2) libnotify1(=3) libnetfilter-queue1-dbg(=1) libbonobo2-0(=4) libxcb-aux0(=4) ser-jabber-module(=1) tzdata-java(=2) intel-gpu-tools(=1) phonon-backend-xine(=2) efax(=1) kdelibs5(=8) libmikmod2(=2) librecode0(=3) libgail18(=3) libexif12(=1) php5-imap(=1) usbutils(=1) openoffice.org-style-hicontrast(=2) libstartup-notification0(=3) libgupnp-igd-1.0-2(=3) mono-gac(=1) rhino(=2) libstreamanalyzer0(=2) libsamplerate-ocaml(=1) libgnomeui-0(=6) xdg-utils(=1) gcompris-sound-tr(=1) libgtk2.0-cil(=3) libmono-security2.0-cil(=3) cups(=5) pfb2t1c2pfb(=1) udev(=16) libglade2.0-cil(=3) libgda3-common(=1) libflac8(=2) libsoprano4(=8) libclutter-1.0-0(=1) phpgroupware-0.9.16-phpgwapi(=1) libijs-0.35(=1) mlock(=2) libjline-java(=2) libexo-common(=1) zenity(=4) tin(=2) ser(=1) libcanberra-gtk-module(=1) iptstate(=2) libqscintilla2-designer(=1) libgnome-keyring0(=11) libart2.0-cil(=2) libboost-signals1.38.0(=2) python-mvpa-lib(=1) mono-runtime(=6) tcl8.5-dev(=3) workrave-data(=2) libxfcegui4-4(=3) liblog-agent-logger-perl(=1) kdepimlibs-data(=1) libnetfilter-queue1(=2) libcupscgi1(=2) mono-2.0-gac(=1) libgdata1.2-1(=2) libcanberra0(=4) acl2(=2) libgconf2.0-cil(=3) libexiv2-5(=1) liblog-log4perl-perl(=7) ure(=2) libgtkextra-x11-2.0-1(=2) dnstracer(=1) soprano-daemon(=1) libgnomedb3-bin(=1) libavahi-glib1(=2) php5-cgi(=1) xulrunner-1.9.1(=2) libglpk0(=4) python-xdg(=3) ifrename(=1) xfce4-power-manager-data(=2) libdsdp-5.8gf(=2) libexchange-storage1.2-3(=2) gnome-icon-theme(=17) gnuvd-gnome(=1) libsamplerate0(=1) libpolkit-dbus2(=2) libghc6-hsql-mysql-prof(=2) libxine1-bin(=1) libsdl-image1.2(=3) libgv-lua(=2) libuu0(=1) libpolkit-grant2(=2) libgtkhtml-editor-common(=2) python-xlib(=2) libgtksourceview2.0-0(=5) libudev0(=4) libgnomeui-common(=2) cm-super(=2) thunar-data(=1) daemon(=1) kdebase-runtime(=5) libedataserver1.2-11(=5) libxine1-misc-plugins(=1) libaccess-bridge-java(=2) libmono-corlib2.0-cil(=3) libboost-system1.38.0(=2) libgnomevfs2-0(=6) libcanberra-gtk0(=7) libmpd1(=1) libgeoclue0(=2) libxres1(=1) libcupsppdc1(=2) libc-client2007b(=1) libidzebra-2.0-0(=2) pciutils(=3) libgtkada2.12(=2) libvte9(=6) evolution-data-server-common(=2) xfce4-panel(=5) libgrib-api-0d-0(=3) gvfs(=6) tk8.5-dev(=2) libgupnp-1.0-3(=3) libpci3(=3) libspeex1(=4) libgweather1(=4) libwnck22(=3) libbonobo2-common(=1) libbonoboui2-common(=2) libvte-common(=2) libgnomedb3-common(=1) boinc-manager(=1) acl2-books-source(=1) libsvga1(=1) libxcb-event1(=4) libxcb-shape0(=1) cli-common(=4) openoffice.org-common(=11) dbus-java-bin(=1) librdf0(=3) kdelibs-bin(=2) libaa1(=4) python-configobj(=3) libenchant1c2a(=2) libmozjs2d(=3) libcupsmime1(=2) libqscintilla2-5(=2) libsamplerate-ocaml-dev(=1) libart-2.0-2(=3) libsnmp15(=2) libboost-thread1.38.0(=2) libecal1.2-7(=5) xorp(=1) libsexy2(=2) libmpcdec6(=2) libtheora0(=7) libx86-1(=2) libhal-storage1(=3) libedata-cal1.2-6(=5) libmpich1.0gf(=1) helium(=1) kaya(=2) libyaz3(=3) libgda3-sqlite(=1) libcdaudio1(=2) libpciaccess0(=2) mathomatic(=2) openoffice.org-voikko(=1) kdelibs5-dbg(=1) libedata-book1.2-2(=4) libxine1(=7) libvoikko1(=5) gconf2(=4) policykit(=3) acl2-books(=1) x11proto-scrnsaver-dev(=1) libggadget-1.0-0(=3) libnice0(=4) phpgroupware-0.9.16-setup(=1) libgdata-google1.2-1(=2) libgtksourceview1.0-0(=2) libclucene0ldbl(=2) gcompris-data(=1) libsvm2(=1) libgetargs-long-perl(=1) phpgroupware-0.9.16-core-base(=1) libsdl-mixer1.2(=2) iceweasel(=11) libmono-cairo2.0-cil(=4) iceweasel-l10n-ta(=2) libxext-dev(=5) libgruel0(=1) uno-libs3(=1) libxrender-dev(=3) witty-dev(=1) openjdk-6-jre(=5) libnice-dev(=2) libunittest++-dev(=1) libboost-program-options1.38.0(=2) libck-connector0(=2) libexo-0.3-0(=6) libcelt0(=4) witty(=1) x11proto-render-dev(=2) phpgroupware(=3) libmatthew-debug-java(=1) x11proto-video-dev(=2) libggadget-gtk-1.0-0(=2) libgweather-common(=2) libgsl0ldbl(=2) libboost-program-options1.39.0(=2) evolution(=5) ghostscript-cups(=1) libxine1-x(=2) ca-certificates-java(=1) libsnmp-base(=1) libgssdp-1.0-2(=2) gobjc-4.3(=4) libtalloc2(=2) python-cvxopt(=1) libgnomevfs2-common(=5) libebook1.2-9(=6) libgnomecanvas2-0(=3) libsmbclient(=4) libpulse0(=6) librasqal1(=2) libesd0(=4) libboost-filesystem1.38.0(=2) libcamel1.2-14(=4) libterm-readline-perl-perl(=1) cm-super-minimal(=1) libxfce4util4(=5) gmpc-dev(=1) libedataserverui1.2-8(=4) libjack0(=5) anyremote(=4) libwnck-common(=1) libxvmc-dev(=2) recode(=1) libvorbisfile3(=4) libcanlock2(=2) libfreetype6-dev(=7) python-pyorbit(=3) libmpd-dev(=2) libxss-dev(=2) libxcb-atom1(=4) libsamplerate0-dev(=2) gnome-genius(=1) libsndfile1(=1) voikko-fi(=1) phpgroupware-0.9.16-admin(=1) afbackup-common(=1) oxygen-icon-theme(=2) gnuvd(=1) libgnomecanvas2-common(=2) gobjc++-4.3(=4) libboost-regex1.38.0(=2) libplasma3(=6) libvanessa-logger0(=2) libmodplug0c2(=2) mpich-bin(=4) libxcb-shm0(=1) python-mvpa(=1) libqt4-dbg(=2) gnome-mime-data(=1) education-menus(=1) libfam0(=1) libtdb1(=5) rt3.8-clients(=1) phpgroupware-0.9.16-preferences(=1) libgnomeprint2.2-data(=1) libdbus-java(=2) libfftw3-3(=1) libgda3-3(=1) librsvg2-common(=4) libghc6-vty-doc(=2) libsoup-gnome2.4-1(=3) eject(=2) libiw29(=2) libakonadiprivate1(=2) libogg0(=4) xfconf(=2) libcaca0(=2) libegroupwise1.2-13(=2) libgnome2-common(=2) libwavpack1(=4) libsmpeg0(=1) desktop-profiles(=1) gfax(=1) libnfnetlink0(=4) python-gconf(=2) openjdk-6-jre-headless(=3) libgnomecups1.0-1(=2) libxft-dev(=2) libproxy0(=3) libeggdbus-1-0(=2) libxvmc1(=1) xfce4-power-manager(=3) libsysadm-install-perl(=1) libsoup2.4-1(=6) libpisync1(=1) libxcb-xv0(=1) dbus-x11(=2) libgrib-api-tools(=1) libbonoboui2-0(=4) libextutils-autoinstall-perl(=1) libebackend1.2-0(=5) ristretto(=1) libenet2(=1) netpipe-mpich(=1) gmpc(=2) mplayer-doc(=1) libgnome-vfs2.0-cil(=2) libobjc2(=7) phpgroupware-0.9.16-core(=1) libidzebra-2.0-mod-grs-xml(=1) libcanberra-gtk-module-dbg(=1) libwbclient0(=2) min12xxw(=1) libgnome-pilot2(=2) libpolkit2(=3) libc6-dbg(=1) libgnomeprint2.2-0(=4)  Total packages to install: 408 Writing solution in CUDF file. Benchmark: 2,20,4,12,0,4,0