ABORT 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 15:26:37 UTC 2010 #Using input file /home/misc2010/data/2010/impossible/rand332173.cudf #Using ouput file /home/misc2010/tmp/201007051419/p2cudf-trendy-1.6/rand332173.cudf.impossible.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:3296 #Parsing done (3.297s). #Solving ... #Request size: 801 #Number of packages after slice: 15861 #Slice efficiency: 86% ## 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@2f1921 # 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 36877 185935 # Current objective function value: 47040536550073(6.295s) # Current objective function value: 32312578909400(16.926s) # Current objective function value: 27517186921724(26.405s) # Current objective function value: 15644720485185(31.248s) # cleaning 1940 clauses out of 4940 with flag 5000/5000 # Current objective function value: 12105618706246(37.211s) # cleaning 3885 clauses out of 8932 with flag 11000/11000 # cleaning 4401 clauses out of 12008 with flag 18001/18001 # cleaning 5862 clauses out of 15602 with flag 26000/26000 # Trendy criteria value: -106, -221, -45, -373 # Proof: [AbstractVariable: amanda-client, AbstractVariable: amsn, AbstractVariable: aptitude, AbstractVariable: autoconf, AbstractVariable: automake1.4, AbstractVariable: bison, AbstractVariable: capplets, AbstractVariable: console-common, AbstractVariable: emacs21, AbstractVariable: emacs21-bin-common, AbstractVariable: emacs21-common, AbstractVariable: emacs21-el, AbstractVariable: flex, AbstractVariable: gftp, AbstractVariable: gftp-text, AbstractVariable: git-core, AbstractVariable: git-gui, AbstractVariable: gitk, AbstractVariable: gitweb, AbstractVariable: gnome-control-center, AbstractVariable: gnome-panel, AbstractVariable: gnome-panel-data, AbstractVariable: gnome-session, AbstractVariable: gnome-terminal, AbstractVariable: groff, AbstractVariable: iamerican, AbstractVariable: kalzium, AbstractVariable: kile, AbstractVariable: libbonobo2-0, AbstractVariable: libbonoboui2-0, AbstractVariable: libdps1, AbstractVariable: libecal6, AbstractVariable: libedataserver3, AbstractVariable: libeel2-2, AbstractVariable: libgail-common, AbstractVariable: libgail17, AbstractVariable: libgmp3-dev, AbstractVariable: libgnome-desktop-2, AbstractVariable: libgnome2-0, AbstractVariable: libgnomecanvas2-0, AbstractVariable: libgnomecanvas2-common, AbstractVariable: libgnomeprintui2.2-0, AbstractVariable: libgnomeui-0, AbstractVariable: libgnomevfs2-0, AbstractVariable: libgnomevfs2-common, AbstractVariable: libmagick6, AbstractVariable: libnautilus2-2, AbstractVariable: libpanel-applet2-0, AbstractVariable: librsvg2-bin, AbstractVariable: libsasl2, AbstractVariable: libstlport4.6, AbstractVariable: libxft1, AbstractVariable: linux-kernel-headers, AbstractVariable: lmodern, AbstractVariable: localeconf, AbstractVariable: locales, AbstractVariable: localization-config, AbstractVariable: lprng-doc, AbstractVariable: m4, AbstractVariable: mailman, AbstractVariable: mozilla-firefox-locale-de, AbstractVariable: mozilla-firefox-locale-de-de, AbstractVariable: mozplugger, AbstractVariable: mutt, AbstractVariable: nautilus, AbstractVariable: openclipart-openoffice.org, AbstractVariable: openoffice.org, AbstractVariable: openoffice.org-bin, AbstractVariable: openoffice.org-debian-files, AbstractVariable: openssh-client, AbstractVariable: openssh-server, AbstractVariable: ppp, AbstractVariable: pppconfig, AbstractVariable: pppoe, AbstractVariable: pwgen, AbstractVariable: pyrex-mode, AbstractVariable: python-ldap, AbstractVariable: python-mode, AbstractVariable: python-pyrex, AbstractVariable: python2.3-ldap, AbstractVariable: python2.3-subversion, AbstractVariable: pyzor, AbstractVariable: sendmail, AbstractVariable: sendmail-base, AbstractVariable: sendmail-bin, AbstractVariable: sox, AbstractVariable: spamassassin, AbstractVariable: spamc, AbstractVariable: subversion, AbstractVariable: subversion-tools, AbstractVariable: tasksel, AbstractVariable: tetex-base, AbstractVariable: tetex-bin, AbstractVariable: tetex-doc, AbstractVariable: tetex-extra, AbstractVariable: tetex-frogg, AbstractVariable: texinfo, AbstractVariable: uw-imapd, AbstractVariable: x-ttcidfont-conf, AbstractVariable: xfonts-base, AbstractVariable: xfonts-konsole, AbstractVariable: xfree86-common, AbstractVariable: xlibs, AbstractVariable: xprint, AbstractVariable: xprt-xprintorg, AbstractVariable: xutils, AbstractVariable: amanda-common, AbstractVariable: amanda-server, AbstractVariable: apache2-mpm-prefork, AbstractVariable: apache2-utils, AbstractVariable: apt, AbstractVariable: apt-utils, AbstractVariable: at, AbstractVariable: bash, AbstractVariable: bc, AbstractVariable: belocs-locales-bin, AbstractVariable: build-essential, AbstractVariable: capplets-data, AbstractVariable: cpp, AbstractVariable: cpp-3.3, AbstractVariable: cron, AbstractVariable: darcs, AbstractVariable: dash, AbstractVariable: debhelper, AbstractVariable: discover1, AbstractVariable: dmsetup, AbstractVariable: dpkg, AbstractVariable: dpkg-dev, AbstractVariable: dselect, AbstractVariable: elinks, AbstractVariable: emacs23-bin-common, AbstractVariable: emacs23-common, AbstractVariable: emacs23-nox, AbstractVariable: ethereal, AbstractVariable: ethereal-common, AbstractVariable: fixincludes, AbstractVariable: ftp, AbstractVariable: g++, AbstractVariable: g++-3.3, AbstractVariable: gcc, AbstractVariable: gcc-3.3, AbstractVariable: gcc-3.3-base, AbstractVariable: gcc-doc, AbstractVariable: gconf2, AbstractVariable: gdb, AbstractVariable: gdk-imlib1, AbstractVariable: gdk-imlib11, AbstractVariable: gksu, AbstractVariable: gnome-bin, AbstractVariable: gnome-keyring, AbstractVariable: gnome-libs-data, AbstractVariable: gnome-themes, AbstractVariable: gnupg, AbstractVariable: grub, AbstractVariable: gtk-smooth-themes, AbstractVariable: gtk2-engines-crux, AbstractVariable: gtk2-engines-lighthouseblue, AbstractVariable: gtk2-engines-mist, AbstractVariable: gtk2-engines-redmond95, AbstractVariable: gtk2-engines-thinice, AbstractVariable: hostname, AbstractVariable: hotplug, AbstractVariable: intltool-debian, AbstractVariable: ipmitool, AbstractVariable: ipsec-tools, AbstractVariable: kdelibs-bin, AbstractVariable: kdelibs-data, AbstractVariable: kdvi, AbstractVariable: kghostview, AbstractVariable: konsole, AbstractVariable: kviewshell, AbstractVariable: ledit, AbstractVariable: libaa1, AbstractVariable: libapache2-mod-php4, AbstractVariable: libapt-pkg-perl, AbstractVariable: libaspell-dev, AbstractVariable: libaspell15, AbstractVariable: libavahi-common3, AbstractVariable: libbonoboui2-common, AbstractVariable: libc-bin, AbstractVariable: libc-dev-bin, AbstractVariable: libc6, AbstractVariable: libc6-dev, AbstractVariable: libcairo2, AbstractVariable: libcairo2-dev, AbstractVariable: libcameleon-ocaml-dev, AbstractVariable: libcompress-zlib-perl, AbstractVariable: libdbi-perl, AbstractVariable: libdevmapper1.02.1, AbstractVariable: libdigest-sha1-perl, AbstractVariable: libfontenc1, AbstractVariable: libfreezethaw-perl, AbstractVariable: libgconf2-4, AbstractVariable: libglib1.2-dev, AbstractVariable: libgnome-keyring0, AbstractVariable: libgnome2-common, AbstractVariable: libgnome32, AbstractVariable: libgnomesupport0, AbstractVariable: libgnomeui32, AbstractVariable: libgnorba27, AbstractVariable: libgnorbagtk0, AbstractVariable: libgsasl7, AbstractVariable: libgstreamer-plugins-base0.10-0, AbstractVariable: libgstreamer0.10-0, AbstractVariable: libgtk1.2, AbstractVariable: libgtk1.2-dev, AbstractVariable: libgtkspell-dev, AbstractVariable: libgtkspell0, AbstractVariable: libhtml-parser-perl, AbstractVariable: libio-socket-ssl-perl, AbstractVariable: libkrb53, AbstractVariable: liblablgtk2-ocaml, AbstractVariable: liblablgtk2-ocaml-dev, AbstractVariable: liblocale-gettext-perl, AbstractVariable: libmetacity0, AbstractVariable: libnet-dns-perl, AbstractVariable: libnet-ssleay-perl, AbstractVariable: libnspr4-0d, AbstractVariable: libopenraw1, AbstractVariable: libopenrawgnome1, AbstractVariable: libpam-modules, AbstractVariable: libpam-runtime, AbstractVariable: libpango1.0-0, AbstractVariable: libpango1.0-dev, AbstractVariable: libpaper-utils, AbstractVariable: libpaper1, AbstractVariable: libperl5.8, AbstractVariable: libportaudio0, AbstractVariable: libreadline5, AbstractVariable: libselinux1, AbstractVariable: libsepol1, AbstractVariable: libsmbclient, AbstractVariable: libstdc++5, AbstractVariable: libstdc++5-3.3-dev, AbstractVariable: libtext-charwidth-perl, AbstractVariable: libtext-iconv-perl, AbstractVariable: libthai-data, AbstractVariable: libthai0, AbstractVariable: libvte-common, AbstractVariable: libxcomposite-dev, AbstractVariable: libxcomposite1, AbstractVariable: libxml-light-ocaml-dev, AbstractVariable: libxml2-utils, AbstractVariable: libxrandr-dev, AbstractVariable: libxrandr2, AbstractVariable: libxss1, AbstractVariable: lprng, AbstractVariable: lvm2, AbstractVariable: maildrop, AbstractVariable: mailx, AbstractVariable: menu-xdg, AbstractVariable: metacity, AbstractVariable: metamail, AbstractVariable: module-init-tools, AbstractVariable: mount, AbstractVariable: mozilla, AbstractVariable: mozilla-browser, AbstractVariable: mozilla-firefox, AbstractVariable: mozilla-firefox-locale-en-gb, AbstractVariable: mozilla-firefox-locale-fr-fr, AbstractVariable: mozilla-mailnews, AbstractVariable: mozilla-psm, AbstractVariable: mozilla-thunderbird, AbstractVariable: mozilla-thunderbird-locale-de, AbstractVariable: mozilla-thunderbird-locale-fr, AbstractVariable: mozilla-thunderbird-locale-it, AbstractVariable: msmtp, AbstractVariable: msmtp-mta, AbstractVariable: nautilus-data, AbstractVariable: nfs-common, AbstractVariable: nfs-kernel-server, AbstractVariable: nis, AbstractVariable: ntp, AbstractVariable: ntpdate, AbstractVariable: nvi, AbstractVariable: ocaml-base-nox, AbstractVariable: ocaml-interp, AbstractVariable: ocaml-nox, AbstractVariable: openipmi, AbstractVariable: openoffice.org-common, AbstractVariable: openoffice.org-core, AbstractVariable: openoffice.org-l10n-fr, AbstractVariable: openoffice.org-l10n-rw, AbstractVariable: openoffice.org-style-andromeda, AbstractVariable: openssh-blacklist, AbstractVariable: openswan, AbstractVariable: passwd, AbstractVariable: perl, AbstractVariable: perl-base, AbstractVariable: perl-modules, AbstractVariable: perl-tk, AbstractVariable: php4-common, AbstractVariable: po-debconf, AbstractVariable: procmail, AbstractVariable: python, AbstractVariable: python-gdbm, AbstractVariable: python-gnupginterface, AbstractVariable: python-pyparsing, AbstractVariable: python2.4, AbstractVariable: quota, AbstractVariable: racoon, AbstractVariable: razor, AbstractVariable: rmail, AbstractVariable: runit, AbstractVariable: rxvt, AbstractVariable: sendmail-cf, AbstractVariable: sp, AbstractVariable: squirrelmail, AbstractVariable: squirrelmail-locales, AbstractVariable: ssh, AbstractVariable: sysvinit, AbstractVariable: tk8.4, AbstractVariable: unison, AbstractVariable: unison-gtk, AbstractVariable: update-inetd, AbstractVariable: virtualbox-ose-guest-source, AbstractVariable: virtualbox-ose-guest-utils, AbstractVariable: wbritish, AbstractVariable: whiptail, AbstractVariable: x11-utils, AbstractVariable: x11proto-randr-dev, AbstractVariable: xbase-clients, AbstractVariable: xdg-utils, AbstractVariable: xlibmesa-gl, AbstractVariable: xlibs-static-dev, AbstractVariable: xserver-common, AbstractVariable: xterm, AbstractVariable: 4877503, AbstractVariable: 17478435, AbstractVariable: 13121387, AbstractVariable: 8112281, AbstractVariable: 31571602, AbstractVariable: 29656818, AbstractVariable: 14418997, AbstractVariable: 11037970, AbstractVariable: 12195679, AbstractVariable: 7224872, AbstractVariable: 2153655, AbstractVariable: 30318493, AbstractVariable: 16179205, AbstractVariable: 25935000, AbstractVariable: 8054599, AbstractVariable: 28516313, AbstractVariable: 15150860, AbstractVariable: 17901302, AbstractVariable: 16372983, AbstractVariable: 12684953, AbstractVariable: 8505893, AbstractVariable: 7374187, AbstractVariable: 21445166, AbstractVariable: 23654984, AbstractVariable: 25760114, AbstractVariable: 8238932, AbstractVariable: 6251340, AbstractVariable: 9788212, AbstractVariable: 14804327, AbstractVariable: 12341829, AbstractVariable: 28278376, AbstractVariable: 9700259, AbstractVariable: 23669321, AbstractVariable: 30621423, AbstractVariable: 4469532, AbstractVariable: 18480286, AbstractVariable: 4249529, AbstractVariable: 2006079, AbstractVariable: 22053258, AbstractVariable: 31664619, AbstractVariable: 1899350, AbstractVariable: 20314908, AbstractVariable: 12488210, AbstractVariable: 29263776, AbstractVariable: 28982303, AbstractVariable: altgcc, AbstractVariable: anacron, AbstractVariable: aolserver4-core, AbstractVariable: aolserver4-daemon, AbstractVariable: aspell-ukr, AbstractVariable: bash-completion, AbstractVariable: bcc, AbstractVariable: belocs-locales-bin, AbstractVariable: belocs-locales-data, AbstractVariable: bin86, AbstractVariable: build-essential, AbstractVariable: ca-certificates, AbstractVariable: cpp-3.4, AbstractVariable: cpp-4.2, AbstractVariable: dcd, AbstractVariable: debian-keyring, AbstractVariable: debootstrap, AbstractVariable: dhcp3-client, AbstractVariable: dhcp3-common, AbstractVariable: diffutils, AbstractVariable: discover-data, AbstractVariable: elks-libc, AbstractVariable: emacs23-bin-common, AbstractVariable: emacs23-common, AbstractVariable: emacs23-nox, AbstractVariable: erlang-base-hipe, AbstractVariable: erlang-crypto, AbstractVariable: erlang-syntax-tools, AbstractVariable: exiv2, AbstractVariable: fancontrol, AbstractVariable: fixincludes, AbstractVariable: fontconfig-config, AbstractVariable: freepats, AbstractVariable: gambas2-gb-sdl, AbstractVariable: gambas2-runtime, AbstractVariable: gcc-3.4, AbstractVariable: gcc-3.4-base, AbstractVariable: gcc-4.2, AbstractVariable: gcc-4.2-base, AbstractVariable: gcc-4.4-base, AbstractVariable: gdk-imlib11, AbstractVariable: geoip-database, AbstractVariable: ghostscript, AbstractVariable: ghostscript-x, AbstractVariable: gutenprint-locales, AbstractVariable: i2c-2.4.27-3-386, AbstractVariable: i2c-2.4.27-3-586tsc, AbstractVariable: i2c-2.4.27-3-686, AbstractVariable: i2c-2.4.27-3-686-smp, AbstractVariable: i2c-2.4.27-3-k6, AbstractVariable: i2c-2.4.27-3-k7, AbstractVariable: i2c-2.4.27-3-k7-smp, AbstractVariable: insserv, AbstractVariable: install-info, AbstractVariable: kdelibs5-data, AbstractVariable: kernel-image-2.4.27-3-386, AbstractVariable: kernel-image-2.4.27-3-586tsc, AbstractVariable: kernel-image-2.4.27-3-686, AbstractVariable: kernel-image-2.4.27-3-686-smp, AbstractVariable: kernel-image-2.4.27-3-k6, AbstractVariable: kernel-image-2.4.27-3-k7, AbstractVariable: kernel-image-2.4.27-3-k7-smp, AbstractVariable: ldso, AbstractVariable: ledit, AbstractVariable: liba52-0.7.4, AbstractVariable: libaa1, AbstractVariable: libaspell-dev, AbstractVariable: libattica0, AbstractVariable: libavahi-client3, AbstractVariable: libavahi-common-data, AbstractVariable: libavahi-common3, AbstractVariable: libbg1, AbstractVariable: libbg1-doc, AbstractVariable: libbind9-60, AbstractVariable: libbsd0, AbstractVariable: libbz2-dev, AbstractVariable: libc-bin, AbstractVariable: libc-dev-bin, AbstractVariable: libc5, AbstractVariable: libc5-altdev, AbstractVariable: libcaca0, AbstractVariable: libcairo2, AbstractVariable: libcairo2-dev, AbstractVariable: libcameleon-ocaml-dev, AbstractVariable: libcap2, AbstractVariable: libclucene0ldbl, AbstractVariable: libcups2, AbstractVariable: libcupsimage2, AbstractVariable: libdatrie0, AbstractVariable: libdb4.4, AbstractVariable: libdb4.7, AbstractVariable: libdb4.8, AbstractVariable: libdbus-1-3, AbstractVariable: libdevmapper1.02, AbstractVariable: libdevmapper1.02.1, AbstractVariable: libdirectfb-0.9-25, AbstractVariable: libdirectfb-1.2-9, AbstractVariable: libdirectfb-dev, AbstractVariable: libdirectfb-extra, AbstractVariable: libdns64, AbstractVariable: libdv4, AbstractVariable: libdvdnav4, AbstractVariable: libdvdread3, AbstractVariable: libdvdread4, AbstractVariable: libexiv2-0.10, AbstractVariable: libexiv2-4, AbstractVariable: libexiv2-5, AbstractVariable: libexiv2-6, AbstractVariable: libfam0, AbstractVariable: libffi5, AbstractVariable: libflac8, AbstractVariable: libfontenc1, AbstractVariable: libfreezethaw-perl, AbstractVariable: libfs6, AbstractVariable: libgda3-3, AbstractVariable: libgda3-common, AbstractVariable: libgeoip1, AbstractVariable: libgif4, AbstractVariable: libgii1, AbstractVariable: libgii1-target-x, AbstractVariable: libglade2-dev, AbstractVariable: libglu1-mesa, AbstractVariable: libgnutls13, AbstractVariable: libgnutls26, AbstractVariable: libgomp1, AbstractVariable: libgpm2, AbstractVariable: libgpod-common, AbstractVariable: libgpod0, AbstractVariable: libgpod3, AbstractVariable: libgpod4, AbstractVariable: libgps19, AbstractVariable: libgs8, AbstractVariable: libgsasl7, AbstractVariable: libgsf-1-114, AbstractVariable: libgsf-1-common, AbstractVariable: libgsf-1-dev, AbstractVariable: libgssapi-krb5-2, AbstractVariable: libgstreamer-plugins-base0.10-0, AbstractVariable: libgstreamer0.10-0, AbstractVariable: libgtkspell-dev, AbstractVariable: libgtkspell0, AbstractVariable: libgutenprint2, AbstractVariable: libgutenprintui2-1, AbstractVariable: libhowl0, AbstractVariable: libhubbub0, AbstractVariable: libice-dev, AbstractVariable: libicu36, AbstractVariable: libidl-dev, AbstractVariable: libisc60, AbstractVariable: libisccc60, AbstractVariable: libisccfg60, AbstractVariable: libjasper1, AbstractVariable: libjbig2dec0, AbstractVariable: libjpeg62-dev, AbstractVariable: libjpeg8, AbstractVariable: libk5crypto3, AbstractVariable: libkdecore5, AbstractVariable: libkdeui5, AbstractVariable: libkeyutils1, AbstractVariable: libkio5, AbstractVariable: libknewstuff2-4, AbstractVariable: libknewstuff3-4, AbstractVariable: libkrb5-3, AbstractVariable: libkrb5support0, AbstractVariable: liblablgtk2-ocaml, AbstractVariable: liblablgtk2-ocaml-dev, AbstractVariable: libldap-2.4-2, AbstractVariable: liblqr-1-0, AbstractVariable: libltdl-dev, AbstractVariable: libltdl7, AbstractVariable: liblwres60, AbstractVariable: liblzma2, AbstractVariable: libmagickcore2, AbstractVariable: libmagickcore3, AbstractVariable: libmagickwand3, AbstractVariable: libmarblewidget4, AbstractVariable: libmercator-0.2-6, AbstractVariable: libmercator-0.2-dev, AbstractVariable: libmldbm-perl, AbstractVariable: libmpeg3-1, AbstractVariable: libmpeg3-dev, AbstractVariable: libmusicbrainz4c2a, AbstractVariable: libmysqlclient14, AbstractVariable: libmysqlclient14-dev, AbstractVariable: libneon25, AbstractVariable: libneon27-gnutls, AbstractVariable: libnfnetlink0, AbstractVariable: libnsbmp0, AbstractVariable: libnsgif0, AbstractVariable: libnspr4-0d, AbstractVariable: libnss3-0d, AbstractVariable: libopenraw1, AbstractVariable: libopenrawgnome1, AbstractVariable: liborbit2-dev, AbstractVariable: libparserutils0, AbstractVariable: libpci3, AbstractVariable: libpixman-1-0, AbstractVariable: libpixman-1-dev, AbstractVariable: libpng12-dev, AbstractVariable: libportaudio0, AbstractVariable: libpthread-stubs0, AbstractVariable: libpthread-stubs0-dev, AbstractVariable: libqca2, AbstractVariable: libqt4-dbus, AbstractVariable: libqt4-designer, AbstractVariable: libqt4-network, AbstractVariable: libqt4-phonon, AbstractVariable: libqt4-qt3support, AbstractVariable: libqt4-script, AbstractVariable: libqt4-sql, AbstractVariable: libqt4-sql-sqlite2, AbstractVariable: libqt4-svg, AbstractVariable: libqt4-webkit, AbstractVariable: libqt4-xml, AbstractVariable: libqt4-xmlpatterns, AbstractVariable: libqtcore4, AbstractVariable: libqtgui4, AbstractVariable: librarian0, AbstractVariable: libsasl2-2, AbstractVariable: libsdl-image1.2, AbstractVariable: libsdl1.2debian, AbstractVariable: libsdl1.2debian-esd, AbstractVariable: libsensors4, AbstractVariable: libsepol1, AbstractVariable: libsgutils2-2, AbstractVariable: libslang2, AbstractVariable: libsm-dev, AbstractVariable: libsolid4, AbstractVariable: libsqlite0, AbstractVariable: libsqlite3-0, AbstractVariable: libssh2-1, AbstractVariable: libssl0.9.8, AbstractVariable: libstdc++6, AbstractVariable: libstlport4.6c2, AbstractVariable: libstreamanalyzer0, AbstractVariable: libstreams0, AbstractVariable: libsys-hostname-long-perl, AbstractVariable: libsysfs-dev, AbstractVariable: libsysfs2, AbstractVariable: libtasn1-3, AbstractVariable: libthai-data, AbstractVariable: libthai0, AbstractVariable: libts-0.0-0, AbstractVariable: libunistring0, AbstractVariable: libv4l-0, AbstractVariable: libvisual-0.4-0, AbstractVariable: libvisual-0.4-plugins, AbstractVariable: libvncserver0, AbstractVariable: libwfmath-0.3-4, AbstractVariable: libwfmath-0.3-dev, AbstractVariable: libwildmidi0, AbstractVariable: libx11-data, AbstractVariable: libx86-1, AbstractVariable: libxau-dev, AbstractVariable: libxau6, AbstractVariable: libxcb-atom1, AbstractVariable: libxcb-aux0, AbstractVariable: libxcb-event1, AbstractVariable: libxcb1, AbstractVariable: libxcb1-dev, AbstractVariable: libxcomposite-dev, AbstractVariable: libxcomposite1, AbstractVariable: libxcursor-dev, AbstractVariable: libxdamage-dev, AbstractVariable: libxdamage1, AbstractVariable: libxdmcp-dev, AbstractVariable: libxdmcp6, AbstractVariable: libxfce4util-bin, AbstractVariable: libxfce4util-common, AbstractVariable: libxfce4util4, AbstractVariable: libxfixes-dev, AbstractVariable: libxfixes3, AbstractVariable: libxine1-bin, AbstractVariable: libxine1-console, AbstractVariable: libxine1-dbg, AbstractVariable: libxinerama-dev, AbstractVariable: libxinerama1, AbstractVariable: libxkbfile1, AbstractVariable: libxml-light-ocaml-dev, AbstractVariable: libxml2-dev, AbstractVariable: libxml2-utils, AbstractVariable: libxrandr-dev, AbstractVariable: libxss1, AbstractVariable: libxxf86dga1, AbstractVariable: libxxf86vm1, AbstractVariable: linux-libc-dev, AbstractVariable: lm-sensors, AbstractVariable: lm-sensors-2.4.27-3-386, AbstractVariable: lm-sensors-2.4.27-3-586tsc, AbstractVariable: lm-sensors-2.4.27-3-686, AbstractVariable: lm-sensors-2.4.27-3-686-smp, AbstractVariable: lm-sensors-2.4.27-3-k6, AbstractVariable: lm-sensors-2.4.27-3-k7, AbstractVariable: lm-sensors-2.4.27-3-k7-smp, AbstractVariable: lsb-base, AbstractVariable: marble-data, AbstractVariable: marble-plugins, AbstractVariable: mdadm, AbstractVariable: mdnsresponder, AbstractVariable: metamail, AbstractVariable: msmtp, AbstractVariable: msmtp-mta, AbstractVariable: mysql-common, AbstractVariable: netcat-traditional, AbstractVariable: netsurf-framebuffer-common, AbstractVariable: netsurf-gtk, AbstractVariable: netsurf-linuxfb, AbstractVariable: netsurf-sdl, AbstractVariable: netsurf-vnc, AbstractVariable: nmh, AbstractVariable: ocaml-base-nox, AbstractVariable: ocaml-interp, AbstractVariable: ocaml-nox, AbstractVariable: ocaml-tools, AbstractVariable: openoffice.org-common, AbstractVariable: openoffice.org-core, AbstractVariable: openoffice.org-l10n-rw, AbstractVariable: openoffice.org-style-andromeda, AbstractVariable: openssh-blacklist, AbstractVariable: openssh-blacklist-extra, AbstractVariable: orbit2, AbstractVariable: oss-compat, AbstractVariable: pike7.4-core, AbstractVariable: pike7.4-image, AbstractVariable: python-gnupginterface, AbstractVariable: python2.4-minimal, AbstractVariable: qt4-qtconfig, AbstractVariable: rarian-compat, AbstractVariable: runit, AbstractVariable: rxvt, AbstractVariable: rxvt-ml, AbstractVariable: sensible-utils, AbstractVariable: socklog, AbstractVariable: ssh, AbstractVariable: sysvinit-utils, AbstractVariable: thttpd, AbstractVariable: tla, AbstractVariable: tla-doc, AbstractVariable: tsconf, AbstractVariable: tzdata, AbstractVariable: ude, AbstractVariable: ufraw-batch, AbstractVariable: unzip, AbstractVariable: update-inetd, AbstractVariable: uuid-runtime, AbstractVariable: uwm, AbstractVariable: vim-runtime, AbstractVariable: virtualbox-ose-guest-source, AbstractVariable: virtualbox-ose-guest-utils, AbstractVariable: vzctl, AbstractVariable: vzquota, AbstractVariable: x11-common, AbstractVariable: x11-utils, AbstractVariable: x11-xserver-utils, AbstractVariable: x11proto-composite-dev, AbstractVariable: x11proto-core-dev, AbstractVariable: x11proto-damage-dev, AbstractVariable: x11proto-fixes-dev, AbstractVariable: x11proto-input-dev, AbstractVariable: x11proto-kb-dev, AbstractVariable: x11proto-randr-dev, AbstractVariable: x11proto-render-dev, AbstractVariable: x11proto-video-dev, AbstractVariable: x11proto-xext-dev, AbstractVariable: x11proto-xinerama-dev, AbstractVariable: xbitmaps, AbstractVariable: xcursor-themes, AbstractVariable: xdg-utils, AbstractVariable: xfonts-encodings, AbstractVariable: xinetd, AbstractVariable: xlockmore, AbstractVariable: xtrans-dev, AbstractVariable: zip] # starts : 50 # conflicts : 31278 # decisions : 10492857 # propagations : 81663351 # inspects : 253441593 # learnt literals : 172 # learnt binary clauses : 8451 # learnt ternary clauses : 5961 # learnt clauses : 31106 # ignored clauses : 0 # root simplifications : 0 # removed literals (reason simplification) : 495932 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 4 # 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) : 335955.3353244637 # non guided choices 1084133 # learnt constraints type #Solving done (283.564s). #Solution contains:996