Package evaluation of OptimalBranchingMIS on Julia 1.12.0-rc1.2 (995ff9db19*) started at 2025-07-15T01:31:24.871


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 6.88s


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

Installing OptimalBranchingMIS...
   Resolving package versions...
    Updating `~/.julia/environments/v1.12/Project.toml`
  [1d45bab8] + OptimalBranchingMIS v0.2.1
    Updating `~/.julia/environments/v1.12/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
  [3161d3a3] + Zstd_jll v1.5.7+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.6.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.11.1+1
  [e37daf67] + LibGit2_jll v1.9.0+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.44.0+1
  [bea87d4a] + SuiteSparse_jll v7.8.3+2
  [83775a58] + Zlib_jll v1.3.1+2
  [8e850b90] + libblastrampoline_jll v5.13.1+0
  [8e850ede] + nghttp2_jll v1.64.0+1
  [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 4.94s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 498.05s


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

     Testing OptimalBranchingMIS
      Status `/tmp/jl_osM07k/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_osM07k/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
  [3161d3a3] Zstd_jll v1.5.7+1
⌅ [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.6.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.11.1+1
  [e37daf67] LibGit2_jll v1.9.0+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.44.0+1
  [bea87d4a] SuiteSparse_jll v7.8.3+2
  [83775a58] Zlib_jll v1.3.1+2
  [8e850b90] libblastrampoline_jll v5.13.1+0
  [8e850ede] nghttp2_jll v1.64.0+1
  [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...
Precompiling packages...
   9457.4 ms  ✓ CliqueTrees → KaHyParExt
Info Given KaHyParExt was explicitly requested, output will be shown live 
[ Info: `OMEinsumContractionOrders` loads `KaHyParExt` extension successfully.
   6538.3 ms  ✓ OMEinsumContractionOrders → KaHyParExt
  2 dependencies successfully precompiled in 20 seconds. 210 already precompiled.
  1 dependency had output during precompilation:
┌ OMEinsumContractionOrders → KaHyParExt
│  [Output was shown above]
└  
[ 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  13m32.1s

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

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

signal (10): User defined signal 1
tcscrw at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:329 [inlined]
_tcsc_merge at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:415
abcacb at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:397
tcsc_diff at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:387 [inlined]
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:352
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
#optimize_tree_sa!#88 at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:291
optimize_tree_sa! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:253 [inlined]
macro expansion at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:215 [inlined]
#85 at ./threadingconstructs.jl:276
#83 at ./threadingconstructs.jl:243 [inlined]
#threading_run##0 at ./threadingconstructs.jl:177
unknown function (ip: 0x79055f606edc) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
jl_apply at /source/src/julia.h:2375 [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
==============================================================


======================================================================================
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
poptask at ./task.jl:1187
wait at ./task.jl:1199
#wait#398 at ./condition.jl:141
wait at ./condition.jl:136 [inlined]
wait at ./process.jl:694
wait at ./process.jl:687
jfptr_wait_84416.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
subprocess_handler at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2476
unknown function (ip: 0x7d8557185fc3) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
#213 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2416
withenv at ./env.jl:265
#198 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2237
with_temp_env at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2087
#194 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2196
#mktempdir#21 at ./file.jl:899
unknown function (ip: 0x7d855717db2c) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
mktempdir at ./file.jl:895
mktempdir at ./file.jl:895
#sandbox#190 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2143 [inlined]
sandbox at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2135
unknown function (ip: 0x7d8557171419) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
#test#201 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2401
test at /source/usr/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2313 [inlined]
#test#170 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:511
test at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:490
unknown function (ip: 0x7d8557171051) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
#test#84 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:164
unknown function (ip: 0x7d8557167618) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
test at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:153
#test#82 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:152
test at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [inlined]
#test#81 at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:151 [inlined]
test at /source/usr/share/julia/stdlib/v1.12/Pkg/src/API.jl:151
unknown function (ip: 0x7d8557165c1f) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
jl_apply at /source/src/julia.h:2375 [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:693
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:898
jl_toplevel_eval_flex at /source/src/toplevel.c:1035
jl_toplevel_eval_flex at /source/src/toplevel.c:975
ijl_toplevel_eval at /source/src/toplevel.c:1047
ijl_toplevel_eval_in at /source/src/toplevel.c:1092
eval at ./boot.jl:489
include_string at ./loading.jl:2837
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
_include at ./loading.jl:2897
include at ./Base.jl:305
exec_options at ./client.jl:321
_start at ./client.jl:554
jfptr__start_81451.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
jl_apply at /source/src/julia.h:2375 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1139
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x7d856d37f249) 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
==============================================================

┌ 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.12/Profile/src/Profile.jl:1362
Overhead ╎ [+additional indent] Count File:Line  Function
=========================================================
Thread 1 (default) Task 0x00007d8552a00010 Total snapshots: 370. Utilization: 0%
   ╎370 @Base/client.jl:554  _start()
   ╎ 370 @Base/client.jl:321  exec_options(opts::Base.JLOptions)
   ╎  370 @Base/Base.jl:305  include(mod::Module, _path::String)
   ╎   370 @Base/loading.jl:2897  _include(mapexpr::Function, mod::Module, _pat…
   ╎    370 @Base/loading.jl:2837  include_string(mapexpr::typeof(identity), mo…
   ╎     370 @Base/boot.jl:489  eval(m::Module, e::Any)
   ╎    ╎ 370 @Pkg/src/API.jl:151  kwcall(::@NamedTuple{julia_args::Cmd}, ::typ…
   ╎    ╎  370 @Pkg/src/API.jl:151  #test#81
   ╎    ╎   370 @Pkg/src/API.jl:152  test
   ╎    ╎    370 @Pkg/src/API.jl:152  test(pkgs::Vector{String}; kwargs::Base.P…
   ╎    ╎     370 @Pkg/src/API.jl:153  kwcall(::@NamedTuple{julia_args::Cmd}, :…
   ╎    ╎    ╎ 370 @Pkg/src/API.jl:164  test(pkgs::Vector{PackageSpec}; io::IOC…
   ╎    ╎    ╎  370 @Pkg/src/API.jl:490  kwcall(::@NamedTuple{julia_args::Cmd, …
   ╎    ╎    ╎   370 @Pkg/src/API.jl:511  test(ctx::Pkg.Types.Context, pkgs::Ve…
   ╎    ╎    ╎    370 @Pkg/…erations.jl:2313  test
   ╎    ╎    ╎     370 @Pkg/…erations.jl:2401  test(ctx::Pkg.Types.Context, pkg…
   ╎    ╎    ╎    ╎ 370 @Pkg/…rations.jl:2135  kwcall(::@NamedTuple{preferences…
   ╎    ╎    ╎    ╎  370 @Pkg/…rations.jl:2143  #sandbox#190
   ╎    ╎    ╎    ╎   370 @Base/file.jl:895  mktempdir(fn::Function)
   ╎    ╎    ╎    ╎    370 @Base/file.jl:895  mktempdir(fn::Function, parent::S…
   ╎    ╎    ╎    ╎     370 @Base/file.jl:899  mktempdir(fn::Pkg.Operations.var…
   ╎    ╎    ╎    ╎    ╎ 370 @Pkg/…tions.jl:2196  (::Pkg.Operations.var"#194#19…
   ╎    ╎    ╎    ╎    ╎  370 @Pkg/…tions.jl:2087  with_temp_env(fn::Pkg.Operat…
   ╎    ╎    ╎    ╎    ╎   370 @Pkg/…tions.jl:2237  (::Pkg.Operations.var"#198#…
   ╎    ╎    ╎    ╎    ╎    370 @Base/env.jl:265  withenv(::Pkg.Operations.var"…
   ╎    ╎    ╎    ╎    ╎     370 @Pkg/…ions.jl:2416  (::Pkg.Operations.var"#213…
   ╎    ╎    ╎    ╎    ╎    ╎ 370 @Pkg/…ons.jl:2476  subprocess_handler(cmd::Cm…
   ╎    ╎    ╎    ╎    ╎    ╎  370 @Base/…ss.jl:687  wait(x::Base.Process)
   ╎    ╎    ╎    ╎    ╎    ╎   370 @Base/…ss.jl:694  wait(x::Base.Process, syn…
   ╎    ╎    ╎    ╎    ╎    ╎    370 @Base/…on.jl:136  wait
   ╎    ╎    ╎    ╎    ╎    ╎     370 @Base/…on.jl:141  wait(c::Base.GenericCon…
   ╎    ╎    ╎    ╎    ╎    ╎    ╎ 370 @Base/…sk.jl:1199  wait()
369╎    ╎    ╎    ╎    ╎    ╎    ╎  370 @Base/…sk.jl:1187  poptask(W::Base.Intr…


[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
poptask at ./task.jl:1187
wait at ./task.jl:1199
#wait#398 at ./condition.jl:141
wait at ./condition.jl:136 [inlined]
_trywait at ./asyncevent.jl:185
profile_printing_listener at ./Base.jl:331
#start_profile_listener##0 at ./Base.jl:351
jfptr_YY.start_profile_listenerYY.YY.0_48105.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
jl_apply at /source/src/julia.h:2375 [inlined]
start_task at /source/src/task.c:1249
unknown function (ip: (nil)) at (unknown file)
Allocations: 24027334 (Pool: 24026764; Big: 570); GC: 22

[159] signal 15: Terminated
in expression starting at /home/pkgeval/.julia/packages/OptimalBranchingMIS/VNmMB/test/graphs.jl:258
#_growend!##0 at ./array.jl:1131
_growend! at ./array.jl:1131 [inlined]
_push! at ./array.jl:1289 [inlined]
push! at ./array.jl:1286 [inlined]
abcacb at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:401
tcsc_diff at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:385 [inlined]
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:352
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
optimize_subtree! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:362
#optimize_tree_sa!#88 at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:291
optimize_tree_sa! at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:253 [inlined]
macro expansion at /home/pkgeval/.julia/packages/OMEinsumContractionOrders/G9On1/src/treesa.jl:215 [inlined]
#85 at ./threadingconstructs.jl:276
#83 at ./threadingconstructs.jl:243 [inlined]
#threading_run##0 at ./threadingconstructs.jl:177
unknown function (ip: 0x79055f606edc) at (unknown file)
_jl_invoke at /source/src/gf.c:4100 [inlined]
ijl_apply_generic at /source/src/gf.c:4300
jl_apply at /source/src/julia.h:2375 [inlined]
start_task at /source/src/task.c:1249
unknown function (ip: (nil)) at (unknown file)
Allocations: 2706002774 (Pool: 2705998296; Big: 4478); GC: 1019

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