HEAD is now at 2b6ae8b initial deployement # 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:52:35 CEST 2011 # Using input file /home/misc2010/data/2011/incremental/s-e/rand528.cudf # Using ouput file /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand528.cudf.s-e.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:2127 # Parsing done (2.13s). # Solving ... # Request size: 992 # Number of packages after slice: 3090 # Slice efficiency: 91% # --- Begin Solver configuration --- # org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@1feca64 # 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 4041 to 4991 # criteria changed size is 1902 using new vars 4991 to 6893 # p cnf 6892 33751 # Current objective function value: 97(0.237s) # Current objective function value: 83(0.499s) # Current objective function value: 82(0.569s) # Current objective function value: 80(0.591s) # Found optimal criterion number 1 # Current objective function value: 625(0.662s) # Current objective function value: 607(0.767s) # Current objective function value: 590(0.839s) # Current objective function value: 582(0.903s) # Found optimal solution for the last criterion # -removed criteria value: 80 # Removed packages: [abiword-gnome, akode, bug-buddy, capplets, cdrecord, epiphany-browser, gdb, gnome, gnome-applets, gnome-control-center, gnome-core, gnome-desktop-environment, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-system-tools, gnome-terminal, gnupg-agent, juk, kcmlinuz, kde, kde-devel, kde-devel-extras, kdeaddons, kdelibs-bin, kdelibs4, kdelirc, kdemultimedia, kdepim, kdesdk, kdesdk-scripts, kdeutils, kdevelop3-data, kdevelop3-plugins, kleopatra, kmessedwords, kmtrace, knewsticker-scripts, konq-plugins, less, libarts1, libarts1-xine, libbonoboui2-dev, libboost-python1.32.0, libdps1, libenchant1, libglade2-dev, libgnomeui-dev, libjack0.80.0-dev, libkcal2a, libkdeedu1, libkdenetwork2, libkdepim1, libkleopatra0a, liblablgtk2-ocaml-dev, libmagick6, libmimelib1a, libmyspell3, libopenexr2, libpanel-applet2-dev, libqt3c102-mt, libtag1, libxft1, nautilus, nautilus-cd-burner, nautilus-media, openoffice.org, openoffice.org-bin, openoffice.org-debian-files, python, secpolicy, totem, totem-xine, vimpart, xfree86-common, xlibmesa-glu-dev, xlibs, xlibs-static-dev, xserver-common] # -changed criteria value: 582 # Changed packages: [abiword-common, abiword-gnome, akode, amor, ark, arts, artsbuilder, aspell, aspell-hi, atlantik, atlantikdesigner, blinken, bug-buddy, capplets, cdrecord, cervisia, comerr-dev, coreutils, dash, dcoprss, dictionaries-common, eject, epiphany-browser, eyesapplet, fifteenapplet, fontconfig, fontconfig-config, gcc-4.1-base, gdb, gnome, gnome-applets, gnome-control-center, gnome-core, gnome-desktop-environment, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-system-tools, gnome-terminal, gnupg-agent, hspell, iceape-browser, idn, imagemagick, indi, 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-devel, kde-devel-extras, kdeaddons, kdeaddons-kfile-plugins, kdeadmin, kdeadmin-kfile-plugins, kdeartwork-style, kdeartwork-theme-window, kdebase-bin, kdebase-data, kdebase-dev, kdebase-kio-plugins, kdeedu, kdeedu-data, kdegraphics-kfile-plugins, kdelibs, kdelibs-bin, kdelibs-data, kdelibs4, kdelibs4-dev, kdelibs4c2a, kdelirc, kdemultimedia, kdemultimedia-kfile-plugins, kdemultimedia-kio-plugins, kdenetwork-filesharing, kdepasswd, kdepim, kdepim-kfile-plugins, kdepim-kio-plugins, kdepim-kresources, kdepim-wizards, kdeprint, kdesdk, kdesdk-kfile-plugins, kdesdk-misc, kdesdk-scripts, kdesktop, kdessh, kdeutils, kdevelop, kdevelop-data, kdevelop3, kdevelop3-data, kdevelop3-plugins, kdf, kdict, 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, knewsticker-scripts, 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, less, libacl1-dev, libarts1, libarts1-audiofile, libarts1-dev, libarts1-mpeglib, libarts1-xine, libarts1c2a, libartsc0, libartsc0-dev, libasound2, libasound2-dev, libaspell-dev, libaspell15, libatk1.0-0, libatk1.0-dev, libattr1-dev, libavahi-client-dev, libavahi-client3, libavahi-common-data, libavahi-common-dev, libavahi-common3, libavahi-compat-libdnssd1, libavahi-qt3-1, libavahi-qt3-dev, libbluetooth2, libbonoboui2-dev, libboost-dev, libboost-python1.32.0, libboost-python1.33.1, libboost-serialization-dev, libc6, libc6-dev, libcairo2, libcairo2-dev, libcppunit-1.12-0, libcupsys2, libcupsys2-dev, libcupsys2-gnutls10, libcvsservice0, libdb4.3, libdb4.3++c2, libdb4.4, libdbus-1-3, libdbus-1-dev, libdbus-qt-1-1c2, libdirectfb-0.9-25, libdps1, libdrm2, libedit2, libenchant1, libexif12, libflac7, libfontconfig1, libfontconfig1-dev, libfontenc1, libfreetype6, libfreetype6-dev, libfribidi0, libfs6, libgadu3, libgcc1, libgcrypt11, libgcrypt11-dev, libgl1-mesa-dev, libgl1-mesa-dri, libgl1-mesa-glx, libglade2-dev, libglib2.0-0, libglib2.0-dev, libglu1-mesa, libglu1-mesa-dev, libgmp3c2, libgnokii3, libgnomeui-dev, libgnutls13, libgpg-error-dev, libgpg-error0, libgphoto2-2, libgphoto2-port0, libgsmme1c2a, libgtk2.0-0, libgtk2.0-common, libgtk2.0-dev, libhal-storage1, libhal1, libhtml-template-perl, libice-dev, libice6, libidn11, libidn11-dev, libiw28, libjack0.100.0-0, libjack0.100.0-dev, libjack0.80.0-dev, libjasper-1.701-dev, libkadm55, libkcal2a, libkcal2b, libkcddb1, libkdeedu1, libkdeedu3, libkdegames1, libkdenetwork2, libkdepim1, libkdepim1a, libkgantt0, libkiten1, libkleopatra0a, libkleopatra1, libkmime2, libkonq4, libkonq4-dev, libkpimexchange1, libkpimidentities1, libkrb5-dev, libkrb53, libkscan1, libksieve0, libktnef1, liblablgtk2-ocaml-dev, liblockdev1, liblua50, liblua50-dev, liblualib50, liblualib50-dev, libmagick6, libmagick9, libmeanwhile1, libmimelib1a, libmimelib1c2a, libmyspell3, libmyspell3c2, libncurses5, libncurses5-dev, libncursesw5, libogg-dev, libogg0, libopencdk8, libopencdk8-dev, libopenexr-dev, libopenexr2, libopenexr2c2a, libpanel-applet2-dev, libpango1.0-0, libpango1.0-common, libpango1.0-dev, libparse-recdescent-perl, libpisock9, libpng12-0, libpng12-dev, libpoppler0c2, libpoppler0c2-qt, libqt3-headers, libqt3-mt, libqt3-mt-dev, libqt3c102-mt, libraw1394-8, librss1, libsablot0c102, libsasl2-2, libsasl2-dev, libsasl2-modules, libsdl1.2debian, libsdl1.2debian-oss, libselinux1, libsensors3, libsepol1, libsm-dev, libsm6, libsnmp-base, libsnmp9, libsp-gxmlcpp1c2a, libssl0.9.8, libstdc++6, libsysfs2, libtag1, libtag1c2a, libtasn1-3, libtiff4, libtiff4-dev, libtiffxx0c2, libungif4g, libusb-0.1-4, libvorbis-dev, libvorbis0a, libvorbisenc2, libvorbisfile3, libx11-6, libx11-data, libx11-dev, libxau-dev, libxau6, libxaw7, libxcomposite1, libxdamage1, libxdmcp-dev, libxdmcp6, libxext-dev, libxext6, libxfixes-dev, libxfixes3, libxfont1, libxft-dev, libxft1, libxft2, libxi-dev, libxi6, libxinerama-dev, libxinerama1, libxkbfile1, libxml-sablot-perl, libxml2, libxml2-dev, libxmu-dev, libxmu-headers, libxmu6, libxmuu1, libxp6, libxpm4, libxrandr-dev, libxrandr2, libxslt1-dev, libxslt1.1, libxss1, libxt-dev, libxt6, libxtrap6, libxtst6, libxv-dev, libxv1, libxxf86dga1, libxxf86misc1, libxxf86vm1, linux-image-2.6-amd64-etchnhalf, linux-image-2.6.18-6-686, linux-image-2.6.24-etchnhalf.1-amd64, lockfile-progs, logcheck, logtail, lsb-base, lskat, lua50, mesa-common-dev, module-init-tools, mozilla-browser, mozilla-psm, mpeglib, nautilus, nautilus-cd-burner, nautilus-media, noatun, noatun-plugins, openoffice.org, openoffice.org-bin, openoffice.org-debian-files, openssh-blacklist, openssh-client, openssh-server, perl-suid, pinentry-qt, poxml, python, python2.4, qt3-designer, qt3-dev-tools, quanta, quanta-data, secpolicy, ssh, ssss, totem, totem-xine, ttf-dustin, ttf-kochi-mincho, ttf-sjfonts, tzdata, umbrello, unionfs-modules-2.6.18-6-686, vimpart, wireless-tools, x-dev, x11-common, x11proto-core-dev, x11proto-fixes-dev, x11proto-input-dev, x11proto-kb-dev, x11proto-randr-dev, x11proto-video-dev, x11proto-xext-dev, x11proto-xinerama-dev, xbase-clients, xbitmaps, xcursor-themes, 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, xserver-xorg-input-void, xserver-xorg-video-cyrix, xtrans-dev, xutils, xutils-dev, yaird] # starts : 9 # conflicts : 652 # decisions : 42783 # propagations : 625121 # inspects : 1938726 # shortcuts : 0 # learnt literals : 81 # learnt binary clauses : 104 # learnt ternary clauses : 103 # learnt constraints : 569 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 396 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 0 # 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) : 1707980.8743169399 # non guided choices 13233 # learnt constraints type # Solving done (3.745s). # The solution found IS optimal # Solution contains:1041