# Checking available version of Java # Java(TM) SE Runtime Environment (build 1.6.0_22-b04) # Running really p2cudf # Solver launched on Thu Aug 25 17:14:22 CEST 2011 # Using input file /home/misc2010/data/2011/incremental/s-e-l-s/rand477.cudf # Using ouput file /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand477.cudf.s-e-l-s.result # Objective function -removed,-changed # Timeout 280s # java.runtime.name Java(TM) SE Runtime Environment # java.vm.name Java HotSpot(TM) Server VM # java.vm.version 17.1-b03 # java.vm.vendor Sun Microsystems Inc. # sun.arch.data.model 32 # java.version 1.6.0_22 # os.name Linux # os.version 2.6.18-6-xen-amd64 # os.arch i386 # Free memory 705643136 # Max memory 709558272 # Total memory 709558272 # Number of processors 1 # Parsing ... # Time to parse:3001 # Parsing done (3.004s). # Solving ... # Request size: 992 # Number of packages after slice: 7964 # Slice efficiency: 90% # --- Begin Solver configuration --- # org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@148cc8c # Learn all clauses as in MiniSAT # claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 # VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function # Simple reason simplification # luby style (SATZ_rand, TiniSAT) restarts strategy with factor 512 # Glucose learned constraints deletion strategy # timeout=280s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: User defined:-removed,-changed # criteria removed size is 950 using new vars 8915 to 9865 # criteria changed size is 3313 using new vars 9865 to 13178 # p cnf 13177 80549 # Current objective function value: 407(0.668s) # Current objective function value: 341(0.912s) # Current objective function value: 340(1.317s) # Current objective function value: 298(1.487s) # Current objective function value: 297(1.923s) # Current objective function value: 124(2.236s) # Current objective function value: 123(2.533s) # Current objective function value: 91(2.747s) # Current objective function value: 90(2.934s) # Current objective function value: 89(3.115s) # Current objective function value: 88(3.271s) # Current objective function value: 87(3.497s) # Current objective function value: 81(3.549s) # Current objective function value: 80(3.617s) # Current objective function value: 78(3.656s) # Current objective function value: 77(3.739s) # Found optimal criterion number 1 # Current objective function value: 1065(3.803s) # Current objective function value: 1038(6.036s) # cleaning 2810 clauses out of 5631 with flag 3000/8074 # Current objective function value: 1019(17.265s) # cleaning 3918 clauses out of 7835 with flag 1001/13130 # Current objective function value: 1018(27.072s) # Current objective function value: 1009(27.186s) # cleaning 7332 clauses out of 14664 with flag 5001/23944 # cleaning 6648 clauses out of 13307 with flag 11000/29943 # cleaning 6823 clauses out of 13654 with flag 18000/36943 # cleaning 7411 clauses out of 14831 with flag 26000/44943 # cleaning 8205 clauses out of 16422 with flag 35002/53945 # cleaning 9098 clauses out of 18219 with flag 45004/63947 # cleaning 10059 clauses out of 20124 with flag 56007/74950 # Current objective function value: 1008(126.307s) # cleaning 11810 clauses out of 23644 with flag 5000/88532 # Current objective function value: 1007(132.501s) # Current objective function value: 1003(132.558s) # Current objective function value: 1002(134.236s) # Current objective function value: 1001(134.407s) # cleaning 9346 clauses out of 18716 with flag 4000/95415 # cleaning 7685 clauses out of 15371 with flag 10001/101416 # cleaning 7331 clauses out of 14685 with flag 17000/108415 # cleaning 7677 clauses out of 15354 with flag 25001/116416 # cleaning 8339 clauses out of 16677 with flag 34001/125416 # cleaning 9166 clauses out of 18337 with flag 44001/135416 # cleaning 10079 clauses out of 20169 with flag 55000/146415 # cleaning 11047 clauses out of 22094 with flag 67004/158419 # cleaning 12024 clauses out of 24049 with flag 80007/171422 # cleaning 12995 clauses out of 26018 with flag 94000/185415 # Solver timed out after 280.131s) # -removed criteria value: 77 # Removed packages: [akode, base-config, capplets, console-common, console-data, file-roller, g++-2.95, gimp, gnome, gnome-desktop-environment, gnome-gv, gnome-office, gnumeric, gs, gs-common, gs-gpl, gsfonts, kcmlinuz, kcontrol, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdebase, kdebase-dev, kdebase-kio-plugins, kdegraphics, kdelibs4, kdepim, kdepim-kio-plugins, kdesktop, kdevelop3-data, kdevelop3-plugins, kghostview, kicker, kicker-applets, kmessedwords, kmilo, knewsticker, konq-plugins, korn, kpersonalizer, ksplash, libarts1, libboost-python1.32.0, libdps1, libenchant1, libjack0.80.0-dev, libjasper-1.701-1, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, libkonq4, libkonq4-dev, libmagick6, libmodplug0, libnautilus2-2, libqt3c102-mt, libstdc++2.10-dev, libwmf0.2-7, libxft1, libxklavier8, linux-kernel-headers, nautilus-media, python2.3, python2.3-gtk2, python2.3-numeric, secpolicy, vimpart, xfree86-common, xlibmesa-glu-dev, xlibs, xserver-common] # -changed criteria value: 1001 # Changed packages: [abiword-common, abiword-gnome, akode, akonadi-server, amor, ark, arts, artsbuilder, atlantik, atlantikdesigner, base-config, binutils, blinken, ca-certificates, capplets, capplets-data, cdrdao, cdrecord, cervisia, cli-common, comerr-dev, console-common, console-data, console-tools, coreutils, dbus, dbus-x11, dcoprss, dia-common, dia-gnome, dia-libs, dpkg, dvd+rw-tools, enlightenment-theme-shinymetal, eyesapplet, fifteenapplet, file-roller, fontconfig, fontconfig-config, g++-2.95, gcc-4.4-base, gconf2, gconf2-common, genisoimage, gimp, gnome, gnome-about, gnome-applets, gnome-applets-data, gnome-cards-data, gnome-control-center, gnome-desktop-data, gnome-desktop-environment, gnome-games, gnome-games-data, gnome-gv, gnome-icon-theme, gnome-menus, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnumeric, gnumeric-common, gnupg, gpgv, gs, gs-common, gs-gpl, gsfonts, gstreamer0.10-alsa, imagemagick, indi, install-info, juk, kaboodle, kaddressbook, kaddressbook-plugins, kalarm, kalzium, kalzium-data, kamera, kanagram, kandy, kappfinder, karm, kasteroids, kate, kate-plugins, katomic, kaudiocreator, kbabel, kbackgammon, kbattleship, kblackbox, kbounce, kbruch, kbugbuster, kcachegrind, kcalc, kcharselect, kcmlinuz, kcoloredit, kcontrol, kcron, kdat, kdbg, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdeaddons-kfile-plugins, kdeadmin, kdeadmin-kfile-plugins, kdeartwork-style, kdeartwork-theme-window, kdebase, kdebase-bin, kdebase-data, kdebase-dev, kdebase-kio-plugins, kdebase-runtime, kdebase-runtime-data, kdeedu, kdeedu-data, kdegraphics, kdegraphics-kfile-plugins, kdelibs, kdelibs-bin, kdelibs-data, kdelibs4, kdelibs4-dev, kdelibs4c2a, kdelibs5-data, kdelibs5-plugins, kdelirc, kdemultimedia, kdemultimedia-kappfinder-data, kdemultimedia-kfile-plugins, kdemultimedia-kio-plugins, kdenetwork, kdenetwork-filesharing, kdepasswd, kdepim, kdepim-kfile-plugins, kdepim-kio-plugins, kdepim-kresources, kdepim-runtime, kdepim-wizards, kdepimlibs-kio-plugins, kdeprint, kdesdk-kfile-plugins, kdesdk-misc, kdesktop, kdessh, kdeutils, kdevelop, kdevelop-data, kdevelop3, kdevelop3-data, kdevelop3-plugins, kdf, kdict, kdoctools, kdvi, kedit, keduca, kenolaba, kfax, kfilereplace, kfind, kfloppy, kfouleggs, kgamma, kget, kghostview, kgoldrunner, kgpg, khangman, khelpcenter, khexedit, kicker, kicker-applets, kiconedit, kig, kimagemapeditor, kitchensync, kiten, kjots, kjumpingcube, klaptopdaemon, klatin, kleopatra, klettres, klettres-data, klickety, klines, klinkstatus, klipper, kmahjongg, kmail, kmailcvt, kmenuedit, kmessedwords, kmid, kmilo, kmines, kmix, kmoon, kmplot, kmrml, kmtrace, knetworkconf, knewsticker, knode, knotes, kodo, kolf, kolourpaint, kommander, kompare, konq-plugins, konqueror, konqueror-nsplugins, konquest, konsole, konsolekalendar, kontact, kooka, kopete, korganizer, korn, kpackage, kpager, kpat, kpdf, kpercentage, kpersonalizer, kpf, kpilot, kpoker, kpovmodeler, kppp, kprof, krdc, krec, kregexpeditor, kreversi, krfb, kruler, ksame, kscd, kscreensaver, kscreensaver-xsavers, kshisen, ksig, ksim, ksirc, ksirtet, ksmiletris, ksmserver, ksnake, ksnapshot, ksokoban, kspaceduel, ksplash, kspy, kstars, kstars-data, ksvg, ksync, ksysguard, ksysguardd, ksysv, kteatime, ktimer, ktip, ktnef, ktouch, ktron, ktuberling, kturtle, ktux, kuickshow, kuiviewer, kuser, kverbos, kview, kviewshell, kvoctrain, kwalletmanager, kweather, kwifimanager, kwin, kwin4, kwordquiz, kworldclock, kxsldbg, liba52-0.7.4, libacl1-dev, libakode2, libakonadi-contact4, libakonadi-kabc4, libakonadi-kcal4, libakonadi-kde4, libakonadi-kmime4, libakonadiprivate1, libarchive1, libart-2.0-2, libart-2.0-dev, libarts1, libarts1-akode, libarts1-audiofile, libarts1-dev, libarts1-mpeglib, libarts1-xine, libarts1c2a, libartsc0, libartsc0-dev, libasound2, libasound2-dev, libasyncns0, libatk1.0-0, libatk1.0-dev, libattica0, libattr1, libattr1-dev, libavahi-client-dev, libavahi-client3, libavahi-common-data, libavahi-common-dev, libavahi-common3, libavahi-compat-libdnssd1, libavahi-glib-dev, libavahi-glib1, libavahi-qt3-1, libavahi-qt3-dev, libavcodec0d, libavcodec52, libavutil49, libbonobo2-0, libbonobo2-common, libbonobo2-dev, libbonoboui2-0, libbonoboui2-common, libbonoboui2-dev, libboost-program-options1.42.0, libboost-python1.32.0, libboost-python1.34.1, libc-bin, libc-dev-bin, libc6, libc6-dev, libcairo2, libcairo2-dev, libcamel1.2-8, libcap2, libclucene0ldbl, libconsole, libcroco3, libcroco3-dev, libcups2, libcups2-dev, libcurl3-gnutls, libcvsservice0, libdatrie1, libdb4.3, libdb4.4, libdb4.6++, libdb4.8, libdbus-1-3, libdbus-1-dev, libdbus-glib-1-2, libdirac-encoder0, libdirectfb-0.9-25, libdps1, libdrm2, libebook1.2-5, libecal1.2-6, libedataserver1.2-7, libedataserverui1.2-6, libedit2, libeel2-2.14, libeggdbus-1-0, libenca0, libenchant1, libenchant1c2a, libexif12, libexiv2-6, libfaad2, libflac8, libfontconfig1, libfontconfig1-dev, libfontenc-dev, libfontenc1, libfreetype6, libfreetype6-dev, libfribidi0, libfs6, libgadu3, libgcc1, libgconf-bridge-dev, libgconf-bridge0, libgconf2-4, libgconf2-dev, libgcrypt11, libgcrypt11-dev, libgdiplus, libgif4, libgl1-mesa-dev, libgl1-mesa-dri, libgl1-mesa-glx, libglade2-0, libglade2-dev, libglib2.0-0, libglib2.0-dev, libglu1-mesa, libglu1-mesa-dev, libgmp3c2, libgnome-desktop-2, libgnome-keyring-dev, libgnome-keyring0, libgnome-menu2, libgnome-window-settings1, libgnome2-0, libgnome2-common, libgnome2-dev, libgnomecanvas2-0, libgnomecanvas2-common, libgnomecanvas2-dev, libgnomecups1.0-1, libgnomeprint2.2-0, libgnomeprint2.2-data, libgnomeprintui2.2-0, libgnomeprintui2.2-common, libgnomeui-0, libgnomeui-common, libgnomeui-dev, libgnomevfs2-0, libgnomevfs2-common, libgnomevfs2-dev, libgnutls13, libgnutls26, libgomp1, libgpg-error-dev, libgpg-error0, libgpgme++2, libgpgme11, libgphoto2-2, libgphoto2-port0, libgsf-1-114, libgsf-1-common, libgsm1, libgssapi-krb5-2, libgstreamer-plugins-base0.10-0, libgstreamer0.10-0, libgtk2.0-0, libgtk2.0-dev, libgtop2-7, libgtop2-common, libhal-storage1, libhal1, libhdf5-serial-1.6.2-0, libhunspell-1.2-0, libical0, libice-dev, libice6, libidl-dev, libidl0, libidn11, libidn11-dev, libilmbase-dev, libilmbase6, libiodbc2, libiw29, libjack0, libjack0.100.0-0, libjack0.100.0-dev, libjack0.80.0-dev, libjasper-1.701-1, libjasper-dev, libjasper1, libk5crypto3, libkabc4, libkadm55, libkcal2a, libkcal2b, libkcal4, libkcddb1, libkde3support4, libkdecore5, libkdeedu1, libkdeedu3, libkdegames1, libkdenetwork2, libkdepim1, libkdepim1a, libkdepim4, libkdesu5, libkdeui5, libkdewebkit5, libkdnssd4, libkeyutils1, libkfile4, libkgantt0, libkholidays4, libkhtml5, libkimap4, libkimproxy4, libkio5, libkiten4, libkjsapi4, libkjsembed4, libkldap4, libkleo4, libkleopatra0a, libkleopatra1, libkmediaplayer4, libkmime4, libknewstuff2-4, libknewstuff3-4, libknotifyconfig4, libkntlm4, libkonq4, libkonq4-dev, libkonq5, libkonq5-templates, libkonqsidebarplugin4a, libkontactinterface4, libkopete4, libkparts4, libkpathsea4, libkpgp4, libkpimexchange1, libkpimidentities1, libkpimidentities4, libkpimtextedit4, libkpimutils4, libkpty4, libkrb5-3, libkrb5-dev, libkrb53, libkrb5support0, libkresources4, libkrosscore4, libkscan1, libksieve0, libksieve4, libktexteditor4, libktnef1, libktnef4, libktorrent1, libkutils4, libkwebkit1, liblcms1, liblcms1-dev, libldap-2.4-2, liblockdev1, liblqr-1-0, libltdl7, liblua50, liblua50-dev, liblualib50, liblualib50-dev, liblzma2, libmad0, libmad0-dev, libmagick6, libmagickcore3, libmagickwand3, libmailtransport4, libmeanwhile1, libmediastreamer0, libmessagecore4, libmessagelist4, libmetacity0, libmicroblog4, libmimelib4, libmng-dev, libmng1, libmodplug0, libmodplug0c2, libmono-accessibility1.0-cil, libmono-accessibility2.0-cil, libmono-bytefx0.7.6.1-cil, libmono-bytefx0.7.6.2-cil, libmono-c5-1.0-cil, libmono-cairo1.0-cil, libmono-cairo2.0-cil, libmono-cecil-private-cil, libmono-cil-dev, libmono-corlib1.0-cil, libmono-corlib2.0-cil, libmono-cscompmgd7.0-cil, libmono-cscompmgd8.0-cil, libmono-data-tds1.0-cil, libmono-data-tds2.0-cil, libmono-data1.0-cil, libmono-data2.0-cil, libmono-db2-1.0-cil, libmono-dev, libmono-getoptions1.0-cil, libmono-getoptions2.0-cil, libmono-i18n-west1.0-cil, libmono-i18n-west2.0-cil, libmono-i18n1.0-cil, libmono-i18n2.0-cil, libmono-ldap1.0-cil, libmono-ldap2.0-cil, libmono-management2.0-cil, libmono-messaging-rabbitmq2.0-cil, libmono-messaging2.0-cil, libmono-microsoft-build2.0-cil, libmono-microsoft7.0-cil, libmono-microsoft8.0-cil, libmono-npgsql1.0-cil, libmono-npgsql2.0-cil, libmono-oracle1.0-cil, libmono-oracle2.0-cil, libmono-peapi1.0-cil, libmono-peapi2.0-cil, libmono-posix1.0-cil, libmono-posix2.0-cil, libmono-rabbitmq2.0-cil, libmono-relaxng1.0-cil, libmono-relaxng2.0-cil, libmono-security1.0-cil, libmono-security2.0-cil, libmono-sharpzip0.6-cil, libmono-sharpzip0.84-cil, libmono-sharpzip2.6-cil, libmono-sharpzip2.84-cil, libmono-simd2.0-cil, libmono-sqlite1.0-cil, libmono-sqlite2.0-cil, libmono-system-data1.0-cil, libmono-system-data2.0-cil, libmono-system-ldap1.0-cil, libmono-system-ldap2.0-cil, libmono-system-messaging1.0-cil, libmono-system-messaging2.0-cil, libmono-system-runtime1.0-cil, libmono-system-runtime2.0-cil, libmono-system-web-mvc1.0-cil, libmono-system-web1.0-cil, libmono-system-web2.0-cil, libmono-system1.0-cil, libmono-system2.0-cil, libmono-wcf3.0-cil, libmono-webbrowser0.5-cil, libmono-winforms1.0-cil, libmono-winforms2.0-cil, libmono0, libmono1.0-cil, libmono2.0-cil, libmsn0.3, libmysqlclient16, libnautilus-burn3, libnautilus-extension1, libnautilus2-2, libncurses5, libncurses5-dev, libncursesw5, libnepomuk4, libnepomukquery4a, libnm-glib-vpn1, libnm-util1, libnotify1, libnspr4-0d, libnss3-0d, libnunit-cil-dev, libnunit2.4-cil, libogg-dev, libogg0, libopencdk8, libopencdk8-dev, libopenexr-dev, libopenexr6, libopenjpeg2, liborbit2, liborbit2-dev, liborc-0.4-0, libortp8, libotr2, libpanel-applet2-0, libpanel-applet2-dev, libpango1.0-0, libpango1.0-common, libpango1.0-dev, libpcre3, libpcre3-dev, libpcrecpp0, libperl5.8, libphonon4, libpisock9, libpixman-1-0, libpixman-1-dev, libplasma3, libpng12-0, libpng12-dev, libpolkit-agent-1-0, libpolkit-gobject-1-0, libpolkit-qt-1-0, libpoppler-qt2, libpoppler0c2, libpoppler3, libpopt-dev, libpopt0, libpostproc0d, libpth20, libpthread-stubs0, libpthread-stubs0-dev, libpulse-mainloop-glib0, libpulse0, libqca2, libqgpgme1, libqimageblitz4, libqt3-headers, libqt3-mt, libqt3-mt-dev, libqt3c102-mt, libqt4-dbus, libqt4-designer, libqt4-network, libqt4-opengl, libqt4-qt3support, libqt4-script, libqt4-sql, libqt4-sql-mysql, libqt4-svg, libqt4-webkit, libqt4-xml, libqt4-xmlpatterns, libqtcore4, libqtgui4, libraptor1, libraptor1-doc, librasqal2, librcc0, librcd0, librdf0, libreadline5, librss1, librsvg2-2, librsvg2-common, librsvg2-dev, libsasl2-2, libsasl2-dev, libsasl2-modules, libschroedinger-1.0-0, libsdl1.2debian, libsdl1.2debian-oss, libselinux1, libselinux1-dev, libsensors3, libsepol1, libsepol1-dev, libsm-dev, libsm6, libsmbclient, libsndfile1, libsnmp-base, libsnmp9, libsolid4, libsoprano4, libspeex1, libspeexdsp1, libsqlite0, libsqlite3-0, libsrtp0, libssh-4, libssl0.9.8, libstdc++2.10-dev, libstdc++6, libstreamanalyzer0, libstreams0, libswscale0, libsysfs2, libtag1-rusxmms, libtag1c2a, libtalloc1, libtasn1-3, libtelepathy-qt4-0, libthai-data, libthai0, libtheora0, libthreadweaver4, libtiff4, libtiff4-dev, libtiffxx0c2, libtotem-plparser1, libucl1, libusb-0.1-4, libutempter0, libuuid1, libv4l-0, libvncserver0, libvorbis-dev, libvorbis0a, libvorbisenc2, libvorbisfile3, libwbclient0, libwmf0.2-7, libwnck18, libx11-6, libx11-data, libx11-dev, libxau-dev, libxau6, libxaw7, libxcb-render-util0, libxcb-render-util0-dev, libxcb-render0, libxcb-render0-dev, libxcb1, libxcb1-dev, libxcomposite-dev, libxcomposite1, libxdamage-dev, libxdamage1, libxdmcp-dev, libxdmcp6, libxext-dev, libxext6, libxfixes-dev, libxfixes3, libxfont-dev, libxfont1, libxft-dev, libxft1, libxft2, libxi-dev, libxi6, libxine1, libxinerama-dev, libxinerama1, libxkbfile1, libxklavier10, libxklavier8, libxml2, libxml2-dev, libxmu-dev, libxmu-headers, libxmu6, libxmuu1, libxp6, libxpm4, libxrandr-dev, libxrandr2, libxres1, libxslt1-dev, libxslt1.1, libxss1, libxt-dev, libxt6, libxtrap6, libxtst6, libxv-dev, libxv1, libxvmc1, libxxf86dga1, libxxf86misc1, libxxf86vm1, libzlcore, libzlcore-dev, linux-kernel-headers, linux-libc-dev, lsb-base, lskat, lua50, mesa-common-dev, metacity-common, mkisofs, mono-1.0-devel, mono-2.0-devel, mono-2.0-gac, mono-apache-server1, mono-devel, mono-gac, mono-gmcs, mono-runtime, mono-xsp-base, mpeglib, mysql-common, mysql-server-core-5.1, nautilus, nautilus-cd-burner, nautilus-data, nautilus-media, noatun, noatun-plugins, okteta, openssh-blacklist, openssh-client, openssh-server, openssl, oss-compat, oxygen-icon-theme, perl, perl-base, perl-modules, phonon, phonon-backend-null, pinentry-qt, planner, plasma-scriptengine-javascript, plasma-scriptengine-superkaramba, poxml, python, python-cairo, python-central, python-glade2, python-gmenu, python-gtk2, python-minimal, python-numeric, python-support, python2.2, python2.2-numarray, python2.2-tables, python2.3, python2.3-gtk2, python2.3-numeric, python2.4, python2.4-minimal, python2.5, python2.5-minimal, qt3-designer, qt3-dev-tools, quanta, quanta-data, readline-common, secpolicy, shared-desktop-ontologies, shared-mime-info, soprano-daemon, ssh, sweeper, tetex-base, tetex-bin, tex-common, texinfo, tla-doc, totem, totem-xine, ttf-dustin, ttf-sazanami-mincho, ttf-sjfonts, ttf-takao-mincho, umbrello, vimpart, virtualbox-ose-guest-utils, wireless-tools, wodim, x-dev, x11-common, x11-xkb-utils, x11-xserver-utils, x11proto-composite-dev, x11proto-core-dev, x11proto-damage-dev, x11proto-fixes-dev, x11proto-fonts-dev, x11proto-input-dev, x11proto-kb-dev, x11proto-randr-dev, x11proto-video-dev, x11proto-xext-dev, x11proto-xinerama-dev, xauth, xbase-clients, xbitmaps, xcursor-themes, xdg-utils, xfonts-100dpi, xfonts-75dpi, xfonts-base, xfonts-encodings, xfonts-scalable, xfonts-utils, xfree86-common, xkb-data-legacy, xlibmesa-dri, xlibmesa-gl, xlibmesa-gl-dev, xlibmesa-glu, xlibmesa-glu-dev, xlibs, xlibs-data, xlibs-static-dev, xserver-common, xserver-xfree86, xserver-xorg, xserver-xorg-core, xtrans-dev, xutils, xutils-dev, zlib1g, zlib1g-dev] # starts : 150 # conflicts : 186873 # decisions : 2143180 # propagations : 569916623 # inspects : 1386739966 # shortcuts : 0 # learnt literals : 345 # learnt binary clauses : 2321 # learnt ternary clauses : 1201 # learnt constraints : 186527 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 262262 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 20 # number of reductions to clauses (during analyze) : 0 # number of learned constraints concerned by reduction : 0 # number of learning phase by resolution : 0 # number of learning phase by cutting planes : 0 # speed (assignments/second) : 3909804.9133542804 # non guided choices 599118 # learnt constraints type # org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1296 # org.sat4j.minisat.constraints.cnf.LearntWLClause => 13185 # Solving done (282.688s). # WARNING: The solution found MIGHT NOT BE optimal # Solution contains:1373