# Solver launched on Mon Sep 03 09:19:30 UTC 2012 # Using input file /home/competition/data/upgrade/easy/rand308.cudf # Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand308.cudf.result # Objective function -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) # 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:5471 # Parsing done (5.477s). # Solving ... # Request size: 1012 # Number of packages after slice: 5242 # Slice efficiency: 91% # --- Begin Solver configuration --- # org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@687b6889 # 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:-sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) # criteria sum(changed,installedsize) size is 0 # criteria removed size is 950 using new vars 6193 to 7143 Skipping unknown criteria:-notuptodate() # criteria notuptodate() size is 950 using new vars 7143 to 7143 # criteria changed size is 5241 using new vars 7143 to 7143 # p cnf 7142 46479 # Found optimal criterion number 1 # Current objective function value: 181(0.667s) # Current objective function value: 116(0.81s) # Current objective function value: 115(0.888s) # Current objective function value: 114(1.036s) # Current objective function value: 113(1.161s) # Current objective function value: 112(1.25s) # Current objective function value: 111(1.393s) # Found optimal criterion number 2 # Current objective function value: 111(1.453s) # cleaning 2481 clauses out of 4961 with flag 12480/5962 # Found optimal criterion number 3 # Current objective function value: 1361(8.441s) # Current objective function value: 1342(8.557s) # cleaning 1233 clauses out of 2465 with flag 4098/11608 # cleaning 3612 clauses out of 7233 with flag 17780/17609 # cleaning 5305 clauses out of 10621 with flag 34949/24609 # cleaning 6658 clauses out of 13315 with flag 54312/32608 # cleaning 7828 clauses out of 15657 with flag 77838/41608 # cleaning 8909 clauses out of 17830 with flag 106088/51609 # cleaning 9952 clauses out of 19921 with flag 129643/62609 # cleaning 10978 clauses out of 21967 with flag 154210/74608 # cleaning 11995 clauses out of 23989 with flag 181055/87609 # cleaning 12987 clauses out of 25993 with flag 209574/101608 # cleaning 14000 clauses out of 28007 with flag 243640/116609 # cleaning 14996 clauses out of 30007 with flag 277109/132609 # cleaning 16002 clauses out of 32011 with flag 316435/149609 # cleaning 16999 clauses out of 34009 with flag 356632/167609 # cleaning 18002 clauses out of 36006 with flag 397022/186609 # cleaning 19001 clauses out of 38001 with flag 437080/206608 # cleaning 19995 clauses out of 40001 with flag 479086/227609 # cleaning 20997 clauses out of 42005 with flag 544154/249608 # cleaning 22003 clauses out of 44008 with flag 617813/272608 # cleaning 22996 clauses out of 46005 with flag 684518/296608 # cleaning 24000 clauses out of 48009 with flag 740348/321608 # cleaning 25000 clauses out of 50009 with flag 794290/347608 # cleaning 26001 clauses out of 52010 with flag 849769/374609 # cleaning 27003 clauses out of 54009 with flag 919376/402610 # cleaning 28002 clauses out of 56005 with flag 1028483/431609 # cleaning 28998 clauses out of 58001 with flag 1107112/461608 # cleaning 29994 clauses out of 60003 with flag 1188508/492608 # cleaning 31005 clauses out of 62009 with flag 1275574/524608 # cleaning 31999 clauses out of 64004 with flag 1369199/557608 # Solver timed out after 285.096s) # -sum(changed,installedsize) criteria value: 0 # -removed criteria value: 111 # Removed packages: [akode, aptitude, capplets, dbus-1, dbus-glib-1, epiphany-browser, gnome, gnome-desktop-environment, gnome-gv, gtk2-engines-spherecrystal, hotplug, kcmlinuz, kcontrol, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdebase, kdebase-data, kdebase-dev, kdegames, kdelibs-bin, kdelibs4, kdelibs4-dev, kdemultimedia, kdenetwork, kdesdk, kdetoys, kdevelop3-data, kdevelop3-plugins, kdict, kicker, kicker-applets, kmessedwords, knewsticker, konq-plugins, konqueror, kpat, kpersonalizer, ksplash, kspy, kteatime, libarts1, libarts1-dev, libarts1-xine, libbonoboui2-dev, libboost-python1.32.0, libdps1, libegroupwise6, libglade2-dev, libgnomecanvas2-dev, libgnomeui-dev, libgnutls11, libgnutls11-dev, libgtk2.0-dev, libgtkgl2.0-dev, libgtkspell-dev, libhal-storage0, libhal0, libjack0.80.0-0, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libkonq4-dev, liblablgtk2-ocaml-dev, libldap2, liblzo1, libmagick6, libmimelib1a, libnautilus-burn0, libnautilus2-2, libnss3, libopenh323-1.15.2, libpanel-applet2-dev, libpango1.0-dev, libpt-1.8.3, libpt-plugins-oss, libpt-plugins-v4l2, libqt3-mt-dev, libqt3c102-mt, librsvg2-dev, libsoup2.2-7, libsvn0, libtag1, libtasn1-2-dev, libxcursor-dev, libxft-dev, libxft1, libxklavier8, libxrandr-dev, libxrender-dev, linux-kernel-headers, mozilla-psm, nautilus-media, python2.3, python2.3-gtk2, python2.3-numeric, rhythmbox, secpolicy, tasksel, totem-xine, vimpart, xfree86-common, xlibmesa-glu-dev, xlibs, xserver-common] # -changed criteria value: 1342 # Changed packages: [-akode 20295, akregator 20353, -amor 20301, amor 20369, -apt 2333, apt 2937, -apt-utils 2333, apt-utils 2937, -aptitude 1203, -ark 20295, ark 20369, -arts 8126, arts 8878, -artsbuilder 20295, artsbuilder 20369, -atlantik 20295, atlantik 20377, -atlantikdesigner 20303, atlantikdesigner 20340, -binutils 13428, binutils 13502, blinken 20369, -bug-buddy 12987, bug-buddy 13602, ca-certificates 17935, -capplets 19349, -capplets-data 19349, capplets-data 19439, cdrdao 18826, -cdrecord 20255, cdrecord 20459, -cervisia 20301, cervisia 20369, comerr-dev 11385, -coreutils 16160, coreutils 16745, dbus 7646, -dbus-1 4641, -dbus-glib-1 4641, dbus-x11 7646, -dcoprss 20306, dcoprss 20346, debian-archive-keyring 17624, -dia-common 5614, dia-common 5668, -dia-gnome 5614, dia-gnome 5668, -dia-libs 5614, dia-libs 5668, -dirmngr 3405, dirmngr 6547, djvulibre-desktop 14768, -dpkg 9702, dpkg 9893, dvd+rw-tools 16811, eject 11516, ekiga 11207, -epiphany-browser 8582, epiphany-browser-data 13627, -evolution 11090, evolution 13629, evolution-common 13629, -evolution-data-server 6673, evolution-data-server 13624, evolution-data-server-common 13624, -exim4-base 15980, exim4-base 16002, -exim4-daemon-light 15980, exim4-daemon-light 16002, -eyesapplet 20301, eyesapplet 20369, -fifteenapplet 20301, fifteenapplet 20369, -file-roller 13030, file-roller 13411, -fontconfig 11990, fontconfig 12579, fontconfig-config 12579, -gcalctool 15770, gcalctool 16452, gcc-4.3-base 15667, -gconf-editor 13016, gconf-editor 13599, -gconf2 13005, gconf2 13599, gconf2-common 13599, -gdm 12586, gdm 13568, genisoimage 20458, ghostscript 17082, ghostscript-x 17082, -gnome 17322, -gnome-about 13022, gnome-about 13625, -gnome-applets 13017, gnome-applets 13403, -gnome-applets-data 13017, gnome-applets-data 13403, gnome-cards-data 19422, -gnome-control-center 19349, gnome-control-center 19439, -gnome-desktop-data 13022, gnome-desktop-data 13625, -gnome-desktop-environment 17322, gnome-doc-utils 2475, -gnome-games 19350, gnome-games 19422, -gnome-games-data 19350, gnome-games-data 19422, -gnome-gv 19349, -gnome-icon-theme 12988, gnome-icon-theme 13599, -gnome-media 12982, gnome-media 13601, gnome-media-common 13601, gnome-menus 13461, gnome-mount 2695, -gnome-panel 13021, gnome-panel 13566, -gnome-panel-data 13021, gnome-panel-data 13566, -gnome-session 13005, gnome-session 13625, gnome-settings-daemon 13620, -gnome-themes-extras 3051, gnome-themes-extras 3398, -gnome-volume-manager 7583, gnome-volume-manager 13604, -gnomemeeting 7631, gnomemeeting 11068, -gnumeric 8507, gnumeric 9040, -gnumeric-common 8507, gnumeric-common 9040, -gnupg 8443, gnupg 8591, gpgv 8591, -gs 16979, gs 17082, -gs-common 1532, gs-common 17082, -gs-gpl 16979, gs-gpl 17082, gstreamer0.10-alsa 3994, gstreamer0.10-gnomevfs 3994, gstreamer0.10-plugins-base 3979, gstreamer0.10-plugins-good 3943, gstreamer0.10-x 3994, gtk2-engines 19402, -gtk2-engines-crux 19311, gtk2-engines-crux 19347, -gtk2-engines-industrial 1239, gtk2-engines-industrial 19347, -gtk2-engines-lighthouseblue 19311, gtk2-engines-lighthouseblue 19347, -gtk2-engines-mist 19311, gtk2-engines-mist 19347, -gtk2-engines-pixbuf 12638, gtk2-engines-pixbuf 13325, -gtk2-engines-redmond95 19311, gtk2-engines-redmond95 19347, -gtk2-engines-smooth 2464, gtk2-engines-smooth 19347, -gtk2-engines-spherecrystal 2714, -gtk2-engines-thinice 19311, gtk2-engines-thinice 19347, gtkhtml3.14 15077, -hal 1907, hal 2297, hal-info 18236, -hotplug 386, -imagemagick 20448, imagemagick 20452, indi 20369, industrial-cursor-theme 2493, iso-codes 14729, -juk 20295, juk 20369, -kaboodle 20295, kaboodle 20369, -kaddressbook 20301, kaddressbook 20371, -kaddressbook-plugins 20303, kaddressbook-plugins 20369, -kalarm 20301, kalarm 20353, -kalzium 20302, kalzium 20369, kalzium-data 20369, -kamera 20300, kamera 20344, kanagram 20369, -kandy 20301, kandy 20371, -kappfinder 20297, kappfinder 20374, -karm 20301, karm 20371, -kasteroids 20295, kasteroids 20377, -kate 20297, kate 20348, -kate-plugins 20303, kate-plugins 20340, -katomic 20295, katomic 20377, -kaudiocreator 20295, kaudiocreator 20369, -kbabel 20301, kbabel 20369, -kbackgammon 20295, kbackgammon 20377, -kbattleship 20295, kbattleship 20377, -kblackbox 20295, kblackbox 20340, -kbounce 20295, kbounce 20377, -kbruch 20302, kbruch 20369, -kbugbuster 20301, kbugbuster 20369, -kcachegrind 20301, kcachegrind 20342, -kcalc 20295, kcalc 20369, -kcharselect 20295, kcharselect 20369, -kcmlinuz 20295, -kcoloredit 20300, kcoloredit 20370, -kcontrol 20297, -kcron 20295, kcron 20369, -kdat 20295, kdat 20369, -kdbg 9570, kdbg 11398, -kde 20441, -kde-amusements 20441, -kde-core 20441, -kde-devel 20441, -kde-devel-extras 20442, -kdeaddons 20303, -kdeaddons-kfile-plugins 20303, kdeaddons-kfile-plugins 20340, -kdeadmin 20295, kdeadmin 20345, -kdeadmin-kfile-plugins 20295, kdeadmin-kfile-plugins 20345, -kdeartwork-style 20295, kdeartwork-style 20370, -kdeartwork-theme-window 20295, kdeartwork-theme-window 20370, -kdebase 20297, -kdebase-bin 20297, kdebase-bin 20348, -kdebase-data 20297, -kdebase-dev 20297, -kdebase-kio-plugins 20297, kdebase-kio-plugins 20374, -kdeedu 20302, kdeedu 20340, -kdeedu-data 20302, kdeedu-data 20369, kdeeject 20374, -kdegames 20295, -kdegraphics-kfile-plugins 20300, kdegraphics-kfile-plugins 20370, -kdelibs 20308, kdelibs 20350, -kdelibs-bin 20308, -kdelibs-data 20308, kdelibs-data 20380, -kdelibs4 20308, -kdelibs4-dev 20308, kdelibs4c2a 20380, kdelibs5-data 20404, -kdelirc 20295, kdelirc 20369, -kdemultimedia 20295, -kdemultimedia-kfile-plugins 20295, kdemultimedia-kfile-plugins 20341, -kdemultimedia-kio-plugins 20295, kdemultimedia-kio-plugins 20369, -kdenetwork 20306, -kdenetwork-filesharing 20306, kdenetwork-filesharing 20346, -kdepasswd 20297, kdepasswd 20348, -kdepim 20301, kdepim 20353, -kdepim-kfile-plugins 20301, kdepim-kfile-plugins 20353, -kdepim-kio-plugins 20301, kdepim-kio-plugins 20353, kdepim-kresources 20371, -kdepim-wizards 20301, kdepim-wizards 20353, -kdeprint 20297, kdeprint 20348, -kdesdk 20301, -kdesdk-kfile-plugins 20301, kdesdk-kfile-plugins 20369, -kdesdk-misc 20301, kdesdk-misc 20342, -kdesktop 20297, kdesktop 20348, -kdessh 20295, kdessh 20369, -kdetoys 20301, kdevelop 20311, kdevelop-data 20333, -kdevelop3 20280, kdevelop3 20309, -kdevelop3-data 20280, -kdevelop3-plugins 20280, -kdf 20295, kdf 20343, -kdict 20306, -kdvi 20300, kdvi 20344, -kedit 20295, kedit 20343, -keduca 20302, keduca 20369, -kenolaba 20295, kenolaba 20377, -kfax 20300, kfax 20344, -kfilereplace 19574, kfilereplace 20340, -kfind 20297, kfind 20348, -kfloppy 20295, kfloppy 20369, -kfouleggs 20295, kfouleggs 20340, -kgamma 20300, kgamma 20344, -kget 20306, kget 20378, -kghostview 20300, kghostview 20370, -kgoldrunner 20295, kgoldrunner 20340, -kgpg 20295, kgpg 20343, -khangman 20302, khangman 20369, -khelpcenter 20297, khelpcenter 20348, -khexedit 20295, khexedit 20369, -kicker 20297, -kicker-applets 20303, -kiconedit 20300, kiconedit 20344, -kig 20302, kig 20369, -kimagemapeditor 19574, kimagemapeditor 20340, -kitchensync 20301, kitchensync 20353, -kiten 20302, kiten 20369, -kjots 20295, kjots 20343, -kjumpingcube 20295, kjumpingcube 20340, -klaptopdaemon 20295, klaptopdaemon 20343, -klatin 20302, klatin 20369, -kleopatra 20301, kleopatra 20371, -klettres 20302, klettres 20369, -klettres-data 20302, klettres-data 20369, -klickety 20295, klickety 20377, -klines 20295, klines 20340, -klinkstatus 19574, klinkstatus 20340, -klipper 20297, klipper 20374, -kmahjongg 20295, kmahjongg 20340, -kmail 20301, kmail 20353, -kmailcvt 20301, kmailcvt 20353, -kmenuedit 20297, kmenuedit 20348, -kmessedwords 20302, -kmid 20295, kmid 20341, -kmilo 20295, kmilo 20343, -kmines 20295, kmines 20377, -kmix 20295, kmix 20341, -kmoon 20301, kmoon 20342, -kmplot 20302, kmplot 20369, -kmrml 20300, kmrml 20370, -kmtrace 20301, kmtrace 20369, knetworkconf 20345, -knewsticker 20306, -knode 20301, knode 20353, -knotes 20301, knotes 20371, -kodo 20301, kodo 20342, -kolf 20295, kolf 20377, -kolourpaint 20300, kolourpaint 20370, -kommander 19574, kommander 20340, -kompare 20301, kompare 20342, -konq-plugins 20303, -konqueror 20297, -konqueror-nsplugins 20297, konqueror-nsplugins 20348, -konquest 20295, konquest 20377, -konsole 20297, konsole 20374, -konsolekalendar 20301, konsolekalendar 20353, -kontact 20301, kontact 20353, -kooka 20300, kooka 20344, -kopete 20306, kopete 20346, -korganizer 20301, korganizer 20353, -korn 20301, korn 20353, -kpackage 20295, kpackage 20345, -kpager 20297, kpager 20374, -kpat 20295, -kpdf 20300, kpdf 20344, -kpercentage 20302, kpercentage 20369, -kpersonalizer 20297, -kpf 20306, kpf 20378, -kpilot 20301, kpilot 20353, -kpoker 20295, kpoker 20377, -kpovmodeler 20300, kpovmodeler 20370, -kppp 20306, kppp 20346, -kprof 8502, kprof 8512, -krdc 20306, krdc 20346, -krec 20295, krec 20369, -kregexpeditor 20295, kregexpeditor 20343, -kreversi 20295, kreversi 20340, -krfb 20306, krfb 20378, -kruler 20300, kruler 20344, -ksame 20295, ksame 20377, -kscd 20295, kscd 20369, -kscreensaver 20295, kscreensaver 20370, -kscreensaver-xsavers 20295, kscreensaver-xsavers 20340, -kshisen 20295, kshisen 20340, -ksig 20303, ksig 20340, -ksim 20295, ksim 20343, -ksirc 20306, ksirc 20378, -ksirtet 20295, ksirtet 20340, -ksmiletris 20295, ksmiletris 20377, -ksmserver 20297, ksmserver 20348, -ksnake 20295, ksnake 20340, -ksnapshot 20300, ksnapshot 20370, -ksokoban 20295, ksokoban 20340, -kspaceduel 20295, kspaceduel 20340, -ksplash 20297, -kspy 20301, -kstars 20302, kstars 20369, -kstars-data 20302, kstars-data 20369, -ksvg 20300, ksvg 20344, -ksync 20301, ksync 20353, -ksysguard 20297, ksysguard 20374, -ksysguardd 20297, ksysguardd 20374, -ksysv 20295, ksysv 20345, -kteatime 20301, -ktimer 20295, ktimer 20343, -ktip 20297, ktip 20374, -ktnef 20301, ktnef 20371, -ktouch 20302, ktouch 20369, -ktron 20295, ktron 20377, -ktuberling 20295, ktuberling 20377, -kturtle 20302, kturtle 20369, -ktux 20301, ktux 20369, -kuickshow 20300, kuickshow 20344, -kuiviewer 20301, kuiviewer 20342, -kuser 20295, kuser 20345, -kverbos 20302, kverbos 20369, -kview 20300, kview 20370, -kviewshell 20300, kviewshell 20344, -kvoctrain 20302, kvoctrain 20369, -kwalletmanager 20295, kwalletmanager 20369, -kweather 20301, kweather 20342, -kwifimanager 20306, kwifimanager 20346, -kwin 20297, kwin 20374, -kwin4 20295, kwin4 20377, -kwordquiz 20302, kwordquiz 20369, -kworldclock 20301, kworldclock 20342, -kxsldbg 19574, kxsldbg 20370, libaa1 8396, libakode2 11018, libao2 3207, -libart-2.0-2 12126, libart-2.0-2 12131, -libart-2.0-dev 12126, libart-2.0-dev 12131, -libarts1 8126, -libarts1-audiofile 20295, libarts1-audiofile 20369, -libarts1-dev 8126, -libarts1-mpeglib 20295, libarts1-mpeglib 20341, -libarts1-xine 20295, libarts1c2a 8878, -libartsc0 8126, libartsc0 8878, -libartsc0-dev 8126, libartsc0-dev 8878, -libasound2 6792, libasound2 6891, -libasound2-dev 6792, libasound2-dev 6891, libasyncns0 498, -libatk1.0-0 9306, libatk1.0-0 10096, -libatk1.0-dev 9306, libatk1.0-dev 10096, -libattr1 12342, libattr1 19285, libavahi-client-dev 2661, libavahi-client3 2661, libavahi-common-data 2661, libavahi-common-dev 2661, libavahi-common3 2661, libavahi-compat-libdnssd1 2678, libavahi-glib-dev 2678, libavahi-glib1 2678, libavahi-gobject0 2678, libavahi-qt3-1 2678, libavc1394-0 2178, libbluetooth2 15133, -libbonobo2-0 12999, libbonobo2-0 13599, -libbonobo2-common 12999, libbonobo2-common 13599, -libbonobo2-dev 12999, libbonobo2-dev 13599, -libbonoboui2-0 12999, libbonoboui2-0 13599, -libbonoboui2-common 12999, libbonoboui2-common 13599, -libbonoboui2-dev 12999, -libboost-python1.32.0 10230, libboost-python1.34.1 10257, -libc6 12041, libc6 12852, -libc6-dev 12041, libc6-dev 12852, libcaca0 5893, libcairo2 9054, libcamel1.2-11 13624, libcdio6 5368, libcdio7 5383, libclucene0ldbl 3781, -libcroco3 2440, libcroco3 2473, -libcroco3-dev 2440, libcroco3-dev 2473, libcucul0 5893, libcups2 8237, libcups2-dev 8237, libcupsimage2 8237, libcupsys2 8237, -libcupsys2-dev 7414, libcupsys2-dev 8237, -libcupsys2-gnutls10 7414, libcupsys2-gnutls10 7818, -libcurl3 16924, libcurl3 16942, libcurl3-gnutls 16942, libcurl4-openssl-dev 16942, -libcvsservice0 20301, libcvsservice0 20369, libdatrie0 648, libdb4.3 15693, libdb4.3-dev 15693, libdb4.5 15809, libdb4.6 15833, libdb4.6++ 15833, libdbus-1-3 7646, libdbus-1-dev 7646, libdbus-glib-1-2 5368, libdbus-qt-1-1c2 5240, libdevmapper1.02.1 20069, libdirectfb-0.9-25 3800, libdirectfb-1.0-0 6567, libdjvulibre21 14768, libdmalloc4 16242, libdmalloc4-dev 16242, libdmx1 18702, -libdps1 15657, libdrm2 11990, libdv4 6465, libebook1.2-9 13624, libecal1.2-7 13624, libedata-book1.2-2 13624, libedata-cal1.2-6 13624, libedataserver1.2-9 13624, libedataserverui1.2-8 13624, libedit2 13154, libeel2-2.14 13404, libeel2-2.20 13553, libegroupwise1.2-13 13624, -libegroupwise6 6673, libelfg0 3228, libepc-1.0-1 1492, libepc-ui-1.0-1 1492, libept0 2329, libexchange-storage1.2-3 13624, libexempi3 10968, libexif12 2659, libffi5 14156, libflac7 7215, libflac8 7634, -libfontconfig1 11990, libfontconfig1 12579, -libfontconfig1-dev 11990, libfontconfig1-dev 12579, libfontenc-dev 18713, libfontenc1 18713, libfreebob0 6764, -libfreetype6 11530, libfreetype6 12100, -libfreetype6-dev 11530, libfreetype6-dev 12100, -libfribidi0 3945, libfribidi0 3975, libfs6 20016, -libgadu3 18974, libgadu3 19017, -libgail-common 9374, libgail-common 10101, libgail18 10101, libgalago3 2152, -libgcc1 19603, libgcc1 19726, -libgconf2-4 13005, libgconf2-4 13599, -libgconf2-dev 13005, libgconf2-dev 13599, -libgcrypt11 7605, libgcrypt11 8442, -libgcrypt11-dev 7605, libgcrypt11-dev 8442, libgda3-3 14098, libgda3-common 14098, libgdata-google1.2-1 13624, libgdata1.2-1 13624, libgif4 15517, libgl1-mesa-dev 16802, libgl1-mesa-dri 16802, libgl1-mesa-glx 16802, -libglade2-0 19274, libglade2-0 19318, -libglade2-dev 19274, -libglib2.0-0 12633, libglib2.0-0 13474, -libglib2.0-dev 12633, libglib2.0-dev 13474, libglu1-mesa 16695, libglu1-mesa-dev 16695, libgmp3c2 20184, libgmyth0 18454, -libgnome-desktop-2 13022, libgnome-desktop-2 13625, -libgnome-keyring-dev 1789, libgnome-keyring-dev 13625, -libgnome-keyring0 1789, libgnome-keyring0 13625, libgnome-media0 13601, libgnome-menu2 13461, libgnome-window-settings1 19439, -libgnome2-0 12999, libgnome2-0 13561, -libgnome2-common 12999, libgnome2-common 13561, -libgnome2-dev 12999, libgnome2-dev 13561, -libgnomecanvas2-0 12983, libgnomecanvas2-0 13561, -libgnomecanvas2-common 12983, libgnomecanvas2-common 13561, -libgnomecanvas2-dev 12983, -libgnomecups1.0-1 784, libgnomecups1.0-1 1047, libgnomekbd-common 13599, libgnomekbd2 13599, libgnomekbdui2 13599, -libgnomeprint2.2-0 13014, libgnomeprint2.2-0 13513, -libgnomeprint2.2-data 13014, libgnomeprint2.2-data 13513, -libgnomeprintui2.2-0 13016, libgnomeprintui2.2-0 13507, -libgnomeprintui2.2-common 13016, libgnomeprintui2.2-common 13507, -libgnomeui-0 13002, libgnomeui-0 13562, -libgnomeui-common 13002, libgnomeui-common 13562, -libgnomeui-dev 13002, -libgnomevfs2-0 13031, libgnomevfs2-0 19434, -libgnomevfs2-common 13031, libgnomevfs2-common 19434, -libgnomevfs2-dev 13031, libgnomevfs2-dev 19434, libgnutls-dev 12257, -libgnutls11 6893, -libgnutls11-dev 6893, libgnutls26 12257, libgoffice-1-2 979, libgoffice-1-common 979, -libgpg-error-dev 6264, libgpg-error-dev 8337, -libgpg-error0 6264, libgpg-error0 8337, -libgpgme11 6596, libgpgme11 7289, -libgphoto2-2 11512, libgphoto2-2 11747, -libgphoto2-port0 11512, libgphoto2-port0 11747, libgpod3 2448, libgs8 17082, libgsf-1-114 9883, libgsf-1-common 9883, libgsf-gnome-1-114 9872, libgsmme1c2a 9648, libgstreamer-plugins-base0.10-0 3994, libgstreamer0.10-0 3995, -libgtk2.0-0 12638, libgtk2.0-0 13325, -libgtk2.0-dev 12638, -libgtkgl2.0-dev 10618, libgtkhtml3.14-19 15077, -libgtkspell-dev 11188, libgtop2-7 13622, libgtop2-common 13622, -libhal-storage0 1907, libhal-storage1 2297, -libhal0 1907, libhal1 2297, libhunspell-1.2-0 7785, -libice-dev 15657, libice-dev 18692, -libice6 15657, libice6 18692, -libidl-dev 3152, libidl-dev 3226, -libidl0 3152, libidl0 3226, -libidn11 2303, libidn11 9297, -libidn11-dev 2303, libidn11-dev 9297, libiec61883-0 7120, libilmbase6 6545, libindex0 20353, libiw28 17303, libjack0 5922, -libjack0.80.0-0 5779, -libjack0.80.0-dev 5779, libjasper1 10735, libkadm55 9131, -libkcal2a 20301, libkcal2b 20371, -libkcddb1 20295, libkcddb1 20369, -libkdeedu1 20302, libkdeedu3 20369, -libkdegames1 20295, libkdegames1 20377, -libkdenetwork2 20301, -libkdepim1 20301, libkdepim1a 20371, libkeyutils1 7473, -libkgantt0 20301, libkgantt0 20371, libkiten1 20369, -libkleopatra0a 20301, libkleopatra1 20371, libkmime2 20353, -libkonq4 20297, libkonq4 20348, -libkonq4-dev 20297, -libkpimexchange1 20301, libkpimexchange1 20371, -libkpimidentities1 20301, libkpimidentities1 20353, libkrb5-dev 9131, -libkrb53 8214, libkrb53 9131, -libksba8 3676, libksba8 6642, -libkscan1 20300, libkscan1 20344, -libksieve0 20301, libksieve0 20353, libktnef1 20371, -liblablgtk2-ocaml-dev 12219, libldap-2.4-2 12338, -libldap2 11600, libldap2-dev 12338, liblockdev1 6558, liblua50 16074, liblualib50 16073, -liblzo1 9265, -libmad0 4332, libmad0 4335, -libmad0-dev 4332, libmad0-dev 4335, -libmagick6 20448, libmagick9 20452, libmeanwhile1 6603, -libmetacity0 19355, libmetacity0 19433, -libmimelib1a 20301, libmimelib1c2a 20353, libmozjs0d 9329, libmozjs1d 9508, libmpcdec3 7680, libmtp7 1124, libmysqlclient12 15417, libmysqlclient12-dev 15417, libmysqlclient15off 16100, -libnautilus-burn0 13055, libnautilus-burn3 13407, libnautilus-burn4 13550, libnautilus-extension1 13553, -libnautilus2-2 13016, -libncurses5 16224, libncurses5 16319, -libncurses5-dev 16224, libncurses5-dev 16319, libncursesw5 16319, libnm-glib0 2581, libnotify1 1846, libnspr4-0d 9329, -libnss3 20107, libnss3-0d 9329, libnss3-1d 15007, -libogg-dev 7202, libogg-dev 7236, -libogg0 7202, libogg0 7236, liboil0.3 1612, libopal-2.2 11869, libopenexr6 9001, -libopenh323-1.15.2 9912, -liborbit2 19386, liborbit2 19412, -liborbit2-dev 19386, liborbit2-dev 19412, -libpam0g 5374, libpam0g 6556, -libpanel-applet2-0 13021, libpanel-applet2-0 13566, -libpanel-applet2-dev 13021, -libpango1.0-0 9332, libpango1.0-0 10056, -libpango1.0-common 9332, libpango1.0-common 10056, -libpango1.0-dev 9332, -libpcre3 15781, libpcre3 16885, -libpcre3-dev 15781, libpcre3-dev 16885, libpcrecpp0 16885, libphonon4 20411, libpisock9 4144, libpisync1 4157, libpixman-1-0 3891, -libpng12-0 7841, libpng12-0 7940, -libpng12-dev 7841, libpng12-dev 7940, libpoppler-qt2 3187, libpoppler3 3187, -libpopt-dev 9146, libpopt-dev 9854, -libpopt0 9146, libpopt0 9854, libpq-dev 17028, libpq4 16994, libpq5 17028, libpt-1.10.10 9691, libpt-1.10.10-plugins-alsa 9691, libpt-1.10.10-plugins-avc 9691, -libpt-1.8.3 9375, -libpt-plugins-oss 9375, -libpt-plugins-v4l2 9375, libpth20 11151, libpulse0 3700, libqt3-mt 20241, -libqt3-mt-dev 20232, -libqt3c102-mt 20232, libqt4-dbus 15752, libqt4-designer 15752, libqt4-network 15752, libqt4-qt3support 15752, libqt4-script 15752, libqt4-sql 15752, libqt4-svg 15752, libqt4-xml 15752, libqtcore4 15752, libqtgui4 15752, libraptor1 8630, libraptor1-dev 8630, librasqal0 3631, librasqal0-dev 3631, libraw1394-8 8084, librdf0 6471, librdf0-dev 6471, -libreadline5 16038, libreadline5 16149, -librss1 20306, librss1 20346, -librsvg2-2 13002, librsvg2-2 13615, -librsvg2-common 13002, librsvg2-common 13615, -librsvg2-dev 13002, libsasl2-2 11593, libsasl2-modules 11593, -libsdl1.2debian 7828, libsdl1.2debian 7897, -libsdl1.2debian-oss 7828, libsdl1.2debian-oss 7897, -libselinux1 10086, libselinux1 11301, libselinux1-dev 11301, -libsensors3 19359, libsensors3 19373, libsensors4 19491, libsepol1 9851, libsepol1-dev 9851, libslab0 3667, libslang2 11479, -libsm-dev 15657, libsm-dev 18693, -libsm6 15657, libsm6 18693, -libsmbclient 14196, libsmbclient 20164, libsmbios2 11081, -libsnmp-base 16132, libsnmp-base 16174, libsnmp9 16174, -libsoup2.2-7 11777, libsoup2.4-1 12233, -libspeex1 7289, libspeex1 7460, libspeexdsp1 7460, libsqlite3-0 14756, libsqlite3-dev 14756, libssh2-1 4457, libssh2-1-dev 4457, libssl0.9.8 3655, libstdc++6 15667, libstreamanalyzer0 2295, libstreams0 2295, -libsvn0 7257, libsysfs2 11396, -libtag1 8098, libtag1c2a 8675, libtalloc1 7566, -libtasn1-2-dev 1175, libtasn1-3 8337, libtasn1-3-dev 8337, libthai-data 749, libthai0 749, libtotem-plparser10 13622, libtrackerclient0 2580, libts-0.0-0 6281, -libungif4g 15500, libungif4g 15517, -libusb-0.1-4 19945, libusb-0.1-4 19949, libvisual-0.4-0 1718, libvolume-id0 5939, -libvorbis-dev 7120, libvorbis-dev 7624, -libvorbis0a 7120, libvorbis0a 7624, -libvorbisenc2 7120, libvorbisenc2 7624, -libvorbisfile3 7120, libvorbisfile3 7624, libvte9 18572, libwavpack1 15981, libwbclient0 20164, -libwmf0.2-7 1152, libwmf0.2-7 1158, libwnck18 13399, libwnck22 13622, libwv2-1 1018, libwv2-dev 1018, -libx11-6 15657, libx11-6 20023, libx11-data 20049, -libx11-dev 15657, libx11-dev 20023, libxapian15 6769, libxau-dev 18709, libxau6 18709, -libxaw7 15657, libxaw7 18704, libxcb-render-util0 1005, libxcb-render0 7011, libxcb-shape0 7011, libxcb-shm0 7011, libxcb-xv0 7011, libxcb1 7011, libxcomposite1 18361, -libxcursor-dev 7233, libxdamage1 18771, libxdmcp-dev 18703, libxdmcp6 18703, -libxext-dev 15657, libxext-dev 18692, -libxext6 15657, libxext6 18692, libxfixes3 19662, libxfont-dev 18891, libxfont1 18891, -libxft-dev 11526, -libxft1 15657, -libxi-dev 15657, libxi-dev 20041, -libxi6 15657, libxi6 20041, libxinerama1 20022, libxkbfile1 18708, libxklavier10 11650, libxklavier12 14704, -libxklavier8 7977, -libxml2 12701, libxml2 12835, -libxml2-dev 12701, libxml2-dev 12835, -libxmu-dev 15657, libxmu-dev 20024, libxmu-headers 20024, -libxmu6 15657, libxmu6 20024, -libxmuu1 15657, libxmuu1 20024, -libxp6 15657, libxp6 18688, -libxpm4 15657, libxpm4 19612, -libxrandr-dev 15657, -libxrandr2 15657, libxrandr2 20061, -libxrender-dev 3122, libxres1 20021, libxslt1-dev 7400, -libxslt1.1 7363, libxslt1.1 7400, libxss1 18759, -libxt-dev 15657, libxt-dev 18702, -libxt6 15657, libxt6 18702, -libxtrap6 15657, libxtrap6 20013, -libxtst6 15657, libxtst6 18696, libxul-common 9329, libxul0d 9329, -libxv-dev 15657, libxv-dev 20024, -libxv1 15657, libxv1 20024, libxxf86dga1 20017, libxxf86misc1 18693, libxxf86vm1 18701, -linux-kernel-headers 12531, linux-libc-dev 12811, lsb-base 14391, -lskat 20295, lskat 20377, lzma 15975, -makedev 12010, makedev 12013, -man-db 12259, man-db 12468, mesa-common-dev 16802, -metacity 19355, metacity 19433, metacity-common 19433, -mkisofs 20255, mkisofs 20459, -mount 13269, mount 13349, -mozilla-psm 20107, -mpeglib 20295, mpeglib 20341, mysql-common 16100, -nautilus 13016, nautilus 13553, -nautilus-cd-burner 13055, nautilus-cd-burner 13407, -nautilus-data 13016, nautilus-data 13553, -nautilus-media 3056, networkstatus 20371, -noatun 20295, noatun 20369, -noatun-plugins 20303, noatun-plugins 20369, openssh-blacklist 587, openssh-client 19751, openssh-server 19751, openssl 3617, openverse 3197, oss-compat 147, perl-suid 16365, -pinentry-qt 2803, pinentry-qt 2863, -pkg-config 4438, pkg-config 4547, -planner 4182, planner 4287, pm-utils 7229, -pmount 2976, pmount 3771, -poxml 20301, poxml 20342, -python 12075, python 12292, python-cairo 8610, python-central 2605, python-elementtree 7796, python-gdata 7159, python-glade2 13292, python-gmenu 13461, python-gnome2 13599, python-gobject 13392, -python-gtk2 12590, python-gtk2 13292, python-libxml2 12835, python-minimal 12292, python-numeric 17282, python-pyorbit 13400, python-support 3130, -python2.3 12077, -python2.3-gtk2 12590, -python2.3-numeric 17270, python2.4 12315, python2.4-minimal 12315, python2.5 12471, python2.5-minimal 12471, -qt3-designer 20232, qt3-designer 20241, -qt3-dev-tools 20232, qt3-dev-tools 20241, -quanta 19574, quanta 20340, -quanta-data 19574, quanta-data 20340, readline-common 16149, -rhythmbox 3213, -secpolicy 20295, -ssh 19631, ssh 19722, -synaptic 5138, synaptic 5237, -tasksel 13642, -totem 5899, totem 13618, totem-common 13618, totem-gstreamer 13618, totem-plugins 13618, -totem-xine 5899, ttf-dustin 17851, ttf-kochi-gothic 6982, ttf-sjfonts 10973, -udev 5141, udev 5915, -umbrello 20301, umbrello 20342, unzip 16486, -vimpart 20303, -vino 12998, vino 13613, wireless-tools 17303, wodim 20458, -x-dev 15657, x-dev 16804, x11-apps 16843, x11-common 19813, x11-session-utils 16841, x11-utils 16842, x11-xfs-utils 16841, x11-xkb-utils 16856, x11-xserver-utils 16844, x11proto-core-dev 16806, x11proto-fonts-dev 11024, x11proto-input-dev 8128, x11proto-kb-dev 6652, x11proto-video-dev 11755, x11proto-xext-dev 16799, xauth 18708, -xbase-clients 15657, xbase-clients 19826, xbitmaps 6543, xcursor-themes 6556, -xfonts-100dpi 15657, xfonts-100dpi 18678, -xfonts-75dpi 15657, xfonts-75dpi 18678, -xfonts-base 15657, xfonts-base 18680, xfonts-encodings 18682, -xfonts-scalable 15657, xfonts-scalable 18682, xfonts-utils 18691, -xfree86-common 15657, xinit 6807, xkb-data 7982, -xlibmesa-dri 15657, xlibmesa-dri 19813, -xlibmesa-gl 15657, xlibmesa-gl 19826, -xlibmesa-gl-dev 15657, xlibmesa-gl-dev 19813, -xlibmesa-glu 15657, xlibmesa-glu 19826, -xlibmesa-glu-dev 15657, -xlibs 15657, -xlibs-data 15657, xlibs-data 19813, -xlibs-static-dev 15657, xlibs-static-dev 19813, -xserver-common 15657, -xserver-xfree86 15657, xserver-xfree86 19813, xserver-xorg 19813, xserver-xorg-core 20039, xserver-xorg-input-mouse 18770, xserver-xorg-video-via 18339, xsltproc 7400, xtrans-dev 7470, -xutils 15657, xutils 19818, xutils-dev 19816, -yelp 12642, yelp 13400, zip 13688, -zlib1g 18824, zlib1g 18840, -zlib1g-dev 18824, zlib1g-dev 18840] # starts : 280 # conflicts : 561662 # decisions : 950857 # propagations : 448247558 # inspects : 887630105 # shortcuts : 0 # learnt literals : 99 # learnt binary clauses : 269 # learnt ternary clauses : 68 # learnt constraints : 561561 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 145370993 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 30 # Number of update (reduction) of LBD : 20443 # 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) : 1572688.0850466634 # non guided choices 47472 # learnt constraints type # org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74 # org.sat4j.minisat.constraints.cnf.LearntWLClause => 35985 # Solving done (289.531s). # WARNING: The solution found MIGHT NOT BE optimal # Solution contains:1214