remove gtk2-engines-redmond95 kapptemplate libhtml-parser-perl kdemultimedia-kfile-plugins wget
clasp version 1.3.3-MT
Reading from stdin
Solving...
OPTIMUM FOUND
Models : 1
Enumerated: 192
Optimum : yes
Optimization: 24 24
Time : 0.783s (Solving: 0.07s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.260s
Choices : 51249
Conflicts : 6
Restarts : 0
Atoms : 96750
Rules : 136328 (1: 133327 3: 2999 6: 2)
Bodies : 11458
Equivalences: 198693 (Atom=Atom: 88171 Body=Body: 1873 Other: 108649)
Tight : Yes
Variables : 11335 (Eliminated: 2707 Frozen: 2662)
Constraints : 28473 (Binary: 91.8% Ternary: 6.1% Other: 2.2%)
Lemmas : 4 (Binary: 50.0% Ternary: 0.0% Other: 50.0%)
Conflict : 4 (Average Length: 323.2)
Loop : 0 (Average Length: 0.0)
Other : 0 (Average Length: 0.0)
Deleted : 0
Backtracks : 2
Backjumps : 4 (Bounded: 0)
Skippable Levels : 32 (Skipped: 32 Rate: 100.0%)
Max Jump Length : 23 (Executed: 23)
Max Bound Length : 0
Average Jump Length : 8.0 (Executed: 8.0)
Average Bound Length: 0.0
Average Model Length: 396.2
------------CudfSol-----------
package: vim-gtk
version: 13686
installed: true
package: vim-common
version: 13686
installed: true
package: totem-xine
version: 4081
installed: true
package: xserver-common
version: 10907
installed: true
package: quanta-data
version: 13540
installed: true
package: xfonts-100dpi
version: 10907
installed: true
package: pppconfig
version: 8413
installed: true
package: ttf-opensymbol
version: 4979
installed: true
package: openoffice.org-l10n-en
version: 4979
installed: true
package: openoffice.org-bin
version: 4979
installed: true
package: openoffice.org-debian-files
version: 4978
installed: true
package: ocaml-interp
version: 10380
installed: true
package: ocaml-base-nox
version: 10380
installed: true
package: nvi
version: 7278
installed: true
package: nautilus-data
version: 9105
installed: true
package: ocaml
version: 10380
installed: true
package: ocaml-nox
version: 10380
installed: true
package: libxv-dev
version: 10907
installed: true
package: libxtrap6
version: 10907
installed: true
package: render-dev
version: 2037
installed: true
package: libxmuu1
version: 10907
installed: true
package: libxft1
version: 10907
installed: true
package: xlibs-data
version: 10907
installed: true
package: libwww0
version: 11294
installed: true
package: libwnck-common
version: 9093
installed: true
package: libvte-common
version: 12866
installed: true
package: libvorbis-ocaml-dev
version: 393
installed: true
package: libvorbis-ocaml
version: 393
installed: true
package: libtidy0
version: 12550
installed: true
package: libstlport4.6
version: 11024
installed: true
package: libsnmp-base
version: 11223
installed: true
package: libsdl1.2debian-oss
version: 5395
installed: true
package: libqt3-headers
version: 13967
installed: true
package: qt3-dev-tools
version: 13967
installed: true
package: libpango1.0-common
version: 6464
installed: true
package: libostyle1
version: 5804
installed: true
package: libocamlgraph-ocaml-dev
version: 3793
installed: true
package: libneon23
version: 3155
installed: true
package: libnautilus-burn0
version: 9136
installed: true
package: libmng-dev
version: 4647
installed: true
package: libmlgtk-ocaml-dev
version: 7562
installed: true
package: libmlgtk-ocaml
version: 7562
installed: true
package: liblablgl-ocaml-dev
version: 4823
installed: true
package: liblablgl-ocaml
version: 4823
installed: true
package: xfonts-scalable
version: 10907
installed: true
package: libhtml-tagset-perl
version: 10163
installed: true
package: libgtkspell-dev
version: 7746
installed: true
package: libgtksourceview-common
version: 5211
installed: true
package: libgtkgl2.0-dev
version: 7336
installed: true
package: libgtk2.0-common
version: 8819
installed: true
package: libgtk1.2-common
version: 5435
installed: true
package: liblcms1-dev
version: 6775
installed: true
package: libtasn1-2-dev
version: 789
installed: true
package: libopencdk8-dev
version: 1523
installed: true
package: libgnomeui-common
version: 9093
installed: true
package: libgnomeprintui2.2-common
version: 9105
installed: true
package: libgnomeprint2.2-data
version: 9103
installed: true
package: libgnomecanvas2-common
version: 9076
installed: true
package: libgnome2-common
version: 9091
installed: true
package: libgle3
version: 9923
installed: true
package: libgda2-common
version: 5250
installed: true
package: libxrandr-dev
version: 10907
installed: true
package: libxi-dev
version: 10907
installed: true
package: libgsf-1-dev
version: 6729
installed: true
package: libmyspell3
version: 13482
installed: true
package: libeel2-data
version: 9102
installed: true
package: libgnutls11-dev
version: 4730
installed: true
package: libcroco3-dev
version: 1660
installed: true
package: libconvert-binhex-perl
version: 7381
installed: true
package: liblablgtk2-ocaml-dev
version: 8486
installed: true
package: libdb1-compat
version: 7941
installed: true
package: libgpg-error-dev
version: 4293
installed: true
package: libgcrypt11-dev
version: 5230
installed: true
package: libgconf2-dev
version: 9096
installed: true
package: libgnomecanvas2-dev
version: 9076
installed: true
package: libbonoboui2-common
version: 9091
installed: true
package: libpopt-dev
version: 6332
installed: true
package: libopenct1
version: 1723
installed: true
package: libaudio-dev
version: 6326
installed: true
package: libxcursor-dev
version: 4967
installed: true
package: xlibs-static-dev
version: 10907
installed: true
package: libmad0-dev
version: 2946
installed: true
package: libxmu-dev
version: 10907
installed: true
package: libxft-dev
version: 7973
installed: true
package: xserver-xfree86
version: 10907
installed: true
package: ksysguardd
version: 14024
installed: true
package: kstars-data
version: 14029
installed: true
package: xscreensaver-gl
version: 11096
installed: true
package: libnews-nntpclient-perl
version: 3328
installed: true
package: klogd
version: 5854
installed: true
package: klettres-data
version: 14029
installed: true
package: pinentry-qt
version: 1917
installed: true
package: sane-utils
version: 4723
installed: true
package: libboost-python1.32.0
version: 7069
installed: true
package: kxsldbg
version: 13540
installed: true
package: kommander
version: 13540
installed: true
package: klinkstatus
version: 13540
installed: true
package: kimagemapeditor
version: 13540
installed: true
package: libsvn0
version: 4988
installed: true
package: kdevelop3-data
version: 14007
installed: true
package: kdevelop3-plugins
version: 14007
installed: true
package: kwalletmanager
version: 14022
installed: true
package: ktimer
version: 14022
installed: true
package: ksim
version: 14022
installed: true
package: kmilo
version: 14022
installed: true
package: kjots
version: 14022
installed: true
package: khexedit
version: 14022
installed: true
package: kgpg
version: 14022
installed: true
package: kweather
version: 14028
installed: true
package: ktux
version: 14028
installed: true
package: kteatime
version: 14028
installed: true
package: kodo
version: 14028
installed: true
package: kmoon
version: 14028
installed: true
package: kdessh
version: 14022
installed: true
package: umbrello
version: 14028
installed: true
package: poxml
version: 14028
installed: true
package: kuiviewer
version: 14028
installed: true
package: kspy
version: 14028
installed: true
package: kompare
version: 14028
installed: true
package: kmtrace
version: 14028
installed: true
package: kdesdk-scripts
version: 14028
installed: true
package: kdesdk-misc
version: 14028
installed: true
package: kdesdk-kfile-plugins
version: 14028
installed: true
package: poster
version: 12377
installed: true
package: libmimelib1a
version: 14028
installed: true
package: libksieve0
version: 14028
installed: true
package: libkpimexchange1
version: 14028
installed: true
package: libkgantt0
version: 14028
installed: true
package: ksync
version: 14028
installed: true
package: korn
version: 14028
installed: true
package: konsolekalendar
version: 14028
installed: true
package: knotes
version: 14028
installed: true
package: kmailcvt
version: 14028
installed: true
package: kleopatra
version: 14028
installed: true
package: kdepim-wizards
version: 14028
installed: true
package: kdepim-kfile-plugins
version: 14028
installed: true
package: kwifimanager
version: 14033
installed: true
package: krfb
version: 14033
installed: true
package: krdc
version: 14033
installed: true
package: kpf
version: 14033
installed: true
package: kopete
version: 14033
installed: true
package: knewsticker
version: 14033
installed: true
package: kget
version: 14033
installed: true
package: kdenetwork-filesharing
version: 14033
installed: true
package: mpeglib
version: 14022
installed: true
package: libarts1-mpeglib
version: 14022
installed: true
package: libarts1-audiofile
version: 14022
installed: true
package: kscd
version: 14022
installed: true
package: krec
version: 14022
installed: true
package: kdemultimedia-kappfinder-data
version: 14022
installed: true
package: kdelirc
version: 14022
installed: true
package: libqt3-mt-dev
version: 13967
installed: true
package: libbz2-dev
version: 4526
installed: true
package: libaspell-dev
version: 3560
installed: true
package: libxrender-dev
version: 2128
installed: true
package: libidn11-dev
version: 1574
installed: true
package: libfam-dev
version: 8996
installed: true
package: libcupsys2-dev
version: 5105
installed: true
package: kdelibs-bin
version: 14035
installed: true
package: libkscan1
version: 14027
installed: true
package: kviewshell
version: 14027
installed: true
package: kuickshow
version: 14027
installed: true
package: ksvg
version: 14027
installed: true
package: kpovmodeler
version: 14027
installed: true
package: kpdf
version: 14027
installed: true
package: kooka
version: 14027
installed: true
package: kmrml
version: 14027
installed: true
package: kgamma
version: 14027
installed: true
package: kfax
version: 14027
installed: true
package: kdvi
version: 14027
installed: true
package: kdegames-card-data
version: 14022
installed: true
package: lskat
version: 14022
installed: true
package: kwin4
version: 14022
installed: true
package: ktron
version: 14022
installed: true
package: kspaceduel
version: 14022
installed: true
package: ksnake
version: 14022
installed: true
package: ksmiletris
version: 14022
installed: true
package: ksirtet
version: 14022
installed: true
package: kshisen
version: 14022
installed: true
package: ksame
version: 14022
installed: true
package: kreversi
version: 14022
installed: true
package: kpoker
version: 14022
installed: true
package: kpat
version: 14022
installed: true
package: konquest
version: 14022
installed: true
package: kolf
version: 14022
installed: true
package: kmines
version: 14022
installed: true
package: kmahjongg
version: 14022
installed: true
package: klines
version: 14022
installed: true
package: klickety
version: 14022
installed: true
package: kjumpingcube
version: 14022
installed: true
package: kgoldrunner
version: 14022
installed: true
package: kfouleggs
version: 14022
installed: true
package: kenolaba
version: 14022
installed: true
package: kitchensync
version: 14028
installed: true
package: ktip
version: 14024
installed: true
package: ksysguard
version: 14024
installed: true
package: ksplash
version: 14024
installed: true
package: kpersonalizer
version: 14024
installed: true
package: kpager
version: 14024
installed: true
package: konqueror-nsplugins
version: 14024
installed: true
package: kmenuedit
version: 14024
installed: true
package: klipper
version: 14024
installed: true
package: kfind
version: 14024
installed: true
package: kdesktop
version: 14024
installed: true
package: kscreensaver-xsavers
version: 14022
installed: true
package: kdeartwork-theme-window
version: 14022
installed: true
package: kdeartwork-theme-icon
version: 14022
installed: true
package: kdeartwork-style
version: 14022
installed: true
package: kdeartwork-misc
version: 14022
installed: true
package: secpolicy
version: 14022
installed: true
package: ksysv
version: 14022
installed: true
package: kdeadmin-kfile-plugins
version: 14022
installed: true
package: vimpart
version: 14030
installed: true
package: ksig
version: 14030
installed: true
package: kicker-applets
version: 14030
installed: true
package: kdeaddons-kfile-plugins
version: 14030
installed: true
package: klaptopdaemon
version: 14022
installed: true
package: kprof
version: 5889
installed: true
package: kdevelop3
version: 14007
installed: true
package: qt3-designer
version: 13967
installed: true
package: libkonq4-dev
version: 14024
installed: true
package: kdebase-dev
version: 14024
installed: true
package: libarts1-dev
version: 5605
installed: true
package: kdelibs
version: 14035
installed: true
package: kdetoys
version: 14028
installed: true
package: kdegames
version: 14022
installed: true
package: kdewebdev
version: 13540
installed: true
package: kdeutils
version: 14022
installed: true
package: kdepim
version: 14028
installed: true
package: kdenetwork
version: 14033
installed: true
package: kdegraphics
version: 14027
installed: true
package: kdeartwork
version: 14022
installed: true
package: kdeadmin
version: 14022
installed: true
package: kde-core
version: 14115
installed: true
package: kdbg
version: 6623
installed: true
package: kdat
version: 14022
installed: true
package: kcron
version: 14022
installed: true
package: kdebase-data
version: 14024
installed: true
package: kcoloredit
version: 14027
installed: true
package: kcmlinuz
version: 14022
installed: true
package: kcachegrind
version: 14028
installed: true
package: kbugbuster
version: 14028
installed: true
package: kbruch
version: 14029
installed: true
package: kbounce
version: 14022
installed: true
package: kblackbox
version: 14022
installed: true
package: kbattleship
version: 14022
installed: true
package: kbackgammon
version: 14022
installed: true
package: libkcddb1
version: 14022
installed: true
package: kaudiocreator
version: 14022
installed: true
package: katomic
version: 14022
installed: true
package: kregexpeditor
version: 14022
installed: true
package: kasteroids
version: 14022
installed: true
package: karm
version: 14028
installed: true
package: kdelibs4-dev
version: 14035
installed: true
package: kappfinder
version: 14024
installed: true
package: kandy
version: 14028
installed: true
package: kamera
version: 14027
installed: true
package: libkdeedu1
version: 14029
installed: true
package: libkpimidentities1
version: 14028
installed: true
package: libkdenetwork2
version: 14028
installed: true
package: kalarm
version: 14028
installed: true
package: kaddressbook-plugins
version: 14030
installed: true
package: libkleopatra0a
version: 14028
installed: true
package: libarts1-xine
version: 14022
installed: true
package: kaboodle
version: 14022
installed: true
package: kdebase-kio-plugins
version: 14024
installed: true
package: kcontrol
version: 14024
installed: true
package: nano
version: 5328
installed: true
package: kturtle
version: 14029
installed: true
package: kworldclock
version: 14028
installed: true
package: libtunepimp-bin
version: 912
installed: true
package: libmusicbrainz4
version: 7903
installed: true
package: juk
version: 14022
installed: true
package: libmal1
version: 3354
installed: true
package: libstdc++2.10-glibc2.2
version: 13465
installed: true
package: libpng12-dev
version: 5404
installed: true
package: libjpeg62-dev
version: 11525
installed: true
package: kpilot
version: 14028
installed: true
package: libiw27
version: 12025
installed: true
package: libidl0
version: 2149
installed: true
package: tidy
version: 12550
installed: true
package: telnet
version: 3006
installed: true
package: usbutils
version: 3638
installed: true
package: libhal-storage0
version: 1309
installed: true
package: gstreamer0.8-plugin-apps
version: 2191
installed: true
package: liboil0.2
version: 674
installed: true
package: libshout3
version: 7840
installed: true
package: gstreamer0.8-tools
version: 2200
installed: true
package: libpcsclite1
version: 5423
installed: true
package: gstreamer0.8-gnomevfs
version: 2191
installed: true
package: libnetpbm10
version: 13943
installed: true
package: gnupg2
version: 6648
installed: true
package: gpgsm
version: 6648
installed: true
package: gnupg-agent
version: 6648
installed: true
package: gnumeric-common
version: 5892
installed: true
package: libgsf-gnome-1
version: 6729
installed: true
package: pmount
version: 2030
installed: true
package: libhal0
version: 1309
installed: true
package: gtk2-engines-industrial
version: 831
installed: true
package: gtk2-engines-spherecrystal
version: 1849
installed: true
package: gtk2-engines-mist
version: 13362
installed: true
package: gtk2-engines-smooth
version: 1673
installed: true
package: gtk2-engines-lighthouseblue
version: 13362
installed: true
package: gtk2-engines-crux
version: 13362
installed: true
package: gtk2-engines-thinice
version: 13362
installed: true
package: gtk2-engines-pixbuf
version: 8819
installed: true
package: inkscape
version: 3367
installed: true
package: libgstreamer-gconf0.8-0
version: 2191
installed: true
package: libcroco3
version: 1660
installed: true
package: gnome-doc-tools
version: 4308
installed: true
package: nautilus-media
version: 2086
installed: true
package: gpdf
version: 9104
installed: true
package: gucharmap
version: 13126
installed: true
package: gnome-volume-manager
version: 5214
installed: true
package: libgnomecupsui1.0-1
version: 3172
installed: true
package: libgnomecups1.0-1
version: 525
installed: true
package: librsvg2-dev
version: 9093
installed: true
package: libpango1.0-dev
version: 6464
installed: true
package: libpanel-applet2-dev
version: 9110
installed: true
package: libgnomevfs2-dev
version: 9120
installed: true
package: libidl-dev
version: 2149
installed: true
package: libgnome-keyring-dev
version: 1223
installed: true
package: libaudiofile-dev
version: 752
installed: true
package: libatk1.0-dev
version: 6443
installed: true
package: liborbit2-dev
version: 13417
installed: true
package: libart-2.0-dev
version: 8422
installed: true
package: metacity
version: 13396
installed: true
package: gnome2-user-guide
version: 9091
installed: true
package: gnome-games-data
version: 13393
installed: true
package: gnome-media
version: 9075
installed: true
package: gnome-system-monitor
version: 9094
installed: true
package: gnome-applets-data
version: 9106
installed: true
package: gnome-applets
version: 9106
installed: true
package: gnome-about
version: 9111
installed: true
package: vino
version: 9090
installed: true
package: gnome-nettool
version: 5211
installed: true
package: rhythmbox
version: 2195
installed: true
package: gnome-themes-extras
version: 2083
installed: true
package: gnome-cups-manager
version: 3172
installed: true
package: libscrollkeeper0
version: 1097
installed: true
package: libxml2-dev
version: 8876
installed: true
package: gnome-keyring
version: 1223
installed: true
package: xscreensaver
version: 11096
installed: true
package: kanjidic
version: 12162
installed: true
package: libsane
version: 4723
installed: true
package: libieee1284-3
version: 788
installed: true
package: libgtkhtml2-0
version: 8802
installed: true
package: libgimp2.0
version: 8202
installed: true
package: gimp-data
version: 8202
installed: true
package: xfree86-common
version: 10907
installed: true
package: python2.3-gtk2
version: 8783
installed: true
package: gedit-common
version: 9114
installed: true
package: gedit
version: 9114
installed: true
package: libice-dev
version: 10907
installed: true
package: libsm-dev
version: 10907
installed: true
package: x-dev
version: 10907
installed: true
package: libgtk1.2-dev
version: 5435
installed: true
package: libglib1.2-dev
version: 5433
installed: true
package: imlib-base
version: 6640
installed: true
package: libgksuui1.0-0
version: 4580
installed: true
package: libgksu1.2-0
version: 5369
installed: true
package: libgda2-3
version: 5250
installed: true
package: gconf-editor
version: 9105
installed: true
package: libgtk2.0-bin
version: 8819
installed: true
package: libgtkgl2.0-1
version: 7336
installed: true
package: libopencdk8
version: 1523
installed: true
package: libstdc++2.10-dev
version: 13465
installed: true
package: g++-2.95
version: 13465
installed: true
package: libsmbclient
version: 9863
installed: true
package: libfreetype6-dev
version: 7977
installed: true
package: libopensc1
version: 2438
installed: true
package: xlibmesa-gl-dev
version: 10907
installed: true
package: fortunes-min
version: 13233
installed: true
package: python2.3-numeric
version: 12008
installed: true
package: libfontconfig1-dev
version: 8317
installed: true
package: fontconfig
version: 8317
installed: true
package: file-roller
version: 9119
installed: true
package: fifteenapplet
version: 14028
installed: true
package: libtheora0
version: 38
installed: true
package: ipchains
version: 5699
installed: true
package: xfonts-base
version: 10907
installed: true
package: gnome-system-tools
version: 4421
installed: true
package: kicker
version: 14024
installed: true
package: eyesapplet
version: 14028
installed: true
package: exim4-config
version: 11123
installed: true
package: exim4-daemon-light
version: 11123
installed: true
package: exim4-base
version: 11123
installed: true
package: libbonoboui2-dev
version: 9091
installed: true
package: libbonobo2-dev
version: 9091
installed: true
package: libgnome2-dev
version: 9091
installed: true
package: libedata-cal5
version: 4570
installed: true
package: libedata-book1
version: 4570
installed: true
package: libgal2.2-common
version: 8191
installed: true
package: libnspr4
version: 13879
installed: true
package: libnss3
version: 13879
installed: true
package: libsoup2.2-7
version: 8170
installed: true
package: libpisync0
version: 2783
installed: true
package: libpisock8
version: 2783
installed: true
package: libgnome-pilot2
version: 7759
installed: true
package: libgal2.2-1
version: 8191
installed: true
package: libegroupwise6
version: 4570
installed: true
package: libecal6
version: 4570
installed: true
package: gtkhtml3.2
version: 10052
installed: true
package: esound-common
version: 825
installed: true
package: libosp4
version: 6087
installed: true
package: libgnomeui-dev
version: 9093
installed: true
package: eog
version: 9101
installed: true
package: libglut3
version: 10336
installed: true
package: enscript
version: 6270
installed: true
package: libpt-plugins-v4l2
version: 6497
installed: true
package: libpt-plugins-oss
version: 6497
installed: true
package: libgadu3
version: 13146
installed: true
package: noatun-plugins
version: 14030
installed: true
package: noatun
version: 14022
installed: true
package: kview
version: 14027
installed: true
package: kruler
version: 14027
installed: true
package: kmid
version: 14022
installed: true
package: kiconedit
version: 14027
installed: true
package: kfilereplace
version: 13540
installed: true
package: kdewallpapers
version: 14022
installed: true
package: kate-plugins
version: 14030
installed: true
package: kate
version: 14024
installed: true
package: totem
version: 4081
installed: true
package: pppoeconf
version: 6322
installed: true
package: planner
version: 2849
installed: true
package: kuser
version: 14022
installed: true
package: ktuberling
version: 14022
installed: true
package: kppp
version: 14033
installed: true
package: kolourpaint
version: 14027
installed: true
package: x-window-system-core
version: 10907
installed: true
package: myspell-en-gb
version: 12426
installed: true
package: myspell-en-us
version: 12426
installed: true
package: mozilla-psm
version: 13879
installed: true
package: keduca
version: 14029
installed: true
package: ksokoban
version: 14022
installed: true
package: kwordquiz
version: 14029
installed: true
package: klatin
version: 14029
installed: true
package: kverbos
version: 14029
installed: true
package: kmessedwords
version: 14029
installed: true
package: klettres
version: 14029
installed: true
package: kiten
version: 14029
installed: true
package: khangman
version: 14029
installed: true
package: kig
version: 14029
installed: true
package: xmms
version: 5442
installed: true
package: quanta
version: 13540
installed: true
package: ktouch
version: 14029
installed: true
package: kpercentage
version: 14029
installed: true
package: kpackage
version: 14022
installed: true
package: kmplot
version: 14029
installed: true
package: kbabel
version: 14028
installed: true
package: ksnapshot
version: 14027
installed: true
package: ksmserver
version: 14024
installed: true
package: korganizer
version: 14028
installed: true
package: konq-plugins
version: 14030
installed: true
package: kdict
version: 14033
installed: true
package: kdf
version: 14022
installed: true
package: kdepim-kio-plugins
version: 14028
installed: true
package: kdegraphics-kfile-plugins
version: 14027
installed: true
package: kcharselect
version: 14022
installed: true
package: kaddressbook
version: 14028
installed: true
package: menu-xdg
version: 579
installed: true
package: ksirc
version: 14033
installed: true
package: kscreensaver
version: 14022
installed: true
package: knode
version: 14028
installed: true
package: kmix
version: 14022
installed: true
package: kghostview
version: 14027
installed: true
package: kfloppy
version: 14022
installed: true
package: kedit
version: 14022
installed: true
package: kdepasswd
version: 14024
installed: true
package: kdebase
version: 14024
installed: true
package: kcalc
version: 14022
installed: true
package: nautilus-cd-burner
version: 9136
installed: true
package: gnumeric
version: 5892
installed: true
package: gnomemeeting
version: 5245
installed: true
package: gnome-games
version: 13393
installed: true
package: gnome-core
version: 12040
installed: true
package: gdm
version: 8780
installed: true
package: esound
version: 825
installed: true
package: tcptraceroute
version: 6035
installed: true
package: manpages
version: 7251
installed: true
package: kalzium
version: 14029
installed: true
package: kstars
version: 14029
installed: true
package: edict
version: 12167
installed: true
package: kdebase-bin
version: 14024
installed: true
package: zenity
version: 9102
installed: true
package: xfonts-75dpi
version: 10907
installed: true
package: hotplug
version: 267
installed: true
package: pppoe
version: 10236
installed: true
package: initscripts
version: 9626
installed: true
package: libss2
version: 7115
installed: true
package: man-db
version: 8520
installed: true
package: linux-kernel-headers
version: 8732
installed: true
package: libblkid1
version: 7115
installed: true
package: e2fslibs
version: 7115
installed: true
package: xlibmesa-dri
version: 10907
installed: true
package: dselect
version: 6705
installed: true
package: kmail
version: 14028
installed: true
package: mozilla-browser
version: 13879
installed: true
package: libksba8
version: 2514
installed: true
package: dirmngr
version: 2327
installed: true
package: kdeprint
version: 14024
installed: true
package: khelpcenter
version: 14024
installed: true
package: libexif10
version: 1788
installed: true
package: dia-libs
version: 3870
installed: true
package: dia-common
version: 3870
installed: true
package: dia-gnome
version: 3870
installed: true
package: desktop-file-utils
version: 2632
installed: true
package: epiphany-browser
version: 5948
installed: true
package: desktop-base
version: 1099
installed: true
package: gnome-utils
version: 9088
installed: true
package: librsvg2-common
version: 9093
installed: true
package: texinfo
version: 11030
installed: true
package: libtext-charwidth-perl
version: 1127
installed: true
package: libtext-wrapi18n-perl
version: 1610
installed: true
package: debconf-i18n
version: 5989
installed: true
package: librss1
version: 14033
installed: true
package: dcoprss
version: 14033
installed: true
package: pkg-config
version: 3014
installed: true
package: docbook-xml
version: 10887
installed: true
package: ocaml-base
version: 10380
installed: true
package: liblzo1
version: 6414
installed: true
package: libmodplug0
version: 12794
installed: true
package: info
version: 11030
installed: true
package: libpam-runtime
version: 3696
installed: true
package: gnome-gv
version: 13392
installed: true
package: libgimpprint1
version: 10869
installed: true
package: libslp1
version: 4691
installed: true
package: libcupsys2-gnutls10
version: 5105
installed: true
package: vim
version: 13686
installed: true
package: gcc-3.3-base
version: 13551
installed: true
package: cpp-2.95
version: 13465
installed: true
package: cpp-3.3
version: 13551
installed: true
package: groff-base
version: 6903
installed: true
package: libraw1394-5
version: 2672
installed: true
package: liblablgtk2-ocaml
version: 8486
installed: true
package: evolution-data-server
version: 4570
installed: true
package: evolution
version: 7671
installed: true
package: libedataserver3
version: 4570
installed: true
package: libebook8
version: 4570
installed: true
package: libconsole
version: 12728
installed: true
package: console-common
version: 2017
installed: true
package: xml-core
version: 2246
installed: true
package: less
version: 12098
installed: true
package: libsensors3
version: 13400
installed: true
package: fortune-mod
version: 13233
installed: true
package: defoma
version: 2781
installed: true
package: libselinux1
version: 6968
installed: true
package: libxt-dev
version: 10907
installed: true
package: libxext-dev
version: 10907
installed: true
package: xlibmesa-glu-dev
version: 10907
installed: true
package: libopenexr2
version: 5285
installed: true
package: libpth2
version: 7578
installed: true
package: gcc-2.95
version: 13465
installed: true
package: gnome-mime-data
version: 8514
installed: true
package: shared-mime-info
version: 2965
installed: true
package: ed
version: 602
installed: true
package: slang1a-utf8
version: 5961
installed: true
package: libcvsservice0
version: 14028
installed: true
package: cervisia
version: 14028
installed: true
package: libtextwrap1
version: 332
installed: true
package: libkpathsea3
version: 7632
installed: true
package: capplets-data
version: 13392
installed: true
package: gnome-panel
version: 9110
installed: true
package: nautilus
version: 9105
installed: true
package: gnome-control-center
version: 13392
installed: true
package: gnome-desktop-data
version: 9111
installed: true
package: gnome-session
version: 9096
installed: true
package: libxklavier8
version: 5504
installed: true
package: libnautilus2-2
version: 9105
installed: true
package: libmetacity0
version: 13396
installed: true
package: libgstreamer-plugins0.8-0
version: 2191
installed: true
package: libeel2-2
version: 9102
installed: true
package: capplets
version: 13392
installed: true
package: libgphoto2-port0
version: 7963
installed: true
package: libgphoto2-2
version: 7963
installed: true
package: gcalctool
version: 10983
installed: true
package: libsnmp5
version: 11223
installed: true
package: sysv-rc
version: 9626
installed: true
package: gksu
version: 5342
installed: true
package: bug-buddy
version: 9080
installed: true
package: libsigc++-2.0-0
version: 7746
installed: true
package: libgtkmm-2.4-1
version: 8578
installed: true
package: libglibmm-2.4-1
version: 8782
installed: true
package: libgtop2-2
version: 8775
installed: true
package: openoffice.org
version: 4979
installed: true
package: libwnck4
version: 9093
installed: true
package: ifupdown
version: 1770
installed: true
package: libsysfs1
version: 5222
installed: true
package: dhcp-client
version: 7527
installed: true
package: libmng1
version: 4647
installed: true
package: dosfstools
version: 9245
installed: true
package: fdutils
version: 11292
installed: true
package: mkisofs
version: 13983
installed: true
package: libbonobo2-common
version: 9091
installed: true
package: libdb3
version: 10076
installed: true
package: libgc1
version: 13688
installed: true
package: libglib2.0-dev
version: 8814
installed: true
package: hal
version: 1309
installed: true
package: libcdparanoia0
version: 9706
installed: true
package: dbus-glib-1
version: 3153
installed: true
package: dbus-1
version: 3153
installed: true
package: bluefish
version: 4293
installed: true
package: tk8.4-dev
version: 11855
installed: true
package: kdeedu-data
version: 14029
installed: true
package: netpbm
version: 13943
installed: true
package: tcpd
version: 11761
installed: true
package: bsdmainutils
version: 11546
installed: true
package: libjpeg-progs
version: 11525
installed: true
package: libtext-iconv-perl
version: 5142
installed: true
package: liblwres1
version: 13727
installed: true
package: libisc7
version: 13727
installed: true
package: libdns16
version: 13727
installed: true
package: libxml2-utils
version: 8876
installed: true
package: libneon24
version: 3166
installed: true
package: bind9-host
version: 13727
installed: true
package: tasksel
version: 9487
installed: true
package: gettext-base
version: 2918
installed: true
package: console-tools
version: 12728
installed: true
package: console-data
version: 12137
installed: true
package: base-config
version: 9576
installed: true
package: libstartup-notification0
version: 2027
installed: true
package: libgnome-desktop-2
version: 9111
installed: true
package: gnome-icon-theme
version: 9081
installed: true
package: libgtkspell0
version: 7746
installed: true
package: libgtksourceview1.0-0
version: 5211
installed: true
package: libcompfaceg1
version: 12103
installed: true
package: libgtkhtml3.2-11
version: 10052
installed: true
package: libgpgme11
version: 4515
installed: true
package: libpam-modules
version: 3696
installed: true
package: ssh
version: 13582
installed: true
package: libqthreads-12
version: 6286
installed: true
package: libguile-ltdl-1
version: 6286
installed: true
package: guile-1.6-libs
version: 6286
installed: true
package: dnsutils
version: 13727
installed: true
package: gettext
version: 2918
installed: true
package: liblircclient0
version: 1915
installed: true
package: libartsc0-dev
version: 5605
installed: true
package: libjack0.80.0-dev
version: 3991
installed: true
package: libesd0-dev
version: 825
installed: true
package: libogg-dev
version: 4946
installed: true
package: libvorbis-dev
version: 4896
installed: true
package: libglade2-dev
version: 13340
installed: true
package: libgtk2.0-dev
version: 8819
installed: true
package: atlantikdesigner
version: 14030
installed: true
package: libkdegames1
version: 14022
installed: true
package: atlantik
version: 14022
installed: true
package: netkit-inetd
version: 2647
installed: true
package: libxtst6
version: 10907
installed: true
package: libgail17
version: 6496
installed: true
package: libgail-common
version: 6496
installed: true
package: at
version: 9969
installed: true
package: libsasl2
version: 8021
installed: true
package: libpt-1.8.3
version: 6497
installed: true
package: libopenh323-1.15.2
version: 6855
installed: true
package: libtiff-tools
version: 10351
installed: true
package: libspeex1
version: 5013
installed: true
package: libnewt0.51
version: 3485
installed: true
package: libgsm1
version: 4685
installed: true
package: dictionaries-common
version: 3188
installed: true
package: libaspell15
version: 3560
installed: true
package: gnome-panel-data
version: 9110
installed: true
package: xutils
version: 10907
installed: true
package: libartsc0
version: 5605
installed: true
package: arts
version: 5605
installed: true
package: konqueror
version: 14024
installed: true
package: cdrecord
version: 13983
installed: true
package: kdelibs-data
version: 14035
installed: true
package: iputils-ping
version: 13978
installed: true
package: libnet1
version: 4963
installed: true
package: iptables
version: 5451
installed: true
package: m4
version: 5865
installed: true
package: libdb4.1
version: 10823
installed: true
package: ark
version: 14022
installed: true
package: libpcap0.7
version: 1924
installed: true
package: libcomerr2
version: 7115
installed: true
package: hicolor-icon-theme
version: 2027
installed: true
package: psmisc
version: 11998
installed: true
package: cpp
version: 14039
installed: true
package: libsigc++-1.2-5c102
version: 5343
installed: true
package: aptitude
version: 805
installed: true
package: synaptic
version: 3520
installed: true
package: libpanel-applet2-0
version: 9110
installed: true
package: libgnomevfs2-common
version: 9120
installed: true
package: sudo
version: 6301
installed: true
package: gnupg
version: 5843
installed: true
package: bc
version: 6200
installed: true
package: mawk
version: 5629
installed: true
package: apt-utils
version: 1592
installed: true
package: apt
version: 1592
installed: true
package: libapm1
version: 10040
installed: true
package: fam
version: 8996
installed: true
package: libpcre3-dev
version: 10991
installed: true
package: autotools-dev
version: 12554
installed: true
package: libssl-dev
version: 2474
installed: true
package: libapr0
version: 7823
installed: true
package: libcap1
version: 13192
installed: true
package: net-tools
version: 7221
installed: true
package: libexpat1-dev
version: 7318
installed: true
package: libdb4.2
version: 10882
installed: true
package: libpam0g
version: 3696
installed: true
package: libkrb53
version: 5666
installed: true
package: zlib1g-dev
version: 13052
installed: true
package: logrotate
version: 10328
installed: true
package: tcl8.4-dev
version: 11854
installed: true
package: libc6-dev
version: 8356
installed: true
package: procps
version: 13505
installed: true
package: librecode0
version: 10287
installed: true
package: automake1.4
version: 13117
installed: true
package: gdb
version: 11593
installed: true
package: autoconf
version: 9592
installed: true
package: yelp
version: 8822
installed: true
package: gnome-terminal
version: 9105
installed: true
package: cvs
version: 13196
installed: true
package: scrollkeeper
version: 1097
installed: true
package: libvte4
version: 12866
installed: true
package: libtasn1-2
version: 789
installed: true
package: libgpg-error0
version: 4293
installed: true
package: libgnutls11
version: 4730
installed: true
package: libgcrypt11
version: 5230
installed: true
package: libdb4.2++
version: 10882
installed: true
package: liblcms1
version: 6775
installed: true
package: libjasper-1.701-1
version: 7407
installed: true
package: libdps1
version: 10907
installed: true
package: imlib11
version: 6641
installed: true
package: tcl8.4
version: 11854
installed: true
package: kwin
version: 14024
installed: true
package: amor
version: 14028
installed: true
package: libxp6
version: 10907
installed: true
package: libio-stringy-perl
version: 9657
installed: true
package: perl-modules
version: 11394
installed: true
package: libmailtools-perl
version: 7234
installed: true
package: libmime-perl
version: 11507
installed: true
package: file
version: 11075
installed: true
package: libxine1
version: 4475
installed: true
package: gstreamer0.8-audiofile
version: 2191
installed: true
package: gstreamer0.8-flac
version: 2191
installed: true
package: libgstreamer0.8-0
version: 2200
installed: true
package: gstreamer0.8-vorbis
version: 2191
installed: true
package: gstreamer0.8-mad
version: 2191
installed: true
package: gstreamer0.8-misc
version: 2191
installed: true
package: gstreamer0.8-oss
version: 2191
installed: true
package: artsbuilder
version: 14022
installed: true
package: libusb-0.1-4
version: 13779
installed: true
package: kdemultimedia-kio-plugins
version: 14022
installed: true
package: libtunepimp2
version: 912
installed: true
package: libtag1
version: 5582
installed: true
package: libwrap0
version: 11761
installed: true
package: libgdbm3
version: 6493
installed: true
package: portmap
version: 11153
installed: true
package: binutils
version: 9403
installed: true
package: libgtk1.2
version: 5435
installed: true
package: libglib1.2
version: 5433
installed: true
package: libid3tag0
version: 2948
installed: true
package: udev
version: 3523
installed: true
package: pciutils
version: 13297
installed: true
package: whiptail
version: 3485
installed: true
package: libasound2-dev
version: 4649
installed: true
package: modutils
version: 8593
installed: true
package: gs-gpl
version: 11821
installed: true
package: sgml-data
version: 7646
installed: true
package: gs-common
version: 1044
installed: true
package: cpio
version: 8623
installed: true
package: tk8.4
version: 11855
installed: true
package: gconf2
version: 9096
installed: true
package: makedev
version: 8334
installed: true
package: libmagick6
version: 14120
installed: true
package: sgml-base
version: 7005
installed: true
package: libxslt1.1
version: 5065
installed: true
package: openjade
version: 5804
installed: true
package: docbook-dsssl
version: 7276
installed: true
package: libtimedate-perl
version: 7420
installed: true
package: ppp
version: 8543
installed: true
package: sysklogd
version: 5854
installed: true
package: libkdepim1
version: 14028
installed: true
package: libkcal2a
version: 14028
installed: true
package: ktnef
version: 14028
installed: true
package: kontact
version: 14028
installed: true
package: libkonq4
version: 14024
installed: true
package: libpcre3
version: 10991
installed: true
package: libidn11
version: 1574
installed: true
package: libfam0c102
version: 8996
installed: true
package: kdelibs4
version: 14035
installed: true
package: libvorbisenc2
version: 4896
installed: true
package: libsamplerate0
version: 392
installed: true
package: liboggflac1
version: 4928
installed: true
package: libmad0
version: 2946
installed: true
package: libjack0.80.0-0
version: 3991
installed: true
package: libflac6
version: 4928
installed: true
package: libarts1
version: 5605
installed: true
package: akode
version: 14022
installed: true
package: liblockfile1
version: 6182
installed: true
package: cron
version: 9755
installed: true
package: mailx
version: 13715
installed: true
package: libqt3c102-mt
version: 13967
installed: true
package: ucf
version: 6872
installed: true
package: python-gtk2
version: 8783
installed: true
package: libssl0.9.7
version: 2474
installed: true
package: netbase
version: 11095
installed: true
package: mime-support
version: 10513
installed: true
package: exim4
version: 11123
installed: true
package: menu
version: 8030
installed: true
package: liburi-perl
version: 7090
installed: true
package: libuuid1
version: 7115
installed: true
package: libmagic1
version: 11075
installed: true
package: libcurl3
version: 11784
installed: true
package: imagemagick
version: 14120
installed: true
package: gs
version: 11821
installed: true
package: tetex-base
version: 7640
installed: true
package: libungif4g
version: 10803
installed: true
package: libtiff4
version: 10351
installed: true
package: libldap2
version: 8034
installed: true
package: libsvga1
version: 13130
installed: true
package: libesd0
version: 825
installed: true
package: libaudiofile0
version: 752
installed: true
package: libvorbisfile3
version: 4896
installed: true
package: libvorbis0a
version: 4896
installed: true
package: libogg0
version: 4946
installed: true
package: ttf-bitstream-vera
version: 6671
installed: true
package: konsole
version: 14024
installed: true
package: passwd
version: 13607
installed: true
package: adduser
version: 10572
installed: true
package: powermgmt-base
version: 6967
installed: true
package: finger
version: 2996
installed: true
package: xbase-clients
version: 10907
installed: true
package: libasound2
version: 4649
installed: true
package: libaudio2
version: 6326
installed: true
package: libattr1
version: 8582
installed: true
package: libacl1
version: 8256
installed: true
package: libxv1
version: 10907
installed: true
package: liblocale-gettext-perl
version: 4847
installed: true
package: libxaw7
version: 10907
installed: true
package: libsdl1.2debian
version: 5395
installed: true
package: debconf
version: 5989
installed: true
package: tetex-bin
version: 7632
installed: true
package: libt1-5
version: 11182
installed: true
package: librsvg2-2
version: 9093
installed: true
package: libreadline5
version: 11163
installed: true
package: python2.3
version: 8386
installed: true
package: libwmf0.2-7
version: 776
installed: true
package: libreadline4
version: 10893
installed: true
package: libjpeg62
version: 11525
installed: true
package: libgsf-1
version: 6729
installed: true
package: libexpat1
version: 7318
installed: true
package: libbz2-1.0
version: 4526
installed: true
package: libgnome-keyring0
version: 1223
installed: true
package: liborbit2
version: 13417
installed: true
package: libgucharmap4
version: 13126
installed: true
package: libgnomevfs2-0
version: 9120
installed: true
package: libgnomeui-0
version: 9093
installed: true
package: libgnome2-0
version: 9091
installed: true
package: libgconf2-4
version: 9096
installed: true
package: libbonoboui2-0
version: 9091
installed: true
package: libbonobo2-0
version: 9091
installed: true
package: gsfonts
version: 11870
installed: true
package: libxrandr2
version: 10907
installed: true
package: libxcursor1
version: 4967
installed: true
package: libgnomeprintui2.2-0
version: 9105
installed: true
package: libgnomeprint2.2-0
version: 9103
installed: true
package: libgnomecanvas2-0
version: 9076
installed: true
package: libart-2.0-2
version: 8422
installed: true
package: abiword-gnome
version: 8210
installed: true
package: abiword-common
version: 8210
installed: true
package: libxrender1
version: 2128
installed: true
package: libxml2
version: 8876
installed: true
package: libxft2
version: 7973
installed: true
package: libpopt0
version: 6332
installed: true
package: libpng12-0
version: 5404
installed: true
package: libperl5.8
version: 11394
installed: true
package: libpango1.0-0
version: 6464
installed: true
package: libgtk2.0-0
version: 8819
installed: true
package: libglib2.0-0
version: 8814
installed: true
package: libglade2-0
version: 13340
installed: true
package: libfribidi0
version: 2696
installed: true
package: libfontconfig1
version: 8317
installed: true
package: libenchant1
version: 4995
installed: true
package: libatk1.0-0
version: 6443
installed: true
package: python
version: 8384
installed: true
package: libncurses5-dev
version: 11288
installed: true
package: libx11-dev
version: 10907
installed: true
package: slang1
version: 5961
installed: true
package: libncurses5
version: 11288
installed: true
package: libgpmg1
version: 6924
installed: true
package: aalib1
version: 5807
installed: true
package: perl
version: 11394
installed: true
package: psutils
version: 6879
installed: true
package: bzip2
version: 4526
installed: true
package: libpaper1
version: 5077
installed: true
package: zlib1g
version: 13052
installed: true
package: xlibmesa-glu
version: 10907
installed: true
package: xlibmesa-gl
version: 10907
installed: true
package: libxi6
version: 10907
installed: true
package: libstdc++5
version: 13551
installed: true
package: libsm6
version: 10907
installed: true
package: libice6
version: 10907
installed: true
package: libgcc1
version: 13565
installed: true
package: libfreetype6
version: 7977
installed: true
package: freeglut3
version: 8118
installed: true
package: libxt6
version: 10907
installed: true
package: libxpm4
version: 10907
installed: true
package: libxmu6
version: 10907
installed: true
package: libxext6
version: 10907
installed: true
package: libx11-6
version: 10907
installed: true
package: xlibs
version: 10907
installed: true
package: libc6
version: 8356
installed: true
package: util-linux
version: 9285
installed: true
package: tar
version: 6813
installed: true
package: sysvinit
version: 9626
installed: true
package: sed
version: 10798
installed: true
package: perl-base
version: 11394
installed: true
package: ncurses-bin
version: 11288
installed: true
package: ncurses-base
version: 11288
installed: true
package: mount
version: 9285
installed: true
package: login
version: 13607
installed: true
package: hostname
version: 9324
installed: true
package: gzip
version: 5659
installed: true
package: grep
version: 8679
installed: true
package: findutils
version: 10821
installed: true
package: e2fsprogs
version: 7115
installed: true
package: dpkg
version: 6705
installed: true
package: diff
version: 9099
installed: true
package: debianutils
version: 9118
installed: true
package: coreutils
version: 11239
installed: true
package: bsdutils
version: 13415
installed: true
package: bash
version: 8641
installed: true
package: base-passwd
version: 10268
installed: true
package: base-files
version: 9938
installed: true
------------CudfSol-----------
loading CUDF ...
loading solution ...
Proceed ? yes/[no]
Traceback (most recent call last):
File "/root/cbse/mpm/mpm.py", line 242, in
sys.exit(main(sys.argv))
File "/root/cbse/mpm/mpm.py", line 231, in main
ans = raw_input("Proceed ? yes/[no] \n")
EOFError: EOF when reading a line