call finished pruning after second prune!

[codecov[bot]]

Codecov Report

Merging #151 into master will decrease coverage by 0.12%. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #151      +/-   ##
==========================================
- Coverage   98.91%   98.79%   -0.13%     
==========================================
  Files          31       31              
  Lines        2405     2405              
==========================================
- Hits         2379     2376       -3     
- Misses         26       29       +3     

Flag	Coverage Δ
#unittests	98.79% <100.00%> (-0.13%)	:arrow_down:

Impacted Files	Coverage Δ
src/ConstraintSolver.jl	99.13% <100.00%> (ø)
src/constraints/less_than.jl	96.87% <0.00%> (-3.13%)	:arrow_down:
src/MOI_wrapper/MOI_wrapper.jl	94.87% <0.00%> (-2.57%)	:arrow_down:

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 4e26924...caa8a29. Read the comment docs.

[codecov[bot]]

Codecov Report

Merging #151 into master will not change coverage. The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master     #151   +/-   ##
=======================================
  Coverage   98.91%   98.91%           
=======================================
  Files          31       31           
  Lines        2405     2405           
=======================================
  Hits         2379     2379           
  Misses         26       26           

Flag	Coverage Δ
#unittests	98.91% <100.00%> (ø)

Impacted Files	Coverage Δ
src/ConstraintSolver.jl	99.13% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 4e26924...caa8a29. Read the comment docs.

[Wikunia]

Benchmark Report for ConstraintSolver

Job Properties

• Time of benchmarks:
  • Target: 6 May 2020 - 17:34
  • Baseline: 6 May 2020 - 17:39
• Package commits:
  • Target: caa8a2
  • Baseline: 4c068d
• Julia commits:
  • Target: 381693
  • Baseline: 381693
• Julia command flags:
  • Target: -O3
  • Baseline: -O3
• Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with :x:), while a ratio less than 1.0 denotes a possible improvement (marked with :white_check_mark:). Only significant results - results that indicate possible regressions or improvements - are shown below (thus, an empty table means that all benchmark results remained invariant between builds).

ID	time ratio	memory ratio
["eternity", "5x5_all"]	1.08 (5%) :x:	1.09 (1%) :x:
["eternity", "6x5"]	1.05 (5%)	1.04 (1%) :x:
["sudoku", "top95_66"]	1.06 (5%) :x:	1.00 (1%)
["sudoku", "top95_91"]	1.06 (5%) :x:	1.00 (1%)

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

• ["eternity"]
• ["killer_sudoku"]
• ["lp"]
• ["sudoku"]

Julia versioninfo

Target

Julia Version 1.4.1
Commit 381693d3df* (2020-04-14 17:20 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.6.8-arch1-1 #1 SMP PREEMPT Wed, 29 Apr 2020 16:22:56 +0000 x86_64 unknown
  CPU: Intel(R) Core(TM) i7-7600U CPU @ 2.80GHz: 
              speed         user         nice          sys         idle          irq
       #1  3857 MHz    1666882 s     386692 s     498145 s    7194303 s     110257 s
       #2  3816 MHz    1628581 s     389551 s     475023 s    2406464 s      25623 s
       #3  3745 MHz    1896833 s     280578 s     479067 s    2335334 s      25392 s
       #4  3893 MHz    1876261 s     259153 s     494150 s    2335476 s      38668 s

  Memory: 15.393684387207031 GB (8419.4921875 MB free)
  Uptime: 192077.0 sec
  Load Avg:  1.15283203125  1.037109375  1.0087890625
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, skylake)

Baseline

Julia Version 1.4.1
Commit 381693d3df* (2020-04-14 17:20 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.6.8-arch1-1 #1 SMP PREEMPT Wed, 29 Apr 2020 16:22:56 +0000 x86_64 unknown
  CPU: Intel(R) Core(TM) i7-7600U CPU @ 2.80GHz: 
              speed         user         nice          sys         idle          irq
       #1  3900 MHz    1678624 s     386692 s     498507 s    7209635 s     110357 s
       #2  3900 MHz    1633750 s     389551 s     475362 s    2428457 s      25651 s
       #3  3901 MHz    1897839 s     280578 s     479533 s    2361382 s      25411 s
       #4  3900 MHz    1888083 s     259153 s     494597 s    2350856 s      38703 s

  Memory: 15.393684387207031 GB (8309.25390625 MB free)
  Uptime: 192354.0 sec
  Load Avg:  1.34423828125  1.2353515625  1.10400390625
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, skylake)