HEAD is now at 0e68ffa initial deployement # Checking available version of Java # Java(TM) SE Runtime Environment (build 1.6.0_12-b04) # Running really p2cudf #Solver launched on Mon Jul 05 09:22:58 UTC 2010 #Using input file /home/misc2010/data/2010/easy/rand61b840.cudf #Using ouput file /home/misc2010/tmp/201007050905/p2cudf-trendy-1.6/rand61b840.cudf.easy.result #Objective function trendy #Timeout 280s #java.runtime.name Java(TM) SE Runtime Environment #java.vm.name Java HotSpot(TM) Server VM #java.vm.version 11.2-b01 #java.vm.vendor Sun Microsystems Inc. #sun.arch.data.model 32 #java.version 1.6.0_12 #os.name Linux #os.version 2.6.18-6-xen-amd64 #os.arch i386 #Free memory 721951896 #Max memory 725876736 #Total memory 725876736 #Number of processors 1 #Parsing ... #Time to parse:2223 #Parsing done (2.223s). #Solving ... #Request size: 1665 #Number of packages after slice: 3192 #Slice efficiency: 91% ## Optimization to Pseudo Boolean adapter # Pseudo Boolean Optimization # --- Begin Solver configuration --- # Stops conflict analysis at the first Unique Implication Point # org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1aa57fb # 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 # Expensive reason simplification # Armin Biere (Picosat) restarts strategy # Glucose learned constraints deletion strategy # timeout=280s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: misc 2010, trendy # p cnf 12706 38784 # Current objective function value: 3043740931200(0.9s) # Current objective function value: 3043740908887(1.321s) # Current objective function value: 3043740906099(1.631s) # Current objective function value: 3043740906096(1.811s) # cleaning 2492 clauses out of 4983 with flag 5000/5000 # cleaning 4245 clauses out of 8490 with flag 11001/11001 # Trendy criteria value: -140, -0, -15, -425 # Proof: [AbstractVariable: at-spi, AbstractVariable: avidemux, AbstractVariable: avidemux-plugins, AbstractVariable: baobab, AbstractVariable: brasero, AbstractVariable: brasero-common, AbstractVariable: capplets-data, AbstractVariable: cheese, AbstractVariable: cheese-common, AbstractVariable: dasher, AbstractVariable: dasher-data, AbstractVariable: deskbar-applet, AbstractVariable: eog, AbstractVariable: epiphany-browser, AbstractVariable: epiphany-browser-data, AbstractVariable: evince, AbstractVariable: evolution, AbstractVariable: evolution-data-server, AbstractVariable: evolution-webcal, AbstractVariable: f-spot, AbstractVariable: file-roller, AbstractVariable: gconf-editor, AbstractVariable: gconf2, AbstractVariable: gdm3, AbstractVariable: gecko-mediaplayer, AbstractVariable: gedit, AbstractVariable: gksu, AbstractVariable: gnome-about, AbstractVariable: gnome-accessibility, AbstractVariable: gnome-applets, AbstractVariable: gnome-applets-data, AbstractVariable: gnome-bluetooth, AbstractVariable: gnome-control-center, AbstractVariable: gnome-core, AbstractVariable: gnome-dictionary, AbstractVariable: gnome-keyring, AbstractVariable: gnome-keyring-manager, AbstractVariable: gnome-mag, AbstractVariable: gnome-media, AbstractVariable: gnome-media-common, AbstractVariable: gnome-mplayer, AbstractVariable: gnome-netstatus-applet, AbstractVariable: gnome-orca, AbstractVariable: gnome-panel, AbstractVariable: gnome-panel-data, AbstractVariable: gnome-power-manager, AbstractVariable: gnome-screensaver, AbstractVariable: gnome-screenshot, AbstractVariable: gnome-search-tool, AbstractVariable: gnome-session, AbstractVariable: gnome-session-bin, AbstractVariable: gnome-settings-daemon, AbstractVariable: gnome-system-log, AbstractVariable: gnome-system-monitor, AbstractVariable: gnome-terminal, AbstractVariable: gnome-terminal-data, AbstractVariable: gnome-user-guide, AbstractVariable: gnome-utils, AbstractVariable: gok, AbstractVariable: gstreamer0.10-plugins-bad, AbstractVariable: gstreamer0.10-plugins-good, AbstractVariable: gthumb, AbstractVariable: gthumb-data, AbstractVariable: guake, AbstractVariable: imagemagick, AbstractVariable: inkscape, AbstractVariable: krb5-multidev, AbstractVariable: libbonoboui2-0, AbstractVariable: libbrasero-media0, AbstractVariable: libcurl-ocaml-dev, AbstractVariable: libcurl4-gnutls-dev, AbstractVariable: libflac8, AbstractVariable: libgail-gnome-module, AbstractVariable: libgksu2-0, AbstractVariable: libgnome-media0, AbstractVariable: libgnome-vfs2.0-cil, AbstractVariable: libgnome2-0, AbstractVariable: libgnome2-common, AbstractVariable: libgnome2-perl, AbstractVariable: libgnome2-vfs-perl, AbstractVariable: libgnome2.24-cil, AbstractVariable: libgnomekbd-common, AbstractVariable: libgnomekbd4, AbstractVariable: libgnomeui-0, AbstractVariable: libgnomevfs2-0, AbstractVariable: libgnomevfs2-common, AbstractVariable: libgnomevfs2-extra, AbstractVariable: libgweather-common, AbstractVariable: libgweather1, AbstractVariable: libkrb5-dev, AbstractVariable: libmagick++3, AbstractVariable: libmagickcore3, AbstractVariable: libmagickcore3-extra, AbstractVariable: libmagickwand3, AbstractVariable: libmetacity-private0, AbstractVariable: libmysqlclient16, AbstractVariable: libneon27-gnutls-dev, AbstractVariable: libpanel-applet2-0, AbstractVariable: libpostgresql-ocaml-dev, AbstractVariable: libpq-dev, AbstractVariable: libpstoedit0c2a, AbstractVariable: libpulse-mainloop-glib0, AbstractVariable: libpulse0, AbstractVariable: libqt4-sql-mysql, AbstractVariable: librpm-dev, AbstractVariable: libsndfile1, AbstractVariable: libsqlite3-ocaml, AbstractVariable: libsqlite3-ocaml-dev, AbstractVariable: liferea, AbstractVariable: metacity, AbstractVariable: metacity-common, AbstractVariable: metacity-themes, AbstractVariable: miro, AbstractVariable: mousetweaks, AbstractVariable: mplayer, AbstractVariable: mysql-common, AbstractVariable: nautilus, AbstractVariable: nautilus-data, AbstractVariable: notification-daemon, AbstractVariable: obex-data-server, AbstractVariable: openoffice.org-gnome, AbstractVariable: procmail, AbstractVariable: pstoedit, AbstractVariable: purifyeps, AbstractVariable: python-facebook, AbstractVariable: python-gnome2, AbstractVariable: python-gnomeapplet, AbstractVariable: python-pyatspi, AbstractVariable: reportbug, AbstractVariable: rhythmbox, AbstractVariable: rhythmbox-plugins, AbstractVariable: rss-glx, AbstractVariable: synaptic, AbstractVariable: twolame, AbstractVariable: vlc, AbstractVariable: vlc-nox, AbstractVariable: vlc-plugin-pulse, AbstractVariable: xchat-gnome, AbstractVariable: xchat-gnome-common, AbstractVariable: yelp, AbstractVariable: 21173056, AbstractVariable: 2691004, AbstractVariable: 14927396, AbstractVariable: 28336193, AbstractVariable: 8112281, AbstractVariable: 21010507, AbstractVariable: 18818021, AbstractVariable: 2955420, AbstractVariable: 14137305, AbstractVariable: 6758293, AbstractVariable: 22667604, AbstractVariable: 31056583, AbstractVariable: 26030331, AbstractVariable: 3803825, AbstractVariable: 4387666, AbstractVariable: 9menu, AbstractVariable: a2ps, AbstractVariable: amiwm, AbstractVariable: anthy-common, AbstractVariable: aptitude-doc-fi, AbstractVariable: aspell, AbstractVariable: aspell-br, AbstractVariable: aterm, AbstractVariable: aterm-ml, AbstractVariable: aumix-common, AbstractVariable: aumix-gtk, AbstractVariable: autopoint, AbstractVariable: awesome, AbstractVariable: bcc, AbstractVariable: bcron, AbstractVariable: bin86, AbstractVariable: blt, AbstractVariable: bluez-alsa, AbstractVariable: bluez-cups, AbstractVariable: bluez-gstreamer, AbstractVariable: bzr, AbstractVariable: bzrtools, AbstractVariable: ca-certificates-java, AbstractVariable: cabextract, AbstractVariable: cdcd, AbstractVariable: citadel-server, AbstractVariable: conkeror, AbstractVariable: conkeror-spawn-process-helper, AbstractVariable: cpp-4.1, AbstractVariable: crystalspace-doc, AbstractVariable: db4.6-util, AbstractVariable: debootstrap, AbstractVariable: dkms, AbstractVariable: dmraid, AbstractVariable: dracut, AbstractVariable: dwm, AbstractVariable: dwm-tools, AbstractVariable: e16, AbstractVariable: e16-data, AbstractVariable: elinks, AbstractVariable: elinks-data, AbstractVariable: elks-libc, AbstractVariable: erlang-appmon, AbstractVariable: erlang-asn1, AbstractVariable: erlang-base-hipe, AbstractVariable: erlang-common-test, AbstractVariable: erlang-corba, AbstractVariable: erlang-crypto, AbstractVariable: erlang-debugger, AbstractVariable: erlang-dialyzer, AbstractVariable: erlang-docbuilder, AbstractVariable: erlang-edoc, AbstractVariable: erlang-erl-docgen, AbstractVariable: erlang-et, AbstractVariable: erlang-eunit, AbstractVariable: erlang-gs, AbstractVariable: erlang-ic, AbstractVariable: erlang-inets, AbstractVariable: erlang-inviso, AbstractVariable: erlang-megaco, AbstractVariable: erlang-mnesia, AbstractVariable: erlang-nox, AbstractVariable: erlang-observer, AbstractVariable: erlang-odbc, AbstractVariable: erlang-os-mon, AbstractVariable: erlang-parsetools, AbstractVariable: erlang-percept, AbstractVariable: erlang-pman, AbstractVariable: erlang-public-key, AbstractVariable: erlang-reltool, AbstractVariable: erlang-runtime-tools, AbstractVariable: erlang-snmp, AbstractVariable: erlang-ssh, AbstractVariable: erlang-ssl, AbstractVariable: erlang-syntax-tools, AbstractVariable: erlang-test-server, AbstractVariable: erlang-toolbar, AbstractVariable: erlang-tools, AbstractVariable: erlang-tv, AbstractVariable: erlang-typer, AbstractVariable: erlang-webtool, AbstractVariable: erlang-wx, AbstractVariable: erlang-x11, AbstractVariable: erlang-xmerl, AbstractVariable: esound, AbstractVariable: evince-gtk, AbstractVariable: exo-utils, AbstractVariable: fancontrol, AbstractVariable: festival, AbstractVariable: festival-hi, AbstractVariable: festival-mr, AbstractVariable: festival-te, AbstractVariable: festlex-ifd, AbstractVariable: festvox-hi-nsk, AbstractVariable: festvox-italp16k, AbstractVariable: festvox-itapc16k, AbstractVariable: festvox-mr-nsk, AbstractVariable: festvox-suopuhe-common, AbstractVariable: festvox-suopuhe-lj, AbstractVariable: festvox-suopuhe-mv, AbstractVariable: festvox-te-nsk, AbstractVariable: fetchmail, AbstractVariable: fgetty, AbstractVariable: fglrx-atieventsd, AbstractVariable: fglrx-driver, AbstractVariable: fglrx-glx, AbstractVariable: fglrx-glx-ia32, AbstractVariable: fglrx-source, AbstractVariable: fluxbox, AbstractVariable: flwm, AbstractVariable: fortune-mod, AbstractVariable: fortunes, AbstractVariable: fortunes-debian-hints, AbstractVariable: fortunes-min, AbstractVariable: fortunes-off, AbstractVariable: fvwm, AbstractVariable: fvwm-crystal, AbstractVariable: fvwm-icons, AbstractVariable: gcc-4.1, AbstractVariable: gcc-4.1-base, AbstractVariable: ghostscript-x, AbstractVariable: gnugo, AbstractVariable: gnustep-base-common, AbstractVariable: gnustep-base-runtime, AbstractVariable: gnustep-common, AbstractVariable: graphicsmagick, AbstractVariable: graphicsmagick-imagemagick-compat, AbstractVariable: gsfonts-x11, AbstractVariable: gv, AbstractVariable: habak, AbstractVariable: heimdal-dev, AbstractVariable: heimdal-multidev, AbstractVariable: i3-wm, AbstractVariable: ia32-sun-java6-bin, AbstractVariable: icedtea-6-jre-cacao, AbstractVariable: icewm-common, AbstractVariable: idle-python2.5, AbstractVariable: ipsvd, AbstractVariable: java-common, AbstractVariable: jed-common, AbstractVariable: jed-extra, AbstractVariable: kazehakase, AbstractVariable: kazehakase-gecko, AbstractVariable: kazehakase-webkit, AbstractVariable: kbuild, AbstractVariable: kdelibs5-data, AbstractVariable: kernel-package, AbstractVariable: kterm, AbstractVariable: libaccess-bridge-java, AbstractVariable: libaccess-bridge-java-jni, AbstractVariable: libafterimage0, AbstractVariable: libalgorithm-diff-perl, AbstractVariable: libalgorithm-merge-perl, AbstractVariable: libanthy0, AbstractVariable: libanyevent-i3-perl, AbstractVariable: libanyevent-perl, AbstractVariable: libasn1-8-heimdal, AbstractVariable: libasync-interrupt-perl, AbstractVariable: libatk1-ruby1.8, AbstractVariable: libatm1, AbstractVariable: libattica0, AbstractVariable: libaudio-dev, AbstractVariable: libavahi-compat-libdnssd1, AbstractVariable: libbg1, AbstractVariable: libbg1-doc, AbstractVariable: libcairo-ruby1.8, AbstractVariable: libcitadel2, AbstractVariable: libclucene0ldbl, AbstractVariable: libcommon-sense-perl, AbstractVariable: libcups2-dev, AbstractVariable: libdigest-hmac-perl, AbstractVariable: libdmraid1.0.0.rc16, AbstractVariable: libestools1.2, AbstractVariable: libestraier8, AbstractVariable: libev3, AbstractVariable: libexo-0.3-0, AbstractVariable: libexo-common, AbstractVariable: libfltk1.1, AbstractVariable: libfont-afm-perl, AbstractVariable: libfontconfig1-dev, AbstractVariable: libfreetype6-dev, AbstractVariable: libfsplib0, AbstractVariable: libgdk-pixbuf2-ruby1.8, AbstractVariable: libgl1-mesa-dev, AbstractVariable: libglib2-ruby1.8, AbstractVariable: libglu1-mesa-dev, AbstractVariable: libgnustep-base1.19, AbstractVariable: libgpod-common, AbstractVariable: libgraphicsmagick3, AbstractVariable: libgsasl7, AbstractVariable: libgssapi2-heimdal, AbstractVariable: libgtk2-ruby, AbstractVariable: libgtk2-ruby1.8, AbstractVariable: libhdb9-heimdal, AbstractVariable: libheimntlm0-heimdal, AbstractVariable: libhtml-format-perl, AbstractVariable: libhubbub0, AbstractVariable: libhx509-5-heimdal, AbstractVariable: libice-dev, AbstractVariable: libio-socket-inet6-perl, AbstractVariable: libiodbc2, AbstractVariable: libjpeg62-dev, AbstractVariable: libjs-mootools, AbstractVariable: libjson-perl, AbstractVariable: libjson-xs-perl, AbstractVariable: libkadm5clnt7-heimdal, AbstractVariable: libkadm5srv8-heimdal, AbstractVariable: libkafs0-heimdal, AbstractVariable: libkdecore5, AbstractVariable: libkdeui5, AbstractVariable: libkio5, AbstractVariable: libknewstuff2-4, AbstractVariable: libknewstuff3-4, AbstractVariable: libkrb5-26-heimdal, AbstractVariable: liblcms1-dev, AbstractVariable: libltdl-dev, AbstractVariable: liblwt-ocaml-doc, AbstractVariable: libm17n-0, AbstractVariable: libmail-spf-perl, AbstractVariable: libmath-calc-units-perl, AbstractVariable: libmatrixssl1.8, AbstractVariable: libmng-dev, AbstractVariable: libmpdclient2, AbstractVariable: libnet-dns-perl, AbstractVariable: libnet-ip-perl, AbstractVariable: libnetaddr-ip-perl, AbstractVariable: libnsbmp0, AbstractVariable: libnsgif0, AbstractVariable: libntlm0, AbstractVariable: libobjc2, AbstractVariable: libobparser21, AbstractVariable: libobrender21, AbstractVariable: libonig2, AbstractVariable: libotf0, AbstractVariable: libpango1-ruby1.8, AbstractVariable: libpaper-utils, AbstractVariable: libparserutils0, AbstractVariable: libpng12-dev, AbstractVariable: libpyside0.3, AbstractVariable: libqca2, AbstractVariable: libqdbm14, AbstractVariable: libqglviewer-dev, AbstractVariable: libqglviewer-dev-common, AbstractVariable: libqglviewer-qt3-2, AbstractVariable: libqglviewer-qt3-dev, AbstractVariable: libqt3-compat-headers, AbstractVariable: libqt3-headers, AbstractVariable: libqt3-mt, AbstractVariable: libqt3-mt-dev, AbstractVariable: libqt4-dev, AbstractVariable: libqt4-help, AbstractVariable: libqt4-multimedia, AbstractVariable: libqt4-opengl-dev, AbstractVariable: libqt4-phonon, AbstractVariable: libqt4-scripttools, AbstractVariable: libqt4-sql-sqlite2, AbstractVariable: libqt4-webkit, AbstractVariable: libqt4-xmlpatterns, AbstractVariable: librecode0, AbstractVariable: libroken18-heimdal, AbstractVariable: librplay3, AbstractVariable: libsctp1, AbstractVariable: libset-infinite-perl, AbstractVariable: libshiboken0.3, AbstractVariable: libsieve2-1, AbstractVariable: libslang2-modules, AbstractVariable: libsm-dev, AbstractVariable: libsocket6-perl, AbstractVariable: libsolid4, AbstractVariable: libsoprano4, AbstractVariable: libstreamanalyzer0, AbstractVariable: libstreams0, AbstractVariable: libstroke0, AbstractVariable: libthunar-vfs-1-2, AbstractVariable: libtool, AbstractVariable: libtre5, AbstractVariable: libvisual-0.4-plugins, AbstractVariable: libvncserver0, AbstractVariable: libwind0-heimdal, AbstractVariable: libx11-protocol-perl, AbstractVariable: libxcb-icccm1, AbstractVariable: libxcb-image0, AbstractVariable: libxcb-property1, AbstractVariable: libxcb-randr0, AbstractVariable: libxcb-shape0, AbstractVariable: libxcb-shm0, AbstractVariable: libxcb-xinerama0, AbstractVariable: libxcb-xtest0, AbstractVariable: libxcursor-dev, AbstractVariable: libxdg-basedir1, AbstractVariable: libxext-dev, AbstractVariable: libxfce4menu-0.1-0, AbstractVariable: libxfce4util-bin, AbstractVariable: libxfce4util-common, AbstractVariable: libxfce4util4, AbstractVariable: libxfcegui4-4, AbstractVariable: libxfconf-0-2, AbstractVariable: libxfixes-dev, AbstractVariable: libxft-dev, AbstractVariable: libxi-dev, AbstractVariable: libxinerama-dev, AbstractVariable: libxmu-dev, AbstractVariable: libxmu-headers, AbstractVariable: libxrandr-dev, AbstractVariable: libxrender-dev, AbstractVariable: libxt-dev, AbstractVariable: libyajl1, AbstractVariable: linux-image-2.6.32-5-openvz-amd64, AbstractVariable: linux-image-2.6.32-5-vserver-amd64, AbstractVariable: linux-image-2.6.32-5-xen-amd64, AbstractVariable: lksctp-tools, AbstractVariable: lxsession, AbstractVariable: m17n-contrib, AbstractVariable: m17n-db, AbstractVariable: mdadm, AbstractVariable: mercurial, AbstractVariable: mercurial-common, AbstractVariable: mesa-common-dev, AbstractVariable: midori, AbstractVariable: mlterm, AbstractVariable: mlterm-common, AbstractVariable: mlterm-tools, AbstractVariable: mpc, AbstractVariable: msmtp, AbstractVariable: navit-graphics-qt-qpainter, AbstractVariable: navit-gui-gtk, AbstractVariable: netsurf-framebuffer-common, AbstractVariable: netsurf-gtk, AbstractVariable: netsurf-linuxfb, AbstractVariable: netsurf-sdl, AbstractVariable: netsurf-vnc, AbstractVariable: notify-osd, AbstractVariable: odbcinst, AbstractVariable: odbcinst1debian2, AbstractVariable: openbox, AbstractVariable: openbox-themes, AbstractVariable: openjdk-6-jre-headless, AbstractVariable: openjdk-6-jre-lib, AbstractVariable: openoffice.org-emailmerge, AbstractVariable: openoffice.org-filter-binfilter, AbstractVariable: openssh-server, AbstractVariable: oss-compat, AbstractVariable: perl-tk, AbstractVariable: psutils, AbstractVariable: python-configobj, AbstractVariable: python-crypto, AbstractVariable: python-paramiko, AbstractVariable: python-pyside.qtopengl, AbstractVariable: python-tk, AbstractVariable: python-uno, AbstractVariable: qt3-dev-tools, AbstractVariable: qt4-qmake, AbstractVariable: ratpoison, AbstractVariable: re2c, AbstractVariable: rox-filer, AbstractVariable: roxterm, AbstractVariable: runit, AbstractVariable: rxvt, AbstractVariable: rxvt-ml, AbstractVariable: sbcl, AbstractVariable: scrotwm, AbstractVariable: slsh, AbstractVariable: socklog, AbstractVariable: soprano-daemon, AbstractVariable: spamassassin, AbstractVariable: spamc, AbstractVariable: stalonetray, AbstractVariable: sun-java6-bin, AbstractVariable: sun-java6-jre, AbstractVariable: tango-icon-theme, AbstractVariable: texlive-fonts-recommended-doc, AbstractVariable: texlive-humanities-doc, AbstractVariable: texlive-latex-extra-doc, AbstractVariable: texlive-latex-recommended-doc, AbstractVariable: texlive-pictures-doc, AbstractVariable: texlive-pstricks-doc, AbstractVariable: thunar, AbstractVariable: thunar-data, AbstractVariable: thunar-volman, AbstractVariable: tightvncserver, AbstractVariable: tipa, AbstractVariable: tla, AbstractVariable: tla-doc, AbstractVariable: ttf-bitstream-vera, AbstractVariable: ttf-mscorefonts-installer, AbstractVariable: tzdata-java, AbstractVariable: ucspi-unix, AbstractVariable: ude, AbstractVariable: unixodbc, AbstractVariable: util-vserver, AbstractVariable: uwm, AbstractVariable: virtualbox-ose-guest-source, AbstractVariable: virtualbox-ose-guest-utils, AbstractVariable: virtualbox-ose-guest-x11, AbstractVariable: vnc4server, AbstractVariable: vzctl, AbstractVariable: vzquota, AbstractVariable: wmii, AbstractVariable: wmii-doc, AbstractVariable: wodim, AbstractVariable: x11proto-fixes-dev, AbstractVariable: x11proto-randr-dev, AbstractVariable: x11proto-render-dev, AbstractVariable: x11proto-xext-dev, AbstractVariable: x11proto-xinerama-dev, AbstractVariable: xaw3dg, AbstractVariable: xdg-user-dirs, AbstractVariable: xfce-keyboard-shortcuts, AbstractVariable: xfce4-panel, AbstractVariable: xfce4-session, AbstractVariable: xfce4-settings, AbstractVariable: xfce4-terminal, AbstractVariable: xfce4-utils, AbstractVariable: xfconf, AbstractVariable: xfdesktop4, AbstractVariable: xfdesktop4-data, AbstractVariable: xfonts-terminus, AbstractVariable: xfwm4, AbstractVariable: xfwm4-themes, AbstractVariable: xinput, AbstractVariable: xjed, AbstractVariable: xlockmore, AbstractVariable: xnest, AbstractVariable: xpdf-common, AbstractVariable: zeroinstall-injector] # starts : 40 # conflicts : 13305 # decisions : 204036 # propagations : 14627493 # inspects : 25822798 # learnt literals : 35 # learnt binary clauses : 118 # learnt ternary clauses : 162 # learnt clauses : 13269 # ignored clauses : 0 # root simplifications : 0 # removed literals (reason simplification) : 3793615 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 2 # 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) : 139587.302344667 # non guided choices 33129 # learnt constraints type #Solving done (109.018s). #Solution contains:1906