Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.06 | 3609.31 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4523940-1751601562.opb>
1.83/1.91 c original problem has 642549 variables (642549 bin, 0 int, 0 impl, 0 cont) and 326012 constraints
1.83/1.91 c problem read in 1.90
4.11/4.27 o 521726
4.11/4.30 c feasible solution found by trivial heuristic after 4.3 seconds, objective value 5.217260e+05
4.11/4.30 c presolving:
5.10/5.20 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.30/5.40 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.19/6.35 c (6.3s) running MILP presolver
14.55/14.74 c (14.7s) MILP presolver (11 rounds): 0 aggregations, 30912 fixings, 0 bound changes
14.75/14.92 c (round 3, medium) 63354 del vars, 32263 del conss, 0 add conss, 115 chg bounds, 182 chg sides, 199 chg coeffs, 0 upgd conss, 0 impls, 72553 clqs
14.96/15.15 c (round 4, fast) 65460 del vars, 52858 del conss, 0 add conss, 115 chg bounds, 5181 chg sides, 5353 chg coeffs, 0 upgd conss, 0 impls, 74475 clqs
15.05/15.27 c (round 5, fast) 65996 del vars, 53401 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5361 chg coeffs, 0 upgd conss, 0 impls, 74073 clqs
16.34/16.56 c (round 6, exhaustive) 66021 del vars, 53432 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5361 chg coeffs, 158170 upgd conss, 0 impls, 74075 clqs
16.74/16.97 c (round 7, fast) 70384 del vars, 53463 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 5361 chg coeffs, 158170 upgd conss, 0 impls, 74078 clqs
17.04/17.21 c (round 8, fast) 71522 del vars, 54365 del conss, 0 add conss, 115 chg bounds, 5189 chg sides, 9623 chg coeffs, 158170 upgd conss, 0 impls, 74409 clqs
20.53/20.77 c (round 9, medium) 264455 del vars, 333339 del conss, 323924 add conss, 115 chg bounds, 5202 chg sides, 9925 chg coeffs, 158170 upgd conss, 0 impls, 200200 clqs
21.03/21.29 c (round 10, fast) 265252 del vars, 334832 del conss, 323924 add conss, 115 chg bounds, 5296 chg sides, 10041 chg coeffs, 158170 upgd conss, 0 impls, 200440 clqs
21.43/21.65 c (round 11, fast) 266141 del vars, 335638 del conss, 323924 add conss, 115 chg bounds, 5299 chg sides, 10070 chg coeffs, 158170 upgd conss, 0 impls, 199861 clqs
21.73/21.98 c (round 12, fast) 266667 del vars, 335988 del conss, 323924 add conss, 115 chg bounds, 5300 chg sides, 10087 chg coeffs, 158170 upgd conss, 0 impls, 199622 clqs
22.13/22.32 c (round 13, fast) 266968 del vars, 336236 del conss, 323924 add conss, 115 chg bounds, 5300 chg sides, 10096 chg coeffs, 158170 upgd conss, 0 impls, 199474 clqs
23.43/23.65 c (23.6s) running MILP presolver
25.23/25.45 c (25.4s) MILP presolver (3 rounds): 0 aggregations, 342 fixings, 0 bound changes
25.62/25.81 c (round 14, medium) 267771 del vars, 336769 del conss, 323924 add conss, 115 chg bounds, 5300 chg sides, 10131 chg coeffs, 158170 upgd conss, 0 impls, 199038 clqs
27.12/27.30 c (round 15, exhaustive) 267814 del vars, 337227 del conss, 323924 add conss, 115 chg bounds, 5309 chg sides, 10142 chg coeffs, 158170 upgd conss, 0 impls, 199013 clqs
29.11/29.31 c (round 16, exhaustive) 267921 del vars, 337335 del conss, 323924 add conss, 115 chg bounds, 5310 chg sides, 10144 chg coeffs, 267326 upgd conss, 0 impls, 198910 clqs
29.51/29.74 c (round 17, fast) 274482 del vars, 337356 del conss, 323924 add conss, 115 chg bounds, 5310 chg sides, 10144 chg coeffs, 267326 upgd conss, 0 impls, 198881 clqs
29.92/30.14 c (round 18, fast) 276316 del vars, 338742 del conss, 323924 add conss, 115 chg bounds, 5310 chg sides, 16681 chg coeffs, 267326 upgd conss, 0 impls, 199526 clqs
33.10/33.34 c (round 19, medium) 421101 del vars, 536536 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 17199 chg coeffs, 267326 upgd conss, 0 impls, 263406 clqs
33.60/33.87 c (round 20, fast) 422933 del vars, 540936 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 21842 chg coeffs, 267326 upgd conss, 0 impls, 263243 clqs
34.00/34.26 c (round 21, fast) 424512 del vars, 543399 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22286 chg coeffs, 267326 upgd conss, 0 impls, 261154 clqs
34.40/34.64 c (round 22, fast) 425352 del vars, 544948 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22384 chg coeffs, 267326 upgd conss, 0 impls, 259891 clqs
34.81/35.03 c (round 23, fast) 426139 del vars, 546170 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22463 chg coeffs, 267326 upgd conss, 0 impls, 258881 clqs
35.20/35.40 c (round 24, fast) 426723 del vars, 547162 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22564 chg coeffs, 267326 upgd conss, 0 impls, 258107 clqs
35.50/35.77 c (round 25, fast) 427248 del vars, 547935 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22626 chg coeffs, 267326 upgd conss, 0 impls, 257480 clqs
35.91/36.14 c (round 26, fast) 427638 del vars, 548464 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22664 chg coeffs, 267326 upgd conss, 0 impls, 257055 clqs
36.29/36.50 c (round 27, fast) 427885 del vars, 548767 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22692 chg coeffs, 267326 upgd conss, 0 impls, 256802 clqs
37.49/37.74 c (37.7s) running MILP presolver
38.49/38.79 c (38.8s) MILP presolver (2 rounds): 0 aggregations, 210 fixings, 0 bound changes
39.08/39.32 c (round 28, medium) 429841 del vars, 550846 del conss, 537489 add conss, 115 chg bounds, 5310 chg sides, 22761 chg coeffs, 267326 upgd conss, 0 impls, 254611 clqs
39.48/39.76 c (round 29, fast) 429875 del vars, 551131 del conss, 537489 add conss, 115 chg bounds, 5311 chg sides, 22775 chg coeffs, 267326 upgd conss, 0 impls, 254567 clqs
41.58/41.83 c (round 30, exhaustive) 430032 del vars, 551304 del conss, 537489 add conss, 115 chg bounds, 5312 chg sides, 22783 chg coeffs, 270742 upgd conss, 0 impls, 254399 clqs
41.98/42.20 c (round 31, fast) 430657 del vars, 551339 del conss, 537489 add conss, 115 chg bounds, 5312 chg sides, 22783 chg coeffs, 270742 upgd conss, 0 impls, 254379 clqs
42.28/42.57 c (round 32, fast) 430879 del vars, 551545 del conss, 537489 add conss, 115 chg bounds, 5312 chg sides, 23399 chg coeffs, 270742 upgd conss, 0 impls, 254407 clqs
43.17/43.48 c (round 33, medium) 433999 del vars, 555559 del conss, 541335 add conss, 115 chg bounds, 5312 chg sides, 23464 chg coeffs, 270742 upgd conss, 0 impls, 254497 clqs
44.17/44.43 c (round 34, medium) 434219 del vars, 555928 del conss, 541335 add conss, 115 chg bounds, 5312 chg sides, 23532 chg coeffs, 270742 upgd conss, 0 impls, 254266 clqs
46.27/46.57 c (round 35, exhaustive) 434281 del vars, 556190 del conss, 541335 add conss, 115 chg bounds, 5312 chg sides, 23544 chg coeffs, 270743 upgd conss, 0 impls, 254177 clqs
46.66/46.93 c (round 36, fast) 434495 del vars, 556342 del conss, 541335 add conss, 115 chg bounds, 5312 chg sides, 23544 chg coeffs, 270743 upgd conss, 0 impls, 254038 clqs
49.26/49.59 c (round 37, exhaustive) 439545 del vars, 556415 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 23702 chg coeffs, 270743 upgd conss, 0 impls, 252062 clqs
49.66/49.96 c (round 38, fast) 440034 del vars, 559093 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 28979 chg coeffs, 270743 upgd conss, 0 impls, 253881 clqs
50.06/50.33 c (round 39, fast) 441903 del vars, 560801 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 29007 chg coeffs, 270743 upgd conss, 0 impls, 252280 clqs
50.35/50.70 c (round 40, fast) 442251 del vars, 561162 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 29369 chg coeffs, 270743 upgd conss, 0 impls, 252057 clqs
51.25/51.56 c (round 41, medium) 442524 del vars, 561425 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 29412 chg coeffs, 270743 upgd conss, 0 impls, 251808 clqs
53.94/54.24 c (round 42, exhaustive) 443099 del vars, 561524 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 29417 chg coeffs, 270743 upgd conss, 0 impls, 251603 clqs
54.34/54.60 c (round 43, fast) 443252 del vars, 561889 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 29995 chg coeffs, 270743 upgd conss, 0 impls, 251683 clqs
54.64/54.96 c (round 44, fast) 443480 del vars, 562090 del conss, 541338 add conss, 115 chg bounds, 5312 chg sides, 30005 chg coeffs, 270743 upgd conss, 0 impls, 251494 clqs
237.37/238.13 c (238.1s) probing: 1000/198948 (0.5%) - 1 fixings, 0 aggregations, 54924 implications, 0 bound changes
417.55/418.85 c (418.8s) probing: 2000/198948 (1.0%) - 7 fixings, 0 aggregations, 102135 implications, 0 bound changes
549.79/551.49 c (551.5s) probing: 2735/198948 (1.4%) - 7 fixings, 0 aggregations, 124061 implications, 0 bound changes
549.79/551.49 c (551.5s) probing aborted: 1000/1000 successive useless probings
550.59/552.24 c (552.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
551.68/553.36 c (553.3s) symmetry computation finished: 321 generators found (max: 321, log10 of symmetry group size: 10.0) (symcode time: 0.52)
552.88/554.54 c dynamic symmetry handling statistics:
552.88/554.54 c orbitopal reduction: 6 components: 3x3, 3x3, 2x3, 2x3, 3x3, 2x3
552.88/554.54 c orbital reduction: 7 components of sizes 3, 3, 5, 3, 3, 3, 3
552.88/554.54 c lexicographic reduction: 80 permutations with support sizes 6, 6, 6, 6, 6, 8, 4, 10, 6, 2, 2, 2, 8, 6, 6, 6, 6, 6, 6, 6, 4, 8, 6, 6, 4, 10, 6, 4, 8, 10, 6, 6, 4, 6, 6, 6, 6, 6, 6, 2, 2, 2, 2, 2, 2, 6, 6, 8, 6, 4, 4, 4, 4, 6, 6, 6, 6, 4, 6, 6, 4, 6, 6, 6, 8, 4, 4, 6, 4, 6, 6, 2, 2, 2, 2, 2, 2, 6, 4, 4
552.88/554.54 c handled 290 out of 290 symmetry components
552.88/554.54 c (round 45, exhaustive) 443611 del vars, 562169 del conss, 541567 add conss, 115 chg bounds, 5312 chg sides, 30119 chg coeffs, 270743 upgd conss, 0 impls, 375682 clqs
555.17/556.80 c (round 46, exhaustive) 443680 del vars, 562286 del conss, 541567 add conss, 115 chg bounds, 5312 chg sides, 30127 chg coeffs, 270972 upgd conss, 0 impls, 375627 clqs
576.71/578.45 c (578.4s) probing: 2835/198948 (1.4%) - 7 fixings, 0 aggregations, 151583 implications, 0 bound changes
576.71/578.45 c (578.4s) probing aborted: 1000/1000 successive useless probings
577.33/579.04 c presolving (47 rounds: 47 fast, 18 medium, 10 exhaustive):
577.33/579.04 c 443717 deleted vars, 562311 deleted constraints, 541567 added constraints, 115 tightened bounds, 0 added holes, 5312 changed sides, 30156 changed coefficients
577.33/579.04 c 0 implications, 403136 cliques
577.33/579.04 c presolved problem has 198835 variables (198835 bin, 0 int, 0 impl, 0 cont) and 304933 constraints
577.33/579.04 c 247765 constraints of type <setppc>
577.33/579.04 c 57168 constraints of type <logicor>
577.33/579.04 c transformed objective value is always integral (scale: 1)
577.33/579.04 c Presolving Time: 575.33
577.33/579.04 c - non default parameters ----------------------------------------------------------------------
577.33/579.04 c # SCIP version 10.0.0
577.33/579.04 c
577.33/579.04 c # maximal time in seconds to run
577.33/579.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
577.33/579.04 c limits/time = 3596.996047
577.33/579.04 c
577.33/579.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
577.33/579.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
577.33/579.04 c limits/memory = 27900
577.33/579.04 c
577.33/579.04 c # belongs reading time to solving time?
577.33/579.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
577.33/579.04 c timing/reading = TRUE
577.33/579.04 c
577.33/579.04 c -----------------------------------------------------------------------------------------------
577.33/579.04 c start solving
577.43/579.16 c
578.01/579.72 o 433973
578.01/579.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
578.01/579.72 c t 580s| 1 | 0 | 0 | - | trivial| 0 | 198k| 304k| 0 | 0 | 0 | 0 | 0 | 2.252700e+04 | 4.339730e+05 |1826.46%| unknown
596.53/598.32 o 313095
596.53/598.32 c p 598s| 1 | 0 | 8933 | - | vbounds| 0 | 198k| 304k| 304k| 0 | 0 | 9 | 0 | 2.252700e+04 | 3.130950e+05 |1289.87%| unknown
614.99/616.81 o 109017
614.99/616.81 c i 617s| 1 | 0 | 8933 | - | oneopt| 0 | 198k| 304k| 304k| 0 | 0 | 26 | 0 | 2.252700e+04 | 1.090170e+05 | 383.94%| unknown
754.59/756.90 c 757s| 1 | 0 | 67620 | - | 3470M | 0 | 198k| 304k| 304k| 0 | 0 | 26 | 0 | 5.477329e+04 | 1.090170e+05 | 99.03%| unknown
755.70/758.05 o 65656
755.70/758.05 c r 758s| 1 | 0 | 67620 | - |shifting| 0 | 198k| 304k| 304k| 0 | 0 | 27 | 0 | 5.477329e+04 | 6.565600e+04 | 19.87%| unknown
756.38/758.70 o 59948
756.38/758.70 c i 759s| 1 | 0 | 67620 | - | oneopt| 0 | 198k| 304k| 304k| 0 | 0 | 27 | 0 | 5.477329e+04 | 5.994800e+04 | 9.45%| unknown
1029.96/1033.04 c 1033s| 1 | 0 | 70042 | - | 3607M | 0 | 198k| 304k| 305k| 442 | 1 | 27 | 0 | 5.521344e+04 | 5.994800e+04 | 8.58%| unknown
1229.15/1232.70 c 1233s| 1 | 0 | 70945 | - | 3641M | 0 | 198k| 304k| 307k|2442 | 2 | 28 | 0 | 5.526544e+04 | 5.994800e+04 | 8.47%| unknown
1233.84/1237.45 o 59507
1233.84/1237.45 c r1237s| 1 | 0 | 74690 | - |shifting| 0 | 198k| 304k| 307k|2442 | 2 | 30 | 0 | 5.526644e+04 | 5.950700e+04 | 7.67%| unknown
1450.75/1454.99 c 1455s| 1 | 0 | 78820 | - | 3676M | 0 | 198k| 304k| 307k|2751 | 3 | 30 | 0 | 5.552938e+04 | 5.950700e+04 | 7.16%| unknown
1451.35/1455.53 o 57056
1451.35/1455.53 c i1456s| 1 | 0 | 78820 | - | oneopt| 0 | 198k| 304k| 307k|2751 | 3 | 30 | 0 | 5.552938e+04 | 5.705600e+04 | 2.75%| unknown
1644.15/1648.85 c 1649s| 1 | 0 | 80184 | - | 3729M | 0 | 198k| 304k| 307k|2790 | 4 | 31 | 0 | 5.556690e+04 | 5.705600e+04 | 2.68%| unknown
1854.70/1859.96 c 1860s| 1 | 0 | 80574 | - | 3772M | 0 | 198k| 304k| 307k|2807 | 5 | 32 | 0 | 5.557889e+04 | 5.705600e+04 | 2.66%| unknown
1855.19/1860.41 o 57055
1855.19/1860.41 c r1860s| 1 | 0 | 80574 | - |shifting| 0 | 198k| 304k| 307k|2807 | 5 | 33 | 0 | 5.557889e+04 | 5.705500e+04 | 2.66%| unknown
2038.05/2043.77 c 2044s| 1 | 0 | 81003 | - | 3817M | 0 | 198k| 304k| 307k|2822 | 6 | 33 | 0 | 5.558696e+04 | 5.705500e+04 | 2.64%| unknown
2038.55/2044.20 o 56036
2038.55/2044.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2038.55/2044.20 c i2044s| 1 | 0 | 81003 | - | oneopt| 0 | 198k| 304k| 307k|2822 | 6 | 33 | 0 | 5.558696e+04 | 5.603600e+04 | 0.81%| unknown
2222.06/2228.18 c 2228s| 1 | 0 | 81800 | - | 3868M | 0 | 198k| 304k| 307k|2839 | 7 | 35 | 0 | 5.559336e+04 | 5.603600e+04 | 0.80%| unknown
2222.45/2228.56 c 2229s| 1 | 0 | 81800 | - | 3872M | 0 | 198k| 304k| 306k|2839 | 7 | 36 | 0 | 5.559336e+04 | 5.603600e+04 | 0.80%| unknown
2423.17/2429.76 c 2430s| 1 | 0 | 82122 | - | 3903M | 0 | 198k| 304k| 306k|2850 | 8 | 36 | 0 | 5.560129e+04 | 5.603600e+04 | 0.78%| unknown
2628.47/2635.52 c 2636s| 1 | 0 | 82233 | - | 3939M | 0 | 198k| 303k| 306k|2857 | 9 | 37 | 0 | 5.560549e+04 | 5.603600e+04 | 0.77%| unknown
2816.44/2823.96 c 2824s| 1 | 0 | 82408 | - | 3974M | 0 | 198k| 303k| 306k|2866 | 10 | 38 | 0 | 5.560941e+04 | 5.603600e+04 | 0.77%| unknown
2991.66/2999.54 c 3000s| 1 | 0 | 83019 | - | 4007M | 0 | 198k| 303k| 306k|2877 | 11 | 40 | 0 | 5.561731e+04 | 5.603600e+04 | 0.75%| unknown
3163.98/3172.24 c 3172s| 1 | 0 | 83194 | - | 4041M | 0 | 198k| 303k| 306k|2885 | 12 | 40 | 0 | 5.561874e+04 | 5.603600e+04 | 0.75%| unknown
3338.19/3346.81 c 3347s| 1 | 0 | 83250 | - | 4076M | 0 | 198k| 303k| 303k|2891 | 13 | 42 | 0 | 5.561903e+04 | 5.603600e+04 | 0.75%| unknown
3526.14/3535.26 c 3535s| 1 | 0 | 86419 | - | 4105M | 0 | 198k| 303k| 303k|2900 | 14 | 43 | 0 | 5.565396e+04 | 5.603600e+04 | 0.69%| unknown
3526.54/3535.68 c 3536s| 1 | 0 | 86419 | - | 4109M | 0 | 198k| 303k| 303k|2900 | 14 | 44 | 0 | 5.565396e+04 | 5.603600e+04 | 0.69%| 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 (62260 MiB free)
memory of node 1: 64507 MiB (54774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523940-1751601562/watcher-4523940-1751601562 -o /tmp/evaluation-result-4523940-1751601562/solver-4523940-1751601562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89440 --watchdog 3760 pbscip -f HOME/instance-4523940-1751601562.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=90223, runsolver pid=90220
[startup+0.100068 s]*
/proc/loadavg: 4.17 4.14 4.15 5/251 90224
/proc/meminfo: memFree=119768636/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=128460 memory=98004 CPUtime=0.08 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 19058 0 0 0 4 4 0 0 20 0 1 0 75835967 131543040 24501 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 32115 24501 3200 3530 0 23566 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 128460 KiB
Current children cumulated memory: 98004 KiB
[startup+0.207718 s]*
/proc/loadavg: 4.17 4.14 4.15 5/251 90224
/proc/meminfo: memFree=119696060/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=198384 memory=166356 CPUtime=0.18 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 36142 0 0 0 10 8 0 0 20 0 1 0 75835967 203145216 41589 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 49596 41589 3200 3530 0 41047 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 198384 KiB
Current children cumulated memory: 166356 KiB
[startup+0.307521 s]*
/proc/loadavg: 4.17 4.14 4.15 5/251 90224
/proc/meminfo: memFree=119616680/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=260464 memory=228436 CPUtime=0.28 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 51651 0 0 0 17 11 0 0 20 0 1 0 75835967 266715136 57109 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 65116 57109 3200 3530 0 56567 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 260464 KiB
Current children cumulated memory: 228436 KiB
[startup+0.700205 s]
/proc/loadavg: 4.17 4.14 4.15 5/251 90224
/proc/meminfo: memFree=119444500/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=561028 memory=528076 CPUtime=0.65 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 124535 0 0 0 42 23 0 0 20 0 1 0 75835967 574492672 132019 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 140257 132019 3200 3530 0 131708 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 561028 KiB
Current children cumulated memory: 528076 KiB
[startup+1.50019 s]
/proc/loadavg: 4.17 4.14 4.15 5/251 90224
/proc/meminfo: memFree=119132268/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=818288 memory=784084 CPUtime=1.44 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 185457 0 0 0 111 33 0 0 20 0 1 0 75835967 837926912 196021 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 204572 196021 3200 3530 0 196023 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 818288 KiB
Current children cumulated memory: 784084 KiB
[startup+3.10533 s]
/proc/loadavg: 4.15 4.14 4.15 5/251 90224
/proc/meminfo: memFree=118235536/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=1600848 memory=1572888 CPUtime=3.02 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 398736 0 0 0 236 66 0 0 20 0 1 0 75835967 1639268352 393222 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 400212 393222 3520 3530 0 391663 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1600848 KiB
Current children cumulated memory: 1572888 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.14 4.15 5/251 90224
/proc/meminfo: memFree=117724260/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=2234588 memory=2178652 CPUtime=6.19 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 491580 0 0 0 533 86 0 0 20 0 1 0 75835967 2288218112 544663 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 558647 544663 3616 3530 0 550098 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 2234588 KiB
Current children cumulated memory: 2178652 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.13 4.14 5/251 90224
/proc/meminfo: memFree=117223480/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=2347164 memory=2290220 CPUtime=12.56 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 505364 0 0 0 1164 92 0 0 20 0 1 0 75835967 2403495936 572555 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 586791 572555 3712 3530 0 578242 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 2347164 KiB
Current children cumulated memory: 2290220 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.13 4.14 5/251 90224
/proc/meminfo: memFree=116609184/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=2723436 memory=2665820 CPUtime=25.32 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 625396 0 0 0 2415 117 0 0 20 0 1 0 75835967 2788798464 666455 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 680859 666455 3744 3530 0 672310 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 2723436 KiB
Current children cumulated memory: 2665820 KiB
[startup+51.113 s]
/proc/loadavg: 4.14 4.13 4.14 5/251 90225
/proc/meminfo: memFree=116573184/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=2985292 memory=2926276 CPUtime=50.87 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 680012 0 0 0 4958 129 0 0 20 0 1 0 75835967 3056939008 731569 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 746323 731569 3744 3530 0 737774 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 2985292 KiB
Current children cumulated memory: 2926276 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 90283
/proc/meminfo: memFree=113733444/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3019688 memory=2959632 CPUtime=101.92 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 686302 0 0 0 10062 130 0 0 20 0 1 0 75835967 3092160512 739908 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 754922 739908 3744 3530 0 746373 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 3019688 KiB
Current children cumulated memory: 2959632 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 90290
/proc/meminfo: memFree=113796828/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3021736 memory=2961680 CPUtime=161.75 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 687465 0 0 0 16045 130 0 0 20 0 1 0 75835967 3094257664 740420 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 755434 740420 3744 3530 0 746885 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 3021736 KiB
Current children cumulated memory: 2961680 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 90292
/proc/meminfo: memFree=113777984/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3022760 memory=2962704 CPUtime=221.6 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 687856 0 0 0 22029 131 0 0 20 0 1 0 75835967 3095306240 740676 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 755690 740676 3744 3530 0 747141 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 3022760 KiB
Current children cumulated memory: 2962704 KiB
[startup+282.3 s]
/proc/loadavg: 4.38 4.18 4.15 5/253 90342
/proc/meminfo: memFree=118555392/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3024152 memory=2963984 CPUtime=281.44 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 688223 0 0 0 28013 131 0 0 20 0 1 0 75835967 3096731648 740996 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 756038 740996 3744 3530 0 747489 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 3024152 KiB
Current children cumulated memory: 2963984 KiB
[startup+342.3 s]
/proc/loadavg: 4.59 4.29 4.19 5/251 90344
/proc/meminfo: memFree=118183180/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3026244 memory=2966160 CPUtime=341.27 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 688781 0 0 0 33996 131 0 0 20 0 1 0 75835967 3098873856 741540 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 756561 741540 3744 3530 0 748012 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 3026244 KiB
Current children cumulated memory: 2966160 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.25 4.18 5/252 90347
/proc/meminfo: memFree=117946836/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3028636 memory=2968464 CPUtime=401.1 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 689487 0 0 0 39979 131 0 0 20 0 1 0 75835967 3101323264 742116 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 757159 742116 3744 3530 0 748610 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 3028636 KiB
Current children cumulated memory: 2968464 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/252 90349
/proc/meminfo: memFree=117851512/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=3028636 memory=2968592 CPUtime=460.93 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 689521 0 0 0 45962 131 0 0 20 0 1 0 75835967 3101323264 742148 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 757159 742148 3744 3530 0 748610 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 4419380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 90559
/proc/meminfo: memFree=106573828/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4419380 CPUtime=2914.63 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1047915 0 0 0 291269 194 0 0 20 0 1 0 75835967 4675170304 1104845 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1104845 3936 3530 0 1132850 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4419380 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 90561
/proc/meminfo: memFree=106509104/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4432820 CPUtime=2974.5 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1047915 0 0 0 297256 194 0 0 20 0 1 0 75835967 4675170304 1108205 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1108205 3936 3530 0 1132850 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4432820 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 90563
/proc/meminfo: memFree=106445128/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441012 CPUtime=3034.38 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1048328 0 0 0 303244 194 0 0 20 0 1 0 75835967 4675170304 1110253 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110253 3936 3530 0 1132850 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441012 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 90566
/proc/meminfo: memFree=106514428/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441012 CPUtime=3094.24 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1048333 0 0 0 309230 194 0 0 20 0 1 0 75835967 4675170304 1110253 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110253 3936 3530 0 1132850 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441012 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/252 90574
/proc/meminfo: memFree=106515648/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3154.1 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1048343 0 0 0 315216 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 90575
/proc/meminfo: memFree=106509348/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3213.97 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1049620 0 0 0 321203 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 90579
/proc/meminfo: memFree=106515316/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3273.83 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1049620 0 0 0 327189 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 90581
/proc/meminfo: memFree=106507912/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3333.7 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1049621 0 0 0 333176 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 90583
/proc/meminfo: memFree=106485896/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3393.56 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1050144 0 0 0 339162 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 90585
/proc/meminfo: memFree=106464124/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4441268 CPUtime=3453.44 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1050144 0 0 0 345150 194 0 0 20 0 1 0 75835967 4675170304 1110317 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110317 3936 3530 0 1132850 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4441268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 90587
/proc/meminfo: memFree=106427064/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4443316 CPUtime=3513.29 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1050673 0 0 0 351135 194 0 0 20 0 1 0 75835967 4675170304 1110829 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110829 3936 3530 0 1132850 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4443316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 90590
/proc/meminfo: memFree=106253936/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4443316 CPUtime=3573.1 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1051189 0 0 0 357116 194 0 0 20 0 1 0 75835967 4675170304 1110829 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110829 3936 3530 0 1132850 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4443316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.92 4.05 4.08 4/244 90622
/proc/meminfo: memFree=107003332/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4443316 CPUtime=3600.03 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1051196 0 0 0 359809 194 0 0 20 0 1 0 75835967 4675170304 1110829 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110829 3936 3530 0 1132850 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4443316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 90223 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.1 s, system=1.96029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.92 4.05 4.08 4/244 90622
/proc/meminfo: memFree=107003332/131382116 swapFree=33010684/33010684
[pid=90223] ppid=90220 vsize=4565596 memory=4443316 CPUtime=3600.03 cores=4,6
/proc/90223/stat : 90223 (pbscip) R 90220 90223 89429 0 -1 4194304 1051196 0 0 0 359809 194 0 0 20 0 1 0 75835967 4675170304 1110829 18446744073709551615 4235264 18693293 140725363400512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 43474944 140725363403145 140725363403244 140725363403244 140725363408846 0
/proc/90223/statm: 1141399 1110829 3936 3530 0 1132850 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4565596 KiB
Current children cumulated memory: 4443316 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3598.1
CPU system time (s): 1.96029
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 4731536
Max. memory (cumulated for all children) (KiB): 4539600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.1
system time used= 1.96029
maximum resident set size= 4539600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051196
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= 119
involuntary context switches= 1379
# summary of solver processes directly reported to runsolver:
# pid: 90223
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.1
# total CPU system time (s): 1.96029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8908 second user time and 35.7758 second system time
The end
Begin job on nodeC011 at 2025-07-04 05:59:22 IDJOB=4523940 IDBENCH=180378 IDSOLVER=3365 FILE ID=nodeC011/4523940-1751601562 RUNJOBID= nodeC011-1751594361-89440 SLURM_JOB_ID= 9598860 Free space on /tmp= 430416 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523940-1751601562/watcher-4523940-1751601562 -o /tmp/evaluation-result-4523940-1751601562/solver-4523940-1751601562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89440 --watchdog 3760 pbscip -f HOME/instance-4523940-1751601562.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e21aae6253a3d8ec45e9622b89e9ca39 RANDOM SEED=1007696686 nodeC011 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 : 1895.693 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 : 6984.20 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.648 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 : 6984.20 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 : 1197.236 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 : 6984.20 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.433 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 : 6984.20 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 : 3700.000 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 : 6984.20 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 : 3691.669 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 : 6984.20 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 : 2394.580 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 : 6984.20 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.487 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 119860288 kB MemAvailable: 122669552 kB Buffers: 3276 kB Cached: 3604540 kB SwapCached: 0 kB Active: 7708292 kB Inactive: 3162768 kB Active(anon): 7279100 kB Inactive(anon): 2104 kB Active(file): 429192 kB Inactive(file): 3160664 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 58932 kB Writeback: 0 kB AnonPages: 7266324 kB Mapped: 137564 kB Shmem: 17960 kB KReclaimable: 117684 kB Slab: 203360 kB SReclaimable: 117684 kB SUnreclaim: 85676 kB KernelStack: 4048 kB PageTables: 17572 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7886136 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4163584 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430368 MiB End job on nodeC011 at 2025-07-04 06:59:32