0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4425182-1720883533.wbo>
0.30/0.31 c original problem has 81066 variables (81066 bin, 0 int, 0 impl, 0 cont) and 161267 constraints
0.30/0.31 c problem read in 0.31
1.18/1.22 c presolving:
1.38/1.46 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 80622 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 80644 clqs
3.67/3.78 c (3.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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: 63968 MiB (56179 MiB free)
memory of node 1: 64473 MiB (61714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425182-1720883533/watcher-4425182-1720883533 -o /tmp/evaluation-result-4425182-1720883533/solver-4425182-1720883533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707322 --watchdog 3760 pbscip -f HOME/instance-4425182-1720883533.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=712591, runsolver pid=712588
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120678420/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=100476 memory=59988 CPUtime=0.09 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 12102 0 0 0 8 1 0 0 20 0 1 0 140516762 102887424 14997 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 25119 14997 3263 3540 0 13376 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 59988 KiB
[startup+0.205809 s]*
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120635580/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=141204 memory=100840 CPUtime=0.2 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 22292 0 0 0 17 3 0 0 20 0 1 0 140516762 144592896 25210 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 35301 25210 3263 3540 0 23558 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141204 KiB
Current children cumulated memory: 100840 KiB
[startup+0.305706 s]*
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120596800/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=182656 memory=140832 CPUtime=0.3 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 32333 0 0 0 26 4 0 0 20 0 1 0 140516762 187039744 35208 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 45664 35208 3263 3540 0 33921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 182656 KiB
Current children cumulated memory: 140832 KiB
[startup+0.700234 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120459796/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=406592 memory=363416 CPUtime=0.69 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 88465 0 0 0 57 12 0 0 20 0 1 0 140516762 416350208 90854 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 101648 90854 3615 3540 0 89905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 406592 KiB
Current children cumulated memory: 363416 KiB
[startup+1.50025 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120239716/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=644624 memory=601592 CPUtime=1.48 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 147983 0 0 0 128 20 0 0 20 0 1 0 140516762 660094976 150398 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 161156 150398 3647 3540 0 149413 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 644624 KiB
Current children cumulated memory: 601592 KiB
[startup+3.10577 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 712592
/proc/meminfo: memFree=120114460/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=668464 memory=621144 CPUtime=3.09 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 153037 0 0 0 287 22 0 0 20 0 1 0 140516762 684507136 155286 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 167116 155286 3663 3540 0 155373 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 668464 KiB
Current children cumulated memory: 621144 KiB
[startup+6.30022 s]
/proc/loadavg: 4.19 4.14 4.10 5/260 712593
/proc/meminfo: memFree=119701028/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1216656 memory=1059976 CPUtime=6.27 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 213149 0 0 0 589 38 0 0 20 0 1 0 140516762 1245855744 264994 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 304164 264994 3695 3540 0 292421 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1216656 KiB
Current children cumulated memory: 1059976 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/260 712593
/proc/meminfo: memFree=119269312/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1623412 memory=1474984 CPUtime=12.65 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 315371 0 0 0 1211 54 0 0 20 0 1 0 140516762 1662373888 368746 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 405853 368746 3695 3540 0 394110 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1623412 KiB
Current children cumulated memory: 1474984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.10 5/261 712597
/proc/meminfo: memFree=119116524/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757316 memory=1614240 CPUtime=25.42 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 349652 0 0 0 2483 59 0 0 20 0 1 0 140516762 1799491584 403560 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439329 403560 3695 3540 0 427586 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1757316 KiB
Current children cumulated memory: 1614240 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 712600
/proc/meminfo: memFree=119109556/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757320 memory=1615540 CPUtime=50.94 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350024 0 0 0 5035 59 0 0 20 0 1 0 140516762 1799495680 403885 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439330 403885 3695 3540 0 427587 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1757320 KiB
Current children cumulated memory: 1615540 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 712611
/proc/meminfo: memFree=119101944/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757324 memory=1615644 CPUtime=101.98 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350050 0 0 0 10138 60 0 0 20 0 1 0 140516762 1799499776 403911 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439331 403911 3695 3540 0 427588 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1757324 KiB
Current children cumulated memory: 1615644 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 712621
/proc/meminfo: memFree=119093328/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757328 memory=1615644 CPUtime=161.8 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350073 0 0 0 16120 60 0 0 20 0 1 0 140516762 1799503872 403911 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439332 403911 3695 3540 0 427589 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1757328 KiB
Current children cumulated memory: 1615644 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/261 712631
/proc/meminfo: memFree=119068108/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757332 memory=1615644 CPUtime=221.62 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350099 0 0 0 22101 61 0 0 20 0 1 0 140516762 1799507968 403911 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439333 403911 3695 3540 0 427590 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1757332 KiB
Current children cumulated memory: 1615644 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 712641
/proc/meminfo: memFree=119063704/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757336 memory=1615652 CPUtime=281.43 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350123 0 0 0 28082 61 0 0 20 0 1 0 140516762 1799512064 403913 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439334 403913 3695 3540 0 427591 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1757336 KiB
Current children cumulated memory: 1615652 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 712653
/proc/meminfo: memFree=119054952/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757336 memory=1615652 CPUtime=341.25 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350145 0 0 0 34063 62 0 0 20 0 1 0 140516762 1799512064 403913 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439334 403913 3695 3540 0 427591 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1757336 KiB
Current children cumulated memory: 1615652 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/256 712664
/proc/meminfo: memFree=119050544/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757340 memory=1615652 CPUtime=401.07 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350171 0 0 0 40045 62 0 0 20 0 1 0 140516762 1799516160 403913 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439335 403913 3695 3540 0 427592 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1757340 KiB
Current children cumulated memory: 1615652 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 712674
/proc/meminfo: memFree=119050156/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757344 memory=1615660 CPUtime=460.89 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 350195 0 0 0 46026 63 0 0 20 0 1 0 140516762 1799520256 403915 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439336 403915 3695 3540 0 427593 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 1615712 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.20 2.66 3/244 714361
/proc/meminfo: memFree=120967796/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757392 memory=1615712 CPUtime=2913.74 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351167 0 0 0 291289 85 0 0 20 0 1 0 140516762 1799569408 403928 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439348 403928 3695 3540 0 427605 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 1757392 KiB
Current children cumulated memory: 1615712 KiB
[startup+2982.3 s]
/proc/loadavg: 2.04 2.16 2.61 3/243 714372
/proc/meminfo: memFree=120967804/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757392 memory=1615712 CPUtime=2973.58 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351192 0 0 0 297273 85 0 0 20 0 1 0 140516762 1799569408 403928 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439348 403928 3695 3540 0 427605 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 1757392 KiB
Current children cumulated memory: 1615712 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.16 2.59 3/243 714383
/proc/meminfo: memFree=120967536/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757396 memory=1615712 CPUtime=3033.42 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351216 0 0 0 303257 85 0 0 20 0 1 0 140516762 1799573504 403928 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439349 403928 3695 3540 0 427606 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 1757396 KiB
Current children cumulated memory: 1615712 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.14 2.55 3/242 714396
/proc/meminfo: memFree=120967296/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757396 memory=1615716 CPUtime=3093.27 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351238 0 0 0 309241 86 0 0 20 0 1 0 140516762 1799573504 403929 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439349 403929 3695 3540 0 427606 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 1757396 KiB
Current children cumulated memory: 1615716 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.13 2.52 3/243 714407
/proc/meminfo: memFree=120966988/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757396 memory=1615716 CPUtime=3153.11 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351263 0 0 0 315225 86 0 0 20 0 1 0 140516762 1799573504 403929 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439349 403929 3695 3540 0 427606 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 1757396 KiB
Current children cumulated memory: 1615716 KiB
[startup+3222.3 s]
/proc/loadavg: 1.73 2.04 2.46 2/234 714448
/proc/meminfo: memFree=127870648/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757396 memory=1616068 CPUtime=3212.98 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351283 0 0 0 321211 87 0 0 20 0 1 0 140516762 1799573504 404017 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439349 404017 3695 3540 0 427606 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 1757396 KiB
Current children cumulated memory: 1616068 KiB
[startup+3282.3 s]
/proc/loadavg: 1.60 1.93 2.40 2/234 714458
/proc/meminfo: memFree=127870072/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757400 memory=1616320 CPUtime=3272.86 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351299 0 0 0 327199 87 0 0 20 0 1 0 140516762 1799577600 404080 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439350 404080 3695 3540 0 427607 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 1757400 KiB
Current children cumulated memory: 1616320 KiB
[startup+3342.3 s]
/proc/loadavg: 1.43 1.82 2.33 2/234 714469
/proc/meminfo: memFree=127868116/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757400 memory=1617944 CPUtime=3332.74 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351319 0 0 0 333187 87 0 0 20 0 1 0 140516762 1799577600 404486 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439350 404486 3695 3540 0 427607 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 1757400 KiB
Current children cumulated memory: 1617944 KiB
[startup+3402.3 s]
/proc/loadavg: 1.22 1.68 2.25 2/234 714479
/proc/meminfo: memFree=127867668/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757400 memory=1617944 CPUtime=3392.61 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351340 0 0 0 339174 87 0 0 20 0 1 0 140516762 1799577600 404486 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439350 404486 3695 3540 0 427607 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 1757400 KiB
Current children cumulated memory: 1617944 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.57 2.17 2/233 714489
/proc/meminfo: memFree=127866964/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757400 memory=1618440 CPUtime=3452.5 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351354 0 0 0 345162 88 0 0 20 0 1 0 140516762 1799577600 404610 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439350 404610 3695 3540 0 427607 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 1757400 KiB
Current children cumulated memory: 1618440 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.50 2.10 2/236 714505
/proc/meminfo: memFree=127865044/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757400 memory=1620064 CPUtime=3512.37 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351376 0 0 0 351149 88 0 0 20 0 1 0 140516762 1799577600 405016 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439350 405016 3695 3540 0 427607 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 1757400 KiB
Current children cumulated memory: 1620064 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.42 2.04 2/236 714515
/proc/meminfo: memFree=127858844/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757404 memory=1627884 CPUtime=3572.25 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351416 0 0 0 357137 88 0 0 20 0 1 0 140516762 1799581696 406971 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439351 406971 3695 3540 0 427608 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 1757404 KiB
Current children cumulated memory: 1627884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 1.13 1.39 2.01 2/236 714520
/proc/meminfo: memFree=127858468/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757404 memory=1627888 CPUtime=3600 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351434 0 0 0 359912 88 0 0 20 0 1 0 140516762 1799581696 406972 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439351 406972 3695 3540 0 427608 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1757404 KiB
Current children cumulated memory: 1627888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 712591 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.12 s, system=0.913916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.1 s]
/proc/loadavg: 1.13 1.39 2.01 2/236 714520
/proc/meminfo: memFree=127858468/131524600 swapFree=131071996/131071996
[pid=712591] ppid=712588 vsize=1757404 memory=1627888 CPUtime=3600 cores=0,2
/proc/712591/stat : 712591 (pbscip) R 712588 712591 704463 0 -1 4194304 351434 0 0 0 359912 88 0 0 20 0 1 0 140516762 1799581696 406972 134679101440 4194304 18693293 140720754783856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58007552 140720754787306 140720754787405 140720754787405 140720754794446 0
/proc/712591/statm: 439351 406972 3695 3540 0 427608 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1757404 KiB
Current children cumulated memory: 1627888 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.13
CPU time (s): 3600.03
CPU user time (s): 3599.12
CPU system time (s): 0.913916
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 1757404
Max. memory (cumulated for all children) (KiB): 1627888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.913916
maximum resident set size= 1627888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351434
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= 12
involuntary context switches= 24658
# summary of solver processes directly reported to runsolver:
# pid: 712591
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.12
# total CPU system time (s): 0.913916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54062 second user time and 16.7069 second system time
The end
Begin job on nodeC020 at 2024-07-13 17:12:26
IDJOB=4425182
IDBENCH=143881
IDSOLVER=3038
FILE ID=nodeC020/4425182-1720883533
RUNJOBID= nodeC020-1720878485-707322
SLURM_JOB_ID= 7483761
Free space on /tmp= 890016 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425182-1720883533/watcher-4425182-1720883533 -o /tmp/evaluation-result-4425182-1720883533/solver-4425182-1720883533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707322 --watchdog 3760 pbscip -f HOME/instance-4425182-1720883533.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230
RANDOM SEED=19500494
nodeC020.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 : 0xb00002a
cpu MHz : 3658.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.685
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.536
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.619
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120723220 kB
MemAvailable: 121055812 kB
Buffers: 330916 kB
Cached: 844204 kB
SwapCached: 0 kB
Active: 513600 kB
Inactive: 9706944 kB
Active(anon): 1576 kB
Inactive(anon): 9081268 kB
Active(file): 512024 kB
Inactive(file): 625676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21344 kB
Writeback: 0 kB
AnonPages: 9044384 kB
Mapped: 133624 kB
Shmem: 37724 kB
KReclaimable: 69428 kB
Slab: 167720 kB
SReclaimable: 69428 kB
SUnreclaim: 98292 kB
KernelStack: 4188 kB
PageTables: 27136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9971556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52736 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1587200 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: 168660 kB
DirectMap2M: 10090496 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC020 at 2024-07-13 18:12:36