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:24:59 CEST 2011 # Using input file /home/misc2010/data/2011/incremental/s-e-l/rand58.cudf # Using ouput file /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand58.cudf.s-e-l.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:2475 # Parsing done (2.478s). # Solving ... # Request size: 992 # Number of packages after slice: 5425 # 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 6376 to 7326 # criteria changed size is 2536 using new vars 7326 to 9862 # p cnf 9861 55793 # Current objective function value: 433(0.58s) # Current objective function value: 402(0.761s) # Current objective function value: 389(0.876s) # Current objective function value: 384(0.943s) # Current objective function value: 107(1.06s) # Found optimal criterion number 1 # Current objective function value: 411(1.15s) # Current objective function value: 378(1.485s) # Current objective function value: 331(1.599s) # Current objective function value: 330(4.911s) # cleaning 2930 clauses out of 5861 with flag 3001/6310 # cleaning 4465 clauses out of 8930 with flag 9000/12309 # cleaning 5736 clauses out of 11471 with flag 16006/19315 # cleaning 6863 clauses out of 13735 with flag 24006/27315 # cleaning 7934 clauses out of 15873 with flag 33007/36316 # cleaning 8952 clauses out of 17932 with flag 43000/46309 # cleaning 9990 clauses out of 19980 with flag 54000/57309 # cleaning 10993 clauses out of 21990 with flag 66000/69309 # cleaning 11997 clauses out of 23997 with flag 79000/82309 # Current objective function value: 329(117.958s) # cleaning 8695 clauses out of 17434 with flag 5000/87743 # cleaning 7356 clauses out of 14739 with flag 11000/93743 # cleaning 7187 clauses out of 14378 with flag 18000/100743 # cleaning 7593 clauses out of 15191 with flag 26000/108743 # cleaning 8300 clauses out of 16602 with flag 35004/117747 # cleaning 9142 clauses out of 18298 with flag 45000/127743 # Found optimal solution for the last criterion # -removed criteria value: 107 # Removed packages: [abiword-gnome, bluefish, bug-buddy, capplets, capplets-data, dia-gnome, eog, epiphany-browser, evolution, evolution-data-server, file-roller, g++-2.95, gcalctool, gconf-editor, gconf2, gedit, gnome, gnome-about, gnome-applets, gnome-applets-data, gnome-control-center, gnome-core, gnome-cups-manager, gnome-desktop-environment, gnome-games, gnome-gv, gnome-media, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-system-monitor, gnome-system-tools, gnome-terminal, gnome-utils, gnome-volume-manager, gnomemeeting, gnumeric, gpdf, gstreamer0.8-gnomevfs, gtkhtml3.2, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeadmin, kdeartwork, kdebase, kdegames, kdegraphics, kdepasswd, kdesdk, kdewallpapers, kpovmodeler, kspaceduel, libbonoboui2-0, libbonoboui2-dev, libdps1, libebook8, libecal6, libedata-book1, libedata-cal5, libedataserver3, libeel2-2, libegroupwise6, libgal2.2-1, libgal2.2-common, libgconf2-dev, libgnome-desktop-2, libgnome2-0, libgnome2-common, libgnome2-dev, libgnomecupsui1.0-1, libgnomeui-0, libgnomeui-dev, libgnomevfs2-0, libgnomevfs2-common, libgnomevfs2-dev, libgsf-gnome-1, libgtkhtml3.2-11, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libmagick6, libnautilus2-2, libpanel-applet2-0, libpanel-applet2-dev, libstdc++2.10-dev, libxft1, linux-kernel-headers, menu, metacity, nautilus, nautilus-cd-burner, nautilus-media, openoffice.org-l10n-en, planner, rhythmbox, totem, totem-xine, umbrello, vino, xfree86-common, xlibmesa-glu-dev, xlibs, xserver-common, yelp] # -changed criteria value: 329 # Changed packages: [abiword-common, abiword-gnome, binutils, bluefish, bug-buddy, ca-certificates, capplets, capplets-data, dia-gnome, eog, epiphany-browser, evolution, evolution-data-server, file-roller, firebird2-common, fontconfig, fontconfig-config, g++-2.95, gaia, gcalctool, gcc-4.3-base, gconf-editor, gconf2, gconf2-common, gdm, gedit, gedit-common, gnome, gnome-about, gnome-applets, gnome-applets-data, gnome-control-center, gnome-core, gnome-cups-manager, gnome-desktop-environment, gnome-games, gnome-gv, gnome-media, gnome-nettool, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-system-monitor, gnome-system-tools, gnome-terminal, gnome-utils, gnome-volume-manager, gnomemeeting, gnumeric, gnumeric-common, gpdf, gstreamer0.8-gnomevfs, gtkhtml3.2, imagemagick, ironpython, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeadmin, kdeartwork, kdebase, kdegames, kdegraphics, kdepasswd, kdesdk, kdewallpapers, koffice-i18n-fi, kpovmodeler, kspaceduel, libatk1.0-0, libatk1.0-dev, libbonoboui2-0, libbonoboui2-dev, libc6, libc6-dev, libcairo2, libcairo2-dev, libcroco3, libcroco3-dev, libcurl3-gnutls, libdb4.4, libdirectfb-0.9-25, libdmx1, libdps1, libdrm2, libebook8, libecal6, libedata-book1, libedata-cal5, libedataserver3, libeel2-2, libegroupwise6, libexif12, libfbclient1, libfontconfig1, libfontconfig1-dev, libfontenc-dev, libfontenc1, libfreetype6, libfreetype6-dev, libfs6, libgal2.2-1, libgal2.2-common, libgcc1, libgconf2-4, libgconf2-dev, libgcrypt11, libgcrypt11-dev, libgdiplus, 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, libgnome2-0, libgnome2-common, libgnome2-dev, libgnomecanvas2-0, libgnomecanvas2-common, libgnomecanvas2-dev, libgnomecupsui1.0-1, libgnomeui-0, libgnomeui-dev, libgnomevfs2-0, libgnomevfs2-common, libgnomevfs2-dev, libgnutls26, libgpg-error-dev, libgpg-error0, libgps17, libgsf-1-114, libgsf-1-common, libgsf-gnome-1, libgtk2.0-0, libgtk2.0-bin, libgtk2.0-common, libgtk2.0-dev, libgtkhtml3.2-11, libice-dev, libice6, libidl-dev, libidl0, libidn11, libidn11-dev, libkeyutils1, libkrb53, libkwnn-dev, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libldap-2.4-2, libmagick6, libmagick9, libmono-accessibility2.0-cil, libmono-corlib1.0-cil, libmono-corlib2.0-cil, libmono-data-tds2.0-cil, libmono-mozilla0.2-cil, libmono-security2.0-cil, libmono-sharpzip2.84-cil, libmono-sqlite2.0-cil, libmono-system-data2.0-cil, libmono-system-web2.0-cil, libmono-system2.0-cil, libmono-winforms2.0-cil, libmono0, libmono2.0-cil, libnautilus2-2, libncurses5, libncurses5-dev, libofbis-dev, libofbis0, liborbit2, liborbit2-dev, libpanel-applet2-0, libpanel-applet2-dev, libpango1.0-0, libpango1.0-common, libpango1.0-dev, libpcre3, libpcre3-dev, libpcrecpp0, libpng12-0, libpng12-dev, libpopt-dev, libpopt0, librsvg2-2, librsvg2-common, librsvg2-dev, libsasl2-2, libsdl-image1.2, libsdl-mixer1.2, libsdl-net1.2, libsdl1.2debian, libsdl1.2debian-oss, libselinux1, libsm-dev, libsm6, libsmpeg0, libsndfile1, libsqlite0, libsqlite3-0, libssl0.9.8, libstdc++2.10-dev, libstdc++6, libsysfs2, libtasn1-3, libungif4g, libvte-doc, libx11-6, libx11-data, libx11-dev, libxau-dev, libxau6, libxaw7, libxdmcp-dev, libxdmcp6, libxext-dev, libxext6, libxfixes-dev, libxfixes3, libxfont-dev, libxfont1, libxft-dev, libxft1, libxft2, libxi-dev, libxi6, libxinerama-dev, libxinerama1, libxkbfile1, libxml2, libxml2-dev, libxmu-dev, libxmu-headers, libxmu6, libxmuu1, libxp6, libxpm4, libxrandr-dev, libxrandr2, libxslt1.1, libxss1, libxt-dev, libxt6, libxtrap6, libxtst6, libxv-dev, libxv1, libxxf86dga1, libxxf86vm1, libzipios++0c102, linux-kernel-headers, linux-libc-dev, lsb-base, menu, mesa-common-dev, metacity, mono-common, mono-gac, mono-jit, mono-runtime, nautilus, nautilus-cd-burner, nautilus-media, openoffice.org-l10n-en, openoffice.org-l10n-zh-tw, openssl, php5-cgi, php5-common, php5-interbase, planner, rhythmbox, samplerate-programs, totem, totem-xine, umbrello, vino, wesnoth, wesnoth-data, wesnoth-ei, x-dev, x11-common, x11proto-core-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, 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-magictouch, xserver-xorg-video-via, xtrans-dev, xtrkcad, xutils, xutils-dev, yelp] # starts : 104 # conflicts : 137408 # decisions : 671681 # propagations : 470953057 # inspects : 1419294688 # shortcuts : 0 # learnt literals : 186 # learnt binary clauses : 348 # learnt ternary clauses : 141 # learnt constraints : 137220 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 50303 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 15 # 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) : 5582062.807429269 # non guided choices 72757 # learnt constraints type # Solving done (204.655s). # The solution found IS optimal # Solution contains:962