Package evaluation to load SatSolver on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-03T18:21:07.561


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


Set-up completed after 0.16s


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

Installing SatSolver...
   Resolving package versions...
   Installed Reexport ──────────────────── v1.2.2
   Installed DataValueInterfaces ───────── v1.0.0
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed TableTraits ───────────────── v1.0.1
   Installed DataAPI ───────────────────── v1.16.0
   Installed Formatting ────────────────── v0.4.3
   Installed Tables ────────────────────── v1.13.0
   Installed OrderedCollections ────────── v2.0.1
   Installed Crayons ───────────────────── v4.1.1
   Installed SatSolver ─────────────────── v0.1.0
   Installed PrettyTables ──────────────── v1.3.1
    Updating `~/.julia/environments/v1.14/Project.toml`
  [19162200] + SatSolver v0.1.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [a8cc5b0e] + Crayons v4.1.1
  [9a962f9c] + DataAPI v1.16.0
  [e2d170a0] + DataValueInterfaces v1.0.0
  [59287772] + Formatting v0.4.3
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [bac558e1] + OrderedCollections v2.0.1
⌅ [08abe8d2] + PrettyTables v1.3.1
  [189a3867] + Reexport v1.2.2
  [19162200] + SatSolver v0.1.0
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.13.0
  [2a0f44e3] + Base64 v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [f489334b] + StyledStrings v1.13.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.25s


################################################################################
# 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 project...
   0.7 s  ✓ DataValueInterfaces
   0.6 s  ✓ Reexport
 113.9 s  ✓ OrderedCollections
   1.1 s  ✓ DataAPI
   0.5 s  ✓ IteratorInterfaceExtensions
   2.6 s  ✓ Crayons
┌ 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
  37.6 s  ✓ Formatting
   0.7 s  ✓ TableTraits
 149.5 s  ✓ Tables
ERROR: LoadError: Creating a new global in closed module `Base` (`##kw_body#pretty_table#4##->###0`) breaks incremental compilation because the side effects will not be permanent.
Stacktrace:
  [1] eval_closure_type(mod::Module, closure_type_name::Symbol, field_names::Core.SimpleVector, field_is_box::Core.SimpleVector)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:96
  [2] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
  [3] eval(m::Module, e::Any)
    @ Core boot.jl:522
  [4] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:745
  [5] eval(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}; macro_world::UInt64, soft_scope::Nothing, opts::@Kwargs{expr_compat_mode::Bool})
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:718 [inlined]
  [6] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
  [7] include(mapexpr::Function, mod::Module, _path::String)
    @ Base Base.jl:326
  [8] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:33
  [9] include(mod::Module, _path::String)
    @ Base Base.jl:325
 [10] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3303
 [11] top-level scope
    @ stdin:5
 [12] eval(m::Module, e::Any)
    @ Core boot.jl:522
 [13] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base loading.jl:3132
 [14] include_string(m::Module, txt::String, fname::String)
    @ Base loading.jl:3142 [inlined]
 [15] exec_options(opts::Base.JLOptions)
    @ Base client.jl:353
 [16] _start()
    @ Base client.jl:596
in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:1
in expression starting at stdin:5
              ✗ PrettyTables
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("08abe8d2-0d0c-5749-adfa-8a2ac140af0d"), "PrettyTables") 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:56
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base loading.jl:2837
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base loading.jl:2685
  [4] macro expansion
    @ loading.jl:2599 [inlined]
  [5] macro expansion
    @ lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base loading.jl:2563
  [7] require(into::Module, mod::Symbol)
    @ Base loading.jl:2539 [inlined]
  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)
    @ Base module.jl:36 [inlined]
  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)
    @ Base module.jl:111
 [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:118
 [11] top-level scope
    @ ~/.julia/packages/SatSolver/PfsvL/src/SatSolver.jl:304
 [12] include(mod::Module, _path::String)
    @ Base Base.jl:325
 [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3303
 [14] top-level scope
    @ stdin:5
 [15] eval(m::Module, e::Any)
    @ Core boot.jl:522
 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base loading.jl:3132
 [17] include_string(m::Module, txt::String, fname::String)
    @ Base loading.jl:3142 [inlined]
 [18] exec_options(opts::Base.JLOptions)
    @ Base client.jl:353
 [19] _start()
    @ Base client.jl:596
in expression starting at /home/pkgeval/.julia/packages/SatSolver/PfsvL/src/SatSolver.jl:1
in expression starting at stdin:5
              ✗ SatSolver
  9 dependencies successfully precompiled in 391 seconds. 7 already precompiled.
  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 422.3s


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

Loading SatSolver...
ERROR: LoadError: Creating a new global in closed module `Base` (`##kw_body#pretty_table#4##->###0`) breaks incremental compilation because the side effects will not be permanent.
Stacktrace:
  [1] eval_closure_type(mod::Module, closure_type_name::Symbol, field_names::Core.SimpleVector, field_is_box::Core.SimpleVector)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:96
  [2] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
  [3] eval(m::Module, e::Any)
    @ Core boot.jl:522
  [4] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:745
  [5] eval(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}; macro_world::UInt64, soft_scope::Nothing, opts::@Kwargs{expr_compat_mode::Bool})
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:718 [inlined]
  [6] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
  [7] include(mapexpr::Function, mod::Module, _path::String)
    @ Base Base.jl:326
  [8] top-level scope
    @ ~/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:33
  [9] include(mod::Module, _path::String)
    @ Base Base.jl:325
 [10] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3303
 [11] top-level scope
    @ stdin:5
 [12] eval(m::Module, e::Any)
    @ Core boot.jl:522
 [13] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base loading.jl:3132
 [14] include_string(m::Module, txt::String, fname::String)
    @ Base loading.jl:3142 [inlined]
 [15] exec_options(opts::Base.JLOptions)
    @ Base client.jl:353
 [16] _start()
    @ Base client.jl:596
in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:1
in expression starting at stdin:5
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("08abe8d2-0d0c-5749-adfa-8a2ac140af0d"), "PrettyTables") 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:56
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base loading.jl:2837
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base loading.jl:2685
  [4] macro expansion
    @ loading.jl:2599 [inlined]
  [5] macro expansion
    @ lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base loading.jl:2563
  [7] require(into::Module, mod::Symbol)
    @ Base loading.jl:2539 [inlined]
  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)
    @ Base module.jl:36 [inlined]
  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)
    @ Base module.jl:111
 [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)
    @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:118
 [11] top-level scope
    @ ~/.julia/packages/SatSolver/PfsvL/src/SatSolver.jl:304
 [12] include(mod::Module, _path::String)
    @ Base Base.jl:325
 [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3303
 [14] top-level scope
    @ stdin:5
 [15] eval(m::Module, e::Any)
    @ Core boot.jl:522
 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base loading.jl:3132
 [17] include_string(m::Module, txt::String, fname::String)
    @ Base loading.jl:3142 [inlined]
 [18] exec_options(opts::Base.JLOptions)
    @ Base client.jl:353
 [19] _start()
    @ Base client.jl:596
in expression starting at /home/pkgeval/.julia/packages/SatSolver/PfsvL/src/SatSolver.jl:1
in expression starting at stdin:5
  2 dependencies had output during precompilation:
┌ SatSolver
│  [Output was shown above]
└  
┌ PrettyTables
│  ERROR: LoadError: Creating a new global in closed module `Base` (`##kw_body#pretty_table#4##->###0`) breaks incremental compilation because the side effects will not be permanent.
│  Stacktrace:
│    [1] eval_closure_type(mod::Module, closure_type_name::Symbol, field_names::Core.SimpleVector, field_is_box::Core.SimpleVector)
│      @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:96
│    [2] top-level scope
│      @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
│    [3] eval(m::Module, e::Any)
│      @ Core boot.jl:522
│    [4] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing)
│      @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:745
│    [5] eval(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}; macro_world::UInt64, soft_scope::Nothing, opts::@Kwargs{expr_compat_mode::Bool})
│      @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:718 [inlined]
│    [6] top-level scope
│      @ ~/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
│    [7] include(mapexpr::Function, mod::Module, _path::String)
│      @ Base Base.jl:326
│    [8] top-level scope
│      @ ~/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:33
│    [9] include(mod::Module, _path::String)
│      @ Base Base.jl:325
│   [10] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3303
│   [11] top-level scope
│      @ stdin:5
│   [12] eval(m::Module, e::Any)
│      @ Core boot.jl:522
│   [13] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
│      @ Base loading.jl:3132
│   [14] include_string(m::Module, txt::String, fname::String)
│      @ Base loading.jl:3142 [inlined]
│   [15] exec_options(opts::Base.JLOptions)
│      @ Base client.jl:353
│   [16] _start()
│      @ Base client.jl:596
│  in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/deprecations.jl:33
│  in expression starting at /home/pkgeval/.julia/packages/PrettyTables/nQZHQ/src/PrettyTables.jl:1
│  in expression starting at stdin:5
└  
ERROR: The following 2 packages failed to precompile:

SatSolver 
Failed to precompile SatSolver [19162200-215e-47cb-8549-eaa9b939e44b] to "/home/pkgeval/.julia/compiled/v1.14/SatSolver/jl_h0oq9W" (ProcessExited(1)).

PrettyTables 
Failed to precompile PrettyTables [08abe8d2-0d0c-5749-adfa-8a2ac140af0d] to "/home/pkgeval/.julia/compiled/v1.14/PrettyTables/jl_7n2pVA" (ProcessExited(1)).


Loading failed after 90.76s

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

Stacktrace:
 [1] pipeline_error(proc::Base.Process)
   @ Base process.jl:612 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base process.jl:525
 [3] run(::Cmd)
   @ Base process.jl:522
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:197
 [5] include(mod::Module, _path::String)
   @ Base Base.jl:325
 [6] exec_options(opts::Base.JLOptions)
   @ Base client.jl:355
 [7] _start()
   @ Base client.jl:596
in expression starting at /PkgEval.jl/scripts/evaluate.jl:188

PkgEval failed after 544.4s: package fails to precompile