| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.03 | 3597.14 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb |
| MD5SUM | 7d29d77727f08087434452962a118642 |
| 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 | 38.0612 |
| 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 | 23086 |
| Total number of constraints | 23476 |
| Number of constraints which are clauses | 23282 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 194 |
| 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 | 195 |
| 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-4507167-1751183686.opb>
0.00/0.07 c original problem has 23086 variables (23086 bin, 0 int, 0 cont) and 23476 constraints
0.00/0.07 c problem read in 0.077 seconds
0.00/0.08 c problem without objective
0.10/0.17 c presolving:
0.10/0.21 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, 2675 clqs
0.20/0.22 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, 2659 clqs
0.20/0.22 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, 2680 clqs
0.20/0.23 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, 2711 clqs
0.20/0.23 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, 2734 clqs
0.20/0.23 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, 2744 clqs
0.20/0.29 c (0.3s) running MILP presolver
0.58/0.66 c (0.7s) MILP presolver (4 rounds): 1 aggregations, 196 fixings, 0 bound changes
0.58/0.67 c (round 7, medium) 1379 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2753 clqs
0.58/0.69 c (round 8, fast) 1379 del vars, 833 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2758 clqs
0.68/0.71 c (round 9, exhaustive) 1379 del vars, 1024 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2758 clqs
0.78/0.82 c (round 10, exhaustive) 1379 del vars, 1024 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22452 upgd conss, 0 impls, 2758 clqs
0.98/1.03 c (round 11, exhaustive) 1487 del vars, 1024 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22452 upgd conss, 0 impls, 2746 clqs
0.98/1.04 c (round 12, fast) 1595 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22452 upgd conss, 0 impls, 2746 clqs
3.28/3.36 c (round 13, exhaustive) 1621 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22452 upgd conss, 0 impls, 140182 clqs
3.28/3.37 c (round 14, fast) 1622 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 22452 upgd conss, 0 impls, 140197 clqs
5.17/5.27 c (round 15, exhaustive) 1648 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 22452 upgd conss, 0 impls, 140189 clqs
5.17/5.28 c (round 16, fast) 1649 del vars, 1185 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 22452 upgd conss, 0 impls, 140199 clqs
6.56/6.68 c (round 17, exhaustive) 1675 del vars, 1185 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 22452 upgd conss, 0 impls, 140176 clqs
6.56/6.69 c (round 18, fast) 1676 del vars, 1211 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 286 chg coeffs, 22452 upgd conss, 0 impls, 140194 clqs
7.07/7.16 c (round 19, exhaustive) 1701 del vars, 1211 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 286 chg coeffs, 22452 upgd conss, 0 impls, 140202 clqs
7.07/7.17 c (round 20, fast) 1701 del vars, 1236 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 345 chg coeffs, 22452 upgd conss, 0 impls, 140215 clqs
7.86/7.98 c (8.0s) probing: 1000/22039 (4.5%) - 110 fixings, 0 aggregations, 1107307 implications, 0 bound changes
8.36/8.43 c (round 21, exhaustive) 1727 del vars, 1236 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 345 chg coeffs, 22452 upgd conss, 0 impls, 140191 clqs
8.36/8.44 c (round 22, fast) 1728 del vars, 1262 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 406 chg coeffs, 22452 upgd conss, 0 impls, 140200 clqs
9.36/9.41 c (round 23, exhaustive) 1753 del vars, 1262 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 406 chg coeffs, 22452 upgd conss, 0 impls, 140240 clqs
9.36/9.42 c (round 24, fast) 1753 del vars, 1287 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 22452 upgd conss, 0 impls, 140256 clqs
9.85/9.92 c (round 25, exhaustive) 1779 del vars, 1287 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 22452 upgd conss, 0 impls, 140254 clqs
9.85/9.93 c (round 26, fast) 1780 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 550 chg coeffs, 22452 upgd conss, 0 impls, 140272 clqs
11.35/11.43 c (round 27, exhaustive) 1815 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 550 chg coeffs, 22452 upgd conss, 0 impls, 137543 clqs
11.35/11.44 c (round 28, fast) 1815 del vars, 1348 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 669 chg coeffs, 22452 upgd conss, 0 impls, 137573 clqs
11.75/11.89 c (round 29, exhaustive) 1842 del vars, 1348 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 669 chg coeffs, 22452 upgd conss, 0 impls, 137501 clqs
11.85/11.90 c (round 30, fast) 1844 del vars, 1375 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 728 chg coeffs, 22452 upgd conss, 0 impls, 137510 clqs
15.04/15.11 c (round 31, exhaustive) 1870 del vars, 1375 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 728 chg coeffs, 22452 upgd conss, 0 impls, 139864 clqs
15.04/15.12 c (round 32, fast) 1871 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 793 chg coeffs, 22452 upgd conss, 0 impls, 139879 clqs
15.34/15.44 c (round 33, exhaustive) 1896 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 794 chg coeffs, 22452 upgd conss, 0 impls, 140274 clqs
15.34/15.45 c (round 34, fast) 1896 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 22452 upgd conss, 0 impls, 140284 clqs
18.93/19.04 c (19.0s) probing: 2000/22039 (9.1%) - 295 fixings, 1 aggregations, 3401663 implications, 0 bound changes
20.22/20.33 c (round 35, exhaustive) 1921 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 22452 upgd conss, 0 impls, 140256 clqs
20.22/20.34 c (round 36, fast) 1921 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 22452 upgd conss, 0 impls, 140264 clqs
20.52/20.65 c (round 37, exhaustive) 1947 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 22452 upgd conss, 0 impls, 140311 clqs
20.52/20.66 c (round 38, fast) 1950 del vars, 1479 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 964 chg coeffs, 22452 upgd conss, 0 impls, 140316 clqs
20.82/20.98 c (round 39, exhaustive) 1975 del vars, 1479 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 22452 upgd conss, 0 impls, 140126 clqs
20.82/20.99 c (round 40, fast) 1975 del vars, 1504 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 990 chg coeffs, 22452 upgd conss, 0 impls, 140126 clqs
21.12/21.29 c (round 41, exhaustive) 2000 del vars, 1504 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 990 chg coeffs, 22452 upgd conss, 0 impls, 139921 clqs
21.22/21.30 c (round 42, fast) 2000 del vars, 1529 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 22452 upgd conss, 0 impls, 139921 clqs
21.62/21.76 c (round 43, exhaustive) 2025 del vars, 1529 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 22452 upgd conss, 0 impls, 139746 clqs
21.62/21.77 c (round 44, fast) 2025 del vars, 1554 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22452 upgd conss, 0 impls, 139746 clqs
21.92/22.08 c (round 45, exhaustive) 2050 del vars, 1554 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22452 upgd conss, 0 impls, 139671 clqs
21.92/22.09 c (round 46, fast) 2050 del vars, 1579 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1068 chg coeffs, 22452 upgd conss, 0 impls, 139671 clqs
24.41/24.53 c (round 47, exhaustive) 2075 del vars, 1579 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1068 chg coeffs, 22452 upgd conss, 0 impls, 140376 clqs
24.41/24.54 c (round 48, fast) 2075 del vars, 1604 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1093 chg coeffs, 22452 upgd conss, 0 impls, 140376 clqs
24.71/24.84 c (round 49, exhaustive) 2100 del vars, 1604 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1093 chg coeffs, 22452 upgd conss, 0 impls, 140276 clqs
24.71/24.85 c (round 50, fast) 2100 del vars, 1629 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1118 chg coeffs, 22452 upgd conss, 0 impls, 140276 clqs
26.10/26.26 c (26.3s) probing: 3000/22039 (13.6%) - 485 fixings, 1 aggregations, 4440111 implications, 0 bound changes
31.59/31.73 c (31.7s) probing: 4000/22039 (18.1%) - 487 fixings, 1 aggregations, 5682534 implications, 0 bound changes
36.98/37.10 c (37.1s) probing: 5000/22039 (22.7%) - 491 fixings, 1 aggregations, 6886073 implications, 0 bound changes
40.96/41.11 c (41.1s) probing: 6000/22039 (27.2%) - 492 fixings, 1 aggregations, 7851679 implications, 0 bound changes
41.76/41.93 c (41.9s) probing: 6207/22039 (28.2%) - 492 fixings, 1 aggregations, 8052577 implications, 0 bound changes
41.76/41.93 c (41.9s) probing aborted: 1000/1000 successive useless probings
41.76/41.97 c (42.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
41.87/42.03 c (42.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
41.87/42.07 c dynamic symmetry handling statistics:
41.87/42.07 c orbitopal reduction: no components
41.87/42.07 c orbital reduction: no components
41.87/42.07 c lexicographic reduction: 3 permutations with support sizes 1822, 752, 366
41.87/42.07 c handled 4 out of 4 symmetry components
41.87/42.10 c presolving (51 rounds: 51 fast, 24 medium, 23 exhaustive):
41.87/42.10 c 2111 deleted vars, 1637 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1126 changed coefficients
41.87/42.10 c 0 implications, 140448 cliques
41.87/42.10 c presolved problem has 21532 variables (21532 bin, 0 int, 0 cont) and 21840 constraints
41.87/42.10 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
41.87/42.10 c 1 constraints of type <knapsack>
41.87/42.10 c 2648 constraints of type <setppc>
41.87/42.10 c 1 constraints of type <orbitope_pp>
41.87/42.10 c 19190 constraints of type <logicor>
41.87/42.10 c transformed objective value is always integral (scale: 1)
41.87/42.10 c Presolving Time: 41.94
41.87/42.10 c
41.87/42.10 c - non default parameters ----------------------------------------------------------------------
41.87/42.10 c
41.87/42.10 c # SCIP version 10.0.0
41.87/42.10 c
41.87/42.10 c # maximal time in seconds to run
41.87/42.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
41.87/42.10 c limits/time = 3596.998473
41.87/42.10 c
41.87/42.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
41.87/42.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
41.87/42.10 c limits/memory = 27900
41.87/42.10 c
41.87/42.10 c # belongs reading time to solving time?
41.87/42.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
41.87/42.10 c timing/reading = TRUE
41.87/42.10 c
41.87/42.10 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
41.87/42.10 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
41.87/42.10 c reading/opbreader/maxintsize = 47
41.87/42.10 c
41.87/42.10 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
41.87/42.10 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
41.87/42.10 c propagating/genvbounds/timingmask = 0
41.87/42.10 c
41.87/42.10 c -----------------------------------------------------------------------------------------------
41.87/42.10 c
66.59/66.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.59/66.89 c 66.9s| 1 | 0 | 16782 | - | 412M | 0 | 21k| 22k| 21k| 0 | 0 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
269.88/270.78 c 271s| 1 | 0 |107392 | - | 440M | 0 | 21k| 22k| 21k| 12 | 1 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
303.48/304.45 c 304s| 1 | 0 |119293 | - | 450M | 0 | 21k| 22k| 21k| 21 | 2 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
339.89/340.92 c 341s| 1 | 0 |131899 | - | 455M | 0 | 21k| 22k| 21k| 29 | 3 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
379.08/380.22 c 380s| 1 | 0 |144533 | - | 460M | 0 | 21k| 22k| 21k| 37 | 4 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
415.39/416.68 c 417s| 1 | 0 |156117 | - | 463M | 0 | 21k| 22k| 21k| 42 | 5 | 189 | 0 | 0.000000e+00 | -- | Inf | unknown
461.16/462.55 c 463s| 1 | 0 |170459 | - | 466M | 0 | 21k| 22k| 21k| 65 | 6 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
509.03/510.57 c 511s| 1 | 0 |184839 | - | 470M | 0 | 21k| 22k| 21k| 87 | 7 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
563.39/565.01 c 565s| 1 | 0 |201307 | - | 472M | 0 | 21k| 22k| 21k| 100 | 8 | 202 | 0 | 0.000000e+00 | -- | Inf | unknown
608.87/610.69 c 611s| 1 | 0 |215356 | - | 479M | 0 | 21k| 22k| 21k| 124 | 9 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
662.03/663.95 c 664s| 1 | 0 |231399 | - | 485M | 0 | 21k| 22k| 21k| 146 | 10 | 207 | 0 | 0.000000e+00 | -- | Inf | unknown
702.92/704.90 c 705s| 1 | 0 |244438 | - | 489M | 0 | 21k| 22k| 21k| 157 | 11 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
1208.35/1211.97 c 1212s| 1 | 2 |423386 | - | 491M | 0 | 21k| 22k| 21k| 157 | 11 | 224 | 20 | 0.000000e+00 | -- | Inf | unknown
3586.78/3597.00 c
3586.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.78/3597.00 c Solving Time (sec) : 3597.00
3586.78/3597.00 c Solving Nodes : 13
3586.78/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.78/3597.00 c Dual Bound : +0.00000000000000e+00
3586.78/3597.00 c Gap : infinite
3586.78/3597.00 s UNKNOWN
3586.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.78/3597.00 c Total Time : 3597.00
3586.78/3597.00 c solving : 3597.00
3586.78/3597.00 c presolving : 41.94 (included in solving)
3586.78/3597.00 c reading : 0.08 (included in solving)
3586.78/3597.00 c copying : 0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.78/3597.00 c Original Problem :
3586.78/3597.00 c Problem name : HOME/instance-4507167-1751183686.opb
3586.78/3597.00 c Variables : 23086 (23086 binary, 0 integer, 0 continuous)
3586.78/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.78/3597.00 c Constraints : 23476 initial, 23476 maximal
3586.78/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.78/3597.00 c Presolved Problem :
3586.78/3597.00 c Problem name : t_HOME/instance-4507167-1751183686.opb
3586.78/3597.00 c Variables : 21532 (21532 binary, 0 integer, 0 continuous)
3586.78/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.78/3597.00 c Constraints : 21840 initial, 22043 maximal
3586.78/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.78/3597.00 c Nonzeros : 119708 constraint, 302048 clique table
3586.78/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.78/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c domcol : 1.07 0.00 20 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 8 0 0 8
3586.78/3597.00 c gateextraction : 0.21 0.00 21 0 0 0 0 0 1 0 0 0
3586.78/3597.00 c implics : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c milp : 0.42 0.00 1 196 1 0 0 0 0 0 0 0
3586.78/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c sparsify : 0.61 0.00 4 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c trivial : 0.03 0.00 51 557 0 0 0 0 0 0 0 0
3586.78/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c dualfix : 0.02 0.00 51 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c probing : 34.29 0.00 20 492 1 0 0 0 0 0 0 0
3586.78/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0
3586.78/3597.00 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c knapsack : 0.02 0.00 83 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c setppc : 0.24 0.00 83 0 0 0 0 0 109 0 0 0
3586.78/3597.00 c linear : 0.18 0.02 12 302 0 0 302 0 1024 0 0 0
3586.78/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c logicor : 4.59 0.01 83 110 0 0 0 0 495 0 0 1118
3586.78/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.78/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.78/3597.00 c integral : 0 0 0 0 10 0 0 7 0 0 0 0 0 0 20
3586.78/3597.00 c knapsack : 1 1 11 444450 0 0 0 3 2 0 0 0 0 0 0
3586.78/3597.00 c setppc : 2648+ 2754 11 453667 0 0 0 3 9537 300 17119 0 0 0 0
3586.78/3597.00 c orbitope_pp : 1 1 0 22264 0 0 0 0 2 0 6 0 0 0 0
3586.78/3597.00 c logicor : 19190+ 19288 11 118900 0 0 0 0 31055 121 2382 36 13 0 0
3586.78/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.88/3597.00 c integral : 52.46 0.00 0.00 0.00 52.46 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c knapsack : 0.24 0.00 0.02 0.22 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c setppc : 4.41 0.00 0.01 4.26 0.00 0.00 0.00 0.00 0.00 0.14
3586.88/3597.00 c orbitope_pp : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c logicor : 9.27 0.01 0.04 9.17 0.00 0.00 0.00 0.00 0.01 0.05
3586.88/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.88/3597.00 c dualfix : 1 0 0 0
3586.88/3597.00 c genvbounds : 0 0 0 0
3586.88/3597.00 c nlobbt : 0 0 0 0
3586.88/3597.00 c obbt : 0 0 0 0
3586.88/3597.00 c probing : 0 0 0 0
3586.88/3597.00 c pseudoobj : 0 0 0 0
3586.88/3597.00 c redcost : 0 0 0 0
3586.88/3597.00 c rootredcost : 0 0 0 0
3586.88/3597.00 c symmetry : 5700 0 0 1
3586.88/3597.00 c vbounds : 6912 0 0 0
3586.88/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.88/3597.00 c dualfix : 0.03 0.00 0.02 0.00 0.00 0.00
3586.88/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.88/3597.00 c probing : 34.29 0.00 34.29 0.00 0.00 0.00
3586.88/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.88/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.88/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.88/3597.00 c symmetry : 0.11 0.00 0.09 0.02 0.00 0.00
3586.88/3597.00 c vbounds : 0.07 0.00 0.04 0.03 0.00 0.00
3586.88/3597.00 c Symmetry :
3586.88/3597.00 c #affected vars : 3486 (3486 bin, 0 int, 0 cont)
3586.88/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.88/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.88/3597.00 c lexicographic red: 1 reductions applied, 0 cutoffs
3586.88/3597.00 c shadow tree time : 0.00 s
3586.88/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.88/3597.00 c propagation : 0.03 419 128 - 548 147.0 3 6.3 - - -
3586.88/3597.00 c infeasible LP : 0.14 6 1 - 5 591.8 0 0.0 0 0.0 0
3586.88/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.88/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.88/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.88/3597.00 c applied globally : 0.01 - - 0 239 40.1 - - 0 - -
3586.88/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.88/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.88/3597.00 c cut pool : 0.00 - 21 21 - - 216 291 - - - - - (maximal pool size: 216)
3586.88/3597.00 c aggregation : 0.06 0.00 11 11 0 0 1 1 0 0 0 0 0
3586.88/3597.00 c > cmir : - - - - - - - 1 0 0 0 0 -
3586.88/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.88/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.88/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c clique : 2.34 0.00 11 11 0 0 86 157 0 27 27 0 0
3586.88/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c gomory : 26.15 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.88/3597.00 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.88/3597.00 c impliedbounds : 0.08 0.00 11 11 0 0 27 30 0 15 15 0 0
3586.88/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.88/3597.00 c zerohalf : 14.84 0.00 11 11 0 0 102 103 0 102 102 0 0
3586.88/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.88/3597.00 c hybrid : 0.00 0.00 11 11 157 0 170 157 0 170
3586.88/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.88/3597.00 c problem variables: 0.00 - 0 0
3586.88/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.88/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c relpscost : 52.46 0.00 10 0 0 0 0 0 0 20
3586.88/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.88/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.88/3597.00 c LP solutions : 0.00 - - 0 0
3586.88/3597.00 c relax solutions : 0.00 - - 0 0
3586.88/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.88/3597.00 c strong branching : 0.00 - - 0 0
3586.88/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c adaptivediving : 0.00 0.00 0 0 0
3586.88/3597.00 c alns : 0.13 0.00 1 0 0
3586.88/3597.00 c bound : 0.00 0.00 0 0 0
3586.88/3597.00 c clique : 0.09 0.00 1 0 0
3586.88/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c completesol : 0.00 0.00 0 0 0
3586.88/3597.00 c conflictdiving : 453.62 0.00 1 0 0
3586.88/3597.00 c crossover : 0.00 0.00 0 0 0
3586.88/3597.00 c dins : 0.00 0.00 0 0 0
3586.88/3597.00 c distributiondivin: 0.01 0.00 0 0 0
3586.88/3597.00 c dks : 0.00 0.00 0 0 0
3586.88/3597.00 c dps : 0.00 0.00 0 0 0
3586.88/3597.00 c dualval : 0.00 0.00 0 0 0
3586.88/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c feaspump : 171.22 0.00 1 0 0
3586.88/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.88/3597.00 c fracdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c gins : 0.00 0.00 0 0 0
3586.88/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.88/3597.00 c indicator : 0.00 0.00 0 0 0
3586.88/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.88/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.88/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.88/3597.00 c locks : 0.09 0.00 1 0 0
3586.88/3597.00 c lpface : 0.00 0.00 0 0 0
3586.88/3597.00 c mpec : 0.00 0.00 0 0 0
3586.88/3597.00 c multistart : 0.00 0.00 0 0 0
3586.88/3597.00 c mutation : 0.00 0.00 0 0 0
3586.88/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3586.88/3597.00 c octane : 0.00 0.00 0 0 0
3586.88/3597.00 c ofins : 0.00 0.00 0 0 0
3586.88/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.88/3597.00 c padm : 0.00 0.00 0 0 0
3586.88/3597.00 c proximity : 0.00 0.00 0 0 0
3586.88/3597.00 c pscostdiving : 681.79 0.00 1 0 0
3586.88/3597.00 c randrounding : 0.26 0.00 12 0 0
3586.88/3597.00 c rens : 0.84 0.00 1 0 0
3586.88/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.88/3597.00 c repair : 0.00 0.00 0 0 0
3586.88/3597.00 c rins : 0.00 0.00 0 0 0
3586.88/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3586.88/3597.00 c rounding : 0.03 0.00 21 0 0
3586.88/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.88/3597.00 c shiftandpropagate: 0.03 0.00 1 0 0
3586.88/3597.00 c shifting : 0.17 0.00 12 0 0
3586.88/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.88/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.88/3597.00 c trivial : 0.02 0.00 2 0 0
3586.88/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.88/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.88/3597.00 c trysol : 0.00 0.00 0 0 0
3586.88/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.88/3597.00 c undercover : 0.00 0.00 0 0 0
3586.88/3597.00 c vbounds : 0.13 0.00 1 0 0
3586.88/3597.00 c veclendiving : 0.00 0.00 0 0 0
3586.88/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.88/3597.00 c zirounding : 0.01 0.00 10 0 0
3586.88/3597.00 c other solutions : - - - 0 -
3586.88/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 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
3586.88/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.88/3597.00 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
3586.88/3597.00 c dual LP : 2150.25 23 756401 32887.00 351.77 0.00 0
3586.88/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.88/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.88/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.88/3597.00 c diving/probing LP: 1315.62 35 413852 11824.34 314.57
3586.88/3597.00 c strong branching : 42.57 20 18067 903.35 424.42 - - 35
3586.88/3597.00 c (at root node) : - 20 18067 903.35 -
3586.88/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.88/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.88/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.88/3597.00 c B&B Tree :
3586.88/3597.00 c number of runs : 1
3586.88/3597.00 c nodes : 13 (10 internal, 3 leaves)
3586.88/3597.00 c feasible leaves : 0
3586.88/3597.00 c infeas. leaves : 2
3586.88/3597.00 c objective leaves : 0
3586.88/3597.00 c nodes (total) : 13 (10 internal, 3 leaves)
3586.88/3597.00 c nodes left : 9
3586.88/3597.00 c max depth : 7
3586.88/3597.00 c max depth (total): 7
3586.88/3597.00 c backtracks : 2 (15.4%)
3586.88/3597.00 c early backtracks : 0 (0.0%)
3586.88/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.88/3597.00 c delayed cutoffs : 0
3586.88/3597.00 c repropagations : 6 (31 domain reductions, 0 cutoffs)
3586.88/3597.00 c avg switch length: 1.85
3586.88/3597.00 c switching time : 0.06
3586.88/3597.00 c Root Node :
3586.88/3597.00 c First LP value : +0.00000000000000e+00
3586.88/3597.00 c First LP Iters : 16782 (686.91 Iter/sec)
3586.88/3597.00 c First LP Time : 24.43
3586.88/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.88/3597.00 c Final Root Iters : 244438
3586.88/3597.00 c Root LP Estimate : +1.22118128925888e-03
3586.88/3597.00 c Solution :
3586.88/3597.00 c Solutions found : 0 (0 improvements)
3586.88/3597.00 c Primal Bound : -
3586.88/3597.00 c Dual Bound : +0.00000000000000e+00
3586.88/3597.00 c Gap : infinite
3586.88/3597.00 c Integrals : Total Avg%
3586.88/3597.00 c primal-dual : 359700.12 100.00
3586.88/3597.00 c primal-ref : - - (not evaluated)
3586.88/3597.00 c dual-ref : - - (not evaluated)
3586.98/3597.14 c Time complete (sec): 3587.030
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 (63004 MiB free)
memory of node 1: 64465 MiB (63998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507167-1751183686/watcher-4507167-1751183686 -o /tmp/evaluation-result-4507167-1751183686/solver-4507167-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507167-1751183686.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
Current StackSize limit: 8192 KiB
solver pid=22827, runsolver pid=22821
[startup+0.100068 s]*
/proc/loadavg: 1.77 2.08 2.64 5/265 22840
/proc/meminfo: memFree=129831804/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=83244 memory=73772 CPUtime=0.1 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 16402 0 0 0 7 3 0 0 20 0 1 0 33991154 85241856 18443 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 20811 18443 2368 2575 0 17718 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83244 KiB
Current children cumulated memory: 73772 KiB
[startup+0.205686 s]*
/proc/loadavg: 1.77 2.08 2.64 5/265 22840
/proc/meminfo: memFree=129703792/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=117832 memory=105132 CPUtime=0.2 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 24193 0 0 0 16 4 0 0 20 0 1 0 33991154 120659968 26283 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 29458 26283 2400 2575 0 26365 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117832 KiB
Current children cumulated memory: 105132 KiB
[startup+0.305525 s]*
/proc/loadavg: 1.77 2.08 2.64 5/265 22840
/proc/meminfo: memFree=129607244/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=149624 memory=136736 CPUtime=0.29 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 32940 0 0 0 24 5 0 0 20 0 1 0 33991154 153214976 34184 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 37406 34184 2432 2575 0 34313 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149624 KiB
Current children cumulated memory: 136736 KiB
[startup+0.700187 s]
/proc/loadavg: 1.77 2.08 2.64 5/265 22840
/proc/meminfo: memFree=129599180/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=139236 memory=126908 CPUtime=0.68 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 33039 0 0 0 63 5 0 0 20 0 1 0 33991154 142577664 31727 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 34809 31727 2496 2575 0 31716 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139236 KiB
Current children cumulated memory: 126908 KiB
[startup+1.50017 s]
/proc/loadavg: 1.77 2.08 2.64 5/265 22840
/proc/meminfo: memFree=129536180/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=197216 memory=182324 CPUtime=1.48 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 44725 0 0 0 141 7 0 0 20 0 1 0 33991154 201949184 45581 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 49304 45581 2624 2575 0 46211 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197216 KiB
Current children cumulated memory: 182324 KiB
[startup+3.10551 s]
/proc/loadavg: 1.95 2.11 2.65 5/265 22840
/proc/meminfo: memFree=129396788/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=213960 memory=198964 CPUtime=3.08 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 48870 0 0 0 300 8 0 0 20 0 1 0 33991154 219095040 49741 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 53490 49741 2624 2575 0 50397 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 213960 KiB
Current children cumulated memory: 198964 KiB
[startup+6.30019 s]
/proc/loadavg: 1.95 2.11 2.65 5/265 22840
/proc/meminfo: memFree=129389140/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=214112 memory=199092 CPUtime=6.27 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 48909 0 0 0 619 8 0 0 20 0 1 0 33991154 219250688 49773 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 53528 49773 2624 2575 0 50435 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 214112 KiB
Current children cumulated memory: 199092 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 2.17 2.67 5/265 22840
/proc/meminfo: memFree=129356884/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=225040 memory=209972 CPUtime=12.64 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 51635 0 0 0 1256 8 0 0 20 0 1 0 33991154 230440960 52493 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 56260 52493 2624 2575 0 53167 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225040 KiB
Current children cumulated memory: 209972 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 2.23 2.68 5/265 22841
/proc/meminfo: memFree=129348820/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=226552 memory=211508 CPUtime=25.41 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 52035 0 0 0 2533 8 0 0 20 0 1 0 33991154 231989248 52877 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 56638 52877 2624 2575 0 53545 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 226552 KiB
Current children cumulated memory: 211508 KiB
[startup+51.1055 s]
/proc/loadavg: 3.11 2.39 2.72 5/264 22841
/proc/meminfo: memFree=128795996/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=463468 memory=380300 CPUtime=50.94 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 92976 0 0 0 5080 14 0 0 20 0 1 0 33991154 474591232 95075 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 115867 95075 2688 2575 0 112774 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 463468 KiB
Current children cumulated memory: 380300 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.68 2.80 5/264 22844
/proc/meminfo: memFree=128718712/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=474096 memory=390188 CPUtime=101.98 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 94945 0 0 0 10183 15 0 0 20 0 1 0 33991154 485474304 97547 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 118524 97547 2688 2575 0 115431 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 474096 KiB
Current children cumulated memory: 390188 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.94 2.89 5/264 22846
/proc/meminfo: memFree=128708760/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=474096 memory=394540 CPUtime=161.81 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 94952 0 0 0 16166 15 0 0 20 0 1 0 33991154 485474304 98635 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 118524 98635 2688 2575 0 115431 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 474096 KiB
Current children cumulated memory: 394540 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.15 2.96 5/264 22848
/proc/meminfo: memFree=128671236/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=474096 memory=410924 CPUtime=221.63 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 94958 0 0 0 22148 15 0 0 20 0 1 0 33991154 485474304 102731 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 118524 102731 2688 2575 0 115431 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 474096 KiB
Current children cumulated memory: 410924 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.32 3.04 5/264 22850
/proc/meminfo: memFree=128303756/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=585524 memory=535880 CPUtime=281.45 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 105080 0 0 0 28128 17 0 0 20 0 1 0 33991154 599576576 133970 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 146381 133970 2688 2575 0 143288 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 585524 KiB
Current children cumulated memory: 535880 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.46 3.11 5/264 22855
/proc/meminfo: memFree=128252108/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=591468 memory=553672 CPUtime=341.28 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 106817 0 0 0 34110 18 0 0 20 0 1 0 33991154 605663232 138418 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 147867 138418 2688 2575 0 144774 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 591468 KiB
Current children cumulated memory: 553672 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.59 3.18 5/264 22868
/proc/meminfo: memFree=128235184/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=598972 memory=562376 CPUtime=401.13 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 108537 0 0 0 40095 18 0 0 20 0 1 0 33991154 613347328 140594 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 149743 140594 2688 2575 0 146650 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 598972 KiB
Current children cumulated memory: 562376 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.67 3.23 5/264 22874
/proc/meminfo: memFree=128196880/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=603708 memory=569160 CPUtime=460.96 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 109898 0 0 0 46078 18 0 0 20 0 1 0 33991154 618196992 142290 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 150927 142290 2688 2575 0 147834 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
/proc/loadavg: 4.08 4.12 4.09 5/263 23001
/proc/meminfo: memFree=127666708/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3213.16 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136369 0 0 0 321294 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 23003
/proc/meminfo: memFree=127666436/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3273.01 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136430 0 0 0 327279 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 23007
/proc/meminfo: memFree=127665960/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3332.85 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 333263 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 23009
/proc/meminfo: memFree=127666308/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3392.69 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 339247 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 23015
/proc/meminfo: memFree=127666276/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3452.53 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 345231 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 23017
/proc/meminfo: memFree=127665876/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3512.37 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 351215 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3572.22 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 357200 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3597.14 s]
# the end of solver process 22827 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.8 s, system=0.230217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3573.92 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 357370 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665048/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3580.3 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 358008 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3580.3 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3583.49 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 358327 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3583.49 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3585.08 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 358486 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3585.89 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 358567 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3586.68 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136437 0 0 0 358646 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=709956 memory=675540 CPUtime=3586.88 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136471 0 0 0 358666 22 0 0 20 0 1 0 33991154 726994944 168885 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 177489 168885 2688 2575 0 174396 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 709956 KiB
Current children cumulated memory: 675540 KiB
[startup+3597.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22827] ppid=22821 vsize=639104 memory=604808 CPUtime=3586.98 cores=0,2
/proc/22827/stat : 22827 (pbsolver) R 22821 22827 22771 0 -1 4194304 136604 0 0 0 358676 22 0 0 20 0 1 0 33991154 654442496 151202 18446744073709551615 4198400 14743177 140737002769200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41267200 140737002776970 140737002777066 140737002777066 140737002782668 0
/proc/22827/statm: 159776 151202 2688 2575 0 156683 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 639104 KiB
Current children cumulated memory: 604808 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3587.03
CPU user time (s): 3586.8
CPU system time (s): 0.230217
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 709956
Max. memory (cumulated for all children) (KiB): 675540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.8
system time used= 0.230217
maximum resident set size= 675540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136814
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= 30
involuntary context switches= 5099
# summary of solver processes directly reported to runsolver:
# pid: 22827
# total CPU time (s): 3587.03
# total CPU user time (s): 3586.8
# total CPU system time (s): 0.230217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20012 second user time and 14.5777 second system time
The end
Begin job on nodeC028 at 2025-06-29 09:54:46 IDJOB=4507167 IDBENCH=158327 IDSOLVER=3366 FILE ID=nodeC028/4507167-1751183686 RUNJOBID= nodeC028-1751183686-22781 SLURM_JOB_ID= 9587572 Free space on /tmp= 433060 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507167-1751183686/watcher-4507167-1751183686 -o /tmp/evaluation-result-4507167-1751183686/solver-4507167-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507167-1751183686.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d29d77727f08087434452962a118642 RANDOM SEED=1630834033 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 : 3600.076 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 : 3599.488 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 : 3599.670 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 : 3600.116 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 : 3603.654 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 : 3600.990 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.081 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.082 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: 130051684 kB MemAvailable: 129765668 kB Buffers: 3280 kB Cached: 524740 kB SwapCached: 0 kB Active: 323172 kB Inactive: 268372 kB Active(anon): 81608 kB Inactive(anon): 0 kB Active(file): 241564 kB Inactive(file): 268372 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 64768 kB Writeback: 20 kB AnonPages: 66564 kB Mapped: 102080 kB Shmem: 18068 kB KReclaimable: 86572 kB Slab: 169856 kB SReclaimable: 86572 kB SUnreclaim: 83284 kB KernelStack: 3988 kB PageTables: 2888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 330084 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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 10:54:44