# Solver launched on Mon Sep 03 09:27:08 UTC 2012 # Using input file /home/competition/data/upgrade/easy/rand268.cudf # Using ouput file /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/easy/rand268.cudf.result # Objective function -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) # Timeout 285s # java.runtime.name OpenJDK Runtime Environment # java.vm.name OpenJDK 64-Bit Server VM # java.vm.version 20.0-b12 # java.vm.vendor Sun Microsystems Inc. # sun.arch.data.model 64 # java.version 1.6.0_24 # os.name Linux # os.version 2.6.32-5-amd64 # os.arch amd64 # Free memory 655262992 # Max memory 658898944 # Total memory 658898944 # Number of processors 1 # Parsing ... # Time to parse:3647 # Parsing done (3.651s). # Solving ... # Request size: 1012 # Number of packages after slice: 5268 # Slice efficiency: 90% # --- Begin Solver configuration --- # org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@182d9c06 # 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 2 learned constraints deletion strategy # timeout=285s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: User defined:-sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) # criteria sum(changed,installedsize) size is 0 # criteria removed size is 950 using new vars 6219 to 7169 Skipping unknown criteria:-notuptodate() # criteria notuptodate() size is 950 using new vars 7169 to 7169 # criteria changed size is 5267 using new vars 7169 to 7169 # p cnf 7168 46502 # Found optimal criterion number 1 # Current objective function value: 40(0.239s) # Current objective function value: 61(0.463s) # Current objective function value: 50(0.532s) # Current objective function value: 49(0.669s) # Current objective function value: 48(0.705s) # Current objective function value: 46(0.726s) # Current objective function value: 40(0.773s) # Found optimal criterion number 2 # Current objective function value: 40(0.798s) # Found optimal criterion number 3 # Current objective function value: 165(0.83s) # Current objective function value: 94(0.867s) # Current objective function value: 90(0.891s) # Current objective function value: 89(0.912s) # Current objective function value: 88(0.929s) # Found optimal solution for the last criterion # -sum(changed,installedsize) criteria value: 0 # -removed criteria value: 40 # Removed packages: [capplets, enscript, gdm, gnome, gnome-applets, gnome-control-center, gnome-core, gnome-desktop-environment, gnome-games, gnome-office, gnome-panel, gnome-panel-data, gnome-session, gnome-terminal, gnome-themes-extras, gnome-volume-manager, gstreamer0.8-plugin-apps, gstreamer0.8-tools, gtk2-engines-spherecrystal, hal, kde, kde-amusements, kde-core, kde-devel, kde-devel-extras, kdeaddons, kdebase, kdeprint, liblablgtk2-ocaml, liblablgtk2-ocaml-dev, libnautilus2-2, librsvg2-2, librsvg2-common, librsvg2-dev, libsvga1, nautilus, nautilus-cd-burner, nautilus-media, noatun-plugins, udev] # -changed criteria value: 88 # Changed packages: [-binutils 13428, binutils 13482, -capplets 19349, comerr-dev 11385, cpp-4.1 15475, -enscript 9054, gcc-4.1 15475, gcc-4.1-base 15475, -gdm 12586, gnat-4.1 15476, gnat-4.1-base 15476, -gnome 17322, -gnome-applets 13017, -gnome-control-center 19349, -gnome-core 17322, -gnome-desktop-environment 17322, -gnome-games 19350, -gnome-office 17322, -gnome-panel 13021, -gnome-panel-data 13021, -gnome-session 13005, -gnome-terminal 13016, -gnome-themes-extras 3051, -gnome-volume-manager 7583, -gstreamer0.8-plugin-apps 3206, -gstreamer0.8-tools 3218, -gtk2-engines-spherecrystal 2714, h5utils 9642, -hal 1907, -kde 20441, -kde-amusements 20441, -kde-core 20441, -kde-devel 20441, -kde-devel-extras 20442, -kdeaddons 20303, -kdebase 20297, -kdeprint 20297, -libc6 12041, libc6 12096, -libc6-dev 12041, libc6-dev 12096, -libgcc1 19603, libgcc1 19690, libgnadeodbc-dev 8997, libgnadeodbc1.6 8997, libgnadepostgresql-dev 8997, libgnadepostgresql1.6 8997, libgnat-4.1 15476, libgnatprj4.1 15476, libgnatvsn4.1 15476, libhdf4g 15446, libhdf5-mpich-1.6.5-0 9061, libkadm55 8532, libkrb5-dev 8532, -libkrb53 8214, libkrb53 8532, -liblablgtk2-ocaml 12219, -liblablgtk2-ocaml-dev 12219, libltdl3 8906, libmatheval1 7205, -libnautilus2-2 13016, -libncurses5 16224, libncurses5 16275, -libncurses5-dev 16224, libncurses5-dev 16275, libpq-dev 16994, libpq4 16994, -libreadline5 16038, libreadline5 16149, -librsvg2-2 13002, -librsvg2-common 13002, -librsvg2-dev 13002, libssl0.9.8 3647, libssp0 15475, -libsvga1 18940, locales-all 12096, -nautilus 13016, -nautilus-cd-burner 13055, -nautilus-media 3056, -noatun-plugins 20303, odbcinst1debian1 11874, openoffice.org-l10n-ml-in 19269, readline-common 16149, scite 10455, tzdata 17611, -udev 5141, unixodbc 11874, xlaby 10984] # starts : 15 # conflicts : 792 # decisions : 59015 # propagations : 502834 # inspects : 2166276 # shortcuts : 0 # learnt literals : 8 # learnt binary clauses : 58 # learnt ternary clauses : 14 # learnt constraints : 781 # ignored constraints : 0 # root simplifications : 0 # removed literals (reason simplification) : 12940 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 0 # Number of update (reduction) of LBD : 39 # 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) : 417289.62655601656 # non guided choices 32993 # learnt constraints type # Solving done (3.753s). # The solution found IS optimal # Solution contains:942