Package evaluation of KaHyPar on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-28T23:55:29.609 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.58s ################################################################################ # Installation # Installing KaHyPar... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [2a6221f6] + KaHyPar v0.3.1 Updating `~/.julia/environments/v1.13/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.7.0 [7b1f6079] + FileWatching v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.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 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.12.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings 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.3.0+1 [deac9b47] + LibCURL_jll v8.12.1+1 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.0.16+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 1.46s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 19.63s ################################################################################ # Testing # Testing KaHyPar Status `/tmp/jl_lIO2Yu/Project.toml` [2a6221f6] KaHyPar v0.3.1 [87a0c12d] KaHyPar_jll v1.3.3+0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [2f01184e] SparseArrays v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_lIO2Yu/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.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.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 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization 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.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.0.16+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... 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.00215921 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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.00173006 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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.00160539 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00164964 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 1.8179e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 4.19e-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.00192988 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00164964 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 1.8179e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 4.19e-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.00173672 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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.00164077 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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.00168911 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00164964 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 1.8179e-05 s | flow refinement = 0 s | bisection 1 ( 0 , 1 ) = 4.19e-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.00179601 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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.000312337 s + Input Validation = 1.718e-05 s + Preprocessing = 5.6469e-05 s | min hash sparsifier = 0 s | community detection = 5.6469e-05 s + Coarsening = 1.608e-05 s + Initial Partitioning = 0.00164964 s + Coarsening = 7e-08 s | bisection 1 ( 0 , 1 ) = 7e-08 s + Initial Partitioning = 0.00151031 s | bisection 1 ( 0 , 1 ) = 0.00151031 s + Local Search = 4.19e-06 s | bisection 1 ( 0 , 1 ) = 4.19e-06 s + Local Search = 1.8179e-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 -------------testing fixed vertices Testing KaHyPar tests passed Testing completed after 17.32s PkgEval succeeded after 58.04s