# Solver launched on Mon Sep 03 09:29:52 UTC 2012
# Using input file /home/competition/data/upgrade/easy/rand813.cudf
# Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand813.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:5499
# Parsing done (5.505s).
# Solving ...
# Request size: 1012
# Number of  packages after slice: 5258
# Slice efficiency: 90%
# --- 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 6209 to 7159
Skipping unknown criteria:-notuptodate()
# criteria notuptodate() size is 950 using new vars 7159 to 7159
# criteria changed size is 5257 using new vars 7159 to 7159
# p cnf 7158 46451
# Found optimal criterion number 1
# Current objective function value: 103(0.72s)
# Current objective function value: 65(0.885s)
# Current objective function value: 63(0.989s)
# Current objective function value: 61(1.06s)
# Current objective function value: 60(1.219s)
# Current objective function value: 59(1.315s)
# Current objective function value: 58(1.396s)
# Current objective function value: 57(1.425s)
# Found optimal criterion number 2
# Current objective function value: 57(1.5s)
# Found optimal criterion number 3
# Current objective function value: 1203(1.993s)
# cleaning 1998 clauses out of 3997 with flag 8194/5526
# cleaning 3993 clauses out of 8000 with flag 20356/11527
# cleaning 5503 clauses out of 11006 with flag 34386/18526
# cleaning 6752 clauses out of 13503 with flag 50473/26526
# cleaning 7876 clauses out of 15751 with flag 68529/35526
# cleaning 8933 clauses out of 17875 with flag 88597/45526
# cleaning 9962 clauses out of 19943 with flag 110710/56527
# cleaning 10991 clauses out of 21981 with flag 134862/68527
# cleaning 11988 clauses out of 23990 with flag 160900/81527
# cleaning 13001 clauses out of 26002 with flag 188912/95527
# cleaning 13991 clauses out of 28000 with flag 219085/110526
# cleaning 15005 clauses out of 30009 with flag 251229/126526
# cleaning 16001 clauses out of 32005 with flag 285295/143527
# cleaning 16996 clauses out of 34004 with flag 321495/161527
# cleaning 17998 clauses out of 36008 with flag 359633/180527
# cleaning 19000 clauses out of 38009 with flag 399658/200526
# cleaning 20002 clauses out of 40010 with flag 441660/221527
# cleaning 21003 clauses out of 42007 with flag 485840/243526
# cleaning 21998 clauses out of 44004 with flag 532033/266526
# cleaning 22997 clauses out of 46007 with flag 580230/290527
# cleaning 24000 clauses out of 48010 with flag 630369/315527
# cleaning 25002 clauses out of 50010 with flag 682527/341527
# cleaning 25998 clauses out of 52008 with flag 736754/368527
# cleaning 26999 clauses out of 54009 with flag 793102/396526
# cleaning 28000 clauses out of 56011 with flag 851153/425527
# Solver timed out after 285.062s)
# -sum(changed,installedsize) criteria value: 0
# -removed criteria value: 57
# Removed packages: [akode, capplets, console-common, docbook-dsssl, gnome, gnome-desktop-environment, gnome-doc-tools, kcmlinuz, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdebase, kdebase-dev, kdelibs-bin, kdelibs4, kdevelop3-data, kdevelop3-plugins, kmessedwords, konq-plugins, konqueror, libarts1, libboost-python1.32.0, libcupsys2-gnutls10, libdps1, libgnomecupsui1.0-1, libgnutls11-dev, libjack0.80.0-0, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, liblwres1, libmagick6, libmimelib1a, libmodplug0, libnautilus2-2, libqt3c102-mt, libtag1, libtasn1-2-dev, libxft1, libxklavier8, linux-kernel-headers, nautilus-media, python2.3, python2.3-gtk2, python2.3-numeric, secpolicy, vimpart, xfree86-common, xlibmesa-glu-dev, xlibs, xserver-common]
# -changed criteria value: 1203
# Changed packages: [-akode 20295, akregator 20353, -amor 20301, amor 20342, -ark 20295, ark 20343, -arts 8126, arts 8844, -artsbuilder 20295, artsbuilder 20369, -atlantik 20295, atlantik 20340, -atlantikdesigner 20303, atlantikdesigner 20340, binfmt-support 7713, -binutils 13428, binutils 13502, blinken 20340, -capplets 19349, -capplets-data 19349, capplets-data 19398, cdrdao 18792, -cdrecord 20255, cdrecord 20458, -cervisia 20301, cervisia 20342, comerr-dev 11385, -console-common 2951, -console-data 17473, console-data 20096, -console-tools 18349, console-tools 18350, -coreutils 16160, coreutils 16514, -dcoprss 20306, dcoprss 20346, -dia-common 5614, dia-common 5649, -dia-gnome 5614, dia-gnome 5650, -dia-libs 5614, dia-libs 5650, -dnsutils 19851, dnsutils 19852, -docbook-dsssl 10518, -dpkg 9702, dpkg 9846, dvd+rw-tools 16449, eject 11224, -eyesapplet 20301, eyesapplet 20342, -fifteenapplet 20301, fifteenapplet 20342, -fontconfig 11990, fontconfig 12253, fontconfig-config 12253, ftdi-eeprom 869, gawk 19515, gcc-4.3-base 15667, gcompris-data 17001, gcompris-sound-eu 17001, -gconf2 13005, gconf2 13599, gconf2-common 13599, genisoimage 20459, -gnome 17322, -gnome-about 13022, gnome-about 13400, -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 19398, -gnome-cups-manager 4665, gnome-cups-manager 4786, -gnome-desktop-data 13022, gnome-desktop-data 13400, -gnome-desktop-environment 17322, -gnome-doc-tools 6289, gnome-doc-utils 2475, -gnome-games 19350, gnome-games 19422, -gnome-games-data 19350, gnome-games-data 19422, -gnome-icon-theme 12988, gnome-icon-theme 13393, gnome-menus 13461, -gnome-panel 13021, gnome-panel 13405, -gnome-panel-data 13021, gnome-panel-data 13405, -gnome-session 13005, gnome-session 13404, -gnumeric 8507, gnumeric 9040, -gnumeric-common 8507, gnumeric-common 9040, gstreamer0.10-alsa 3994, htdig 19517, -imagemagick 20448, imagemagick 20452, indi 20340, -juk 20295, juk 20369, -kaboodle 20295, kaboodle 20341, -kaddressbook 20301, kaddressbook 20353, -kaddressbook-plugins 20303, kaddressbook-plugins 20340, -kalarm 20301, kalarm 20353, -kalzium 20302, kalzium 20340, kalzium-data 20340, -kamera 20300, kamera 20344, kanagram 20340, -kandy 20301, kandy 20353, -kappfinder 20297, kappfinder 20348, -karm 20301, karm 20353, -kasteroids 20295, kasteroids 20340, -kate 20297, kate 20348, -kate-plugins 20303, kate-plugins 20340, -katomic 20295, katomic 20340, -kaudiocreator 20295, kaudiocreator 20341, -kbabel 20301, kbabel 20342, -kbackgammon 20295, kbackgammon 20340, -kbattleship 20295, kbattleship 20340, -kblackbox 20295, kblackbox 20340, -kbounce 20295, kbounce 20340, -kbruch 20302, kbruch 20340, -kbugbuster 20301, kbugbuster 20342, -kcachegrind 20301, kcachegrind 20342, -kcalc 20295, kcalc 20343, -kcharselect 20295, kcharselect 20343, -kcmlinuz 20295, -kcoloredit 20300, kcoloredit 20344, -kcontrol 20297, kcontrol 20348, -kcron 20295, kcron 20345, -kdat 20295, kdat 20345, -kdbg 9570, kdbg 11091, -kde 20441, -kde-amusements 20441, -kde-core 20441, -kde-devel 20441, -kde-devel-extras 20442, -kdeaddons 20303, -kdeaddons-kfile-plugins 20303, kdeaddons-kfile-plugins 20369, -kdeadmin 20295, kdeadmin 20345, -kdeadmin-kfile-plugins 20295, kdeadmin-kfile-plugins 20369, -kdeartwork-style 20295, kdeartwork-style 20370, -kdeartwork-theme-icon 20295, kdeartwork-theme-icon 20340, -kdeartwork-theme-window 20295, kdeartwork-theme-window 20370, -kdebase 20297, -kdebase-bin 20297, kdebase-bin 20348, -kdebase-data 20297, kdebase-data 20348, -kdebase-dev 20297, -kdebase-kio-plugins 20297, kdebase-kio-plugins 20374, -kdeedu 20302, kdeedu 20340, -kdeedu-data 20302, kdeedu-data 20340, kdeeject 20374, -kdegraphics-kfile-plugins 20300, kdegraphics-kfile-plugins 20370, -kdelibs 20308, kdelibs 20380, -kdelibs-bin 20308, -kdelibs-data 20308, kdelibs-data 20380, -kdelibs4 20308, -kdelibs4-dev 20308, kdelibs4-dev 20380, kdelibs4c2a 20380, -kdelirc 20295, kdelirc 20343, -kdemultimedia 20295, kdemultimedia 20341, -kdemultimedia-kappfinder-data 20295, kdemultimedia-kappfinder-data 20369, -kdemultimedia-kfile-plugins 20295, kdemultimedia-kfile-plugins 20341, -kdemultimedia-kio-plugins 20295, kdemultimedia-kio-plugins 20341, -kdenetwork-filesharing 20306, kdenetwork-filesharing 20378, -kdepasswd 20297, kdepasswd 20348, -kdepim 20301, kdepim 20353, -kdepim-kfile-plugins 20301, kdepim-kfile-plugins 20353, -kdepim-kio-plugins 20301, kdepim-kio-plugins 20371, kdepim-kresources 20371, -kdepim-wizards 20301, kdepim-wizards 20353, -kdeprint 20297, kdeprint 20348, -kdesdk-kfile-plugins 20301, kdesdk-kfile-plugins 20369, -kdesdk-misc 20301, kdesdk-misc 20369, -kdesktop 20297, kdesktop 20348, -kdessh 20295, kdessh 20343, kdevelop 20311, kdevelop-data 20311, -kdevelop3 20280, kdevelop3 20309, -kdevelop3-data 20280, -kdevelop3-plugins 20280, -kdf 20295, kdf 20369, -kdict 20306, kdict 20346, -kdvi 20300, kdvi 20344, -kedit 20295, kedit 20343, -keduca 20302, keduca 20340, -kenolaba 20295, kenolaba 20340, -kfax 20300, kfax 20344, -kfilereplace 19574, kfilereplace 20340, -kfind 20297, kfind 20348, -kfloppy 20295, kfloppy 20343, -kfouleggs 20295, kfouleggs 20340, -kgamma 20300, kgamma 20344, -kget 20306, kget 20346, -kghostview 20300, kghostview 20344, -kgoldrunner 20295, kgoldrunner 20340, -kgpg 20295, kgpg 20343, -khangman 20302, khangman 20340, -khelpcenter 20297, khelpcenter 20389, -khexedit 20295, khexedit 20343, -kicker 20297, kicker 20348, -kicker-applets 20303, kicker-applets 20369, -kiconedit 20300, kiconedit 20370, -kig 20302, kig 20340, -kimagemapeditor 19574, kimagemapeditor 20370, -kitchensync 20301, kitchensync 20353, -kiten 20302, kiten 20340, -kjots 20295, kjots 20343, -kjumpingcube 20295, kjumpingcube 20340, -klaptopdaemon 20295, klaptopdaemon 20343, -klatin 20302, klatin 20340, -kleopatra 20301, kleopatra 20353, -klettres 20302, klettres 20340, -klettres-data 20302, klettres-data 20340, -klickety 20295, klickety 20340, -klines 20295, klines 20340, -klinkstatus 19574, klinkstatus 20340, -klipper 20297, klipper 20374, -kmahjongg 20295, kmahjongg 20377, -kmail 20301, kmail 20353, -kmailcvt 20301, kmailcvt 20353, -kmenuedit 20297, kmenuedit 20348, -kmessedwords 20302, -kmid 20295, kmid 20369, -kmilo 20295, kmilo 20369, -kmines 20295, kmines 20340, -kmix 20295, kmix 20341, -kmoon 20301, kmoon 20369, -kmplot 20302, kmplot 20340, -kmrml 20300, kmrml 20370, -kmtrace 20301, kmtrace 20342, knetworkconf 20345, -knewsticker 20306, knewsticker 20378, -knode 20301, knode 20353, -knotes 20301, knotes 20353, -kodo 20301, kodo 20342, -kolf 20295, kolf 20340, -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 20370, -kopete 20306, kopete 20346, -korganizer 20301, korganizer 20353, -korn 20301, korn 20371, -kpackage 20295, kpackage 20345, -kpager 20297, kpager 20348, -kpat 20295, kpat 20340, -kpdf 20300, kpdf 20370, -kpercentage 20302, kpercentage 20340, -kpersonalizer 20297, kpersonalizer 20348, -kpf 20306, kpf 20378, -kpilot 20301, kpilot 20371, -kpoker 20295, kpoker 20340, -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 20377, -krfb 20306, krfb 20378, -kruler 20300, kruler 20344, -ksame 20295, ksame 20340, -kscd 20295, kscd 20369, -kscreensaver 20295, kscreensaver 20340, -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 20377, -ksmiletris 20295, ksmiletris 20377, -ksmserver 20297, ksmserver 20348, -ksnake 20295, ksnake 20340, -ksnapshot 20300, ksnapshot 20370, -ksokoban 20295, ksokoban 20377, -kspaceduel 20295, kspaceduel 20340, -ksplash 20297, ksplash 20348, -kspy 20301, kspy 20369, -kstars 20302, kstars 20340, -kstars-data 20302, kstars-data 20340, -ksvg 20300, ksvg 20344, -ksync 20301, ksync 20353, -ksysguard 20297, ksysguard 20348, -ksysguardd 20297, ksysguardd 20348, -ksysv 20295, ksysv 20369, -kteatime 20301, kteatime 20342, -ktimer 20295, ktimer 20369, -ktip 20297, ktip 20374, -ktnef 20301, ktnef 20353, -ktouch 20302, ktouch 20340, -ktron 20295, ktron 20340, -ktuberling 20295, ktuberling 20340, -kturtle 20302, kturtle 20340, -ktux 20301, ktux 20342, -kuickshow 20300, kuickshow 20370, -kuiviewer 20301, kuiviewer 20342, -kuser 20295, kuser 20345, -kverbos 20302, kverbos 20340, -kview 20300, kview 20370, -kviewshell 20300, kviewshell 20370, -kvoctrain 20302, kvoctrain 20340, -kwalletmanager 20295, kwalletmanager 20369, -kweather 20301, kweather 20342, -kwifimanager 20306, kwifimanager 20378, -kwin 20297, kwin 20374, -kwin4 20295, kwin4 20377, -kwordquiz 20302, kwordquiz 20340, -kworldclock 20301, kworldclock 20342, -kxsldbg 19574, kxsldbg 20340, liba52-0.7.4 2848, libacl1-dev 11923, libakode2 11018, -libart-2.0-2 12126, libart-2.0-2 12131, -libart-2.0-dev 12126, libart-2.0-dev 12131, -libarts1 8126, libarts1-akode 20369, -libarts1-audiofile 20295, libarts1-audiofile 20369, -libarts1-dev 8126, libarts1-dev 8878, -libarts1-mpeglib 20295, libarts1-mpeglib 20341, -libarts1-xine 20295, libarts1-xine 20341, libarts1c2a 8878, -libartsc0 8126, libartsc0 8878, -libartsc0-dev 8126, libartsc0-dev 8878, -libasound2 6792, libasound2 6891, -libasound2-dev 6792, libasound2-dev 6891, -libatk1.0-0 9306, libatk1.0-0 9797, -libatk1.0-dev 9306, libatk1.0-dev 9797, -libattr1 12342, libattr1 19285, libattr1-dev 12342, libavahi-client-dev 2661, libavahi-client3 2661, libavahi-common-data 2678, libavahi-common-dev 2661, libavahi-common3 2661, libavahi-compat-libdnssd1 2661, libavahi-glib-dev 2661, libavahi-glib1 2661, libavahi-qt3-1 2661, libavahi-qt3-dev 2661, libavc1394-0 2178, libavcodec0d 6199, libbind9-0 19852, libbluetooth2 15133, -libbonobo2-0 12999, libbonobo2-0 13380, -libbonobo2-common 12999, libbonobo2-common 13380, -libbonobo2-dev 12999, libbonobo2-dev 13380, -libbonoboui2-0 12999, libbonoboui2-0 13382, -libbonoboui2-common 12999, libbonoboui2-common 13382, -libbonoboui2-dev 12999, libbonoboui2-dev 13382, -libboost-python1.32.0 10230, libboost-python1.33.1 10244, -libc6 12041, libc6 12852, -libc6-dev 12041, libc6-dev 12852, libcairo2 7741, libcairo2-dev 7741, libcamel1.2-8 9039, libconfuse0 12540, -libconsole 18349, libconsole 18350, -libcroco3 2440, libcroco3 2468, -libcroco3-dev 2440, libcroco3-dev 2468, libcups2 8237, libcups2-dev 8237, libcupsys2 8237, -libcupsys2-dev 7414, libcupsys2-dev 8237, -libcupsys2-gnutls10 7414, -libcvsservice0 20301, libcvsservice0 20369, libdb2 20147, libdb4.3 15693, libdb4.3++c2 15693, libdb4.4 15771, libdb4.5 15809, libdbus-1-3 6598, libdbus-1-dev 6598, libdbus-glib-1-2 5322, libdbus-qt-1-1c2 5240, libdirectfb-0.9-25 3800, libdns22 19852, -libdps1 15657, libdrm2 11990, libebook1.2-5 9039, libecal1.2-6 9039, libedataserver1.2-7 9039, libedataserverui1.2-6 9039, libedit2 13154, libeel2-2.14 13404, libexif12 2645, libflac7 7215, libflac8 7634, -libfontconfig1 11990, libfontconfig1 12253, -libfontconfig1-dev 11990, libfontconfig1-dev 12253, libfontenc-dev 18702, libfontenc1 18702, libfreebob0 6764, -libfreetype6 11530, libfreetype6 12100, -libfreetype6-dev 11530, libfreetype6-dev 12100, -libfribidi0 3945, libfribidi0 3975, libfs6 20012, libftdi0 2015, -libgadu3 18974, libgadu3 19034, -libgcc1 19603, libgcc1 19726, -libgconf2-4 13005, libgconf2-4 13599, -libgconf2-dev 13005, libgconf2-dev 13599, libgconf2.0-cil 13022, -libgcrypt11 7605, libgcrypt11 8442, -libgcrypt11-dev 7605, libgcrypt11-dev 8442, libgl1-mesa-dev 16695, libgl1-mesa-dri 16695, libgl1-mesa-glx 16695, -libglade2-0 19274, libglade2-0 19309, -libglade2-dev 19274, libglade2-dev 19309, libglade2.0-cil 13022, -libglib2.0-0 12633, libglib2.0-0 13474, libglib2.0-cil 13022, -libglib2.0-dev 12633, libglib2.0-dev 13474, libglu1-mesa 16695, libglu1-mesa-dev 16695, libgmp3c2 20187, libgnokii3 2647, -libgnome-desktop-2 13022, libgnome-desktop-2 13400, -libgnome-keyring-dev 1789, libgnome-keyring-dev 13625, -libgnome-keyring0 1789, libgnome-keyring0 13625, libgnome-menu2 13461, libgnome-window-settings1 19398, -libgnome2-0 12999, libgnome2-0 13454, -libgnome2-common 12999, libgnome2-common 13454, -libgnome2-dev 12999, libgnome2-dev 13454, libgnome2.0-cil 13022, -libgnomecanvas2-0 12983, libgnomecanvas2-0 13379, -libgnomecanvas2-common 12983, libgnomecanvas2-common 13379, -libgnomecanvas2-dev 12983, libgnomecanvas2-dev 13379, -libgnomecups1.0-1 784, libgnomecups1.0-1 1047, -libgnomecupsui1.0-1 4665, libgnomecupsui1.0-1c2a 4786, -libgnomeprint2.2-0 13014, libgnomeprint2.2-0 13293, -libgnomeprint2.2-data 13014, libgnomeprint2.2-data 13293, -libgnomeprintui2.2-0 13016, libgnomeprintui2.2-0 13291, -libgnomeprintui2.2-common 13016, libgnomeprintui2.2-common 13291, -libgnomeui-0 13002, libgnomeui-0 13387, -libgnomeui-common 13002, libgnomeui-common 13387, -libgnomeui-dev 13002, libgnomeui-dev 13387, -libgnomevfs2-0 13031, libgnomevfs2-0 19398, -libgnomevfs2-common 13031, libgnomevfs2-common 19398, -libgnomevfs2-dev 13031, libgnomevfs2-dev 19398, libgnutls-dev 12257, -libgnutls11-dev 6893, libgnutls13 8527, libgnutls26 12257, libgoffice-1-2 979, libgoffice-1-common 979, -libgpg-error-dev 6264, libgpg-error-dev 8337, -libgpg-error0 6264, libgpg-error0 8337, -libgphoto2-2 11512, libgphoto2-2 11747, -libgphoto2-port0 11512, libgphoto2-port0 11747, 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 13081, -libgtk2.0-bin 12638, libgtk2.0-bin 13081, libgtk2.0-cil 13022, -libgtk2.0-common 12638, libgtk2.0-common 13081, -libgtk2.0-dev 12638, libgtk2.0-dev 13081, libgtkhtml3.8-15 15010, libgtop2-7 13412, libgtop2-common 13412, libhal-storage1 2297, libhal1 2297, -libice-dev 15657, libice-dev 20024, -libice6 15657, libice6 20024, -libidl-dev 3152, libidl-dev 3163, -libidl0 3152, libidl0 3163, -libidn11 2303, libidn11 9297, -libidn11-dev 2303, libidn11-dev 9297, libiec61883-0 7120, libilmbase-dev 6545, libilmbase6 6545, libindex0 20371, libisc11 19852, libisccc0 19851, libisccfg1 19852, libiw28 17303, libiw29 17307, libjack-dev 5922, libjack0 5922, libjack0.100.0-dev 5922, -libjack0.80.0-0 5779, -libjack0.80.0-dev 5779, libjasper-dev 10735, 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 7491, -libkgantt0 20301, libkgantt0 20371, libkiten1 20369, -libkleopatra0a 20301, libkleopatra1 20353, libkmime2 20371, -libkonq4 20297, libkonq4 20374, -libkonq4-dev 20297, libkonq4-dev 20374, libkpathsea4 17606, -libkpimexchange1 20301, libkpimexchange1 20371, -libkpimidentities1 20301, libkpimidentities1 20353, libkrb5-dev 9131, -libkrb53 8214, libkrb53 9131, -libkscan1 20300, libkscan1 20370, -libksieve0 20301, libksieve0 20353, libktnef1 20371, libldap-2.4-2 12338, liblockdev1 6648, liblua50 16073, liblua50-dev 16069, liblualib50 16074, liblualib50-dev 16074, -liblwres1 19851, liblwres9 19852, -libmad0 4332, libmad0 4335, -libmad0-dev 4332, libmad0-dev 4335, -libmagick6 20448, libmagick9 20452, libmeanwhile1 6603, -libmetacity0 19355, libmetacity0 19409, -libmimelib1a 20301, libmimelib1c2a 20371, -libmodplug0 18446, libmodplug0c2 18448, libmono-cairo1.0-cil 7708, libmono-corlib1.0-cil 7708, libmono-corlib2.0-cil 7708, libmono-data-tds1.0-cil 7708, libmono-data-tds2.0-cil 7708, libmono-security1.0-cil 7708, libmono-security2.0-cil 7708, libmono-sharpzip0.84-cil 7708, libmono-sharpzip2.84-cil 7708, libmono-system-data1.0-cil 7708, libmono-system-data2.0-cil 7708, libmono-system-web1.0-cil 7708, libmono-system-web2.0-cil 7708, libmono-system1.0-cil 7708, libmono-system2.0-cil 7708, libmono0 7708, libmono2.0-cil 7708, libmozjs0d 9329, libnautilus-burn3 13407, libnautilus-extension1 13409, -libnautilus2-2 13016, -libncurses5 16224, libncurses5 16319, -libncurses5-dev 16224, libncurses5-dev 16319, libncursesw5 16319, libneedle-ruby1.8 8073, libnet-sftp-ruby1.8 7159, libnet-ssh-ruby1.8 7202, libnotify1 1823, libnspr4-0d 9329, libnss3-0d 9329, -libogg-dev 7202, libogg-dev 7236, -libogg0 7202, libogg0 7236, -libopencdk8 2223, libopencdk8 2282, -libopencdk8-dev 2223, libopencdk8-dev 2282, libopenexr-dev 9001, libopenexr6 9001, libopenssl-ruby1.8 9358, -liborbit2 19386, liborbit2 19412, -liborbit2-dev 19386, liborbit2-dev 19412, -libpanel-applet2-0 13021, libpanel-applet2-0 13405, -libpanel-applet2-dev 13021, libpanel-applet2-dev 13405, -libpango1.0-0 9332, libpango1.0-0 9885, -libpango1.0-common 9332, libpango1.0-common 9885, -libpango1.0-dev 9332, libpango1.0-dev 9885, -libpcre3 15781, libpcre3 16885, -libpcre3-dev 15781, libpcre3-dev 16885, libpcrecpp0 16885, libpisock9 4144, libpixman-1-0 3891, -libpng12-0 7841, libpng12-0 7919, -libpng12-dev 7841, libpng12-dev 7919, libpoppler-qt2 3187, libpoppler0c2 1867, libpoppler3 3187, -libpopt-dev 9146, libpopt-dev 9637, -libpopt0 9146, libpopt0 9637, libpostproc0d 6199, -libqt3-headers 20232, libqt3-headers 20241, libqt3-mt 20241, -libqt3-mt-dev 20232, libqt3-mt-dev 20241, -libqt3c102-mt 20232, libraw1394-8 7636, -libreadline5 16038, libreadline5 16149, -librss1 20306, librss1 20378, -librsvg2-2 13002, librsvg2-2 13412, -librsvg2-common 13002, librsvg2-common 13412, -librsvg2-dev 13002, librsvg2-dev 13412, libruby1.8 9396, libsasl2-2 11592, libsasl2-dev 11592, libsasl2-modules 11592, -libsdl1.2debian 7828, libsdl1.2debian 7897, -libsdl1.2debian-oss 7828, libsdl1.2debian-oss 7897, -libselinux1 10086, libselinux1 11301, -libsensors3 19359, libsensors3 19373, -libsm-dev 15657, libsm-dev 18693, -libsm6 15657, libsm6 18693, -libsmbclient 14196, libsmbclient 14213, -libsnmp-base 16132, libsnmp-base 16174, libsnmp9 16174, -libspeex1 7289, libspeex1 7362, libssl0.9.8 3655, libstdc++6 15667, libsysfs2 11402, -libtag1 8098, libtag1c2a 8675, -libtasn1-2-dev 1175, libtasn1-3 1512, libtasn1-3-dev 1512, -libtiff4 14869, libtiff4 14908, libtiff4-dev 14908, libtiffxx0c2 14908, libtotem-plparser1 13473, -libusb-0.1-4 19945, libusb-0.1-4 19949, -libvorbis-dev 7120, libvorbis-dev 7230, -libvorbis0a 7120, libvorbis0a 7230, -libvorbisenc2 7120, libvorbisenc2 7230, -libvorbisfile3 7120, libvorbisfile3 7230, libwnck18 13399, -libx11-6 15657, libx11-6 20023, libx11-data 20049, -libx11-dev 15657, libx11-dev 20023, libxau-dev 18692, libxau6 18692, -libxaw7 15657, libxaw7 18704, libxcomposite1 18361, libxdamage1 18771, libxdmcp-dev 18692, libxdmcp6 18692, -libxext-dev 15657, libxext-dev 18692, -libxext6 15657, libxext6 18692, libxfixes-dev 19662, libxfixes3 19662, libxfont-dev 18891, libxfont1 18891, -libxft-dev 11526, libxft-dev 11562, -libxft1 15657, -libxft2 11526, libxft2 11562, -libxi-dev 15657, libxi-dev 18694, -libxi6 15657, libxi6 18694, -libxine1 6537, libxine1 7222, libxinerama-dev 20022, libxinerama1 20022, libxkbfile1 18708, libxklavier10 11650, -libxklavier8 7977, -libxml2 12701, libxml2 12830, -libxml2-dev 12701, libxml2-dev 12830, -libxmu-dev 15657, libxmu-dev 20024, libxmu-headers 20024, -libxmu6 15657, libxmu6 20024, -libxmuu1 15657, libxmuu1 18702, -libxp6 15657, libxp6 18689, -libxpm4 15657, libxpm4 19612, -libxrandr-dev 15657, libxrandr-dev 20061, -libxrandr2 15657, libxrandr2 20061, libxres1 20017, libxslt1-dev 7400, -libxslt1.1 7363, libxslt1.1 7400, libxss1 18778, -libxt-dev 15657, libxt-dev 18719, -libxt6 15657, libxt6 18719, -libxtrap6 15657, libxtrap6 18679, -libxtst6 15657, libxtst6 18696, libxul-common 9329, libxul0d 9329, -libxv-dev 15657, libxv-dev 18701, -libxv1 15657, libxv1 18701, libxvmc1 18712, libxxf86dga1 20017, libxxf86misc1 18692, libxxf86vm1 18692, -linux-kernel-headers 12531, linux-libc-dev 12811, lockfile-progs 764, lsb-base 14260, -lskat 20295, lskat 20377, lua50 16074, -man-db 12259, man-db 12468, mesa-common-dev 16695, -metacity 19355, metacity 19409, metacity-common 19409, -mkisofs 20255, mkisofs 20459, mono-common 7708, mono-gac 7708, mono-jit 7708, mono-runtime 7708, monodoc 7393, monodoc-base 7393, monodoc-browser 7388, monodoc-manual 9468, -mpeglib 20295, mpeglib 20341, -nautilus 13016, nautilus 13409, -nautilus-cd-burner 13055, nautilus-cd-burner 13407, -nautilus-data 13016, nautilus-data 13408, -nautilus-media 3056, networkstatus 20371, -noatun 20295, noatun 20369, -noatun-plugins 20303, noatun-plugins 20340, openssh-blacklist 1765, openssh-client 19722, openssh-server 19722, oss-compat 147, perl-suid 16365, -pinentry-qt 2803, pinentry-qt 2808, -planner 4182, planner 4281, -poxml 20301, poxml 20342, -python 12075, python 12292, python-cairo 7579, python-central 2299, python-glade2 13045, python-gmenu 13461, -python-gtk2 12590, python-gtk2 13045, python-libxml2 12830, python-minimal 12292, python-numeric 17280, python-support 2234, -python2.3 12077, -python2.3-gtk2 12590, -python2.3-numeric 17270, python2.4 12315, python2.4-minimal 12315, -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 16151, -secpolicy 20295, -ssh 19631, ssh 19722, -tetex-base 11048, tetex-base 14233, -tetex-bin 11039, tetex-bin 14007, tex-common 6532, texlive-common 17549, texlive-lang-dutch 17546, -totem 5899, totem 13473, -totem-xine 5899, totem-xine 13473, ttf-dustin 17851, ttf-kochi-mincho 6980, ttf-sjfonts 10973, -umbrello 20301, umbrello 20369, -vimpart 20303, virtualbox-ose-guest-utils 9074, wireless-tools 17303, wodim 20458, -x-dev 15657, x-dev 16806, x11-common 19826, x11-xkb-utils 16856, x11-xserver-utils 16844, x11proto-core-dev 16806, x11proto-fixes-dev 15284, x11proto-fonts-dev 11021, x11proto-input-dev 8502, x11proto-kb-dev 6650, x11proto-randr-dev 7680, x11proto-video-dev 11757, x11proto-xext-dev 16800, x11proto-xinerama-dev 7212, xauth 18708, -xbase-clients 15657, xbase-clients 19817, 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 19828, -xfree86-common 15657, xkb-data 7982, -xlibmesa-dri 15657, xlibmesa-dri 19813, -xlibmesa-gl 15657, xlibmesa-gl 19813, -xlibmesa-gl-dev 15657, xlibmesa-gl-dev 19826, -xlibmesa-glu 15657, xlibmesa-glu 19813, -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 19826, xserver-xorg-core 20080, xsltproc 7418, xtrans-dev 6547, -xutils 15657, xutils 19818, xutils-dev 19816, -yelp 12642, yelp 13400]
# starts		: 264
# conflicts		: 449003
# decisions		: 641304
# propagations		: 196239495
# inspects		: 422553014
# shortcuts		: 0
# learnt literals	: 55
# learnt binary clauses	: 278
# learnt ternary clauses	: 70
# learnt constraints	: 448946
# ignored constraints	: 0
# root simplifications	: 0
# removed literals (reason simplification)	: 141324127
# reason swapping (by a shorter reason)	: 0
# Calls to reduceDB	: 25
# Number of update (reduction) of LBD	: 1102
# 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)	: 688523.393505605
# non guided choices	54122
# learnt constraints type 
# org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 55
# org.sat4j.minisat.constraints.cnf.LearntWLClause => 51432
# Solving done (288.651s).
# WARNING: The solution found MIGHT NOT BE optimal
# Solution contains:1185