| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3588.41 | 3599.02 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb |
| MD5SUM | e3ebae4cd87024085ca08d92094a2c8e |
| 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 | 604.662 |
| 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 | 20111 |
| Total number of constraints | 20451 |
| Number of constraints which are clauses | 20282 |
| Number of constraints which are cardinality constraints (but not clauses) | 169 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 169 |
| 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 | 170 |
| 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-4506771-1751176723.opb>
0.00/0.07 c original problem has 20111 variables (20111 bin, 0 int, 0 cont) and 20451 constraints
0.00/0.07 c problem read in 0.070 seconds
0.00/0.07 c problem without objective
0.10/0.14 c presolving:
0.10/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, 2325 clqs
0.10/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, 2309 clqs
0.10/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, 2330 clqs
0.10/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, 2361 clqs
0.10/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, 2384 clqs
0.10/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, 2394 clqs
0.20/0.26 c (0.3s) running MILP presolver
0.49/0.59 c (0.6s) MILP presolver (4 rounds): 1 aggregations, 170 fixings, 0 bound changes
0.59/0.60 c (round 7, medium) 1353 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2403 clqs
0.59/0.61 c (round 8, fast) 1353 del vars, 807 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2409 clqs
0.59/0.64 c (round 9, exhaustive) 1353 del vars, 973 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2409 clqs
0.69/0.73 c (round 10, exhaustive) 1353 del vars, 973 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 19478 upgd conss, 0 impls, 2409 clqs
0.89/0.90 c (round 11, exhaustive) 1461 del vars, 973 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19478 upgd conss, 0 impls, 2397 clqs
0.89/0.91 c (round 12, fast) 1569 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19478 upgd conss, 0 impls, 2397 clqs
2.97/3.01 c (round 13, exhaustive) 1595 del vars, 1082 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19478 upgd conss, 0 impls, 122108 clqs
2.97/3.02 c (round 14, fast) 1596 del vars, 1108 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 166 chg coeffs, 19478 upgd conss, 0 impls, 122125 clqs
4.36/4.41 c (round 15, exhaustive) 1621 del vars, 1108 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 166 chg coeffs, 19478 upgd conss, 0 impls, 122136 clqs
4.36/4.42 c (round 16, fast) 1621 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 19478 upgd conss, 0 impls, 122146 clqs
5.46/5.56 c (round 17, exhaustive) 1647 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 19478 upgd conss, 0 impls, 122120 clqs
5.46/5.56 c (round 18, fast) 1648 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 19478 upgd conss, 0 impls, 122131 clqs
6.56/6.64 c (round 19, exhaustive) 1673 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 19478 upgd conss, 0 impls, 122113 clqs
6.56/6.65 c (round 20, fast) 1673 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 346 chg coeffs, 19478 upgd conss, 0 impls, 122129 clqs
6.96/7.02 c (round 21, exhaustive) 1698 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 346 chg coeffs, 19478 upgd conss, 0 impls, 122112 clqs
6.96/7.03 c (round 22, fast) 1698 del vars, 1209 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 19478 upgd conss, 0 impls, 122124 clqs
7.15/7.27 c (7.3s) probing: 1000/19090 (5.2%) - 125 fixings, 0 aggregations, 1095519 implications, 0 bound changes
8.15/8.29 c (round 23, exhaustive) 1723 del vars, 1209 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 19478 upgd conss, 0 impls, 122178 clqs
8.25/8.30 c (round 24, fast) 1723 del vars, 1234 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 19478 upgd conss, 0 impls, 122192 clqs
8.45/8.56 c (round 25, exhaustive) 1749 del vars, 1234 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 19478 upgd conss, 0 impls, 122181 clqs
8.45/8.57 c (round 26, fast) 1749 del vars, 1260 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 19478 upgd conss, 0 impls, 122190 clqs
9.05/9.17 c (round 27, exhaustive) 1785 del vars, 1260 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 19478 upgd conss, 0 impls, 119661 clqs
9.05/9.18 c (round 28, fast) 1785 del vars, 1296 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 19478 upgd conss, 0 impls, 119691 clqs
14.13/14.24 c (round 29, exhaustive) 1811 del vars, 1296 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 19478 upgd conss, 0 impls, 121877 clqs
14.13/14.25 c (round 30, fast) 1812 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 727 chg coeffs, 19478 upgd conss, 0 impls, 121889 clqs
14.43/14.50 c (round 31, exhaustive) 1841 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 727 chg coeffs, 19478 upgd conss, 0 impls, 122112 clqs
14.43/14.51 c (round 32, fast) 1841 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 788 chg coeffs, 19478 upgd conss, 0 impls, 122123 clqs
14.94/15.05 c (round 33, exhaustive) 1866 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 789 chg coeffs, 19478 upgd conss, 0 impls, 122227 clqs
14.94/15.06 c (round 34, fast) 1866 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 846 chg coeffs, 19478 upgd conss, 0 impls, 122235 clqs
15.83/15.93 c (round 35, exhaustive) 1891 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 846 chg coeffs, 19478 upgd conss, 0 impls, 122227 clqs
15.83/15.93 c (round 36, fast) 1891 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 19478 upgd conss, 0 impls, 122230 clqs
16.03/16.18 c (16.2s) probing: 2000/19090 (10.5%) - 318 fixings, 1 aggregations, 2956188 implications, 0 bound changes
16.03/16.19 c (round 37, exhaustive) 1918 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 886 chg coeffs, 19478 upgd conss, 0 impls, 122212 clqs
16.13/16.20 c (round 38, fast) 1922 del vars, 1430 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 19478 upgd conss, 0 impls, 122218 clqs
16.33/16.45 c (round 39, exhaustive) 1947 del vars, 1430 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 950 chg coeffs, 19478 upgd conss, 0 impls, 122058 clqs
16.33/16.46 c (round 40, fast) 1947 del vars, 1455 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 19478 upgd conss, 0 impls, 122058 clqs
16.63/16.70 c (round 41, exhaustive) 1972 del vars, 1455 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 19478 upgd conss, 0 impls, 121897 clqs
16.63/16.71 c (round 42, fast) 1972 del vars, 1480 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 997 chg coeffs, 19478 upgd conss, 0 impls, 121897 clqs
17.52/17.61 c (round 43, exhaustive) 1997 del vars, 1480 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 997 chg coeffs, 19478 upgd conss, 0 impls, 122249 clqs
17.52/17.62 c (round 44, fast) 1997 del vars, 1505 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1022 chg coeffs, 19478 upgd conss, 0 impls, 122249 clqs
17.72/17.87 c (round 45, exhaustive) 2023 del vars, 1505 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1022 chg coeffs, 19478 upgd conss, 0 impls, 122316 clqs
17.72/17.88 c (round 46, fast) 2024 del vars, 1531 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1052 chg coeffs, 19478 upgd conss, 0 impls, 122317 clqs
20.22/20.38 c (round 47, exhaustive) 2049 del vars, 1531 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1052 chg coeffs, 19478 upgd conss, 0 impls, 122327 clqs
20.22/20.38 c (round 48, fast) 2049 del vars, 1556 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1079 chg coeffs, 19478 upgd conss, 0 impls, 122327 clqs
20.52/20.63 c (round 49, exhaustive) 2074 del vars, 1556 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1079 chg coeffs, 19478 upgd conss, 0 impls, 122248 clqs
20.52/20.64 c (round 50, fast) 2074 del vars, 1581 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1104 chg coeffs, 19478 upgd conss, 0 impls, 122248 clqs
22.21/22.36 c (22.4s) probing: 3000/19090 (15.7%) - 491 fixings, 1 aggregations, 3982664 implications, 0 bound changes
27.30/27.48 c (27.5s) probing: 4000/19090 (21.0%) - 492 fixings, 1 aggregations, 5193054 implications, 0 bound changes
31.89/32.01 c (32.0s) probing: 5000/19090 (26.2%) - 494 fixings, 1 aggregations, 6214611 implications, 0 bound changes
32.28/32.45 c (32.5s) probing: 5101/19090 (26.7%) - 494 fixings, 1 aggregations, 6312373 implications, 0 bound changes
32.28/32.45 c (32.5s) probing aborted: 1000/1000 successive useless probings
32.28/32.49 c (32.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
32.39/32.54 c (32.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
32.39/32.57 c dynamic symmetry handling statistics:
32.39/32.57 c orbitopal reduction: no components
32.39/32.57 c orbital reduction: no components
32.39/32.57 c lexicographic reduction: 3 permutations with support sizes 1572, 652, 316
32.39/32.57 c handled 4 out of 4 symmetry components
32.48/32.60 c presolving (51 rounds: 51 fast, 24 medium, 23 exhaustive):
32.48/32.60 c 2081 deleted vars, 1585 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1109 changed coefficients
32.48/32.60 c 0 implications, 122408 cliques
32.48/32.60 c presolved problem has 18584 variables (18584 bin, 0 int, 0 cont) and 18867 constraints
32.48/32.60 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
32.48/32.60 c 1 constraints of type <knapsack>
32.48/32.60 c 2297 constraints of type <setppc>
32.48/32.60 c 1 constraints of type <orbitope_pp>
32.48/32.60 c 16568 constraints of type <logicor>
32.48/32.60 c transformed objective value is always integral (scale: 1)
32.48/32.60 c Presolving Time: 32.47
32.48/32.60 c
32.48/32.60 c - non default parameters ----------------------------------------------------------------------
32.48/32.60 c
32.48/32.60 c # SCIP version 10.0.0
32.48/32.60 c
32.48/32.60 c # maximal time in seconds to run
32.48/32.60 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
32.48/32.60 c limits/time = 3596.99838
32.48/32.60 c
32.48/32.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
32.48/32.60 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
32.48/32.60 c limits/memory = 27900
32.48/32.60 c
32.48/32.60 c # belongs reading time to solving time?
32.48/32.60 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
32.48/32.60 c timing/reading = TRUE
32.48/32.60 c
32.48/32.60 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
32.48/32.60 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
32.48/32.60 c reading/opbreader/maxintsize = 47
32.48/32.60 c
32.48/32.60 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
32.48/32.60 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
32.48/32.60 c propagating/genvbounds/timingmask = 0
32.48/32.60 c
32.48/32.60 c -----------------------------------------------------------------------------------------------
32.48/32.60 c
57.11/57.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.11/57.30 c 57.3s| 1 | 0 | 19067 | - | 359M | 0 | 18k| 19k| 18k| 0 | 0 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
295.31/296.21 c 296s| 1 | 0 |121703 | - | 388M | 0 | 18k| 19k| 18k| 8 | 1 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
318.65/319.65 c 320s| 1 | 0 |132009 | - | 393M | 0 | 18k| 19k| 18k| 15 | 2 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
348.57/349.61 c 350s| 1 | 0 |144210 | - | 402M | 0 | 18k| 19k| 18k| 20 | 3 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
377.99/379.12 c 379s| 1 | 0 |155560 | - | 406M | 0 | 18k| 19k| 18k| 29 | 4 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
408.59/409.82 c 410s| 1 | 0 |167143 | - | 408M | 0 | 18k| 19k| 18k| 32 | 5 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
445.49/446.87 c 447s| 1 | 0 |180927 | - | 411M | 0 | 18k| 19k| 18k| 48 | 6 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
477.60/479.02 c 479s| 1 | 0 |192926 | - | 414M | 0 | 18k| 19k| 18k| 57 | 7 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
518.18/519.71 c 520s| 1 | 0 |207154 | - | 420M | 0 | 18k| 19k| 18k| 77 | 8 | 216 | 0 | 0.000000e+00 | -- | Inf | unknown
567.44/569.15 c 569s| 1 | 0 |224512 | - | 423M | 0 | 18k| 19k| 18k| 97 | 9 | 217 | 0 | 0.000000e+00 | -- | Inf | unknown
604.73/606.55 c 607s| 1 | 0 |238145 | - | 425M | 0 | 18k| 19k| 18k| 112 | 10 | 219 | 0 | 0.000000e+00 | -- | Inf | unknown
646.51/648.42 c 648s| 1 | 0 |253985 | - | 427M | 0 | 18k| 19k| 18k| 131 | 11 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
986.35/989.22 c 989s| 1 | 2 |360009 | - | 433M | 0 | 18k| 19k| 18k| 131 | 11 | 237 | 19 | 0.000000e+00 | -- | Inf | unknown
3588.27/3598.90 c
3588.27/3598.90 c SCIP Status : solving was interrupted [time limit reached]
3588.27/3598.90 c Solving Time (sec) : 3598.91
3588.27/3598.90 c Solving Nodes : 25
3588.27/3598.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.27/3598.90 c Dual Bound : +0.00000000000000e+00
3588.27/3598.90 c Gap : infinite
3588.27/3598.90 s UNKNOWN
3588.27/3598.90 c SCIP Status : solving was interrupted [time limit reached]
3588.27/3598.90 c Total Time : 3598.91
3588.27/3598.90 c solving : 3598.91
3588.27/3598.90 c presolving : 32.47 (included in solving)
3588.27/3598.90 c reading : 0.07 (included in solving)
3588.27/3598.90 c copying : 0.05 (1 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3588.27/3598.90 c Original Problem :
3588.27/3598.90 c Problem name : HOME/instance-4506771-1751176723.opb
3588.27/3598.90 c Variables : 20111 (20111 binary, 0 integer, 0 continuous)
3588.27/3598.90 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.27/3598.90 c Constraints : 20451 initial, 20451 maximal
3588.27/3598.90 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.27/3598.90 c Presolved Problem :
3588.27/3598.90 c Problem name : t_HOME/instance-4506771-1751176723.opb
3588.27/3598.90 c Variables : 18584 (18584 binary, 0 integer, 0 continuous)
3588.27/3598.90 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.27/3598.90 c Constraints : 18867 initial, 19167 maximal
3588.27/3598.90 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.27/3598.90 c Nonzeros : 103290 constraint, 263070 clique table
3588.27/3598.90 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.27/3598.90 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c domcol : 0.91 0.00 20 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 4 0 0 5
3588.27/3598.90 c gateextraction : 0.17 0.00 21 0 0 0 0 0 1 0 0 0
3588.27/3598.90 c implics : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c milp : 0.39 0.00 1 170 1 0 0 0 0 0 0 0
3588.27/3598.90 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c sparsify : 0.60 0.00 4 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c trivial : 0.03 0.00 51 554 0 0 0 0 0 0 0 0
3588.27/3598.90 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c dualfix : 0.02 0.00 51 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c probing : 26.09 0.00 20 494 1 0 0 0 0 0 0 0
3588.27/3598.90 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3588.27/3598.90 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c knapsack : 0.01 0.00 83 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c setppc : 0.19 0.00 83 0 0 0 0 0 111 0 0 0
3588.27/3598.90 c linear : 0.15 0.02 12 302 0 0 302 0 973 0 0 0
3588.27/3598.90 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c logicor : 3.69 0.01 83 110 0 0 0 0 496 0 0 1104
3588.27/3598.90 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c root node : - - - 0 - - 0 - - - - -
3588.27/3598.90 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.27/3598.90 c integral : 0 0 0 0 24 0 0 7 0 0 0 0 0 0 48
3588.27/3598.90 c knapsack : 1 1 11 305035 0 0 0 3 0 0 0 0 0 0 0
3588.27/3598.90 c setppc : 2297+ 2398 11 315395 0 0 0 3 55952 312 3685 0 0 0 0
3588.27/3598.90 c linear : 0+ 1 0 325 0 0 0 3 0 1 0 0 0 0 0
3588.27/3598.90 c orbitope_pp : 1 1 0 23641 0 0 0 0 67 0 18 0 0 0 0
3588.27/3598.90 c logicor : 16568+ 16766 11 96468 0 0 0 0 132381 117 7362 27 11 0 0
3588.27/3598.90 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.27/3598.90 c integral : 46.08 0.00 0.00 0.00 46.08 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c knapsack : 0.19 0.00 0.01 0.18 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c setppc : 3.21 0.00 0.01 3.09 0.00 0.00 0.00 0.00 0.02 0.10
3588.27/3598.90 c linear : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c orbitope_pp : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c logicor : 7.56 0.01 0.04 7.43 0.00 0.00 0.00 0.00 0.05 0.03
3588.27/3598.90 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.27/3598.90 c dualfix : 1 0 0 0
3588.27/3598.90 c genvbounds : 0 0 0 0
3588.27/3598.90 c nlobbt : 0 0 0 0
3588.27/3598.90 c obbt : 0 0 0 0
3588.27/3598.90 c probing : 0 0 0 0
3588.27/3598.90 c pseudoobj : 0 0 0 0
3588.27/3598.90 c redcost : 0 0 0 0
3588.27/3598.90 c rootredcost : 0 0 0 0
3588.27/3598.90 c symmetry : 9496 0 0 1
3588.27/3598.90 c vbounds : 6970 0 0 0
3588.27/3598.90 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.27/3598.90 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3588.27/3598.90 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.27/3598.90 c probing : 26.09 0.00 26.09 0.00 0.00 0.00
3588.27/3598.90 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3588.27/3598.90 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.27/3598.90 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.27/3598.90 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3588.27/3598.90 c vbounds : 0.04 0.00 0.03 0.02 0.00 0.00
3588.27/3598.90 c Symmetry :
3588.27/3598.90 c #affected vars : 3011 (3011 bin, 0 int, 0 cont)
3588.27/3598.90 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.27/3598.90 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.27/3598.90 c lexicographic red: 1 reductions applied, 0 cutoffs
3588.27/3598.90 c shadow tree time : 0.00 s
3588.27/3598.90 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.27/3598.90 c propagation : 0.03 427 128 - 631 107.6 3 25.7 - - -
3588.27/3598.90 c infeasible LP : 0.47 18 14 - 594 2872.8 5 9.8 1 920.0 0
3588.27/3598.90 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.27/3598.90 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.27/3598.90 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.27/3598.90 c applied globally : 0.02 - - 0 385 561.4 - - 1 - -
3588.27/3598.90 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.27/3598.90 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.27/3598.90 c cut pool : 0.00 - 36 21 - - 265 386 - - - - - (maximal pool size: 265)
3588.27/3598.90 c aggregation : 0.08 0.00 19 11 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.27/3598.90 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.27/3598.90 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.27/3598.90 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c clique : 1.74 0.00 11 11 0 0 82 164 0 60 60 0 0
3588.27/3598.90 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c gomory : 25.04 0.00 18 10 0 0 79 87 0 7 7 0 0
3588.27/3598.90 c > gomorymi : - - - - - - - 38 0 4 4 0 -
3588.27/3598.90 c > strongcg : - - - - - - - 49 0 3 3 0 -
3588.27/3598.90 c impliedbounds : 0.11 0.00 19 11 0 0 25 32 0 11 11 0 0
3588.27/3598.90 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3588.27/3598.90 c zerohalf : 18.55 0.00 19 11 0 0 94 103 15 101 89 12 0
3588.27/3598.90 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.27/3598.90 c hybrid : 0.00 0.00 19 11 191 0 237 132 0 137
3588.27/3598.90 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c Pricers : ExecTime SetupTime Calls Vars
3588.27/3598.90 c problem variables: 0.00 - 0 0
3588.27/3598.90 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.27/3598.90 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c relpscost : 46.08 0.00 24 0 0 0 0 0 0 48
3588.27/3598.90 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.27/3598.90 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.27/3598.90 c LP solutions : 0.00 - - 0 0
3588.27/3598.90 c relax solutions : 0.00 - - 0 0
3588.27/3598.90 c pseudo solutions : 0.00 - - 0 0
3588.27/3598.90 c strong branching : 0.00 - - 0 0
3588.27/3598.90 c actconsdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c adaptivediving : 185.38 0.00 1 0 0
3588.27/3598.90 c alns : 0.00 0.00 0 0 0
3588.27/3598.90 c bound : 0.00 0.00 0 0 0
3588.27/3598.90 c clique : 0.06 0.00 1 0 0
3588.27/3598.90 c coefdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c completesol : 0.00 0.00 0 0 0
3588.27/3598.90 c conflictdiving : 294.08 0.00 1 0 0
3588.27/3598.90 c crossover : 0.00 0.00 0 0 0
3588.27/3598.90 c dins : 0.00 0.00 0 0 0
3588.27/3598.90 c distributiondivin: 214.24 0.00 1 0 0
3588.27/3598.90 c dks : 0.00 0.00 0 0 0
3588.27/3598.90 c dps : 0.00 0.00 0 0 0
3588.27/3598.90 c dualval : 0.00 0.00 0 0 0
3588.27/3598.90 c farkasdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c feaspump : 207.47 0.00 1 0 0
3588.27/3598.90 c fixandinfer : 0.00 0.00 0 0 0
3588.27/3598.90 c fracdiving : 145.68 0.00 1 0 0
3588.27/3598.90 c gins : 0.00 0.00 0 0 0
3588.27/3598.90 c guideddiving : 0.00 0.00 0 0 0
3588.27/3598.90 c indicator : 0.00 0.00 0 0 0
3588.27/3598.90 c indicatordiving : 0.00 0.00 0 0 0
3588.27/3598.90 c intdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c intshifting : 0.00 0.00 0 0 0
3588.27/3598.90 c linesearchdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c localbranching : 0.00 0.00 0 0 0
3588.27/3598.90 c locks : 0.08 0.00 1 0 0
3588.27/3598.90 c lpface : 0.00 0.00 0 0 0
3588.27/3598.90 c mpec : 0.00 0.00 0 0 0
3588.27/3598.90 c multistart : 0.00 0.00 0 0 0
3588.27/3598.90 c mutation : 0.00 0.00 0 0 0
3588.27/3598.90 c nlpdiving : 0.00 0.00 0 0 0
3588.27/3598.90 c objpscostdiving : 918.76 0.00 1 0 0
3588.27/3598.90 c octane : 0.00 0.00 0 0 0
3588.27/3598.90 c ofins : 0.00 0.00 0 0 0
3588.27/3598.90 c oneopt : 0.00 0.00 0 0 0
3588.27/3598.90 c padm : 0.00 0.00 0 0 0
3588.27/3598.90 c proximity : 0.00 0.00 0 0 0
3588.27/3598.90 c pscostdiving : 276.13 0.00 1 0 0
3588.27/3598.90 c randrounding : 0.21 0.00 12 0 0
3588.27/3598.90 c rens : 0.67 0.00 1 0 0
3588.27/3598.90 c reoptsols : 0.00 0.00 0 0 0
3588.27/3598.90 c repair : 0.00 0.00 0 0 0
3588.27/3598.90 c rins : 0.00 0.00 0 0 0
3588.27/3598.90 c rootsoldiving : 0.00 0.00 0 0 0
3588.27/3598.90 c rounding : 0.05 0.00 43 0 0
3588.27/3598.90 c scheduler : 0.00 0.00 0 0 0
3588.27/3598.90 c shiftandpropagate: 0.02 0.00 1 0 0
3588.27/3598.90 c shifting : 0.27 0.00 24 0 0
3588.27/3598.90 c simplerounding : 0.00 0.00 0 0 0
3588.27/3598.90 c subnlp : 0.00 0.00 0 0 0
3588.27/3598.90 c trivial : 0.01 0.00 2 0 0
3588.27/3598.90 c trivialnegation : 0.00 0.00 0 0 0
3588.27/3598.90 c trustregion : 0.00 0.00 0 0 0
3588.27/3598.90 c trysol : 0.00 0.00 0 0 0
3588.27/3598.90 c twoopt : 0.00 0.00 0 0 0
3588.27/3598.90 c undercover : 0.00 0.00 0 0 0
3588.27/3598.90 c vbounds : 0.13 0.00 1 0 0
3588.27/3598.90 c veclendiving : 137.14 0.00 1 0 0
3588.27/3598.90 c zeroobj : 0.00 0.00 0 0 0
3588.27/3598.90 c zirounding : 0.02 0.00 23 0 0
3588.27/3598.90 c other solutions : - - - 0 -
3588.27/3598.90 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 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
3588.27/3598.90 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.27/3598.90 c primal LP : 0.15 5 0 0.00 0.00 0.15 5
3588.27/3598.90 c dual LP : 1093.84 43 515667 11992.26 471.43 0.00 0
3588.27/3598.90 c lex dual LP : 0.00 0 0 0.00 -
3588.27/3598.90 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.27/3598.90 c resolve instable : 40.80 10 1592 159.20 39.02
3588.27/3598.90 c diving/probing LP: 2386.25 255 649939 2548.78 272.37
3588.27/3598.90 c strong branching : 36.01 19 19000 1000.00 527.56 - - 38
3588.27/3598.90 c (at root node) : - 19 19000 1000.00 -
3588.27/3598.90 c conflict analysis: 0.00 0 0 0.00 -
3588.27/3598.90 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.27/3598.90 c benders : 0.00 0 0 0 0.00 0 0 0
3588.27/3598.90 c B&B Tree :
3588.27/3598.90 c number of runs : 1
3588.27/3598.90 c nodes : 25 (24 internal, 1 leaves)
3588.27/3598.90 c feasible leaves : 0
3588.27/3598.90 c infeas. leaves : 1
3588.27/3598.90 c objective leaves : 0
3588.27/3598.90 c nodes (total) : 25 (24 internal, 1 leaves)
3588.27/3598.90 c nodes left : 24
3588.27/3598.90 c max depth : 11
3588.27/3598.90 c max depth (total): 11
3588.27/3598.90 c backtracks : 5 (20.0%)
3588.27/3598.90 c early backtracks : 0 (0.0%)
3588.27/3598.90 c nodes exc. ref. : 0 (0.0%)
3588.27/3598.90 c delayed cutoffs : 0
3588.27/3598.90 c repropagations : 4 (1 domain reductions, 0 cutoffs)
3588.27/3598.90 c avg switch length: 2.00
3588.27/3598.90 c switching time : 0.18
3588.27/3598.90 c Root Node :
3588.27/3598.90 c First LP value : +0.00000000000000e+00
3588.27/3598.90 c First LP Iters : 19067 (781.68 Iter/sec)
3588.27/3598.90 c First LP Time : 24.39
3588.27/3598.90 c Final Dual Bound : +0.00000000000000e+00
3588.27/3598.90 c Final Root Iters : 253985
3588.27/3598.90 c Root LP Estimate : +2.45509064746054e-03
3588.27/3598.90 c Solution :
3588.27/3598.90 c Solutions found : 0 (0 improvements)
3588.27/3598.90 c Primal Bound : -
3588.27/3598.90 c Dual Bound : +0.00000000000000e+00
3588.27/3598.90 c Gap : infinite
3588.27/3598.90 c Integrals : Total Avg%
3588.27/3598.90 c primal-dual : 359890.52 100.00
3588.27/3598.90 c primal-ref : - - (not evaluated)
3588.27/3598.90 c dual-ref : - - (not evaluated)
3588.38/3599.02 c Time complete (sec): 3588.404
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 (57887 MiB free)
memory of node 1: 64465 MiB (57567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506771-1751176723/watcher-4506771-1751176723 -o /tmp/evaluation-result-4506771-1751176723/solver-4506771-1751176723 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28918 --watchdog 3760 pbsolver -f HOME/instance-4506771-1751176723.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29616, runsolver pid=29613
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 29617
/proc/meminfo: memFree=118157044/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=80800 memory=71856 CPUtime=0.1 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 15893 0 0 0 8 2 0 0 20 0 1 0 33351100 82739200 17964 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 20200 17964 2368 2575 0 17107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80800 KiB
Current children cumulated memory: 71856 KiB
[startup+0.205534 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 29617
/proc/meminfo: memFree=118132852/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=106000 memory=92720 CPUtime=0.2 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 21061 0 0 0 17 3 0 0 20 0 1 0 33351100 108544000 23180 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 26500 23180 2432 2575 0 23407 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106000 KiB
Current children cumulated memory: 92720 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 29617
/proc/meminfo: memFree=118104564/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=132460 memory=119968 CPUtime=0.29 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 30278 0 0 0 25 4 0 0 20 0 1 0 33351100 135639040 29992 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 33115 29992 2496 2575 0 30022 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132460 KiB
Current children cumulated memory: 119968 KiB
[startup+0.700187 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29617
/proc/meminfo: memFree=118104564/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=136912 memory=125040 CPUtime=0.69 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 33746 0 0 0 64 5 0 0 20 0 1 0 33351100 140197888 31260 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 34228 31260 2528 2575 0 31135 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136912 KiB
Current children cumulated memory: 125040 KiB
[startup+1.50018 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29617
/proc/meminfo: memFree=118088688/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=182024 memory=168440 CPUtime=1.49 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 44142 0 0 0 142 7 0 0 20 0 1 0 33351100 186392576 42110 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 45506 42110 2624 2575 0 42413 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 182024 KiB
Current children cumulated memory: 168440 KiB
[startup+3.10519 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128535048/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=190344 memory=176376 CPUtime=3.07 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 46126 0 0 0 298 9 0 0 20 0 1 0 33351100 194912256 44094 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 47586 44094 2624 2575 0 44493 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 190344 KiB
Current children cumulated memory: 176376 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128437548/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=193568 memory=179576 CPUtime=6.26 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 46935 0 0 0 617 9 0 0 20 0 1 0 33351100 198213632 44894 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 48392 44894 2624 2575 0 45299 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 193568 KiB
Current children cumulated memory: 179576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128436036/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=200840 memory=186872 CPUtime=12.64 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 48750 0 0 0 1255 9 0 0 20 0 1 0 33351100 205660160 46718 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 50210 46718 2624 2575 0 47117 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 200840 KiB
Current children cumulated memory: 186872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128415180/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=201476 memory=187512 CPUtime=25.4 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 48912 0 0 0 2531 9 0 0 20 0 1 0 33351100 206311424 46878 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 50369 46878 2624 2575 0 47276 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 201476 KiB
Current children cumulated memory: 187512 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29707
/proc/meminfo: memFree=128096684/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=412156 memory=335352 CPUtime=50.94 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 86120 0 0 0 5078 16 0 0 20 0 1 0 33351100 422047744 83838 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 103039 83838 2688 2575 0 99946 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 412156 KiB
Current children cumulated memory: 335352 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29714
/proc/meminfo: memFree=127957804/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=415264 memory=339064 CPUtime=101.97 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 87048 0 0 0 10181 16 0 0 20 0 1 0 33351100 425230336 84766 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 103816 84766 2688 2575 0 100723 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 415264 KiB
Current children cumulated memory: 339064 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 29727
/proc/meminfo: memFree=127946016/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=415264 memory=339064 CPUtime=161.8 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 87064 0 0 0 16164 16 0 0 20 0 1 0 33351100 425230336 84766 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 103816 84766 2688 2575 0 100723 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 415264 KiB
Current children cumulated memory: 339064 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29729
/proc/meminfo: memFree=127899400/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=420408 memory=344324 CPUtime=221.62 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 87858 0 0 0 22145 17 0 0 20 0 1 0 33351100 430497792 86081 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 105102 86081 2688 2575 0 102009 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 420408 KiB
Current children cumulated memory: 344324 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 29731
/proc/meminfo: memFree=127789392/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=498536 memory=420236 CPUtime=281.45 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 94600 0 0 0 28126 19 0 0 20 0 1 0 33351100 510500864 105059 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 124634 105059 2688 2575 0 121541 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 498536 KiB
Current children cumulated memory: 420236 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/263 29733
/proc/meminfo: memFree=127749440/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=515160 memory=434316 CPUtime=341.29 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 98177 0 0 0 34109 20 0 0 20 0 1 0 33351100 527523840 108579 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 128790 108579 2688 2575 0 125697 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 515160 KiB
Current children cumulated memory: 434316 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 29735
/proc/meminfo: memFree=127654008/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=521624 memory=439564 CPUtime=401.11 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 99501 0 0 0 40091 20 0 0 20 0 1 0 33351100 534142976 109891 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 130406 109891 2688 2575 0 127313 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 521624 KiB
Current children cumulated memory: 439564 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 29738
/proc/meminfo: memFree=127624476/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=529116 memory=444940 CPUtime=460.94 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 100873 0 0 0 46074 20 0 0 20 0 1 0 33351100 541814784 111235 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 132279 111235 2688 2575 0 129186 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 5/265 29921
/proc/meminfo: memFree=127736956/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3152.95 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122564 0 0 0 315271 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 29924
/proc/meminfo: memFree=127735624/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3212.78 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122565 0 0 0 321254 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/266 29926
/proc/meminfo: memFree=127735380/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3272.6 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122575 0 0 0 327236 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/265 29928
/proc/meminfo: memFree=127735508/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3332.42 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122577 0 0 0 333218 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/265 29930
/proc/meminfo: memFree=127735388/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3392.25 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122577 0 0 0 339201 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.12 6/263 29932
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3452.07 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122622 0 0 0 345183 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 29935
/proc/meminfo: memFree=127735636/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3511.9 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122689 0 0 0 351166 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735500/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3571.72 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122691 0 0 0 357148 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3599.02 s]
# the end of solver process 29616 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.16 s, system=0.247447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735500/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3573.42 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122691 0 0 0 357318 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3579.8 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122691 0 0 0 357956 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3579.8 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3582.99 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122691 0 0 0 358275 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3582.99 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3586.18 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122692 0 0 0 358594 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3587.78 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122692 0 0 0 358754 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3598.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=622980 memory=592364 CPUtime=3588.17 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122692 0 0 0 358793 24 0 0 20 0 1 0 33351100 637931520 148091 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 155745 148091 2976 2575 0 152652 0
Current children cumulated CPU time: 3588.17 s
Current children cumulated vsize: 622980 KiB
Current children cumulated memory: 592364 KiB
[startup+3599 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127771436/131249992 swapFree=33010684/33010684
[pid=29616] ppid=29613 vsize=556004 memory=525468 CPUtime=3588.38 cores=0,2
/proc/29616/stat : 29616 (pbsolver) R 29613 29616 28908 0 -1 4194304 122788 0 0 0 358814 24 0 0 20 0 1 0 33351100 569348096 131367 18446744073709551615 4198400 14743177 140735935160848 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 51757056 140735935166858 140735935166954 140735935166954 140735935172556 0
/proc/29616/statm: 139001 131367 2976 2575 0 135908 0
Current children cumulated CPU time: 3588.38 s
Current children cumulated vsize: 556004 KiB
Current children cumulated memory: 525468 KiB
Child status: 0
Real time (s): 3599.02
CPU time (s): 3588.41
CPU user time (s): 3588.16
CPU system time (s): 0.247447
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 622980
Max. memory (cumulated for all children) (KiB): 592364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.16
system time used= 0.247447
maximum resident set size= 592364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122807
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= 26
involuntary context switches= 4564
# summary of solver processes directly reported to runsolver:
# pid: 29616
# total CPU time (s): 3588.41
# total CPU user time (s): 3588.16
# total CPU system time (s): 0.247447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26086 second user time and 13.4803 second system time
The end
Begin job on nodeC025 at 2025-06-29 07:58:43 IDJOB=4506771 IDBENCH=158263 IDSOLVER=3366 FILE ID=nodeC025/4506771-1751176723 RUNJOBID= nodeC025-1751169526-28918 SLURM_JOB_ID= 9587520 Free space on /tmp= 432920 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506771-1751176723/watcher-4506771-1751176723 -o /tmp/evaluation-result-4506771-1751176723/solver-4506771-1751176723 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28918 --watchdog 3760 pbsolver -f HOME/instance-4506771-1751176723.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e RANDOM SEED=1176018454 nodeC025 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.827 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.67 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.867 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.67 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 : 3611.017 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.67 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 : 3571.951 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.67 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.845 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.67 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.834 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.67 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 : 3599.830 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.67 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 118226152 kB MemAvailable: 118025528 kB Buffers: 3280 kB Cached: 609376 kB SwapCached: 0 kB Active: 12033820 kB Inactive: 351196 kB Active(anon): 11790508 kB Inactive(anon): 0 kB Active(file): 243312 kB Inactive(file): 351196 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16448 kB Writeback: 0 kB AnonPages: 11774784 kB Mapped: 135048 kB Shmem: 18084 kB KReclaimable: 88212 kB Slab: 172292 kB SReclaimable: 88212 kB SUnreclaim: 84080 kB KernelStack: 4272 kB PageTables: 26552 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 14737012 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 5912576 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC025 at 2025-06-29 08:58:43