0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.41/0.45 c Default LC presolving (default).
0.41/0.45 c ** Before presolving: virtualMemUsedAtLc = 251768732, getVmSize() = 202756096, SCIPgetMemUsed() = 172100872, SCIPgetMemTotal() = 177186080, SCIPgetMemExternEstim() = 74582652
0.41/0.45 c ** set memory limit for presolving in LC to 8.79602e+12 for SCIP **
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: 64096 MiB (54026 MiB free)
memory of node 1: 64473 MiB (60463 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464619-1722385877/watcher-4464619-1722385877 -o /tmp/evaluation-result-4464619-1722385877/solver-4464619-1722385877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464619-1722385877.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=33358, runsolver pid=33355
Current StackSize limit: 8192 KiB
[startup+0.105599 s]*
/proc/loadavg: 4.09 4.12 4.15 7/255 33360
/proc/meminfo: memFree=117203420/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=56900 memory=45164 CPUtime=0.11 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 9201 0 0 0 9 2 0 0 20 0 1 0 5185302 58265600 11291 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 14225 11291 2347 3035 0 10621 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 56900 KiB
Current children cumulated memory: 45164 KiB
[startup+0.211092 s]*
/proc/loadavg: 4.09 4.12 4.15 5/254 33361
/proc/meminfo: memFree=117173484/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=87740 memory=75844 CPUtime=0.21 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 16861 0 0 0 17 4 0 0 20 0 1 0 5185302 89845760 18961 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 21935 18961 2347 3035 0 18331 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 87740 KiB
Current children cumulated memory: 75844 KiB
[startup+0.310677 s]*
/proc/loadavg: 4.09 4.12 4.15 5/254 33361
/proc/meminfo: memFree=117126640/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=139676 memory=128184 CPUtime=0.31 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 30038 0 0 0 24 7 0 0 20 0 1 0 5185302 143028224 32046 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 34919 32046 2539 3035 0 31315 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 139676 KiB
Current children cumulated memory: 128184 KiB
[startup+0.700357 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 33361
/proc/meminfo: memFree=117053924/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=247268 memory=228472 CPUtime=0.69 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 55195 0 0 0 54 15 0 0 20 0 1 0 5185302 253202432 57118 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 61817 57118 2678 3035 0 58213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 247268 KiB
Current children cumulated memory: 228472 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 33361
/proc/meminfo: memFree=116951604/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=316204 memory=298784 CPUtime=1.48 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 81583 0 0 0 129 19 0 0 20 0 1 0 5185302 323792896 74696 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 79051 74696 2758 3035 0 75447 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 316204 KiB
Current children cumulated memory: 298784 KiB
[startup+3.11283 s]
/proc/loadavg: 4.08 4.12 4.14 5/254 33361
/proc/meminfo: memFree=116807712/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=572076 memory=441448 CPUtime=3.09 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 115702 0 0 0 285 24 0 0 20 0 1 0 5185302 585805824 110362 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 143019 110362 2774 3035 0 139415 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 572076 KiB
Current children cumulated memory: 441448 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.12 4.14 5/254 33361
/proc/meminfo: memFree=116497012/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=895476 memory=764848 CPUtime=6.28 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 196570 0 0 0 589 39 0 0 20 0 1 0 5185302 916967424 191212 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 223869 191212 2774 3035 0 220265 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 895476 KiB
Current children cumulated memory: 764848 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.11 4.14 5/254 33362
/proc/meminfo: memFree=116196020/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1152032 memory=1029688 CPUtime=12.66 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 261214 0 0 0 1216 50 0 0 20 0 1 0 5185302 1179680768 257422 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 288008 257422 2774 3035 0 284404 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1152032 KiB
Current children cumulated memory: 1029688 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.11 4.14 5/254 33364
/proc/meminfo: memFree=116081608/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1224020 memory=1105644 CPUtime=25.43 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 279721 0 0 0 2488 55 0 0 20 0 1 0 5185302 1253396480 276411 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 306005 276411 2774 3035 0 302401 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1224020 KiB
Current children cumulated memory: 1105644 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.11 4.14 5/254 33369
/proc/meminfo: memFree=115934368/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1308388 memory=1190388 CPUtime=50.99 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 300877 0 0 0 5038 61 0 0 20 0 1 0 5185302 1339789312 297597 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 327097 297597 2774 3035 0 323493 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1308388 KiB
Current children cumulated memory: 1190388 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/254 33378
/proc/meminfo: memFree=115717124/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326972 memory=1208868 CPUtime=102.06 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305526 0 0 0 10139 67 0 0 20 0 1 0 5185302 1358819328 302217 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331743 302217 2774 3035 0 328139 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1326972 KiB
Current children cumulated memory: 1208868 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/252 33388
/proc/meminfo: memFree=115588432/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326976 memory=1208868 CPUtime=161.94 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305530 0 0 0 16124 70 0 0 20 0 1 0 5185302 1358823424 302217 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331744 302217 2774 3035 0 328140 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 1326976 KiB
Current children cumulated memory: 1208868 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/251 33398
/proc/meminfo: memFree=115483268/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326980 memory=1208868 CPUtime=221.77 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305534 0 0 0 22106 71 0 0 20 0 1 0 5185302 1358827520 302217 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331745 302217 2774 3035 0 328141 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 1326980 KiB
Current children cumulated memory: 1208868 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/248 33409
/proc/meminfo: memFree=115389260/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326984 memory=1208868 CPUtime=281.6 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305537 0 0 0 28088 72 0 0 20 0 1 0 5185302 1358831616 302217 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331746 302217 2774 3035 0 328142 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 1326984 KiB
Current children cumulated memory: 1208868 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/247 33420
/proc/meminfo: memFree=115305696/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326988 memory=1209084 CPUtime=341.43 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305540 0 0 0 34069 74 0 0 20 0 1 0 5185302 1358835712 302271 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331747 302271 2774 3035 0 328143 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 1326988 KiB
Current children cumulated memory: 1209084 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/248 33480
/proc/meminfo: memFree=115517716/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326992 memory=1209084 CPUtime=401.25 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305544 0 0 0 40050 75 0 0 20 0 1 0 5185302 1358839808 302271 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331748 302271 2774 3035 0 328144 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 1326992 KiB
Current children cumulated memory: 1209084 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/248 33490
/proc/meminfo: memFree=115481596/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1326996 memory=1209084 CPUtime=461.09 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 305547 0 0 0 46032 77 0 0 20 0 1 0 5185302 1358843904 302271 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331749 302271 2774 3035 0 328145 0
################
# More data... #
################
Current children cumulated memory: 1223392 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.69 3.96 4/239 34553
/proc/meminfo: memFree=115435492/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327064 memory=1223392 CPUtime=2914.18 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 307934 0 0 0 291327 91 0 0 20 0 1 0 5185302 1358913536 305848 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331766 305848 2774 3035 0 328162 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 1327064 KiB
Current children cumulated memory: 1223392 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.60 3.91 4/241 34568
/proc/meminfo: memFree=115427360/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327068 memory=1223392 CPUtime=2974.01 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308010 0 0 0 297310 91 0 0 20 0 1 0 5185302 1358917632 305848 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331767 305848 2774 3035 0 328163 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 1327068 KiB
Current children cumulated memory: 1223392 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.50 3.85 4/241 34578
/proc/meminfo: memFree=115415352/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327068 memory=1223396 CPUtime=3033.84 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308104 0 0 0 303293 91 0 0 20 0 1 0 5185302 1358917632 305849 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331767 305849 2774 3035 0 328163 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 1327068 KiB
Current children cumulated memory: 1223396 KiB
[startup+3102.3 s]
/proc/loadavg: 3.04 3.41 3.80 4/242 34590
/proc/meminfo: memFree=115398124/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327068 memory=1223396 CPUtime=3093.67 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308214 0 0 0 309276 91 0 0 20 0 1 0 5185302 1358917632 305849 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331767 305849 2774 3035 0 328163 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1327068 KiB
Current children cumulated memory: 1223396 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.36 3.76 4/241 34621
/proc/meminfo: memFree=115384464/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327072 memory=1223396 CPUtime=3153.5 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308283 0 0 0 315259 91 0 0 20 0 1 0 5185302 1358921728 305849 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331768 305849 2774 3035 0 328164 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 1327072 KiB
Current children cumulated memory: 1223396 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.31 3.71 4/241 34631
/proc/meminfo: memFree=115375464/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327072 memory=1223400 CPUtime=3213.32 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308389 0 0 0 321241 91 0 0 20 0 1 0 5185302 1358921728 305850 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331768 305850 2774 3035 0 328164 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1327072 KiB
Current children cumulated memory: 1223400 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.28 3.68 4/241 35028
/proc/meminfo: memFree=115468288/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327072 memory=1223400 CPUtime=3273.15 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308503 0 0 0 327224 91 0 0 20 0 1 0 5185302 1358921728 305850 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331768 305850 2774 3035 0 328164 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 1327072 KiB
Current children cumulated memory: 1223400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.01 3.48 3.72 4/241 35038
/proc/meminfo: memFree=115461060/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327072 memory=1223400 CPUtime=3332.98 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308571 0 0 0 333207 91 0 0 20 0 1 0 5185302 1358921728 305850 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331768 305850 2774 3035 0 328164 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1327072 KiB
Current children cumulated memory: 1223400 KiB
[startup+3402.3 s]
/proc/loadavg: 3.99 3.60 3.75 4/240 35050
/proc/meminfo: memFree=115449556/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327076 memory=1223404 CPUtime=3392.81 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308680 0 0 0 339190 91 0 0 20 0 1 0 5185302 1358925824 305851 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331769 305851 2774 3035 0 328165 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1327076 KiB
Current children cumulated memory: 1223404 KiB
[startup+3462.3 s]
/proc/loadavg: 3.47 3.52 3.71 4/242 35230
/proc/meminfo: memFree=115440440/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327076 memory=1223404 CPUtime=3452.64 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308797 0 0 0 345173 91 0 0 20 0 1 0 5185302 1358925824 305851 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331769 305851 2774 3035 0 328165 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 1327076 KiB
Current children cumulated memory: 1223404 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.42 3.66 4/242 35241
/proc/meminfo: memFree=115430404/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327076 memory=1223404 CPUtime=3512.47 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308866 0 0 0 351156 91 0 0 20 0 1 0 5185302 1358925824 305851 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331769 305851 2774 3035 0 328165 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 1327076 KiB
Current children cumulated memory: 1223404 KiB
[startup+3582.3 s]
/proc/loadavg: 2.58 3.20 3.57 3/234 35340
/proc/meminfo: memFree=116699408/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327076 memory=1223404 CPUtime=3572.34 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 308978 0 0 0 357143 91 0 0 20 0 1 0 5185302 1358925824 305851 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331769 305851 2774 3035 0 328165 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 1327076 KiB
Current children cumulated memory: 1223404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 2.35 3.09 3.52 3/234 35344
/proc/meminfo: memFree=116694208/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327080 memory=1223408 CPUtime=3600.09 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 309039 0 0 0 359918 91 0 0 20 0 1 0 5185302 1358929920 305852 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331770 305852 2774 3035 0 328166 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1327080 KiB
Current children cumulated memory: 1223408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 33358 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.19 s, system=0.921346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 2.35 3.09 3.52 3/234 35344
/proc/meminfo: memFree=116694208/131655788 swapFree=131071996/131071996
[pid=33358] ppid=33355 vsize=1327080 memory=1223408 CPUtime=3600.09 cores=1,3
/proc/33358/stat : 33358 (fscip) R 33355 33358 28645 0 -1 4194304 309039 0 0 0 359918 91 0 0 20 0 1 0 5185302 1358929920 305852 134679101440 4194304 16623229 140721966704288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43073536 140721966707734 140721966707850 140721966707850 140721966714864 0
/proc/33358/statm: 331770 305852 2774 3035 0 328166 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1327080 KiB
Current children cumulated memory: 1223408 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.12
CPU time (s): 3600.11
CPU user time (s): 3599.19
CPU system time (s): 0.921346
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 1327080
Max. memory (cumulated for all children) (KiB): 1223408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.921346
maximum resident set size= 1223408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309039
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= 11
involuntary context switches= 1133
# summary of solver processes directly reported to runsolver:
# pid: 33358
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.19
# total CPU system time (s): 0.921346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.778 second user time and 36.2866 second system time
The end
Begin job on nodeC009 at 2024-07-31 02:31:17
IDJOB=4464619
IDBENCH=160448
IDSOLVER=3092
FILE ID=nodeC009/4464619-1722385877
RUNJOBID= nodeC009-1722378594-28657
SLURM_JOB_ID= 8249839
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/normalized-sumineqArity4houseP128.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464619-1722385877/watcher-4464619-1722385877 -o /tmp/evaluation-result-4464619-1722385877/solver-4464619-1722385877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464619-1722385877.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9f5941775c0ec216e13c0fdf86c7766
RANDOM SEED=292526229
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3663.880
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
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 : 1261.891
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.486
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
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 : 1360.786
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 3670.617
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
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 : 3662.612
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 1197.312
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
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.303
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117237604 kB
MemAvailable: 129167768 kB
Buffers: 101804 kB
Cached: 12629072 kB
SwapCached: 0 kB
Active: 264844 kB
Inactive: 13644036 kB
Active(anon): 1496 kB
Inactive(anon): 1197824 kB
Active(file): 263348 kB
Inactive(file): 12446212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30368 kB
Writeback: 0 kB
AnonPages: 1178076 kB
Mapped: 124644 kB
Shmem: 21320 kB
KReclaimable: 121608 kB
Slab: 203832 kB
SReclaimable: 121608 kB
SUnreclaim: 82224 kB
KernelStack: 4096 kB
PageTables: 11756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1232668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 301056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC009 at 2024-07-31 03:31:27