| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3590.61 | 3599.66 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb |
| MD5SUM | a76bcc507230b7348cd315b0b6909f20 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 196.92 |
| 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 | 21658 |
| Total number of constraints | 22024 |
| Number of constraints which are clauses | 21842 |
| Number of constraints which are cardinality constraints (but not clauses) | 182 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 182 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 183 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4507203-1751187285.opb>
0.00/0.07 c original problem has 21658 variables (21658 bin, 0 int, 0 cont) and 22024 constraints
0.00/0.07 c problem read in 0.069 seconds
0.00/0.07 c problem without objective
0.09/0.15 c presolving:
0.09/0.18 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2507 clqs
0.09/0.19 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2491 clqs
0.09/0.19 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2512 clqs
0.09/0.20 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2543 clqs
0.09/0.20 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2566 clqs
0.09/0.20 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2576 clqs
0.20/0.26 c (0.3s) running MILP presolver
0.49/0.60 c (0.6s) MILP presolver (4 rounds): 1 aggregations, 184 fixings, 0 bound changes
0.59/0.60 c (round 7, medium) 1367 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2584 clqs
0.59/0.62 c (round 8, fast) 1367 del vars, 821 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2592 clqs
0.59/0.64 c (round 9, exhaustive) 1367 del vars, 1000 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2592 clqs
0.68/0.73 c (round 10, exhaustive) 1367 del vars, 1000 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 21024 upgd conss, 0 impls, 2592 clqs
0.88/0.91 c (round 11, exhaustive) 1475 del vars, 1000 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 21024 upgd conss, 0 impls, 2581 clqs
0.88/0.92 c (round 12, fast) 1583 del vars, 1108 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 21024 upgd conss, 0 impls, 2581 clqs
2.78/2.84 c (round 13, exhaustive) 1608 del vars, 1109 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 21024 upgd conss, 0 impls, 131535 clqs
2.78/2.84 c (round 14, fast) 1608 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 160 chg coeffs, 21024 upgd conss, 0 impls, 131546 clqs
4.57/4.63 c (round 15, exhaustive) 1634 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 160 chg coeffs, 21024 upgd conss, 0 impls, 131507 clqs
4.57/4.64 c (round 16, fast) 1635 del vars, 1160 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 21024 upgd conss, 0 impls, 131518 clqs
6.16/6.27 c (round 17, exhaustive) 1661 del vars, 1160 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 21024 upgd conss, 0 impls, 131530 clqs
6.16/6.28 c (round 18, fast) 1662 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 285 chg coeffs, 21024 upgd conss, 0 impls, 131543 clqs
6.66/6.70 c (round 19, exhaustive) 1689 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 285 chg coeffs, 21024 upgd conss, 0 impls, 131567 clqs
6.66/6.71 c (round 20, fast) 1689 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 351 chg coeffs, 21024 upgd conss, 0 impls, 131581 clqs
7.16/7.21 c (7.2s) probing: 1000/20623 (4.8%) - 108 fixings, 0 aggregations, 1118257 implications, 0 bound changes
8.25/8.31 c (round 21, exhaustive) 1714 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 351 chg coeffs, 21024 upgd conss, 0 impls, 131555 clqs
8.25/8.32 c (round 22, fast) 1714 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 416 chg coeffs, 21024 upgd conss, 0 impls, 131571 clqs
8.55/8.60 c (round 23, exhaustive) 1744 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 416 chg coeffs, 21024 upgd conss, 0 impls, 131563 clqs
8.55/8.61 c (round 24, fast) 1744 del vars, 1268 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 492 chg coeffs, 21024 upgd conss, 0 impls, 131578 clqs
8.96/9.09 c (round 25, exhaustive) 1773 del vars, 1268 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 492 chg coeffs, 21024 upgd conss, 0 impls, 131624 clqs
8.96/9.10 c (round 26, fast) 1773 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 564 chg coeffs, 21024 upgd conss, 0 impls, 131638 clqs
10.25/10.37 c (round 27, exhaustive) 1798 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 564 chg coeffs, 21024 upgd conss, 0 impls, 129588 clqs
10.25/10.38 c (round 28, fast) 1798 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 21024 upgd conss, 0 impls, 129605 clqs
10.65/10.79 c (round 29, exhaustive) 1825 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 21024 upgd conss, 0 impls, 131616 clqs
10.75/10.80 c (round 30, fast) 1827 del vars, 1349 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 703 chg coeffs, 21024 upgd conss, 0 impls, 131628 clqs
13.44/13.57 c (round 31, exhaustive) 1861 del vars, 1349 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 705 chg coeffs, 21024 upgd conss, 0 impls, 130524 clqs
13.44/13.58 c (round 32, fast) 1861 del vars, 1383 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 790 chg coeffs, 21024 upgd conss, 0 impls, 130540 clqs
15.94/16.09 c (16.1s) probing: 2000/20623 (9.7%) - 291 fixings, 1 aggregations, 3266819 implications, 0 bound changes
16.23/16.36 c (round 33, exhaustive) 1886 del vars, 1383 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 790 chg coeffs, 21024 upgd conss, 0 impls, 131555 clqs
16.23/16.37 c (round 34, fast) 1886 del vars, 1408 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 844 chg coeffs, 21024 upgd conss, 0 impls, 131563 clqs
16.53/16.64 c (round 35, exhaustive) 1913 del vars, 1408 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 845 chg coeffs, 21024 upgd conss, 0 impls, 131525 clqs
16.53/16.65 c (round 36, fast) 1915 del vars, 1435 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 21024 upgd conss, 0 impls, 131529 clqs
16.83/16.91 c (round 37, exhaustive) 1940 del vars, 1435 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 21024 upgd conss, 0 impls, 131325 clqs
16.83/16.92 c (round 38, fast) 1940 del vars, 1460 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 910 chg coeffs, 21024 upgd conss, 0 impls, 131325 clqs
17.04/17.18 c (round 39, exhaustive) 1965 del vars, 1460 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 910 chg coeffs, 21024 upgd conss, 0 impls, 131053 clqs
17.04/17.19 c (round 40, fast) 1965 del vars, 1485 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 932 chg coeffs, 21024 upgd conss, 0 impls, 131053 clqs
18.43/18.51 c (round 41, exhaustive) 1990 del vars, 1485 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 932 chg coeffs, 21024 upgd conss, 0 impls, 131541 clqs
18.43/18.52 c (round 42, fast) 1990 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 956 chg coeffs, 21024 upgd conss, 0 impls, 131541 clqs
18.83/18.91 c (round 43, exhaustive) 2015 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 956 chg coeffs, 21024 upgd conss, 0 impls, 131590 clqs
18.83/18.92 c (round 44, fast) 2015 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 983 chg coeffs, 21024 upgd conss, 0 impls, 131591 clqs
19.33/19.48 c (round 45, exhaustive) 2040 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 983 chg coeffs, 21024 upgd conss, 0 impls, 131600 clqs
19.33/19.49 c (round 46, fast) 2040 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 21024 upgd conss, 0 impls, 131600 clqs
19.63/19.75 c (round 47, exhaustive) 2065 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 21024 upgd conss, 0 impls, 131446 clqs
19.63/19.76 c (round 48, fast) 2065 del vars, 1585 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 21024 upgd conss, 0 impls, 131446 clqs
21.52/21.60 c (21.6s) probing: 3000/20623 (14.5%) - 478 fixings, 1 aggregations, 4232394 implications, 0 bound changes
24.02/24.16 c (24.2s) probing: 3605/20623 (17.5%) - 478 fixings, 1 aggregations, 4994019 implications, 0 bound changes
24.02/24.16 c (24.2s) probing aborted: 1000/1000 successive useless probings
24.11/24.20 c (24.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.11/24.25 c (24.3s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
24.11/24.28 c dynamic symmetry handling statistics:
24.11/24.28 c orbitopal reduction: no components
24.11/24.28 c orbital reduction: no components
24.11/24.28 c lexicographic reduction: 3 permutations with support sizes 1702, 704, 342
24.11/24.28 c handled 4 out of 4 symmetry components
24.21/24.31 c presolving (49 rounds: 49 fast, 23 medium, 22 exhaustive):
24.21/24.31 c 2077 deleted vars, 1594 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1042 changed coefficients
24.21/24.31 c 0 implications, 131730 cliques
24.21/24.31 c presolved problem has 20135 variables (20135 bin, 0 int, 0 cont) and 20431 constraints
24.21/24.31 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
24.21/24.31 c 1 constraints of type <knapsack>
24.21/24.31 c 2479 constraints of type <setppc>
24.21/24.31 c 1 constraints of type <orbitope_pp>
24.21/24.31 c 17950 constraints of type <logicor>
24.21/24.31 c transformed objective value is always integral (scale: 1)
24.21/24.31 c Presolving Time: 24.17
24.21/24.31 c
24.21/24.31 c - non default parameters ----------------------------------------------------------------------
24.21/24.31 c
24.21/24.31 c # SCIP version 10.0.0
24.21/24.31 c
24.21/24.31 c # maximal time in seconds to run
24.21/24.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.21/24.31 c limits/time = 3596.998281
24.21/24.31 c
24.21/24.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.21/24.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.21/24.31 c limits/memory = 27900
24.21/24.31 c
24.21/24.31 c # belongs reading time to solving time?
24.21/24.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.21/24.31 c timing/reading = TRUE
24.21/24.31 c
24.21/24.31 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
24.21/24.31 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
24.21/24.31 c reading/opbreader/maxintsize = 47
24.21/24.31 c
24.21/24.31 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
24.21/24.31 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
24.21/24.31 c propagating/genvbounds/timingmask = 0
24.21/24.31 c
24.21/24.31 c -----------------------------------------------------------------------------------------------
24.21/24.31 c
45.95/46.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.95/46.15 c 46.1s| 1 | 0 | 17882 | - | 387M | 0 | 20k| 20k| 20k| 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
229.17/229.83 c 230s| 1 | 0 |113995 | - | 415M | 0 | 20k| 20k| 20k| 9 | 1 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
257.00/257.74 c 258s| 1 | 0 |125219 | - | 424M | 0 | 20k| 20k| 20k| 15 | 2 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
289.22/290.02 c 290s| 1 | 0 |137706 | - | 429M | 0 | 20k| 20k| 20k| 23 | 3 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
326.03/326.93 c 327s| 1 | 0 |151666 | - | 433M | 0 | 20k| 20k| 20k| 45 | 4 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
362.15/363.12 c 363s| 1 | 0 |164868 | - | 437M | 0 | 20k| 20k| 20k| 56 | 5 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
406.84/407.93 c 408s| 1 | 0 |180407 | - | 445M | 0 | 20k| 20k| 20k| 80 | 6 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
442.36/443.56 c 444s| 1 | 0 |192926 | - | 449M | 0 | 20k| 20k| 20k| 92 | 7 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
487.54/488.83 c 489s| 1 | 0 |208448 | - | 454M | 0 | 20k| 20k| 20k| 107 | 8 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
538.02/539.42 c 539s| 1 | 0 |225414 | - | 463M | 0 | 20k| 20k| 20k| 124 | 9 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
575.83/577.39 c 577s| 1 | 0 |238460 | - | 466M | 0 | 20k| 20k| 20k| 135 | 10 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
633.08/634.75 c 635s| 1 | 0 |258265 | - | 470M | 0 | 20k| 20k| 20k| 153 | 11 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
1101.92/1104.75 c 1105s| 1 | 2 |439180 | - | 479M | 0 | 20k| 20k| 20k| 153 | 11 | 195 | 21 | 0.000000e+00 | -- | Inf | unknown
3590.45/3599.53 c
3590.45/3599.53 c SCIP Status : solving was interrupted [time limit reached]
3590.45/3599.53 c Solving Time (sec) : 3599.53
3590.45/3599.53 c Solving Nodes : 13
3590.45/3599.53 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3590.45/3599.53 c Dual Bound : +0.00000000000000e+00
3590.45/3599.53 c Gap : infinite
3590.45/3599.53 s UNKNOWN
3590.45/3599.53 c SCIP Status : solving was interrupted [time limit reached]
3590.45/3599.53 c Total Time : 3599.53
3590.45/3599.53 c solving : 3599.53
3590.45/3599.53 c presolving : 24.17 (included in solving)
3590.45/3599.53 c reading : 0.07 (included in solving)
3590.45/3599.53 c copying : 0.05 (1 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3590.45/3599.53 c Original Problem :
3590.45/3599.53 c Problem name : HOME/instance-4507203-1751187285.opb
3590.45/3599.53 c Variables : 21658 (21658 binary, 0 integer, 0 continuous)
3590.45/3599.53 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3590.45/3599.53 c Constraints : 22024 initial, 22024 maximal
3590.45/3599.53 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3590.45/3599.53 c Presolved Problem :
3590.45/3599.53 c Problem name : t_HOME/instance-4507203-1751187285.opb
3590.45/3599.53 c Variables : 20135 (20135 binary, 0 integer, 0 continuous)
3590.45/3599.53 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3590.45/3599.53 c Constraints : 20431 initial, 20686 maximal
3590.45/3599.53 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3590.45/3599.53 c Nonzeros : 111922 constraint, 283239 clique table
3590.45/3599.53 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3590.45/3599.53 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c domcol : 0.91 0.00 19 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 9 0 0 9
3590.45/3599.53 c gateextraction : 0.17 0.00 20 0 0 0 0 0 1 0 0 0
3590.45/3599.53 c implics : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c milp : 0.39 0.00 1 184 1 0 0 0 0 0 0 0
3590.45/3599.53 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c sparsify : 0.52 0.00 4 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c trivial : 0.02 0.00 49 554 0 0 0 0 0 0 0 0
3590.45/3599.53 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c dualfix : 0.02 0.00 49 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c probing : 17.81 0.00 19 478 1 0 0 0 0 0 0 0
3590.45/3599.53 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3590.45/3599.53 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c knapsack : 0.01 0.00 79 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c setppc : 0.20 0.00 79 0 0 0 0 0 112 0 0 0
3590.45/3599.53 c linear : 0.16 0.02 12 302 0 0 302 0 1000 0 0 0
3590.45/3599.53 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c logicor : 3.74 0.01 79 108 0 0 0 0 472 0 0 1033
3590.45/3599.53 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c root node : - - - 0 - - 0 - - - - -
3590.45/3599.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3590.45/3599.53 c integral : 0 0 0 0 11 0 0 7 0 0 0 0 0 0 22
3590.45/3599.53 c knapsack : 1 1 11 246692 0 0 0 3 0 0 0 0 0 0 0
3590.45/3599.53 c setppc : 2479+ 2591 11 263959 0 0 0 3 33810 297 2358 0 0 0 0
3590.45/3599.53 c orbitope_pp : 1 1 0 28208 0 0 0 0 22 0 5 0 0 0 0
3590.45/3599.53 c logicor : 17950+ 18093 11 80593 0 0 0 0 93485 133 1598 27 14 0 0
3590.45/3599.53 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3590.45/3599.53 c integral : 51.20 0.00 0.00 0.00 51.20 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c knapsack : 0.15 0.00 0.01 0.13 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c setppc : 2.86 0.00 0.01 2.79 0.00 0.00 0.00 0.00 0.01 0.05
3590.45/3599.53 c orbitope_pp : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c logicor : 5.23 0.01 0.04 5.12 0.00 0.00 0.00 0.00 0.03 0.02
3590.45/3599.53 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
3590.45/3599.53 c dualfix : 1 0 0 0
3590.45/3599.53 c genvbounds : 0 0 0 0
3590.45/3599.53 c nlobbt : 0 0 0 0
3590.45/3599.53 c obbt : 0 0 0 0
3590.45/3599.53 c probing : 0 0 0 0
3590.45/3599.53 c pseudoobj : 0 0 0 0
3590.45/3599.53 c redcost : 0 0 0 0
3590.45/3599.53 c rootredcost : 0 0 0 0
3590.45/3599.53 c symmetry : 0 0 0 0
3590.45/3599.53 c vbounds : 8625 0 0 0
3590.45/3599.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3590.45/3599.53 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3590.45/3599.53 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3590.45/3599.53 c probing : 17.81 0.00 17.81 0.00 0.00 0.00
3590.45/3599.53 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3590.45/3599.53 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3590.45/3599.53 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3590.45/3599.53 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3590.45/3599.53 c vbounds : 0.05 0.00 0.03 0.02 0.00 0.00
3590.45/3599.53 c Symmetry :
3590.45/3599.53 c #affected vars : 3258 (3258 bin, 0 int, 0 cont)
3590.45/3599.53 c orbitopal red. : 0 reductions applied, 0 cutoffs
3590.45/3599.53 c orbital reduction: 0 reductions applied, 0 cutoffs
3590.45/3599.53 c lexicographic red: 0 reductions applied, 0 cutoffs
3590.45/3599.53 c shadow tree time : 0.00 s
3590.45/3599.53 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3590.45/3599.53 c propagation : 0.04 427 138 - 725 345.6 15 10.2 - - -
3590.45/3599.53 c infeasible LP : 0.37 14 10 - 365 2910.1 0 0.0 0 0.0 0
3590.45/3599.53 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3590.45/3599.53 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3590.45/3599.53 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3590.45/3599.53 c applied globally : 0.01 - - 0 312 323.3 - - 0 - -
3590.45/3599.53 c applied locally : - - - 0 0 0.0 - - 0 - -
3590.45/3599.53 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3590.45/3599.53 c cut pool : 0.00 - 21 21 - - 243 372 - - - - - (maximal pool size: 243)
3590.45/3599.53 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c > cmir : - - - - - - - 0 0 0 0 0 -
3590.45/3599.53 c > flowcover : - - - - - - - 0 0 0 0 0 -
3590.45/3599.53 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3590.45/3599.53 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c clique : 2.09 0.00 11 11 0 0 88 200 0 23 23 0 0
3590.45/3599.53 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c gomory : 21.20 0.00 10 10 0 0 8 14 0 3 3 0 0
3590.45/3599.53 c > gomorymi : - - - - - - - 2 0 0 0 0 -
3590.45/3599.53 c > strongcg : - - - - - - - 12 0 3 3 0 -
3590.45/3599.53 c impliedbounds : 0.06 0.00 11 11 0 0 50 58 0 18 18 0 0
3590.45/3599.53 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3590.45/3599.53 c zerohalf : 17.89 0.00 11 11 0 0 97 100 0 95 95 0 0
3590.45/3599.53 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3590.45/3599.53 c hybrid : 0.00 0.00 11 11 153 0 246 153 0 246
3590.45/3599.53 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c Pricers : ExecTime SetupTime Calls Vars
3590.45/3599.53 c problem variables: 0.00 - 0 0
3590.45/3599.53 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3590.45/3599.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c relpscost : 51.20 0.00 11 0 0 0 0 0 0 22
3590.45/3599.53 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3590.45/3599.53 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3590.45/3599.53 c LP solutions : 0.00 - - 0 0
3590.45/3599.53 c relax solutions : 0.00 - - 0 0
3590.45/3599.53 c pseudo solutions : 0.00 - - 0 0
3590.45/3599.53 c strong branching : 0.00 - - 0 0
3590.45/3599.53 c actconsdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c adaptivediving : 168.29 0.00 1 0 0
3590.45/3599.53 c alns : 0.00 0.00 0 0 0
3590.45/3599.53 c bound : 0.00 0.00 0 0 0
3590.45/3599.53 c clique : 0.09 0.00 1 0 0
3590.45/3599.53 c coefdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c completesol : 0.00 0.00 0 0 0
3590.45/3599.53 c conflictdiving : 418.17 0.00 1 0 0
3590.45/3599.53 c crossover : 0.00 0.00 0 0 0
3590.45/3599.53 c dins : 0.00 0.00 0 0 0
3590.45/3599.53 c distributiondivin: 0.00 0.00 0 0 0
3590.45/3599.53 c dks : 0.00 0.00 0 0 0
3590.45/3599.53 c dps : 0.00 0.00 0 0 0
3590.45/3599.53 c dualval : 0.00 0.00 0 0 0
3590.45/3599.53 c farkasdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c feaspump : 153.73 0.00 1 0 0
3590.45/3599.53 c fixandinfer : 0.00 0.00 0 0 0
3590.45/3599.53 c fracdiving : 245.78 0.00 1 0 0
3590.45/3599.53 c gins : 0.00 0.00 0 0 0
3590.45/3599.53 c guideddiving : 0.00 0.00 0 0 0
3590.45/3599.53 c indicator : 0.00 0.00 0 0 0
3590.45/3599.53 c indicatordiving : 0.00 0.00 0 0 0
3590.45/3599.53 c intdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c intshifting : 0.00 0.00 0 0 0
3590.45/3599.53 c linesearchdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c localbranching : 0.00 0.00 0 0 0
3590.45/3599.53 c locks : 0.08 0.00 1 0 0
3590.45/3599.53 c lpface : 0.00 0.00 0 0 0
3590.45/3599.53 c mpec : 0.00 0.00 0 0 0
3590.45/3599.53 c multistart : 0.00 0.00 0 0 0
3590.45/3599.53 c mutation : 0.00 0.00 0 0 0
3590.45/3599.53 c nlpdiving : 0.00 0.00 0 0 0
3590.45/3599.53 c objpscostdiving : 918.49 0.00 1 0 0
3590.45/3599.53 c octane : 0.00 0.00 0 0 0
3590.45/3599.53 c ofins : 0.00 0.00 0 0 0
3590.45/3599.53 c oneopt : 0.00 0.00 0 0 0
3590.45/3599.53 c padm : 0.00 0.00 0 0 0
3590.45/3599.53 c proximity : 0.00 0.00 0 0 0
3590.45/3599.53 c pscostdiving : 540.26 0.00 1 0 0
3590.45/3599.53 c randrounding : 0.19 0.00 12 0 0
3590.45/3599.53 c rens : 0.61 0.00 1 0 0
3590.45/3599.53 c reoptsols : 0.00 0.00 0 0 0
3590.45/3599.53 c repair : 0.00 0.00 0 0 0
3590.45/3599.53 c rins : 0.00 0.00 0 0 0
3590.45/3599.53 c rootsoldiving : 0.00 0.00 0 0 0
3590.45/3599.53 c rounding : 0.03 0.00 22 0 0
3590.45/3599.53 c scheduler : 0.00 0.00 0 0 0
3590.45/3599.53 c shiftandpropagate: 0.02 0.00 1 0 0
3590.45/3599.53 c shifting : 0.14 0.00 12 0 0
3590.45/3599.53 c simplerounding : 0.00 0.00 0 0 0
3590.45/3599.53 c subnlp : 0.00 0.00 0 0 0
3590.45/3599.53 c trivial : 0.01 0.00 2 0 0
3590.45/3599.53 c trivialnegation : 0.00 0.00 0 0 0
3590.45/3599.53 c trustregion : 0.00 0.00 0 0 0
3590.45/3599.53 c trysol : 0.00 0.00 0 0 0
3590.45/3599.53 c twoopt : 0.00 0.00 0 0 0
3590.45/3599.53 c undercover : 0.00 0.00 0 0 0
3590.45/3599.53 c vbounds : 0.12 0.00 1 0 0
3590.45/3599.53 c veclendiving : 400.27 0.00 1 0 0
3590.45/3599.53 c zeroobj : 0.00 0.00 0 0 0
3590.45/3599.53 c zirounding : 0.01 0.00 10 0 0
3590.45/3599.53 c other solutions : - - - 0 -
3590.45/3599.53 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3590.45/3599.53 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3590.45/3599.53 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3590.45/3599.53 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3590.45/3599.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3590.45/3599.53 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
3590.45/3599.53 c dual LP : 636.23 22 276953 12588.77 435.30 0.00 0
3590.45/3599.53 c lex dual LP : 0.00 0 0 0.00 -
3590.45/3599.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3590.45/3599.53 c resolve instable : 118.74 7 5009 715.57 42.19
3590.45/3599.53 c diving/probing LP: 2852.88 167 820659 4914.13 287.66
3590.45/3599.53 c strong branching : 40.06 21 19718 938.95 492.27 - - 38
3590.45/3599.53 c (at root node) : - 21 19718 938.95 -
3590.45/3599.53 c conflict analysis: 0.00 0 0 0.00 -
3590.45/3599.53 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3590.45/3599.53 c benders : 0.00 0 0 0 0.00 0 0 0
3590.45/3599.53 c B&B Tree :
3590.45/3599.53 c number of runs : 1
3590.45/3599.53 c nodes : 13 (11 internal, 2 leaves)
3590.45/3599.53 c feasible leaves : 0
3590.45/3599.53 c infeas. leaves : 2
3590.45/3599.53 c objective leaves : 0
3590.45/3599.53 c nodes (total) : 13 (11 internal, 2 leaves)
3590.45/3599.53 c nodes left : 10
3590.45/3599.53 c max depth : 7
3590.45/3599.53 c max depth (total): 7
3590.45/3599.53 c backtracks : 6 (46.2%)
3590.45/3599.53 c early backtracks : 0 (0.0%)
3590.45/3599.53 c nodes exc. ref. : 0 (0.0%)
3590.45/3599.53 c delayed cutoffs : 0
3590.45/3599.53 c repropagations : 5 (5 domain reductions, 0 cutoffs)
3590.45/3599.53 c avg switch length: 2.23
3590.45/3599.53 c switching time : 0.04
3590.45/3599.53 c Root Node :
3590.45/3599.53 c First LP value : +0.00000000000000e+00
3590.45/3599.53 c First LP Iters : 17882 (831.14 Iter/sec)
3590.45/3599.53 c First LP Time : 21.51
3590.45/3599.53 c Final Dual Bound : +0.00000000000000e+00
3590.45/3599.53 c Final Root Iters : 258265
3590.45/3599.53 c Root LP Estimate : +3.18865120530485e-03
3590.45/3599.53 c Solution :
3590.45/3599.53 c Solutions found : 0 (0 improvements)
3590.45/3599.53 c Primal Bound : -
3590.45/3599.53 c Dual Bound : +0.00000000000000e+00
3590.45/3599.53 c Gap : infinite
3590.45/3599.53 c Integrals : Total Avg%
3590.45/3599.53 c primal-dual : 359953.48 100.00
3590.45/3599.53 c primal-ref : - - (not evaluated)
3590.45/3599.53 c dual-ref : - - (not evaluated)
3590.54/3599.65 c Time complete (sec): 3590.611
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 (63042 MiB free)
memory of node 1: 64465 MiB (63455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507203-1751187285/watcher-4507203-1751187285 -o /tmp/evaluation-result-4507203-1751187285/solver-4507203-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507203-1751187285.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
Current StackSize limit: 8192 KiB
solver pid=23120, runsolver pid=23116
[startup+0.100064 s]*
/proc/loadavg: 4.01 4.07 4.08 4/260 23126
/proc/meminfo: memFree=129418004/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=83408 memory=74580 CPUtime=0.09 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 16585 0 0 0 7 2 0 0 20 0 1 0 34351009 85409792 18645 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 20852 18645 2368 2575 0 17759 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 74580 KiB
[startup+0.205467 s]*
/proc/loadavg: 4.01 4.07 4.08 5/260 23141
/proc/meminfo: memFree=129374384/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=111864 memory=99412 CPUtime=0.2 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 22778 0 0 0 17 3 0 0 20 0 1 0 34351009 114548736 24853 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 27966 24853 2400 2575 0 24873 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111864 KiB
Current children cumulated memory: 99412 KiB
[startup+0.305534 s]*
/proc/loadavg: 4.01 4.07 4.08 4/260 23147
/proc/meminfo: memFree=129317344/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=141804 memory=129292 CPUtime=0.29 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 30304 0 0 0 25 4 0 0 20 0 1 0 34351009 145207296 32323 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 35451 32323 2496 2575 0 32358 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141804 KiB
Current children cumulated memory: 129292 KiB
[startup+0.700167 s]
/proc/loadavg: 4.01 4.07 4.08 5/262 23156
/proc/meminfo: memFree=129799236/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=144128 memory=132072 CPUtime=0.68 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 33430 0 0 0 63 5 0 0 20 0 1 0 34351009 147587072 33018 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 36032 33018 2496 2575 0 32939 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144128 KiB
Current children cumulated memory: 132072 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 4.07 4.08 4/260 23164
/proc/meminfo: memFree=129746896/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=199228 memory=181656 CPUtime=1.48 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 44024 0 0 0 141 7 0 0 20 0 1 0 34351009 204009472 45414 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 49807 45414 2592 2575 0 46714 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199228 KiB
Current children cumulated memory: 181656 KiB
[startup+3.10533 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129609864/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=205276 memory=187672 CPUtime=3.08 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 45543 0 0 0 301 7 0 0 20 0 1 0 34351009 210202624 46918 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 51319 46918 2592 2575 0 48226 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 205276 KiB
Current children cumulated memory: 187672 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129610000/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=205424 memory=187928 CPUtime=6.26 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 45602 0 0 0 619 7 0 0 20 0 1 0 34351009 210354176 46982 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 51356 46982 2592 2575 0 48263 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205424 KiB
Current children cumulated memory: 187928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129489448/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=216324 memory=198936 CPUtime=12.64 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 48332 0 0 0 1256 8 0 0 20 0 1 0 34351009 221515776 49734 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 54081 49734 2624 2575 0 50988 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216324 KiB
Current children cumulated memory: 198936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 23201
/proc/meminfo: memFree=129313592/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=435108 memory=355392 CPUtime=25.4 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 86503 0 0 0 2527 13 0 0 20 0 1 0 34351009 445550592 88848 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 108777 88848 2688 2575 0 105684 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 435108 KiB
Current children cumulated memory: 355392 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=128946664/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=444444 memory=364992 CPUtime=50.94 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 88878 0 0 0 5080 14 0 0 20 0 1 0 34351009 455110656 91248 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 111111 91248 2688 2575 0 108018 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 444444 KiB
Current children cumulated memory: 364992 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 23204
/proc/meminfo: memFree=128912364/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=447316 memory=370752 CPUtime=102 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 89336 0 0 0 10186 14 0 0 20 0 1 0 34351009 458051584 92688 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 111829 92688 2688 2575 0 108736 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 447316 KiB
Current children cumulated memory: 370752 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23206
/proc/meminfo: memFree=128881568/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=447316 memory=401728 CPUtime=161.84 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 89340 0 0 0 16170 14 0 0 20 0 1 0 34351009 458051584 100432 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 111829 100432 2688 2575 0 108736 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 447316 KiB
Current children cumulated memory: 401728 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 23208
/proc/meminfo: memFree=128684052/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=536784 memory=496908 CPUtime=221.69 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 96650 0 0 0 22152 17 0 0 20 0 1 0 34351009 549666816 124227 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 134196 124227 2688 2575 0 131103 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 536784 KiB
Current children cumulated memory: 496908 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 23210
/proc/meminfo: memFree=128655916/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=553412 memory=513932 CPUtime=281.54 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 99894 0 0 0 28137 17 0 0 20 0 1 0 34351009 566693888 128483 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 138353 128483 2688 2575 0 135260 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 553412 KiB
Current children cumulated memory: 513932 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 23212
/proc/meminfo: memFree=128624768/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=563920 memory=524684 CPUtime=341.39 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 101661 0 0 0 34122 17 0 0 20 0 1 0 34351009 577454080 131171 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 140980 131171 2688 2575 0 137887 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 563920 KiB
Current children cumulated memory: 524684 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 23227
/proc/meminfo: memFree=128606012/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=573016 memory=531468 CPUtime=401.26 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 103402 0 0 0 40108 18 0 0 20 0 1 0 34351009 586768384 132867 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 143254 132867 2688 2575 0 140161 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 573016 KiB
Current children cumulated memory: 531468 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 23229
/proc/meminfo: memFree=128557724/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=579844 memory=536460 CPUtime=461.11 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 104947 0 0 0 46093 18 0 0 20 0 1 0 34351009 593760256 134115 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 144961 134115 2688 2575 0 141868 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 5/266 23377
/proc/meminfo: memFree=128267596/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3154.53 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131239 0 0 0 315431 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3154.53 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 23379
/proc/meminfo: memFree=128266484/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3214.38 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131239 0 0 0 321416 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23383
/proc/meminfo: memFree=128245440/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3274.21 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131241 0 0 0 327399 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 23385
/proc/meminfo: memFree=128244912/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3334.03 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131241 0 0 0 333381 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3334.03 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 23391
/proc/meminfo: memFree=128245536/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3393.85 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131355 0 0 0 339363 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 23393
/proc/meminfo: memFree=128219556/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3453.66 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131370 0 0 0 345344 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 23400
/proc/meminfo: memFree=128245604/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3513.48 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131370 0 0 0 351326 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245264/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3573.3 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131445 0 0 0 357308 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3599.66 s]
# the end of solver process 23120 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.38 s, system=0.23132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3575 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 357478 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3575 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3581.37 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 358115 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3584.56 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 358434 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3587.75 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 358753 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.10 4.09 4/261 23410
/proc/meminfo: memFree=128515744/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3589.35 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 358913 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3589.35 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.10 4.09 4/261 23455
/proc/meminfo: memFree=128792016/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=682012 memory=647308 CPUtime=3590.15 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131455 0 0 0 358993 22 0 0 20 0 1 0 34351009 698380288 161827 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 170503 161827 2976 2575 0 167410 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 682012 KiB
Current children cumulated memory: 647308 KiB
[startup+3599.6 s]
/proc/loadavg: 4.08 4.10 4.09 4/261 23455
/proc/meminfo: memFree=128792016/131250000 swapFree=33010684/33010684
[pid=23120] ppid=23116 vsize=620604 memory=585968 CPUtime=3590.54 cores=5,7
/proc/23120/stat : 23120 (pbsolver) R 23116 23120 22771 0 -1 4194304 131577 0 0 0 359032 22 0 0 20 0 1 0 34351009 635498496 146492 18446744073709551615 4198400 14743177 140735980788512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 36106240 140735980792202 140735980792298 140735980792298 140735980797900 0
/proc/23120/statm: 155151 146492 2976 2575 0 152058 0
Current children cumulated CPU time: 3590.54 s
Current children cumulated vsize: 620604 KiB
Current children cumulated memory: 585968 KiB
Child status: 0
Real time (s): 3599.66
CPU time (s): 3590.61
CPU user time (s): 3590.38
CPU system time (s): 0.23132
CPU usage (%): 99.7487
Max. virtual memory (cumulated for all children) (KiB): 682012
Max. memory (cumulated for all children) (KiB): 647308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.38
system time used= 0.23132
maximum resident set size= 647308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131596
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= 31
involuntary context switches= 1303
# summary of solver processes directly reported to runsolver:
# pid: 23120
# total CPU time (s): 3590.61
# total CPU user time (s): 3590.38
# total CPU system time (s): 0.23132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00555 second user time and 14.2324 second system time
The end
Begin job on nodeC028 at 2025-06-29 10:54:45 IDJOB=4507203 IDBENCH=158329 IDSOLVER=3366 FILE ID=nodeC028/4507203-1751187285 RUNJOBID= nodeC028-1751183686-22784 SLURM_JOB_ID= 9587572 Free space on /tmp= 433028 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507203-1751187285/watcher-4507203-1751187285 -o /tmp/evaluation-result-4507203-1751187285/solver-4507203-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507203-1751187285.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20 RANDOM SEED=767391425 nodeC028 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 : 3603.875 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 : 7000.16 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 : 3600.060 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 : 7000.16 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 : 3600.081 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 : 7000.16 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 : 3755.764 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 : 7000.16 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 : 3600.805 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 : 7000.16 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 : 3601.101 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 : 7000.16 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 : 3600.303 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 : 7000.16 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 : 3600.090 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129526548 kB MemAvailable: 129242480 kB Buffers: 3280 kB Cached: 526648 kB SwapCached: 0 kB Active: 866652 kB Inactive: 270280 kB Active(anon): 625072 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 270280 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32660 kB Writeback: 32 kB AnonPages: 608628 kB Mapped: 114892 kB Shmem: 18068 kB KReclaimable: 86620 kB Slab: 169916 kB SReclaimable: 86620 kB SUnreclaim: 83296 kB KernelStack: 4160 kB PageTables: 4084 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 921240 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC028 at 2025-06-29 11:54:45