# Solver launched on Mon Sep 03 06:41:25 UTC 2012 # Using input file /home/competition/data/upgrade/difficult/rand21.cudf # Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand21.cudf.result # Objective function -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) # Timeout 285s # java.runtime.name OpenJDK Runtime Environment # java.vm.name OpenJDK 64-Bit Server VM # java.vm.version 20.0-b12 # java.vm.vendor Sun Microsystems Inc. # sun.arch.data.model 64 # java.version 1.6.0_24 # os.name Linux # os.version 2.6.32-5-amd64 # os.arch amd64 # Free memory 655262992 # Max memory 658898944 # Total memory 658898944 # Number of processors 1 # Parsing ... # Time to parse:7910 # Parsing done (7.916s). # Solving ... # Request size: 1027 # Number of packages after slice: 13371 # Slice efficiency: 84% # --- Begin Solver configuration --- # org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63b9240e # 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 # Simple reason simplification # luby style (SATZ_rand, TiniSAT) restarts strategy with factor 512 # Glucose 2 learned constraints deletion strategy # timeout=285s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: User defined:-count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) # criteria removed size is 950 using new vars 18221 to 19171 # criteria sum(installedsize) size is 0 Skipping unknown criteria:-notuptodate() # criteria notuptodate() size is 0 using new vars 19171 to 19171 Skipping unknown criteria:-unsat_recommends() # criteria unsat_recommends() size is 0 using new vars 19171 to 19171 # criteria new size is 4502 using new vars 19171 to 23673 # p cnf 23672 123500 # Current objective function value: 116(1.594s) # Current objective function value: 68(2.622s) # Current objective function value: 67(3.347s) # Current objective function value: 65(3.671s) # Found optimal criterion number 1 # Found optimal criterion number 2 # Current objective function value: 0(3.712s) # Found optimal criterion number 3 # Current objective function value: 0(5.208s) # Found optimal criterion number 4 # Current objective function value: 545(5.855s) # Current objective function value: 597(6.795s) # Current objective function value: 584(7.143s) # Current objective function value: 567(7.412s) # Current objective function value: 566(7.676s) # Current objective function value: 535(7.813s) # cleaning 3058 clauses out of 6123 with flag 25790/6924 # cleaning 4532 clauses out of 9063 with flag 58055/12923 # cleaning 5765 clauses out of 11530 with flag 89344/19924 # cleaning 6883 clauses out of 13765 with flag 123162/27924 # cleaning 7941 clauses out of 15881 with flag 164241/36923 # cleaning 8970 clauses out of 17940 with flag 210272/46923 # cleaning 9980 clauses out of 19970 with flag 266026/57923 # cleaning 10992 clauses out of 21990 with flag 320442/69923 # cleaning 11999 clauses out of 23998 with flag 375398/82923 # Solver timed out after 285.14s) # -removed criteria value: 65 # Removed packages: [akode, capplets, docbook-dsssl, docbook-xml, gnome, gnome-applets, gnome-control-center, gnome-core, gnome-desktop-environment, gnome-doc-tools, gnome-gv, gnome-volume-manager, gnome2-user-guide, kcmlinuz, kdelibs4, kdevelop3-data, kdevelop3-plugins, kmessedwords, libarts1, libboost-python1.32.0, libdns16, libenchant1, libgc1, libglibmm-2.4-1, libgtkmm-2.4-1, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libmimelib1a, libnautilus2-2, libneon23, libneon24, libopenh323-1.15.2, libopensc1, libpt-1.8.3, libqt3c102-mt, libsigc++-2.0-0, libsnmp5, libssl0.9.7, libstlport4.6, libsvn0, libxft1, linux-kernel-headers, metacity, nautilus-cd-burner, nautilus-media, openjade, openoffice.org, openoffice.org-bin, openoffice.org-debian-files, planner, python2.3, python2.3-gtk2, python2.3-numeric, scrollkeeper, secpolicy, sgml-base, sgml-data, vimpart, xlibs, xml-core, yelp] # -sum(installedsize) criteria value: 0 # -new criteria value: 535 # Newly installed packages: [akregator, aspell, aspell-bg, baobab, blinken, ca-certificates, comerr-dev, consolekit, dbus, dbus-x11, debian-archive-keyring, dmsetup, eject, ekiga, epiphany-browser-data, evolution-common, evolution-data-server-common, fontconfig-config, gcc-4.4-base, gconf2-common, gir1.0-clutter-1.0, gir1.0-freedesktop, gir1.0-glib-2.0, gir1.0-gstreamer-0.10, gir1.0-gtk-2.0, gir1.0-json-glib-1.0, globus-common-progs, globus-core, gnome-cards-data, gnome-dictionary, gnome-js-common, gnome-media-common, gnome-menus, gnome-screenshot, gnome-search-tool, gnome-session-bin, gnome-session-common, gnome-settings-daemon, gnome-system-log, gnome-terminal-data, gnome-utils-common, gstreamer0.10-plugins-base, gstreamer0.10-plugins-good, gstreamer0.10-x, gtk2-engines, gvfs, indi, industrial-cursor-theme, install-info, iso-codes, kalzium-data, kanagram, kdebase-bin-kde3, kdeeject, kdelibs4c2a, kdelibs5, kdelibs5-data, kdepim-kresources, kdevelop, kdevelop-data, kernel-headers-2.6-386, kernel-headers-2.6.8-4, kernel-headers-2.6.8-4-386, kernel-kbuild-2.6-3, knetworkconf, krb5-multidev, libaa1, libacl1-dev, libakode2, libarts1-akode, libarts1c2a, libasyncns0, libatasmart4, libattr1-dev, libavahi-client-dev, libavahi-client3, libavahi-common-data, libavahi-common-dev, libavahi-common3, libavahi-compat-libdnssd1, libavahi-glib-dev, libavahi-glib1, libavahi-gobject0, libavahi-qt3-1, libavahi-qt3-dev, libavc1394-0, libbabl-0.0-0, libbind9-60, libblas3gf, libbluetooth2, libboost-iostreams1.42.0, libboost-python1.34.1, libc-bin, libc-dev-bin, libcaca0, libcairo2, libcairo2-dev, libcairomm-1.0-1, libcamel1.2-11, libcamel1.2-14, libcanberra-gtk0, libcanberra0, libcap2, libcdio10, libck-connector0, libclucene0ldbl, libclutter-1.0-0, libcups2, libcups2-dev, libcurl3-gnutls, libcwidget3, libdatrie1, libdb4.3, libdb4.4, libdb4.6, libdb4.6++, libdb4.8, libdbus-1-3, libdbus-1-dev, libdbus-glib-1-2, libdbus-qt-1-1c2, libdevmapper1.02.1, libdirectfb-1.2-9, libdmx1, libdns69, libdrm2, libdv4, libdvdnav4, libdvdread4, libebackend1.2-0, libebook1.2-9, libecal1.2-7, libedata-book1.2-2, libedata-cal1.2-7, libedataserver1.2-13, libedataserver1.2-9, libedataserverui1.2-8, libedit2, libeggdbus-1-0, libegroupwise1.2-13, libelfg0, libenchant1c2a, libepc-1.0-1, libepc-ui-1.0-1, libept1, libevolution, libexempi3, libexif12, libffi5, libflac8, libfontenc1, libfs6, libgail18, libgalago3, libgc1c2, libgcr0, libgdata-google1.2-1, libgdata1.2-1, libgdict-1.0-6, libgdu0, libgegl-0.0-0, libgeoip1, libgfortran3, libgif4, libgirepository1.0-0, libglib2.0-data, libglibmm-2.4-1c2a, libglobus-callout-dev, libglobus-callout0, libglobus-common-dev, libglobus-common0, libglobus-ftp-client-dev, libglobus-ftp-client2, libglobus-ftp-control-dev, libglobus-ftp-control1, libglobus-gass-copy-dev, libglobus-gass-copy2, libglobus-gass-transfer-dev, libglobus-gass-transfer2, libglobus-gsi-callback-dev, libglobus-gsi-callback0, libglobus-gsi-cert-utils-dev, libglobus-gsi-cert-utils0, libglobus-gsi-credential-dev, libglobus-gsi-credential1, libglobus-gsi-openssl-error-dev, libglobus-gsi-openssl-error0, libglobus-gsi-proxy-core-dev, libglobus-gsi-proxy-core0, libglobus-gsi-proxy-ssl-dev, libglobus-gsi-proxy-ssl1, libglobus-gsi-sysconfig-dev, libglobus-gsi-sysconfig1, libglobus-gss-assist-dev, libglobus-gss-assist3, libglobus-gssapi-error-dev, libglobus-gssapi-error2, libglobus-gssapi-gsi-dev, libglobus-gssapi-gsi4, libglobus-io-dev, libglobus-io3, libglobus-libtool, libglobus-libtool-dev, libglobus-openssl, libglobus-openssl-dev, libglobus-openssl-module-dev, libglobus-openssl-module0, libglobus-xio-dev, libglobus-xio-gsi-driver-dev, libglobus-xio-gsi-driver0, libglobus-xio-popen-driver-dev, libglobus-xio-popen-driver0, libglobus-xio0, libgmime-2.4-2, libgmp3c2, libgmyth0, libgnokii3, libgnome-desktop-2-17, libgnome-media0, libgnome-menu2, libgnomekbd-common, libgnomekbd4, libgnutls26, libgoffice-1-2, libgoffice-1-common, libgomp1, libgp11-0, libgraphicsmagick3, libgsf-1-114, libgsf-1-common, libgsf-gnome-1-114, libgsl0ldbl, libgsmme1c2a, libgssapi-krb5-2, libgssrpc4, libgstreamer-plugins-base0.10-0, libgstreamer0.10-0, libgtkhtml-editor-common, libgtkhtml-editor0, libgtkhtml3.14-19, libgtkmm-2.4-1c2a, libgtksourceview2.0-0, libgtksourceview2.0-common, libgtop2-7, libgtop2-common, libgucharmap7, libgudev-1.0-0, libgweather-common, libgweather1, libhal-storage1, libhal1, libhunspell-1.2-0, libical0, libicu36, libicu44, libiec61883-0, libilmbase-dev, libilmbase6, libimobiledevice1, libindex0, libisc62, libisccc60, libisccfg62, libiso9660-7, libiw29, libjack0, libjack0.100.0-0, libjack0.100.0-dev, libjasper-dev, libjasper1, libjson-glib-1.0-0, libk5crypto3, libkadm5clnt-mit7, libkadm5srv-mit7, libkcal2b, libkdb5-4, libkdeedu3, libkdepim1a, libkeyutils1, libkiten1, libkleopatra1, libkmime2, libkpathsea4, libkrb5-3, libkrb5-dev, libkrb5support0, libktnef1, liblapack3gf, libldap-2.4-2, liblockdev1, liblqr-1-0, libltdl-dev, libltdl7, liblua50, liblua50-dev, liblualib50, liblualib50-dev, liblwres60, libmagick++3, libmagickcore3, libmagickwand3, libmeanwhile1, libmikmod2, libmimelib1c2a, libmodplug1, libmpcdec6, libmpfr4, libmysqlclient15off, libnautilus-extension1, libncursesw5, libneon25, libnotify1, libnspr4-0d, libnss3-0d, libnss3-1d, libopal-2.2-develop, libopenexr-dev, libopenexr6, libopenjpeg2, libopenraw1, liborc-0.4-0, libpangomm-1.4-1, libparted0debian1, libpcrecpp0, libphonon4, libpisock9, libpixman-1-0, libpixman-1-dev, libplist1, libpolkit-agent-1-0, libpolkit-backend-1-0, libpolkit-gobject-1-0, libpoppler-glib4, libpoppler-qt2, libpoppler0c2, libpoppler5, libportaudio0, libpq5, libproxy0, libpt-1.10.0, libpt-1.10.10, libpt-1.10.10-plugins-alsa, libpt-1.10.10-plugins-v4l, libpth20, libpthread-stubs0, libpthread-stubs0-dev, libpulse0, libpython2.6, libqt3-mt, libqt4-dbus, libqt4-designer, libqt4-network, libqt4-qt3support, libqt4-script, libqt4-sql, libqt4-svg, libqt4-xml, libqtcore4, libqtgui4, libraptor1, librasqal0, libraw1394-11, libraw1394-8, librdf0, libreadline6, librep9, libsasl2-2, libsasl2-dev, libsasl2-modules, libseed0, libselinux1-dev, libsensors4, libsepol1, libsepol1-dev, libsgutils2-2, libsigc++-2.0-0c2a, libslang2, libsndfile1, libsnmp9, libsoprano4, libsoup-gnome2.4-1, libsoup2.4-1, libspeexdsp1, libsqlite3-0, libssl0.9.8, libstdc++6, libstlport4.6c2, libstreamanalyzer0, libstreams0, libsysfs2, libtag1-vanilla, libtag1c2a, libtasn1-3, libtdb1, libthai-data, libthai0, libtiff4-dev, libtiffxx0c2, libtotem-plparser10, libtotem-plparser17, libtrackerclient0, libts-0.0-0, libudev0, libunique-1.0-0, libupower-glib1, libusb-1.0-0, libusbmuxd1, libv4l-0, libvcdinfo0, libvisual-0.4-0, libvte9, libwavpack1, libwebkit-1.0-2, libwebkit-1.0-common, libwnck22, libwpd8c2a, libwpg-0.1-1, libx11-data, libxapian22, libxau-dev, libxau6, libxcb-atom1, libxcb-aux0, libxcb-event1, libxcb-render-util0, libxcb-render-util0-dev, libxcb-render0, libxcb-render0-dev, libxcb-shape0, libxcb-shm0, libxcb-xv0, libxcb1, libxcb1-dev, libxcomposite-dev, libxcomposite1, libxdamage-dev, libxdamage1, libxdmcp-dev, libxdmcp6, libxfixes-dev, libxfixes3, libxine1-bin, libxine1-console, libxine1-misc-plugins, libxine1-x, libxinerama-dev, libxinerama1, libxkbfile1, libxklavier16, libxml-dom-perl, libxml-parser-perl, libxml-perl, libxml-regexp-perl, libxres1, libxslt1-dev, libxss1, libxvmc1, libxxf86dga1, libxxf86misc1, libxxf86vm1, linux-libc-dev, lsb-base, lua50, lzma, media-player-info, mysql-common, networkstatus, openoffice.org-common, openoffice.org-core, openoffice.org-gnome, openoffice.org-gtk, openssh-blacklist, openssh-client, openssh-server, openssl, oss-compat, p7zip-full, perl-suid, policykit-1, policykit-1-gnome, python-cairo, python-central, python-gconf, python-gdata, python-gmenu, python-gnome2, python-gobject, python-gst0.10, python-gtksourceview2, python-libxml2, python-minimal, python-myghty, python-numpy, python-pyorbit, python-support, python2.5, python2.5-minimal, python2.6, python2.6-minimal, readline-common, rep-gtk, sawfish, sawfish-data, simple-scan, tex-common, totem-common, totem-plugins, ttf-dustin, ttf-kochi-mincho, ttf-sjfonts, tzdata, udisks, upower, usbmuxd, uswsusp, wireless-tools, x11-common, x11-utils, x11-xkb-utils, x11-xserver-utils, x11proto-composite-dev, x11proto-core-dev, x11proto-damage-dev, x11proto-fixes-dev, x11proto-input-dev, x11proto-kb-dev, x11proto-randr-dev, x11proto-xext-dev, x11proto-xinerama-dev, xauth, xbitmaps, xcursor-themes, xdg-utils, xkb-data-legacy, xtrans-dev] # starts : 75 # conflicts : 96063 # decisions : 1715145 # propagations : 303906703 # inspects : 680906451 # shortcuts : 0 # learnt literals : 68 # learnt binary clauses : 998 # learnt ternary clauses : 250 # learnt constraints : 95994 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 3620533 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 9 # Number of update (reduction) of LBD : 4361 # 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) : 1066159.7450253991 # non guided choices 986906 # learnt constraints type # org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 614 # org.sat4j.minisat.constraints.cnf.LearntWLClause => 24525 # Solving done (290.895s). # WARNING: The solution found MIGHT NOT BE optimal # Solution contains:1420