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: 378
Optimum : yes
Optimization: 24 24
Time : 1.651s (Solving: 0.34s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.820s
Choices : 120974
Conflicts : 15
Restarts : 0
Atoms : 157781
Rules : 225408 (1: 220328 3: 5078 6: 2)
Bodies : 17422
Equivalences: 303634 (Atom=Atom: 141729 Body=Body: 1370 Other: 160535)
Tight : Yes
Variables : 22700 (Eliminated: 6876 Frozen: 3217)
Constraints : 52705 (Binary: 91.4% Ternary: 4.0% Other: 4.6%)
Lemmas : 11 (Binary: 18.2% Ternary: 0.0% Other: 81.8%)
Conflict : 11 (Average Length: 225.8)
Loop : 0 (Average Length: 0.0)
Other : 0 (Average Length: 0.0)
Deleted : 0
Backtracks : 2
Backjumps : 13 (Bounded: 0)
Skippable Levels : 98 (Skipped: 98 Rate: 100.0%)
Max Jump Length : 81 (Executed: 81)
Max Bound Length : 0
Average Jump Length : 7.5 (Executed: 7.5)
Average Bound Length: 0.0
Average Model Length: 540.1
------------CudfSol-----------
package: quanta-data
version: 19735
installed: true
package: pppconfig
version: 12207
installed: true
package: openoffice.org-l10n-en
version: 7298
installed: true
package: openoffice.org-bin
version: 7298
installed: true
package: openoffice.org-debian-files
version: 7297
installed: true
package: ocaml-interp
version: 15057
installed: true
package: ocaml-base-nox
version: 15057
installed: true
package: nvi
version: 10608
installed: true
package: nautilus-data
version: 13148
installed: true
package: ocaml
version: 15057
installed: true
package: libxv-dev
version: 15806
installed: true
package: libxtrap6
version: 15806
installed: true
package: render-dev
version: 3005
installed: true
package: libxmuu1
version: 15806
installed: true
package: libxft1
version: 15806
installed: true
package: xlibs-data
version: 15806
installed: true
package: libwww0
version: 16384
installed: true
package: libwnck-common
version: 13134
installed: true
package: libvte-common
version: 18705
installed: true
package: libvorbis-ocaml-dev
version: 595
installed: true
package: libvorbis-ocaml
version: 595
installed: true
package: libtidy0
version: 18158
installed: true
package: libstlport4.6
version: 15975
installed: true
package: libsnmp-base
version: 16283
installed: true
package: libsdl1.2debian-oss
version: 7891
installed: true
package: libqt3-headers
version: 20394
installed: true
package: qt3-dev-tools
version: 20394
installed: true
package: libpango1.0-common
version: 9408
installed: true
package: libostyle1
version: 8453
installed: true
package: libocamlgraph-ocaml-dev
version: 5544
installed: true
package: libneon23
version: 4679
installed: true
package: libnautilus-burn0
version: 13187
installed: true
package: libmlgtk-ocaml-dev
version: 11031
installed: true
package: libmlgtk-ocaml
version: 11031
installed: true
package: liblablgl-ocaml-dev
version: 7074
installed: true
package: liblablgl-ocaml
version: 7074
installed: true
package: xfonts-scalable
version: 15806
installed: true
package: libgtkspell-dev
version: 11280
installed: true
package: libgtksourceview-common
version: 7637
installed: true
package: libgtkgl2.0-dev
version: 10705
installed: true
package: libgtk1.2-common
version: 7941
installed: true
package: libtasn1-2-dev
version: 1176
installed: true
package: libopencdk8-dev
version: 2237
installed: true
package: libgnomeui-common
version: 13134
installed: true
package: libgnomeprintui2.2-common
version: 13148
installed: true
package: libgnomeprint2.2-data
version: 13146
installed: true
package: libgnomecanvas2-common
version: 13114
installed: true
package: libgnome2-common
version: 13131
installed: true
package: libgle3
version: 14421
installed: true
package: libgda2-common
version: 7695
installed: true
package: libgsf-1-dev
version: 9815
installed: true
package: libmyspell3
version: 19662
installed: true
package: libhtml-tagset-perl
version: 14757
installed: true
package: libeel2-data
version: 13145
installed: true
package: libgnutls11-dev
version: 6943
installed: true
package: libcroco3-dev
version: 2453
installed: true
package: libconvert-binhex-perl
version: 10762
installed: true
package: libxi-dev
version: 15806
installed: true
package: liblcms1-dev
version: 9882
installed: true
package: libmng-dev
version: 6838
installed: true
package: liblablgtk2-ocaml-dev
version: 12314
installed: true
package: libdb1-compat
version: 11576
installed: true
package: libgpg-error-dev
version: 6303
installed: true
package: libbonoboui2-common
version: 13131
installed: true
package: libopenct1
version: 2555
installed: true
package: libaudio-dev
version: 9212
installed: true
package: libxcursor-dev
version: 7286
installed: true
package: xlibs-static-dev
version: 15806
installed: true
package: libxmu-dev
version: 15806
installed: true
package: libxft-dev
version: 11618
installed: true
package: xserver-xfree86
version: 15806
installed: true
package: ksysguardd
version: 20459
installed: true
package: kstars-data
version: 20464
installed: true
package: xscreensaver-gl
version: 16084
installed: true
package: libnews-nntpclient-perl
version: 4922
installed: true
package: klogd
version: 8520
installed: true
package: klettres-data
version: 20464
installed: true
package: pinentry-qt
version: 2823
installed: true
package: libboost-python1.32.0
version: 10316
installed: true
package: kxsldbg
version: 19735
installed: true
package: klinkstatus
version: 19735
installed: true
package: kimagemapeditor
version: 19735
installed: true
package: libsvn0
version: 7310
installed: true
package: kdevelop3-data
version: 20442
installed: true
package: kdevelop3-plugins
version: 20442
installed: true
package: kwalletmanager
version: 20457
installed: true
package: ktimer
version: 20457
installed: true
package: ksim
version: 20457
installed: true
package: kjots
version: 20457
installed: true
package: khexedit
version: 20457
installed: true
package: kgpg
version: 20457
installed: true
package: kweather
version: 20463
installed: true
package: ktux
version: 20463
installed: true
package: kteatime
version: 20463
installed: true
package: kodo
version: 20463
installed: true
package: kmoon
version: 20463
installed: true
package: kdessh
version: 20457
installed: true
package: poxml
version: 20463
installed: true
package: kuiviewer
version: 20463
installed: true
package: kspy
version: 20463
installed: true
package: kompare
version: 20463
installed: true
package: kmtrace
version: 20463
installed: true
package: kdesdk-misc
version: 20463
installed: true
package: kdesdk-kfile-plugins
version: 20463
installed: true
package: poster
version: 17961
installed: true
package: libmimelib1a
version: 20463
installed: true
package: libksieve0
version: 20463
installed: true
package: libkpimexchange1
version: 20463
installed: true
package: libkgantt0
version: 20463
installed: true
package: ksync
version: 20463
installed: true
package: korn
version: 20463
installed: true
package: kmailcvt
version: 20463
installed: true
package: kleopatra
version: 20463
installed: true
package: kdepim-wizards
version: 20463
installed: true
package: kdepim-kfile-plugins
version: 20463
installed: true
package: kwifimanager
version: 20468
installed: true
package: krfb
version: 20468
installed: true
package: krdc
version: 20468
installed: true
package: kpf
version: 20468
installed: true
package: kopete
version: 20468
installed: true
package: knewsticker
version: 20468
installed: true
package: kget
version: 20468
installed: true
package: kdenetwork-filesharing
version: 20468
installed: true
package: mpeglib
version: 20457
installed: true
package: libarts1-mpeglib
version: 20457
installed: true
package: libarts1-audiofile
version: 20457
installed: true
package: kscd
version: 20457
installed: true
package: krec
version: 20457
installed: true
package: kdemultimedia-kappfinder-data
version: 20457
installed: true
package: kdelirc
version: 20457
installed: true
package: libqt3-mt-dev
version: 20394
installed: true
package: libbz2-dev
version: 6658
installed: true
package: libaspell-dev
version: 5232
installed: true
package: libxrender-dev
version: 3144
installed: true
package: libidn11-dev
version: 2316
installed: true
package: libfam-dev
version: 13001
installed: true
package: libcupsys2-dev
version: 7470
installed: true
package: kdelibs-bin
version: 20470
installed: true
package: libkscan1
version: 20462
installed: true
package: kviewshell
version: 20462
installed: true
package: kuickshow
version: 20462
installed: true
package: ksvg
version: 20462
installed: true
package: kpovmodeler
version: 20462
installed: true
package: kmrml
version: 20462
installed: true
package: kgamma
version: 20462
installed: true
package: kfax
version: 20462
installed: true
package: kdvi
version: 20462
installed: true
package: kdegames-card-data
version: 20457
installed: true
package: lskat
version: 20457
installed: true
package: kwin4
version: 20457
installed: true
package: ktron
version: 20457
installed: true
package: kspaceduel
version: 20457
installed: true
package: ksnake
version: 20457
installed: true
package: ksmiletris
version: 20457
installed: true
package: ksirtet
version: 20457
installed: true
package: kshisen
version: 20457
installed: true
package: ksame
version: 20457
installed: true
package: kreversi
version: 20457
installed: true
package: kpoker
version: 20457
installed: true
package: kpat
version: 20457
installed: true
package: konquest
version: 20457
installed: true
package: kolf
version: 20457
installed: true
package: kmines
version: 20457
installed: true
package: kmahjongg
version: 20457
installed: true
package: klines
version: 20457
installed: true
package: klickety
version: 20457
installed: true
package: kjumpingcube
version: 20457
installed: true
package: kgoldrunner
version: 20457
installed: true
package: kfouleggs
version: 20457
installed: true
package: kenolaba
version: 20457
installed: true
package: kitchensync
version: 20463
installed: true
package: ktip
version: 20459
installed: true
package: ksysguard
version: 20459
installed: true
package: ksplash
version: 20459
installed: true
package: kpersonalizer
version: 20459
installed: true
package: kpager
version: 20459
installed: true
package: konqueror-nsplugins
version: 20459
installed: true
package: kmenuedit
version: 20459
installed: true
package: klipper
version: 20459
installed: true
package: kfind
version: 20459
installed: true
package: kscreensaver-xsavers
version: 20457
installed: true
package: kdeartwork-theme-window
version: 20457
installed: true
package: kdeartwork-theme-icon
version: 20457
installed: true
package: kdeartwork-style
version: 20457
installed: true
package: kdeartwork-misc
version: 20457
installed: true
package: secpolicy
version: 20457
installed: true
package: ksysv
version: 20457
installed: true
package: kdeadmin-kfile-plugins
version: 20457
installed: true
package: vimpart
version: 20465
installed: true
package: ksig
version: 20465
installed: true
package: kicker-applets
version: 20465
installed: true
package: kdeaddons-kfile-plugins
version: 20465
installed: true
package: klaptopdaemon
version: 20457
installed: true
package: kprof
version: 8568
installed: true
package: kdevelop3
version: 20442
installed: true
package: qt3-designer
version: 20394
installed: true
package: libkonq4-dev
version: 20459
installed: true
package: kdebase-dev
version: 20459
installed: true
package: libarts1-dev
version: 8189
installed: true
package: kdelibs
version: 20470
installed: true
package: kdetoys
version: 20463
installed: true
package: kdegames
version: 20457
installed: true
package: kdewebdev
version: 19735
installed: true
package: kdepim
version: 20463
installed: true
package: kdenetwork
version: 20468
installed: true
package: kdegraphics
version: 20462
installed: true
package: kdeartwork
version: 20457
installed: true
package: kdeadmin
version: 20457
installed: true
package: kde-core
version: 20604
installed: true
package: kdbg
version: 9649
installed: true
package: kdat
version: 20457
installed: true
package: kcron
version: 20457
installed: true
package: kcoloredit
version: 20462
installed: true
package: kcmlinuz
version: 20457
installed: true
package: kcachegrind
version: 20463
installed: true
package: kbugbuster
version: 20463
installed: true
package: kbounce
version: 20457
installed: true
package: kblackbox
version: 20457
installed: true
package: kbattleship
version: 20457
installed: true
package: kbackgammon
version: 20457
installed: true
package: libgcrypt11-dev
version: 7663
installed: true
package: libkcddb1
version: 20457
installed: true
package: kaudiocreator
version: 20457
installed: true
package: katomic
version: 20457
installed: true
package: kregexpeditor
version: 20457
installed: true
package: kasteroids
version: 20457
installed: true
package: karm
version: 20463
installed: true
package: kdelibs4-dev
version: 20470
installed: true
package: kappfinder
version: 20459
installed: true
package: kandy
version: 20463
installed: true
package: libkdeedu1
version: 20464
installed: true
package: libkpimidentities1
version: 20463
installed: true
package: libkdenetwork2
version: 20463
installed: true
package: kalarm
version: 20463
installed: true
package: libkleopatra0a
version: 20463
installed: true
package: libarts1-xine
version: 20457
installed: true
package: kaboodle
version: 20457
installed: true
package: kworldclock
version: 20463
installed: true
package: libtunepimp-bin
version: 1355
installed: true
package: libmusicbrainz4
version: 11517
installed: true
package: juk
version: 20457
installed: true
package: libmal1
version: 4958
installed: true
package: kdebase-data
version: 20459
installed: true
package: libstdc++2.10-glibc2.2
version: 19633
installed: true
package: libpng12-dev
version: 7904
installed: true
package: libjpeg62-dev
version: 16706
installed: true
package: libiw27
version: 17452
installed: true
package: libidl0
version: 3176
installed: true
package: tidy
version: 18158
installed: true
package: libhal-storage0
version: 1917
installed: true
package: libgtk2.0-common
version: 12740
installed: true
package: gstreamer0.8-plugin-apps
version: 3231
installed: true
package: liboil0.2
version: 1016
installed: true
package: gstreamer0.8-tools
version: 3243
installed: true
package: libpopt-dev
version: 9220
installed: true
package: kcontrol
version: 20459
installed: true
package: gstreamer0.8-gnomevfs
version: 3231
installed: true
package: libnetpbm10
version: 20363
installed: true
package: gpgsm
version: 9681
installed: true
package: gnumeric-common
version: 8573
installed: true
package: libgsf-gnome-1
version: 9815
installed: true
package: konsolekalendar
version: 20463
installed: true
package: pmount
version: 2996
installed: true
package: libhal0
version: 1917
installed: true
package: gtk2-engines-industrial
version: 1241
installed: true
package: gtk2-engines-spherecrystal
version: 2734
installed: true
package: gtk2-engines-mist
version: 19471
installed: true
package: gtk2-engines-smooth
version: 2477
installed: true
package: gtk2-engines-lighthouseblue
version: 19471
installed: true
package: gtk2-engines-crux
version: 19471
installed: true
package: gtk2-engines-thinice
version: 19471
installed: true
package: libgstreamer-gconf0.8-0
version: 3231
installed: true
package: libcroco3
version: 2453
installed: true
package: gnome-doc-tools
version: 6329
installed: true
package: nautilus-media
version: 3077
installed: true
package: gpdf
version: 13147
installed: true
package: totem-xine
version: 5937
installed: true
package: gucharmap
version: 19093
installed: true
package: gnome-volume-manager
version: 7641
installed: true
package: libgnomecupsui1.0-1
version: 4701
installed: true
package: libgnomecanvas2-dev
version: 13114
installed: true
package: libgconf2-dev
version: 13137
installed: true
package: librsvg2-dev
version: 13134
installed: true
package: libpango1.0-dev
version: 9408
installed: true
package: libpanel-applet2-dev
version: 13153
installed: true
package: libgnomevfs2-dev
version: 13163
installed: true
package: libidl-dev
version: 3176
installed: true
package: libgnome-keyring-dev
version: 1795
installed: true
package: libaudiofile-dev
version: 1116
installed: true
package: libatk1.0-dev
version: 9382
installed: true
package: liborbit2-dev
version: 19547
installed: true
package: libart-2.0-dev
version: 12220
installed: true
package: gnome2-user-guide
version: 13131
installed: true
package: gnome-games-data
version: 19511
installed: true
package: gnome-media
version: 13113
installed: true
package: gnome-system-monitor
version: 13135
installed: true
package: gnome-applets-data
version: 13149
installed: true
package: gnome-applets
version: 13149
installed: true
package: gnome-about
version: 13154
installed: true
package: vino
version: 13130
installed: true
package: gnome-nettool
version: 7637
installed: true
package: rhythmbox
version: 3238
installed: true
package: gnome-cups-manager
version: 4701
installed: true
package: libscrollkeeper0
version: 1612
installed: true
package: kanjidic
version: 17655
installed: true
package: libsane
version: 6934
installed: true
package: libieee1284-3
version: 1175
installed: true
package: libgtkhtml2-0
version: 12718
installed: true
package: libgimp2.0
version: 11913
installed: true
package: gimp-data
version: 11913
installed: true
package: libgnomecups1.0-1
version: 785
installed: true
package: xfree86-common
version: 15806
installed: true
package: python2.3-gtk2
version: 12692
installed: true
package: gedit-common
version: 13157
installed: true
package: gedit
version: 13157
installed: true
package: x-dev
version: 15806
installed: true
package: libgtk1.2-dev
version: 7941
installed: true
package: libglib1.2-dev
version: 7939
installed: true
package: imlib-base
version: 9673
installed: true
package: libgksuui1.0-0
version: 6730
installed: true
package: libgksu1.2-0
version: 7849
installed: true
package: libgda2-3
version: 7695
installed: true
package: libgtk2.0-bin
version: 12740
installed: true
package: libgtkgl2.0-1
version: 10705
installed: true
package: libopencdk8
version: 2237
installed: true
package: libstdc++2.10-dev
version: 19633
installed: true
package: g++-2.95
version: 19633
installed: true
package: xscreensaver
version: 16084
installed: true
package: libsmbclient
version: 14334
installed: true
package: libfreetype6-dev
version: 11622
installed: true
package: libopensc1
version: 3590
installed: true
package: xlibmesa-gl-dev
version: 15806
installed: true
package: fortunes-min
version: 19267
installed: true
package: python2.3-numeric
version: 17425
installed: true
package: libfontconfig1-dev
version: 12083
installed: true
package: fontconfig
version: 12083
installed: true
package: file-roller
version: 13162
installed: true
package: fifteenapplet
version: 20463
installed: true
package: ipchains
version: 8322
installed: true
package: gnome-system-tools
version: 6504
installed: true
package: libshout3
version: 11421
installed: true
package: kicker
version: 20459
installed: true
package: eyesapplet
version: 20463
installed: true
package: ttf-opensymbol
version: 7298
installed: true
package: exim4-config
version: 16129
installed: true
package: exim4-daemon-light
version: 16129
installed: true
package: exim4-base
version: 16129
installed: true
package: libbonoboui2-dev
version: 13131
installed: true
package: libbonobo2-dev
version: 13131
installed: true
package: libgnome2-dev
version: 13131
installed: true
package: libedata-cal5
version: 6718
installed: true
package: libedata-book1
version: 6718
installed: true
package: libgal2.2-common
version: 11899
installed: true
package: libnspr4
version: 20268
installed: true
package: libnss3
version: 20268
installed: true
package: libsoup2.2-7
version: 11871
installed: true
package: libpisync0
version: 4121
installed: true
package: libpisock8
version: 4121
installed: true
package: libgnome-pilot2
version: 11300
installed: true
package: libgal2.2-1
version: 11899
installed: true
package: libegroupwise6
version: 6718
installed: true
package: libecal6
version: 6718
installed: true
package: gtkhtml3.2
version: 14601
installed: true
package: esound-common
version: 1233
installed: true
package: libosp4
version: 8861
installed: true
package: eog
version: 13144
installed: true
package: libglut3
version: 14994
installed: true
package: enscript
version: 9127
installed: true
package: libpt-plugins-v4l2
version: 9450
installed: true
package: libpt-plugins-oss
version: 9450
installed: true
package: libgadu3
version: 19131
installed: true
package: noatun-plugins
version: 20465
installed: true
package: noatun
version: 20457
installed: true
package: kview
version: 20462
installed: true
package: kruler
version: 20462
installed: true
package: kmid
version: 20457
installed: true
package: kiconedit
version: 20462
installed: true
package: kfilereplace
version: 19735
installed: true
package: kate-plugins
version: 20465
installed: true
package: kate
version: 20459
installed: true
package: totem
version: 5937
installed: true
package: pppoeconf
version: 9205
installed: true
package: planner
version: 4216
installed: true
package: kuser
version: 20457
installed: true
package: kppp
version: 20468
installed: true
package: kolourpaint
version: 20462
installed: true
package: x-window-system-core
version: 15806
installed: true
package: mozilla-psm
version: 20268
installed: true
package: keduca
version: 20464
installed: true
package: kbruch
version: 20464
installed: true
package: ksokoban
version: 20457
installed: true
package: kmilo
version: 20457
installed: true
package: kwordquiz
version: 20464
installed: true
package: klatin
version: 20464
installed: true
package: kverbos
version: 20464
installed: true
package: kmessedwords
version: 20464
installed: true
package: klettres
version: 20464
installed: true
package: kiten
version: 20464
installed: true
package: khangman
version: 20464
installed: true
package: umbrello
version: 20463
installed: true
package: kturtle
version: 20464
installed: true
package: kommander
version: 19735
installed: true
package: sane-utils
version: 6934
installed: true
package: myspell-en-us
version: 18018
installed: true
package: myspell-en-gb
version: 18018
installed: true
package: ktuberling
version: 20457
installed: true
package: kooka
version: 20462
installed: true
package: inkscape
version: 4974
installed: true
package: gnupg2
version: 9681
installed: true
package: gnupg-agent
version: 9681
installed: true
package: kig
version: 20464
installed: true
package: xmms
version: 7950
installed: true
package: quanta
version: 19735
installed: true
package: ktouch
version: 20464
installed: true
package: kpercentage
version: 20464
installed: true
package: kpackage
version: 20457
installed: true
package: kmplot
version: 20464
installed: true
package: kbabel
version: 20463
installed: true
package: kpilot
version: 20463
installed: true
package: knotes
version: 20463
installed: true
package: kdewallpapers
version: 20457
installed: true
package: kdeutils
version: 20457
installed: true
package: kamera
version: 20462
installed: true
package: kaddressbook-plugins
version: 20465
installed: true
package: ksnapshot
version: 20462
installed: true
package: ksmserver
version: 20459
installed: true
package: korganizer
version: 20463
installed: true
package: konq-plugins
version: 20465
installed: true
package: kdict
version: 20468
installed: true
package: kdf
version: 20457
installed: true
package: kdepim-kio-plugins
version: 20463
installed: true
package: kdegraphics-kfile-plugins
version: 20462
installed: true
package: kcharselect
version: 20457
installed: true
package: kaddressbook
version: 20463
installed: true
package: menu-xdg
version: 860
installed: true
package: ksirc
version: 20468
installed: true
package: kscreensaver
version: 20457
installed: true
package: knode
version: 20463
installed: true
package: kmix
version: 20457
installed: true
package: kghostview
version: 20462
installed: true
package: kfloppy
version: 20457
installed: true
package: kedit
version: 20457
installed: true
package: kdepasswd
version: 20459
installed: true
package: kdebase
version: 20459
installed: true
package: kcalc
version: 20457
installed: true
package: gnumeric
version: 8573
installed: true
package: gnomemeeting
version: 7689
installed: true
package: gnome-games
version: 19511
installed: true
package: tcptraceroute
version: 8779
installed: true
package: manpages
version: 10567
installed: true
package: kalzium
version: 20464
installed: true
package: kstars
version: 20464
installed: true
package: edict
version: 17661
installed: true
package: hotplug
version: 386
installed: true
package: pppoe
version: 14850
installed: true
package: libss2
version: 10379
installed: true
package: linux-kernel-headers
version: 12633
installed: true
package: libblkid1
version: 10379
installed: true
package: e2fslibs
version: 10379
installed: true
package: xlibmesa-dri
version: 15806
installed: true
package: dselect
version: 9782
installed: true
package: esound
version: 1233
installed: true
package: mozilla-browser
version: 20268
installed: true
package: telnet
version: 4461
installed: true
package: libksba8
version: 3702
installed: true
package: dirmngr
version: 3431
installed: true
package: kdebase-kio-plugins
version: 20459
installed: true
package: kdeprint
version: 20459
installed: true
package: libexif10
version: 2638
installed: true
package: dia-libs
version: 5652
installed: true
package: dia-common
version: 5652
installed: true
package: kdesdk-scripts
version: 20463
installed: true
package: dia-gnome
version: 5652
installed: true
package: desktop-file-utils
version: 3879
installed: true
package: epiphany-browser
version: 8652
installed: true
package: desktop-base
version: 1615
installed: true
package: texinfo
version: 15988
installed: true
package: man-db
version: 12355
installed: true
package: libtext-charwidth-perl
version: 1658
installed: true
package: libtext-wrapi18n-perl
version: 2379
installed: true
package: debconf-i18n
version: 8713
installed: true
package: initscripts
version: 13978
installed: true
package: librss1
version: 20468
installed: true
package: dcoprss
version: 20468
installed: true
package: docbook-xml
version: 15779
installed: true
package: ocaml-base
version: 15057
installed: true
package: liblzo1
version: 9341
installed: true
package: libmodplug0
version: 18602
installed: true
package: info
version: 15988
installed: true
package: libpam-runtime
version: 5412
installed: true
package: gnome-gv
version: 19510
installed: true
package: libgimpprint1
version: 15751
installed: true
package: libcupsys2-gnutls10
version: 7470
installed: true
package: libslp1
version: 6895
installed: true
package: vim
version: 19945
installed: true
package: gcc-3.3-base
version: 19746
installed: true
package: cpp-2.95
version: 19633
installed: true
package: cpp-3.3
version: 19746
installed: true
package: groff-base
version: 10070
installed: true
package: libraw1394-5
version: 3939
installed: true
package: liblablgtk2-ocaml
version: 12314
installed: true
package: libpcsclite1
version: 7925
installed: true
package: zenity
version: 13145
installed: true
package: gnome-core
version: 17477
installed: true
package: kdesktop
version: 20459
installed: true
package: evolution-data-server
version: 6718
installed: true
package: evolution
version: 11180
installed: true
package: libedataserver3
version: 6718
installed: true
package: libebook8
version: 6718
installed: true
package: libconsole
version: 18505
installed: true
package: console-common
version: 2970
installed: true
package: xml-core
version: 3315
installed: true
package: pkg-config
version: 4474
installed: true
package: libxml2-dev
version: 12803
installed: true
package: libsm-dev
version: 15806
installed: true
package: libice-dev
version: 15806
installed: true
package: less
version: 17575
installed: true
package: libsensors3
version: 19520
installed: true
package: fortune-mod
version: 19267
installed: true
package: defoma
version: 4119
installed: true
package: libselinux1
version: 10171
installed: true
package: libxt-dev
version: 15806
installed: true
package: libxext-dev
version: 15806
installed: true
package: xfonts-75dpi
version: 15806
installed: true
package: xfonts-100dpi
version: 15806
installed: true
package: xlibmesa-glu-dev
version: 15806
installed: true
package: libopenexr2
version: 7743
installed: true
package: libxrandr-dev
version: 15806
installed: true
package: libpth2
version: 11061
installed: true
package: gcc-2.95
version: 19633
installed: true
package: gnome-mime-data
version: 12346
installed: true
package: shared-mime-info
version: 4402
installed: true
package: gnome-keyring
version: 1795
installed: true
package: slang1a-utf8
version: 8667
installed: true
package: libcvsservice0
version: 20463
installed: true
package: cervisia
version: 20463
installed: true
package: khelpcenter
version: 20459
installed: true
package: libtextwrap1
version: 498
installed: true
package: libkpathsea3
version: 11129
installed: true
package: capplets-data
version: 19510
installed: true
package: gnome-panel
version: 13153
installed: true
package: nautilus
version: 13148
installed: true
package: gnome-control-center
version: 19510
installed: true
package: gnome-session
version: 13137
installed: true
package: libxklavier8
version: 8039
installed: true
package: libnautilus2-2
version: 13148
installed: true
package: libmetacity0
version: 19516
installed: true
package: libgstreamer-plugins0.8-0
version: 3231
installed: true
package: libeel2-2
version: 13145
installed: true
package: capplets
version: 19510
installed: true
package: ocaml-nox
version: 15057
installed: true
package: libgphoto2-port0
version: 11604
installed: true
package: libgphoto2-2
version: 11604
installed: true
package: gcalctool
version: 15919
installed: true
package: libsnmp5
version: 16283
installed: true
package: sysv-rc
version: 13978
installed: true
package: kpdf
version: 20462
installed: true
package: kmail
version: 20463
installed: true
package: gnome-desktop-data
version: 13154
installed: true
package: bug-buddy
version: 13118
installed: true
package: libsigc++-2.0-0
version: 11280
installed: true
package: libgtkmm-2.4-1
version: 12434
installed: true
package: libglibmm-2.4-1
version: 12691
installed: true
package: libgtop2-2
version: 12683
installed: true
package: openoffice.org
version: 7298
installed: true
package: libwnck4
version: 13134
installed: true
package: ifupdown
version: 2615
installed: true
package: libsysfs1
version: 7651
installed: true
package: gnome-utils
version: 13128
installed: true
package: gnome-themes-extras
version: 3072
installed: true
package: gdm
version: 12688
installed: true
package: dhcp-client
version: 10977
installed: true
package: libmng1
version: 6838
installed: true
package: dosfstools
version: 13351
installed: true
package: fdutils
version: 16382
installed: true
package: libbonobo2-common
version: 13131
installed: true
package: libdb3
version: 14633
installed: true
package: libgc1
version: 19947
installed: true
package: libglib2.0-dev
version: 12735
installed: true
package: libcdparanoia0
version: 14095
installed: true
package: dbus-glib-1
version: 4677
installed: true
package: dbus-1
version: 4677
installed: true
package: bluefish
version: 6303
installed: true
package: tk8.4-dev
version: 17195
installed: true
package: kdeedu-data
version: 20464
installed: true
package: libtheora0
version: 68
installed: true
package: usbutils
version: 5340
installed: true
package: netpbm
version: 20363
installed: true
package: tcpd
version: 17050
installed: true
package: bsdmainutils
version: 16742
installed: true
package: libjpeg-progs
version: 16706
installed: true
package: libtext-iconv-perl
version: 7529
installed: true
package: liblwres1
version: 20012
installed: true
package: libisc7
version: 20012
installed: true
package: libdns16
version: 20012
installed: true
package: xfonts-base
version: 15806
installed: true
package: vim-gtk
version: 19945
installed: true
package: vim-common
version: 19945
installed: true
package: libneon24
version: 4694
installed: true
package: tasksel
version: 13777
installed: true
package: gettext-base
version: 4326
installed: true
package: console-tools
version: 18505
installed: true
package: console-data
version: 17628
installed: true
package: base-config
version: 13907
installed: true
package: libgtkspell0
version: 11280
installed: true
package: libgtksourceview1.0-0
version: 7637
installed: true
package: libcompfaceg1
version: 17587
installed: true
package: libgtkhtml3.2-11
version: 14601
installed: true
package: librsvg2-common
version: 13134
installed: true
package: gnome-icon-theme
version: 13120
installed: true
package: gconf-editor
version: 13148
installed: true
package: libstartup-notification0
version: 2991
installed: true
package: libgnome-desktop-2
version: 13154
installed: true
package: libpam-modules
version: 5412
installed: true
package: metacity
version: 19516
installed: true
package: bind9-host
version: 20012
installed: true
package: ssh
version: 19792
installed: true
package: libqthreads-12
version: 9149
installed: true
package: libguile-ltdl-1
version: 9149
installed: true
package: guile-1.6-libs
version: 9149
installed: true
package: gettext
version: 4326
installed: true
package: liblircclient0
version: 2821
installed: true
package: libmad0-dev
version: 4368
installed: true
package: libartsc0-dev
version: 8189
installed: true
package: libjack0.80.0-dev
version: 5817
installed: true
package: libesd0-dev
version: 1233
installed: true
package: libogg-dev
version: 7254
installed: true
package: libvorbis-dev
version: 7172
installed: true
package: libgtk2.0-dev
version: 12740
installed: true
package: gtk2-engines-pixbuf
version: 12740
installed: true
package: atlantikdesigner
version: 20465
installed: true
package: libkdegames1
version: 20457
installed: true
package: atlantik
version: 20457
installed: true
package: netkit-inetd
version: 3900
installed: true
package: libgail17
version: 9449
installed: true
package: libgail-common
version: 9449
installed: true
package: at
version: 14485
installed: true
package: libsasl2
version: 11676
installed: true
package: libpt-1.8.3
version: 9450
installed: true
package: libopenh323-1.15.2
version: 9995
installed: true
package: libtiff-tools
version: 15014
installed: true
package: libnewt0.51
version: 5124
installed: true
package: libgsm1
version: 6883
installed: true
package: xserver-common
version: 15806
installed: true
package: dictionaries-common
version: 4729
installed: true
package: libaspell15
version: 5232
installed: true
package: gnome-panel-data
version: 13153
installed: true
package: xutils
version: 15806
installed: true
package: libartsc0
version: 8189
installed: true
package: arts
version: 8189
installed: true
package: cdrecord
version: 20417
installed: true
package: kdelibs-data
version: 20470
installed: true
package: dnsutils
version: 20012
installed: true
package: iptables
version: 7961
installed: true
package: m4
version: 8533
installed: true
package: libdb4.1
version: 15674
installed: true
package: ark
version: 20457
installed: true
package: libpcap0.7
version: 2832
installed: true
package: libcomerr2
version: 10379
installed: true
package: hicolor-icon-theme
version: 2991
installed: true
package: libspeex1
version: 7342
installed: true
package: cpp
version: 20474
installed: true
package: mkisofs
version: 20417
installed: true
package: nautilus-cd-burner
version: 13187
installed: true
package: kdebase-bin
version: 20459
installed: true
package: gksu
version: 7818
installed: true
package: libsigc++-1.2-5c102
version: 7819
installed: true
package: aptitude
version: 1205
installed: true
package: synaptic
version: 5175
installed: true
package: libpanel-applet2-0
version: 13153
installed: true
package: libgnomevfs2-common
version: 13163
installed: true
package: gnupg
version: 8508
installed: true
package: bc
version: 9019
installed: true
package: mawk
version: 8222
installed: true
package: sudo
version: 9165
installed: true
package: ed
version: 895
installed: true
package: apt-utils
version: 2346
installed: true
package: apt
version: 2346
installed: true
package: libapm1
version: 14585
installed: true
package: libxml2-utils
version: 12803
installed: true
package: fam
version: 13001
installed: true
package: psmisc
version: 17408
installed: true
package: libpcre3-dev
version: 15930
installed: true
package: autotools-dev
version: 18162
installed: true
package: libssl-dev
version: 3643
installed: true
package: libapr0
version: 11391
installed: true
package: libcap1
version: 19210
installed: true
package: net-tools
version: 10521
installed: true
package: libexpat1-dev
version: 10671
installed: true
package: libdb4.2
version: 15773
installed: true
package: zlib1g-dev
version: 18981
installed: true
package: logrotate
version: 14983
installed: true
package: tcl8.4-dev
version: 17194
installed: true
package: libc6-dev
version: 12134
installed: true
package: procps
version: 19691
installed: true
package: libxtst6
version: 15806
installed: true
package: librecode0
version: 14924
installed: true
package: libgpgme11
version: 6639
installed: true
package: libglade2-dev
version: 19434
installed: true
package: libgnomeui-dev
version: 13134
installed: true
package: automake1.4
version: 19075
installed: true
package: gdb
version: 16808
installed: true
package: autoconf
version: 13926
installed: true
package: yelp
version: 12744
installed: true
package: gnome-terminal
version: 13148
installed: true
package: cvs
version: 19218
installed: true
package: scrollkeeper
version: 1612
installed: true
package: libvte4
version: 18705
installed: true
package: libtasn1-2
version: 1176
installed: true
package: libgpg-error0
version: 6303
installed: true
package: libgnutls11
version: 6943
installed: true
package: libgcrypt11
version: 7663
installed: true
package: libdb4.2++
version: 15773
installed: true
package: liblcms1
version: 9882
installed: true
package: libjasper-1.701-1
version: 10814
installed: true
package: libdps1
version: 15806
installed: true
package: imlib11
version: 9674
installed: true
package: tcl8.4
version: 17194
installed: true
package: kwin
version: 20459
installed: true
package: amor
version: 20463
installed: true
package: libxp6
version: 15806
installed: true
package: libio-stringy-perl
version: 14025
installed: true
package: perl-modules
version: 16516
installed: true
package: libmailtools-perl
version: 10538
installed: true
package: libmime-perl
version: 16680
installed: true
package: konqueror
version: 20459
installed: true
package: gstreamer0.8-audiofile
version: 3231
installed: true
package: gstreamer0.8-flac
version: 3231
installed: true
package: libgstreamer0.8-0
version: 3243
installed: true
package: gstreamer0.8-vorbis
version: 3231
installed: true
package: gstreamer0.8-mad
version: 3231
installed: true
package: gstreamer0.8-misc
version: 3231
installed: true
package: gstreamer0.8-oss
version: 3231
installed: true
package: libxine1
version: 6578
installed: true
package: artsbuilder
version: 20457
installed: true
package: libusb-0.1-4
version: 20106
installed: true
package: kdemultimedia-kio-plugins
version: 20457
installed: true
package: libtunepimp2
version: 1355
installed: true
package: libtag1
version: 8161
installed: true
package: libgdbm3
version: 9444
installed: true
package: portmap
version: 16174
installed: true
package: binutils
version: 13562
installed: true
package: libgtk1.2
version: 7941
installed: true
package: libglib1.2
version: 7939
installed: true
package: libid3tag0
version: 4372
installed: true
package: pciutils
version: 19358
installed: true
package: whiptail
version: 5124
installed: true
package: libasound2-dev
version: 6842
installed: true
package: modutils
version: 12456
installed: true
package: nano
version: 7803
installed: true
package: libpam0g
version: 5412
installed: true
package: libkrb53
version: 8277
installed: true
package: gs-gpl
version: 17133
installed: true
package: sgml-data
version: 11146
installed: true
package: gs-common
version: 1536
installed: true
package: cpio
version: 12492
installed: true
package: tk8.4
version: 17195
installed: true
package: makedev
version: 12103
installed: true
package: udev
version: 5178
installed: true
package: libmagick6
version: 20611
installed: true
package: sgml-base
version: 10232
installed: true
package: libxslt1.1
version: 7418
installed: true
package: openjade
version: 8453
installed: true
package: docbook-dsssl
version: 10605
installed: true
package: libtimedate-perl
version: 10836
installed: true
package: ppp
version: 12381
installed: true
package: sysklogd
version: 8520
installed: true
package: libkdepim1
version: 20463
installed: true
package: libkcal2a
version: 20463
installed: true
package: ktnef
version: 20463
installed: true
package: kontact
version: 20463
installed: true
package: libkonq4
version: 20459
installed: true
package: libfam0c102
version: 13001
installed: true
package: kdelibs4
version: 20470
installed: true
package: libvorbisenc2
version: 7172
installed: true
package: libsamplerate0
version: 592
installed: true
package: liboggflac1
version: 7225
installed: true
package: libmad0
version: 4368
installed: true
package: libjack0.80.0-0
version: 5817
installed: true
package: libflac6
version: 7225
installed: true
package: libarts1
version: 8189
installed: true
package: akode
version: 20457
installed: true
package: liblockfile1
version: 8994
installed: true
package: cron
version: 14168
installed: true
package: mailx
version: 19998
installed: true
package: iputils-ping
version: 20410
installed: true
package: libqt3c102-mt
version: 20394
installed: true
package: ucf
version: 10025
installed: true
package: libssl0.9.7
version: 3643
installed: true
package: netbase
version: 16082
installed: true
package: mime-support
version: 15260
installed: true
package: exim4
version: 16129
installed: true
package: menu
version: 11688
installed: true
package: libwrap0
version: 17050
installed: true
package: liburi-perl
version: 10345
installed: true
package: libuuid1
version: 10379
installed: true
package: libmagic1
version: 16057
installed: true
package: libcurl3
version: 17078
installed: true
package: imagemagick
version: 20611
installed: true
package: gs
version: 17133
installed: true
package: tetex-base
version: 11138
installed: true
package: libungif4g
version: 15645
installed: true
package: libldap2
version: 11692
installed: true
package: libsvga1
version: 19097
installed: true
package: libesd0
version: 1233
installed: true
package: libaudiofile0
version: 1116
installed: true
package: ttf-bitstream-vera
version: 9716
installed: true
package: konsole
version: 20459
installed: true
package: passwd
version: 19827
installed: true
package: adduser
version: 15346
installed: true
package: libvorbisfile3
version: 7172
installed: true
package: libvorbis0a
version: 7172
installed: true
package: libtiff4
version: 15014
installed: true
package: libpcre3
version: 15930
installed: true
package: libogg0
version: 7254
installed: true
package: xbase-clients
version: 15806
installed: true
package: hal
version: 1917
installed: true
package: powermgmt-base
version: 10170
installed: true
package: finger
version: 4447
installed: true
package: libasound2
version: 6842
installed: true
package: libaudio2
version: 9212
installed: true
package: libattr1
version: 12441
installed: true
package: libacl1
version: 12001
installed: true
package: libxv1
version: 15806
installed: true
package: liblocale-gettext-perl
version: 7100
installed: true
package: libxaw7
version: 15806
installed: true
package: python-gtk2
version: 12692
installed: true
package: gconf2
version: 13137
installed: true
package: debconf
version: 8713
installed: true
package: tetex-bin
version: 11129
installed: true
package: python2.3
version: 12170
installed: true
package: libreadline4
version: 15789
installed: true
package: libgsf-1
version: 9815
installed: true
package: libbz2-1.0
version: 6658
installed: true
package: libt1-5
version: 16217
installed: true
package: libgnome-keyring0
version: 1795
installed: true
package: liborbit2
version: 19547
installed: true
package: libgucharmap4
version: 19093
installed: true
package: libgnomevfs2-0
version: 13163
installed: true
package: libgnomeui-0
version: 13134
installed: true
package: libgnome2-0
version: 13131
installed: true
package: libgconf2-4
version: 13137
installed: true
package: libbonoboui2-0
version: 13131
installed: true
package: libbonobo2-0
version: 13131
installed: true
package: gsfonts
version: 17220
installed: true
package: libwmf0.2-7
version: 1153
installed: true
package: librsvg2-2
version: 13134
installed: true
package: libreadline5
version: 16188
installed: true
package: libjpeg62
version: 16706
installed: true
package: libidn11
version: 2316
installed: true
package: libexpat1
version: 10671
installed: true
package: libxrandr2
version: 15806
installed: true
package: libxcursor1
version: 7286
installed: true
package: libgnomeprintui2.2-0
version: 13148
installed: true
package: libgnomeprint2.2-0
version: 13146
installed: true
package: libgnomecanvas2-0
version: 13114
installed: true
package: libart-2.0-2
version: 12220
installed: true
package: abiword-gnome
version: 11929
installed: true
package: abiword-common
version: 11929
installed: true
package: libxrender1
version: 3144
installed: true
package: libxml2
version: 12803
installed: true
package: libxft2
version: 11618
installed: true
package: libpopt0
version: 9220
installed: true
package: libpng12-0
version: 7904
installed: true
package: libperl5.8
version: 16516
installed: true
package: libpango1.0-0
version: 9408
installed: true
package: libgtk2.0-0
version: 12740
installed: true
package: libglib2.0-0
version: 12735
installed: true
package: libglade2-0
version: 19434
installed: true
package: libfribidi0
version: 3976
installed: true
package: libfontconfig1
version: 12083
installed: true
package: libenchant1
version: 7319
installed: true
package: libatk1.0-0
version: 9382
installed: true
package: python
version: 12168
installed: true
package: libncurses5-dev
version: 16375
installed: true
package: libx11-dev
version: 15806
installed: true
package: slang1
version: 8667
installed: true
package: libncurses5
version: 16375
installed: true
package: libgpmg1
version: 10104
installed: true
package: aalib1
version: 8458
installed: true
package: libsdl1.2debian
version: 7891
installed: true
package: perl
version: 16516
installed: true
package: file
version: 16057
installed: true
package: psutils
version: 10033
installed: true
package: bzip2
version: 6658
installed: true
package: libpaper1
version: 7435
installed: true
package: libnet1
version: 7281
installed: true
package: zlib1g
version: 18981
installed: true
package: xlibmesa-glu
version: 15806
installed: true
package: xlibmesa-gl
version: 15806
installed: true
package: libxi6
version: 15806
installed: true
package: libstdc++5
version: 19746
installed: true
package: libsm6
version: 15806
installed: true
package: libice6
version: 15806
installed: true
package: libgcc1
version: 19764
installed: true
package: libfreetype6
version: 11622
installed: true
package: freeglut3
version: 11797
installed: true
package: libxt6
version: 15806
installed: true
package: libxpm4
version: 15806
installed: true
package: libxmu6
version: 15806
installed: true
package: libxext6
version: 15806
installed: true
package: libx11-6
version: 15806
installed: true
package: xlibs
version: 15806
installed: true
package: libc6
version: 12134
installed: true
package: util-linux
version: 13404
installed: true
package: tar
version: 9935
installed: true
package: sysvinit
version: 13978
installed: true
package: sed
version: 15637
installed: true
package: perl-base
version: 16516
installed: true
package: ncurses-bin
version: 16375
installed: true
package: ncurses-base
version: 16375
installed: true
package: mount
version: 13404
installed: true
package: login
version: 19827
installed: true
package: hostname
version: 13464
installed: true
package: gzip
version: 8266
installed: true
package: grep
version: 12561
installed: true
package: findutils
version: 15672
installed: true
package: e2fsprogs
version: 10379
installed: true
package: dpkg
version: 9782
installed: true
package: diff
version: 13141
installed: true
package: debianutils
version: 13161
installed: true
package: coreutils
version: 16311
installed: true
package: bsdutils
version: 19544
installed: true
package: bash
version: 12515
installed: true
package: base-passwd
version: 14898
installed: true
package: base-files
version: 14444
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