| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | UNSAT | 123.963 | 124.531 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb |
| MD5SUM | 9cd02fcfe8d6fb8da5e5e7c2985c86c8 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.24052 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 93130 |
| Total number of constraints | 1931 |
| Number of constraints which are clauses | 971 |
| Number of constraints which are cardinality constraints (but not clauses) | 960 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 97 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 98 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
113.76/114.35 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4543840-1753222638.opb 113.76/114.35 c Solving mode: decision 113.76/114.35 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 113.76/114.35 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 113.76/114.35 c original problem has 93130 variables (93130 bin, 0 int, 0 impl, 0 cont) and 1931 constraints 113.76/114.35 c presolving: 113.76/114.35 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 970 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (1.3s) probing: 51/93130 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 113.76/114.35 c (1.3s) probing aborted: 50/50 successive totally useless probings 113.76/114.35 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 113.76/114.35 c (112.0s) symmetry computation finished: 687 generators found (max: 687, log10 of symmetry group size: 3000.0) (symcode time: 110.48) 113.76/114.35 c dynamic symmetry handling statistics: 113.76/114.35 c orbitopal reduction: no components 113.76/114.35 c orbital reduction: 1 components of sizes 123 113.76/114.35 c lexicographic reduction: 123 permutations with support sizes 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194 113.76/114.35 c handled 4 out of 4 symmetry components 113.76/114.35 c (round 3, exhaustive) 282 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 4, medium) 561 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 561 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 5, medium) 837 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 837 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 6, medium) 1110 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1110 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 7, medium) 1380 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1380 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 8, medium) 1647 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1647 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 9, medium) 1911 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1911 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 10, medium) 2172 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2172 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 11, medium) 2430 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2430 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 12, medium) 2685 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2685 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 13, medium) 2937 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2937 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 14, medium) 3186 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3186 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 15, medium) 3432 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3432 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 16, medium) 3675 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3675 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 17, medium) 3915 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3915 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 18, medium) 4152 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4152 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 19, medium) 4386 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4386 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 20, medium) 4617 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4617 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 21, medium) 4845 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4845 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 22, medium) 5070 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5070 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 23, medium) 5292 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5292 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 24, medium) 5511 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5511 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 25, medium) 5727 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5727 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 26, medium) 5940 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5940 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 27, medium) 6150 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6150 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 28, medium) 6357 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6357 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 29, medium) 6561 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6561 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 30, medium) 6762 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6762 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 31, medium) 6960 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6960 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 32, medium) 7155 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7155 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 33, medium) 7347 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7347 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 34, medium) 7536 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7536 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 35, medium) 7722 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7722 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 36, medium) 7905 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7905 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 37, medium) 8085 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8085 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 38, medium) 8262 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8262 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 39, medium) 8436 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8436 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 40, medium) 8607 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8607 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 41, medium) 8775 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8775 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 42, medium) 8940 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8940 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 113.76/114.35 c (round 43, medium) 9102 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9102 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 44, medium) 9261 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9261 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 45, medium) 9417 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9417 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 46, medium) 9570 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9570 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 47, medium) 9720 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9720 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 48, medium) 9867 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9867 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 49, medium) 10011 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10011 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 50, medium) 10152 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10152 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 51, medium) 10290 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10290 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 52, medium) 10425 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10425 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 53, medium) 10557 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10557 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 54, medium) 10686 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10686 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 55, medium) 10812 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10812 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 56, medium) 10935 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10935 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 57, medium) 11055 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11055 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 58, medium) 11172 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11172 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 59, medium) 11286 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11286 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 60, medium) 11397 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11397 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 61, medium) 11505 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11505 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 62, medium) 11610 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11610 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 63, medium) 11712 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11712 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 64, medium) 11811 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11811 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 65, medium) 11907 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11907 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 66, medium) 12000 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12000 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 67, medium) 12090 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12090 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 68, medium) 12177 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12177 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 69, medium) 12261 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12261 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 70, medium) 12342 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12342 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 71, medium) 12420 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12420 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 72, medium) 12495 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12495 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 73, medium) 12567 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12567 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 74, medium) 12636 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12636 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 75, medium) 12702 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12702 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs 123.62/124.23 c (round 76, exhaustive) 12825 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12765 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs 123.62/124.23 c (round 77, exhaustive) 12936 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12882 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs 123.62/124.23 c (round 78, exhaustive) 13035 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12987 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs 123.62/124.23 c (round 79, exhaustive) 13122 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 13080 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs 123.62/124.23 c (round 80, exhaustive) 13197 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 13161 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs 123.62/124.23 c presolving (81 rounds: 81 fast, 81 medium, 9 exhaustive): 123.62/124.23 c 13260 deleted vars, 0 deleted constraints, 282 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 13230 changed coefficients 123.62/124.23 c 0 implications, 961 cliques 123.62/124.23 c presolved problem has 79870 variables (79870 bin, 0 int, 0 impl, 0 cont) and 2213 constraints 123.62/124.23 c 960 constraints of type <setppc> 123.62/124.23 c 282 constraints of type <orbitope> 123.62/124.23 c 971 constraints of type <logicor> 123.62/124.23 c transformed objective value is always integral (scale: 1) 123.62/124.23 c Presolving Time: 115.90 123.62/124.23 c 123.62/124.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 123.62/124.23 c 124s| 1 | 0 | 13341 | - | 783M | 0 | 79k|2293 |1931 | 0 | 0 | 102 | 0 | cutoff | -- | 0.00%| unknown 123.62/124.23 c 124s| 1 | 0 | 13341 | - | 783M | 0 | 79k|2293 |1931 | 0 | 0 | 102 | 0 | cutoff | -- | 0.00%| unknown 123.62/124.23 c 123.62/124.23 c SCIP Status : problem is solved [infeasible] 123.62/124.23 c Solving Time (sec) : 123.97 123.62/124.23 c Solving Nodes : 1 123.62/124.23 c Primal Bound : +1.00000000000000e+20 (0 solutions) 123.62/124.23 c Dual Bound : +1.00000000000000e+20 123.62/124.23 c Gap : 0.00 % 123.62/124.23 c SCIP found the problem to be infeasible. 123.62/124.23 s UNSATISFIABLE
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 (59278 MiB free)
memory of node 1: 64465 MiB (57420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543840-1753222638/watcher-4543840-1753222638 -o /tmp/evaluation-result-4543840-1753222638/solver-4543840-1753222638 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4543840-1753222638.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=169932, runsolver pid=169929
[startup+0.100062 s]*
/proc/loadavg: 2.98 1.66 1.70 5/268 169937
/proc/meminfo: memFree=119477516/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1186920 memory=32004 CPUtime=0.06 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 3718 0 0 0 6 0 0 0 20 0 1 0 237942334 1215406080 8001 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 296730 8001 4929 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34948 KiB
[startup+0.205598 s]*
/proc/loadavg: 2.98 1.66 1.70 5/268 169937
/proc/meminfo: memFree=119421068/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1249892 memory=101124 CPUtime=0.17 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 18522 0 0 0 14 3 0 0 20 0 1 0 237942334 1279889408 25281 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 312473 25281 7649 1 0 283831 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1254084 KiB
Current children cumulated memory: 104068 KiB
[startup+0.305618 s]*
/proc/loadavg: 2.98 1.66 1.70 5/268 169937
/proc/meminfo: memFree=119421068/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1335564 memory=188420 CPUtime=0.26 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 40213 0 0 0 20 6 0 0 20 0 1 0 237942334 1367617536 47105 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 333891 47105 7809 1 0 305249 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1339756 KiB
Current children cumulated memory: 191364 KiB
[startup+0.700217 s]
/proc/loadavg: 2.98 1.66 1.70 5/268 169937
/proc/meminfo: memFree=119412752/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1445672 memory=284292 CPUtime=0.66 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 64146 0 0 0 55 11 0 0 20 0 1 0 237942334 1480368128 71073 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 361418 71073 7873 1 0 332776 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1449864 KiB
Current children cumulated memory: 287236 KiB
[startup+1.50021 s]
/proc/loadavg: 2.98 1.66 1.70 5/268 169937
/proc/meminfo: memFree=119404688/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1469848 memory=308612 CPUtime=1.45 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 70634 0 0 0 133 12 0 0 20 0 1 0 237942334 1505124352 77153 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 367462 77153 7905 1 0 338820 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1474040 KiB
Current children cumulated memory: 311556 KiB
[startup+3.10542 s]
/proc/loadavg: 3.06 1.70 1.71 5/268 169937
/proc/meminfo: memFree=119034216/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1741012 memory=430744 CPUtime=3.05 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 101249 0 0 0 290 15 0 0 20 0 1 0 237942334 1782796288 107686 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 435253 107686 8001 1 0 406611 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1745204 KiB
Current children cumulated memory: 433688 KiB
[startup+6.30018 s]
/proc/loadavg: 3.06 1.70 1.71 7/268 169937
/proc/meminfo: memFree=118854616/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1805776 memory=499600 CPUtime=6.24 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 117443 0 0 0 606 18 0 0 20 0 1 0 237942334 1849114624 124900 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 451444 124900 8001 1 0 422802 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1809968 KiB
Current children cumulated memory: 502544 KiB
[startup+12.7002 s]
/proc/loadavg: 3.13 1.74 1.72 5/268 170035
/proc/meminfo: memFree=119487584/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1883636 memory=580500 CPUtime=12.62 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 137151 0 0 0 1241 21 0 0 20 0 1 0 237942334 1928843264 145125 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 470909 145125 8001 1 0 442267 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1887828 KiB
Current children cumulated memory: 583444 KiB
[startup+25.5002 s]
/proc/loadavg: 3.33 1.85 1.76 5/268 170231
/proc/meminfo: memFree=121869788/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1920748 memory=617492 CPUtime=25.35 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 146429 0 0 0 2509 26 0 0 20 0 1 0 237942334 1966845952 154373 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 480187 154373 8001 1 0 451545 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1924940 KiB
Current children cumulated memory: 620436 KiB
[startup+51.1055 s]
/proc/loadavg: 3.62 2.04 1.83 5/268 170281
/proc/meminfo: memFree=121105376/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1920748 memory=617492 CPUtime=50.87 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 146429 0 0 0 5060 27 0 0 20 0 1 0 237942334 1966845952 154373 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 480187 154373 8001 1 0 451545 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1924940 KiB
Current children cumulated memory: 620436 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 2.33 1.94 5/267 170722
/proc/meminfo: memFree=120699620/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1920748 memory=617620 CPUtime=101.8 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 146448 0 0 0 10142 38 0 0 20 0 1 0 237942334 1966845952 154405 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 480187 154405 8001 1 0 451545 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1924940 KiB
Current children cumulated memory: 620564 KiB
[startup+124.531 s]
# the end of solver process 169932 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=123.475 s, system=0.487751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.79 2.33 1.94 5/267 170722
/proc/meminfo: memFree=120699620/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1920748 memory=617620 CPUtime=101.9 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 146448 0 0 0 10152 38 0 0 20 0 1 0 237942334 1966845952 154405 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 480187 154405 8001 1 0 451545 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1924940 KiB
Current children cumulated memory: 620564 KiB
[startup+115.2 s]
/proc/loadavg: 3.92 2.43 1.97 5/267 170723
/proc/meminfo: memFree=120725284/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=1908184 memory=608112 CPUtime=114.66 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 149169 0 0 0 11427 39 0 0 20 0 1 0 237942334 1953980416 152028 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 477046 152028 8001 1 0 448404 0
Current children cumulated CPU time: 114.66 s
Current children cumulated vsize: 1912376 KiB
Current children cumulated memory: 611056 KiB
[startup+118.4 s]
/proc/loadavg: 3.93 2.45 1.99 5/267 170723
/proc/meminfo: memFree=120644904/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=2004936 memory=702188 CPUtime=117.84 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 170037 0 0 0 11741 43 0 0 20 0 1 0 237942334 2053054464 175547 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 501234 175547 8129 1 0 472592 0
Current children cumulated CPU time: 117.84 s
Current children cumulated vsize: 2009128 KiB
Current children cumulated memory: 705132 KiB
[startup+121.6 s]
/proc/loadavg: 3.93 2.45 1.99 5/267 170723
/proc/meminfo: memFree=120637596/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=2006536 memory=703724 CPUtime=121.03 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 170439 0 0 0 12060 43 0 0 20 0 1 0 237942334 2054692864 175931 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 501634 175931 8129 1 0 472992 0
Current children cumulated CPU time: 121.03 s
Current children cumulated vsize: 2010728 KiB
Current children cumulated memory: 706668 KiB
[startup+123.2 s]
/proc/loadavg: 3.93 2.48 2.00 5/267 170723
/proc/meminfo: memFree=120637612/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=2009888 memory=706796 CPUtime=122.62 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 171190 0 0 0 12218 44 0 0 20 0 1 0 237942334 2058125312 176699 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 502472 176699 8161 1 0 473830 0
Current children cumulated CPU time: 122.62 s
Current children cumulated vsize: 2014080 KiB
Current children cumulated memory: 709740 KiB
[startup+124 s]*
/proc/loadavg: 3.93 2.48 2.00 5/267 170723
/proc/meminfo: memFree=120638116/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=2016488 memory=707820 CPUtime=123.42 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 171465 0 0 0 12298 44 0 0 20 0 1 0 237942334 2064883712 176955 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 504122 176955 8161 1 0 475480 0
Current children cumulated CPU time: 123.42 s
Current children cumulated vsize: 2020680 KiB
Current children cumulated memory: 710764 KiB
[startup+124.4 s]
/proc/loadavg: 3.93 2.48 2.00 5/267 170723
/proc/meminfo: memFree=120638116/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
[pid=169937] ppid=169932 vsize=2016488 memory=707820 CPUtime=123.82 cores=0,2
/proc/169937/stat : 169937 (python3) R 169932 169932 168818 0 -1 4194304 171470 0 0 0 12338 44 0 0 20 0 1 0 237942334 2064883712 176955 18446744073709551615 94027311685632 94027311686009 140731785207824 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94027311697304 94027311697924 94027338706944 140731785214294 140731785214496 140731785214496 140731785220071 0
/proc/169937/statm: 504122 176955 8161 1 0 475480 0
Current children cumulated CPU time: 123.82 s
Current children cumulated vsize: 2020680 KiB
Current children cumulated memory: 710764 KiB
[startup+124.5 s]
/proc/loadavg: 3.93 2.48 2.00 5/267 170723
/proc/meminfo: memFree=120638116/131249988 swapFree=33010416/33010684
[pid=169932] ppid=169929 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/169932/stat : 169932 (scip-naps-1.00.) S 169929 169932 168818 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 237942332 4292608 736 18446744073709551615 93977000452096 93977001346629 140723860675456 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93977001585680 93977001633424 93977033445376 140723860679071 140723860679168 140723860679168 140723860684772 0
/proc/169932/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 124.531
CPU time (s): 123.963
CPU user time (s): 123.475
CPU system time (s): 0.487751
CPU usage (%): 99.5439
Max. virtual memory (cumulated for all children) (KiB): 2020680
Max. memory (cumulated for all children) (KiB): 710764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.475
system time used= 0.487751
maximum resident set size= 707820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 285
# summary of solver processes directly reported to runsolver:
# pid: 169932
# total CPU time (s): 123.963
# total CPU user time (s): 123.475
# total CPU system time (s): 0.487751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.267101 second user time and 0.579733 second system time
The end
Begin job on nodeC031 at 2025-07-23 00:17:18 IDJOB=4543840 IDBENCH=174690 IDSOLVER=3368 FILE ID=nodeC031/4543840-1753222638 RUNJOBID= nodeC031-1753222578-168828 SLURM_JOB_ID= 9687820 Free space on /tmp= 432920 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_10_096.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543840-1753222638/watcher-4543840-1753222638 -o /tmp/evaluation-result-4543840-1753222638/solver-4543840-1753222638 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4543840-1753222638.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9cd02fcfe8d6fb8da5e5e7c2985c86c8 RANDOM SEED=2089561627 nodeC031 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.961 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.78 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.960 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.78 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 : 3659.929 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.78 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 : 3599.657 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.78 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.628 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.78 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.769 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.78 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 : 3609.578 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.78 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 : 3700.000 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 119507504 kB MemAvailable: 124665984 kB Buffers: 2128 kB Cached: 5843304 kB SwapCached: 8 kB Active: 5851360 kB Inactive: 4709236 kB Active(anon): 4730948 kB Inactive(anon): 10464 kB Active(file): 1120412 kB Inactive(file): 4698772 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 29916 kB Writeback: 20 kB AnonPages: 4718292 kB Mapped: 131172 kB Shmem: 26248 kB KReclaimable: 357068 kB Slab: 455736 kB SReclaimable: 357068 kB SUnreclaim: 98668 kB KernelStack: 4320 kB PageTables: 13040 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 8700192 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 192512 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432912 MiB End job on nodeC031 at 2025-07-23 00:19:23