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:libghc6-safe-doc(=1) libghc6-quickcheck-dev(=2) libavahi-common3(=3) libgnome2-0(=4) libterm-readline-gnu-perl(=2) kakasi-dic(=1) libgnomevfs2-common(=4) libgconf2-dev(=10) libgnomecanvas2-0(=3) liblircclient0(=2) ucspi-unix(=1) jlex(=1) libcupsys2(=7) libclass-base-perl(=1) dialog(=7) libbonobo2-dev(=5) libecal1.2-6(=3) libavahi-client-dev(=3) cl-asdf(=5) gdtclft(=1) libgmpxx4(=1) libidl-dev(=2) xawtv-plugins(=1) libavahi-common-dev(=1) liborbit2(=3) libgnomeprintui2.2-common(=1) libbonobo2-common(=1) libdbus-1-3(=8) libavahi-glib-dev(=2) libidl0(=1) libghc6-mtl-dev(=2) libxml-sax-perl(=6) phpgroupware-phpgwapi(=1) idanish(=2) lirc(=2) rt2x00-source(=1) libglade2-0(=3) libgsf-1-114(=4) libxml-libxml-perl(=7) phpgroupware-setup(=1) libnspr4-0d(=3) libgnomecanvas2-common(=1) slony1-bin(=1) libtext-kakasi-perl(=1) ruby1.9-examples(=1) libdbus-glib-1-2(=2) realpath(=2) gnome-mime-data(=1) libfam0(=2) liblua40(=1) libgnomeprint2.2-data(=1) mbrola-hu1(=1) libqt3-mt(=9) libgconf2-4(=3) libhal-storage1(=2) libhal1(=7) dictionaries-common(=20) libecal1.2-dev(=1) libedataserver1.2-dev(=1) ispell(=4) libgnome2-common(=2) cl-xptest(=2) droidbattles(=1) libmng1(=2) shared-mime-info(=2) libdv4(=2) libconfig-inifiles-perl(=2) libkakasi2(=1) libdbus-1-dev(=14) haskell-utils(=1) libgsf-bin(=1) libxml-libxml-common-perl(=1) libglib2.0-dev(=17) adduser-plugin-bkdinit(=1) libavahi-glib1(=4) gconf2(=6) tipptrainer-data-en(=2) codegroup(=1) libgnomecups1.0-1(=2) ghc6-prof(=1) console-tools(=3) webcam(=1) phpgroupware-admin(=1) libxml-namespacesupport-perl(=4) postgresql-client-common(=2) libavahi-client3(=4) liborbit2-dev(=10) libsyslog-ocaml(=1) module-assistant(=3) libxml2-dev(=18) postgresql-common(=8) libghc6-edison-core-dev(=1) libghc6-edison-api-dev(=1) phpgroupware-preferences(=1) libaudiofile-dev(=2) libgnomevfs2-dev(=9) common-lisp-controller(=14) libgetopt-mixed-perl(=1) libgnomeprintui2.2-0(=3) libadduser-pluginloader-perl(=1) libgmp3-dev(=4) libxml-simple-perl(=2) libgnome2-dev(=5) mbrola(=1) adduser-ng(=1) libavahi-common-data(=1) libgnomevfs2-0(=3) ghc6(=6) libreadline5-dev(=1) lirc-svga(=1) phpgroupware(=2) jing-trang-doc(=1) xautomation(=2) libedataserver1.2-7(=3) libbonobo2-0(=2) libesd0-dev(=2) sdd(=2) libgnomeprint2.2-0(=2) gconf2-common(=2) libaudio2(=1) libgsf-1-common(=1)  Total packages to install: 121  Packages to update:  libequeue-ocaml(1 -> 3) ocaml-interp(1 -> 2) libglib2.0-0(4 -> 5) libpcre-ocaml-dev(3 -> 4) ocaml-base-nox(1 -> 2) libexpat-ocaml(1 -> 3) ocaml-findlib(3 -> 4) libocamlnet-ocaml-dev(4 -> 8) libocamlnet-ocaml(1 -> 2) libequeue-ocaml-dev(2 -> 4) libexpat-ocaml-dev(1 -> 3) ocaml-nox(4 -> 6) libpcre-ocaml(1 -> 2)  Total packages to update: 13  Packages to remove: libcurl-ocaml-dev(=2) libcurl-ocaml(=1) ocaml-ulex(=2) libpxp-ocaml-dev(=1)  Total packages to remove: 4 Writing solution in CUDF file. Benchmark: 3,154,13,131,0,9,0