Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | ? (TO) | 3600.19 | 3611.53 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb |
| MD5SUM | e21aae6253a3d8ec45e9622b89e9ca39 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 55733 |
| Best CPU time to get the best result obtained on this benchmark | 437.667 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 642549 |
| Total number of constraints | 326012 |
| Number of constraints which are clauses | 173435 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 152577 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 505004 |
| Biggest coefficient in the objective function | 6 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 521726 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 27 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 521726 |
| Number of bits of the biggest sum of numbers | 19 |
| 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-4523941-1751598360.opb>
2.18/2.21 c original problem has 642549 variables (642549 bin, 0 int, 0 cont) and 326012 constraints
2.18/2.21 c problem read in 2.214 seconds
4.37/4.40 o 521726
4.37/4.42 c feasible solution found by trivial heuristic after 4.4 seconds, objective value 5.217260e+05
4.37/4.42 c presolving:
5.27/5.32 c (round 1, fast) 31602 del vars, 31599 del conss, 0 add conss, 9 chg bounds, 7 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 79654 clqs
5.47/5.51 c (round 2, fast) 32130 del vars, 32117 del conss, 0 add conss, 96 chg bounds, 167 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 79702 clqs
6.27/6.38 c (6.4s) running MILP presolver
13.06/13.16 c (13.2s) MILP presolver (10 rounds): 0 aggregations, 30930 fixings, 0 bound changes
13.25/13.34 c (round 3, medium) 63372 del vars, 32263 del conss, 0 add conss, 115 chg bounds, 182 chg sides, 199 chg coeffs, 0 upgd conss, 0 impls, 72548 clqs
13.45/13.57 c (round 4, fast) 65472 del vars, 52866 del conss, 0 add conss, 115 chg bounds, 5183 chg sides, 5354 chg coeffs, 0 upgd conss, 0 impls, 74460 clqs
13.55/13.69 c (round 5, fast) 66002 del vars, 53401 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5360 chg coeffs, 0 upgd conss, 0 impls, 74073 clqs
14.96/15.01 c (round 6, exhaustive) 66021 del vars, 53432 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5360 chg coeffs, 158172 upgd conss, 0 impls, 74075 clqs
15.34/15.42 c (round 7, fast) 70384 del vars, 53463 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5360 chg coeffs, 158172 upgd conss, 0 impls, 74078 clqs
15.54/15.66 c (round 8, fast) 71522 del vars, 54365 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 9622 chg coeffs, 158172 upgd conss, 0 impls, 74409 clqs
19.13/19.22 c (round 9, medium) 264445 del vars, 333324 del conss, 323910 add conss, 115 chg bounds, 5202 chg sides, 9924 chg coeffs, 158172 upgd conss, 0 impls, 200196 clqs
19.63/19.76 c (round 10, fast) 265237 del vars, 334812 del conss, 323910 add conss, 115 chg bounds, 5296 chg sides, 10040 chg coeffs, 158172 upgd conss, 0 impls, 200441 clqs
20.04/20.12 c (round 11, fast) 266130 del vars, 335623 del conss, 323910 add conss, 115 chg bounds, 5299 chg sides, 10069 chg coeffs, 158172 upgd conss, 0 impls, 199857 clqs
20.32/20.46 c (round 12, fast) 266661 del vars, 335977 del conss, 323910 add conss, 115 chg bounds, 5300 chg sides, 10086 chg coeffs, 158172 upgd conss, 0 impls, 199614 clqs
21.62/21.77 c (21.8s) running MILP presolver
23.22/23.33 c (23.3s) MILP presolver (3 rounds): 0 aggregations, 709 fixings, 0 bound changes
23.62/23.72 c (round 13, medium) 267911 del vars, 336732 del conss, 323910 add conss, 115 chg bounds, 5300 chg sides, 10155 chg coeffs, 158172 upgd conss, 0 impls, 198990 clqs
23.93/24.08 c (round 14, fast) 267939 del vars, 336977 del conss, 323910 add conss, 115 chg bounds, 5306 chg sides, 10167 chg coeffs, 158172 upgd conss, 0 impls, 198989 clqs
25.41/25.51 c (round 15, exhaustive) 268033 del vars, 337397 del conss, 323910 add conss, 115 chg bounds, 5312 chg sides, 10170 chg coeffs, 158172 upgd conss, 0 impls, 198914 clqs
27.31/27.43 c (round 16, exhaustive) 268145 del vars, 337507 del conss, 323910 add conss, 115 chg bounds, 5312 chg sides, 10171 chg coeffs, 267251 upgd conss, 0 impls, 198812 clqs
27.70/27.87 c (round 17, fast) 274712 del vars, 337526 del conss, 323910 add conss, 115 chg bounds, 5312 chg sides, 10171 chg coeffs, 267251 upgd conss, 0 impls, 198786 clqs
28.10/28.29 c (round 18, fast) 276539 del vars, 338905 del conss, 323910 add conss, 115 chg bounds, 5312 chg sides, 16696 chg coeffs, 267251 upgd conss, 0 impls, 199431 clqs
31.39/31.53 c (round 19, medium) 421214 del vars, 536559 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 17213 chg coeffs, 267251 upgd conss, 0 impls, 263255 clqs
31.90/32.07 c (round 20, fast) 423045 del vars, 540952 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 21855 chg coeffs, 267251 upgd conss, 0 impls, 263092 clqs
32.29/32.48 c (round 21, fast) 424627 del vars, 543417 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22299 chg coeffs, 267251 upgd conss, 0 impls, 261000 clqs
32.69/32.87 c (round 22, fast) 425467 del vars, 544969 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22398 chg coeffs, 267251 upgd conss, 0 impls, 259736 clqs
33.09/33.28 c (round 23, fast) 426250 del vars, 546188 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22474 chg coeffs, 267251 upgd conss, 0 impls, 258729 clqs
33.48/33.67 c (round 24, fast) 426833 del vars, 547184 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22576 chg coeffs, 267251 upgd conss, 0 impls, 257953 clqs
33.90/34.06 c (round 25, fast) 427358 del vars, 547944 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22635 chg coeffs, 267251 upgd conss, 0 impls, 257338 clqs
34.28/34.44 c (round 26, fast) 427746 del vars, 548473 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22678 chg coeffs, 267251 upgd conss, 0 impls, 256909 clqs
34.68/34.81 c (round 27, fast) 427995 del vars, 548779 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22706 chg coeffs, 267251 upgd conss, 0 impls, 256655 clqs
35.99/36.16 c (36.2s) running MILP presolver
36.89/37.08 c (37.1s) MILP presolver (2 rounds): 0 aggregations, 170 fixings, 0 bound changes
37.47/37.63 c (round 28, medium) 429909 del vars, 550843 del conss, 537306 add conss, 115 chg bounds, 5312 chg sides, 22774 chg coeffs, 267251 upgd conss, 0 impls, 254470 clqs
37.89/38.09 c (round 29, fast) 429941 del vars, 551116 del conss, 537306 add conss, 115 chg bounds, 5313 chg sides, 22788 chg coeffs, 267251 upgd conss, 0 impls, 254428 clqs
39.89/40.11 c (round 30, exhaustive) 430095 del vars, 551286 del conss, 537306 add conss, 115 chg bounds, 5314 chg sides, 22796 chg coeffs, 270669 upgd conss, 0 impls, 254263 clqs
40.27/40.49 c (round 31, fast) 430721 del vars, 551321 del conss, 537306 add conss, 115 chg bounds, 5314 chg sides, 22796 chg coeffs, 270669 upgd conss, 0 impls, 254243 clqs
40.67/40.88 c (round 32, fast) 430943 del vars, 551527 del conss, 537306 add conss, 115 chg bounds, 5314 chg sides, 23413 chg coeffs, 270669 upgd conss, 0 impls, 254270 clqs
41.67/41.83 c (round 33, medium) 434092 del vars, 555576 del conss, 541198 add conss, 115 chg bounds, 5314 chg sides, 23478 chg coeffs, 270669 upgd conss, 0 impls, 254377 clqs
42.66/42.83 c (round 34, medium) 434311 del vars, 555944 del conss, 541198 add conss, 115 chg bounds, 5314 chg sides, 23546 chg coeffs, 270669 upgd conss, 0 impls, 254147 clqs
44.65/44.85 c (round 35, exhaustive) 434373 del vars, 556207 del conss, 541198 add conss, 115 chg bounds, 5314 chg sides, 23559 chg coeffs, 270670 upgd conss, 0 impls, 254058 clqs
45.05/45.23 c (round 36, fast) 434591 del vars, 556364 del conss, 541198 add conss, 115 chg bounds, 5314 chg sides, 23559 chg coeffs, 270670 upgd conss, 0 impls, 253912 clqs
47.65/47.85 c (round 37, exhaustive) 439633 del vars, 556434 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 23717 chg coeffs, 270670 upgd conss, 0 impls, 251974 clqs
48.04/48.23 c (round 38, fast) 440115 del vars, 559043 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29005 chg coeffs, 270670 upgd conss, 0 impls, 253804 clqs
48.44/48.62 c (round 39, fast) 441919 del vars, 560679 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29039 chg coeffs, 270670 upgd conss, 0 impls, 252271 clqs
48.74/49.00 c (round 40, fast) 442260 del vars, 561024 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29394 chg coeffs, 270670 upgd conss, 0 impls, 252059 clqs
49.64/49.89 c (round 41, medium) 442526 del vars, 561280 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29442 chg coeffs, 270670 upgd conss, 0 impls, 251815 clqs
52.23/52.42 c (round 42, exhaustive) 443071 del vars, 561384 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29447 chg coeffs, 270670 upgd conss, 0 impls, 251609 clqs
52.53/52.78 c (round 43, fast) 443217 del vars, 561736 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29990 chg coeffs, 270670 upgd conss, 0 impls, 251668 clqs
52.94/53.14 c (round 44, fast) 443449 del vars, 561959 del conss, 541201 add conss, 115 chg bounds, 5314 chg sides, 29993 chg coeffs, 270670 upgd conss, 0 impls, 251457 clqs
236.29/237.08 c (237.1s) probing: 1000/198991 (0.5%) - 3 fixings, 0 aggregations, 50096 implications, 0 bound changes
416.65/418.00 c (418.0s) probing: 2000/198991 (1.0%) - 5 fixings, 0 aggregations, 98693 implications, 0 bound changes
548.05/549.78 c (549.8s) probing: 2732/198991 (1.4%) - 5 fixings, 0 aggregations, 123457 implications, 0 bound changes
548.05/549.78 c (549.8s) probing aborted: 1000/1000 successive useless probings
549.05/550.70 c (550.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
550.15/551.81 c (551.8s) symmetry computation finished: 321 generators found (max: 321, log10 of symmetry group size: 859.39) (symcode time: 0.44)
550.75/552.49 c dynamic symmetry handling statistics:
550.75/552.49 c orbitopal reduction: 4 components: 3x3, 2x3, 3x3, 2x3
550.75/552.49 c orbital reduction: 7 components of sizes 5, 3, 3, 3, 3, 3, 3
550.75/552.49 c lexicographic reduction: 82 permutations with support sizes 6, 6, 6, 6, 6, 6, 4, 4, 6, 10, 6, 6, 6, 6, 6, 4, 6, 4, 6, 10, 4, 4, 10, 8, 6, 4, 6, 6, 8, 4, 6, 6, 8, 2, 2, 2, 8, 6, 6, 4, 10, 6, 8, 6, 6, 4, 6, 6, 6, 6, 6, 6, 4, 4, 4, 6, 2, 2, 2, 6, 6, 6, 4, 4, 6, 6, 8, 6, 6, 6, 2, 2, 2, 6, 6, 2, 2, 2, 2, 2, 2, 4
550.75/552.49 c handled 294 out of 294 symmetry components
550.75/552.49 c (round 45, exhaustive) 443566 del vars, 562035 del conss, 541432 add conss, 115 chg bounds, 5314 chg sides, 30082 chg coeffs, 270670 upgd conss, 0 impls, 375063 clqs
552.64/554.39 c (round 46, exhaustive) 443604 del vars, 562105 del conss, 541432 add conss, 115 chg bounds, 5314 chg sides, 30087 chg coeffs, 270901 upgd conss, 0 impls, 375031 clqs
573.58/575.37 c (575.4s) probing: 2832/198991 (1.4%) - 5 fixings, 0 aggregations, 153899 implications, 0 bound changes
573.58/575.37 c (575.4s) probing aborted: 1000/1000 successive useless probings
574.18/575.94 c presolving (47 rounds: 47 fast, 18 medium, 10 exhaustive):
574.18/575.94 c 443637 deleted vars, 562131 deleted constraints, 541432 added constraints, 115 tightened bounds, 0 added holes, 5314 changed sides, 30116 changed coefficients
574.18/575.94 c 0 implications, 405451 cliques
574.18/575.94 c presolved problem has 198915 variables (198915 bin, 0 int, 0 cont) and 304978 constraints
574.18/575.94 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
574.18/575.94 c 247792 constraints of type <setppc>
574.18/575.94 c 57186 constraints of type <logicor>
574.18/575.94 c transformed objective value is always integral (scale: 1)
574.18/575.94 c Presolving Time: 572.03
574.18/575.94 c
574.18/575.94 c - non default parameters ----------------------------------------------------------------------
574.18/575.94 c
574.18/575.94 c # SCIP version 10.0.0
574.18/575.94 c
574.18/575.94 c # maximal time in seconds to run
574.18/575.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
574.18/575.94 c limits/time = 3596.997021
574.18/575.94 c
574.18/575.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
574.18/575.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
574.18/575.94 c limits/memory = 27900
574.18/575.94 c
574.18/575.94 c # belongs reading time to solving time?
574.18/575.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
574.18/575.94 c timing/reading = TRUE
574.18/575.94 c
574.18/575.94 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
574.18/575.94 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
574.18/575.94 c reading/opbreader/maxintsize = 47
574.18/575.94 c
574.18/575.94 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
574.18/575.94 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
574.18/575.94 c propagating/genvbounds/timingmask = 0
574.18/575.94 c
574.18/575.94 c -----------------------------------------------------------------------------------------------
574.29/576.05 c
574.77/576.59 o 434082
574.77/576.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
574.77/576.59 c t 577s| 1 | 0 | 0 | - | trivial| 0 | 198k| 304k| 0 | 0 | 0 | 0 | 0 | 2.252500e+04 | 4.340820e+05 |1827.11%| unknown
591.91/593.79 o 313948
591.91/593.79 c p 594s| 1 | 0 | 8956 | - | vbounds| 0 | 198k| 304k| 304k| 0 | 0 | 7 | 0 | 2.252500e+04 | 3.139480e+05 |1293.78%| unknown
610.47/612.35 o 109179
610.47/612.35 c i 612s| 1 | 0 | 8956 | - | oneopt| 0 | 198k| 304k| 304k| 0 | 0 | 22 | 0 | 2.252500e+04 | 1.091790e+05 | 384.70%| unknown
755.13/757.50 c 758s| 1 | 0 | 67783 | - | 3518M | 0 | 198k| 304k| 304k| 0 | 0 | 22 | 0 | 5.477329e+04 | 1.091790e+05 | 99.33%| unknown
756.23/758.62 o 64926
756.23/758.62 c r 759s| 1 | 0 | 67783 | - |shifting| 0 | 198k| 304k| 304k| 0 | 0 | 23 | 0 | 5.477329e+04 | 6.492600e+04 | 18.54%| unknown
756.74/759.15 o 59821
756.74/759.15 c i 759s| 1 | 0 | 67783 | - | oneopt| 0 | 198k| 304k| 304k| 0 | 0 | 23 | 0 | 5.477329e+04 | 5.982100e+04 | 9.22%| unknown
985.99/989.07 c 989s| 1 | 0 | 69543 | - | 3651M | 0 | 198k| 304k| 305k| 432 | 1 | 23 | 0 | 5.509092e+04 | 5.982100e+04 | 8.59%| unknown
1236.07/1239.82 c 1240s| 1 | 0 | 73868 | - | 3685M | 0 | 198k| 304k| 306k|1975 | 2 | 24 | 0 | 5.549272e+04 | 5.982100e+04 | 7.80%| unknown
1442.34/1446.75 c 1447s| 1 | 0 | 74683 | - | 3719M | 0 | 198k| 304k| 306k|2019 | 3 | 25 | 0 | 5.555397e+04 | 5.982100e+04 | 7.68%| unknown
1442.94/1447.32 o 57701
1442.94/1447.32 c r1447s| 1 | 0 | 74683 | - |shifting| 0 | 198k| 304k| 306k|2019 | 3 | 26 | 0 | 5.555397e+04 | 5.770100e+04 | 3.86%| unknown
1635.61/1640.61 c 1641s| 1 | 0 | 75088 | - | 3766M | 0 | 198k| 304k| 306k|2038 | 4 | 26 | 0 | 5.556567e+04 | 5.770100e+04 | 3.84%| unknown
1636.12/1641.14 o 56058
1636.12/1641.14 c i1641s| 1 | 0 | 75088 | - | oneopt| 0 | 198k| 304k| 306k|2038 | 4 | 26 | 0 | 5.556567e+04 | 5.605800e+04 | 0.89%| unknown
1849.20/1854.95 c 1855s| 1 | 0 | 79603 | - | 3818M | 0 | 198k| 304k| 307k|2053 | 5 | 27 | 0 | 5.557495e+04 | 5.605800e+04 | 0.87%| unknown
1849.70/1855.42 c 1855s| 1 | 0 | 79603 | - | 3822M | 0 | 198k| 304k| 305k|2053 | 5 | 28 | 0 | 5.557495e+04 | 5.605800e+04 | 0.87%| unknown
2052.31/2058.76 c 2059s| 1 | 0 | 79900 | - | 3851M | 0 | 198k| 304k| 305k|2067 | 6 | 28 | 0 | 5.558012e+04 | 5.605800e+04 | 0.86%| unknown
2242.27/2249.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2242.27/2249.36 c 2249s| 1 | 0 | 80176 | - | 3886M | 0 | 198k| 303k| 305k|2079 | 7 | 30 | 0 | 5.558821e+04 | 5.605800e+04 | 0.85%| unknown
2445.50/2453.29 c 2453s| 1 | 0 | 80618 | - | 3920M | 0 | 198k| 303k| 305k|2094 | 8 | 32 | 0 | 5.560095e+04 | 5.605800e+04 | 0.82%| unknown
2651.20/2659.62 c 2660s| 1 | 0 | 80902 | - | 3957M | 0 | 198k| 303k| 305k|2105 | 9 | 33 | 0 | 5.560966e+04 | 5.605800e+04 | 0.81%| unknown
2853.61/2862.70 c 2863s| 1 | 0 | 81060 | - | 3994M | 0 | 198k| 303k| 305k|2115 | 10 | 33 | 0 | 5.561191e+04 | 5.605800e+04 | 0.80%| unknown
3028.47/3038.12 c 3038s| 1 | 0 | 81216 | - | 4031M | 0 | 198k| 303k| 305k|2123 | 11 | 34 | 0 | 5.561357e+04 | 5.605800e+04 | 0.80%| unknown
3202.71/3212.95 c 3213s| 1 | 0 | 81290 | - | 4064M | 0 | 198k| 303k| 305k|2131 | 12 | 35 | 0 | 5.561461e+04 | 5.605800e+04 | 0.80%| unknown
3378.36/3389.16 c 3389s| 1 | 0 | 81381 | - | 4098M | 0 | 198k| 303k| 305k|2137 | 13 | 36 | 0 | 5.561543e+04 | 5.605800e+04 | 0.80%| unknown
3545.09/3556.30 c 3556s| 1 | 0 | 81439 | - | 4131M | 0 | 198k| 303k| 305k|2142 | 14 | 36 | 0 | 5.561645e+04 | 5.605800e+04 | 0.79%| unknown
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61992 MiB free)
memory of node 1: 64507 MiB (57926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523941-1751598360/watcher-4523941-1751598360 -o /tmp/evaluation-result-4523941-1751598360/solver-4523941-1751598360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84095 --watchdog 3760 pbsolver -f HOME/instance-4523941-1751598360.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=85019, runsolver pid=85016
[startup+0.100066 s]*
/proc/loadavg: 4.11 4.11 4.13 5/252 85020
/proc/meminfo: memFree=122704128/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=114104 memory=100748 CPUtime=0.1 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 20175 0 0 0 5 5 0 0 20 0 1 0 75515837 116842496 25187 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 28526 25187 2176 2575 0 25433 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 100748 KiB
[startup+0.208034 s]*
/proc/loadavg: 4.11 4.11 4.13 5/252 85020
/proc/meminfo: memFree=122655996/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=164024 memory=149260 CPUtime=0.2 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 32302 0 0 0 12 8 0 0 20 0 1 0 75515837 167960576 37315 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 41006 37315 2176 2575 0 37913 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 164024 KiB
Current children cumulated memory: 149260 KiB
[startup+0.307937 s]*
/proc/loadavg: 4.11 4.11 4.13 6/252 85020
/proc/meminfo: memFree=122615676/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=203444 memory=189196 CPUtime=0.3 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 42276 0 0 0 19 11 0 0 20 0 1 0 75515837 208326656 47299 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 50861 47299 2176 2575 0 47768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 203444 KiB
Current children cumulated memory: 189196 KiB
[startup+0.700315 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 85020
/proc/meminfo: memFree=122527004/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=398768 memory=384024 CPUtime=0.68 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 89949 0 0 0 44 24 0 0 20 0 1 0 75515837 408338432 96006 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 99692 96006 2176 2575 0 96599 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 398768 KiB
Current children cumulated memory: 384024 KiB
[startup+1.50028 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 85020
/proc/meminfo: memFree=122245516/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=718112 memory=703008 CPUtime=1.48 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 164588 0 0 0 107 41 0 0 20 0 1 0 75515837 735346688 175752 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 179528 175752 2176 2575 0 176435 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 718112 KiB
Current children cumulated memory: 703008 KiB
[startup+3.11316 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 85020
/proc/meminfo: memFree=121318176/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=1533412 memory=1522600 CPUtime=3.09 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 387718 0 0 0 234 75 0 0 20 0 1 0 75515837 1570213888 380650 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 383353 380650 2368 2575 0 380260 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1533412 KiB
Current children cumulated memory: 1522600 KiB
[startup+6.30027 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 85020
/proc/meminfo: memFree=120699292/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=2255092 memory=2218064 CPUtime=6.27 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 495854 0 0 0 529 98 0 0 20 0 1 0 75515837 2309214208 554516 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 563773 554516 2464 2575 0 560680 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2255092 KiB
Current children cumulated memory: 2218064 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.13 5/252 85020
/proc/meminfo: memFree=120430796/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=2383780 memory=2345052 CPUtime=12.65 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 509837 0 0 0 1160 105 0 0 20 0 1 0 75515837 2440990720 586263 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 595945 586263 2528 2575 0 592852 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2383780 KiB
Current children cumulated memory: 2345052 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.13 5/252 85020
/proc/meminfo: memFree=119817768/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=2762360 memory=2724376 CPUtime=25.41 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 671502 0 0 0 2405 136 0 0 20 0 1 0 75515837 2828656640 681094 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 690590 681094 2592 2575 0 687497 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2762360 KiB
Current children cumulated memory: 2724376 KiB
[startup+51.1132 s]
/proc/loadavg: 4.10 4.11 4.12 5/252 85021
/proc/meminfo: memFree=119722260/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=2999920 memory=2955448 CPUtime=50.95 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 728528 0 0 0 4945 150 0 0 20 0 1 0 75515837 3071918080 738862 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 749980 738862 2592 2575 0 746887 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2999920 KiB
Current children cumulated memory: 2955448 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 85023
/proc/meminfo: memFree=119725696/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3027840 memory=2983532 CPUtime=101.98 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 733027 0 0 0 10046 152 0 0 20 0 1 0 75515837 3100508160 745883 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 756960 745883 2592 2575 0 753867 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3027840 KiB
Current children cumulated memory: 2983532 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/252 85025
/proc/meminfo: memFree=119742104/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3029888 memory=2985580 CPUtime=161.8 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 733575 0 0 0 16028 152 0 0 20 0 1 0 75515837 3102605312 746395 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 757472 746395 2592 2575 0 754379 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 3029888 KiB
Current children cumulated memory: 2985580 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/253 85034
/proc/meminfo: memFree=119396020/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3030912 memory=2986604 CPUtime=221.62 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 733865 0 0 0 22010 152 0 0 20 0 1 0 75515837 3103653888 746651 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 757728 746651 2592 2575 0 754635 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 3030912 KiB
Current children cumulated memory: 2986604 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/252 85036
/proc/meminfo: memFree=118400980/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3032304 memory=2988012 CPUtime=281.45 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 734246 0 0 0 27992 153 0 0 20 0 1 0 75515837 3105079296 747003 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 758076 747003 2592 2575 0 754983 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 3032304 KiB
Current children cumulated memory: 2988012 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/251 85038
/proc/meminfo: memFree=118400596/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3034396 memory=2990060 CPUtime=341.27 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 734773 0 0 0 33974 153 0 0 20 0 1 0 75515837 3107221504 747515 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 758599 747515 2592 2575 0 755506 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 3034396 KiB
Current children cumulated memory: 2990060 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/251 85039
/proc/meminfo: memFree=118389832/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3036324 memory=2991980 CPUtime=401.09 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 735289 0 0 0 39956 153 0 0 20 0 1 0 75515837 3109195776 747995 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 759081 747995 2592 2575 0 755988 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 3036324 KiB
Current children cumulated memory: 2991980 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/251 85041
/proc/meminfo: memFree=118386504/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=3038016 memory=2993644 CPUtime=460.91 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 735713 0 0 0 45938 153 0 0 20 0 1 0 75515837 3110928384 748411 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 759504 748411 2592 2575 0 756411 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 2853.21 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/250 85154
/proc/meminfo: memFree=116868936/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429236 CPUtime=2913.02 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1091984 0 0 0 291087 215 0 0 20 0 1 0 75515837 4709904384 1107309 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 2913.02 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 85156
/proc/meminfo: memFree=116867880/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429236 CPUtime=2972.83 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1091984 0 0 0 297068 215 0 0 20 0 1 0 75515837 4709904384 1107309 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 2972.83 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/249 85158
/proc/meminfo: memFree=116870248/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429236 CPUtime=3032.64 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092082 0 0 0 303049 215 0 0 20 0 1 0 75515837 4709904384 1107309 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 3032.64 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/249 85160
/proc/meminfo: memFree=116865984/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429236 CPUtime=3092.45 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092082 0 0 0 309030 215 0 0 20 0 1 0 75515837 4709904384 1107309 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/249 85162
/proc/meminfo: memFree=116864320/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429236 CPUtime=3152.27 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092082 0 0 0 315012 215 0 0 20 0 1 0 75515837 4709904384 1107309 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107309 2688 2575 0 1146786 0
Current children cumulated CPU time: 3152.27 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 85171
/proc/meminfo: memFree=116864484/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429492 CPUtime=3212.08 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092260 0 0 0 320993 215 0 0 20 0 1 0 75515837 4709904384 1107373 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107373 2688 2575 0 1146786 0
Current children cumulated CPU time: 3212.08 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 85173
/proc/meminfo: memFree=116833724/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429492 CPUtime=3271.88 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092260 0 0 0 326973 215 0 0 20 0 1 0 75515837 4709904384 1107373 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107373 2688 2575 0 1146786 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 85186
/proc/meminfo: memFree=116829680/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429492 CPUtime=3331.69 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092260 0 0 0 332954 215 0 0 20 0 1 0 75515837 4709904384 1107373 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107373 2688 2575 0 1146786 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429492 KiB
[startup+3402.3 s]
/proc/loadavg: 3.83 4.04 4.07 4/244 85219
/proc/meminfo: memFree=117618636/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429620 CPUtime=3391.5 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092356 0 0 0 338935 215 0 0 20 0 1 0 75515837 4709904384 1107405 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107405 2688 2575 0 1146786 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429620 KiB
[startup+3462.3 s]
/proc/loadavg: 2.82 3.73 3.96 3/238 85251
/proc/meminfo: memFree=118659460/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4429620 CPUtime=3451.34 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092356 0 0 0 344919 215 0 0 20 0 1 0 75515837 4709904384 1107405 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107405 2688 2575 0 1146786 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4429620 KiB
[startup+3522.3 s]
/proc/loadavg: 1.87 3.30 3.80 2/231 85284
/proc/meminfo: memFree=125072576/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4430004 CPUtime=3511.18 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092356 0 0 0 350903 215 0 0 20 0 1 0 75515837 4709904384 1107501 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107501 2688 2575 0 1146786 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4430004 KiB
[startup+3582.3 s]
/proc/loadavg: 1.37 2.89 3.62 2/231 85286
/proc/meminfo: memFree=125093628/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4430260 CPUtime=3571.02 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092521 0 0 0 356887 215 0 0 20 0 1 0 75515837 4709904384 1107565 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107565 2688 2575 0 1146786 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4430260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 1.29 2.73 3.54 2/231 85288
/proc/meminfo: memFree=125095020/131382112 swapFree=33010416/33010684
[pid=85019] ppid=85016 vsize=4599516 memory=4430260 CPUtime=3600.04 cores=0,2
/proc/85019/stat : 85019 (pbsolver) R 85016 85019 84085 0 -1 4194304 1092521 0 0 0 359789 215 0 0 20 0 1 0 75515837 4709904384 1107565 18446744073709551615 4198400 14743177 140727726472048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28512256 140727726479754 140727726479850 140727726479850 140727726485452 0
/proc/85019/statm: 1149879 1107565 2688 2575 0 1146786 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4599516 KiB
Current children cumulated memory: 4430260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.53 s]
# the end of solver process 85019 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.9 s, system=2.28457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]*
/proc/loadavg: 1.29 2.73 3.54 2/231 85288
/proc/meminfo: memFree=128725548/131382112 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.53
CPU time (s): 3600.19
CPU user time (s): 3597.9
CPU system time (s): 2.28457
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 4756452
Max. memory (cumulated for all children) (KiB): 4577492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.28457
maximum resident set size= 4577492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1092521
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= 3
involuntary context switches= 7879
# summary of solver processes directly reported to runsolver:
# pid: 85019
# total CPU time (s): 3600.19
# total CPU user time (s): 3597.9
# total CPU system time (s): 2.28457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9473 second user time and 34.4183 second system time
The end
Begin job on nodeC012 at 2025-07-04 05:06:01 IDJOB=4523941 IDBENCH=180378 IDSOLVER=3366 FILE ID=nodeC012/4523941-1751598360 RUNJOBID= nodeC012-1751590941-84095 SLURM_JOB_ID= 9598848 Free space on /tmp= 431752 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523941-1751598360/watcher-4523941-1751598360 -o /tmp/evaluation-result-4523941-1751598360/solver-4523941-1751598360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84095 --watchdog 3760 pbsolver -f HOME/instance-4523941-1751598360.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e21aae6253a3d8ec45e9622b89e9ca39 RANDOM SEED=404450672 nodeC012 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 : 0xb00001f cpu MHz : 1197.245 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3691.220 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1795.731 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.595 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3662.302 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3491.651 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.497 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 122796964 kB MemAvailable: 123198636 kB Buffers: 2136 kB Cached: 1201584 kB SwapCached: 16 kB Active: 7429584 kB Inactive: 581356 kB Active(anon): 6820216 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 576408 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 35088 kB Writeback: 0 kB AnonPages: 6808516 kB Mapped: 135564 kB Shmem: 17944 kB KReclaimable: 110660 kB Slab: 196748 kB SReclaimable: 110660 kB SUnreclaim: 86088 kB KernelStack: 4096 kB PageTables: 16536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7279912 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 817152 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431828 MiB End job on nodeC012 at 2025-07-04 06:06:13