# Solver launched on Mon Sep 03 09:29:26 UTC 2012
# Using input file /home/competition/data/upgrade/easy/rand695.cudf
# Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand695.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:3974
# Parsing done (3.978s).
# Solving ...
# Request size: 1012
# Number of  packages after slice: 5199
# Slice efficiency: 91%
# --- Begin Solver configuration ---
# org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@182d9c06
# 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 6150 to 7100
Skipping unknown criteria:-notuptodate()
# criteria notuptodate() size is 950 using new vars 7100 to 7100
# criteria changed size is 5198 using new vars 7100 to 7100
# p cnf 7099 46248
# Found optimal criterion number 1
# Current objective function value: 131(0.574s)
# Current objective function value: 83(0.721s)
# Current objective function value: 77(0.804s)
# Current objective function value: 76(1.021s)
# Current objective function value: 75(1.072s)
# Found optimal criterion number 2
# Current objective function value: 75(1.131s)
# Found optimal criterion number 3
# Current objective function value: 982(1.836s)
# cleaning 1997 clauses out of 3993 with flag 8078/5502
# cleaning 3991 clauses out of 7996 with flag 20134/11502
# cleaning 5503 clauses out of 11005 with flag 34160/18502
# cleaning 6747 clauses out of 13502 with flag 50260/26502
# cleaning 7872 clauses out of 15755 with flag 68321/35502
# cleaning 8942 clauses out of 17884 with flag 88398/45503
# cleaning 9962 clauses out of 19942 with flag 110539/56503
# cleaning 10990 clauses out of 21980 with flag 134712/68503
# cleaning 11988 clauses out of 23990 with flag 160753/81503
# cleaning 12998 clauses out of 26002 with flag 188768/95503
# cleaning 13999 clauses out of 28004 with flag 218940/110503
# cleaning 14995 clauses out of 30004 with flag 251091/126502
# cleaning 16005 clauses out of 32009 with flag 285189/143502
# cleaning 16999 clauses out of 34003 with flag 321337/161502
# cleaning 17996 clauses out of 36004 with flag 359477/180502
# cleaning 18999 clauses out of 38009 with flag 399495/200503
# cleaning 20002 clauses out of 40010 with flag 441548/221503
# cleaning 20999 clauses out of 42007 with flag 485693/243503
# cleaning 22003 clauses out of 44007 with flag 531923/266502
# cleaning 23002 clauses out of 46004 with flag 580091/290502
# cleaning 24001 clauses out of 48002 with flag 631144/315503
# cleaning 24997 clauses out of 50000 with flag 684270/341502
# cleaning 26000 clauses out of 52003 with flag 739575/368502
# cleaning 26994 clauses out of 54003 with flag 796139/396502
# cleaning 28005 clauses out of 56010 with flag 854457/425503
# cleaning 28995 clauses out of 58005 with flag 914658/455503
# cleaning 30004 clauses out of 60010 with flag 976683/486503
# cleaning 31002 clauses out of 62006 with flag 1040698/518503
# cleaning 32000 clauses out of 64003 with flag 1106868/551502
# Solver timed out after 285.076s)
# -sum(changed,installedsize) criteria value: 0
# -removed criteria value: 75
# Removed packages: [akode, capplets, gdm, gksu, gnome, gnome-applets, gnome-control-center, gnome-core, gnome-desktop-environment, gnome-office, gnome-panel, gnome-session, gnome-terminal, gnumeric, kcmlinuz, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdeartwork, kdebase, kdebase-bin, kdebase-dev, kdelibs-bin, kdelibs4, kdenetwork, kdesktop, kdeutils, kdevelop3, kdevelop3-data, kdevelop3-plugins, klaptopdaemon, kmessedwords, konq-plugins, konqueror, krfb, kscreensaver, kscreensaver-xsavers, libarts1, libdps1, libgksu1.2-0, libgksuui1.0-0, libglut3, libgsf-gnome-1, libjack0.80.0-0, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libmagick6, libmimelib1a, libmodplug0, libqt3c102-mt, libtag1, libxft1, libxtst6, linux-kernel-headers, nautilus, nautilus-media, secpolicy, totem, totem-xine, vimpart, vino, x-window-system-core, xbase-clients, xfree86-common, xlibmesa-gl, xlibmesa-glu-dev, xlibs, xserver-common]
# -changed criteria value: 982
# Changed packages: [-akode 20295, akregator 20353, -amor 20301, amor 20369, -ark 20295, ark 20343, -arts 8126, arts 8844, -artsbuilder 20295, artsbuilder 20369, -atlantik 20295, atlantik 20340, -atlantikdesigner 20303, atlantikdesigner 20340, -binutils 13428, binutils 13502, blinken 20340, -capplets 19349, -cervisia 20301, cervisia 20342, comerr-dev 11385, cracklib2 12851, -dcoprss 20306, dcoprss 20346, eject 11224, -eyesapplet 20301, eyesapplet 20342, -fifteenapplet 20301, fifteenapplet 20369, -fontconfig 11990, fontconfig 12579, fontconfig-config 12253, -freeglut3 11705, freeglut3 12209, gcc-4.3-base 15667, -gconf2 13005, gconf2 13599, gconf2-common 13599, -gdm 12586, -gksu 7757, -gnome 17322, -gnome-applets 13017, -gnome-control-center 19349, -gnome-core 17322, -gnome-desktop-environment 17322, -gnome-office 17322, -gnome-panel 13021, -gnome-panel-data 13021, gnome-panel-data 13405, -gnome-session 13005, -gnome-terminal 13016, -gnumeric 8507, -gnumeric-common 8507, gnumeric-common 9040, htdig 19527, -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 20374, -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 20340, -kdeadmin 20295, kdeadmin 20345, -kdeadmin-kfile-plugins 20295, kdeadmin-kfile-plugins 20369, -kdeartwork 20295, -kdeartwork-style 20295, kdeartwork-style 20340, -kdeartwork-theme-window 20295, kdeartwork-theme-window 20370, -kdebase 20297, -kdebase-bin 20297, -kdebase-data 20297, kdebase-data 20374, -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 20369, -kdemultimedia 20295, kdemultimedia 20341, -kdemultimedia-kappfinder-data 20295, kdemultimedia-kappfinder-data 20341, -kdemultimedia-kfile-plugins 20295, kdemultimedia-kfile-plugins 20341, -kdemultimedia-kio-plugins 20295, kdemultimedia-kio-plugins 20341, -kdenetwork 20306, -kdenetwork-filesharing 20306, kdenetwork-filesharing 20346, -kdepasswd 20297, kdepasswd 20348, -kdepim 20301, kdepim 20353, -kdepim-kfile-plugins 20301, kdepim-kfile-plugins 20371, -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 20342, -kdesdk-misc 20301, kdesdk-misc 20342, -kdesktop 20297, -kdessh 20295, kdessh 20343, -kdeutils 20295, -kdevelop3 20280, -kdevelop3-data 20280, -kdevelop3-plugins 20280, -kdf 20295, kdf 20369, -kdict 20306, kdict 20378, -kdvi 20300, kdvi 20344, -kedit 20295, kedit 20343, -keduca 20302, keduca 20340, -kenolaba 20295, kenolaba 20340, -kfax 20300, kfax 20370, -kfilereplace 19574, kfilereplace 20340, -kfind 20297, kfind 20374, -kfloppy 20295, kfloppy 20343, -kfouleggs 20295, kfouleggs 20340, -kgamma 20300, kgamma 20370, -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 20374, -kicker-applets 20303, kicker-applets 20340, -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, -klatin 20302, klatin 20340, -kleopatra 20301, kleopatra 20353, -klettres 20302, klettres 20340, -klettres-data 20302, klettres-data 20340, -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 20374, -kmessedwords 20302, -kmid 20295, kmid 20341, -kmilo 20295, kmilo 20369, -kmines 20295, kmines 20377, -kmix 20295, kmix 20369, -kmoon 20301, kmoon 20369, -kmplot 20302, kmplot 20340, -kmrml 20300, kmrml 20370, -kmtrace 20301, kmtrace 20342, knetworkconf 20369, -knewsticker 20306, knewsticker 20378, -knode 20301, knode 20353, -knotes 20301, knotes 20371, -kodo 20301, kodo 20342, -kolf 20295, kolf 20377, -kolourpaint 20300, kolourpaint 20344, -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 20344, -kpercentage 20302, kpercentage 20340, -kpersonalizer 20297, kpersonalizer 20374, -kpf 20306, kpf 20346, -kpilot 20301, kpilot 20353, -kpoker 20295, kpoker 20340, -kpovmodeler 20300, kpovmodeler 20344, -kppp 20306, kppp 20346, -kprof 8502, kprof 8509, -krdc 20306, krdc 20378, -krec 20295, krec 20369, -kregexpeditor 20295, kregexpeditor 20343, -kreversi 20295, kreversi 20377, -krfb 20306, -kruler 20300, kruler 20370, -ksame 20295, ksame 20340, -kscd 20295, kscd 20341, -kscreensaver 20295, -kscreensaver-xsavers 20295, -kshisen 20295, kshisen 20340, -ksig 20303, ksig 20369, -ksim 20295, ksim 20343, -ksirc 20306, ksirc 20378, -ksirtet 20295, ksirtet 20377, -ksmiletris 20295, ksmiletris 20377, -ksmserver 20297, ksmserver 20348, -ksnake 20295, ksnake 20377, -ksnapshot 20300, ksnapshot 20370, -ksokoban 20295, ksokoban 20340, -kspaceduel 20295, kspaceduel 20340, -ksplash 20297, ksplash 20374, -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 20348, -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 20369, -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 20341, -libarts1-audiofile 20295, libarts1-audiofile 20341, -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 12380, 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 2678, libavahi-qt3-dev 2678, libavc1394-0 2178, libavcodec0d 6199, libbluetooth2 14832, -libbonobo2-0 12999, libbonobo2-0 13380, -libbonobo2-common 12999, libbonobo2-common 13380, -libbonobo2-dev 12999, libbonobo2-dev 13380, libboost-python1.33.1 10244, -libc6 12041, libc6 12852, -libc6-dev 12041, libc6-dev 12852, libcairo2 7741, libcairo2-dev 7741, libcgi-ssi-parser-perl 498, libcups2 8237, libcups2-dev 8237, -libcupsys2-dev 7414, libcupsys2-dev 8237, -libcvsservice0 20301, libcvsservice0 20369, libdb4.3++c2 15693, libdb4.4 15771, libdbus-1-3 6598, libdbus-1-dev 6598, libdbus-glib-1-2 5322, libdbus-qt-1-1c2 5240, libdirectfb-0.9-25 3800, -libdps1 15657, libdrm2 11990, libecal1.2-6 9039, libedataserver1.2-7 9039, libedit2 13154, 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, -libgadu3 18974, libgadu3 19034, -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, libgd-gd1-noxpm-perl 10327, libgd-text-perl 5480, libgd1-xpm 9389, -libgksu1.2-0 7788, -libgksuui1.0-0 6684, libgl1-mesa-dev 16695, libgl1-mesa-dri 16695, libgl1-mesa-glx 16695, -libglade2-0 19274, libglade2-0 19309, -libglade2-dev 19274, libglade2-dev 19309, -libglib2.0-0 12633, libglib2.0-0 13474, -libglib2.0-dev 12633, libglib2.0-dev 13474, libglu1-mesa 16057, libglu1-mesa-dev 16057, -libglut3 14849, libgmp3c2 20187, libgnokii3 2647, -libgnome2-0 12999, libgnome2-0 13454, -libgnome2-common 12999, libgnome2-common 13454, -libgnome2-dev 12999, libgnome2-dev 13454, -libgnomevfs2-0 13031, libgnomevfs2-0 19398, -libgnomevfs2-common 13031, libgnomevfs2-common 19398, -libgnomevfs2-dev 13031, libgnomevfs2-dev 19398, libgnutls13 8527, libgnutls26 12257, -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-gnome-1 9734, libgsmme1c2a 9648, libgstreamer0.10-0 3995, -libgtk2.0-0 12638, libgtk2.0-0 13081, -libgtk2.0-common 12638, libgtk2.0-common 13081, -libgtk2.0-dev 12638, libgtk2.0-dev 13081, libgtkdatesview0 498, libhal-storage1 2297, libhal1 2277, -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 20353, libinotify-ruby 92, libinotify-ruby1.8 92, 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 20341, -libkdeedu1 20302, libkdeedu3 20369, -libkdegames1 20295, libkdegames1 20377, -libkdenetwork2 20301, -libkdepim1 20301, libkdepim1a 20371, libkeyutils1 7491, -libkgantt0 20301, libkgantt0 20353, libkiten1 20369, -libkleopatra0a 20301, libkleopatra1 20353, libkmime2 20371, -libkonq4 20297, libkonq4 20374, -libkonq4-dev 20297, libkonq4-dev 20374, -libkpimexchange1 20301, libkpimexchange1 20371, -libkpimidentities1 20301, libkpimidentities1 20353, libkrb5-dev 9131, -libkrb53 8214, libkrb53 9131, -libkscan1 20300, libkscan1 20370, -libksieve0 20301, libksieve0 20371, libktnef1 20371, libldap-2.4-2 12338, liblockdev1 6648, liblua50 16073, liblua50-dev 16069, liblualib50 16074, liblualib50-dev 16074, -libmad0 4332, libmad0 4335, -libmad0-dev 4332, libmad0-dev 4335, -libmagick6 20448, libmagick9 20452, libmeanwhile1 6603, -libmimelib1a 20301, libmimelib1c2a 20353, -libmodplug0 18446, libmodplug0c2 18448, -libncurses5 16224, libncurses5 16319, -libncurses5-dev 16224, libncurses5-dev 16319, libnspr4-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, -liborbit2 19386, liborbit2 19412, -liborbit2-dev 19386, liborbit2-dev 19412, -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, 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, -librss1 20306, librss1 20378, libruby1.8 9417, 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-3 8337, -libtiff4 14869, libtiff4 14908, libtiff4-dev 14908, libtiffxx0c2 14908, -libusb-0.1-4 19945, libusb-0.1-4 19948, -libvorbis-dev 7120, libvorbis-dev 7230, -libvorbis0a 7120, libvorbis0a 7230, -libvorbisenc2 7120, libvorbisenc2 7230, -libvorbisfile3 7120, libvorbisfile3 7230, -libx11-6 15657, libx11-6 20023, libx11-data 20049, -libx11-dev 15657, libx11-dev 20023, libxau-dev 18692, libxau6 18692, -libxaw7 15657, libxaw7 20025, 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 18717, -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 18702, -libxp6 15657, libxp6 18689, -libxpm4 15657, libxpm4 19612, -libxrandr-dev 15657, libxrandr-dev 20061, -libxrandr2 15657, libxrandr2 20061, 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, -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 10837, -lskat 20295, lskat 20340, lua50 16069, -man-db 12259, man-db 12468, mesa-common-dev 16695, -mpeglib 20295, mpeglib 20341, -nautilus 13016, -nautilus-media 3056, networkstatus 20353, -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, -poxml 20301, poxml 20369, python-crack 2019, python2.3-crack 2019, python2.4 12234, -qt3-designer 20232, qt3-designer 20241, -qt3-dev-tools 20232, qt3-dev-tools 20241, -quanta 19574, quanta 20340, -quanta-data 19574, quanta-data 20340, ruby1.8 9396, -secpolicy 20295, -ssh 19631, ssh 19722, -totem 5899, -totem-xine 5899, ttf-dustin 17851, ttf-kochi-mincho 6980, ttf-sjfonts 11006, -umbrello 20301, umbrello 20342, -vimpart 20303, -vino 12998, virtualbox-ose-guest-utils 9074, wireless-tools 17303, -x-dev 15657, x-dev 16806, -x-window-system-core 15657, 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, 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-dev 15657, xlibmesa-gl-dev 19813, -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, xtrans-dev 6547, -xutils 15657, xutils 19818, xutils-dev 19816, -zlib1g 18824, zlib1g 18840, -zlib1g-dev 18824, zlib1g-dev 18840]
# starts		: 291
# conflicts		: 561203
# decisions		: 770219
# propagations		: 414302479
# inspects		: 963934928
# shortcuts		: 0
# learnt literals	: 66
# learnt binary clauses	: 213
# learnt ternary clauses	: 51
# learnt constraints	: 561135
# ignored constraints	: 0
# root simplifications	: 0
# removed literals (reason simplification)	: 100656210
# reason swapping (by a shorter reason)	: 0
# Calls to reduceDB	: 29
# Number of update (reduction) of LBD	: 1022
# 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)	: 1453596.0023717717
# non guided choices	39067
# learnt constraints type 
# org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 28
# org.sat4j.minisat.constraints.cnf.LearntWLClause => 41675
# Solving done (288.631s).
# WARNING: The solution found MIGHT NOT BE optimal
# Solution contains:1070