Package evaluation to load CDCLsat on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T07:47:02.439


################################################################################
# Set-up
#


Set-up completed after 0.08s


################################################################################
# Installation
#

Installing CDCLsat...
   Resolving package versions...
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed Compat ────────────────────── v4.18.1
   Installed IntegerMathUtils ──────────── v0.1.3
   Installed Formatting ────────────────── v0.4.3
   Installed ProgressLogging ───────────── v0.1.5
   Installed DataStructures ────────────── v0.18.22
   Installed Preferences ───────────────── v1.5.0
   Installed Highlights ────────────────── v0.5.3
   Installed DataValueInterfaces ───────── v1.0.0
   Installed DataAPI ───────────────────── v1.16.0
   Installed TableTraits ───────────────── v1.0.1
   Installed PrecompileTools ───────────── v1.3.3
   Installed CodeTracking ──────────────── v1.3.9
   Installed UnPack ────────────────────── v1.0.2
   Installed RomanNumerals ─────────────── v0.3.3
   Installed Parameters ────────────────── v0.12.3
   Installed AbstractTrees ─────────────── v0.4.5
   Installed CDCLsat ───────────────────── v0.1.0
   Installed Primes ────────────────────── v0.5.7
   Installed Tables ────────────────────── v1.12.1
   Installed OrderedCollections ────────── v1.8.1
   Installed DocStringExtensions ───────── v0.9.5
   Installed UnicodeFun ────────────────── v0.4.1
   Installed MyterialColors ────────────── v0.3.0
   Installed Term ──────────────────────── v2.0.7
    Updating `~/.julia/environments/v1.14/Project.toml`
  [b71133ba] + CDCLsat v0.1.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [1520ce14] + AbstractTrees v0.4.5
  [b71133ba] + CDCLsat v0.1.0
⌅ [da1fd8a2] + CodeTracking v1.3.9
  [34da2185] + Compat v4.18.1
  [9a962f9c] + DataAPI v1.16.0
⌅ [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [ffbed154] + DocStringExtensions v0.9.5
  [59287772] + Formatting v0.4.3
  [eafb193a] + Highlights v0.5.3
  [18e54dd8] + IntegerMathUtils v0.1.3
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [1c23619d] + MyterialColors v0.3.0
  [bac558e1] + OrderedCollections v1.8.1
  [d96e819e] + Parameters v0.12.3
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.0
  [27ebfcd6] + Primes v0.5.7
  [33c8b6b6] + ProgressLogging v0.1.5
  [37834d88] + RomanNumerals v0.3.3
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [22787eb5] + Term v2.0.7
  [3a884ed6] + UnPack v1.0.2
  [1cfade01] + UnicodeFun v0.4.1
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [7b1f6079] + FileWatching v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [3fa0cd96] + REPL v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [6462fe0b] + Sockets v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m`

Installation completed after 5.06s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
     Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
    Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
    460.6 ms  ✓ DataValueInterfaces
    516.8 ms  ✓ MyterialColors
    476.0 ms  ✓ IntegerMathUtils
    670.5 ms  ✓ DocStringExtensions
    662.6 ms  ✓ AbstractTrees
    735.2 ms  ✓ OrderedCollections
    535.5 ms  ✓ DataAPI
    499.6 ms  ✓ IteratorInterfaceExtensions
    512.8 ms  ✓ UnPack
    791.7 ms  ✓ ProgressLogging
┌ Warning: DEPRECATION NOTICE
│ 
│ Formatting.jl has been unmaintained for a while, with some serious
│ correctness bugs compromising the original purpose of the package. As a result,
│ it has been deprecated - consider using an alternative, such as
│ `Format.jl` (https://github.com/JuliaString/Format.jl) or the `Printf` stdlib directly.
│ 
│ If you are not using Formatting.jl as a direct dependency, please consider
│ opening an issue on any packages you are using that do use it as a dependency.
│ From Julia 1.9 onwards, you can query `]why Formatting` to figure out which
│ package originally brings it in as a dependency.
└ @ Formatting ~/.julia/packages/Formatting/3VxOt/src/Formatting.jl:12
    731.8 ms  ✓ Formatting
   1940.3 ms  ✓ CodeTracking
    661.1 ms  ✓ Preferences
    668.0 ms  ✓ Compat
   1727.0 ms  ✓ UnicodeFun
    652.0 ms  ✓ Primes
   5708.9 ms  ✓ Highlights
    440.9 ms  ✓ TableTraits
    548.8 ms  ✓ Parameters
    516.1 ms  ✓ PrecompileTools
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("399d05d3-28fc-5cf5-932b-b3ee5b53232d"), "CompatLinearAlgebraExt") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2717
  [3] _require_prelocked(uuidkey::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2576
  [4] _require_prelocked
    @ ./loading.jl:2570 [inlined]
  [5] run_extension_callbacks(extid::Base.ExtensionId)
    @ Base ./loading.jl:1622
  [6] run_extension_callbacks(pkgid::Base.PkgId)
    @ Base ./loading.jl:1659
  [7] run_package_callbacks(modkey::Base.PkgId)
    @ Base ./loading.jl:1475
  [8] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2584
  [9] macro expansion
    @ ./loading.jl:2504 [inlined]
 [10] macro expansion
    @ ./lock.jl:376 [inlined]
 [11] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2468
 [12] require
    @ ./loading.jl:2444 [inlined]
 [13] eval_import_path
    @ ./module.jl:36 [inlined]
 [14] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [15] _eval_using
    @ ./module.jl:137 [inlined]
 [16] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [17] top-level scope
    @ ~/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:9
 [18] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [19] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3148
 [20] top-level scope
    @ stdin:5
 [21] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [22] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [23] include_string
    @ ./loading.jl:3004 [inlined]
 [24] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [25] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:1
in expression starting at stdin:5

  1 dependency had output during precompilation:
┌ Formatting
│  ┌ Warning: DEPRECATION NOTICE
│  │ 
│  │ Formatting.jl has been unmaintained for a while, with some serious
│  │ correctness bugs compromising the original purpose of the package. As a result,
│  │ it has been deprecated - consider using an alternative, such as
│  │ `Format.jl` (https://github.com/JuliaString/Format.jl) or the `Printf` stdlib directly.
│  │ 
│  │ If you are not using Formatting.jl as a direct dependency, please consider
│  │ opening an issue on any packages you are using that do use it as a dependency.
│  │ From Julia 1.9 onwards, you can query `]why Formatting` to figure out which
│  │ package originally brings it in as a dependency.
│  └ @ Formatting ~/.julia/packages/Formatting/3VxOt/src/Formatting.jl:12
└  

Precompilation completed after 25.39s


################################################################################
# Loading
#

Loading CDCLsat...
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("399d05d3-28fc-5cf5-932b-b3ee5b53232d"), "CompatLinearAlgebraExt") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2717
  [3] _require_prelocked(uuidkey::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2576
  [4] _require_prelocked
    @ ./loading.jl:2570 [inlined]
  [5] run_extension_callbacks(extid::Base.ExtensionId)
    @ Base ./loading.jl:1622
  [6] run_extension_callbacks(pkgid::Base.PkgId)
    @ Base ./loading.jl:1659
  [7] run_package_callbacks(modkey::Base.PkgId)
    @ Base ./loading.jl:1475
  [8] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2584
  [9] macro expansion
    @ ./loading.jl:2504 [inlined]
 [10] macro expansion
    @ ./lock.jl:376 [inlined]
 [11] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2468
 [12] require
    @ ./loading.jl:2444 [inlined]
 [13] eval_import_path
    @ ./module.jl:36 [inlined]
 [14] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [15] _eval_using
    @ ./module.jl:137 [inlined]
 [16] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [17] top-level scope
    @ ~/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:9
 [18] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [19] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3148
 [20] top-level scope
    @ stdin:5
 [21] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [22] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [23] include_string
    @ ./loading.jl:3004 [inlined]
 [24] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [25] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:1
in expression starting at stdin:5
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("399d05d3-28fc-5cf5-932b-b3ee5b53232d"), "CompatLinearAlgebraExt") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2717
  [3] _require_prelocked(uuidkey::Base.PkgId, env::Nothing)
    @ Base ./loading.jl:2576
  [4] _require_prelocked
    @ ./loading.jl:2570 [inlined]
  [5] run_extension_callbacks(extid::Base.ExtensionId)
    @ Base ./loading.jl:1622
  [6] run_extension_callbacks(pkgid::Base.PkgId)
    @ Base ./loading.jl:1659
  [7] run_package_callbacks(modkey::Base.PkgId)
    @ Base ./loading.jl:1475
  [8] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2584
  [9] macro expansion
    @ ./loading.jl:2504 [inlined]
 [10] macro expansion
    @ ./lock.jl:376 [inlined]
 [11] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2468
 [12] require
    @ ./loading.jl:2444 [inlined]
 [13] eval_import_path
    @ ./module.jl:36 [inlined]
 [14] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [15] _eval_using
    @ ./module.jl:137 [inlined]
 [16] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [17] top-level scope
    @ ~/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:9
 [18] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [19] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3148
 [20] top-level scope
    @ stdin:5
 [21] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [22] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [23] include_string
    @ ./loading.jl:3004 [inlined]
 [24] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [25] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/DataStructures/IrAJn/src/DataStructures.jl:1
in expression starting at stdin:5

  1 dependency had output during precompilation:
┌ DataStructures
│  [Output was shown above]
└  
ERROR: LoadError: The following 1 package failed to precompile:

DataStructures 
Failed to precompile DataStructures [864edb3b-99cc-5e75-8d2d-829cb0a9cfe8] to "/home/pkgeval/.julia/compiled/v1.14/DataStructures/jl_HQ6QN4" (ProcessExited(1)).

in expression starting at /home/pkgeval/.julia/packages/CDCLsat/ogZRZ/src/CDCLsat.jl:1

Loading failed after 6.65s

ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using CDCLsat'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:611 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:526
 [3] run(::Cmd)
   @ Base ./process.jl:523
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [7] _start()
   @ Base ./client.jl:577
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 54.84s: package fails to precompile