# Solver launched on Mon Sep 03 06:39:56 UTC 2012
# Using input file /home/competition/data/upgrade/difficult/rand196.cudf
# Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand196.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:6580
# Parsing done (6.586s).
# Solving ...
# Request size: 1027
# Number of  packages after slice: 13247
# Slice efficiency: 85%
# --- Begin Solver configuration ---
# org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@fee4648
# 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 18050 to 19000
# criteria sum(installedsize) size is 0
Skipping unknown criteria:-notuptodate()
# criteria notuptodate() size is 0 using new vars 19000 to 19000
Skipping unknown criteria:-unsat_recommends()
# criteria unsat_recommends() size is 0 using new vars 19000 to 19000
# criteria new size is 4411 using new vars 19000 to 23411
# p cnf 23410 122679
# Current objective function value: 58(1.481s)
# Current objective function value: 55(2.218s)
# Current objective function value: 52(2.74s)
# Current objective function value: 51(3.191s)
# Current objective function value: 50(3.431s)
# Found optimal criterion number 1
# Found optimal criterion number 2
# Current objective function value: 0(3.499s)
# Found optimal criterion number 3
# Current objective function value: 0(4.296s)
# Found optimal criterion number 4
# Current objective function value: 576(4.748s)
# Current objective function value: 516(5.298s)
# Current objective function value: 424(5.645s)
# Current objective function value: 421(5.914s)
# Current objective function value: 400(6.044s)
# cleaning 2903 clauses out of 5805 with flag 26930/6686
# cleaning 4445 clauses out of 8902 with flag 55687/12687
# cleaning 5730 clauses out of 11459 with flag 96103/19689
# cleaning 6854 clauses out of 13724 with flag 142195/27686
# cleaning 7935 clauses out of 15869 with flag 196741/36687
# cleaning 8967 clauses out of 17933 with flag 253057/46686
# Current objective function value: 399(147.924s)
# Current objective function value: 397(147.996s)
# cleaning 7339 clauses out of 14683 with flag 6389/52409
# cleaning 6666 clauses out of 13345 with flag 30714/58410
# cleaning 6837 clauses out of 13678 with flag 63398/65409
# cleaning 7419 clauses out of 14841 with flag 98695/73409
# cleaning 8207 clauses out of 16423 with flag 138140/82411
# cleaning 9100 clauses out of 18211 with flag 181760/92410
# cleaning 10055 clauses out of 20110 with flag 232210/103409
# cleaning 11019 clauses out of 22038 with flag 278771/115409
# Solver timed out after 285.082s)
# -removed criteria value: 50
# Removed packages: [akode, aptitude, capplets, gnome, gnome-desktop-environment, gnome-gv, kcmlinuz, kde, kde-amusements, kde-devel, kde-devel-extras, kdegames, kdelibs4, kdevelop3-data, kdevelop3-plugins, kmessedwords, kpat, libarts1, libeel2-2, libegroupwise6, libenchant1, libgnutls11, libgnutls11-dev, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libldap2, liblzo1, libmimelib1a, libmodplug0, libnautilus2-2, libopenh323-1.15.2, libpt-1.8.3, libpt-plugins-oss, libpt-plugins-v4l2, libqt3c102-mt, libsoup2.2-7, libsvn0, libtasn1-2-dev, libxklavier8, linux-kernel-headers, nautilus-media, python2.3-gtk2, qt3-designer, secpolicy, tasksel, vimpart]
# -sum(installedsize) criteria value: 0
# -new criteria value: 397
# Newly installed packages: [akregator, blinken, ca-certificates, cdrdao, comerr-dev, dbus, dbus-x11, debian-archive-keyring, djvulibre-desktop, dvd+rw-tools, eject, ekiga, evolution-common, evolution-data-server-common, fontconfig-config, gcc-4.4-base, gconf2-common, genisoimage, gnome-cards-data, gnome-doc-utils, gnome-media-common, gnome-menus, gnome-settings-daemon, gpgv, gstreamer0.10-plugins-base, gstreamer0.10-plugins-good, gstreamer0.10-x, gtk2-engines, gtkhtml3.14, indi, industrial-cursor-theme, install-info, ire, iso-codes, kalzium-data, kanagram, kdebase-bin-kde3, kdeeject, kdelibs4c2a, kdepim-kresources, kdevelop, kdevelop-data, knetworkconf, krb5-multidev, libaa1, libacl1-dev, libakode2, liballegro4.1, liballegro4a, libalogg, libarts1-akode, libarts1c2a, libasyncns0, libattr1-dev, libavahi-client-dev, libavahi-client3, libavahi-common-data, libavahi-common-dev, libavahi-common3, libavahi-compat-libdnssd1, libavahi-glib-dev, libavahi-glib1, libavahi-qt3-1, libavahi-qt3-dev, libavc1394-0, libblas3gf, libbluetooth2, libboost-python1.34.1, libc-bin, libc-dev-bin, libcaca0, libcairo2, libcairo2-dev, libcamel1.2-11, libcap-bin, libclucene0ldbl, libcucul0, libcups2, libcups2-dev, libcupsys2, libcurl3-gnutls, 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, libdirectfb-1.0-0, libdjvulibre21, libdmx1, libdv4, libebook1.2-9, libecal1.2-7, libedata-book1.2-2, libedata-cal1.2-6, libedataserver1.2-9, libedataserverui1.2-8, libedit2, libeel2-2.20, libegroupwise1.2-13, libelfg0, libenchant1c2a, libepc-1.0-1, libepc-ui-1.0-1, libexchange-storage1.2-3, libexempi3, libexif12, libexiv2-9, libffi5, libflac8, libfs6, libgail18, libgalago3, libgd2-xpm, libgdata-google1.2-1, libgdata1.2-1, libgfortran3, libgmime-2.4-2, libgmp3c2, libgmyth0, libgnome-media0, libgnome-menu2, libgnome-window-settings1, libgnomekbd-common, libgnomekbd2, libgnomekbdui2, libgnutls-dev, libgnutls26, libgoffice-1-2, libgoffice-1-common, libgraphviz4, libgsf-1-114, libgsf-1-common, libgsf-gnome-1-114, libgsmme1c2a, libgssapi-krb5-2, libgssrpc4, libgstreamer-plugins-base0.10-0, libgstreamer0.10-0, libgtkhtml3.14-19, libgtksourceview2.0-0, libgtksourceview2.0-common, libgtop2-7, libgtop2-common, libgudev-1.0-0, libhal-storage1, libhal1, libhunspell-1.2-0, libiec61883-0, libilmbase-dev, libilmbase6, libindex0, libiodbc2, libiw29, libjack0, libjack0.100.0-0, libjack0.100.0-dev, libjasper-dev, libjasper1, libk5crypto3, libkadm5clnt-mit7, libkadm5srv-mit7, libkcal2b, libkdb5-4, libkde3support4, libkdecore5, libkdeedu3, libkdepim1a, libkdeui5, libkeyutils1, libkio5, libkiten1, libkjsapi4, libkjsembed4, libkleopatra1, libkmime2, libkparts4, libkpathsea4, libkpty4, libkrb5-3, libkrb5-dev, libkrb5support0, libkrosscore4, libktnef1, liblapack3gf, libldap-2.4-2, liblockdev1, libltdl3, libltdl7, liblua50, liblua50-dev, liblualib50, liblualib50-dev, liblzma2, libmagick10, libmeanwhile1, libmimelib1c2a, libmodplug0c2, libmozjs0d, libmpcdec3, libmysqlclient15off, libnautilus-burn4, libnautilus-extension1, libncursesw5, libnm-glib0, libnotify1, libnspr4-0d, libnss3-0d, libnss3-1d, libopal-2.2, libopenexr-dev, libopenexr6, libopenjpeg2, liborc-0.4-0, libpcrecpp0, libpisock9, libpisync1, libpixman-1-0, libpixman-1-dev, libpoppler-qt2, libpoppler0c2, libpoppler5, libproxy0, libpt-1.10.10, libpt-1.10.10-plugins-oss, libpt-1.10.10-plugins-v4l2, 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, librasqal2, libraw1394-11, libraw1394-8, librdf0, libreadline6, libsasl2-2, libsasl2-dev, libsasl2-modules, libselinux1-dev, libsensors4, libsepol1, libsepol1-dev, libslab0, libslang2, libsnmp9, libsolid4, libsoprano4, libsoup-gnome2.4-1, libsoup2.4-1, libspeexdsp1, libsqlite3-0, libssl0.9.8, libstdc++6, libstreamanalyzer0, libstreams0, libsysfs2, libtag1-vanilla, libtag1c2a, libtalloc1, libtasn1-3, libtasn1-3-dev, libthai-data, libthai0, libtiff4-dev, libtiffxx0c2, libtotem-plparser10, libtotem-plparser17, libtrackerclient0, libts-0.0-0, libudev0, libutempter0, libv4l-0, libvisual-0.4-0, libvte9, libwavpack1, libwbclient0, libwnck18, libwnck22, libx11-data, libxau-dev, libxau6, 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, libxklavier10, libxklavier12, libxres1, libxslt1-dev, libxss1, libxul-common, libxul0d, libxvmc1, libxxf86dga1, libxxf86misc1, libxxf86vm1, libzvbi-common, linux-libc-dev, lsb-base, lua50, media-player-info, metacity-common, mysql-common, networkstatus, nvclock-qt, openssh-blacklist, openssh-client, openssh-server, openssl, oss-compat, python-cairo, python-central, python-gconf, python-gdata, python-gmenu, python-gnome2, python-gobject, python-gst0.10, python-gtksourceview2, python-libxml2, python-minimal, python-numpy, python-pyorbit, python-support, python2.5, python2.5-minimal, python2.6, python2.6-minimal, readline-common, soprano-daemon, tex-common, texi2html, totem-common, totem-plugins, ttf-dustin, ttf-kochi-gothic, ttf-sjfonts, unzip, wireless-tools, wodim, x11-common, 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, xkb-data, xsltproc, xtrans-dev, xz-lzma, xz-utils, zip]
# starts		: 92
# conflicts		: 127867
# decisions		: 2069013
# propagations		: 464647579
# inspects		: 1034279171
# shortcuts		: 0
# learnt literals	: 100
# learnt binary clauses	: 1091
# learnt ternary clauses	: 235
# learnt constraints	: 127766
# ignored constraints	: 0
# root simplifications	: 0
# removed literals (reason simplification)	: 2156764
# reason swapping (by a shorter reason)	: 0
# Calls to reduceDB	: 14
# Number of update (reduction) of LBD	: 5066
# 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)	: 1630233.7002094598
# non guided choices	1185857
# learnt constraints type 
# org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 596
# org.sat4j.minisat.constraints.cnf.LearntWLClause => 22880
# Solving done (289.615s).
# WARNING: The solution found MIGHT NOT BE optimal
# Solution contains:1297