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 16:56:04 CEST 2011 # Using input file /home/misc2010/data/2011/incremental/s-e/rand485.cudf # Using ouput file /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand485.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: 3094 # 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 4045 to 4995 # criteria changed size is 1900 using new vars 4995 to 6895 # p cnf 6894 33782 # Current objective function value: 403(0.222s) # Current objective function value: 390(0.352s) # Current objective function value: 380(0.423s) # Found optimal criterion number 1 # Current objective function value: 582(0.488s) # Current objective function value: 580(0.668s) # Current objective function value: 564(0.756s) # Found optimal solution for the last criterion # -removed criteria value: 380 # Removed packages: [abiword-gnome, amor, ark, artsbuilder, atlantik, atlantikdesigner, bluefish, bug-buddy, capplets, cervisia, dcoprss, dia-common, dia-gnome, eog, epiphany-browser, evolution, eyesapplet, fifteenapplet, file-roller, gcalctool, gconf-editor, gdm, gedit, gimp, gksu, gnome, gnome-about, gnome-applets, gnome-control-center, gnome-core, gnome-cups-manager, gnome-desktop-environment, gnome-games, gnome-gv, gnome-keyring, gnome-media, gnome-nettool, gnome-office, gnome-panel, gnome-session, gnome-system-monitor, gnome-system-tools, gnome-terminal, gnome-themes, gnome-themes-extras, gnome-utils, gnome-volume-manager, gnomemeeting, gnumeric, gpdf, gtk2-engines-crux, gtk2-engines-industrial, gtk2-engines-lighthouseblue, gtk2-engines-mist, gtk2-engines-pixbuf, gtk2-engines-redmond95, gtk2-engines-smooth, gtk2-engines-spherecrystal, gtk2-engines-thinice, gtkhtml3.2, gucharmap, imagemagick, imlib11, inkscape, juk, kaboodle, kaddressbook, kaddressbook-plugins, kalarm, kalzium, kamera, 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, kdeartwork-style, kdeartwork-theme-window, kdebase, kdebase-bin, kdebase-dev, kdebase-kio-plugins, kdeedu, kdegames, kdegraphics, kdegraphics-kfile-plugins, kdelibs, kdelibs-bin, kdelibs4, kdelibs4-dev, kdelirc, kdemultimedia, kdemultimedia-kappfinder-data, kdemultimedia-kfile-plugins, kdemultimedia-kio-plugins, kdenetwork, kdenetwork-filesharing, kdepasswd, kdepim, kdepim-kfile-plugins, kdepim-kio-plugins, kdepim-wizards, kdeprint, kdesdk, kdesdk-kfile-plugins, kdesdk-misc, kdesktop, kdessh, kdetoys, kdeutils, kdevelop3, kdevelop3-data, kdevelop3-plugins, kdewallpapers, kdewebdev, 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, klickety, klines, klinkstatus, klipper, kmahjongg, kmail, kmailcvt, kmenuedit, kmessedwords, kmid, kmilo, kmines, kmix, kmoon, kmplot, kmrml, kmtrace, 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, ksvg, ksync, ksysguard, 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, libarts1-mpeglib, libarts1-xine, libbonoboui2-0, libbonoboui2-dev, libboost-python1.32.0, libcvsservice0, libdps1, libeel2-2, libgail-common, libgail17, libgal2.2-1, libgal2.2-common, libgimp2.0, libgksuui1.0-0, libglade2-0, libglade2-dev, libgnome-desktop-2, libgnome-keyring-dev, libgnome-keyring0, libgnomecanvas2-0, libgnomecanvas2-dev, libgnomecupsui1.0-1, libgnomeprintui2.2-0, libgnomeui-0, libgnomeui-dev, libgtk2.0-0, libgtk2.0-bin, libgtk2.0-dev, libgtkgl2.0-1, libgtkgl2.0-dev, libgtkhtml2-0, libgtkhtml3.2-11, libgtkmm-2.4-1, libgtksourceview1.0-0, libgtkspell-dev, libgtkspell0, libgucharmap4, libkcal2a, libkcddb1, libkdeedu1, libkdegames1, libkdenetwork2, libkdepim1, libkgantt0, libkleopatra0a, libkonq4, libkonq4-dev, libkpimexchange1, libkpimidentities1, libkscan1, libksieve0, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libmagick6, libmetacity0, libnautilus-burn0, libnautilus2-2, libopenh323-1.15.2, libpanel-applet2-0, libpanel-applet2-dev, librss1, librsvg2-2, librsvg2-common, librsvg2-dev, libtiff-tools, libtiff4, libvte4, libwnck4, libxft1, lskat, metacity, mozilla-browser, mozilla-psm, mpeglib, nano, nautilus, nautilus-cd-burner, nautilus-media, netpbm, noatun, noatun-plugins, planner, python-gtk2, python2.3, python2.3-gtk2, python2.3-numeric, quanta, rhythmbox, secpolicy, synaptic, totem, totem-xine, umbrello, vim-gtk, vimpart, vino, xfree86-common, xlibmesa-glu-dev, xlibs, xscreensaver, xscreensaver-gl, xserver-common, yelp, zenity] # -changed criteria value: 564 # Changed packages: [abiword-common, abiword-gnome, amor, apache2-common, apache2-prefork-dev, apache2-utils, ark, artsbuilder, atlantik, atlantikdesigner, bluefish, bug-buddy, capplets, cervisia, cgdb, cimg-dev, coreutils, dcoprss, dia-common, dia-gnome, dia-libs, dpkg, eog, epiphany-browser, evolution, eyesapplet, fifteenapplet, file-roller, fontconfig, fontconfig-config, gcalctool, gcc-4.1-base, gconf-editor, gconf2, gconf2-common, gdm, gedit, gedit-common, ghc-cvs-libsrc, gimp, gksu, gnome, gnome-about, gnome-applets, gnome-control-center, gnome-core, gnome-cups-manager, gnome-desktop-environment, gnome-games, gnome-gv, gnome-keyring, gnome-media, gnome-nettool, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-system-monitor, gnome-system-tools, gnome-terminal, gnome-themes, gnome-themes-extras, gnome-utils, gnome-volume-manager, gnomemeeting, gnumeric, gnumeric-common, gpdf, gstreamer0.8-misc, gtk2-engines-crux, gtk2-engines-industrial, gtk2-engines-lighthouseblue, gtk2-engines-mist, gtk2-engines-pixbuf, gtk2-engines-redmond95, gtk2-engines-smooth, gtk2-engines-spherecrystal, gtk2-engines-thinice, gtkhtml3.2, gucharmap, imagemagick, imlib11, inkscape, juk, kaboodle, kaddressbook, kaddressbook-plugins, kalarm, kalzium, kamera, 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, kdeartwork-style, kdeartwork-theme-window, kdebase, kdebase-bin, kdebase-dev, kdebase-kio-plugins, kdeedu, kdegames, kdegraphics, kdegraphics-kfile-plugins, kdelibs, kdelibs-bin, kdelibs4, kdelibs4-dev, kdelirc, kdemultimedia, kdemultimedia-kappfinder-data, kdemultimedia-kfile-plugins, kdemultimedia-kio-plugins, kdenetwork, kdenetwork-filesharing, kdepasswd, kdepim, kdepim-kfile-plugins, kdepim-kio-plugins, kdepim-wizards, kdeprint, kdesdk, kdesdk-kfile-plugins, kdesdk-misc, kdesktop, kdessh, kdetoys, kdeutils, kdevelop3, kdevelop3-data, kdevelop3-plugins, kdewallpapers, kdewebdev, 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, klickety, klines, klinkstatus, klipper, kmahjongg, kmail, kmailcvt, kmenuedit, kmessedwords, kmid, kmilo, kmines, kmix, kmoon, kmplot, kmrml, kmtrace, 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, ksvg, ksync, ksysguard, 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, libapr0-dev, libarts1-mpeglib, libarts1-xine, libbonoboui2-0, libbonoboui2-dev, libboost-python1.32.0, libc6, libc6-dev, libcairo2, libcairo2-dev, libcvsservice0, libdb4.2-dev, libdb4.4, libdirectfb-0.9-25, libdps1, libdrm2, libeel2-2, libfontconfig1, libfontconfig1-dev, libfontenc-dev, libfontenc1, libfreetype6, libfreetype6-dev, libfs6, libgail-common, libgail17, libgal2.2-1, libgal2.2-common, libgcc1, libgconf2-4, libgconf2-dev, libgcrypt11, libgcrypt11-dev, libgimp2.0, libgksuui1.0-0, libgl1-mesa-dev, libgl1-mesa-dri, libgl1-mesa-glx, libglade2-0, libglade2-dev, libglib2.0-0, libglib2.0-dev, libglu1-mesa, libglu1-mesa-dev, libgnome-desktop-2, libgnome-keyring-dev, libgnome-keyring0, libgnomecanvas2-0, libgnomecanvas2-dev, libgnomecupsui1.0-1, libgnomeprintui2.2-0, libgnomeui-0, libgnomeui-dev, libgpg-error-dev, libgpg-error0, libgstreamer-gconf0.8-0, libgstreamer-plugins0.8-0, libgstreamer0.8-0, libgtk-perl, libgtk2.0-0, libgtk2.0-bin, libgtk2.0-common, libgtk2.0-dev, libgtkgl2.0-1, libgtkgl2.0-dev, libgtkhtml2-0, libgtkhtml3.2-11, libgtkmm-2.4-1, libgtksourceview1.0-0, libgtkspell-dev, libgtkspell0, libgucharmap4, libice-dev, libice6, libidl-dev, libidl0, libkcal2a, libkcddb1, libkdeedu1, libkdegames1, libkdenetwork2, libkdepim1, libkgantt0, libkleopatra0a, libkonq4, libkonq4-dev, libkpimexchange1, libkpimidentities1, libkscan1, libksieve0, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libldap2-dev, libmagick6, libmetacity0, libnautilus-burn0, libnautilus2-2, libncurses5, libncurses5-dev, libncursesw5, libogg-dev, libogg0, liboil0.3, libopenh323-1.15.2, libopenh323-1.18.0, libopensync0, liborbit2, liborbit2-dev, libpanel-applet2-0, libpanel-applet2-dev, libpango1.0-0, libpango1.0-common, libpango1.0-dev, libpng12-0, libpng12-dev, libpopt-dev, libpopt0, libpt-1.10.0, libreadline5, librss1, librsvg2-2, librsvg2-common, librsvg2-dev, libsasl2-2, libsdl1.2debian, libsdl1.2debian-oss, libselinux1, libsepol1, libsm-dev, libsm6, libsqlite3-0, libssl0.9.8, libstdc++6, libsysfs2, libtiff-tools, libtiff4, libtool, libvorbis-dev, libvorbis0a, libvorbisenc2, libvorbisfile3, libvte4, libwavpack0, libwnck4, libx11-6, libx11-data, libx11-dev, libxau-dev, libxau6, libxaw7, libxdmcp-dev, libxdmcp6, libxext-dev, libxext6, libxfont-dev, libxfont1, libxft-dev, libxft1, libxft2, libxi-dev, libxi6, libxkbfile1, libxml2, libxml2-dev, libxmu-dev, libxmu-headers, libxmu6, libxmuu1, libxp6, libxpm4, libxrandr-dev, libxrandr2, libxrender-dev, libxrender1, libxslt1.1, libxss1, libxt-dev, libxt6, libxtrap6, libxtst6, libxv-dev, libxv1, libxxf86dga1, libxxf86vm1, lsb-base, lskat, mesa-common-dev, metacity, mozilla-browser, mozilla-psm, mpeglib, multisync-tools, nano, nautilus, nautilus-cd-burner, nautilus-media, netpbm, noatun, noatun-plugins, ohphone-basic, openssl, planner, privoxy, python, python-cddb, python-gtk2, python-minimal, python-support, python2.3, python2.3-gtk2, python2.3-numeric, python2.4, python2.4-minimal, quanta, readline-common, render-dev, rhythmbox, secpolicy, ssl-cert, synaptic, totem, totem-xine, tzdata, umbrello, vim-gtk, vimpart, vino, x-dev, x11-common, x11proto-core-dev, x11proto-fonts-dev, x11proto-input-dev, x11proto-kb-dev, x11proto-randr-dev, x11proto-render-dev, x11proto-video-dev, x11proto-xext-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, xscreensaver, xscreensaver-gl, xserver-common, xserver-xfree86, xserver-xorg, xserver-xorg-core, xserver-xorg-input-vmmouse, xserver-xorg-video-voodoo, xtrans-dev, xutils, xutils-dev, yelp, zenity] # starts : 7 # conflicts : 186 # decisions : 19500 # propagations : 256375 # inspects : 697885 # shortcuts : 0 # learnt literals : 41 # learnt binary clauses : 20 # learnt ternary clauses : 4 # learnt constraints : 143 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 66 # 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) : 1226674.6411483255 # non guided choices 6158 # learnt constraints type # Solving done (3.337s). # The solution found IS optimal # Solution contains:655