Package evaluation of OptimalBranchingMIS on Julia 1.13.0-DEV.868 (f2a8e18a98*) started at 2025-07-16T02:24:28.441


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 10.57s


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

Installing OptimalBranchingMIS...
   Resolving package versions...
   Installed Libuuid_jll ───────────────── v2.41.0+0
   Installed libass_jll ────────────────── v0.15.2+0
   Installed Bzip2_jll ─────────────────── v1.0.9+0
   Installed MKL_jll ───────────────────── v2025.0.1+1
   Installed libaom_jll ────────────────── v3.11.0+0
   Installed HarfBuzz_jll ──────────────── v8.5.1+0
   Installed Collects ──────────────────── v1.0.0
   Installed HiGHS ─────────────────────── v1.18.1
   Installed Cairo_jll ─────────────────── v1.18.5+0
   Installed SIMDTypes ─────────────────── v0.1.0
   Installed Libtiff_jll ───────────────── v4.7.1+0
   Installed Graphite2_jll ─────────────── v1.3.15+0
   Installed ArgCheck ──────────────────── v2.5.0
   Installed OrderedCollections ────────── v1.8.1
   Installed Fontconfig_jll ────────────── v2.16.0+0
   Installed BitBasis ──────────────────── v0.9.10
   Installed OpenSpecFun_jll ───────────── v0.5.6+0
   Installed NaNMath ───────────────────── v1.1.3
   Installed Librsvg_jll ───────────────── v2.54.7+0
   Installed Graphics ──────────────────── v1.1.3
   Installed FileIO ────────────────────── v1.17.0
   Installed CliqueTrees ───────────────── v1.7.4
   Installed Ogg_jll ───────────────────── v1.3.6+0
   Installed Opus_jll ──────────────────── v1.5.2+0
   Installed Xorg_libxcb_jll ───────────── v1.17.1+0
   Installed Tables ────────────────────── v1.12.1
   Installed FixedSizeArrays ───────────── v1.0.1
   Installed LZO_jll ───────────────────── v2.10.3+0
   Installed Reexport ──────────────────── v1.2.2
   Installed LERC_jll ──────────────────── v4.0.1+0
   Installed Missings ──────────────────── v1.2.0
   Installed FFMPEG ────────────────────── v0.4.2
   Installed TableTraits ───────────────── v1.0.1
   Installed Preferences ───────────────── v1.4.3
   Installed Rsvg ──────────────────────── v1.0.0
   Installed Polynomials ───────────────── v4.1.0
   Installed LLVMOpenMP_jll ────────────── v18.1.8+0
   Installed LaTeXStrings ──────────────── v1.4.0
   Installed SortingAlgorithms ─────────── v1.2.1
   Installed Crayons ───────────────────── v4.1.1
   Installed Inflate ───────────────────── v0.1.5
   Installed MacroTools ────────────────── v0.5.16
   Installed DataStructures ────────────── v0.18.22
   Installed MLStyle ───────────────────── v0.4.17
   Installed DiffResults ───────────────── v1.1.0
   Installed OMEinsum ──────────────────── v0.8.8
   Installed AbstractTrees ─────────────── v0.4.5
   Installed FillArrays ────────────────── v1.13.0
   Installed DelimitedFiles ────────────── v1.9.1
   Installed x264_jll ──────────────────── v2021.5.5+0
   Installed Xorg_libXau_jll ───────────── v1.0.13+0
   Installed oneTBB_jll ────────────────── v2022.0.0+0
   Installed ArnoldiMethod ─────────────── v0.4.0
   Installed CodecZlib ─────────────────── v0.7.8
   Installed StatsBase ─────────────────── v0.34.5
   Installed IntelOpenMP_jll ───────────── v2025.0.4+0
   Installed DataValueInterfaces ───────── v1.0.0
   Installed Libffi_jll ────────────────── v3.4.7+0
   Installed CommonSubexpressions ──────── v0.3.1
   Installed Pixman_jll ────────────────── v0.44.2+0
   Installed Cairo ─────────────────────── v1.1.1
   Installed Expat_jll ─────────────────── v2.6.5+0
   Installed IrrationalConstants ───────── v0.2.4
   Installed libpng_jll ────────────────── v1.6.50+0
   Installed EliminateGraphs ───────────── v0.2.1
   Installed IntegerMathUtils ──────────── v0.1.3
   Installed SimpleTraits ──────────────── v0.9.4
   Installed libfdk_aac_jll ────────────── v2.0.4+0
   Installed GenericTensorNetworks ─────── v4.0.1
   Installed FFMPEG_jll ────────────────── v4.4.4+1
   Installed Setfield ──────────────────── v1.1.2
   Installed AliasTables ───────────────── v1.1.3
   Installed DocStringExtensions ───────── v0.9.5
   Installed BenchmarkTools ────────────── v1.6.0
   Installed ForwardDiff ───────────────── v1.0.1
   Installed BatchedRoutines ───────────── v0.2.2
   Installed Combinatorics ─────────────── v1.0.3
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed RecipesBase ───────────────── v1.3.4
   Installed PolygonAlgorithms ─────────── v0.3.2
   Installed DataAPI ───────────────────── v1.16.0
   Installed StaticArraysCore ──────────── v1.4.3
   Installed AbstractFFTs ──────────────── v1.5.0
   Installed ColorTypes ────────────────── v0.12.1
   Installed Colors ────────────────────── v0.13.1
   Installed StaticArrays ──────────────── v1.9.13
   Installed Requires ──────────────────── v1.3.1
   Installed Glib_jll ──────────────────── v2.84.3+0
   Installed StringManipulation ────────── v0.4.1
   Installed LogExpFunctions ───────────── v0.3.29
   Installed MathOptInterface ──────────── v1.42.0
   Installed DiffRules ─────────────────── v1.15.1
   Installed JSON ──────────────────────── v0.21.4
   Installed PrettyTables ──────────────── v2.4.0
   Installed Parsers ───────────────────── v2.8.3
   Installed LuxorGraphPlot ────────────── v0.5.1
   Installed OptimalBranchingCore ──────── v0.1.5
   Installed TreeWidthSolver ───────────── v0.3.5
   Installed JuMP ──────────────────────── v1.26.0
   Installed Xorg_libXdmcp_jll ─────────── v1.1.6+0
   Installed JLLWrappers ───────────────── v1.7.0
   Installed XZ_jll ────────────────────── v5.8.1+0
   Installed Primes ────────────────────── v0.5.7
   Installed x265_jll ──────────────────── v3.5.0+0
   Installed MutableArithmetics ────────── v1.6.4
   Installed Pango_jll ─────────────────── v1.56.3+0
   Installed Xorg_xtrans_jll ───────────── v1.6.0+0
   Installed StructTypes ───────────────── v1.11.0
   Installed JpegTurbo_jll ─────────────── v3.1.1+0
   Installed ConstructionBase ──────────── v1.6.0
   Installed Graphs ────────────────────── v1.13.0
   Installed Libmount_jll ──────────────── v2.41.0+0
   Installed Compat ────────────────────── v4.17.0
   Installed Xorg_libX11_jll ───────────── v1.8.12+0
   Installed OMEinsumContractionOrders ─── v0.9.11
   Installed Suppressor ────────────────── v0.2.8
   Installed TranscodingStreams ────────── v0.11.3
   Installed Statistics ────────────────── v1.11.1
   Installed StatsAPI ──────────────────── v1.7.1
   Installed GettextRuntime_jll ────────── v0.22.4+0
   Installed CodecBzip2 ────────────────── v0.8.5
   Installed JSON3 ─────────────────────── v1.14.3
   Installed TupleTools ────────────────── v1.6.0
   Installed PrecompileTools ───────────── v1.3.2
   Installed ChainRulesCore ────────────── v1.25.2
   Installed FriBidi_jll ───────────────── v1.0.17+0
   Installed LAME_jll ──────────────────── v3.100.3+0
   Installed Xorg_libXrender_jll ───────── v0.9.12+0
   Installed libvorbis_jll ─────────────── v1.3.8+0
   Installed XML2_jll ──────────────────── v2.13.6+1
   Installed PtrArrays ─────────────────── v1.3.0
   Installed TropicalNumbers ───────────── v0.6.3
   Installed gdk_pixbuf_jll ────────────── v2.42.13+0
   Installed FixedPointNumbers ─────────── v0.8.5
   Installed FreeType2_jll ─────────────── v2.13.4+0
   Installed SpecialFunctions ──────────── v2.5.1
   Installed FFTW ──────────────────────── v1.9.0
   Installed Libiconv_jll ──────────────── v1.18.0+0
   Installed Xorg_libXext_jll ──────────── v1.3.7+0
   Installed FFTW_jll ──────────────────── v3.3.11+0
   Installed ProblemReductions ─────────── v0.3.5
   Installed OptimalBranchingMIS ───────── v0.2.1
   Installed HiGHS_jll ─────────────────── v1.11.0+1
   Installed Luxor ─────────────────────── v4.3.0
  Installing 47 artifacts
   Installed artifact Bzip2           503.5 KiB
   Installed artifact libass          372.4 KiB
   Installed artifact oneTBB          435.6 KiB
   Installed artifact x265            1.1 MiB
   Installed artifact HarfBuzz        1.7 MiB
   Installed artifact Fontconfig      522.5 KiB
   Installed artifact Xorg_libXext    699.9 KiB
   Installed artifact Graphite2       120.2 KiB
   Installed artifact Libiconv        1.9 MiB
   Installed artifact libpng          328.4 KiB
   Installed artifact Libuuid         3.5 MiB
   Installed artifact gdk_pixbuf      943.6 KiB
   Installed artifact Ogg             250.3 KiB
   Installed artifact Opus            925.5 KiB
   Installed artifact GettextRuntime  543.0 KiB
   Installed artifact LLVMOpenMP      661.6 KiB
   Installed artifact Expat           271.4 KiB
   Installed artifact Pixman          372.2 KiB
   Installed artifact libvorbis       271.0 KiB
   Installed artifact Pango           1.1 MiB
   Installed artifact Xorg_libxcb     2.1 MiB
   Installed artifact Xorg_libXdmcp   67.7 KiB
   Installed artifact Xorg_xtrans     48.2 KiB
   Installed artifact LERC            272.9 KiB
   Installed artifact XZ              1.5 MiB
   Installed artifact LAME            292.5 KiB
   Installed artifact Xorg_libX11     13.9 MiB
   Installed artifact XML2            2.5 MiB
   Installed artifact Libffi          44.2 KiB
   Installed artifact FFTW            2.2 MiB
   Installed artifact libfdk_aac      2.8 MiB
   Installed artifact JpegTurbo       1.6 MiB
   Installed artifact OpenSpecFun     194.9 KiB
   Installed artifact FreeType2       1.5 MiB
   Installed artifact Libtiff         3.2 MiB
   Installed artifact FriBidi         78.9 KiB
   Installed artifact x264            2.0 MiB
   Installed artifact Xorg_libXrender 435.9 KiB
   Installed artifact Cairo           2.2 MiB
   Installed artifact HiGHS           2.1 MiB
   Installed artifact Xorg_libXau     36.6 KiB
   Installed artifact Libmount        6.4 MiB
   Installed artifact LZO             208.9 KiB
   Installed artifact libaom          6.4 MiB
   Installed artifact Glib            7.7 MiB
   Installed artifact Librsvg         9.3 MiB
   Installed artifact FFMPEG          10.6 MiB
    Updating `~/.julia/environments/v1.13/Project.toml`
  [1d45bab8] + OptimalBranchingMIS v0.2.1
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [621f4979] + AbstractFFTs v1.5.0
  [1520ce14] + AbstractTrees v0.4.5
  [66dad0bd] + AliasTables v1.1.3
  [dce04be8] + ArgCheck v2.5.0
  [ec485272] + ArnoldiMethod v0.4.0
  [a9ab73d0] + BatchedRoutines v0.2.2
  [6e4b80f9] + BenchmarkTools v1.6.0
  [50ba71b6] + BitBasis v0.9.10
  [159f3aea] + Cairo v1.1.1
  [d360d2e6] + ChainRulesCore v1.25.2
  [60701a23] + CliqueTrees v1.7.4
  [523fee87] + CodecBzip2 v0.8.5
  [944b1d66] + CodecZlib v0.7.8
  [08986516] + Collects v1.0.0
  [3da002f7] + ColorTypes v0.12.1
  [5ae59095] + Colors v0.13.1
  [861a8166] + Combinatorics v1.0.3
  [bbf7d656] + CommonSubexpressions v0.3.1
  [34da2185] + Compat v4.17.0
  [187b0558] + ConstructionBase v1.6.0
  [a8cc5b0e] + Crayons v4.1.1
  [9a962f9c] + DataAPI v1.16.0
  [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [8bb1440f] + DelimitedFiles v1.9.1
  [163ba53b] + DiffResults v1.1.0
  [b552c78f] + DiffRules v1.15.1
  [ffbed154] + DocStringExtensions v0.9.5
  [b3ff564c] + EliminateGraphs v0.2.1
  [c87230d0] + FFMPEG v0.4.2
  [7a1cc6ca] + FFTW v1.9.0
  [5789e2e9] + FileIO v1.17.0
  [1a297f60] + FillArrays v1.13.0
  [53c48c17] + FixedPointNumbers v0.8.5
  [3821ddf9] + FixedSizeArrays v1.0.1
  [f6369f11] + ForwardDiff v1.0.1
  [3521c873] + GenericTensorNetworks v4.0.1
  [a2bd30eb] + Graphics v1.1.3
  [86223c79] + Graphs v1.13.0
  [87dc4568] + HiGHS v1.18.1
  [d25df0c9] + Inflate v0.1.5
  [18e54dd8] + IntegerMathUtils v0.1.3
  [92d709cd] + IrrationalConstants v0.2.4
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.7.0
  [682c06a0] + JSON v0.21.4
  [0f8b85d8] + JSON3 v1.14.3
  [4076af6c] + JuMP v1.26.0
  [b964fa9f] + LaTeXStrings v1.4.0
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [ae8d54c2] + Luxor v4.3.0
  [1f49bdf2] + LuxorGraphPlot v0.5.1
  [d8e11817] + MLStyle v0.4.17
  [1914dd2f] + MacroTools v0.5.16
  [b8f27783] + MathOptInterface v1.42.0
  [e1d29d7a] + Missings v1.2.0
  [d8a4904e] + MutableArithmetics v1.6.4
  [77ba4419] + NaNMath v1.1.3
  [ebe7aa44] + OMEinsum v0.8.8
  [6f22d1fd] + OMEinsumContractionOrders v0.9.11
  [c76e7b22] + OptimalBranchingCore v0.1.5
  [1d45bab8] + OptimalBranchingMIS v0.2.1
  [bac558e1] + OrderedCollections v1.8.1
  [69de0a69] + Parsers v2.8.3
  [32a0d02f] + PolygonAlgorithms v0.3.2
  [f27b6e38] + Polynomials v4.1.0
  [aea7be01] + PrecompileTools v1.3.2
  [21216c6a] + Preferences v1.4.3
  [08abe8d2] + PrettyTables v2.4.0
  [27ebfcd6] + Primes v0.5.7
  [899c297d] + ProblemReductions v0.3.5
  [43287f4e] + PtrArrays v1.3.0
  [3cdcf5f2] + RecipesBase v1.3.4
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [c4c386cf] + Rsvg v1.0.0
  [94e857df] + SIMDTypes v0.1.0
  [efcf1570] + Setfield v1.1.2
  [699a6c99] + SimpleTraits v0.9.4
  [a2af1166] + SortingAlgorithms v1.2.1
  [276daf66] + SpecialFunctions v2.5.1
  [90137ffa] + StaticArrays v1.9.13
  [1e83bf80] + StaticArraysCore v1.4.3
  [10745b16] + Statistics v1.11.1
  [82ae8749] + StatsAPI v1.7.1
  [2913bbd2] + StatsBase v0.34.5
  [892a3eda] + StringManipulation v0.4.1
  [856f2bd8] + StructTypes v1.11.0
  [fd094767] + Suppressor v0.2.8
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [3bb67fe8] + TranscodingStreams v0.11.3
  [7d267fc5] + TreeWidthSolver v0.3.5
  [b3a74e9c] + TropicalNumbers v0.6.3
  [9d95972d] + TupleTools v1.6.0
  [6e34b625] + Bzip2_jll v1.0.9+0
  [83423d85] + Cairo_jll v1.18.5+0
  [2e619515] + Expat_jll v2.6.5+0
⌅ [b22a6f82] + FFMPEG_jll v4.4.4+1
  [f5851436] + FFTW_jll v3.3.11+0
  [a3f928ae] + Fontconfig_jll v2.16.0+0
  [d7e528f0] + FreeType2_jll v2.13.4+0
  [559328eb] + FriBidi_jll v1.0.17+0
  [b0724c58] + GettextRuntime_jll v0.22.4+0
  [7746bdde] + Glib_jll v2.84.3+0
  [3b182d85] + Graphite2_jll v1.3.15+0
  [2e76f6c2] + HarfBuzz_jll v8.5.1+0
  [8fd58aa0] + HiGHS_jll v1.11.0+1
  [1d5cc7b8] + IntelOpenMP_jll v2025.0.4+0
  [aacddb02] + JpegTurbo_jll v3.1.1+0
  [c1c5ebd0] + LAME_jll v3.100.3+0
  [88015f11] + LERC_jll v4.0.1+0
  [1d63c593] + LLVMOpenMP_jll v18.1.8+0
  [dd4b983a] + LZO_jll v2.10.3+0
  [e9f186c6] + Libffi_jll v3.4.7+0
  [94ce4f54] + Libiconv_jll v1.18.0+0
  [4b2f31a3] + Libmount_jll v2.41.0+0
  [925c91fb] + Librsvg_jll v2.54.7+0
  [89763e89] + Libtiff_jll v4.7.1+0
  [38a345b3] + Libuuid_jll v2.41.0+0
  [856f044c] + MKL_jll v2025.0.1+1
  [e7412a2a] + Ogg_jll v1.3.6+0
  [efe28fd5] + OpenSpecFun_jll v0.5.6+0
  [91d4177d] + Opus_jll v1.5.2+0
  [36c8627f] + Pango_jll v1.56.3+0
⌅ [30392449] + Pixman_jll v0.44.2+0
⌅ [02c8fc9c] + XML2_jll v2.13.6+1
  [ffd25f8a] + XZ_jll v5.8.1+0
  [4f6342f7] + Xorg_libX11_jll v1.8.12+0
  [0c0b7dd1] + Xorg_libXau_jll v1.0.13+0
  [a3789734] + Xorg_libXdmcp_jll v1.1.6+0
  [1082639a] + Xorg_libXext_jll v1.3.7+0
  [ea2f1a96] + Xorg_libXrender_jll v0.9.12+0
  [c7cfdc94] + Xorg_libxcb_jll v1.17.1+0
  [c5fb5394] + Xorg_xtrans_jll v1.6.0+0
  [da03df04] + gdk_pixbuf_jll v2.42.13+0
  [a4ae2306] + libaom_jll v3.11.0+0
⌅ [0ac62f75] + libass_jll v0.15.2+0
  [f638f0a6] + libfdk_aac_jll v2.0.4+0
  [b53b4c65] + libpng_jll v1.6.50+0
  [f27f6e37] + libvorbis_jll v1.3.8+0
  [1317d2d5] + oneTBB_jll v2022.0.0+0
⌅ [1270edf5] + x264_jll v2021.5.5+0
⌅ [dfaa095f] + x265_jll v3.5.0+0
  [0dad84c5] + ArgTools v1.1.2
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed v1.11.0
  [f43a241f] + Downloads v1.7.0
  [7b1f6079] + FileWatching v1.11.0
  [9fa8497b] + Future v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [4af54fe1] + LazyArtifacts v1.11.0
  [b27032c2] + LibCURL v0.6.4
  [76f85450] + LibGit2 v1.11.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [a63ad114] + Mmap v1.11.0
  [ca575930] + NetworkOptions v1.3.0
  [44cfe95a] + Pkg v1.13.0
  [de0858da] + Printf v1.11.0
  [9abbd945] + Profile v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [1a1011a3] + SharedArrays v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.12.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [a4e569a6] + Tar v1.10.0
  [8dfed614] + Test v1.11.0
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] + LibCURL_jll v8.14.1+1
  [e37daf67] + LibGit2_jll v1.9.1+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [14a3606d] + MozillaCACerts_jll v2025.5.20
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.5+0
  [458c3c95] + OpenSSL_jll v3.5.1+0
  [efcefdf7] + PCRE2_jll v10.45.0+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [3161d3a3] + Zstd_jll v1.5.7+1
  [8e850b90] + libblastrampoline_jll v5.13.1+0
  [8e850ede] + nghttp2_jll v1.65.0+0
  [3f19e933] + p7zip_jll v17.5.0+2
        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 22.54s


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

Precompiling PkgEval dependencies...
Precompiling packages...
   4741.0 ms  ✓ TestEnv
  1 dependency successfully precompiled in 5 seconds. 26 already precompiled.

Precompiling package dependencies...

Precompilation completed after 915.62s


################################################################################
# Testing
#

     Testing OptimalBranchingMIS
      Status `/tmp/jl_rUT9Rq/Project.toml`
  [861a8166] Combinatorics v1.0.3
  [b3ff564c] EliminateGraphs v0.2.1
  [3521c873] GenericTensorNetworks v4.0.1
  [2a6221f6] KaHyPar v0.3.1
  [c76e7b22] OptimalBranchingCore v0.1.5
  [1d45bab8] OptimalBranchingMIS v0.2.1
  [899c297d] ProblemReductions v0.3.5
  [9a3f8284] Random v1.11.0
  [2f01184e] SparseArrays v1.12.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_rUT9Rq/Manifest.toml`
  [621f4979] AbstractFFTs v1.5.0
  [1520ce14] AbstractTrees v0.4.5
  [66dad0bd] AliasTables v1.1.3
  [dce04be8] ArgCheck v2.5.0
  [ec485272] ArnoldiMethod v0.4.0
  [a9ab73d0] BatchedRoutines v0.2.2
  [6e4b80f9] BenchmarkTools v1.6.0
  [50ba71b6] BitBasis v0.9.10
  [159f3aea] Cairo v1.1.1
  [d360d2e6] ChainRulesCore v1.25.2
  [60701a23] CliqueTrees v1.7.4
  [523fee87] CodecBzip2 v0.8.5
  [944b1d66] CodecZlib v0.7.8
  [08986516] Collects v1.0.0
  [3da002f7] ColorTypes v0.12.1
  [5ae59095] Colors v0.13.1
  [861a8166] Combinatorics v1.0.3
  [bbf7d656] CommonSubexpressions v0.3.1
  [34da2185] Compat v4.17.0
  [187b0558] ConstructionBase v1.6.0
  [a8cc5b0e] Crayons v4.1.1
  [9a962f9c] DataAPI v1.16.0
  [864edb3b] DataStructures v0.18.22
  [e2d170a0] DataValueInterfaces v1.0.0
  [8bb1440f] DelimitedFiles v1.9.1
  [163ba53b] DiffResults v1.1.0
  [b552c78f] DiffRules v1.15.1
  [ffbed154] DocStringExtensions v0.9.5
  [b3ff564c] EliminateGraphs v0.2.1
  [c87230d0] FFMPEG v0.4.2
  [7a1cc6ca] FFTW v1.9.0
  [5789e2e9] FileIO v1.17.0
  [1a297f60] FillArrays v1.13.0
  [53c48c17] FixedPointNumbers v0.8.5
  [3821ddf9] FixedSizeArrays v1.0.1
  [f6369f11] ForwardDiff v1.0.1
  [3521c873] GenericTensorNetworks v4.0.1
  [a2bd30eb] Graphics v1.1.3
  [86223c79] Graphs v1.13.0
  [87dc4568] HiGHS v1.18.1
  [d25df0c9] Inflate v0.1.5
  [18e54dd8] IntegerMathUtils v0.1.3
  [92d709cd] IrrationalConstants v0.2.4
  [82899510] IteratorInterfaceExtensions v1.0.0
  [692b3bcd] JLLWrappers v1.7.0
  [682c06a0] JSON v0.21.4
  [0f8b85d8] JSON3 v1.14.3
  [4076af6c] JuMP v1.26.0
  [2a6221f6] KaHyPar v0.3.1
  [b964fa9f] LaTeXStrings v1.4.0
  [2ab3a3ac] LogExpFunctions v0.3.29
  [ae8d54c2] Luxor v4.3.0
  [1f49bdf2] LuxorGraphPlot v0.5.1
  [d8e11817] MLStyle v0.4.17
  [1914dd2f] MacroTools v0.5.16
  [b8f27783] MathOptInterface v1.42.0
  [e1d29d7a] Missings v1.2.0
  [d8a4904e] MutableArithmetics v1.6.4
  [77ba4419] NaNMath v1.1.3
  [ebe7aa44] OMEinsum v0.8.8
  [6f22d1fd] OMEinsumContractionOrders v0.9.11
  [c76e7b22] OptimalBranchingCore v0.1.5
  [1d45bab8] OptimalBranchingMIS v0.2.1
  [bac558e1] OrderedCollections v1.8.1
  [69de0a69] Parsers v2.8.3
  [32a0d02f] PolygonAlgorithms v0.3.2
  [f27b6e38] Polynomials v4.1.0
  [aea7be01] PrecompileTools v1.3.2
  [21216c6a] Preferences v1.4.3
  [08abe8d2] PrettyTables v2.4.0
  [27ebfcd6] Primes v0.5.7
  [899c297d] ProblemReductions v0.3.5
  [43287f4e] PtrArrays v1.3.0
  [3cdcf5f2] RecipesBase v1.3.4
  [189a3867] Reexport v1.2.2
  [ae029012] Requires v1.3.1
  [c4c386cf] Rsvg v1.0.0
  [94e857df] SIMDTypes v0.1.0
  [efcf1570] Setfield v1.1.2
  [699a6c99] SimpleTraits v0.9.4
  [a2af1166] SortingAlgorithms v1.2.1
  [276daf66] SpecialFunctions v2.5.1
  [90137ffa] StaticArrays v1.9.13
  [1e83bf80] StaticArraysCore v1.4.3
  [10745b16] Statistics v1.11.1
  [82ae8749] StatsAPI v1.7.1
  [2913bbd2] StatsBase v0.34.5
  [892a3eda] StringManipulation v0.4.1
  [856f2bd8] StructTypes v1.11.0
  [fd094767] Suppressor v0.2.8
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.1
  [3bb67fe8] TranscodingStreams v0.11.3
  [7d267fc5] TreeWidthSolver v0.3.5
  [b3a74e9c] TropicalNumbers v0.6.3
  [9d95972d] TupleTools v1.6.0
  [6e34b625] Bzip2_jll v1.0.9+0
  [83423d85] Cairo_jll v1.18.5+0
  [2e619515] Expat_jll v2.6.5+0
⌅ [b22a6f82] FFMPEG_jll v4.4.4+1
  [f5851436] FFTW_jll v3.3.11+0
  [a3f928ae] Fontconfig_jll v2.16.0+0
  [d7e528f0] FreeType2_jll v2.13.4+0
  [559328eb] FriBidi_jll v1.0.17+0
  [b0724c58] GettextRuntime_jll v0.22.4+0
  [7746bdde] Glib_jll v2.84.3+0
  [3b182d85] Graphite2_jll v1.3.15+0
  [2e76f6c2] HarfBuzz_jll v8.5.1+0
  [8fd58aa0] HiGHS_jll v1.11.0+1
  [1d5cc7b8] IntelOpenMP_jll v2025.0.4+0
  [aacddb02] JpegTurbo_jll v3.1.1+0
  [87a0c12d] KaHyPar_jll v1.3.3+0
  [c1c5ebd0] LAME_jll v3.100.3+0
  [88015f11] LERC_jll v4.0.1+0
  [1d63c593] LLVMOpenMP_jll v18.1.8+0
  [dd4b983a] LZO_jll v2.10.3+0
  [e9f186c6] Libffi_jll v3.4.7+0
  [94ce4f54] Libiconv_jll v1.18.0+0
  [4b2f31a3] Libmount_jll v2.41.0+0
  [925c91fb] Librsvg_jll v2.54.7+0
  [89763e89] Libtiff_jll v4.7.1+0
  [38a345b3] Libuuid_jll v2.41.0+0
  [856f044c] MKL_jll v2025.0.1+1
  [e7412a2a] Ogg_jll v1.3.6+0
  [efe28fd5] OpenSpecFun_jll v0.5.6+0
  [91d4177d] Opus_jll v1.5.2+0
  [36c8627f] Pango_jll v1.56.3+0
⌅ [30392449] Pixman_jll v0.44.2+0
⌅ [02c8fc9c] XML2_jll v2.13.6+1
  [ffd25f8a] XZ_jll v5.8.1+0
  [4f6342f7] Xorg_libX11_jll v1.8.12+0
  [0c0b7dd1] Xorg_libXau_jll v1.0.13+0
  [a3789734] Xorg_libXdmcp_jll v1.1.6+0
  [1082639a] Xorg_libXext_jll v1.3.7+0
  [ea2f1a96] Xorg_libXrender_jll v0.9.12+0
  [c7cfdc94] Xorg_libxcb_jll v1.17.1+0
  [c5fb5394] Xorg_xtrans_jll v1.6.0+0
⌅ [28df3c45] boost_jll v1.76.0+1
  [da03df04] gdk_pixbuf_jll v2.42.13+0
  [a4ae2306] libaom_jll v3.11.0+0
⌅ [0ac62f75] libass_jll v0.15.2+0
  [f638f0a6] libfdk_aac_jll v2.0.4+0
  [b53b4c65] libpng_jll v1.6.50+0
  [f27f6e37] libvorbis_jll v1.3.8+0
  [1317d2d5] oneTBB_jll v2022.0.0+0
⌅ [1270edf5] x264_jll v2021.5.5+0
⌅ [dfaa095f] x265_jll v3.5.0+0
  [0dad84c5] ArgTools v1.1.2
  [56f22d72] Artifacts v1.11.0
  [2a0f44e3] Base64 v1.11.0
  [ade2ca70] Dates v1.11.0
  [8ba89e20] Distributed v1.11.0
  [f43a241f] Downloads v1.7.0
  [7b1f6079] FileWatching v1.11.0
  [9fa8497b] Future v1.11.0
  [b77e0a4c] InteractiveUtils v1.11.0
  [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0
  [4af54fe1] LazyArtifacts v1.11.0
  [b27032c2] LibCURL v0.6.4
  [76f85450] LibGit2 v1.11.0
  [8f399da3] Libdl v1.11.0
  [37e2e46d] LinearAlgebra v1.12.0
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [a63ad114] Mmap v1.11.0
  [ca575930] NetworkOptions v1.3.0
  [44cfe95a] Pkg v1.13.0
  [de0858da] Printf v1.11.0
  [9abbd945] Profile v1.11.0
  [9a3f8284] Random v1.11.0
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization v1.11.0
  [1a1011a3] SharedArrays v1.11.0
  [6462fe0b] Sockets v1.11.0
  [2f01184e] SparseArrays v1.12.0
  [f489334b] StyledStrings v1.11.0
  [fa267f1f] TOML v1.0.3
  [a4e569a6] Tar v1.10.0
  [8dfed614] Test v1.11.0
  [cf7118a7] UUIDs v1.11.0
  [4ec0a83e] Unicode v1.11.0
  [e66e0078] CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] LibCURL_jll v8.14.1+1
  [e37daf67] LibGit2_jll v1.9.1+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.5.20
  [4536629a] OpenBLAS_jll v0.3.29+0
  [05823500] OpenLibm_jll v0.8.5+0
  [458c3c95] OpenSSL_jll v3.5.1+0
  [efcefdf7] PCRE2_jll v10.45.0+0
  [bea87d4a] SuiteSparse_jll v7.10.1+0
  [83775a58] Zlib_jll v1.3.1+2
  [3161d3a3] Zstd_jll v1.5.7+1
  [8e850b90] libblastrampoline_jll v5.13.1+0
  [8e850ede] nghttp2_jll v1.65.0+0
  [3f19e933] p7zip_jll v17.5.0+2
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading.
     Testing Running tests...
[ Info: branch_and_reduce
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = XiaoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: branch_and_reduce for subsolver
[ Info: subsolver = mis2
[ Info: subsolver = xiao
[ Info: subsolver = ip
[ Info: branch_and_reduce, weights = ones
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: branch_and_reduce, weights = random
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: branch_and_reduce, weights = ones
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: branch_and_reduce, weights = random
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = IPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = D3Measure(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = NoReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundarySelector(2)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
[ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = BasicReducer(), prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - NoReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = true, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundarySelector(2)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 0)
┌ Info: set_cover_solver = LPSolver(HiGHS.Optimizer, 10, 2.0, false), measure = NumOfVertices(), reducer = TensorNetworkReducer
│     ├── n_max - 15
│     ├── selector - neighbor
│     ├── measure - NumOfVertices()
│     ├── intersect_strategy - bfs
│     ├── sub_reducer - BasicReducer()
│     └── recheck - false
└ , prune_by_env = false, selector = MinBoundaryHighDegreeSelector(2, 6, 1)
Test Summary: | Pass  Total      Time
branch        | 1023   1023  12m46.1s

======================================================================================
Information request received. A stacktrace will print followed by a 1.0 second profile
======================================================================================

cmd: /opt/julia/bin/julia 976 running 1 of 1

signal (10): User defined signal 1
_ZN12_GLOBAL__N_18Verifier16visitInstructionERN4llvm11InstructionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN12_GLOBAL__N_18Verifier6verifyERKN4llvm8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm14verifyFunctionERKNS_8FunctionEPNS_11raw_ostreamE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
verifyLLVMIR at /source/src/pipeline.cpp:898
runOnLoop at /source/src/llvm-julia-licm.cpp:356
run at /source/src/llvm-julia-licm.cpp:381
run at /source/usr/include/llvm/IR/PassManagerInternal.h:91
_ZN4llvm11PassManagerINS_4LoopENS_15AnalysisManagerIS1_JRNS_27LoopStandardAnalysisResultsEEEEJS4_RNS_10LPMUpdaterEEE13runSinglePassIS1_St10unique_ptrINS_6detail11PassConceptIS1_S5_JS4_S7_EEESt14default_deleteISD_EEEESt8optionalINS_17PreservedAnalysesEERT_RT0_RS5_S4_S7_RNS_19PassInstrumentationE.isra.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm11PassManagerINS_4LoopENS_15AnalysisManagerIS1_JRNS_27LoopStandardAnalysisResultsEEEEJS4_RNS_10LPMUpdaterEEE24runWithoutLoopNestPassesERS1_RS5_S4_S7_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm11PassManagerINS_4LoopENS_15AnalysisManagerIS1_JRNS_27LoopStandardAnalysisResultsEEEEJS4_RNS_10LPMUpdaterEEE3runERS1_RS5_S4_S7_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
run at /source/usr/include/llvm/IR/PassManagerInternal.h:91
_ZN4llvm25FunctionToLoopPassAdaptor3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
run at /source/usr/include/llvm/IR/PassManagerInternal.h:91
_ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
run at /source/usr/include/llvm/IR/PassManagerInternal.h:91
_ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
run at /source/usr/include/llvm/IR/PassManagerInternal.h:91
_ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
run at /source/src/pipeline.cpp:791
operator() at /source/src/jitlayers.cpp:1518
withModuleDo<(anonymous namespace)::sizedOptimizerT<N>::operator()(llvm::orc::ThreadSafeModule) [with long unsigned int N = 4]::<lambda(llvm::Module&)> > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:136 [inlined]
operator() at /source/src/jitlayers.cpp:1479 [inlined]
operator() at /source/src/jitlayers.cpp:1631 [inlined]
addModule at /source/src/jitlayers.cpp:2088
jl_compile_codeinst_now at /source/src/jitlayers.cpp:683
jl_compile_codeinst_impl at /source/src/jitlayers.cpp:883
jl_compile_method_internal at /source/src/gf.c:3305
_jl_invoke at /source/src/gf.c:3785 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:0
simplifyto at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:130
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:111
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:44 [inlined]
einsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:26
einsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:286
#_#93 at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:260
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
jl_f__apply_iterate at /source/src/builtins.c:864
NestedEinsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:257
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
jl_f__apply_iterate at /source/src/builtins.c:864
#contractx#90 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/networks.jl:145
contractx at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/networks.jl:137
unknown function (ip: 0x724728c7b859) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
#solutions#137 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/configurations.jl:65
solutions at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/configurations.jl:60
unknown function (ip: 0x7247298e5f06) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
#solve#160 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/interfaces.jl:308
solve at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/interfaces.jl:252 [inlined]
_reduced_alpha_configs at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:42
reduced_alpha_configs at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:67
branching_table at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:85
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
tn_reduce_rewrite_graph at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:522
#reduce_graph#47 at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:463
reduce_graph at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:443
unknown function (ip: 0x724728370332) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
kernelize at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:266
kernelize at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:259
unknown function (ip: 0x72472837028e) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
include_string at ./loading.jl:2848
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
_include at ./loading.jl:2908
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
unknown function (ip: 0x724754bba3c2) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
include_string at ./loading.jl:2848
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
_include at ./loading.jl:2908
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_72331.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
exec_options at ./client.jl:286
_start at ./client.jl:553
jfptr__start_60077.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1138
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x724755f93249) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
unknown function (ip: (nil)) at (unknown file)

==============================================================
Profile collected. A report will print at the next yield point
==============================================================


======================================================================================
Information request received. A stacktrace will print followed by a 1.0 second profile
======================================================================================

cmd: /opt/julia/bin/julia 1 running 0 of 1

signal (10): User defined signal 1
epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404
uv_run at /workspace/srcdir/libuv/src/unix/core.c:430
ijl_task_get_next at /source/src/scheduler.c:457
wait at ./task.jl:1192
wait_forever at ./task.jl:1129
jfptr_wait_forever_57010.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
start_task at /source/src/task.c:1249
unknown function (ip: (nil)) at (unknown file)

==============================================================
Profile collected. A report will print at the next yield point
==============================================================

┌ Warning: There were no samples collected in one or more groups.
│ This may be due to idle threads, or you may need to run your
│ program longer (perhaps by running it multiple times),
│ or adjust the delay between samples with `Profile.init()`.
└ @ Profile /opt/julia/share/julia/stdlib/v1.13/Profile/src/Profile.jl:1362
Overhead ╎ [+additional indent] Count File:Line  Function
=========================================================
Thread 1 (default) Task 0x000076c21e3a45b0 Total snapshots: 437. Utilization: 0%
   ╎437 @Base/task.jl:1129  wait_forever()
436╎ 437 @Base/task.jl:1192  wait()


[1] signal 15: Terminated
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210
epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404
uv_run at /workspace/srcdir/libuv/src/unix/core.c:430
ijl_task_get_next at /source/src/scheduler.c:457
wait at ./task.jl:1192
wait_forever at ./task.jl:1129
jfptr_wait_forever_57010.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
start_task at /source/src/task.c:1249
unknown function (ip: (nil)) at (unknown file)
Allocations: 26648093 (Pool: 26647230; Big: 863); GC: 49

[976] signal 15: Terminated
in expression starting at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:258
_ZN4llvm17IDFCalculatorBaseINS_17MachineBasicBlockELb0EE9calculateERNS_15SmallVectorImplIPS1_EE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZZN15LiveDebugValues16InstrRefBasedLDV13placeMLocPHIsERN4llvm15MachineFunctionERNS1_15SmallPtrSetImplIPNS1_17MachineBasicBlockEEERNS_14FuncValueTableERNS1_15SmallVectorImplINS1_13SmallDenseMapINS_6LocIdxENS_10ValueIDNumELj4ENS1_12DenseMapInfoISD_vEENS1_6detail12DenseMapPairISD_SE_EEEEEEENKUlSD_E_clESD_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN15LiveDebugValues16InstrRefBasedLDV13placeMLocPHIsERN4llvm15MachineFunctionERNS1_15SmallPtrSetImplIPNS1_17MachineBasicBlockEEERNS_14FuncValueTableERNS1_15SmallVectorImplINS1_13SmallDenseMapINS_6LocIdxENS_10ValueIDNumELj4ENS1_12DenseMapInfoISD_vEENS1_6detail12DenseMapPairISD_SE_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN15LiveDebugValues16InstrRefBasedLDV17buildMLocValueMapERN4llvm15MachineFunctionERNS_14FuncValueTableES5_RNS1_15SmallVectorImplINS1_13SmallDenseMapINS_6LocIdxENS_10ValueIDNumELj4ENS1_12DenseMapInfoIS8_vEENS1_6detail12DenseMapPairIS8_S9_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN15LiveDebugValues16InstrRefBasedLDV12ExtendRangesERN4llvm15MachineFunctionEPNS1_20MachineDominatorTreeEPNS1_16TargetPassConfigEjj at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm19MachineFunctionPass13runOnFunctionERNS_8FunctionE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm6legacy15PassManagerImpl3runERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
_ZN4llvm3orc14SimpleCompilerclERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line)
operator() at /source/src/jitlayers.cpp:1620
addModule at /source/src/jitlayers.cpp:2101
jl_compile_codeinst_now at /source/src/jitlayers.cpp:683
jl_compile_codeinst_impl at /source/src/jitlayers.cpp:883
jl_compile_method_internal at /source/src/gf.c:3305
_jl_invoke at /source/src/gf.c:3785 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:0
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:119
einsum! at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:44 [inlined]
einsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsum.jl:26
einsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:286
#_#93 at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:260
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
jl_f__apply_iterate at /source/src/builtins.c:864
NestedEinsum at /home/pkgeval/.julia/packages/OMEinsum/6OzUk/src/einsequence.jl:257
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
jl_f__apply_iterate at /source/src/builtins.c:864
#contractx#90 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/networks.jl:145
contractx at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/networks.jl:137
unknown function (ip: 0x724728d30cc9) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
#solutions#137 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/configurations.jl:65
solutions at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/configurations.jl:60
unknown function (ip: 0x7247298e5f06) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
#solve#160 at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/interfaces.jl:308
solve at /home/pkgeval/.julia/packages/GenericTensorNetworks/0ojFL/src/interfaces.jl:252 [inlined]
_reduced_alpha_configs at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:42
reduced_alpha_configs at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:67
branching_table at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/tablesolver.jl:85
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
tn_reduce_rewrite_graph at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:522
#reduce_graph#47 at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:463
reduce_graph at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/src/reducer.jl:443
unknown function (ip: 0x724728370332) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
kernelize at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:266
kernelize at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:259
unknown function (ip: 0x72472837028e) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
include_string at ./loading.jl:2848
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
_include at ./loading.jl:2908
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
unknown function (ip: 0x724754bba3c2) at (unknown file)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
include_string at ./loading.jl:2848
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
_include at ./loading.jl:2908
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_72331.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:708
jl_interpret_toplevel_thunk at /source/src/interpreter.c:899
jl_toplevel_eval_flex at /source/src/toplevel.c:773
jl_toplevel_eval_flex at /source/src/toplevel.c:713
ijl_toplevel_eval at /source/src/toplevel.c:785
ijl_toplevel_eval_in at /source/src/toplevel.c:830
eval at ./boot.jl:489
exec_options at ./client.jl:286
_start at ./client.jl:553
jfptr__start_60077.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3793 [inlined]
ijl_apply_generic at /source/src/gf.c:3993
jl_apply at /source/src/julia.h:2345 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1138
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x724755f93249) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
unknown function (ip: (nil)) at (unknown file)
Allocations: 2016920085 (Pool: 2016915660; Big: 4425); GC: 699

PkgEval terminated after 2723.07s: test duration exceeded the time limit