Package evaluation of KaHyPar on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T08:48:35.706 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.97s ################################################################################ # Installation # Installing KaHyPar... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [2a6221f6] + KaHyPar v0.3.1 Updating `~/.julia/environments/v1.11/Manifest.toml` [692b3bcd] + JLLWrappers v1.7.0 [2a6221f6] + KaHyPar v0.3.1 [21216c6a] + Preferences v1.4.3 [87a0c12d] + KaHyPar_jll v1.3.3+0 ⌅ [28df3c45] + boost_jll v1.76.0+1 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] + LibCURL_jll v8.6.0+0 [e37daf67] + LibGit2_jll v1.7.2+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.59.0+0 [3f19e933] + p7zip_jll v17.4.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 1.75s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 17.61s ################################################################################ # Testing # Testing KaHyPar Status `/tmp/jl_2HEn4L/Project.toml` [2a6221f6] KaHyPar v0.3.1 [87a0c12d] KaHyPar_jll v1.3.3+0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [2f01184e] SparseArrays v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_2HEn4L/Manifest.toml` [692b3bcd] JLLWrappers v1.7.0 [2a6221f6] KaHyPar v0.3.1 [21216c6a] Preferences v1.4.3 [87a0c12d] KaHyPar_jll v1.3.3+0 ⌅ [28df3c45] boost_jll v1.76.0+1 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays 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.1.1+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... running tests... testing partition +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.00226332 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: km1 k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter_km1 iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.00162838 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: recursive Objective: km1 k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 4294967295 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: false maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: heavy_lazy max-allowed-weight-multiplier: 3.25 contraction-limit-multiplier: 160 hypernode weight fraction: 0.0101563 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: multiplicative Acceptance Policy: best Partition Policy: normal Fixed Vertex Acceptance Policy: free_vertex_only ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: direct Technique: flat Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: twoway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.00167938 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00179647 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 3.031e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Postprocessing = 0 s | undo sparsifier = 0 s testing structure warning ┌ Warning: Assignment to `h` in soft scope is ambiguous because a global variable by the same name exists: `h` will be treated as a new local. Disambiguate by using `local h` to suppress this warning or `global h` to assign to the existing global variable. └ @ ~/.julia/packages/KaHyPar/63UEh/test/test_check_structure.jl:11 testing load config file +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: recursive Objective: km1 k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 4294967295 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: false maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: heavy_lazy max-allowed-weight-multiplier: 3.25 contraction-limit-multiplier: 160 hypernode weight fraction: 0.0101563 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: multiplicative Acceptance Policy: best Partition Policy: normal Fixed Vertex Acceptance Policy: free_vertex_only ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: direct Technique: flat Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: twoway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.001677 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00179647 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 3.031e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Postprocessing = 0 s | undo sparsifier = 0 s testing weights +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 14 L_max: 14 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 6 SOED (minimize) = 12 (k-1) (minimize) = 6 Absorption (maximize) = 2.83333 Imbalance = 0 Partition sizes and weights: |part 0 | = 3 w( 0 ) = 14 |part 1 | = 4 w( 1 ) = 14 Timings: Partition time = 0.00157624 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: km1 k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 14 L_max: 14 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter_km1 iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 6 SOED (minimize) = 12 (k-1) (minimize) = 6 Absorption (maximize) = 2.83333 Imbalance = 0 Partition sizes and weights: |part 0 | = 3 w( 0 ) = 14 |part 1 | = 4 w( 1 ) = 14 Timings: Partition time = 0.00144916 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: recursive Objective: km1 k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 4294967295 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 14 L_max: 14 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: false maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: heavy_lazy max-allowed-weight-multiplier: 3.25 contraction-limit-multiplier: 160 hypernode weight fraction: 0.0101563 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: multiplicative Acceptance Policy: best Partition Policy: normal Fixed Vertex Acceptance Policy: free_vertex_only ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: direct Technique: flat Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: twoway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 6 SOED (minimize) = 12 (k-1) (minimize) = 6 Absorption (maximize) = 2.83333 Imbalance = 0 Partition sizes and weights: |part 0 | = 3 w( 0 ) = 14 |part 1 | = 4 w( 1 ) = 14 Timings: Partition time = 0.00140806 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00179647 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 3.031e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Postprocessing = 0 s | undo sparsifier = 0 s testing improve partition +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.00162973 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 2 epsilon: 0.03 seed: -1 # V-cycles: 1 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 4 L_max: 4 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: false enable community detection: true ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- No improvement in V-cycle 1 . Stopping global search. ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 4 w( 0 ) = 4 |part 1 | = 3 w( 1 ) = 3 Timings: Partition time = 0.000177599 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + V-Cycle Coarsening = 0 s + V-Cycle Local Search = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s testing custom block weights +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 2 epsilon: 0.03 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: true L_opt0: 5 L_opt1: 3 L_max0: 5 L_max1: 3 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.003125 max. allowed hypernode weight: 1 contraction limit: 320 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 2 SOED (minimize) = 4 (k-1) (minimize) = 2 Absorption (maximize) = 3.16667 Imbalance = 0 Partition sizes and weights: |part 0 | = 5 w( 0 ) = 5 |part 1 | = 2 w( 1 ) = 2 Timings: Partition time = 0.00182951 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s testing fixed vertices +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 3 epsilon: 0.1 seed: -1 # V-cycles: 0 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 3 L_max: 3 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: true enable community detection: true ------------------------------------------------------------------------------- MinHash Sparsifier Parameters: max hyperedge size: 1200 max cluster size: 10 min cluster size: 2 number of hash functions: 5 number of combined hash functions: 100 active at median net size >=: 28 sparsifier is active: false ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.00208333 max. allowed hypernode weight: 1 contraction limit: 480 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 3 SOED (minimize) = 6 (k-1) (minimize) = 3 Absorption (maximize) = 2.66667 Imbalance = 0 Partition sizes and weights: |part 0 | = 3 w( 0 ) = 3 |part 1 | = 2 w( 1 ) = 2 |part 2 | = 2 w( 2 ) = 2 Timings: Partition time = 0.000938381 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + _ __ _ _ ____ + + | |/ /__ _| | | |_ _| _ \ __ _ _ __ + + | ' // _` | |_| | | | | |_) / _` | '__| + + | . \ (_| | _ | |_| | __/ (_| | | + + |_|\_\__,_|_| |_|\__, |_| \__,_|_| + + |___/ + + Karlsruhe Hypergraph Partitioning Framework + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ******************************************************************************* * Partitioning Context * ******************************************************************************* Partitioning Parameters: Hypergraph: Partition File: Mode: direct Objective: cut k: 3 epsilon: 0.1 seed: -1 # V-cycles: 10 time limit: -1s hyperedge size ignore threshold: 1000 hyperedge size removal threshold: 4294967295 use individual block weights: false L_opt: 3 L_max: 3 ------------------------------------------------------------------------------- Preprocessing Parameters: enable deduplication: false enable min hash sparsifier: false enable community detection: true ------------------------------------------------------------------------------- Community Detection Parameters: use community detection in IP: true maximum louvain-pass iterations: 100 minimum quality improvement: 0.0001 graph edge weight: degree reuse community structure: false large HE threshold: 4294967295 ------------------------------------------------------------------------------- Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 160 hypernode weight fraction: 0.00208333 max. allowed hypernode weight: 1 contraction limit: 480 Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed ------------------------------------------------------------------------------- Initial Partitioning Parameters: # IP trials: 20 Mode: recursive Technique: multilevel Algorithm: pool Bin Packing algorithm: worst_fit early restart on infeasible: true late restart on infeasible: true IP Coarsening: Coarsening Parameters: Algorithm: ml_style max-allowed-weight-multiplier: 1 contraction-limit-multiplier: 150 hypernode weight fraction: determined before IP max. allowed hypernode weight: determined before IP contraction limit: determined before IP Rating Parameters: Rating Function: heavy_edge Use Community Structure: true Heavy Node Penalty: no_penalty Acceptance Policy: best_prefer_unmatched Partition Policy: normal Fixed Vertex Acceptance Policy: fixed_vertex_allowed IP Local Search: Local Search Parameters: Algorithm: twoway_fm iterations per level: 2147483647 stopping rule: simple max. # fruitless moves: 50 Flow Refinement Parameters: execution policy: UNDEFINED ------------------------------------------------------------------------------- Local Search Parameters: Algorithm: kway_fm_hyperflow_cutter iterations per level: 2147483647 stopping rule: adaptive_opt adaptive stopping alpha: 1 Flow Refinement Parameters: execution policy: exponential ------------------------------------------------------------------------------- No improvement in V-cycle 1 . Stopping global search. ******************************************************************************** * Partitioning Result * ******************************************************************************** Objectives: Hyperedge Cut (minimize) = 3 SOED (minimize) = 6 (k-1) (minimize) = 3 Absorption (maximize) = 9 Imbalance = 1 Partition sizes and weights: |part 0 | = 6 w( 0 ) = 6 |part 1 | = 4 w( 1 ) = 4 |part 2 | = 4 w( 2 ) = 4 Timings: Partition time = 0.000185768 s + Input Validation = 3.7889e-05 s + Preprocessing = 5.448e-05 s | min hash sparsifier = 0 s | community detection = 5.448e-05 s + Coarsening = 1.424e-05 s + Initial Partitioning = 0.00179647 s + Coarsening = 2.1e-07 s | bisection 1 ( 0 , 1 ) = 2.1e-07 s + Initial Partitioning = 0.00161851 s | bisection 1 ( 0 , 1 ) = 0.00161851 s + Local Search = 7.34e-06 s | bisection 1 ( 0 , 1 ) = 7.34e-06 s + Local Search = 3.031e-05 s | flow refinement = 0 s + V-Cycle Coarsening = 0 s + V-Cycle Local Search = 0 s + Postprocessing = 0 s | undo sparsifier = 0 s Testing KaHyPar tests passed Testing completed after 16.88s PkgEval succeeded after 51.32s