| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | ? (TO) | 3600.12 | 3611.5 |
| Name | PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb |
| MD5SUM | 623011bcb799422f8ca68e1af7825a24 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47741 |
| Best CPU time to get the best result obtained on this benchmark | 21.3279 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 211564 |
| Total number of constraints | 2445434 |
| Number of constraints which are clauses | 2445434 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 579 |
| Number of terms in the objective function | 18980 |
| Biggest coefficient in the objective function | 581 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 10690980 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 581 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 10690980 |
| Number of bits of the biggest sum of numbers | 24 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4506377-1751494080.opb>
4.38/4.41 c original problem has 211564 variables (211564 bin, 0 int, 0 cont) and 2445434 constraints
4.38/4.41 c problem read in 4.409 seconds
8.07/8.13 c presolving:
13.35/13.45 c (round 1, fast) 135931 del vars, 1692923 del conss, 0 add conss, 135435 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 388159 clqs
14.06/14.18 c (round 2, fast) 137452 del vars, 1892845 del conss, 0 add conss, 135503 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 387464 clqs
14.25/14.37 c (round 3, fast) 140183 del vars, 1915375 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 51 chg coeffs, 0 upgd conss, 0 impls, 366188 clqs
14.35/14.46 c (round 4, fast) 140765 del vars, 1917051 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 52 chg coeffs, 0 upgd conss, 0 impls, 364698 clqs
15.15/15.24 c (15.2s) running MILP presolver
21.04/21.12 c (21.1s) MILP presolver (11 rounds): 1589 aggregations, 784 fixings, 0 bound changes
21.23/21.34 c (round 5, medium) 143139 del vars, 1917051 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 52 chg coeffs, 0 upgd conss, 0 impls, 351623 clqs
21.93/22.03 c (round 6, fast) 143155 del vars, 1931649 del conss, 0 add conss, 135503 chg bounds, 30 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 352450 clqs
23.82/23.94 c (round 7, exhaustive) 143198 del vars, 1931694 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 511829 upgd conss, 0 impls, 352407 clqs
24.22/24.39 c (round 8, fast) 143348 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 511829 upgd conss, 0 impls, 351166 clqs
25.52/25.62 c (round 9, exhaustive) 143348 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 513740 upgd conss, 0 impls, 351166 clqs
28.11/28.28 c (round 10, exhaustive) 143701 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1459 chg coeffs, 513740 upgd conss, 0 impls, 351165 clqs
28.31/28.49 c (round 11, fast) 145210 del vars, 1944412 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340702 clqs
28.61/28.70 c (round 12, fast) 145550 del vars, 1944578 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340536 clqs
31.40/31.56 c (round 13, exhaustive) 145846 del vars, 1944592 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340531 clqs
31.60/31.77 c (round 14, fast) 145985 del vars, 1945021 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340657 clqs
31.80/31.98 c (round 15, fast) 146122 del vars, 1945147 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340531 clqs
34.49/34.61 c (round 16, exhaustive) 146365 del vars, 1945147 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340530 clqs
34.69/34.80 c (round 17, fast) 146478 del vars, 1945495 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340639 clqs
34.79/34.98 c (round 18, fast) 146597 del vars, 1945605 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340529 clqs
37.18/37.39 c (round 19, exhaustive) 146792 del vars, 1945605 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340527 clqs
37.38/37.58 c (round 20, fast) 146888 del vars, 1945891 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340613 clqs
37.58/37.77 c (round 21, fast) 146979 del vars, 1945978 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
39.98/40.18 c (round 22, exhaustive) 147140 del vars, 1945978 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
40.18/40.37 c (round 23, fast) 147216 del vars, 1946208 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340594 clqs
40.37/40.55 c (round 24, fast) 147289 del vars, 1946276 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
43.07/43.22 c (round 25, exhaustive) 147415 del vars, 1946278 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340524 clqs
43.27/43.43 c (round 26, fast) 147479 del vars, 1946459 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340573 clqs
43.47/43.63 c (round 27, fast) 147533 del vars, 1946509 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340523 clqs
46.06/46.23 c (round 28, exhaustive) 147633 del vars, 1946512 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340519 clqs
46.26/46.42 c (round 29, fast) 147688 del vars, 1946664 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2882 chg coeffs, 513740 upgd conss, 0 impls, 340560 clqs
48.75/48.99 c (round 30, exhaustive) 147812 del vars, 1946706 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2882 chg coeffs, 513740 upgd conss, 0 impls, 340518 clqs
48.95/49.18 c (round 31, fast) 147871 del vars, 1946838 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2964 chg coeffs, 513740 upgd conss, 0 impls, 340550 clqs
52.04/52.24 c (round 32, exhaustive) 147972 del vars, 1946871 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2964 chg coeffs, 513740 upgd conss, 0 impls, 340517 clqs
52.54/52.78 c (round 33, medium) 148042 del vars, 1947007 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3032 chg coeffs, 513740 upgd conss, 0 impls, 340517 clqs
55.62/55.83 c (round 34, exhaustive) 148101 del vars, 1947008 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3032 chg coeffs, 513740 upgd conss, 0 impls, 340516 clqs
56.12/56.37 c (round 35, medium) 148152 del vars, 1947110 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3083 chg coeffs, 513740 upgd conss, 0 impls, 340516 clqs
81.01/81.37 c (81.4s) probing: 205/63583 (0.3%) - 0 fixings, 0 aggregations, 28 implications, 0 bound changes
81.01/81.37 c (81.4s) probing aborted: 50/50 successive totally useless probings
83.60/83.91 c (83.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
84.70/85.08 c (85.1s) symmetry computation finished: 1006 generators found (max: 1006, log10 of symmetry group size: 853.01) (symcode time: 0.37)
92.07/92.45 c dynamic symmetry handling statistics:
92.07/92.45 c orbitopal reduction: no components
92.07/92.45 c orbital reduction: 149 components of sizes 7, 5, 7, 14, 3, 6, 6, 14, 7, 5, 3, 5, 3, 6, 5, 7, 5, 7, 6, 12, 6, 6, 10, 7, 6, 7, 3, 7, 6, 5, 12, 3, 3, 6, 12, 3, 3, 5, 7, 7, 13, 12, 5, 5, 6, 5, 5, 8, 5, 5, 6, 8, 6, 6, 8, 13, 13, 8, 5, 5, 5, 14, 8, 12, 5, 5, 7, 5, 12, 5, 7, 7, 6, 6, 10, 5, 4, 7, 5, 7, 3, 7, 5, 12, 7, 8, 5, 7, 5, 5, 5, 14, 7, 7, 5, 5, 5, 3, 3, 3, 5, 13, 5, 3, 5, 5, 13, 13, 13, 5, 13, 13, 5, 5, 6, 6, 14, 14, 5, 5, 5, 5, 14, 6, 5, 5, 5, 3, 4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 5
92.07/92.45 c lexicographic reduction: 949 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
92.07/92.45 c handled 200 out of 200 symmetry components
92.57/92.97 c presolving (36 rounds: 36 fast, 16 medium, 13 exhaustive):
92.57/92.97 c 150254 deleted vars, 1949072 deleted constraints, 57 added constraints, 135503 tightened bounds, 0 added holes, 42 changed sides, 3130 changed coefficients
92.57/92.97 c 0 implications, 340601 cliques
92.57/92.97 c presolved problem has 61529 variables (61529 bin, 0 int, 0 cont) and 496419 constraints
92.57/92.97 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
92.57/92.97 c 340478 constraints of type <setppc>
92.57/92.97 c 57 constraints of type <linear>
92.57/92.97 c 155884 constraints of type <logicor>
92.57/92.97 c transformed objective value is always integral (scale: 1)
92.57/92.97 c Presolving Time: 84.92
92.57/92.97 c
92.57/92.97 c - non default parameters ----------------------------------------------------------------------
92.57/92.97 c
92.57/92.97 c # SCIP version 10.0.0
92.57/92.97 c
92.57/92.97 c # maximal time in seconds to run
92.57/92.97 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
92.57/92.97 c limits/time = 3596.998009
92.57/92.97 c
92.57/92.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
92.57/92.97 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
92.57/92.97 c limits/memory = 27900
92.57/92.97 c
92.57/92.97 c # belongs reading time to solving time?
92.57/92.97 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
92.57/92.97 c timing/reading = TRUE
92.57/92.97 c
92.57/92.97 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
92.57/92.97 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
92.57/92.97 c reading/opbreader/maxintsize = 47
92.57/92.97 c
92.57/92.97 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
92.57/92.97 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
92.57/92.97 c propagating/genvbounds/timingmask = 0
92.57/92.97 c
92.57/92.97 c -----------------------------------------------------------------------------------------------
92.68/93.03 c
109.12/109.54 o 6156140
109.12/109.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
109.12/109.54 c p 110s| 1 | 0 | 0 | - | locks| 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 9.303000e+03 | 6.156140e+06 | Large | unknown
109.52/109.97 o 635300
109.52/109.97 c i 110s| 1 | 0 | 0 | - | oneopt| 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 9.303000e+03 | 6.353000e+05 |6728.98%| unknown
339.73/340.82 c 341s| 1 | 0 | 80856 | - | 3425M | 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 1.714750e+04 | 6.353000e+05 |3604.91%| unknown
1527.43/1532.26 c 1532s| 1 | 0 |152570 | - | 3533M | 0 | 61k| 496k| 496k| 150 | 1 | 10 | 0 | 1.763467e+04 | 6.353000e+05 |3502.56%| unknown
1848.52/1854.38 c 1854s| 1 | 0 |190723 | - | 3587M | 0 | 61k| 496k| 496k| 247 | 2 | 11 | 0 | 2.407658e+04 | 6.353000e+05 |2538.66%| unknown
2145.45/2152.22 c 2152s| 1 | 0 |217863 | - | 3635M | 0 | 61k| 496k| 496k| 359 | 3 | 12 | 0 | 2.627083e+04 | 6.353000e+05 |2318.27%| unknown
2263.07/2270.21 c 2270s| 1 | 0 |230720 | - | 3686M | 0 | 61k| 496k| 496k| 439 | 4 | 13 | 0 | 2.767310e+04 | 6.353000e+05 |2195.73%| unknown
2402.42/2410.01 c 2410s| 1 | 0 |245349 | - | 3737M | 0 | 61k| 496k| 496k| 529 | 5 | 13 | 0 | 2.925115e+04 | 6.353000e+05 |2071.88%| unknown
2452.15/2459.97 c 2460s| 1 | 0 |252879 | - | 3785M | 0 | 61k| 496k| 497k| 597 | 6 | 14 | 0 | 2.973582e+04 | 6.353000e+05 |2036.48%| unknown
2482.65/2490.57 c 2491s| 1 | 0 |255569 | - | 3840M | 0 | 61k| 496k| 497k| 652 | 7 | 14 | 0 | 3.022032e+04 | 6.353000e+05 |2002.23%| unknown
2526.20/2534.28 c 2534s| 1 | 0 |261640 | - | 3891M | 0 | 61k| 496k| 497k| 700 | 8 | 15 | 0 | 3.041448e+04 | 6.353000e+05 |1988.81%| unknown
2644.64/2653.01 c 2653s| 1 | 0 |273450 | - | 3938M | 0 | 61k| 496k| 497k| 742 | 9 | 16 | 0 | 3.084873e+04 | 6.353000e+05 |1959.40%| unknown
2677.23/2685.76 c 2686s| 1 | 0 |278407 | - | 3988M | 0 | 61k| 496k| 497k| 784 | 10 | 17 | 0 | 3.113929e+04 | 6.353000e+05 |1940.19%| unknown
2706.34/2714.97 c 2715s| 1 | 0 |281972 | - | 4041M | 0 | 61k| 496k| 497k| 824 | 11 | 18 | 0 | 3.113933e+04 | 6.353000e+05 |1940.18%| unknown
2745.21/2753.91 c 2754s| 1 | 0 |288662 | - | 4089M | 0 | 61k| 496k| 497k| 856 | 12 | 19 | 0 | 3.123558e+04 | 6.353000e+05 |1933.90%| unknown
2762.16/2770.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2762.16/2770.91 c 2771s| 1 | 0 |290024 | - | 4138M | 0 | 61k| 496k| 497k| 895 | 13 | 20 | 0 | 3.123567e+04 | 6.353000e+05 |1933.89%| unknown
2777.52/2786.30 c 2786s| 1 | 0 |290620 | - | 4185M | 0 | 61k| 496k| 497k| 922 | 14 | 20 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2799.64/2808.55 c 2809s| 1 | 0 |292602 | - | 4233M | 0 | 61k| 496k| 497k| 948 | 15 | 21 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2816.19/2825.16 c 2825s| 1 | 0 |293600 | - | 4283M | 0 | 61k| 496k| 497k| 969 | 16 | 22 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2832.24/2841.28 c 2841s| 1 | 0 |294549 | - | 4332M | 0 | 61k| 496k| 496k| 985 | 17 | 23 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2850.68/2859.79 c 2860s| 1 | 0 |295930 | - | 4384M | 0 | 61k| 496k| 496k|1009 | 18 | 24 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2866.73/2875.85 c 2876s| 1 | 0 |296793 | - | 4432M | 0 | 61k| 496k| 496k|1033 | 19 | 25 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2884.28/2893.45 c 2893s| 1 | 0 |297955 | - | 4480M | 0 | 61k| 496k| 497k|1058 | 20 | 26 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
2892.55/2901.77 c 2902s| 1 | 0 |297956 | - | 4480M | 0 | 61k| 496k| 497k|1059 | 21 | 27 | 0 | 3.152617e+04 | 6.353000e+05 |1915.15%| unknown
ERROR: no interpretation found !
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: 63708 MiB (57520 MiB free)
memory of node 1: 64465 MiB (59701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506377-1751494080/watcher-4506377-1751494080 -o /tmp/evaluation-result-4506377-1751494080/solver-4506377-1751494080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751493060-83817 --watchdog 3760 pbsolver -f HOME/instance-4506377-1751494080.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84042, runsolver pid=84039
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.09 4.06 3.65 5/267 84043
/proc/meminfo: memFree=119995012/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=78836 memory=67712 CPUtime=0.09 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 14976 0 0 0 8 1 0 0 20 0 1 0 65085638 80728064 16928 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 19709 16928 2176 2575 0 16616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78836 KiB
Current children cumulated memory: 67712 KiB
[startup+0.205753 s]*
/proc/loadavg: 4.09 4.06 3.65 5/267 84043
/proc/meminfo: memFree=119962756/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=112552 memory=102016 CPUtime=0.2 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 23533 0 0 0 17 3 0 0 20 0 1 0 65085638 115253248 25504 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 28138 25504 2176 2575 0 25045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112552 KiB
Current children cumulated memory: 102016 KiB
[startup+0.305688 s]*
/proc/loadavg: 4.09 4.06 3.65 5/267 84043
/proc/meminfo: memFree=119930500/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=144120 memory=133376 CPUtime=0.3 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 31389 0 0 0 26 4 0 0 20 0 1 0 65085638 147578880 33344 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 36030 33344 2176 2575 0 32937 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 144120 KiB
Current children cumulated memory: 133376 KiB
[startup+0.700171 s]
/proc/loadavg: 4.09 4.06 3.65 5/267 84043
/proc/meminfo: memFree=119866260/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=259812 memory=248928 CPUtime=0.69 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 59761 0 0 0 60 9 0 0 20 0 1 0 65085638 266047488 62232 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 64953 62232 2176 2575 0 61860 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 259812 KiB
Current children cumulated memory: 248928 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.06 3.65 6/267 84043
/proc/meminfo: memFree=119730772/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=507692 memory=496888 CPUtime=1.48 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 119708 0 0 0 130 18 0 0 20 0 1 0 65085638 519876608 124222 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 126923 124222 2176 2575 0 123830 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 507692 KiB
Current children cumulated memory: 496888 KiB
[startup+3.10561 s]
/proc/loadavg: 4.09 4.06 3.65 6/267 84043
/proc/meminfo: memFree=119116868/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=992684 memory=981928 CPUtime=3.08 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 235884 0 0 0 272 36 0 0 20 0 1 0 65085638 1016508416 245482 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 248171 245482 2176 2575 0 245078 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 992684 KiB
Current children cumulated memory: 981928 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.07 3.66 6/267 84043
/proc/meminfo: memFree=117731672/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=2479844 memory=2468576 CPUtime=6.27 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 550036 0 0 0 540 87 0 0 20 0 1 0 65085638 2539360256 617144 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 619961 617144 2368 2575 0 616868 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2479844 KiB
Current children cumulated memory: 2468576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.07 3.66 6/267 84043
/proc/meminfo: memFree=116667684/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3400056 memory=3379280 CPUtime=12.65 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 719974 0 0 0 1150 115 0 0 20 0 1 0 65085638 3481657344 844820 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 850014 844820 2400 2575 0 846921 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3400056 KiB
Current children cumulated memory: 3379280 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.07 3.66 6/267 84043
/proc/meminfo: memFree=116243824/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3613512 memory=3589500 CPUtime=25.42 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 782217 0 0 0 2408 134 0 0 20 0 1 0 65085638 3700236288 897375 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 903378 897375 2528 2575 0 900285 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3613512 KiB
Current children cumulated memory: 3589500 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.06 3.67 6/267 84044
/proc/meminfo: memFree=116434160/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3613512 memory=3589500 CPUtime=50.95 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 782231 0 0 0 4961 134 0 0 20 0 1 0 65085638 3700236288 897375 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 903378 897375 2528 2575 0 900285 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3613512 KiB
Current children cumulated memory: 3589500 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.07 3.70 6/267 84045
/proc/meminfo: memFree=116376480/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3706244 memory=3658512 CPUtime=101.94 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 784493 0 0 0 10057 137 0 0 20 0 1 0 65085638 3795193856 914628 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 926561 914628 2688 2575 0 923468 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 3706244 KiB
Current children cumulated memory: 3658512 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 3.73 6/266 84047
/proc/meminfo: memFree=116290648/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3805708 memory=3741312 CPUtime=161.76 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 797537 0 0 0 16037 139 0 0 20 0 1 0 65085638 3897044992 935328 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 951427 935328 2688 2575 0 948334 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 3805708 KiB
Current children cumulated memory: 3741312 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.08 3.76 6/263 84049
/proc/meminfo: memFree=116240728/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3809264 memory=3746560 CPUtime=221.57 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 798849 0 0 0 22018 139 0 0 20 0 1 0 65085638 3900686336 936640 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 952316 936640 2688 2575 0 949223 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3809264 KiB
Current children cumulated memory: 3746560 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.06 3.77 6/263 84054
/proc/meminfo: memFree=116236624/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3810316 memory=3747712 CPUtime=281.39 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 799145 0 0 0 28000 139 0 0 20 0 1 0 65085638 3901763584 936928 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 952579 936928 2688 2575 0 949486 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 3810316 KiB
Current children cumulated memory: 3747712 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.06 3.80 6/263 84056
/proc/meminfo: memFree=116219200/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=3816716 memory=3748480 CPUtime=341.23 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 799332 0 0 0 33984 139 0 0 20 0 1 0 65085638 3908317184 937120 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 954179 937120 2688 2575 0 951086 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 3816716 KiB
Current children cumulated memory: 3748480 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.08 3.82 6/264 84059
/proc/meminfo: memFree=115932676/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4025492 memory=3891144 CPUtime=401.05 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 819568 0 0 0 39962 143 0 0 20 0 1 0 65085638 4122103808 972786 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1006373 972786 2688 2575 0 1003280 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 4025492 KiB
Current children cumulated memory: 3891144 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.08 3.84 6/265 84062
/proc/meminfo: memFree=115834636/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4025492 memory=3893448 CPUtime=460.85 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 820118 0 0 0 45942 143 0 0 20 0 1 0 65085638 4122103808 973362 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1006373 973362 2688 2575 0 1003280 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 3927624 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.06 6/266 84275
/proc/meminfo: memFree=111525892/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4856808 memory=3927752 CPUtime=2853.27 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823087 0 0 0 285181 146 0 0 20 0 1 0 65085638 4973371392 981938 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1214202 981938 2688 2575 0 1211109 0
Current children cumulated CPU time: 2853.27 s
Current children cumulated vsize: 4856808 KiB
Current children cumulated memory: 3927752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.06 6/265 84277
/proc/meminfo: memFree=111534716/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=2913.09 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823295 0 0 0 291163 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 2913.09 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/265 84279
/proc/meminfo: memFree=111504596/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=2972.87 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823307 0 0 0 297141 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 2972.87 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.06 6/265 84282
/proc/meminfo: memFree=111504820/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=3032.66 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823307 0 0 0 303120 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.07 6/264 84284
/proc/meminfo: memFree=111504744/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=3092.45 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823428 0 0 0 309099 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.07 6/264 84291
/proc/meminfo: memFree=111499232/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=3152.25 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823432 0 0 0 315079 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 3152.25 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.07 6/264 84308
/proc/meminfo: memFree=111471804/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=3212.04 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823432 0 0 0 321058 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.08 4/261 84347
/proc/meminfo: memFree=113459888/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928520 CPUtime=3271.84 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823432 0 0 0 327038 146 0 0 20 0 1 0 65085638 5068795904 982130 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982130 2688 2575 0 1234406 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/263 84403
/proc/meminfo: memFree=112180184/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928904 CPUtime=3331.68 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823553 0 0 0 333022 146 0 0 20 0 1 0 65085638 5068795904 982226 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982226 2688 2575 0 1234406 0
Current children cumulated CPU time: 3331.68 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/265 84407
/proc/meminfo: memFree=112095924/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3928904 CPUtime=3391.5 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823554 0 0 0 339004 146 0 0 20 0 1 0 65085638 5068795904 982226 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982226 2688 2575 0 1234406 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3928904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/264 84409
/proc/meminfo: memFree=112080596/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3929032 CPUtime=3451.32 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823554 0 0 0 344986 146 0 0 20 0 1 0 65085638 5068795904 982258 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982258 2688 2575 0 1234406 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3929032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 84411
/proc/meminfo: memFree=112006192/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4949996 memory=3929032 CPUtime=3511.16 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823555 0 0 0 350970 146 0 0 20 0 1 0 65085638 5068795904 982258 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237499 982258 2688 2575 0 1234406 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 4949996 KiB
Current children cumulated memory: 3929032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/264 84413
/proc/meminfo: memFree=111997592/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4951916 memory=3929160 CPUtime=3570.99 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823795 0 0 0 356953 146 0 0 20 0 1 0 65085638 5070761984 982290 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237979 982290 2688 2575 0 1234886 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 4951916 KiB
Current children cumulated memory: 3929160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 84414
/proc/meminfo: memFree=111956204/131250000 swapFree=33010160/33010684
[pid=84042] ppid=84039 vsize=4951916 memory=3929160 CPUtime=3600.01 cores=5,7
/proc/84042/stat : 84042 (pbsolver) R 84039 84042 83801 0 -1 4194304 823824 0 0 0 359855 146 0 0 20 0 1 0 65085638 5070761984 982290 18446744073709551615 4198400 14743177 140724207610336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43229184 140724207618442 140724207618538 140724207618538 140724207624140 0
/proc/84042/statm: 1237979 982290 2688 2575 0 1234886 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4951916 KiB
Current children cumulated memory: 3929160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 84042 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.55 s, system=1.56469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.5
CPU time (s): 3600.12
CPU user time (s): 3598.55
CPU system time (s): 1.56469
CPU usage (%): 99.685
Max. virtual memory (cumulated for all children) (KiB): 4951916
Max. memory (cumulated for all children) (KiB): 3929160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.56469
maximum resident set size= 3929160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823824
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= 4
involuntary context switches= 1487
# summary of solver processes directly reported to runsolver:
# pid: 84042
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.55
# total CPU system time (s): 1.56469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58476 second user time and 16.4179 second system time
The end
Begin job on nodeC016 at 2025-07-03 00:08:01 IDJOB=4506377 IDBENCH=158189 IDSOLVER=3366 FILE ID=nodeC016/4506377-1751494080 RUNJOBID= nodeC016-1751493060-83817 SLURM_JOB_ID= 9598563 Free space on /tmp= 432692 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.10-9.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506377-1751494080/watcher-4506377-1751494080 -o /tmp/evaluation-result-4506377-1751494080/solver-4506377-1751494080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751493060-83817 --watchdog 3760 pbsolver -f HOME/instance-4506377-1751494080.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 623011bcb799422f8ca68e1af7825a24 RANDOM SEED=1603784917 nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00002a cpu MHz : 3599.731 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3599.655 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3563.989 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3600.317 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3599.787 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3599.747 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3601.793 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 0xb00002a cpu MHz : 3599.634 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 120034792 kB MemAvailable: 120283956 kB Buffers: 2144 kB Cached: 1018088 kB SwapCached: 28 kB Active: 10107040 kB Inactive: 398308 kB Active(anon): 9497872 kB Inactive(anon): 5288 kB Active(file): 609168 kB Inactive(file): 393020 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 91120 kB Writeback: 4 kB AnonPages: 9485728 kB Mapped: 136520 kB Shmem: 18044 kB KReclaimable: 172428 kB Slab: 264360 kB SReclaimable: 172428 kB SUnreclaim: 91932 kB KernelStack: 4320 kB PageTables: 22056 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 10451580 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2330624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432516 MiB End job on nodeC016 at 2025-07-03 01:08:12