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:58:55 CEST 2011 # Using input file /home/misc2010/data/2011/dudf-random/rand59.cudf # Using ouput file /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand59.cudf.dudf-random.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:2380 # Parsing done (2.383s). # Solving ... # Request size: 1621 # Number of packages after slice: 2051 # Slice efficiency: 95% # --- 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 1572 using new vars 3624 to 5196 # criteria changed size is 1725 using new vars 5196 to 6921 # p cnf 6920 17581 # Current objective function value: 109(0.141s) # Found optimal criterion number 1 # Current objective function value: 136(0.251s) # Current objective function value: 119(0.433s) # Found optimal solution for the last criterion # -removed criteria value: 109 # Removed packages: [default-jdk, default-jre, emacs22, ghostscript, ghostscript-x, gnome-keyring, gnuplot, gnuplot-x11, gs-cjk-resource, hevea, imagemagick, libaccess-bridge-java-jni, libamd2.2.0, libcairo2-dev, libcanberra-gtk-module, libcanberra-gtk0, libcupsimage2, libdirectfb-dev, libegl1-mesa-dev, libgail-common, libgail-dev, libgail18, libgcr0, libgecode19, libgl1-mesa-dev, libglade2-0, libglade2-dev, libglu1-mesa-dev, libgnomecanvas2-0, libgnomecanvas2-dev, libgs8, libgs9, libgtk2.0-0, libgtk2.0-bin, libgtk2.0-dev, libgtkimageview0, libgtkspell-dev, libgtkspell0, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libmagick++2, libmagick++3, libmagickcore2, libmagickcore2-extra, libmagickcore3, libmagickcore3-extra, libmagickwand2, libmagickwand3, libnotify1, libpango1.0-dev, libphonon4, libpstoedit0c2a, libqt4-designer, libqt4-help, libqt4-multimedia, libqt4-opengl, libqt4-qt3support, libqt4-scripttools, libqt4-svg, libqtgui4, librsvg2-2, librsvg2-dev, libsexy2, libtiff4, libumfpack5.4.0, libwmf0.2-7, libwnck22, libwxgtk2.8-0, libx11-dev, libxcb-render-util0-dev, libxcb-render0-dev, libxcb-shm0-dev, libxcb1-dev, libxcomposite-dev, libxcursor-dev, libxdamage-dev, libxdmcp-dev, libxext-dev, libxfixes-dev, libxft-dev, libxi-dev, libxinerama-dev, libxrandr-dev, libxrender-dev, libxt-dev, libxxf86vm-dev, maven-debian-helper, mesa-common-dev, netpbm, notification-daemon, ocaml, openjdk-6-jdk, openjdk-6-jre, perlmagick, policykit-1-gnome, prosper, ps2eps, pstoedit, purifyeps, python-glade2, python-gtk2, python-keyring, python-launchpadlib, python-matplotlib, python-scipy, python-wxgtk2.8, ufraw, ufraw-batch, vim-gtk] # -changed criteria value: 119 # Changed packages: [default-jdk, default-jre, emacs22, ghostscript, ghostscript-x, gnome-keyring, gnuplot, gnuplot-x11, gs-cjk-resource, heroes-data, hevea, ia32-sun-java6-bin, imagemagick, kde-l10n-si, lesstif2-dbg, libaccess-bridge-java-jni, libamd2.2.0, libcairo2-dev, libcanberra-gtk-module, libcanberra-gtk0, libcupsimage2, libdirectfb-dev, libegl1-mesa-dev, libgail-common, libgail-dev, libgail18, libgcr0, libgecode19, libgl1-mesa-dev, libglade2-0, libglade2-dev, libglu1-mesa-dev, libgnomecanvas2-0, libgnomecanvas2-dev, libgs8, libgs9, libgtk2.0-0, libgtk2.0-bin, libgtk2.0-dev, libgtkimageview0, libgtkspell-dev, libgtkspell0, libkdecore5, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libmagick++2, libmagick++3, libmagickcore2, libmagickcore2-extra, libmagickcore3, libmagickcore3-extra, libmagickwand2, libmagickwand3, libnotify1, libpango1.0-dev, libphonon4, libpstoedit0c2a, libqt4-designer, libqt4-help, libqt4-multimedia, libqt4-opengl, libqt4-qt3support, libqt4-scripttools, libqt4-svg, libqtgui4, librsvg2-2, librsvg2-dev, libsexy2, libtiff4, libumfpack5.4.0, libwmf0.2-7, libwnck22, libwxgtk2.8-0, libx11-dev, libxcb-render-util0-dev, libxcb-render0-dev, libxcb-shm0-dev, libxcb1-dev, libxcomposite-dev, libxcursor-dev, libxdamage-dev, libxdmcp-dev, libxext-dev, libxfixes-dev, libxft-dev, libxi-dev, libxinerama-dev, libxrandr-dev, libxrender-dev, libxt-dev, libxxf86vm-dev, maven-debian-helper, mesa-common-dev, netpbm, notification-daemon, ocaml, openjdk-6-jdk, openjdk-6-jre, perlmagick, policykit-1-gnome, prosper, ps2eps, pstoedit, purifyeps, python-glade2, python-gtk2, python-keyring, python-launchpadlib, python-matplotlib, python-scipy, python-wxgtk2.8, squid-langpack, squid3, squid3-common, squid3-dbg, sun-java6-jre, ufraw, ufraw-batch, vim-gtk] # starts : 2 # conflicts : 13 # decisions : 8841 # propagations : 48886 # inspects : 118157 # shortcuts : 0 # learnt literals : 11 # learnt binary clauses : 2 # learnt ternary clauses : 0 # learnt constraints : 2 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 0 # 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) : 1527687.5 # non guided choices 3056 # learnt constraints type # Solving done (2.088s). # The solution found IS optimal # Solution contains:1473