# Solver launched on Mon Sep 03 09:32:20 UTC 2012
# Using input file /home/competition/data/upgrade/easy/rand414.cudf
# Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand414.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:5490
# Parsing done (5.497s).
# Solving ...
# Request size: 1012
# Number of  packages after slice: 5197
# 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 6148 to 7098
Skipping unknown criteria:-notuptodate()
# criteria notuptodate() size is 950 using new vars 7098 to 7098
# criteria changed size is 5196 using new vars 7098 to 7098
# p cnf 7097 46144
# Found optimal criterion number 1
# Current objective function value: 100(0.565s)
# Current objective function value: 80(0.739s)
# Current objective function value: 77(0.853s)
# Current objective function value: 76(0.978s)
# Found optimal criterion number 2
# Current objective function value: 76(1.052s)
# Found optimal criterion number 3
# Current objective function value: 1394(1.243s)
# cleaning 2491 clauses out of 4987 with flag 10437/5635
# cleaning 4245 clauses out of 8496 with flag 25685/11635
# cleaning 5624 clauses out of 11252 with flag 42069/18636
# cleaning 6811 clauses out of 13627 with flag 62175/26635
# cleaning 7904 clauses out of 15817 with flag 87869/35636
# cleaning 8956 clauses out of 17912 with flag 111035/45635
# cleaning 9971 clauses out of 19956 with flag 135823/56635
# cleaning 10990 clauses out of 21986 with flag 160518/68636
# cleaning 11992 clauses out of 23996 with flag 186888/81636
# cleaning 13002 clauses out of 26003 with flag 215065/95635
# cleaning 14001 clauses out of 28002 with flag 248441/110636
# cleaning 14993 clauses out of 30000 with flag 283177/126635
# cleaning 16001 clauses out of 32007 with flag 317535/143635
# cleaning 16995 clauses out of 34006 with flag 354082/161635
# cleaning 18005 clauses out of 36011 with flag 393131/180635
# cleaning 18998 clauses out of 38007 with flag 434798/200636
# cleaning 19997 clauses out of 40006 with flag 477187/221635
# cleaning 20998 clauses out of 42010 with flag 522893/243636
# cleaning 22000 clauses out of 44012 with flag 570895/266636
# cleaning 23004 clauses out of 46012 with flag 624269/290636
# cleaning 23999 clauses out of 48007 with flag 680763/315636
# cleaning 25000 clauses out of 50008 with flag 739861/341636
# cleaning 26004 clauses out of 52007 with flag 807371/368635
# cleaning 26998 clauses out of 54004 with flag 881419/396636
# cleaning 27998 clauses out of 56005 with flag 949768/425635
# Solver timed out after 285.097s)
# -sum(changed,installedsize) criteria value: 0
# -removed criteria value: 76
# Removed packages: [akode, capplets, dbus-1, dbus-glib-1, gnome, gnome-desktop-environment, hotplug, kcalc, kcmlinuz, kde, kde-devel, kde-devel-extras, kdeaddons, kdebase-dev, kdelibs-bin, kdelibs4, kdelibs4-dev, kdesdk, kdeutils, kdevelop3-data, kdevelop3-plugins, kmessedwords, konq-plugins, kspy, libarts1, libarts1-dev, libasound2-dev, libboost-python1.32.0, libdps1, libenchant1, libgc1, libgda2-3, libgda2-common, libgksuui1.0-0, libglibmm-2.4-1, libgnutls11-dev, libgtkmm-2.4-1, libhal-storage0, libhal0, libjack0.80.0-0, libjack0.80.0-dev, libjpeg-progs, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libkonq4-dev, libmagick6, libmimelib1a, libmodplug0, libmyspell3, libnautilus-burn0, libnautilus2-2, libnspr4, libnss3, libqt3c102-mt, libsigc++-2.0-0, libtag1, libtasn1-2-dev, libxft1, libxklavier8, linux-kernel-headers, nautilus-media, openoffice.org, openoffice.org-bin, openoffice.org-debian-files, python2.3, python2.3-gtk2, python2.3-numeric, secpolicy, vimpart, xfree86-common, xlibmesa-glu-dev, xlibs, xserver-common]
# -changed criteria value: 1394
# Changed packages: [-abiword-common 11835, abiword-common 12316, -abiword-gnome 11835, abiword-gnome 12316, -akode 20295, akregator 20371, -amor 20301, amor 20342, -apt 2333, apt 2937, -apt-utils 2333, apt-utils 2937, -aptitude 1203, aptitude 1952, -ark 20295, ark 20343, -arts 8126, arts 8844, -artsbuilder 20295, artsbuilder 20369, -atlantik 20295, atlantik 20340, -atlantikdesigner 20303, atlantikdesigner 20340, -base-files 14303, base-files 15256, -binutils 13428, binutils 13502, blinken 20340, -bug-buddy 12987, bug-buddy 13381, -capplets 19349, -capplets-data 19349, capplets-data 19398, cdrdao 18792, -cdrecord 20255, cdrecord 20458, -cervisia 20301, cervisia 20342, comerr-dev 11385, -coreutils 16160, coreutils 16514, -cpp 20312, cpp 20407, cpp-4.1 15475, dbus 6598, -dbus-1 4641, -dbus-glib-1 4641, -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, djvulibre-desktop 14768, -dpkg 9702, dpkg 9893, dvd+rw-tools 16449, eject 11224, -eog 13012, eog 13470, -epiphany-browser 8582, epiphany-browser 13406, -evolution 11090, evolution 12619, evolution-common 12619, -evolution-data-server 6673, evolution-data-server 13624, evolution-data-server-common 13624, -eyesapplet 20301, eyesapplet 20342, -fifteenapplet 20301, fifteenapplet 20342, -fontconfig 11990, fontconfig 12579, fontconfig-config 12253, -freeglut3 11705, freeglut3 12209, gcc 20312, gcc-3.3 19585, gcc-4.1-base 15475, gcc-4.3-base 15667, -gconf2 13005, gconf2 13459, gconf2-common 13459, -gdm 12586, gdm 13471, genisoimage 20459, -gksu 7757, gksu 10941, -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-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-icon-theme 12988, gnome-icon-theme 13393, gnome-media-common 13601, gnome-menus 13617, -gnome-panel 13021, gnome-panel 13566, -gnome-panel-data 13021, gnome-panel-data 13566, -gnome-session 13005, gnome-session 13404, -gnome-themes 13017, gnome-themes 13399, -gnome-utils 12996, gnome-utils 13555, -gnome-volume-manager 7583, gnome-volume-manager 8896, -gnumeric 8507, gnumeric 9040, -gnumeric-common 8507, gnumeric-common 9040, gnustep-back 3524, gnustep-base-common 9681, gnustep-gui-common 3524, gnustep-make 9665, gnustep-ppd 6474, gobjc 20312, gobjc-3.3 19585, 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, gtkhtml3.8 15010, -hal 1907, hal 2277, heimdal-dev 2531, -hotplug 386, iceape-browser 6859, -imagemagick 20448, imagemagick 20453, indi 20340, industrial-cursor-theme 2493, -inkscape 4938, inkscape 4983, iso-codes 6328, -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, katapult 1372, -kate 20297, kate 20348, -kate-plugins 20303, kate-plugins 20340, -katomic 20295, katomic 20340, -kaudiocreator 20295, kaudiocreator 20369, -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, -kcharselect 20295, kcharselect 20343, -kcmlinuz 20295, -kcoloredit 20300, kcoloredit 20344, -kcontrol 20297, kcontrol 20374, -kcron 20295, kcron 20345, -kdat 20295, kdat 20369, -kdbg 9570, kdbg 11091, -kde 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 20345, -kdeartwork-style 20295, kdeartwork-style 20340, -kdeartwork-theme-window 20295, kdeartwork-theme-window 20340, -kdebase-bin 20297, kdebase-bin 20374, kdebase-bin-kde3 20374, -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 20350, -kdelibs-bin 20308, -kdelibs-data 20308, kdelibs-data 20380, -kdelibs4 20308, -kdelibs4-dev 20308, kdelibs4c2a 20380, -kdelirc 20295, kdelirc 20343, -kdemultimedia 20295, kdemultimedia 20369, -kdemultimedia-kappfinder-data 20295, kdemultimedia-kappfinder-data 20369, -kdemultimedia-kfile-plugins 20295, kdemultimedia-kfile-plugins 20369, -kdemultimedia-kio-plugins 20295, kdemultimedia-kio-plugins 20369, -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 20353, kdepim-kresources 20371, -kdepim-wizards 20301, kdepim-wizards 20353, -kdeprint 20297, kdeprint 20374, -kdesdk 20301, -kdesdk-kfile-plugins 20301, kdesdk-kfile-plugins 20369, -kdesdk-misc 20301, kdesdk-misc 20342, -kdesktop 20297, kdesktop 20374, -kdessh 20295, kdessh 20343, -kdeutils 20295, 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 20377, kerberos4kth-dev 7698, -kfax 20300, kfax 20370, -kfilereplace 19574, kfilereplace 20340, -kfind 20297, kfind 20374, -kfloppy 20295, kfloppy 20343, -kfouleggs 20295, kfouleggs 20377, -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 20348, -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 20340, -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 20369, -kmilo 20295, kmilo 20369, -kmines 20295, kmines 20340, -kmix 20295, kmix 20369, -kmoon 20301, kmoon 20369, -kmplot 20302, kmplot 20340, -kmrml 20300, kmrml 20344, -kmtrace 20301, kmtrace 20369, 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 20370, -kommander 19574, kommander 20340, -kompare 20301, kompare 20342, -konq-plugins 20303, -konqueror 20297, konqueror 20374, -konqueror-nsplugins 20297, konqueror-nsplugins 20348, -konquest 20295, konquest 20340, -konsole 20297, konsole 20348, -konsolekalendar 20301, konsolekalendar 20371, -kontact 20301, kontact 20353, -kooka 20300, kooka 20370, -kopete 20306, kopete 20346, -korganizer 20301, korganizer 20353, -korn 20301, korn 20353, -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 20378, -kpilot 20301, kpilot 20353, -kpoker 20295, kpoker 20340, -kpovmodeler 20300, kpovmodeler 20344, -kppp 20306, kppp 20378, -kprof 8502, kprof 8512, -krdc 20306, krdc 20346, -krec 20295, krec 20369, -kregexpeditor 20295, kregexpeditor 20343, -kreversi 20295, kreversi 20377, -krfb 20306, krfb 20346, -kruler 20300, kruler 20370, -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 20346, -ksirtet 20295, ksirtet 20340, -ksmiletris 20295, ksmiletris 20340, -ksmserver 20297, ksmserver 20348, -ksnake 20295, ksnake 20340, -ksnapshot 20300, ksnapshot 20370, -ksokoban 20295, ksokoban 20340, -kspaceduel 20295, kspaceduel 20340, -ksplash 20297, ksplash 20374, -kspy 20301, -kstars 20302, kstars 20340, -kstars-data 20302, kstars-data 20340, -ksvg 20300, ksvg 20370, -ksync 20301, ksync 20353, -ksysguard 20297, ksysguard 20348, -ksysguardd 20297, ksysguardd 20348, -ksysv 20295, ksysv 20345, -kteatime 20301, kteatime 20342, -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 20342, -kuickshow 20300, kuickshow 20370, -kuiviewer 20301, kuiviewer 20342, -kuser 20295, kuser 20369, -kverbos 20302, kverbos 20340, -kview 20300, kview 20344, -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 20340, -kwordquiz 20302, kwordquiz 20340, -kworldclock 20301, kworldclock 20342, -kxsldbg 19574, kxsldbg 20340, liba52-0.7.4 2848, libaa1 8396, libakode2 10973, -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-mpeglib 20295, libarts1-mpeglib 20369, -libarts1-xine 20295, libarts1-xine 20369, libarts1c2a 8878, -libartsc0 8126, libartsc0 8878, -libartsc0-dev 8126, libartsc0-dev 8878, libasn1-6-heimdal 2531, libasn1-8-heimdal 7970, -libasound2 6792, libasound2 6891, -libasound2-dev 6792, 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 2678, libavahi-common-dev 2661, libavahi-common3 2661, libavahi-compat-libdnssd1 2661, libavahi-glib-dev 2661, libavahi-glib1 2661, 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, libbonoboui2-dev 13599, -libboost-python1.32.0 10230, libboost-python1.33.1 10244, -libc6 12041, libc6 12852, -libc6-dev 12041, libc6-dev 12852, libcaca0 5893, libcairo2 9054, libcairo2-dev 9054, libcamel1.2-11 13624, libcamel1.2-8 9039, libcdio6 5368, -libcroco3 2440, libcroco3 2468, -libcroco3-dev 2440, libcroco3-dev 2468, libcucul0 5893, libcups2 8237, libcups2-dev 8237, libcupsys2 8237, -libcupsys2-dev 7414, libcupsys2-dev 8237, -libcvsservice0 20301, libcvsservice0 20342, libcwidget3 2300, libdatrie0 648, libdb4.3 15693, libdb4.3++c2 15693, libdb4.4 15771, libdb4.5 15809, 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, libdjvulibre21 14768, libdmx1 18703, -libdps1 15657, libdrm2 11990, libebook1.2-5 9039, libebook1.2-9 13624, libecal1.2-6 9039, libecal1.2-7 13624, libedata-book1.2-2 13624, libedata-cal1.2-6 13624, libedataserver1.2-7 9039, libedataserver1.2-9 13624, libedataserverui1.2-6 9039, libedataserverui1.2-8 13624, libedit2 13154, libeel2-2.14 13404, libegroupwise1.2-10 9039, libegroupwise1.2-13 13624, -libenchant1 7266, libenchant1c2a 8078, libept0 2329, libexchange-storage1.2-1 9039, libexif12 2645, libffcall1 9634, libffcall1-dev 9634, libffi5 14156, 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 19017, -libgail-common 9374, libgail-common 10101, libgail18 10101, -libgc1 19786, libgc1c2 19796, -libgcc1 19603, libgcc1 19690, -libgconf2-4 13005, libgconf2-4 13459, -libgconf2-dev 13005, libgconf2-dev 13459, -libgcrypt11 7605, libgcrypt11 8442, -libgcrypt11-dev 7605, libgcrypt11-dev 8442, libgd2-noxpm 11278, -libgda2-3 7637, -libgda2-common 7637, libgda3-3 14098, libgda3-common 14098, libgdata-google1.2-1 13624, libgdata1.2-1 13624, libgdl-1-0 2468, libgdl-1-common 2468, -libgksu1.2-0 7788, libgksu1.2-0 8236, libgksu2-0 11141, -libgksuui1.0-0 6684, libgksuui1.0-1 6766, 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, -libglibmm-2.4-1 12589, libglibmm-2.4-1c2a 13471, libglu1-mesa 16057, libglu1-mesa-dev 16057, libgmp3 15508, 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-media0 13601, 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, -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, libgnomevfs2-extra 19434, libgnustep-base1.10 9681, libgnustep-base1.10-dev 9681, libgnustep-gui0.9 3524, libgnustep-gui0.9-dev 3524, 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, -libgpmg1 10020, libgpmg1 10021, libgraphviz4 13563, libgsasl7 1089, libgsasl7-dev 1089, libgsf-1-114 9883, libgsf-1-common 9883, libgsf-gnome-1-114 9883, libgsmme1c2a 9648, libgssapi1-heimdal 2531, 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, -libgtkhtml2-0 12616, libgtkhtml2-0 13244, libgtkhtml3.8-15 15010, -libgtkmm-2.4-1 12336, libgtkmm-2.4-1c2a 19355, -libgtksourceview-common 7579, libgtksourceview-common 9391, -libgtksourceview1.0-0 7579, libgtksourceview1.0-0 9368, libgtop2-7 13622, libgtop2-common 13622, -libhal-storage0 1907, libhal-storage1 2297, -libhal0 1907, libhal1 2297, libhdb7-heimdal 2531, libhunspell-1.2-0 7785, libhx509-3-heimdal 7970, -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, libilmbase6 6545, libindex0 20353, libiw28 17303, libiw29 17307, libjack0 5922, libjack0.100.0-0 5922, -libjack0.80.0-0 5779, -libjack0.80.0-dev 5779, libjasper1 10735, -libjpeg-progs 16554, libkadm1-kerberos4kth 7698, libkadm5clnt4-heimdal 2531, libkadm5srv7-heimdal 2531, libkafs0-heimdal 7970, libkafs0-kerberos4kth 7698, -libkcal2a 20301, libkcal2b 20371, -libkcddb1 20295, libkcddb1 20369, libkdb-1-kerberos4kth 7698, -libkdeedu1 20302, libkdeedu3 20340, -libkdegames1 20295, libkdegames1 20377, -libkdenetwork2 20301, -libkdepim1 20301, libkdepim1a 20371, libkeyutils1 7491, -libkgantt0 20301, libkgantt0 20371, libkiten1 20369, -libkleopatra0a 20301, libkleopatra1 20353, libkmime2 20353, -libkonq4 20297, libkonq4 20374, -libkonq4-dev 20297, -libkpimexchange1 20301, libkpimexchange1 20353, -libkpimidentities1 20301, libkpimidentities1 20353, libkrb-1-kerberos4kth 7698, libkrb5-17-heimdal 2531, libkrb5-25-heimdal 7970, -libkrb53 8214, libkrb53 9131, -libkscan1 20300, libkscan1 20370, -libksieve0 20301, libksieve0 20353, libkthacl1-kerberos4kth 7698, libktnef1 20371, -liblcms1 9801, liblcms1 9896, -liblcms1-dev 9801, liblcms1-dev 9896, libldap-2.4-2 12338, liblockdev1 6648, libloudmouth1-0 7257, libltdl3 8910, liblua50 16073, liblualib50 16074, -libmad0 4332, libmad0 4335, -libmad0-dev 4332, libmad0-dev 4335, libmagick10 20453, -libmagick6 20448, libmeanwhile1 6603, -libmetacity0 19355, libmetacity0 19433, -libmimelib1a 20301, libmimelib1c2a 20353, -libmodplug0 18446, libmodplug0c2 18448, libmozjs0d 9329, libmozjs1d 9508, libmpcdec3 7680, libmpeg3-1 8836, libmpeg3-dev 8836, -libmyspell3 19501, libmyspell3c2 19502, -libnautilus-burn0 13055, libnautilus-burn3 13407, libnautilus-burn4 13550, libnautilus-extension1 13409, -libnautilus2-2 13016, -libncurses5 16224, libncurses5 16319, -libncurses5-dev 16224, libncurses5-dev 16319, libncursesw5 16319, libnm-glib0 2581, libnotify1 1823, -libnspr4 20107, libnspr4-0d 15856, -libnss3 20107, libnss3-0d 9329, libnss3-1d 15007, libobjc1 19690, -libogg-dev 7202, libogg-dev 7238, -libogg0 7202, libogg0 7238, liboggflac3 7215, -libopencdk8 2223, libopencdk8 2282, -libopencdk8-dev 2223, libopencdk8-dev 2282, libopenexr6 9001, -liborbit2 19386, liborbit2 19412, -liborbit2-dev 19386, liborbit2-dev 19412, libotp0-kerberos4kth 7698, -libpam0g 5374, libpam0g 6556, -libpanel-applet2-0 13021, libpanel-applet2-0 13566, -libpanel-applet2-dev 13021, libpanel-applet2-dev 13566, -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, -libperl5.8 16365, libperl5.8 16385, libpisock9 4157, 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 9854, -libpopt0 9146, libpopt0 9854, libpthread-stubs0 502, libpthread-stubs0-dev 502, libpulse0 3700, -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, libroken16-kerberos4kth 7698, libroken18-heimdal 7970, -librss1 20306, librss1 20378, -librsvg2-2 13002, librsvg2-2 13615, -librsvg2-common 13002, librsvg2-common 13615, -librsvg2-dev 13002, librsvg2-dev 13615, libsasl2-2 11593, libsasl2-modules 11584, -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, libsepol1 11266, libsepol1-dev 11266, -libsigc++-2.0-0 11188, libsigc++-2.0-0c2a 11245, libsl0-kerberos4kth 7698, libslang2 11479, -libsm-dev 15657, libsm-dev 18693, -libsm6 15657, libsm6 18693, -libsmbclient 14196, libsmbclient 14213, -libsnmp-base 16132, libsnmp-base 16174, libsnmp9 16174, libsoup2.2-8 11936, libsoup2.4-1 12233, -libspeex1 7289, libspeex1 7460, libsqlite3-0 14756, libss0-kerberos4kth 7698, libssl0.9.8 3655, libstdc++6 15667, libsysfs2 11402, -libtag1 8098, libtag1c2a 8675, -libtasn1-2-dev 1175, libtasn1-3 1512, libtasn1-3-dev 1512, -libtext-iconv-perl 7473, libtext-iconv-perl 8346, libthai-data 749, libthai0 749, -libtheora0 68, libtheora0 6243, libtiff4-dev 14869, libtiffxx0 14869, libtotem-plparser1 13473, libtotem-plparser10 13622, libts-0.0-0 6281, libungif4-dev 15500, -liburi-perl 10259, liburi-perl 10272, -libusb-0.1-4 19945, libusb-0.1-4 19949, libvmime-dev 3059, libvmime0 3059, libvolume-id0 5915, -libvorbis-dev 7120, libvorbis-dev 7230, -libvorbis0a 7120, libvorbis0a 7230, -libvorbisenc2 7120, libvorbisenc2 7230, -libvorbisfile3 7120, libvorbisfile3 7230, libvte9 18572, libwavpack1 15981, libwind0-heimdal 7970, -libwmf0.2-7 1152, libwmf0.2-7 1158, libwnck18 13399, libwnck22 13622, -libwrap0 16896, libwrap0 16898, -libx11-6 15657, libx11-6 20023, libx11-data 20049, -libx11-dev 15657, libx11-dev 20023, libxapian15 6769, 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, libxcb-shape0 7011, libxcb-shm0 7011, libxcb-xv0 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 7380, libxine1-bin 7380, libxine1-console 7380, libxine1-misc-plugins 7380, libxine1-x 7380, libxinerama-dev 20022, libxinerama1 20022, libxkbfile1 18708, libxklavier10 11650, -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 18702, -libxt6 15657, libxt6 18702, -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, lsb-base 14260, -lskat 20295, lskat 20377, lzma 15977, -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, -mozilla-browser 20107, mozilla-browser 20113, -mozilla-psm 20107, mozilla-psm 20113, -mpeglib 20295, mpeglib 20369, -nautilus 13016, nautilus 13409, -nautilus-cd-burner 13055, nautilus-cd-burner 13407, -nautilus-data 13016, nautilus-data 13408, -nautilus-media 3056, networkstatus 20353, -noatun 20295, noatun 20341, -noatun-plugins 20303, noatun-plugins 20340, -openoffice.org 7245, -openoffice.org-bin 7245, -openoffice.org-debian-files 7244, openssh-blacklist 1765, openssh-client 19722, openssh-server 19722, oss-compat 147, -perl 16365, perl 16385, -perl-base 16365, perl-base 16385, -perl-modules 16365, perl-modules 16385, perl-suid 16385, -pinentry-qt 2803, pinentry-qt 2808, -planner 4182, planner 4287, -pmount 2976, pmount 3729, -poxml 20301, poxml 20342, projectcenter 1719, -python 12075, python 12467, python-cairo 8610, python-central 2605, python-eggtrayicon 13524, python-glade2 13292, python-gmenu 13617, python-gnome2-desktop 13600, python-gnome2-extras 13524, python-gobject 13392, -python-gtk2 12590, python-gtk2 13292, python-gtkhtml2 13524, python-gtkmozembed 13524, python-minimal 12467, python-numeric 17282, python-pyorbit 13400, python-support 3130, -python2.3 12077, -python2.3-gtk2 12590, -python2.3-numeric 17270, python2.4 12234, python2.5 12471, python2.5-minimal 12471, -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 16151, remstats-bintools 6869, remstats-servers 6869, -secpolicy 20295, -ssh 19631, ssh 19722, -synaptic 5138, synaptic 5237, system-tools-backends 8471, timezoneconf 3850, -totem 5899, totem 13473, -totem-xine 5899, totem-xine 13473, ttf-dustin 17851, ttf-freefont 17869, ttf-kochi-mincho 6980, ttf-sjfonts 11006, -udev 5141, udev 5915, -umbrello 20301, umbrello 20342, -vimpart 20303, -vino 12998, vino 13456, 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 19813, -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, xulrunner-1.9 9508, xulrunner-gnome-support 9329, -xutils 15657, xutils 19818, xutils-dev 19816, -zenity 13013, zenity 13399, -zlib1g 18824, zlib1g 18840, -zlib1g-dev 18824, zlib1g-dev 18840]
# starts		: 258
# conflicts		: 429726
# decisions		: 726209
# propagations		: 380132836
# inspects		: 850524758
# shortcuts		: 0
# learnt literals	: 54
# learnt binary clauses	: 197
# learnt ternary clauses	: 38
# learnt constraints	: 429670
# ignored constraints	: 0
# root simplifications	: 0
# removed literals (reason simplification)	: 129634733
# reason swapping (by a shorter reason)	: 0
# Calls to reduceDB	: 25
# Number of update (reduction) of LBD	: 9488
# 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)	: 1333696.472552996
# non guided choices	45792
# learnt constraints type 
# org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 59
# org.sat4j.minisat.constraints.cnf.LearntWLClause => 32039
# Solving done (288.678s).
# WARNING: The solution found MIGHT NOT BE optimal
# Solution contains:1260