Bug#751841: /usr/bin/apt-get: Execute external solver... Error! But apt-cudf returns a solution
Package: apt
Version: 1.0.4
Severity: normal
File: /usr/bin/apt-get
Dear Maintainer,
Running apt-get today to upgrade my machine I get this fatal error :
$sudo apt-get --solver aspcud dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
Execute external solver... Done
Done
Execute external solver... Error!
E: Sub-process aspcud returned an error code (1)
However, if I dump the edsp and run aspcud directly using apt-cudf,
I'm able to get a solution. I believe the problem is somewhere on the
apt-get side... I'm not attaching the edsp as I don't think it is
relevant to debug this problem, but I'll be happy to give you any
further details if needed.
pietro
$sudo apt-get --solver dump dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
Execute external solver... Error!
The solver encountered an error of type: ERR_JUST_DUMPING
The following information might help you to understand what is wrong:
I am too dumb, i can just dump!
Please use one of my friends instead!
Failed
E: External solver failed with: I am too dumb, i can just dump!
E: Internal error, Upgrade broke stuff
Git Branch: propagate
$apt-cudf -v -v --solver aspcud /tmp/dump.edsp
(N)StdUtils: Setting Native Architecture to amd64 and Foreign Architectures to amd64,i386
(N)CudfSolver: /usr/bin/aspcud "/tmp/tmp.apt-cudf.jfi6W1b4JL/in-cudf" "/tmp/tmp.apt-cudf.jfi6W1b4JL/out-cudf" "-notuptodate(solution),-count(new)"
(N)CudfSolver:
Constraints : 3423 (Binary: 86.4% Ternary: 8.0% Other: 5.6%)
Variables : 4024 (Eliminated: 0 Frozen: 963)
Tight : Yes
Equivalences : 417485 (Atom=Atom: 203693 Body=Body: 6036 Other: 207756)
Bodies : 13436
Rules : 233819 (1: 230303/230477 2: 28/0 3: 3340/3340 6: 2/2)
Atoms : 208688 (Original: 208661 Auxiliary: 27)
Bounded : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 100.00%)
Executed : 0 (Average: 0.00 Max: 0 Sum: 0 Ratio: 0.00%)
Backjumps : 0 (Average: 0.00 Max: 0 Sum: 0)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Loop : 0 (Average Length: 0.0 Ratio: 0.00%)
Conflict : 0 (Average Length: 0.0 Ratio: 0.00%)
Ternary : 0 (Ratio: 0.00%)
Binary : 0 (Ratio: 0.00%)
Lemmas : 0 (Deleted: 0)
Problems : 2 (Average Length: 0.00 Splits: 0)
Model-Level : 626.5
Restarts : 0
Conflicts : 1 (Analyzed: 0)
Choices : 603
CPU Time : 0.260s
Time : 0.269s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
Calls : 1
Optimization : 7 12
Optimum : yes
Models : 2
OPTIMUM FOUND
in("amd64%3aufraw-batch",4201) in("amd64%3axfce4-clipman-plugin",18158) in("amd6
Answer: 2
Solving...
Reading from /tmp/gringo.outCe095Z
clasp version 3.0.5
Install: 33464
Package: qtcore4-l10n
Version: 4:4.8.6+dfsg-2
Architecture: all
Install: 39135
Package: traceroute
Version: 1:2.0.20-1
Architecture: amd64
[...]
*** Reporter, please consider answering these questions, where appropriate ***
* What led up to the situation?
* What exactly did you do (or not do) that was effective (or
ineffective)?
* What was the outcome of this action?
* What outcome did you expect instead?
*** End of the template - remove these template lines ***
-- Package-specific info:
-- apt-config dump --
APT "";
APT::Architecture "amd64";
APT::Build-Essential "";
APT::Build-Essential:: "build-essential";
APT::Install-Recommends "1";
APT::Install-Suggests "0";
APT::Authentication "";
APT::Authentication::TrustCDROM "true";
APT::NeverAutoRemove "";
APT::NeverAutoRemove:: "^firmware-linux.*";
APT::NeverAutoRemove:: "^linux-firmware$";
APT::NeverAutoRemove:: "^linux-image-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^linux-headers-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^linux-image-extra-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^linux-signed-image-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^kfreebsd-image-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^kfreebsd-headers-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^gnumach-image-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^.*-modules-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^.*-kernel-3\.14-trunk-amd64$";
APT::NeverAutoRemove:: "^linux-backports-modules-.*-3\.14-trunk-amd64$";
APT::VersionedKernelPackages "";
APT::VersionedKernelPackages:: "linux-image";
APT::VersionedKernelPackages:: "linux-headers";
APT::VersionedKernelPackages:: "linux-image-extra";
APT::VersionedKernelPackages:: "linux-signed-image";
APT::VersionedKernelPackages:: "kfreebsd-image";
APT::VersionedKernelPackages:: "kfreebsd-headers";
APT::VersionedKernelPackages:: "gnumach-image";
APT::VersionedKernelPackages:: ".*-modules";
APT::VersionedKernelPackages:: ".*-kernel";
APT::VersionedKernelPackages:: "linux-backports-modules-.*";
APT::VersionedKernelPackages:: "linux-tools";
APT::Never-MarkAuto-Sections "";
APT::Never-MarkAuto-Sections:: "metapackages";
APT::Never-MarkAuto-Sections:: "restricted/metapackages";
APT::Never-MarkAuto-Sections:: "universe/metapackages";
APT::Never-MarkAuto-Sections:: "multiverse/metapackages";
APT::Never-MarkAuto-Sections:: "oldlibs";
APT::Never-MarkAuto-Sections:: "restricted/oldlibs";
APT::Never-MarkAuto-Sections:: "universe/oldlibs";
APT::Never-MarkAuto-Sections:: "multiverse/oldlibs";
APT::Architectures "";
APT::Architectures:: "amd64";
APT::Architectures:: "i386";
APT::Compressor "";
APT::Compressor::. "";
APT::Compressor::.::Name ".";
APT::Compressor::.::Extension "";
APT::Compressor::.::Binary "";
APT::Compressor::.::Cost "1";
APT::Compressor::gzip "";
APT::Compressor::gzip::Name "gzip";
APT::Compressor::gzip::Extension ".gz";
APT::Compressor::gzip::Binary "gzip";
APT::Compressor::gzip::Cost "2";
APT::Compressor::gzip::CompressArg "";
APT::Compressor::gzip::CompressArg:: "-9n";
APT::Compressor::gzip::UncompressArg "";
APT::Compressor::gzip::UncompressArg:: "-d";
APT::Compressor::bzip2 "";
APT::Compressor::bzip2::Name "bzip2";
APT::Compressor::bzip2::Extension ".bz2";
APT::Compressor::bzip2::Binary "bzip2";
APT::Compressor::bzip2::Cost "3";
APT::Compressor::bzip2::CompressArg "";
APT::Compressor::bzip2::CompressArg:: "-9";
APT::Compressor::bzip2::UncompressArg "";
APT::Compressor::bzip2::UncompressArg:: "-d";
APT::Compressor::xz "";
APT::Compressor::xz::Name "xz";
APT::Compressor::xz::Extension ".xz";
APT::Compressor::xz::Binary "xz";
APT::Compressor::xz::Cost "4";
APT::Compressor::xz::CompressArg "";
APT::Compressor::xz::CompressArg:: "-6";
APT::Compressor::xz::UncompressArg "";
APT::Compressor::xz::UncompressArg:: "-d";
APT::Compressor::lzma "";
APT::Compressor::lzma::Name "lzma";
APT::Compressor::lzma::Extension ".lzma";
APT::Compressor::lzma::Binary "xz";
APT::Compressor::lzma::Cost "5";
APT::Compressor::lzma::CompressArg "";
APT::Compressor::lzma::CompressArg:: "--format=lzma";
APT::Compressor::lzma::CompressArg:: "-9";
APT::Compressor::lzma::UncompressArg "";
APT::Compressor::lzma::UncompressArg:: "--format=lzma";
APT::Compressor::lzma::UncompressArg:: "-d";
Dir "/";
Dir::State "var/lib/apt/";
Dir::State::lists "lists/";
Dir::State::cdroms "cdroms.list";
Dir::State::mirrors "mirrors/";
Dir::State::extended_states "extended_states";
Dir::State::status "/var/lib/dpkg/status";
Dir::Cache "var/cache/apt/";
Dir::Cache::archives "archives/";
Dir::Cache::srcpkgcache "srcpkgcache.bin";
Dir::Cache::pkgcache "pkgcache.bin";
Dir::Etc "etc/apt/";
Dir::Etc::sourcelist "sources.list";
Dir::Etc::sourceparts "sources.list.d";
Dir::Etc::vendorlist "vendors.list";
Dir::Etc::vendorparts "vendors.list.d";
Dir::Etc::main "apt.conf";
Dir::Etc::netrc "auth.conf";
Dir::Etc::parts "apt.conf.d";
Dir::Etc::preferences "preferences";
Dir::Etc::preferencesparts "preferences.d";
Dir::Etc::trusted "trusted.gpg";
Dir::Etc::trustedparts "trusted.gpg.d";
Dir::Bin "";
Dir::Bin::methods "/usr/lib/apt/methods";
Dir::Bin::solvers "";
Dir::Bin::solvers:: "/usr/lib/apt/solvers";
Dir::Bin::dpkg "/usr/bin/dpkg";
Dir::Bin::bzip2 "/bin/bzip2";
Dir::Bin::xz "/usr/bin/xz";
Dir::Bin::lzma "/usr/bin/xz";
Dir::Media "";
Dir::Media::MountPath "/media/cdrom";
Dir::Log "var/log/apt";
Dir::Log::Terminal "term.log";
Dir::Log::History "history.log";
Dir::Ignore-Files-Silently "";
Dir::Ignore-Files-Silently:: "~$";
Dir::Ignore-Files-Silently:: "\.disabled$";
Dir::Ignore-Files-Silently:: "\.bak$";
Dir::Ignore-Files-Silently:: "\.dpkg-[a-z]+$";
Dir::Ignore-Files-Silently:: "\.save$";
Dir::Ignore-Files-Silently:: "\.orig$";
Dir::Ignore-Files-Silently:: "\.distUpgrade$";
Acquire "";
Acquire::cdrom "";
Acquire::cdrom::mount "/media/cdrom";
Acquire::Languages "";
Acquire::Languages:: "en";
Acquire::Languages:: "none";
DPkg "";
DPkg::Pre-Invoke "";
DPkg::Pre-Invoke:: "if [ -x /usr/bin/etckeeper ]; then etckeeper pre-install; fi";
DPkg::Post-Invoke "";
DPkg::Post-Invoke:: "if [ -x /usr/bin/etckeeper ]; then etckeeper post-install; fi";
DPkg::Post-Invoke:: "if [ -x /usr/sbin/localepurge ] && [ $(ps w -p $PPID | egrep -c '(remove|purge)') != 1 ]; then /usr/sbin/localepurge; else exit 0; fi";
DPkg::Pre-Install-Pkgs "";
DPkg::Pre-Install-Pkgs:: "/usr/sbin/apt-listbugs apt";
DPkg::Pre-Install-Pkgs:: "/usr/bin/apt-listchanges --apt || test $? -ne 10";
DPkg::Pre-Install-Pkgs:: "/usr/sbin/dpkg-preconfigure --apt || true";
DPkg::Tools "";
DPkg::Tools::Options "";
DPkg::Tools::Options::/usr/sbin/apt-listbugs "";
DPkg::Tools::Options::/usr/sbin/apt-listbugs::Version "3";
DPkg::Tools::Options::/usr/sbin/apt-listbugs::InfoFD "20";
DPkg::Tools::Options::/usr/bin/apt-listchanges "";
DPkg::Tools::Options::/usr/bin/apt-listchanges::Version "2";
DPkg::Progress-Fancy "1";
RPM "";
RPM::Pre-Invoke "";
RPM::Pre-Invoke:: "if [ -x /usr/bin/etckeeper ]; then etckeeper pre-install; fi";
RPM::Post-Invoke "";
RPM::Post-Invoke:: "if [ -x /usr/bin/etckeeper ]; then etckeeper post-install; fi";
AptListbugs "";
AptListbugs::Severities "critical,grave,serious";
CommandLine "";
CommandLine::AsString "apt-config dump";
-- /etc/apt/preferences --
-- /etc/apt/sources.list --
#
deb http://ftp.debian.org/debian/ unstable main non-free contrib
deb http://ftp.debian.org/debian/ testing main non-free contrib
deb http://ftp.debian.org/debian/ experimental main non-free contrib
deb-src http://ftp.fr.debian.org/debian/ sid main non-free contrib
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.14-trunk-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages apt depends on:
ii debian-archive-keyring 2012.4
ii gnupg 1.4.16-1.1
ii libapt-pkg4.12 1.0.4
ii libc6 2.19-1
ii libgcc1 1:4.9.0-6
ii libstdc++6 4.9.0-6
apt recommends no packages.
Versions of packages apt suggests:
pn apt-doc <none>
ii aptitude 0.6.11-1
ii dpkg-dev 1.17.10
ii python-apt 0.9.3.7
-- no debconf information
Reply to: