1.5.0-DEV-6a9a92683d.log

Julia Version 1.5.0-DEV.299
Commit 6a9a92683d (2020-02-20 07:47 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  CPU: Intel(R) Xeon(R) Silver 4114 CPU @ 2.20GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, skylake)
Environment:
  JULIA_DEPOT_PATH = ::/usr/local/share/julia
  JULIA_NUM_THREADS = 2

  Resolving package versions...
  Installed PicoSAT ─ v0.3.2
   Updating `~/.julia/environments/v1.5/Project.toml`
  [ff2beb65] + PicoSAT v0.3.2
   Updating `~/.julia/environments/v1.5/Manifest.toml`
  [ff2beb65] + PicoSAT v0.3.2
  [2a0f44e3] + Base64 
  [8ba89e20] + Distributed 
  [b77e0a4c] + InteractiveUtils 
  [56ddb016] + Logging 
  [d6f4376e] + Markdown 
  [9a3f8284] + Random 
  [9e88b42a] + Serialization 
  [6462fe0b] + Sockets 
  [8dfed614] + Test 
   Building PicoSAT → `~/.julia/packages/PicoSAT/InEq5/deps/build.log`
    Testing PicoSAT
Status `/tmp/jl_7hicls/Manifest.toml`
  [ff2beb65] PicoSAT v0.3.2
  [2a0f44e3] Base64 
  [8ba89e20] Distributed 
  [b77e0a4c] InteractiveUtils 
  [56ddb016] Logging 
  [d6f4376e] Markdown 
  [9a3f8284] Random 
  [9e88b42a] Serialization 
  [6462fe0b] Sockets 
  [8dfed614] Test 
    Testing PicoSAT tests passed