# Solver launched on Mon Sep 03 09:22:09 UTC 2012
# Using input file /home/competition/data/upgrade/easy/rand736.cudf
# Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand736.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:5161
# Parsing done (5.188s).
# Solving ...
# Request size: 1012
# Number of  packages after slice: 5243
# 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 6194 to 7144
Skipping unknown criteria:-notuptodate()
# criteria notuptodate() size is 950 using new vars 7144 to 7144
# criteria changed size is 5242 using new vars 7144 to 7144
# p cnf 7143 46594
# Found optimal criterion number 1
# Current objective function value: 129(0.692s)
# Current objective function value: 78(0.87s)
# Current objective function value: 76(1.031s)
# Current objective function value: 75(1.224s)
# Current objective function value: 74(1.35s)
# Current objective function value: 71(1.395s)
# Found optimal criterion number 2
# Current objective function value: 71(1.502s)
# Found optimal criterion number 3
# Current objective function value: 1276(2.45s)
# cleaning 1993 clauses out of 3991 with flag 8156/6239
# cleaning 3992 clauses out of 7997 with flag 20219/12238
# cleaning 5503 clauses out of 11005 with flag 34248/19238
# cleaning 6751 clauses out of 13502 with flag 50324/27238
# cleaning 7869 clauses out of 15752 with flag 68359/36239
# cleaning 8938 clauses out of 17883 with flag 88414/46239
# cleaning 9967 clauses out of 19945 with flag 110499/57239
# cleaning 10982 clauses out of 21977 with flag 134644/69238
# cleaning 11992 clauses out of 23996 with flag 160679/82239
# cleaning 13001 clauses out of 26004 with flag 188693/96239
# cleaning 13999 clauses out of 28003 with flag 218897/111239
# cleaning 14997 clauses out of 30003 with flag 251059/127238
# cleaning 15996 clauses out of 32006 with flag 285334/144238
# cleaning 16999 clauses out of 34011 with flag 321490/162239
# cleaning 17998 clauses out of 36010 with flag 359559/181238
# cleaning 19000 clauses out of 38013 with flag 399582/201239
# cleaning 20001 clauses out of 40013 with flag 441583/222239
# cleaning 20998 clauses out of 42012 with flag 485711/244239
# cleaning 22006 clauses out of 44013 with flag 531890/267238
# cleaning 23004 clauses out of 46007 with flag 580076/291238
# cleaning 24002 clauses out of 48003 with flag 630569/316238
# cleaning 25001 clauses out of 50002 with flag 683026/342239
# cleaning 25993 clauses out of 52001 with flag 739671/369239
# cleaning 27001 clauses out of 54007 with flag 804079/397238
# cleaning 27993 clauses out of 56007 with flag 876038/426239
# cleaning 29005 clauses out of 58014 with flag 949710/456239
# cleaning 29994 clauses out of 60008 with flag 1023567/487238
# cleaning 31003 clauses out of 62014 with flag 1098935/519238
# cleaning 32001 clauses out of 64011 with flag 1176017/552238
# Solver timed out after 285.09s)
# -sum(changed,installedsize) criteria value: 0
# -removed criteria value: 71
# Removed packages: [abiword-common, abiword-gnome, akode, base-config, capplets, console-tools, dbus-1, dbus-glib-1, gimp, gnome, gnome-desktop-environment, gnome-gv, gnome-office, gnumeric, gs, gs-common, gs-gpl, gsfonts, hotplug, kcmlinuz, kde, kde-amusements, kde-devel, kde-devel-extras, kdeedu, kdegraphics, kdelibs4, kdesdk, kdesdk-misc, kdevelop3-data, kdevelop3-plugins, kghostview, kmessedwords, kverbos, libarts1, libboost-python1.32.0, libconsole, libcupsys2-gnutls10, libdps1, libenchant1, libgnomecupsui1.0-1, libhal-storage0, libhal0, libjack0.80.0-0, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libmagick6, libmimelib1a, libmodplug0, libnautilus-burn0, libnautilus2-2, libqt3c102-mt, libtag1, libwmf0.2-7, 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: 1276
# Changed packages: [-abiword-common 11835, -abiword-gnome 11835, -akode 20295, akregator 20353, alien 17083, -amor 20301, amor 20369, -ark 20295, ark 20343, -arts 8126, arts 8844, -artsbuilder 20295, artsbuilder 20369, -atlantik 20295, atlantik 20377, -atlantikdesigner 20303, atlantikdesigner 20340, -base-config 13771, -base-files 14303, base-files 16021, belocs-locales-bin 12153, belocs-locales-data 12159, -binutils 13428, binutils 13502, ca-certificates 18159, -capplets 19349, -capplets-data 19349, capplets-data 19398, cdrdao 18792, -cdrecord 20255, cdrecord 20458, -cervisia 20301, cervisia 20342, comerr-dev 11385, -console-tools 18349, -coreutils 16160, coreutils 16514, dbus 7646, -dbus-1 4641, -dbus-glib-1 4641, dbus-x11 7646, -dcoprss 20306, dcoprss 20346, debhelper 16098, -dia-common 5614, dia-common 5649, -dia-gnome 5614, dia-gnome 5650, -dia-libs 5614, dia-libs 5650, -dpkg 9702, dpkg 9846, dpkg-dev 9846, dvd+rw-tools 16449, eject 11224, -eyesapplet 20301, eyesapplet 20369, -fifteenapplet 20301, fifteenapplet 20369, -fontconfig 11990, fontconfig 12253, fontconfig-config 12253, gawk 19515, gcc-4.3-base 15667, -gconf2 13005, gconf2 13459, gconf2-common 13459, genisoimage 20459, -gimp 11819, -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-games 19350, gnome-games 19422, -gnome-games-data 19350, gnome-games-data 19422, -gnome-gv 19349, -gnome-icon-theme 12988, gnome-icon-theme 13393, gnome-menus 13461, gnome-mount 2019, -gnome-office 17322, -gnome-panel 13021, gnome-panel 13405, -gnome-panel-data 13021, gnome-panel-data 13405, -gnome-session 13005, gnome-session 13404, -gnome-themes 13017, gnome-themes 13399, -gnome-themes-extras 3051, gnome-themes-extras 3378, -gnome-volume-manager 7583, gnome-volume-manager 13604, -gnumeric 8507, -gnumeric-common 8507, gnumeric-common 9040, -gs 16979, -gs-common 1532, -gs-gpl 16979, -gsfonts 17066, gstreamer0.10-alsa 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-thinice 19311, gtk2-engines-thinice 19347, guile-1.6 9076, guile-www 7163, -hal 1907, hal 2277, -hotplug 386, htdig 19517, html2text 8138, -imagemagick 20448, imagemagick 20452, indi 20340, industrial-cursor-theme 2493, intltool-debian 4770, -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, -kandy 20301, kandy 20353, -kappfinder 20297, kappfinder 20348, -karm 20301, karm 20353, -kasteroids 20295, kasteroids 20377, -kate 20297, kate 20374, -kate-plugins 20303, kate-plugins 20340, -katomic 20295, katomic 20377, -kaudiocreator 20295, kaudiocreator 20341, -kbabel 20301, kbabel 20342, -kbackgammon 20295, kbackgammon 20377, -kbattleship 20295, kbattleship 20377, kbd 9777, -kblackbox 20295, kblackbox 20377, -kbounce 20295, kbounce 20377, -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-devel 20441, -kde-devel-extras 20442, -kdeaddons 20303, kdeaddons 20340, -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-bin 20297, kdebase-bin 20374, kdebase-bin-kde3 20374, -kdebase-data 20297, kdebase-data 20374, -kdebase-dev 20297, kdebase-dev 20374, -kdebase-kio-plugins 20297, kdebase-kio-plugins 20374, -kdeedu 20302, -kdeedu-data 20302, kdeedu-data 20340, kdeeject 20374, -kdegames 20295, kdegames 20377, -kdegraphics 20300, -kdegraphics-kfile-plugins 20300, kdegraphics-kfile-plugins 20370, -kdelibs 20308, kdelibs 20380, -kdelibs-bin 20308, kdelibs-bin 20404, -kdelibs-data 20308, kdelibs-data 20380, -kdelibs4 20308, -kdelibs4-dev 20308, kdelibs4-dev 20380, kdelibs4c2a 20380, kdelibs5 20404, kdelibs5-data 20404, -kdelirc 20295, kdelirc 20369, -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 20346, -kdepasswd 20297, kdepasswd 20374, -kdepim 20301, kdepim 20353, -kdepim-kfile-plugins 20301, kdepim-kfile-plugins 20371, -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 20342, -kdesdk-misc 20301, -kdesktop 20297, kdesktop 20374, -kdessh 20295, kdessh 20343, -kdetoys 20301, kdetoys 20369, kdevelop 20311, kdevelop-data 20311, -kdevelop3 20280, kdevelop3 20309, -kdevelop3-data 20280, -kdevelop3-plugins 20280, -kdewebdev 19574, kdewebdev 20340, -kdf 20295, kdf 20369, -kdict 20306, kdict 20378, -kdvi 20300, kdvi 20344, -kedit 20295, kedit 20343, -keduca 20302, keduca 20340, -kenolaba 20295, kenolaba 20377, -kfax 20300, kfax 20370, -kfilereplace 19574, kfilereplace 20340, -kfind 20297, kfind 20374, -kfloppy 20295, kfloppy 20343, -kfouleggs 20295, kfouleggs 20377, -kgamma 20300, kgamma 20344, -kget 20306, kget 20346, -kghostview 20300, -kgoldrunner 20295, kgoldrunner 20377, -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 20377, -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 20377, -klines 20295, klines 20377, -klinkstatus 19574, klinkstatus 20340, -klipper 20297, klipper 20348, -kmahjongg 20295, kmahjongg 20377, -kmail 20301, kmail 20353, -kmailcvt 20301, kmailcvt 20353, -kmenuedit 20297, kmenuedit 20374, -kmessedwords 20302, -kmid 20295, kmid 20369, -kmilo 20295, kmilo 20369, -kmines 20295, kmines 20377, -kmix 20295, kmix 20369, -kmoon 20301, kmoon 20369, -kmplot 20302, kmplot 20340, -kmrml 20300, kmrml 20344, -kmtrace 20301, kmtrace 20342, knetwalk 20377, knetworkconf 20369, -knewsticker 20306, knewsticker 20378, -knewsticker-scripts 20303, knewsticker-scripts 20340, -knode 20301, knode 20353, -knotes 20301, knotes 20353, -kodo 20301, kodo 20369, -kolf 20295, kolf 20377, -kolourpaint 20300, kolourpaint 20344, -kommander 19574, kommander 20340, -kompare 20301, kompare 20369, -konq-plugins 20303, konq-plugins 20340, -konqueror 20297, konqueror 20374, -konqueror-nsplugins 20297, konqueror-nsplugins 20348, -konquest 20295, konquest 20377, -konsole 20297, konsole 20374, -konsolekalendar 20301, konsolekalendar 20371, -kontact 20301, kontact 20353, -kooka 20300, kooka 20370, -kopete 20306, kopete 20346, -korganizer 20301, korganizer 20353, -korn 20301, korn 20371, -kpackage 20295, kpackage 20369, -kpager 20297, kpager 20374, -kpat 20295, kpat 20377, -kpdf 20300, kpdf 20344, -kpercentage 20302, kpercentage 20340, -kpersonalizer 20297, kpersonalizer 20374, -kpf 20306, kpf 20378, -kpilot 20301, kpilot 20353, -kpoker 20295, kpoker 20377, -kpovmodeler 20300, kpovmodeler 20370, -kppp 20306, kppp 20378, -kprof 8502, kprof 8509, -krdc 20306, krdc 20378, -krec 20295, krec 20341, -kregexpeditor 20295, kregexpeditor 20343, -kreversi 20295, kreversi 20377, -krfb 20306, krfb 20346, -kruler 20300, kruler 20344, -ksame 20295, ksame 20377, -kscd 20295, kscd 20341, -kscreensaver 20295, kscreensaver 20370, -kscreensaver-xsavers 20295, kscreensaver-xsavers 20340, -kshisen 20295, kshisen 20377, -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 20377, -kspaceduel 20295, kspaceduel 20377, -ksplash 20297, ksplash 20374, -kspy 20301, kspy 20342, -kstars 20302, kstars 20340, -kstars-data 20302, kstars-data 20340, -ksvg 20300, ksvg 20344, -ksync 20301, ksync 20353, -ksysguard 20297, ksysguard 20374, -ksysguardd 20297, ksysguardd 20374, -ksysv 20295, ksysv 20345, -kteatime 20301, kteatime 20369, -ktimer 20295, ktimer 20369, -ktip 20297, ktip 20348, -ktnef 20301, ktnef 20353, -ktouch 20302, ktouch 20340, -ktron 20295, ktron 20377, -ktuberling 20295, ktuberling 20377, -kturtle 20302, kturtle 20340, -ktux 20301, ktux 20369, -kuickshow 20300, kuickshow 20344, -kuiviewer 20301, kuiviewer 20342, -kuser 20295, kuser 20369, -kverbos 20302, -kview 20300, kview 20344, -kviewshell 20300, kviewshell 20344, -kvoctrain 20302, kvoctrain 20340, -kwalletmanager 20295, kwalletmanager 20369, -kweather 20301, kweather 20369, -kwifimanager 20306, kwifimanager 20346, -kwin 20297, kwin 20374, -kwin4 20295, kwin4 20377, -kwordquiz 20302, kwordquiz 20340, -kworldclock 20301, kworldclock 20369, -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 10096, -libatk1.0-dev 9306, libatk1.0-dev 10096, -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 2678, libavahi-qt3-dev 2678, libavc1394-0 2178, libavcodec0d 6199, libbluetooth2 14832, -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, libbonoboui2-dev 13599, -libboost-python1.32.0 10230, libboost-python1.33.1 10244, -libc6 12041, libc6 12852, -libc6-dev 12041, libc6-dev 12852, libcairo2 9054, libcairo2-dev 9054, libcamel1.2-8 9039, libclucene0ldbl 3781, -libconsole 18349, -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, -libcurl3 16924, libcurl3 16942, -libcvsservice0 20301, libcvsservice0 20369, libdatrie0 648, libdb2 20147, libdb4.3 15693, libdb4.3++c2 15693, libdb4.4 15771, libdb4.6 15833, libdbus-1-3 7646, libdbus-1-dev 7646, libdbus-glib-1-2 5368, libdbus-qt-1-1c2 5240, libdirectfb-0.9-20 3782, libdirectfb-0.9-25 3800, libdirectfb-1.0-0 6567, libdirectfb-dev 3800, libdirectfb-extra 3782, -libdps1 15657, libdrm2 11990, libebook1.2-5 9039, libecal1.2-6 9039, libedataserver1.2-7 9039, libedataserver1.2-9 13624, libedataserverui1.2-6 9039, libedit2 13154, libeel2-2.14 13404, -libenchant1 7266, libenchant1c2a 8078, 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 3967, libfs6 20012, -libgadu3 18974, libgadu3 19034, -libgcc1 19603, libgcc1 19726, -libgconf2-4 13005, libgconf2-4 13459, -libgconf2-dev 13005, libgconf2-dev 13459, -libgcrypt11 7605, libgcrypt11 8442, -libgcrypt11-dev 7605, libgcrypt11-dev 8442, libgif4 15517, libgl1-mesa-dev 16695, libgl1-mesa-dri 16695, libgl1-mesa-glx 16695, -libglade2-0 19274, libglade2-0 19318, -libglade2-dev 19274, libglade2-dev 19318, -libglib2.0-0 12633, libglib2.0-0 13474, -libglib2.0-dev 12633, libglib2.0-dev 13474, libglu1-mesa 16057, libglu1-mesa-dev 16057, libgmp3c2 20187, libgnokii3 2647, -libgnome-desktop-2 13022, libgnome-desktop-2 13625, -libgnome-keyring-dev 1789, libgnome-keyring-dev 13625, -libgnome-keyring0 1789, libgnome-keyring0 13625, libgnome-menu2 13617, libgnome-window-settings1 19398, -libgnome2-0 12999, libgnome2-0 13561, -libgnome2-common 12999, libgnome2-common 13561, -libgnome2-dev 12999, libgnome2-dev 13561, -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, 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, libgnomeui-dev 13562, -libgnomevfs2-0 13031, libgnomevfs2-0 19434, -libgnomevfs2-common 13031, libgnomevfs2-common 19434, -libgnomevfs2-dev 13031, libgnomevfs2-dev 19434, 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-1-114 9883, libgsf-1-common 9883, libgsmme1c2a 9648, libgstreamer-plugins-base0.10-0 3994, libgstreamer0.10-0 3995, -libgtk2.0-0 12638, libgtk2.0-0 13325, -libgtk2.0-dev 12638, libgtk2.0-dev 13325, libgtop2-7 13412, libgtop2-common 13412, -libhal-storage0 1907, libhal-storage1 2277, -libhal0 1907, 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 2561, -libidn11-dev 2303, libidn11-dev 2561, libiec61883-0 7120, libilmbase-dev 6545, libilmbase6 6545, libindex0 20371, libiw28 17303, 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 16073, liblualib50-dev 16073, -libmad0 4332, libmad0 4335, -libmad0-dev 4332, libmad0-dev 4335, -libmagick6 20448, libmagick9 20452, libmeanwhile1 6603, -libmetacity0 19355, libmetacity0 19433, -libmimelib1a 20301, libmimelib1c2a 20371, -libmodplug0 18446, libmodplug0c2 18448, libmpeg3-1 8836, libmpeg3-dev 8836, libmysqlclient15off 16092, -libnautilus-burn0 13055, libnautilus-burn3 13407, libnautilus-extension1 13553, -libnautilus2-2 13016, -libncurses5 16224, libncurses5 16319, -libncurses5-dev 16224, libncurses5-dev 16319, libncursesw5 16319, libnotify1 1846, 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, -liborbit2 19386, liborbit2 19412, -liborbit2-dev 19386, liborbit2-dev 19412, -libpam0g 5374, libpam0g 6556, -libpanel-applet2-0 13021, libpanel-applet2-0 13405, -libpanel-applet2-dev 13021, libpanel-applet2-dev 13405, -libpango1.0-0 9332, libpango1.0-0 10056, -libpango1.0-common 9332, libpango1.0-common 10056, -libpango1.0-dev 9332, libpango1.0-dev 10056, -libpcre3 15781, libpcre3 16885, -libpcre3-dev 15781, libpcre3-dev 16885, libpcrecpp0 16885, libphonon4 20411, libpisock9 4144, libpixman-1-0 3891, libpixman-1-dev 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, libpq5 17028, libpthread-stubs0 502, libpthread-stubs0-dev 502, -libqt3-headers 20232, libqt3-headers 20241, libqt3-mt 20241, -libqt3-mt-dev 20232, libqt3-mt-dev 20241, -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, librasqal0 3754, libraw1394-8 7636, librdf0 6764, -libreadline5 16038, libreadline5 16149, librpm4 15374, -librss1 20306, librss1 20378, -librsvg2-2 13002, librsvg2-2 13615, -librsvg2-common 13002, librsvg2-common 13615, -librsvg2-dev 13002, librsvg2-dev 13615, libsasl2-2 11592, libsasl2-dev 11592, libsasl2-modules 11592, libsc-doc 11753, -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 11266, libsepol1-dev 11266, libslab0 3667, -libsm-dev 15657, libsm-dev 18693, -libsm6 15657, libsm6 18693, -libsmbclient 14196, libsmbclient 14213, -libsnmp-base 16132, libsnmp-base 16174, libsnmp9 16174, libsoprano4 11449, -libspeex1 7289, libspeex1 7362, libsqlite3-0 14756, libssh2-1 4457, libssl0.9.8 3655, libstdc++6 15667, libstreamanalyzer0 2295, libstreams0 2295, libsysfs2 11402, -libtag1 8098, libtag1c2a 8675, libtasn1-3 8337, libthai-data 749, libthai0 749, -libtiff4 14869, libtiff4 14908, libtiff4-dev 14908, libtiffxx0c2 14908, libtotem-plparser1 13473, libts-0.0-0 6281, -libungif4g 15500, libungif4g 15517, -libusb-0.1-4 19945, libusb-0.1-4 19949, libvolume-id0 5915, -libvorbis-dev 7120, libvorbis-dev 7230, -libvorbis0a 7120, libvorbis0a 7230, -libvorbisenc2 7120, libvorbisenc2 7230, -libvorbisfile3 7120, libvorbisfile3 7230, -libwmf0.2-7 1152, libwnck18 13399, -libwrap0 16896, libwrap0 16898, -libx11-6 15657, libx11-6 20023, libx11-data 20049, -libx11-dev 15657, libx11-dev 20023, libxau-dev 18692, libxau6 18692, -libxaw7 15657, libxaw7 18704, libxcb-render-util0 1005, libxcb-render-util0-dev 1005, libxcb-render0 7011, libxcb-render0-dev 7011, libxcb1 7011, libxcb1-dev 7011, libxcomposite-dev 18361, libxcomposite1 18361, libxdamage-dev 18771, libxdamage1 18771, libxdmcp-dev 18692, libxdmcp6 18692, -libxext-dev 15657, libxext-dev 20024, -libxext6 15657, libxext6 20024, 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, 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 18702, -libxp6 15657, libxp6 18689, -libxpm4 15657, libxpm4 19612, -libxrandr-dev 15657, libxrandr-dev 20061, -libxrandr2 15657, libxrandr2 20061, libxres1 20017, libxslt1-dev 7418, -libxslt1.1 7363, libxslt1.1 7418, libxss1 18778, -libxt-dev 15657, libxt-dev 18719, -libxt6 15657, libxt6 18719, -libxtrap6 15657, libxtrap6 18679, -libxtst6 15657, libxtst6 18696, -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, lprng 14921, lsb-base 14391, lsb-core 14260, lsb-graphics 14260, lsb-release 8363, -lskat 20295, lskat 20377, lua50 16074, make 15225, -makedev 12010, makedev 12013, -man-db 12259, man-db 12468, mesa-common-dev 16695, -metacity 19355, metacity 19433, metacity-common 19433, -mkisofs 20255, mkisofs 20459, -mpeglib 20295, mpeglib 20369, mysql-common 16092, -nautilus 13016, nautilus 13409, -nautilus-cd-burner 13055, nautilus-cd-burner 13407, -nautilus-data 13016, nautilus-data 13408, -nautilus-media 3056, ncurses-term 16224, networkstatus 20353, -noatun 20295, noatun 20369, -noatun-plugins 20303, noatun-plugins 20340, openoffice.org-thesaurus-it 22, openssh-blacklist 1765, openssh-client 19722, openssh-server 19722, openssl 3655, oss-compat 147, patch 12513, pax 18972, perl-suid 16365, -pinentry-qt 2803, pinentry-qt 2808, -planner 4182, planner 4281, -pmount 2976, pmount 3729, po-debconf 3266, -poxml 20301, poxml 20342, -python 12075, python 12292, python-cairo 8610, python-central 2605, python-glade2 13045, python-gmenu 13461, -python-gtk2 12590, python-gtk2 13045, python-minimal 12292, python-numeric 17280, python-support 2234, -python2.3 12077, -python2.3-gtk2 12590, -python2.3-numeric 17270, python2.4 12294, python2.4-minimal 12294, -qt3-designer 20232, qt3-designer 20238, -qt3-dev-tools 20232, qt3-dev-tools 20241, -quanta 19574, quanta 20340, -quanta-data 19574, quanta-data 20340, readline-common 16149, rpm 15374, rsync 12640, -secpolicy 20295, -ssh 19631, ssh 19722, storebackup 9995, -totem 5899, totem 13473, -totem-xine 5899, totem-xine 13473, ttf-dustin 17851, ttf-kochi-mincho 6980, -udev 5141, udev 5915, -umbrello 20301, umbrello 20342, -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-composite-dev 1376, x11proto-core-dev 16806, x11proto-damage-dev 7120, 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 3302, -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 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		: 293
# conflicts		: 559565
# decisions		: 814165
# propagations		: 329405329
# inspects		: 771700677
# shortcuts		: 0
# learnt literals	: 76
# learnt binary clauses	: 323
# learnt ternary clauses	: 44
# learnt constraints	: 559487
# ignored constraints	: 0
# root simplifications	: 0
# removed literals (reason simplification)	: 174646383
# reason swapping (by a shorter reason)	: 0
# Calls to reduceDB	: 29
# Number of update (reduction) of LBD	: 2173
# 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)	: 1155751.3981769315
# non guided choices	41411
# learnt constraints type 
# org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
# org.sat4j.minisat.constraints.cnf.LearntWLClause => 39296
# Solving done (288.669s).
# WARNING: The solution found MIGHT NOT BE optimal
# Solution contains:1198