Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 11.2936 | 11.3417 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo |
| MD5SUM | dabc75a1324f8759f1d0112902e45697 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.534055 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4425232-1720889854.wbo>
0.00/0.02 c original problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 1801 constraints
0.00/0.02 c problem read in 0.01
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 100 del vars, 101 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.00/0.05 c (round 2, fast) 100 del vars, 101 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.00/0.07 c (round 3, exhaustive) 125 del vars, 101 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.00/0.09 c (round 4, exhaustive) 150 del vars, 101 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.00/0.09 c (round 5, fast) 150 del vars, 126 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.11 c (round 6, exhaustive) 175 del vars, 126 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.11 c (round 7, fast) 175 del vars, 151 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.11 c (round 8, exhaustive) 200 del vars, 151 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.11 c (round 9, fast) 200 del vars, 176 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.12 c (round 10, exhaustive) 225 del vars, 176 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.12 c (round 11, fast) 225 del vars, 201 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.12 c (round 12, exhaustive) 250 del vars, 201 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.12 c (round 13, fast) 250 del vars, 226 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.13 c (round 14, exhaustive) 275 del vars, 226 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.13 c (round 15, fast) 275 del vars, 251 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.14 c (round 16, exhaustive) 300 del vars, 251 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.14 c (round 17, fast) 300 del vars, 276 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.14 c (round 18, exhaustive) 325 del vars, 276 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.14 c (round 19, fast) 325 del vars, 301 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.15 c (round 20, exhaustive) 350 del vars, 301 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.15 c (round 21, fast) 350 del vars, 326 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.16 c (round 22, exhaustive) 375 del vars, 326 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.16 c (round 23, fast) 375 del vars, 351 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.16 c (round 24, exhaustive) 400 del vars, 351 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.16 c (round 25, fast) 400 del vars, 376 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.17 c (round 26, exhaustive) 425 del vars, 376 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.17 c (round 27, fast) 425 del vars, 401 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.17 c (round 28, exhaustive) 450 del vars, 401 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.17 c (round 29, fast) 450 del vars, 426 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.18 c (round 30, exhaustive) 475 del vars, 426 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.18 c (round 31, fast) 475 del vars, 451 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.19 c (round 32, exhaustive) 500 del vars, 451 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.19 c (round 33, fast) 500 del vars, 476 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.19 c (round 34, exhaustive) 525 del vars, 476 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.19 c (round 35, fast) 525 del vars, 501 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.20 c (round 36, exhaustive) 550 del vars, 501 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.20 c (round 37, fast) 550 del vars, 526 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.20 c (round 38, exhaustive) 575 del vars, 526 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.20 c (round 39, fast) 575 del vars, 551 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.21 c (round 40, exhaustive) 600 del vars, 551 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.22 c (round 41, fast) 600 del vars, 576 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.22 c (0.2s) probing: 1000/1800 (55.6%) - 0 fixings, 502 aggregations, 0 implications, 0 bound changes
0.09/0.22 c (round 42, exhaustive) 625 del vars, 576 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.22 c (round 43, fast) 625 del vars, 601 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.09/0.22 c (round 44, exhaustive) 650 del vars, 601 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.22 c (round 45, fast) 650 del vars, 626 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.23 c (round 46, exhaustive) 675 del vars, 626 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.23 c (round 47, fast) 675 del vars, 651 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.23 c (round 48, exhaustive) 700 del vars, 651 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.23 c (round 49, fast) 700 del vars, 676 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.24 c (round 50, exhaustive) 725 del vars, 676 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.24 c (round 51, fast) 725 del vars, 701 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.24 c (round 52, exhaustive) 750 del vars, 701 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.24 c (round 53, fast) 750 del vars, 726 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.24 c (round 54, exhaustive) 775 del vars, 726 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.25 c (round 55, fast) 775 del vars, 751 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.25 c (round 56, exhaustive) 800 del vars, 751 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.25 c (round 57, fast) 800 del vars, 776 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.25 c (round 58, exhaustive) 825 del vars, 776 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.25 c (round 59, fast) 825 del vars, 801 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.26 c (round 60, exhaustive) 850 del vars, 801 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.26 c (round 61, fast) 850 del vars, 826 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.26 c (round 62, exhaustive) 875 del vars, 826 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.26 c (round 63, fast) 875 del vars, 851 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 64, exhaustive) 900 del vars, 851 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 65, fast) 900 del vars, 876 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 66, exhaustive) 925 del vars, 876 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 67, fast) 925 del vars, 901 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 68, exhaustive) 950 del vars, 901 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.27 c (round 69, fast) 950 del vars, 926 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 0 clqs
0.21/0.28 c (0.3s) probing: 1748/1800 (97.1%) - 0 fixings, 850 aggregations, 0 implications, 0 bound changes
0.21/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.21/0.28 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.21/0.28 c (0.3s) no symmetry present (symcode time: 0.00)
0.21/0.28 c presolving (70 rounds: 70 fast, 35 medium, 35 exhaustive):
0.21/0.28 c 950 deleted vars, 926 deleted constraints, 0 added constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.21/0.28 c 850 implications, 0 cliques
0.21/0.28 c presolved problem has 950 variables (950 bin, 0 int, 0 impl, 0 cont) and 875 constraints
0.21/0.28 c 850 constraints of type <linear>
0.21/0.28 c 25 constraints of type <indicator>
0.21/0.28 c transformed objective value is always integral (scale: 1)
0.21/0.28 c Presolving Time: 0.26
0.21/0.28 c - non default parameters ----------------------------------------------------------------------
0.21/0.28 c # SCIP version 10.0.0
0.21/0.28 c
0.21/0.28 c # maximal time in seconds to run
0.21/0.28 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.21/0.28 c limits/time = 3596.993147
0.21/0.28 c
0.21/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.21/0.28 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.21/0.28 c limits/memory = 27900
0.21/0.28 c
0.21/0.28 c # belongs reading time to solving time?
0.21/0.28 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.21/0.28 c timing/reading = TRUE
0.21/0.28 c
0.21/0.28 c -----------------------------------------------------------------------------------------------
0.21/0.28 c start solving
0.21/0.28 c
0.21/0.28 o 420925
0.21/0.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.21/0.28 c t 0.3s| 1 | 0 | 0 | - | trivial| 0 | 950 | 875 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf | unknown
0.21/0.29 o 29848
0.21/0.29 c i 0.3s| 1 | 0 | 0 | - | oneopt| 0 | 950 | 875 | 850 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.984800e+04 | Inf | unknown
0.21/0.30 c 0.3s| 1 | 0 | 165 | - | 17M | 0 | 950 | 875 | 850 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.984800e+04 | Inf | unknown
0.21/0.30 o 21385
0.21/0.30 c r 0.3s| 1 | 0 | 165 | - |shifting| 0 | 950 | 875 | 850 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.138500e+04 | Inf | unknown
0.31/0.35 c 0.3s| 1 | 0 | 172 | - | 19M | 0 | 950 | 875 | 851 | 1 | 1 | 0 | 0 | 0.000000e+00 | 2.138500e+04 | Inf | unknown
0.31/0.39 c 0.4s| 1 | 0 | 217 | - | 23M | 0 | 950 | 875 | 852 | 2 | 2 | 0 | 0 | 0.000000e+00 | 2.138500e+04 | Inf | unknown
0.31/0.41 c 0.4s| 1 | 0 | 243 | - | 27M | 0 | 950 | 875 | 853 | 3 | 3 | 0 | 0 | 0.000000e+00 | 2.138500e+04 | Inf | unknown
0.41/0.44 c 0.4s| 1 | 0 | 275 | - | 32M | 0 | 950 | 875 | 854 | 4 | 4 | 0 | 0 | 0.000000e+00 | 2.138500e+04 | Inf | unknown
0.41/0.45 o 20459
0.41/0.45 c r 0.4s| 1 | 0 | 275 | - |shifting| 0 | 950 | 875 | 854 | 4 | 4 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.41/0.47 c 0.5s| 1 | 0 | 289 | - | 37M | 0 | 950 | 875 | 855 | 5 | 5 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.41/0.51 c 0.5s| 1 | 0 | 291 | - | 41M | 0 | 950 | 875 | 856 | 6 | 6 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.51/0.54 c 0.5s| 1 | 0 | 312 | - | 45M | 0 | 950 | 875 | 857 | 7 | 7 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.51/0.57 c 0.6s| 1 | 0 | 338 | - | 48M | 0 | 950 | 875 | 858 | 8 | 8 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.51/0.60 c 0.6s| 1 | 0 | 363 | - | 51M | 0 | 950 | 875 | 859 | 9 | 9 | 0 | 0 | 0.000000e+00 | 2.045900e+04 | Inf | unknown
0.51/0.60 o 19714
0.51/0.60 c r 0.6s| 1 | 0 | 363 | - |shifting| 0 | 950 | 875 | 859 | 9 | 9 | 0 | 0 | 0.000000e+00 | 1.971400e+04 | Inf | unknown
0.60/0.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.60/0.63 c 0.6s| 1 | 0 | 387 | - | 54M | 0 | 950 | 875 | 861 | 11 | 10 | 0 | 0 | 0.000000e+00 | 1.971400e+04 | Inf | unknown
0.60/0.64 o 14987
0.60/0.64 c r 0.6s| 1 | 0 | 387 | - |shifting| 0 | 950 | 875 | 861 | 11 | 10 | 0 | 0 | 0.000000e+00 | 1.498700e+04 | Inf | unknown
0.60/0.64 c 0.6s| 1 | 0 | 407 | - | 54M | 0 | 950 | 875 | 861 | 12 | 11 | 0 | 0 | 0.000000e+00 | 1.498700e+04 | Inf | unknown
0.68/0.74 o 769
0.68/0.74 c d 0.7s| 1 | 0 | 1228 | - |farkasdi| 0 | 950 | 875 | 861 | 0 | 11 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.68/0.77 c 0.8s| 1 | 0 | 1237 | - | 54M | 0 | 950 | 866 | 861 | 12 | 11 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.68/0.78 c 0.8s| 1 | 0 | 1251 | - | 55M | 0 | 950 | 866 | 862 | 13 | 12 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.68/0.78 c (run 1, node 1) restarting after 180 global fixings of integer variables
0.68/0.78 c
0.68/0.78 c (restart) converted 12 cuts from the global cut pool into linear constraints
0.68/0.78 c
0.78/0.80 c presolving:
0.78/0.80 c (round 1, fast) 180 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 14 clqs
0.78/0.80 c (round 2, exhaustive) 180 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 184 upgd conss, 850 impls, 14 clqs
0.78/0.81 c (round 3, exhaustive) 180 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 184 upgd conss, 850 impls, 14 clqs
0.78/0.81 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.78/0.81 c 180 deleted vars, 16 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 7 changed coefficients
0.78/0.81 c 850 implications, 14 cliques
0.78/0.81 c presolved problem has 770 variables (770 bin, 0 int, 0 impl, 0 cont) and 862 constraints
0.78/0.81 c 3 constraints of type <knapsack>
0.78/0.81 c 14 constraints of type <setppc>
0.78/0.81 c 678 constraints of type <linear>
0.78/0.81 c 167 constraints of type <logicor>
0.78/0.81 c transformed objective value is always integral (scale: 1)
0.78/0.81 c Presolving Time: 0.27
0.78/0.81 c transformed 1/12 original solutions to the transformed problem space
0.78/0.81 c
0.78/0.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.82 c 0.8s| 1 | 0 | 1405 | - | 53M | 0 | 770 | 862 | 862 | 0 | 0 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.78/0.84 c 0.8s| 1 | 0 | 1423 | - | 53M | 0 | 770 | 862 | 865 | 3 | 1 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.78/0.87 c 0.9s| 1 | 0 | 1438 | - | 54M | 0 | 770 | 862 | 867 | 5 | 2 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.78/0.90 c 0.9s| 1 | 0 | 1450 | - | 54M | 0 | 770 | 862 | 868 | 6 | 3 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.88/0.92 c 0.9s| 1 | 0 | 1471 | - | 54M | 0 | 770 | 862 | 869 | 7 | 4 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.88/0.95 c 0.9s| 1 | 0 | 1488 | - | 54M | 0 | 770 | 862 | 870 | 8 | 5 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.88/0.99 c 1.0s| 1 | 0 | 1502 | - | 56M | 0 | 770 | 862 | 871 | 9 | 6 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.99/1.02 c 1.0s| 1 | 0 | 1515 | - | 56M | 0 | 770 | 862 | 872 | 10 | 7 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.99/1.05 c 1.0s| 1 | 0 | 1531 | - | 57M | 0 | 770 | 862 | 874 | 12 | 8 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
0.99/1.08 c 1.1s| 1 | 0 | 1550 | - | 57M | 0 | 770 | 862 | 875 | 13 | 9 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
1.10/1.12 c 1.1s| 1 | 0 | 1589 | - | 60M | 0 | 770 | 862 | 876 | 14 | 10 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
1.10/1.13 c 1.1s| 1 | 0 | 1603 | - | 61M | 0 | 770 | 862 | 877 | 15 | 11 | 0 | 0 | 0.000000e+00 | 7.690000e+02 | Inf | unknown
1.19/1.21 o 398
1.19/1.21 c d 1.2s| 1 | 0 | 2227 | - |farkasdi| 0 | 770 | 862 | 877 | 0 | 11 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.28/1.35 c 1.3s| 1 | 0 | 2231 | - | 61M | 0 | 770 | 862 | 877 | 15 | 11 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.28/1.36 c 1.4s| 1 | 0 | 2246 | - | 62M | 0 | 770 | 863 | 879 | 17 | 12 | 1 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.28/1.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.36 c 1.4s| 1 | 0 | 2251 | - | 62M | 0 | 770 | 865 | 880 | 18 | 13 | 3 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.28/1.36 c (run 2, node 1) restarting after 322 global fixings of integer variables
1.28/1.36 c
1.28/1.36 c (restart) converted 18 cuts from the global cut pool into linear constraints
1.28/1.36 c
1.28/1.38 c presolving:
1.28/1.39 c (round 1, fast) 322 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 850 impls, 33 clqs
1.28/1.39 c (round 2, exhaustive) 322 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 330 upgd conss, 850 impls, 33 clqs
1.28/1.39 c (round 3, exhaustive) 322 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 330 upgd conss, 850 impls, 33 clqs
1.28/1.39 c (round 4, exhaustive) 322 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 330 upgd conss, 850 impls, 33 clqs
1.28/1.40 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1.28/1.40 c 322 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 23 changed coefficients
1.28/1.40 c 850 implications, 33 cliques
1.28/1.40 c presolved problem has 448 variables (448 bin, 0 int, 0 impl, 0 cont) and 884 constraints
1.28/1.40 c 7 constraints of type <knapsack>
1.28/1.40 c 33 constraints of type <setppc>
1.28/1.40 c 366 constraints of type <linear>
1.28/1.40 c 478 constraints of type <logicor>
1.28/1.40 c transformed objective value is always integral (scale: 1)
1.28/1.40 c Presolving Time: 0.28
1.38/1.40 c transformed 2/19 original solutions to the transformed problem space
1.38/1.40 c
1.38/1.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.40 c 1.4s| 1 | 0 | 2420 | - | 61M | 0 | 448 | 884 | 879 | 0 | 0 | 6 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 2438 | - | 62M | 0 | 448 | 885 | 881 | 2 | 1 | 7 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.38/1.45 c 1.4s| 1 | 0 | 2468 | - | 62M | 0 | 448 | 886 | 883 | 4 | 2 | 8 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 2496 | - | 62M | 0 | 448 | 888 | 885 | 6 | 3 | 10 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.38/1.50 c 1.5s| 1 | 0 | 2513 | - | 63M | 0 | 448 | 889 | 887 | 8 | 4 | 11 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.48/1.52 c 1.5s| 1 | 0 | 2535 | - | 63M | 0 | 448 | 890 | 888 | 9 | 5 | 12 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.48/1.55 c 1.5s| 1 | 0 | 2549 | - | 64M | 0 | 448 | 892 | 890 | 11 | 6 | 14 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.48/1.57 c 1.6s| 1 | 0 | 2572 | - | 64M | 0 | 448 | 893 | 891 | 12 | 7 | 15 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.58/1.60 c 1.6s| 1 | 0 | 2586 | - | 65M | 0 | 448 | 894 | 892 | 13 | 8 | 16 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.58/1.63 c 1.6s| 1 | 0 | 2593 | - | 65M | 0 | 448 | 895 | 894 | 15 | 9 | 17 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.58/1.65 c 1.6s| 1 | 0 | 2608 | - | 66M | 0 | 448 | 896 | 895 | 16 | 10 | 18 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.58/1.67 c 1.7s| 1 | 0 | 2622 | - | 66M | 0 | 448 | 901 | 897 | 18 | 11 | 23 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
1.88/1.96 c 2.0s| 1 | 2 | 3330 | - | 66M | 0 | 448 | 906 | 897 | 18 | 11 | 28 | 29 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
5.37/5.46 c 5.5s| 100 | 44 | 10564 | 93.1 | 73M | 15 | 448 |1088 | 867 | 156 | 1 | 210 | 630 | 0.000000e+00 | 3.980000e+02 | Inf | 1.73%
6.86/7.01 c 7.0s| 200 | 75 | 16837 | 78.0 | 73M | 20 | 448 |1215 | 0 | 319 | 0 | 337 | 728 | 0.000000e+00 | 3.980000e+02 | Inf | 2.89%
7.56/7.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.56/7.68 c 7.7s| 300 | 102 | 20410 | 63.9 | 74M | 21 | 448 |1334 | 0 | 370 | 0 | 462 | 783 | 0.000000e+00 | 3.980000e+02 | Inf | 3.26%
8.75/8.80 o 240
8.75/8.80 c * 8.8s| 395 | 100 | 25397 | 61.2 |strongbr| 23 | 448 |1261 | 870 | 506 | 1 | 570 | 825 | 0.000000e+00 | 2.400000e+02 | Inf | 4.20%
8.75/8.81 c 8.8s| 400 | 99 | 25528 | 60.8 | 74M | 23 | 448 |1252 | 868 | 506 | 0 | 574 | 827 | 0.000000e+00 | 2.400000e+02 | Inf | 4.36%
8.85/8.96 o 231
8.85/8.96 c r 8.9s| 409 | 102 | 26034 | 60.7 |shifting| 23 | 448 |1249 | 871 | 520 | 7 | 577 | 829 | 0.000000e+00 | 2.310000e+02 | Inf | 4.88%
9.06/9.11 o 196
9.06/9.11 c * 9.1s| 415 | 82 | 26330 | 60.5 | LP | 23 | 448 |1247 | 869 | 536 | 1 | 587 | 834 | 0.000000e+00 | 1.960000e+02 | Inf | 6.20%
9.06/9.12 o 126
9.06/9.12 c i 9.1s| 415 | 58 | 26330 | 60.5 | oneopt| 23 | 448 |1247 | 869 | 536 | 1 | 589 | 834 | 0.000000e+00 | 1.260000e+02 | Inf | 7.11%
9.25/9.30 o 26
9.25/9.30 c * 9.3s| 434 | 21 | 26991 | 59.4 | LP | 23 | 448 |1235 | 861 | 558 | 1 | 604 | 834 | 0.000000e+00 | 2.600000e+01 | Inf | 14.27%
9.45/9.54 c 9.5s| 500 | 17 | 28757 | 55.1 | 74M | 23 | 448 |1296 | 856 | 577 | 1 | 695 | 838 | 0.000000e+00 | 2.600000e+01 | Inf | 34.33%
9.85/9.96 o 6
9.85/9.96 c *10.0s| 597 | 18 | 31469 | 50.7 | LP | 23 | 448 |1359 | 859 | 626 | 2 | 795 | 841 | 0.000000e+00 | 6.000000e+00 | Inf | 54.41%
9.85/9.98 c 10.0s| 600 | 17 | 31570 | 50.6 | 74M | 23 | 448 |1318 | 0 | 629 | 0 | 801 | 841 | 0.000000e+00 | 6.000000e+00 | Inf | 56.36%
10.35/10.41 c 10.4s| 700 | 10 | 33461 | 46.1 | 75M | 23 | 448 |1405 | 856 | 685 | 1 | 922 | 842 | 0.000000e+00 | 6.000000e+00 | Inf | 76.97%
10.65/10.72 c 10.7s| 800 | 12 | 35730 | 43.2 | 81M | 23 | 448 |1537 | 0 | 754 | 0 |1069 | 843 | 0.000000e+00 | 6.000000e+00 | Inf | 77.72%
10.85/10.97 c 11.0s| 900 | 14 | 37978 | 40.9 | 81M | 23 | 448 |1650 | 862 | 795 | 1 |1195 | 844 | 0.000000e+00 | 6.000000e+00 | Inf | 80.25%
11.24/11.31 c
11.24/11.31 c SCIP Status : problem is solved [optimal solution found]
11.24/11.31 c Solving Time (sec) : 11.31
11.24/11.31 c Solving Nodes : 997 (total of 999 nodes in 3 runs)
11.24/11.31 c Primal Bound : +6.00000000000000e+00 (47 solutions)
11.24/11.31 c Dual Bound : +6.00000000000000e+00
11.24/11.31 c Gap : 0.00 %
11.24/11.31 s OPTIMUM FOUND
11.24/11.31 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178
11.24/11.31 v x177 x176 -x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 x156 -x155
11.24/11.31 v -x154 x153 -x152 x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 -x138 x137 x136 -x135 x134 -x133 -x132
11.24/11.31 v x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 x118 -x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
11.24/11.31 v -x108 x107 -x106 x105 -x104 x103 x102 -x101 -x100 x99 x98 -x97 x96 -x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84
11.24/11.31 v x83 x82 -x81 x80 -x79 -x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 -x62 x61 x60 -x59 x58 -x57 -x56
11.24/11.31 v x55 -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 x28
11.24/11.31 v -x27 x26 -x25 x24 -x23 x22 -x21 -x20 x19 -x18 x17 x16 -x15 x14 -x13 -x12 x11 x10 -x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
11.24/11.31 c SCIP Status : problem is solved [optimal solution found]
11.24/11.31 c Total Time : 11.31
11.24/11.31 c solving : 11.31
11.24/11.31 c presolving : 0.28 (included in solving)
11.24/11.31 c reading : 0.01 (included in solving)
11.24/11.31 c copying : 0.03 (6 #copies) (minimal 0.00, maximal 0.00, average 0.00)
11.24/11.31 c Original Problem :
11.24/11.31 c Problem name : HOME/instance-4425232-1720889854.wbo
11.24/11.31 c Variables : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
11.24/11.31 c Constraints : 1801 initial, 1801 maximal
11.24/11.31 c Objective : minimize, 850 non-zeros (abs.min = 1, abs.max = 1000)
11.24/11.31 c Presolved Problem :
11.24/11.31 c Problem name : t_HOME/instance-4425232-1720889854.wbo
11.24/11.31 c Variables : 448 (448 binary, 0 integer, 0 implicit integer, 0 continuous)
11.24/11.31 c Constraints : 884 initial, 1699 maximal
11.24/11.31 c Objective : minimize, 348 non-zeros (abs.min = 1, abs.max = 394)
11.24/11.31 c Nonzeros : 6968 constraint, 76 clique table
11.24/11.31 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
11.24/11.31 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c domcol : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
11.24/11.31 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.24/11.31 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
11.24/11.31 c implics : 0.00 0.00 42 0 0 0 0 0 0 0 0 0
11.24/11.31 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.24/11.31 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c trivial : 0.00 0.00 79 502 0 0 0 0 0 0 0 0
11.24/11.31 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c dualfix : 0.00 0.00 79 0 0 0 0 0 0 0 0 0
11.24/11.31 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c probing : 0.16 0.00 35 0 850 0 0 0 0 0 0 0
11.24/11.31 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.24/11.31 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.24/11.31 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.24/11.31 c knapsack : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
11.24/11.31 c setppc : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
11.24/11.31 c linear : 0.08 0.00 121 0 100 0 850 0 101 0 0 0
11.24/11.31 c logicor : 0.00 0.00 18 0 0 0 0 0 2 0 0 30
11.24/11.31 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c indicator : 0.00 0.00 37 0 0 0 0 0 841 0 0 0
11.24/11.31 c components : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
11.24/11.31 c root node : - - - 891 - - 891 - - - - -
11.24/11.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
11.24/11.31 c benderslp : 0 0 0 0 730 0 0 313 0 0 0 0 0 0 0
11.24/11.31 c integral : 0 0 0 0 730 0 0 313 0 1 312 0 0 335 1272
11.24/11.31 c knapsack : 7 7 23 9333 0 0 0 0 507 2 291 0 0 0 0
11.24/11.31 c setppc : 33+ 39 23 9632 3 0 0 68 2293 20 1678 0 0 0 0
11.24/11.31 c linear : 366+ 381 35 15467 3 0 0 289 4453 157 5558 0 0 0 0
11.24/11.31 c logicor : 478+ 1279 23 7381 3 0 0 35 6751 346 7545 0 0 0 0
11.24/11.31 c benders : 0 0 0 0 3 0 0 49 0 0 0 0 0 0 0
11.24/11.31 c fixedvar : 0 0 0 0 3 0 0 49 0 0 0 0 0 0 0
11.24/11.31 c countsols : 0 0 0 0 3 0 0 49 0 0 0 0 0 0 0
11.24/11.31 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
11.24/11.31 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c integral : 2.20 0.00 0.00 0.00 2.20 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c knapsack : 0.04 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.01
11.24/11.31 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
11.24/11.31 c linear : 0.12 0.00 0.00 0.08 0.00 0.00 0.00 0.01 0.00 0.02
11.24/11.31 c logicor : 0.11 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.02
11.24/11.31 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
11.24/11.31 c dualfix : 8 0 0 0
11.24/11.31 c genvbounds : 0 0 0 0
11.24/11.31 c nlobbt : 0 0 0 0
11.24/11.31 c obbt : 0 0 0 0
11.24/11.31 c probing : 0 0 0 0
11.24/11.31 c pseudoobj : 6196 931 3 9283
11.24/11.31 c redcost : 2357 0 0 13206
11.24/11.31 c rootredcost : 6 0 0 331
11.24/11.31 c symmetry : 0 0 0 0
11.24/11.31 c vbounds : 5317 0 0 0
11.24/11.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
11.24/11.31 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c probing : 0.16 0.00 0.16 0.00 0.00 0.00
11.24/11.31 c pseudoobj : 0.02 0.00 0.00 0.02 0.01 0.00
11.24/11.31 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
11.24/11.31 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
11.24/11.31 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
11.24/11.31 c Symmetry :
11.24/11.31 c orbitopal red. : 0 reductions applied, 0 cutoffs
11.24/11.31 c orbital reduction: 0 reductions applied, 0 cutoffs
11.24/11.31 c lexicographic red: 0 reductions applied, 0 cutoffs
11.24/11.31 c shadow tree time : 0.00 s
11.24/11.31 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
11.24/11.31 c propagation : 0.02 527 472 - 1824 13.7 32 6.9 - - -
11.24/11.31 c infeasible LP : 0.01 51 46 - 220 14.8 0 0.0 47 17.8 0
11.24/11.31 c bound exceed. LP : 0.03 91 52 - 300 20.5 0 0.0 0 0.0 378
11.24/11.31 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
11.24/11.31 c pseudo solution : 0.00 17 17 - 21 4.5 0 0.0 - - -
11.24/11.31 c applied globally : 0.00 - - 0 1239 12.8 - - 46 - -
11.24/11.31 c applied locally : - - - 0 0 0.0 - - 1 - -
11.24/11.31 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
11.24/11.31 c cut pool : 0.28 - 647 69 - - 14062 20274 - - - - - (maximal pool size: 3598)
11.24/11.31 c aggregation : 0.28 0.00 356 35 0 0 11 12 0 9 9 0 0
11.24/11.31 c > cmir : - - - - - - - 7 0 5 5 0 -
11.24/11.31 c > flowcover : - - - - - - - 3 0 3 3 0 -
11.24/11.31 c > knapsackcover : - - - - - - - 2 0 1 1 0 -
11.24/11.31 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c clique : 0.00 0.00 24 24 0 0 0 0 0 0 0 0 0
11.24/11.31 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c gomory : 4.57 0.00 282 30 0 0 14750 19089 1096 334 277 57 0
11.24/11.31 c > gomorymi : - - - - - - - 10281 548 160 131 29 -
11.24/11.31 c > strongcg : - - - - - - - 8808 548 174 146 28 -
11.24/11.31 c impliedbounds : 0.00 0.00 356 35 0 0 0 0 0 0 0 0 0
11.24/11.31 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c mcf : 0.00 0.00 3 3 0 0 0 0 0 0 0 0 0
11.24/11.31 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c multilinear : 0.00 0.00 89 35 0 0 0 0 0 0 0 0 0
11.24/11.31 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.24/11.31 c rlt : 0.00 0.00 114 30 0 0 0 0 0 0 0 0 0
11.24/11.31 c zerohalf : 0.16 0.00 287 35 0 0 517 1173 120 564 495 69 0
11.24/11.31 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
11.24/11.31 c hybrid : 0.03 0.00 346 36 872 39 20618 49 0 9289
11.24/11.31 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.31 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.31 c Pricers : ExecTime SetupTime Calls Vars
11.24/11.31 c problem variables: 0.00 - 0 0
11.24/11.31 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
11.24/11.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.31 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.31 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c random : 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c relpscost : 2.20 0.00 727 0 0 1 312 0 336 1272
11.24/11.32 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
11.24/11.32 c Primal Heuristics : ExecTime SetupTime Calls Found Best
11.24/11.32 c LP solutions : 0.00 - - 3 3
11.24/11.32 c relax solutions : 0.00 - - 0 0
11.24/11.32 c pseudo solutions : 0.00 - - 0 0
11.24/11.32 c strong branching : 0.00 - - 1 1
11.24/11.32 c actconsdiving : 0.00 0.00 0 0 0
11.24/11.32 c adaptivediving : 0.00 0.00 3 0 0
11.24/11.32 c alns : 0.01 0.00 1 0 0
11.24/11.32 c bound : 0.00 0.00 0 0 0
11.24/11.32 c clique : 0.00 0.00 1 0 0
11.24/11.32 c coefdiving : 0.00 0.00 0 0 0
11.24/11.32 c completesol : 0.00 0.00 0 0 0
11.24/11.32 c conflictdiving : 0.01 0.00 3 0 0
11.24/11.32 c crossover : 0.03 0.00 1 1 0
11.24/11.32 c dins : 0.00 0.00 0 0 0
11.24/11.32 c distributiondivin: 0.01 0.00 1 0 0
11.24/11.32 c dps : 0.00 0.00 0 0 0
11.24/11.32 c dualval : 0.00 0.00 0 0 0
11.24/11.32 c farkasdiving : 0.24 0.00 4 2 2
11.24/11.32 c feasjump : 0.00 0.00 0 0 0
11.24/11.32 c feaspump : 0.00 0.00 0 0 0
11.24/11.32 c fixandinfer : 0.00 0.00 0 0 0
11.24/11.32 c fracdiving : 0.00 0.00 3 0 0
11.24/11.32 c gins : 0.00 0.00 0 0 0
11.24/11.32 c guideddiving : 0.00 0.00 2 0 0
11.24/11.32 c indcoefdiving : 0.00 0.00 0 0 0
11.24/11.32 c indicator : 0.00 0.00 0 0 0
11.24/11.32 c indicatordiving : 0.00 0.00 0 0 0
11.24/11.32 c indoneopt : 0.02 0.00 6 0 0
11.24/11.32 c indrounding : 0.00 0.00 0 0 0
11.24/11.32 c indtwoopt : 0.00 0.00 0 0 0
11.24/11.32 c intdiving : 0.00 0.00 0 0 0
11.24/11.32 c intshifting : 0.00 0.00 0 0 0
11.24/11.32 c linesearchdiving : 0.00 0.00 2 0 0
11.24/11.32 c localbranching : 0.00 0.00 0 0 0
11.24/11.32 c locks : 0.01 0.00 1 0 0
11.24/11.32 c lpface : 0.58 0.00 1 0 0
11.24/11.32 c mpec : 0.00 0.00 0 0 0
11.24/11.32 c multistart : 0.00 0.00 0 0 0
11.24/11.32 c mutation : 0.00 0.00 0 0 0
11.24/11.32 c nlpdiving : 0.00 0.00 0 0 0
11.24/11.32 c objpscostdiving : 0.00 0.00 1 0 0
11.24/11.32 c octane : 0.00 0.00 0 0 0
11.24/11.32 c ofins : 0.00 0.00 0 0 0
11.24/11.32 c oneopt : 0.00 0.00 12 2 2
11.24/11.32 c padm : 0.00 0.00 0 0 0
11.24/11.32 c proximity : 0.00 0.00 0 0 0
11.24/11.32 c pscostdiving : 0.01 0.00 3 0 0
11.24/11.32 c randrounding : 0.06 0.00 52 0 0
11.24/11.32 c rens : 0.27 0.00 3 0 0
11.24/11.32 c reoptsols : 0.00 0.00 0 0 0
11.24/11.32 c repair : 0.00 0.00 0 0 0
11.24/11.32 c rins : 0.01 0.00 1 0 0
11.24/11.32 c rootsoldiving : 0.02 0.00 2 0 0
11.24/11.32 c rounding : 0.02 0.00 402 0 0
11.24/11.32 c scheduler : 0.00 0.00 0 0 0
11.24/11.32 c shiftandpropagate: 0.00 0.00 0 0 0
11.24/11.32 c shifting : 0.09 0.00 426 36 5
11.24/11.32 c simplerounding : 0.00 0.00 1089 0 0
11.24/11.32 c smallcard : 0.00 0.00 0 0 0
11.24/11.32 c subnlp : 0.00 0.00 0 0 0
11.24/11.32 c trivial : 0.00 0.00 6 2 1
11.24/11.32 c trivialnegation : 0.00 0.00 0 0 0
11.24/11.32 c trustregion : 0.00 0.00 0 0 0
11.24/11.32 c trysol : 0.00 0.00 0 0 0
11.24/11.32 c twoopt : 0.00 0.00 0 0 0
11.24/11.32 c undercover : 0.00 0.00 0 0 0
11.24/11.32 c vbounds : 0.00 0.00 0 0 0
11.24/11.32 c veclendiving : 0.00 0.00 3 0 0
11.24/11.32 c zeroobj : 0.00 0.00 0 0 0
11.24/11.32 c zirounding : 0.03 0.00 638 0 0
11.24/11.32 c other solutions : - - - 0 -
11.24/11.32 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
11.24/11.32 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
11.24/11.32 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
11.24/11.32 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
11.24/11.32 c primal LP : 0.02 95 0 0.00 0.00 0.02 95
11.24/11.32 c dual LP : 1.34 1681 35847 30.98 26801.36 0.11 524
11.24/11.32 c lex dual LP : 0.00 0 0 0.00 -
11.24/11.32 c barrier LP : 0.00 0 0 0.00 - 0.00 0
11.24/11.32 c resolve instable : 0.00 0 0 0.00 -
11.24/11.32 c diving/probing LP: 0.45 336 4240 12.62 9373.25
11.24/11.32 c strong branching : 1.72 844 49570 58.73 28873.03 - - 46
11.24/11.32 c (at root node) : - 29 2031 70.03 -
11.24/11.32 c conflict analysis: 0.01 39 378 9.69 31549.95
11.24/11.32 c B&B Tree :
11.24/11.32 c number of runs : 3
11.24/11.32 c nodes : 997 (636 internal, 361 leaves)
11.24/11.32 c feasible leaves : 3
11.24/11.32 c infeas. leaves : 325
11.24/11.32 c objective leaves : 33
11.24/11.32 c nodes (total) : 999 (636 internal, 363 leaves)
11.24/11.32 c nodes left : 0
11.24/11.32 c max depth : 23
11.24/11.32 c max depth (total): 23
11.24/11.32 c backtracks : 209 (21.0%)
11.24/11.32 c early backtracks : 0 (0.0%)
11.24/11.32 c nodes exc. ref. : 0 (0.0%)
11.24/11.32 c delayed cutoffs : 153
11.24/11.32 c repropagations : 673 (5279 domain reductions, 134 cutoffs)
11.24/11.32 c avg switch length: 3.32
11.24/11.32 c switching time : 0.13
11.24/11.32 c Root Node :
11.24/11.32 c First LP value : +0.00000000000000e+00
11.24/11.32 c First LP Iters : 165 (30789.33 Iter/sec)
11.24/11.32 c First LP Time : 0.01
11.24/11.32 c Final Dual Bound : +6.00000000000000e+00
11.24/11.32 c Final Root Iters : 1164
11.24/11.32 c Root LP Estimate : +1.70465108495470e+02
11.24/11.32 c Solution :
11.24/11.32 c Solutions found : 47 (14 improvements)
11.24/11.32 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.28 seconds, depth 0, found by <trivial>)
11.24/11.32 c Gap First Sol. : infinite
11.24/11.32 c Gap Last Sol. : infinite
11.24/11.32 c Primal Bound : +6.00000000000000e+00 (in run 3, after 597 nodes, 9.96 seconds, depth 10, found by <relaxation>)
11.24/11.32 c Dual Bound : +6.00000000000000e+00
11.24/11.32 c Gap : 0.00 %
11.24/11.32 c Integrals : Total Avg%
11.24/11.32 c primal-dual : 1130.52 100.00
11.24/11.32 c primal-ref : - - (not evaluated)
11.24/11.32 c dual-ref : - - (not evaluated)
11.24/11.33 c Time complete: 11.2845.
OK 6
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61538 MiB free)
memory of node 1: 64473 MiB (59741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425232-1720889854/watcher-4425232-1720889854 -o /tmp/evaluation-result-4425232-1720889854/solver-4425232-1720889854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425232-1720889854.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=709656, runsolver pid=709653
[startup+0.100198 s]*
/proc/loadavg: 4.62 4.27 4.21 5/244 709657
/proc/meminfo: memFree=124177108/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=66840 memory=27776 CPUtime=0.09 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 3632 0 0 0 9 0 0 0 20 0 1 0 141142589 68444160 6944 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 16710 6944 3625 3540 0 4967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 27776 KiB
[startup+0.213021 s]*
/proc/loadavg: 4.62 4.27 4.21 5/244 709657
/proc/meminfo: memFree=124176044/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=67608 memory=28304 CPUtime=0.21 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 3824 0 0 0 21 0 0 0 20 0 1 0 141142589 69230592 7076 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 16902 7076 3625 3540 0 5159 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67608 KiB
Current children cumulated memory: 28304 KiB
[startup+0.312313 s]*
/proc/loadavg: 4.62 4.27 4.21 5/244 709658
/proc/meminfo: memFree=124171144/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=74528 memory=34456 CPUtime=0.31 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 5104 0 0 0 30 1 0 0 20 0 1 0 141142589 76316672 8614 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 18632 8614 3865 3540 0 6889 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74528 KiB
Current children cumulated memory: 34456 KiB
[startup+0.70034 s]
/proc/loadavg: 4.62 4.27 4.21 5/244 709658
/proc/meminfo: memFree=124149500/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=110280 memory=67004 CPUtime=0.68 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 13272 0 0 0 66 2 0 0 20 0 1 0 141142589 112926720 16751 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 27570 16751 3865 3540 0 15827 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110280 KiB
Current children cumulated memory: 67004 KiB
[startup+1.50028 s]
/proc/loadavg: 4.62 4.27 4.21 5/244 709658
/proc/meminfo: memFree=124130932/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=125788 memory=82040 CPUtime=1.48 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 17147 0 0 0 145 3 0 0 20 0 1 0 141142589 128806912 20510 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 31447 20510 4005 3540 0 19704 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125788 KiB
Current children cumulated memory: 82040 KiB
[startup+3.11304 s]
/proc/loadavg: 4.65 4.29 4.22 5/244 709658
/proc/meminfo: memFree=124089872/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=157088 memory=113780 CPUtime=3.09 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25686 0 0 0 305 4 0 0 20 0 1 0 141142589 160858112 28445 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39272 28445 4008 3540 0 27529 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157088 KiB
Current children cumulated memory: 113780 KiB
[startup+6.30031 s]
/proc/loadavg: 4.65 4.29 4.22 5/244 709658
/proc/meminfo: memFree=124051052/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=6.26 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25840 0 0 0 622 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+11.3416 s]
# the end of solver process 709656 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.242 s, system=0.05164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40036 s]
/proc/loadavg: 4.65 4.29 4.22 5/244 709658
/proc/meminfo: memFree=124051052/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=6.36 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25840 0 0 0 632 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+9.60029 s]
/proc/loadavg: 4.68 4.30 4.22 5/244 709658
/proc/meminfo: memFree=124050444/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=9.55 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25850 0 0 0 951 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+10.4003 s]
/proc/loadavg: 4.68 4.30 4.22 5/244 709658
/proc/meminfo: memFree=124050424/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=10.35 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25850 0 0 0 1031 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+10.8003 s]
/proc/loadavg: 4.68 4.30 4.22 5/244 709658
/proc/meminfo: memFree=124050424/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=10.75 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25893 0 0 0 1071 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+11.2003 s]
/proc/loadavg: 4.68 4.30 4.22 5/244 709660
/proc/meminfo: memFree=124049852/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=11.14 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25893 0 0 0 1110 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 11.14 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
[startup+11.3003 s]
/proc/loadavg: 4.68 4.30 4.22 5/244 709660
/proc/meminfo: memFree=124049852/131655788 swapFree=131071996/131071996
[pid=709656] ppid=709653 vsize=156524 memory=113836 CPUtime=11.24 cores=0,2
/proc/709656/stat : 709656 (pbscip) R 709653 709656 703890 0 -1 4194304 25893 0 0 0 1120 4 0 0 20 0 1 0 141142589 160280576 28459 134679101440 4194304 18693293 140729117971680 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56217600 140729117979640 140729117979739 140729117979739 140729117986766 0
/proc/709656/statm: 39131 28459 4008 3540 0 27388 0
Current children cumulated CPU time: 11.24 s
Current children cumulated vsize: 156524 KiB
Current children cumulated memory: 113836 KiB
Child status: 0
Real time (s): 11.3417
CPU time (s): 11.2936
CPU user time (s): 11.242
CPU system time (s): 0.05164
CPU usage (%): 99.5765
Max. virtual memory (cumulated for all children) (KiB): 160132
Max. memory (cumulated for all children) (KiB): 116368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.242
system time used= 0.05164
maximum resident set size= 116368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 92
# summary of solver processes directly reported to runsolver:
# pid: 709656
# total CPU time (s): 11.2936
# total CPU user time (s): 11.242
# total CPU system time (s): 0.05164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09273 second user time and 0.170251 second system time
The end
Begin job on nodeC011 at 2024-07-13 18:57:47 IDJOB=4425232 IDBENCH=144060 IDSOLVER=3038 FILE ID=nodeC011/4425232-1720889854 RUNJOBID= nodeC011-1720885247-703900 SLURM_JOB_ID= 7485791 Free space on /tmp= 723720 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/jnh/normalized-jnh16_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425232-1720889854/watcher-4425232-1720889854 -o /tmp/evaluation-result-4425232-1720889854/solver-4425232-1720889854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425232-1720889854.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dabc75a1324f8759f1d0112902e45697 RANDOM SEED=924576963 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.192 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3645.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.125 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.143 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3621.184 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3638.338 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.336 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124191188 kB MemAvailable: 125398488 kB Buffers: 333720 kB Cached: 1705504 kB SwapCached: 0 kB Active: 519528 kB Inactive: 6399888 kB Active(anon): 1428 kB Inactive(anon): 4916468 kB Active(file): 518100 kB Inactive(file): 1483420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18832 kB Writeback: 0 kB AnonPages: 4879596 kB Mapped: 136032 kB Shmem: 37704 kB KReclaimable: 91960 kB Slab: 186356 kB SReclaimable: 91960 kB SUnreclaim: 94396 kB KernelStack: 3888 kB PageTables: 19784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 6030076 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46080 kB HardwareCorrupted: 0 kB AnonHugePages: 1609728 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723700 MiB End job on nodeC011 at 2024-07-13 18:57:58