HEAD is now at 0e68ffa initial deployement # Checking available version of Java # Java(TM) SE Runtime Environment (build 1.6.0_20-b02) # Running really p2cudf #Solver launched on Mon Jul 05 21:11:55 UTC 2010 #Using input file /home/misc2010/data/2010/difficult/rand847939.cudf #Using ouput file /home/misc2010/tmp/201007051419/p2cudf-trendy-1.6/rand847939.cudf.difficult.result #Objective function trendy #Timeout 280s #java.runtime.name Java(TM) SE Runtime Environment #java.vm.name Java HotSpot(TM) Server VM #java.vm.version 16.3-b01 #java.vm.vendor Sun Microsystems Inc. #sun.arch.data.model 32 #java.version 1.6.0_20 #os.name Linux #os.version 2.6.18-6-xen-amd64 #os.arch i386 #Free memory 699792080 #Max memory 703463424 #Total memory 703463424 #Number of processors 2 #Parsing ... #Time to parse:1796 #Parsing done (1.797s). #Solving ... #Request size: 743 #Number of packages after slice: 6023 #Slice efficiency: 89% ## Optimization to Pseudo Boolean adapter # Pseudo Boolean Optimization # --- Begin Solver configuration --- # Stops conflict analysis at the first Unique Implication Point # org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@64f6cd # Learn all clauses as in MiniSAT # claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 # VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function # Expensive reason simplification # Armin Biere (Picosat) restarts strategy # Glucose learned constraints deletion strategy # timeout=280s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: misc 2010, trendy # p cnf 17460 65009 # Current objective function value: 9899711733653(2.55s) # Current objective function value: 2672664118023(5.832s) # Current objective function value: 2121483644589(7.325s) # Current objective function value: 1846401742042(8.074s) # Current objective function value: 1650355188965(8.657s) # Current objective function value: 1649800431494(9.134s) # Current objective function value: 1649765632636(9.475s) # Current objective function value: 1649765568139(9.816s) # Current objective function value: 1649765564749(10.042s) # Current objective function value: 1649765564748(10.401s) # cleaning 2463 clauses out of 4940 with flag 5000/5000 # cleaning 4233 clauses out of 8473 with flag 11000/11000 # cleaning 5613 clauses out of 11239 with flag 18000/18000 # cleaning 6799 clauses out of 13625 with flag 26000/26000 # cleaning 7900 clauses out of 15824 with flag 35000/35000 # cleaning 8951 clauses out of 17923 with flag 45000/45000 # cleaning 9971 clauses out of 19974 with flag 56002/56002 # cleaning 10984 clauses out of 22001 with flag 68000/68000 # cleaning 11991 clauses out of 24017 with flag 81000/81000 # cleaning 13005 clauses out of 26025 with flag 95000/95000 # cleaning 14008 clauses out of 28021 with flag 110001/110001 # cleaning 14987 clauses out of 30013 with flag 126001/126001 # cleaning 15997 clauses out of 32023 with flag 143000/143000 # cleaning 17004 clauses out of 34024 with flag 161000/161000 # cleaning 17999 clauses out of 36020 with flag 180000/180000 # cleaning 18994 clauses out of 38020 with flag 200000/200000 # Trendy criteria value: -42, -39, -18, -1269 # Proof: [AbstractVariable: camlp4, AbstractVariable: camlp5, AbstractVariable: gosa, AbstractVariable: gosa-help-fr, AbstractVariable: irb1.8, AbstractVariable: libc-client2002edebian, AbstractVariable: libc-client2007b, AbstractVariable: libcommons-modeler-java, AbstractVariable: libcryptgps-ocaml-dev, AbstractVariable: libcurl-ocaml-dev, AbstractVariable: libdate-manip-perl, AbstractVariable: libequeue-ocaml-dev, AbstractVariable: libexpat-ocaml-dev, AbstractVariable: libgnutls13, AbstractVariable: libldap2, AbstractVariable: liblog4j1.2-java, AbstractVariable: liblog4j1.2-java-gcj, AbstractVariable: liblzo-dev, AbstractVariable: liblzo1, AbstractVariable: libmx4j-java, AbstractVariable: libocamlnet-ocaml-dev, AbstractVariable: libpcre-ocaml-dev, AbstractVariable: libpxp-ocaml-dev, AbstractVariable: libreadline-ruby1.8, AbstractVariable: libsvga1, AbstractVariable: libsys-hostname-long-perl, AbstractVariable: libtomcat5-java, AbstractVariable: libtomcat5.5-java, AbstractVariable: libx86-1, AbstractVariable: mlock, AbstractVariable: ocaml-compiler-libs, AbstractVariable: ocaml-findlib, AbstractVariable: ocaml-interp, AbstractVariable: ocaml-nox, AbstractVariable: ocaml-ulex, AbstractVariable: ocaml-ulex08, AbstractVariable: php5-imap, AbstractVariable: rdoc1.8, AbstractVariable: ruby, AbstractVariable: spamassassin, AbstractVariable: spampd, AbstractVariable: tomcat5.5, AbstractVariable: adesklets, AbstractVariable: bash, AbstractVariable: cron, AbstractVariable: dpkg, AbstractVariable: dpkg-dev, AbstractVariable: ffmpeg, AbstractVariable: krb5-config, AbstractVariable: libapache2-mod-php5, AbstractVariable: libapache2-mod-python, AbstractVariable: libavdevice52, AbstractVariable: libavformat52, AbstractVariable: libhdate-python, AbstractVariable: libhdate1, AbstractVariable: libpango1.0-0, AbstractVariable: libthai-data, AbstractVariable: libthai0, AbstractVariable: libx11-6, AbstractVariable: libx11-dev, AbstractVariable: libxcb-xlib0, AbstractVariable: libxcb1, AbstractVariable: libxcb1-dev, AbstractVariable: libxi-dev, AbstractVariable: libxi6, AbstractVariable: mysql-client, AbstractVariable: ntpdate, AbstractVariable: php5, AbstractVariable: php5-cgi, AbstractVariable: php5-cli, AbstractVariable: php5-common, AbstractVariable: php5-gd, AbstractVariable: php5-ldap, AbstractVariable: php5-mcrypt, AbstractVariable: php5-memcache, AbstractVariable: php5-mysql, AbstractVariable: php5-recode, AbstractVariable: python, AbstractVariable: python-tz, AbstractVariable: unixodbc, AbstractVariable: x11proto-input-dev, AbstractVariable: 21173056, AbstractVariable: 15964986, AbstractVariable: 16020374, AbstractVariable: 27427682, AbstractVariable: 7777071, AbstractVariable: 17131806, AbstractVariable: 14069849, AbstractVariable: 29706134, AbstractVariable: 8550760, AbstractVariable: 24854782, AbstractVariable: 15070318, AbstractVariable: 13452612, AbstractVariable: 32558929, AbstractVariable: 12254719, AbstractVariable: 10098848, AbstractVariable: 10282147, AbstractVariable: 5775676, AbstractVariable: 683317, AbstractVariable: 9base, AbstractVariable: 9menu, AbstractVariable: a7xpg, AbstractVariable: acpi-support-base, AbstractVariable: acpid, AbstractVariable: akonadi-server, AbstractVariable: alsa-base, AbstractVariable: alsa-utils, AbstractVariable: amiwm, AbstractVariable: anacron, AbstractVariable: ant-optional, AbstractVariable: aolserver4-core, AbstractVariable: aolserver4-daemon, AbstractVariable: aolserver4-doc, AbstractVariable: apache2.2-bin, AbstractVariable: apt-xapian-index, AbstractVariable: aptitude-doc-ja, AbstractVariable: asciijump, AbstractVariable: aspell, AbstractVariable: aspell-uz, AbstractVariable: aterm, AbstractVariable: aterm-ml, AbstractVariable: autopoint, AbstractVariable: autotools-dev, AbstractVariable: avahi-daemon, AbstractVariable: avogadro, AbstractVariable: avogadro-data, AbstractVariable: bash-completion, AbstractVariable: bcc, AbstractVariable: bcron, AbstractVariable: bin86, AbstractVariable: binfmt-support, AbstractVariable: bkchem, AbstractVariable: blt, AbstractVariable: bodr, AbstractVariable: brasero-common, AbstractVariable: build-essential, AbstractVariable: bulmacont, AbstractVariable: bulmacont-plugins, AbstractVariable: bulmafact, AbstractVariable: bulmafact-plugins, AbstractVariable: bulmages-admin, AbstractVariable: bulmages-common, AbstractVariable: bulmages-servers, AbstractVariable: bulmatpv, AbstractVariable: bulmatpv-plugins, AbstractVariable: busybox, AbstractVariable: bzr, AbstractVariable: bzrtools, AbstractVariable: ca-certificates-java, AbstractVariable: caudium, AbstractVariable: caudium-modules, AbstractVariable: caudium-pixsl, AbstractVariable: caudium-ultralog, AbstractVariable: cdcd, AbstractVariable: cdparanoia, AbstractVariable: cdrdao, AbstractVariable: celestia, AbstractVariable: celestia-common, AbstractVariable: celestia-kde, AbstractVariable: chemical-mime-data, AbstractVariable: cherokee, AbstractVariable: citadel-server, AbstractVariable: cl-asdf, AbstractVariable: cli-common, AbstractVariable: clisp, AbstractVariable: cmucl, AbstractVariable: common-lisp-controller, AbstractVariable: console-common, AbstractVariable: console-data, AbstractVariable: console-tools, AbstractVariable: consolekit, AbstractVariable: cpp-3.4, AbstractVariable: cpp-4.2, AbstractVariable: cpp-4.4, AbstractVariable: cryptsetup, AbstractVariable: db4.6-util, AbstractVariable: dbconfig-common, AbstractVariable: dbus, AbstractVariable: dbus-x11, AbstractVariable: debootstrap, AbstractVariable: device3dfx-source, AbstractVariable: dict, AbstractVariable: dictd, AbstractVariable: dictionaries-common, AbstractVariable: dictzip, AbstractVariable: diffutils, AbstractVariable: dirdiff, AbstractVariable: dkms, AbstractVariable: dmraid, AbstractVariable: dmsetup, AbstractVariable: doc-base, AbstractVariable: dolphin, AbstractVariable: dosfstools, AbstractVariable: dracut, AbstractVariable: drgeo, AbstractVariable: drgeo-doc, AbstractVariable: dvd+rw-tools, AbstractVariable: dwm, AbstractVariable: dwm-tools, AbstractVariable: e16, AbstractVariable: e16-data, AbstractVariable: ecj, AbstractVariable: ecj-gcj, AbstractVariable: eject, AbstractVariable: elinks, AbstractVariable: elinks-data, AbstractVariable: elks-libc, AbstractVariable: erlang-base-hipe, AbstractVariable: erlang-crypto, AbstractVariable: erlang-syntax-tools, AbstractVariable: esound-clients, AbstractVariable: evince, AbstractVariable: evince-common, AbstractVariable: exiv2, AbstractVariable: ezgo-education, AbstractVariable: ezgo-tasks, AbstractVariable: fakeroot, AbstractVariable: fancontrol, AbstractVariable: fckeditor, AbstractVariable: fetchmail, AbstractVariable: feynmf, AbstractVariable: fgetty, AbstractVariable: fglrx-atieventsd, AbstractVariable: fglrx-driver, AbstractVariable: fglrx-glx, AbstractVariable: fglrx-glx-ia32, AbstractVariable: fglrx-source, AbstractVariable: firebird2.5-common, AbstractVariable: firebird2.5-common-doc, AbstractVariable: firmware-linux-free, AbstractVariable: fluxbox, AbstractVariable: flwm, AbstractVariable: fortune-mod, AbstractVariable: fortunes, AbstractVariable: fortunes-debian-hints, AbstractVariable: fortunes-min, AbstractVariable: fortunes-off, AbstractVariable: freepats, AbstractVariable: fuse-utils, AbstractVariable: fvwm, AbstractVariable: fvwm-crystal, AbstractVariable: fvwm-icons, AbstractVariable: g++, AbstractVariable: g++-4.4, AbstractVariable: gcc-3.4, AbstractVariable: gcc-3.4-base, AbstractVariable: gcc-4.2, AbstractVariable: gcc-4.2-base, AbstractVariable: gcc-4.4, AbstractVariable: gcc-4.4-base, AbstractVariable: gchempaint, AbstractVariable: gcj-4.2-base, AbstractVariable: gcj-4.3, AbstractVariable: gcj-4.4-base, AbstractVariable: gcj-4.4-jre-headless, AbstractVariable: gcj-4.4-jre-lib, AbstractVariable: gconf2, AbstractVariable: gconf2-common, AbstractVariable: gcu-bin, AbstractVariable: gdk-imlib11, AbstractVariable: gdk-imlib11-dev, AbstractVariable: genisoimage, AbstractVariable: geoip-database, AbstractVariable: ghemical, AbstractVariable: ghostscript, AbstractVariable: ghostscript-x, AbstractVariable: gij-4.2, AbstractVariable: gij-4.3, AbstractVariable: git, AbstractVariable: glide2-bin, AbstractVariable: gnome-audio, AbstractVariable: gnome-icon-theme, AbstractVariable: gnome-keyring, AbstractVariable: gnome-media, AbstractVariable: gnome-media-common, AbstractVariable: gnome-mime-data, AbstractVariable: gnupg-agent, AbstractVariable: gnupg-curl, AbstractVariable: gnupg2, AbstractVariable: gnuplot-nox, AbstractVariable: gnuplot-x11, AbstractVariable: gnustep-base-common, AbstractVariable: gnustep-base-runtime, AbstractVariable: gnustep-common, AbstractVariable: groff, AbstractVariable: gs-common, AbstractVariable: gsfonts-x11, AbstractVariable: gstreamer0.10-alsa, AbstractVariable: gstreamer0.10-gnomevfs, AbstractVariable: gstreamer0.10-plugins-base, AbstractVariable: gstreamer0.10-plugins-good, AbstractVariable: gstreamer0.10-plugins-ugly, AbstractVariable: gstreamer0.10-pulseaudio, AbstractVariable: gstreamer0.10-x, AbstractVariable: gtk2-engines-xfce, AbstractVariable: guile-1.6-libs, AbstractVariable: gv, AbstractVariable: gvfs, AbstractVariable: gvfs-backends, AbstractVariable: hal, AbstractVariable: hal-info, AbstractVariable: hdparm, AbstractVariable: hicolor-icon-theme, AbstractVariable: hsetroot, AbstractVariable: hunspell-vi, AbstractVariable: hyperestraier, AbstractVariable: i3-wm, AbstractVariable: ia32-libs, AbstractVariable: ia32-libs-gtk, AbstractVariable: ia32-sun-java6-bin, AbstractVariable: icedtea-6-jre-cacao, AbstractVariable: icewm-common, AbstractVariable: imlib-base, AbstractVariable: initramfs-tools, AbstractVariable: insserv, AbstractVariable: install-info, AbstractVariable: iproute, AbstractVariable: ipsvd, AbstractVariable: iso-codes, AbstractVariable: jed, AbstractVariable: jed-common, AbstractVariable: jed-extra, AbstractVariable: k3b, AbstractVariable: k3b-data, AbstractVariable: kaboom, AbstractVariable: kaddressbook, AbstractVariable: kalgebra, AbstractVariable: kalzium, AbstractVariable: kalzium-data, AbstractVariable: kanagram, AbstractVariable: kbruch, AbstractVariable: kbuild, AbstractVariable: kdebase-bin, AbstractVariable: kdebase-data, AbstractVariable: kdebase-runtime, AbstractVariable: kdebase-runtime-data, AbstractVariable: kdeedu-kvtml-data, AbstractVariable: kdelibs-bin, AbstractVariable: kdelibs-data, AbstractVariable: kdelibs4c2a, AbstractVariable: kdelibs5-data, AbstractVariable: kdelibs5-plugins, AbstractVariable: kdepim-kresources, AbstractVariable: kdepim-runtime, AbstractVariable: kdepimlibs-kio-plugins, AbstractVariable: kdiff3, AbstractVariable: kdiff3-doc, AbstractVariable: kdoctools, AbstractVariable: kernel-package, AbstractVariable: kexi, AbstractVariable: keyboard-configuration, AbstractVariable: kfind, AbstractVariable: kgeography, AbstractVariable: kgeography-data, AbstractVariable: kghostview, AbstractVariable: khangman, AbstractVariable: khelpcenter4, AbstractVariable: kig, AbstractVariable: klettres, AbstractVariable: klettres-data, AbstractVariable: klibc-utils, AbstractVariable: kmail, AbstractVariable: kmplot, AbstractVariable: koffice-data, AbstractVariable: koffice-doc-html, AbstractVariable: koffice-libs, AbstractVariable: konqueror, AbstractVariable: konqueror-nsplugins, AbstractVariable: korganizer, AbstractVariable: kpdf, AbstractVariable: krb5-multidev, AbstractVariable: krosspython, AbstractVariable: kspread, AbstractVariable: kstars, AbstractVariable: kstars-data, AbstractVariable: kterm, AbstractVariable: ktouch, AbstractVariable: kturtle, AbstractVariable: kwordquiz, AbstractVariable: lacheck, AbstractVariable: latex-beamer, AbstractVariable: latex-xcolor, AbstractVariable: latex-xft-fonts, AbstractVariable: lib32asound2, AbstractVariable: lib32gcc1, AbstractVariable: lib32ncurses5, AbstractVariable: lib32stdc++6, AbstractVariable: lib32z1, AbstractVariable: liba52-0.7.4, AbstractVariable: libaa1, AbstractVariable: libaccess-bridge-java, AbstractVariable: libaccess-bridge-java-jni, AbstractVariable: libafterimage0, AbstractVariable: libakonadi-contact4, AbstractVariable: libakonadi-kabc4, AbstractVariable: libakonadi-kcal4, AbstractVariable: libakonadi-kde4, AbstractVariable: libakonadi-kmime4, AbstractVariable: libakonadiprivate1, AbstractVariable: libanyevent-i3-perl, AbstractVariable: libanyevent-perl, AbstractVariable: libao-common, AbstractVariable: libao4, AbstractVariable: libapache2-reload-perl, AbstractVariable: libaprutil1-dbd-sqlite3, AbstractVariable: libaprutil1-ldap, AbstractVariable: libarchive1, AbstractVariable: libart-2.0-2, AbstractVariable: libarts1c2a, AbstractVariable: libartsc0, AbstractVariable: libasn1-8-heimdal, AbstractVariable: libasound2-plugins, AbstractVariable: libaspell15, AbstractVariable: libasync-interrupt-perl, AbstractVariable: libasyncns0, AbstractVariable: libatasmart4, AbstractVariable: libatk1.0-data, AbstractVariable: libatlas3gf-sse2, AbstractVariable: libatm1, AbstractVariable: libattica0, AbstractVariable: libaudio2, AbstractVariable: libaudiofile0, AbstractVariable: libaudit0, AbstractVariable: libavahi-client3, AbstractVariable: libavahi-common-data, AbstractVariable: libavahi-common3, AbstractVariable: libavahi-compat-libdnssd1, AbstractVariable: libavahi-core6, AbstractVariable: libavahi-glib1, AbstractVariable: libavahi-qt3-1, AbstractVariable: libavc1394-0, AbstractVariable: libavcodec52, AbstractVariable: libavogadro1, AbstractVariable: libbg1, AbstractVariable: libbg1-doc, AbstractVariable: libbind9-60, AbstractVariable: libbluetooth3, AbstractVariable: libbonobo2-0, AbstractVariable: libbonobo2-common, AbstractVariable: libbonoboui2-0, AbstractVariable: libbonoboui2-common, AbstractVariable: libboost-iostreams1.42.0, AbstractVariable: libboost-program-options1.42.0, AbstractVariable: libboost-python1.42.0, AbstractVariable: libbrasero-media0, AbstractVariable: libbsd-resource-perl, AbstractVariable: libbsd0, AbstractVariable: libbulmalib0.11, AbstractVariable: libburn4, AbstractVariable: libc-bin, AbstractVariable: libc-dev-bin, AbstractVariable: libc6-i386, AbstractVariable: libcaca0, AbstractVariable: libcanberra-gtk-module, AbstractVariable: libcanberra-gtk0, AbstractVariable: libcanberra0, AbstractVariable: libcdaudio1, AbstractVariable: libcdio-cdda0, AbstractVariable: libcdio-paranoia0, AbstractVariable: libcdio10, AbstractVariable: libcdparanoia0, AbstractVariable: libcelt0-0, AbstractVariable: libcfitsio3, AbstractVariable: libcherokee-base0, AbstractVariable: libcherokee-client0, AbstractVariable: libcherokee-config0, AbstractVariable: libcherokee-mod-admin, AbstractVariable: libcherokee-server0, AbstractVariable: libcitadel2, AbstractVariable: libck-connector0, AbstractVariable: libcln6, AbstractVariable: libclucene0ldbl, AbstractVariable: libcommon-sense-perl, AbstractVariable: libconsole, AbstractVariable: libcrypt-openssl-bignum-perl, AbstractVariable: libcrypt-openssl-rsa-perl, AbstractVariable: libcupsimage2, AbstractVariable: libcxxtools6, AbstractVariable: libdaemon0, AbstractVariable: libdb4.7, AbstractVariable: libdb4.8, AbstractVariable: libdb5.0, AbstractVariable: libdbi0, AbstractVariable: libdbus-1-3, AbstractVariable: libdbus-glib-1-2, AbstractVariable: libdevmapper1.02.1, AbstractVariable: libdirac-encoder0, AbstractVariable: libdirectfb-1.2-9, AbstractVariable: libdjvulibre-text, AbstractVariable: libdmraid1.0.0.rc16, AbstractVariable: libdns64, AbstractVariable: libdrm-intel1, AbstractVariable: libdrm-radeon1, AbstractVariable: libdrm2, AbstractVariable: libdv4, AbstractVariable: libdvdnav4, AbstractVariable: libdvdread3, AbstractVariable: libdvdread4, AbstractVariable: libecj-java-gcj, AbstractVariable: libeel2-2.20, AbstractVariable: libeel2-data, AbstractVariable: libeggdbus-1-0, AbstractVariable: libenchant1c2a, AbstractVariable: libesd0, AbstractVariable: libestraier8, AbstractVariable: libev3, AbstractVariable: libevent-1.4-2, AbstractVariable: libevince2, AbstractVariable: libexif12, AbstractVariable: libexiv2-4, AbstractVariable: libexiv2-6, AbstractVariable: libfaad2, AbstractVariable: libfam0, AbstractVariable: libfbclient2, AbstractVariable: libffcall1, AbstractVariable: libffi5, AbstractVariable: libfile-copy-recursive-perl, AbstractVariable: libflac++6, AbstractVariable: libflac8, AbstractVariable: libflite1, AbstractVariable: libfltk1.1, AbstractVariable: libfont-afm-perl, AbstractVariable: libfont-freetype-perl, AbstractVariable: libfontenc1, AbstractVariable: libfreezethaw-perl, AbstractVariable: libfribidi0, AbstractVariable: libfs6, AbstractVariable: libfsplib0, AbstractVariable: libfuse2, AbstractVariable: libgail-common, AbstractVariable: libgail18, AbstractVariable: libgc1c2, AbstractVariable: libgcj10, AbstractVariable: libgcj8-1, AbstractVariable: libgcj8-1-awt, AbstractVariable: libgcj8-jar, AbstractVariable: libgcj9-dev, AbstractVariable: libgconf2-4, AbstractVariable: libgcr0, AbstractVariable: libgcu0, AbstractVariable: libgdiplus, AbstractVariable: libgdu0, AbstractVariable: libgfortran3, AbstractVariable: libggi-target-fbdev, AbstractVariable: libggi2, AbstractVariable: libghemical-data, AbstractVariable: libghemical5, AbstractVariable: libgii1, AbstractVariable: libgii1-target-x, AbstractVariable: libgl1-mesa-dri, AbstractVariable: libgl1-mesa-glx, AbstractVariable: libglade2-0, AbstractVariable: libgle3, AbstractVariable: libglew1.5, AbstractVariable: libglib-perl, AbstractVariable: libglib1.2-dev, AbstractVariable: libglib1.2ldbl, AbstractVariable: libglib2.0-data, AbstractVariable: libglib2.0-dev, AbstractVariable: libglide2, AbstractVariable: libglide3, AbstractVariable: libglu1-mesa, AbstractVariable: libgmime-2.4-2, AbstractVariable: libgnome-keyring0, AbstractVariable: libgnome-media0, AbstractVariable: libgnome-menu2, AbstractVariable: libgnome2-0, AbstractVariable: libgnome2-common, AbstractVariable: libgnome2-vfs-perl, AbstractVariable: libgnomecanvas2-0, AbstractVariable: libgnomecanvas2-common, AbstractVariable: libgnomecups1.0-1, AbstractVariable: libgnomeprint2.2-0, AbstractVariable: libgnomeprint2.2-data, AbstractVariable: libgnomeprintui2.2-0, AbstractVariable: libgnomeprintui2.2-common, AbstractVariable: libgnomeui-0, AbstractVariable: libgnomeui-common, AbstractVariable: libgnomevfs2-0, AbstractVariable: libgnomevfs2-common, AbstractVariable: libgnomevfs2-extra, AbstractVariable: libgnustep-base1.16, AbstractVariable: libgnustep-base1.19, AbstractVariable: libgoffice-0.8-8, AbstractVariable: libgoffice-0.8-8-common, AbstractVariable: libgp11-0, AbstractVariable: libgpepimc0, AbstractVariable: libgpewidget1, AbstractVariable: libgpgme++2, AbstractVariable: libgpgme11, AbstractVariable: libgphoto2-2, AbstractVariable: libgphoto2-port0, AbstractVariable: libgpod-common, AbstractVariable: libgpod3, AbstractVariable: libgpod4, AbstractVariable: libgps19, AbstractVariable: libgraphicsmagick1, AbstractVariable: libgraphicsmagick3, AbstractVariable: libgs8, AbstractVariable: libgsasl7, AbstractVariable: libgsl0ldbl, AbstractVariable: libgssapi-krb5-2, AbstractVariable: libgssrpc4, AbstractVariable: libgstreamer-plugins-base0.10-0, AbstractVariable: libgstreamer0.10-0, AbstractVariable: libgtk1.2, AbstractVariable: libgtk1.2-common, AbstractVariable: libgtk1.2-dev, AbstractVariable: libgtk2.0-bin, AbstractVariable: libgtkglext1, AbstractVariable: libgtkimreg-dev, AbstractVariable: libgtkimreg0, AbstractVariable: libgudev-1.0-0, AbstractVariable: libguile-ltdl-1, AbstractVariable: libhal-storage1, AbstractVariable: libhal1, AbstractVariable: libhdate1, AbstractVariable: libhtml-format-perl, AbstractVariable: libhubbub0, AbstractVariable: libhunspell-1.2-0, AbstractVariable: libhx509-5-heimdal, AbstractVariable: libical0, AbstractVariable: libice-dev, AbstractVariable: libicu42, AbstractVariable: libidl0, AbstractVariable: libiec61883-0, AbstractVariable: libimobiledevice1, AbstractVariable: libio-pty-perl, AbstractVariable: libio-string-perl, AbstractVariable: libiodbc2, AbstractVariable: libipc-run-perl, AbstractVariable: libipc-shareable-perl, AbstractVariable: libipc-signal-perl, AbstractVariable: libirrlicht-dev, AbstractVariable: libirrlicht1.7, AbstractVariable: libisc60, AbstractVariable: libisccc60, AbstractVariable: libisccfg60, AbstractVariable: libiso9660-7, AbstractVariable: libisofs6, AbstractVariable: libjack0, AbstractVariable: libjbig2dec0, AbstractVariable: libjpeg8, AbstractVariable: libjs-jquery-ui, AbstractVariable: libjs-mootools, AbstractVariable: libjson-xs-perl, AbstractVariable: libk3b6, AbstractVariable: libk5crypto3, AbstractVariable: libkabc4, AbstractVariable: libkadm5clnt-mit7, AbstractVariable: libkadm5srv-mit7, AbstractVariable: libkblog4, AbstractVariable: libkcal2b, AbstractVariable: libkcal4, AbstractVariable: libkcddb4, AbstractVariable: libkdb5-4, AbstractVariable: libkde3support4, AbstractVariable: libkdecore5, AbstractVariable: libkdeedu4, AbstractVariable: libkdepim1a, AbstractVariable: libkdepim4, AbstractVariable: libkdesu5, AbstractVariable: libkdeui5, AbstractVariable: libkdnssd4, AbstractVariable: libkfile4, AbstractVariable: libkholidays4, AbstractVariable: libkhtml5, AbstractVariable: libkimap4, AbstractVariable: libkimproxy4, AbstractVariable: libkio5, AbstractVariable: libkjsapi4, AbstractVariable: libkjsembed4, AbstractVariable: libkldap4, AbstractVariable: libkleo4, AbstractVariable: libklibc, AbstractVariable: libkmediaplayer4, AbstractVariable: libkmime4, AbstractVariable: libknewstuff2-4, AbstractVariable: libknewstuff3-4, AbstractVariable: libknotifyconfig4, AbstractVariable: libkntlm4, AbstractVariable: libkonq5, AbstractVariable: libkonq5-templates, AbstractVariable: libkonqsidebarplugin4a, AbstractVariable: libkontactinterface4, AbstractVariable: libkparts4, AbstractVariable: libkpathsea5, AbstractVariable: libkpgp4, AbstractVariable: libkpimidentities4, AbstractVariable: libkpimtextedit4, AbstractVariable: libkpimutils4, AbstractVariable: libkpty4, AbstractVariable: libkrb5-26-heimdal, AbstractVariable: libkrb5-3, AbstractVariable: libkrb5support0, AbstractVariable: libkresources4, AbstractVariable: libkrosscore4, AbstractVariable: libksba8, AbstractVariable: libksieve4, AbstractVariable: libktexteditor4, AbstractVariable: libktnef1, AbstractVariable: libktnef4, AbstractVariable: libkunitconversion4, AbstractVariable: libkutils4, AbstractVariable: libkxmlrpcclient4, AbstractVariable: liblog-dispatch-perl, AbstractVariable: liblog-log4perl-perl, AbstractVariable: liblog4cxx9c2a, AbstractVariable: liblqr-1-0, AbstractVariable: libltdl7, AbstractVariable: liblua5.1-0, AbstractVariable: liblua50, AbstractVariable: liblualib50, AbstractVariable: liblwres60, AbstractVariable: liblzma2, AbstractVariable: libmaa2, AbstractVariable: libmad0, AbstractVariable: libmagick++3, AbstractVariable: libmagickcore3, AbstractVariable: libmagickwand3, AbstractVariable: libmail-dkim-perl, AbstractVariable: libmail-spf-perl, AbstractVariable: libmailtransport4, AbstractVariable: libmarblewidget4, AbstractVariable: libmatrixssl1.8, AbstractVariable: libmecab-ruby1.8, AbstractVariable: libmecab1, AbstractVariable: libmessagecore4, AbstractVariable: libmessagelist4, AbstractVariable: libmicroblog4, AbstractVariable: libmikmod2, AbstractVariable: libmimelib4, AbstractVariable: libmldbm-perl, AbstractVariable: libmng1, AbstractVariable: libmodplug0c2, AbstractVariable: libmoe1.5, AbstractVariable: libmono-accessibility1.0-cil, AbstractVariable: libmono-accessibility2.0-cil, AbstractVariable: libmono-bytefx0.7.6.1-cil, AbstractVariable: libmono-bytefx0.7.6.2-cil, AbstractVariable: libmono-c5-1.0-cil, AbstractVariable: libmono-cairo1.0-cil, AbstractVariable: libmono-cairo2.0-cil, AbstractVariable: libmono-cecil-private-cil, AbstractVariable: libmono-cil-dev, AbstractVariable: libmono-corlib1.0-cil, AbstractVariable: libmono-corlib2.0-cil, AbstractVariable: libmono-cscompmgd7.0-cil, AbstractVariable: libmono-cscompmgd8.0-cil, AbstractVariable: libmono-data-tds1.0-cil, AbstractVariable: libmono-data-tds2.0-cil, AbstractVariable: libmono-data1.0-cil, AbstractVariable: libmono-data2.0-cil, AbstractVariable: libmono-db2-1.0-cil, AbstractVariable: libmono-dev, AbstractVariable: libmono-firebirdsql1.7-cil, AbstractVariable: libmono-getoptions1.0-cil, AbstractVariable: libmono-getoptions2.0-cil, AbstractVariable: libmono-i18n-west1.0-cil, AbstractVariable: libmono-i18n-west2.0-cil, AbstractVariable: libmono-i18n1.0-cil, AbstractVariable: libmono-i18n2.0-cil, AbstractVariable: libmono-ldap1.0-cil, AbstractVariable: libmono-ldap2.0-cil, AbstractVariable: libmono-management2.0-cil, AbstractVariable: libmono-messaging-rabbitmq2.0-cil, AbstractVariable: libmono-messaging2.0-cil, AbstractVariable: libmono-microsoft-build2.0-cil, AbstractVariable: libmono-microsoft7.0-cil, AbstractVariable: libmono-microsoft8.0-cil, AbstractVariable: libmono-npgsql1.0-cil, AbstractVariable: libmono-npgsql2.0-cil, AbstractVariable: libmono-oracle1.0-cil, AbstractVariable: libmono-oracle2.0-cil, AbstractVariable: libmono-peapi1.0-cil, AbstractVariable: libmono-peapi2.0-cil, AbstractVariable: libmono-posix1.0-cil, AbstractVariable: libmono-posix2.0-cil, AbstractVariable: libmono-rabbitmq2.0-cil, AbstractVariable: libmono-relaxng1.0-cil, AbstractVariable: libmono-relaxng2.0-cil, AbstractVariable: libmono-security1.0-cil, AbstractVariable: libmono-security2.0-cil, AbstractVariable: libmono-sharpzip0.6-cil, AbstractVariable: libmono-sharpzip0.84-cil, AbstractVariable: libmono-sharpzip2.6-cil, AbstractVariable: libmono-sharpzip2.84-cil, AbstractVariable: libmono-simd2.0-cil, AbstractVariable: libmono-sqlite1.0-cil, AbstractVariable: libmono-sqlite2.0-cil, AbstractVariable: libmono-system-data1.0-cil, AbstractVariable: libmono-system-data2.0-cil, AbstractVariable: libmono-system-ldap1.0-cil, AbstractVariable: libmono-system-ldap2.0-cil, AbstractVariable: libmono-system-messaging1.0-cil, AbstractVariable: libmono-system-messaging2.0-cil, AbstractVariable: libmono-system-runtime1.0-cil, AbstractVariable: libmono-system-runtime2.0-cil, AbstractVariable: libmono-system-web-mvc1.0-cil, AbstractVariable: libmono-system-web1.0-cil, AbstractVariable: libmono-system-web2.0-cil, AbstractVariable: libmono-system1.0-cil, AbstractVariable: libmono-system2.0-cil, AbstractVariable: libmono-wcf3.0-cil, AbstractVariable: libmono-webbrowser0.5-cil, AbstractVariable: libmono-winforms1.0-cil, AbstractVariable: libmono-winforms2.0-cil, AbstractVariable: libmono0, AbstractVariable: libmono1.0-cil, AbstractVariable: libmono2.0-cil, AbstractVariable: libmopac7-1gf, AbstractVariable: libmozjs2d, AbstractVariable: libmpcdec6, AbstractVariable: libmpdclient2, AbstractVariable: libmpeg2-4, AbstractVariable: libmtp7, AbstractVariable: libmtp8, AbstractVariable: libmusicbrainz4c2a, AbstractVariable: libmysqlclient16, AbstractVariable: libnautilus-extension1, AbstractVariable: libnepomuk4, AbstractVariable: libnepomukquery4a, AbstractVariable: libnetaddr-ip-perl, AbstractVariable: libnetpbm10, AbstractVariable: libnettle3, AbstractVariable: libnfnetlink0, AbstractVariable: libnsbmp0, AbstractVariable: libnsgif0, AbstractVariable: libnspr4-0d, AbstractVariable: libnss-mdns, AbstractVariable: libnss3-1d, AbstractVariable: libntfs-3g75, AbstractVariable: libntfs10, AbstractVariable: libntlm0, AbstractVariable: libnunit-cil-dev, AbstractVariable: libnunit2.4-cil, AbstractVariable: libobjc2, AbstractVariable: libogdi3.2, AbstractVariable: liboglappth2, AbstractVariable: liboil0.3, AbstractVariable: libomnithread3c2, AbstractVariable: libonig2, AbstractVariable: libooolib-perl, AbstractVariable: libopenbabel3, AbstractVariable: libopencore-amrnb0, AbstractVariable: libopencore-amrwb0, AbstractVariable: libopenjpeg2, AbstractVariable: libopenobex1, AbstractVariable: liborbit2, AbstractVariable: liborc-0.4-0, AbstractVariable: libossp-uuid16, AbstractVariable: libpam-ck-connector, AbstractVariable: libpam-gnome-keyring, AbstractVariable: libpaper-utils, AbstractVariable: libparse-debianchangelog-perl, AbstractVariable: libparserutils0, AbstractVariable: libparted0debian1, AbstractVariable: libpci3, AbstractVariable: libpciaccess0, AbstractVariable: libphonon4, AbstractVariable: libplasma3, AbstractVariable: libplist1, AbstractVariable: libplot2c2, AbstractVariable: libpolkit-agent-1-0, AbstractVariable: libpolkit-backend-1-0, AbstractVariable: libpolkit-gobject-1-0, AbstractVariable: libpolkit-qt-1-0, AbstractVariable: libpoppler-glib4, AbstractVariable: libpoppler5, AbstractVariable: libportlet-api-2.0-spec-java, AbstractVariable: libpostproc51, AbstractVariable: libpqxx-2.6.9ldbl, AbstractVariable: libproc-waitstat-perl, AbstractVariable: libproj0, AbstractVariable: libproxy0, AbstractVariable: libpstoedit0c2a, AbstractVariable: libpth20, AbstractVariable: libpthread-stubs0, AbstractVariable: libpthread-stubs0-dev, AbstractVariable: libpulse-browse0, AbstractVariable: libpulse-mainloop-glib0, AbstractVariable: libpulse0, AbstractVariable: libpulsecore5, AbstractVariable: libpython2.6, AbstractVariable: libqalculate5, AbstractVariable: libqca2, AbstractVariable: libqdbm14, AbstractVariable: libqgpgme1, AbstractVariable: libqt3-mt, AbstractVariable: libqt4-assistant, AbstractVariable: libqt4-dbus, AbstractVariable: libqt4-designer, AbstractVariable: libqt4-gui, AbstractVariable: libqt4-help, AbstractVariable: libqt4-network, AbstractVariable: libqt4-opengl, AbstractVariable: libqt4-qt3support, AbstractVariable: libqt4-script, AbstractVariable: libqt4-scripttools, AbstractVariable: libqt4-sql, AbstractVariable: libqt4-sql-mysql, AbstractVariable: libqt4-svg, AbstractVariable: libqt4-test, AbstractVariable: libqt4-webkit, AbstractVariable: libqt4-xml, AbstractVariable: libqt4-xmlpatterns, AbstractVariable: libqtcore4, AbstractVariable: libqtgui4, AbstractVariable: libraptor1, AbstractVariable: librasqal2, AbstractVariable: libraw1394-11, AbstractVariable: librdf0, AbstractVariable: libreadline6, AbstractVariable: libroken18-heimdal, AbstractVariable: librplay3, AbstractVariable: librsvg2-common, AbstractVariable: libsablot0, AbstractVariable: libsamplerate0, AbstractVariable: libsc-data, AbstractVariable: libsc7, AbstractVariable: libschroedinger-1.0-0, AbstractVariable: libsctp1, AbstractVariable: libsdl-image1.2, AbstractVariable: libsdl-mixer1.2, AbstractVariable: libsdl-ttf2.0-0, AbstractVariable: libsensors4, AbstractVariable: libservlet2.5-java, AbstractVariable: libsgutils1, AbstractVariable: libsgutils2-2, AbstractVariable: libshout3, AbstractVariable: libsidplay1, AbstractVariable: libsieve2-1, AbstractVariable: libsigsegv0, AbstractVariable: libslang2-modules, AbstractVariable: libsm-dev, AbstractVariable: libsmbclient, AbstractVariable: libsmpeg0, AbstractVariable: libsndfile1, AbstractVariable: libsolid4, AbstractVariable: libsoprano4, AbstractVariable: libsoup-gnome2.4-1, AbstractVariable: libsoup2.4-1, AbstractVariable: libspectre1, AbstractVariable: libspeex1, AbstractVariable: libspeexdsp1, AbstractVariable: libsqlite0, AbstractVariable: libsqlite3-ruby, AbstractVariable: libsqlite3-ruby1.8, AbstractVariable: libssh-4, AbstractVariable: libstdc++6-4.4-dev, AbstractVariable: libstreamanalyzer0, AbstractVariable: libstreams0, AbstractVariable: libstroke0, AbstractVariable: libsub-name-perl, AbstractVariable: libsyndication4, AbstractVariable: libtag1-vanilla, AbstractVariable: libtag1c2a, AbstractVariable: libtalloc2, AbstractVariable: libtdb1, AbstractVariable: libterm-readline-perl-perl, AbstractVariable: libtest-pod-perl, AbstractVariable: libthreadweaver4, AbstractVariable: libtidy-0.99-0, AbstractVariable: libtie-ixhash-perl, AbstractVariable: libtntnet8, AbstractVariable: libtokyocabinet8, AbstractVariable: libtotem-plparser17, AbstractVariable: libtre5, AbstractVariable: libtulip-3.1, AbstractVariable: libtwolame0, AbstractVariable: libudev0, AbstractVariable: libunique-1.0-0, AbstractVariable: libunistring0, AbstractVariable: libupower-glib1, AbstractVariable: libusb-1.0-0, AbstractVariable: libusbmuxd1, AbstractVariable: libutempter0, AbstractVariable: libuuid-perl, AbstractVariable: libv4l-0, AbstractVariable: libvcdinfo0, AbstractVariable: libvirtodbc0, AbstractVariable: libvisual-0.4-0, AbstractVariable: libvisual-0.4-plugins, AbstractVariable: libvncserver0, AbstractVariable: libvorbisfile3, AbstractVariable: libwavpack1, AbstractVariable: libwildmidi0, AbstractVariable: libwind0-heimdal, AbstractVariable: libwv-1.2-3, AbstractVariable: libwxbase2.8-0, AbstractVariable: libwxgtk2.8-0, AbstractVariable: libx11-dev, AbstractVariable: libx11-protocol-perl, AbstractVariable: libxau-dev, AbstractVariable: libxaw7, AbstractVariable: libxcb-atom1, AbstractVariable: libxcb-aux0, AbstractVariable: libxcb-event1, AbstractVariable: libxcb-icccm1, AbstractVariable: libxcb-keysyms1, AbstractVariable: libxcb-property1, AbstractVariable: libxcb-randr0, AbstractVariable: libxcb-shape0, AbstractVariable: libxcb-shm0, AbstractVariable: libxcb-xinerama0, AbstractVariable: libxcb-xlib0-dev, AbstractVariable: libxcb-xv0, AbstractVariable: libxcb1-dev, AbstractVariable: libxdmcp-dev, AbstractVariable: libxerces2-java-gcj, AbstractVariable: libxext-dev, AbstractVariable: libxfce4util-bin, AbstractVariable: libxfce4util-common, AbstractVariable: libxfce4util4, AbstractVariable: libxfconf-0-2, AbstractVariable: libxfont1, AbstractVariable: libxi-dev, AbstractVariable: libxine1, AbstractVariable: libxine1-bin, AbstractVariable: libxine1-console, AbstractVariable: libxine1-ffmpeg, AbstractVariable: libxine1-misc-plugins, AbstractVariable: libxine1-x, AbstractVariable: libxkbfile1, AbstractVariable: libxml-namespacesupport-perl, AbstractVariable: libxml-parser-perl, AbstractVariable: libxml-sax-expat-perl, AbstractVariable: libxml-sax-perl, AbstractVariable: libxml-simple-perl, AbstractVariable: libxml-twig-perl, AbstractVariable: libxml-xpathengine-perl, AbstractVariable: libxml2-utils, AbstractVariable: libxmu6, AbstractVariable: libxp6, AbstractVariable: libxslt1.1, AbstractVariable: libxss1, AbstractVariable: libxt-dev, AbstractVariable: libxv1, AbstractVariable: libxvmc1, AbstractVariable: libxxf86dga1, AbstractVariable: libxxf86vm1, AbstractVariable: libyajl1, AbstractVariable: lighttpd, AbstractVariable: linux-base, AbstractVariable: linux-headers-2.6.32-5-common-vserver, AbstractVariable: linux-headers-2.6.32-5-vserver-amd64, AbstractVariable: linux-image-2.6.32-5-amd64, AbstractVariable: linux-image-2.6.32-5-openvz-amd64, AbstractVariable: linux-image-2.6.32-5-vserver-amd64, AbstractVariable: linux-image-2.6.32-5-xen-amd64, AbstractVariable: linux-kbuild-2.6.32, AbstractVariable: linux-sound-base, AbstractVariable: lksctp-tools, AbstractVariable: lm-sensors, AbstractVariable: lmodern, AbstractVariable: luatex, AbstractVariable: lvm2, AbstractVariable: lxsession, AbstractVariable: lynx-cur, AbstractVariable: m4, AbstractVariable: manpages-dev, AbstractVariable: marble, AbstractVariable: marble-data, AbstractVariable: marble-plugins, AbstractVariable: maxima, AbstractVariable: maxima-doc, AbstractVariable: maxima-emacs, AbstractVariable: maxima-share, AbstractVariable: mdadm, AbstractVariable: menu, AbstractVariable: menu-xdg, AbstractVariable: mercurial, AbstractVariable: mercurial-common, AbstractVariable: mew-bin, AbstractVariable: mime-construct, AbstractVariable: mlterm, AbstractVariable: mlterm-common, AbstractVariable: mlterm-tools, AbstractVariable: module-assistant, AbstractVariable: mono-2.0-devel, AbstractVariable: mono-2.0-gac, AbstractVariable: mono-csharp-shell, AbstractVariable: mono-devel, AbstractVariable: mono-gac, AbstractVariable: mono-gmcs, AbstractVariable: mono-runtime, AbstractVariable: mono-xsp2, AbstractVariable: mono-xsp2-base, AbstractVariable: mpc, AbstractVariable: mpqc, AbstractVariable: msmtp, AbstractVariable: mtools, AbstractVariable: munin-common, AbstractVariable: mysql-server-core-5.1, AbstractVariable: nagios-images, AbstractVariable: nagios-plugins, AbstractVariable: ncurses-term, AbstractVariable: netpbm, AbstractVariable: netsurf-framebuffer-common, AbstractVariable: netsurf-gtk, AbstractVariable: netsurf-linuxfb, AbstractVariable: netsurf-sdl, AbstractVariable: netsurf-vnc, AbstractVariable: nslcd, AbstractVariable: ntfs-3g, AbstractVariable: ntfsprogs, AbstractVariable: obex-data-server, AbstractVariable: openjdk-6-jdk, AbstractVariable: openjdk-6-jre, AbstractVariable: openjdk-6-jre-headless, AbstractVariable: openjdk-6-jre-lib, AbstractVariable: oss-compat, AbstractVariable: oxygen-icon-theme, AbstractVariable: parley, AbstractVariable: parley-data, AbstractVariable: pax, AbstractVariable: pciutils, AbstractVariable: perl-tk, AbstractVariable: pgf, AbstractVariable: phonon, AbstractVariable: phonon-backend-gstreamer, AbstractVariable: pike7.6, AbstractVariable: pike7.6-core, AbstractVariable: pike7.6-doc, AbstractVariable: pike7.6-gdbm, AbstractVariable: pike7.6-image, AbstractVariable: pike7.6-manual, AbstractVariable: pike7.6-pcre, AbstractVariable: pike7.6-reference, AbstractVariable: pinentry-qt4, AbstractVariable: plasma-scriptengine-javascript, AbstractVariable: pm-utils, AbstractVariable: policykit-1, AbstractVariable: policykit-1-gnome, AbstractVariable: poppler-utils, AbstractVariable: postgresql, AbstractVariable: postgresql-8.4, AbstractVariable: postgresql-client, AbstractVariable: postgresql-client-8.4, AbstractVariable: postgresql-client-common, AbstractVariable: postgresql-common, AbstractVariable: postgresql-contrib, AbstractVariable: postgresql-contrib-8.4, AbstractVariable: powermgmt-base, AbstractVariable: ppthtml, AbstractVariable: preview-latex-style, AbstractVariable: proj-data, AbstractVariable: prosper, AbstractVariable: ps2eps, AbstractVariable: pstoedit, AbstractVariable: psutils, AbstractVariable: pulseaudio, AbstractVariable: pulseaudio-esound-compat, AbstractVariable: pulseaudio-module-x11, AbstractVariable: pulseaudio-module-zeroconf, AbstractVariable: pulseaudio-utils, AbstractVariable: purifyeps, AbstractVariable: pysycache, AbstractVariable: pysycache-buttons-beerabbit, AbstractVariable: pysycache-buttons-crapaud, AbstractVariable: pysycache-buttons-ice, AbstractVariable: pysycache-buttons-wolf, AbstractVariable: pysycache-click-dinosaurs, AbstractVariable: pysycache-click-sea, AbstractVariable: pysycache-dblclick-appleandpear, AbstractVariable: pysycache-dblclick-butterfly, AbstractVariable: pysycache-i18n, AbstractVariable: pysycache-images, AbstractVariable: pysycache-move-animals, AbstractVariable: pysycache-move-plants, AbstractVariable: pysycache-move-sky, AbstractVariable: pysycache-move-sports, AbstractVariable: pysycache-puzzle-cartoons, AbstractVariable: pysycache-puzzle-photos, AbstractVariable: pysycache-sounds, AbstractVariable: python-beaker, AbstractVariable: python-chardet, AbstractVariable: python-configobj, AbstractVariable: python-crypto, AbstractVariable: python-dbus, AbstractVariable: python-debian, AbstractVariable: python-egenix-mxdatetime, AbstractVariable: python-egenix-mxtools, AbstractVariable: python-feedparser, AbstractVariable: python-gobject, AbstractVariable: python-imaging, AbstractVariable: python-kinterbasdb, AbstractVariable: python-libxml2, AbstractVariable: python-lxml, AbstractVariable: python-magic, AbstractVariable: python-numpy, AbstractVariable: python-ooolib, AbstractVariable: python-openssl, AbstractVariable: python-paramiko, AbstractVariable: python-parsedatetime, AbstractVariable: python-pmw, AbstractVariable: python-pygame, AbstractVariable: python-pygments, AbstractVariable: python-pyicu, AbstractVariable: python-qt4, AbstractVariable: python-renderpm, AbstractVariable: python-reportlab, AbstractVariable: python-reportlab-accel, AbstractVariable: python-simplejson, AbstractVariable: python-sip, AbstractVariable: python-sqlalchemy, AbstractVariable: python-sqlalchemy-ext, AbstractVariable: python-tk, AbstractVariable: python-utidylib, AbstractVariable: python-werkzeug, AbstractVariable: python-xappy, AbstractVariable: python2.6, AbstractVariable: python2.6-minimal, AbstractVariable: python3.1, AbstractVariable: python3.1-minimal, AbstractVariable: qt4-qtconfig, AbstractVariable: radeontool, AbstractVariable: ratpoison, AbstractVariable: realpath, AbstractVariable: recode, AbstractVariable: rox-filer, AbstractVariable: rsync, AbstractVariable: runit, AbstractVariable: rxvt, AbstractVariable: rxvt-ml, AbstractVariable: samba-common-bin, AbstractVariable: sbcl, AbstractVariable: scrotwm, AbstractVariable: sensible-utils, AbstractVariable: sg3-utils, AbstractVariable: shared-desktop-ontologies, AbstractVariable: shared-mime-info, AbstractVariable: slsh, AbstractVariable: socklog, AbstractVariable: soprano-daemon, AbstractVariable: spawn-fcgi, AbstractVariable: stalonetray, AbstractVariable: stellarium, AbstractVariable: stellarium-data, AbstractVariable: step, AbstractVariable: stunnel4, AbstractVariable: sun-java6-bin, AbstractVariable: sun-java6-jre, AbstractVariable: svgalib1-libggi2, AbstractVariable: tcl8.4, AbstractVariable: tcl8.5, AbstractVariable: tex-common, AbstractVariable: texlive-base, AbstractVariable: texlive-binaries, AbstractVariable: texlive-common, AbstractVariable: texlive-doc-base, AbstractVariable: texlive-extra-utils, AbstractVariable: texlive-font-utils, AbstractVariable: texlive-fonts-extra, AbstractVariable: texlive-fonts-extra-doc, AbstractVariable: texlive-fonts-recommended, AbstractVariable: texlive-fonts-recommended-doc, AbstractVariable: texlive-generic-recommended, AbstractVariable: texlive-humanities, AbstractVariable: texlive-humanities-doc, AbstractVariable: texlive-latex-base, AbstractVariable: texlive-latex-base-doc, AbstractVariable: texlive-latex-extra, AbstractVariable: texlive-latex-extra-doc, AbstractVariable: texlive-latex-recommended, AbstractVariable: texlive-latex-recommended-doc, AbstractVariable: texlive-latex3, AbstractVariable: texlive-luatex, AbstractVariable: texlive-metapost, AbstractVariable: texlive-metapost-doc, AbstractVariable: texlive-pictures, AbstractVariable: texlive-pictures-doc, AbstractVariable: texlive-pstricks, AbstractVariable: texlive-pstricks-doc, AbstractVariable: texlive-publishers, AbstractVariable: texlive-publishers-doc, AbstractVariable: texpower, AbstractVariable: texpower-manual, AbstractVariable: thttpd, AbstractVariable: tightvncserver, AbstractVariable: tipa, AbstractVariable: tk8.5, AbstractVariable: tkcvs, AbstractVariable: tntnet-runtime, AbstractVariable: tsconf, AbstractVariable: ttf-arphic-uming, AbstractVariable: ttf-bitstream-vera, AbstractVariable: ttf-dustin, AbstractVariable: ttf-freefont, AbstractVariable: ttf-jsmath, AbstractVariable: ttf-kochi-gothic-naga10, AbstractVariable: ttf-kochi-mincho, AbstractVariable: ttf-liberation, AbstractVariable: ttf-lyx, AbstractVariable: ttf-sazanami-gothic, AbstractVariable: ttf-sazanami-mincho, AbstractVariable: ttf-unfonts-core, AbstractVariable: ttf-unfonts-extra, AbstractVariable: tzdata-java, AbstractVariable: ucspi-unix, AbstractVariable: ude, AbstractVariable: udev, AbstractVariable: udisks, AbstractVariable: ufraw-batch, AbstractVariable: upower, AbstractVariable: usbmuxd, AbstractVariable: usbutils, AbstractVariable: util-vserver, AbstractVariable: uwm, AbstractVariable: vcdimager, AbstractVariable: virtualbox-ose-guest-source, AbstractVariable: virtualbox-ose-guest-utils, AbstractVariable: virtualbox-ose-guest-x11, AbstractVariable: virtuoso-minimal, AbstractVariable: virtuoso-opensource-6.1-bin, AbstractVariable: virtuoso-opensource-6.1-common, AbstractVariable: vnc4server, AbstractVariable: vzctl, AbstractVariable: vzquota, AbstractVariable: w3-el-e21, AbstractVariable: w3-url-e21, AbstractVariable: w3m, AbstractVariable: w3mmee, AbstractVariable: wamerican-huge, AbstractVariable: whois, AbstractVariable: wmii2, AbstractVariable: wmii2-doc, AbstractVariable: wodim, AbstractVariable: wv, AbstractVariable: wxmaxima, AbstractVariable: x-dev, AbstractVariable: x-ttcidfont-conf, AbstractVariable: x11-apps, AbstractVariable: x11-session-utils, AbstractVariable: x11-utils, AbstractVariable: x11-xfs-utils, AbstractVariable: x11-xkb-utils, AbstractVariable: x11-xserver-utils, AbstractVariable: x11proto-core-dev, AbstractVariable: x11proto-input-dev, AbstractVariable: x11proto-kb-dev, AbstractVariable: x11proto-xext-dev, AbstractVariable: xaw3dg, AbstractVariable: xbase-clients, AbstractVariable: xdg-utils, AbstractVariable: xfce4-icon-theme, AbstractVariable: xfconf, AbstractVariable: xfonts-75dpi, AbstractVariable: xfonts-base, AbstractVariable: xfonts-encodings, AbstractVariable: xfonts-terminus, AbstractVariable: xfonts-utils, AbstractVariable: xindy, AbstractVariable: xindy-rules, AbstractVariable: xinit, AbstractVariable: xkb-data, AbstractVariable: xlhtml, AbstractVariable: xloadimage, AbstractVariable: xlockmore, AbstractVariable: xpdf-common, AbstractVariable: xscreensaver, AbstractVariable: xscreensaver-data, AbstractVariable: xserver-common, AbstractVariable: xserver-xephyr, AbstractVariable: xserver-xorg, AbstractVariable: xserver-xorg-core, AbstractVariable: xserver-xorg-input-evdev, AbstractVariable: xtrans-dev] # starts : 127 # conflicts : 212935 # decisions : 2679010 # propagations : 93261911 # inspects : 284252621 # learnt literals : 75 # learnt binary clauses : 1104 # learnt ternary clauses : 1160 # learnt clauses : 212860 # ignored clauses : 0 # root simplifications : 0 # removed literals (reason simplification) : 8122264 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 16 # number of reductions to clauses (during analyze) : 0 # number of learned constraints concerned by reduction : 0 # number of learning phase by resolution : 0 # number of learning phase by cutting planes : 0 # speed (assignments/second) : 345502.780340161 # non guided choices 184886 # learnt constraints type #Solving done (283.17s). #Solution contains:1895