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 (62398 MiB free)
memory of node 1: 64473 MiB (62629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455858-1721468153/watcher-4455858-1721468153 -o /tmp/evaluation-result-4455858-1721468153/solver-4455858-1721468153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055688 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455858-1721468153.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1060004, runsolver pid=1060001
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.16 4.14 4.12 5/252 1060005
/proc/meminfo: memFree=127998912/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=49708 memory=17680 CPUtime=0.09 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 4667 0 0 0 7 2 0 0 20 0 1 0 198984249 50900992 4420 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 12427 4420 1254 922 0 4379 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49708 KiB
Current children cumulated memory: 17680 KiB
[startup+0.205563 s]*
/proc/loadavg: 4.16 4.14 4.12 5/252 1060005
/proc/meminfo: memFree=127995548/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=51224 memory=21044 CPUtime=0.2 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 4974 0 0 0 15 5 0 0 20 0 1 0 198984249 52453376 5261 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 12806 5261 1254 922 0 4758 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51224 KiB
Current children cumulated memory: 21044 KiB
[startup+0.305159 s]*
/proc/loadavg: 4.16 4.14 4.12 5/252 1060005
/proc/meminfo: memFree=127992040/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=55304 memory=23996 CPUtime=0.3 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 5742 0 0 0 22 8 0 0 20 0 1 0 198984249 56631296 5999 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 13826 5999 1254 922 0 5778 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55304 KiB
Current children cumulated memory: 23996 KiB
[startup+0.70022 s]
/proc/loadavg: 4.15 4.13 4.11 5/252 1060005
/proc/meminfo: memFree=127913076/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=133340 memory=103480 CPUtime=0.69 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 22945 0 0 0 57 12 0 0 20 0 1 0 198984249 136540160 25870 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 33335 25870 1572 922 0 25287 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133340 KiB
Current children cumulated memory: 103480 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.11 5/252 1060005
/proc/meminfo: memFree=127912712/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=156736 memory=115772 CPUtime=1.48 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 26632 0 0 0 136 12 0 0 20 0 1 0 198984249 160497664 28943 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 39184 28943 1809 922 0 31136 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156736 KiB
Current children cumulated memory: 115772 KiB
[startup+3.1053 s]
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127926988/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=175016 memory=131820 CPUtime=3.09 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 29637 0 0 0 295 14 0 0 20 0 1 0 198984249 179216384 32955 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 43754 32955 1809 922 0 35706 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 175016 KiB
Current children cumulated memory: 131820 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.13 4.11 5/254 1060038
/proc/meminfo: memFree=127895032/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=206424 memory=163384 CPUtime=6.28 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 35001 0 0 0 611 17 0 0 20 0 1 0 198984249 211378176 40846 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 51606 40846 1809 922 0 43558 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 206424 KiB
Current children cumulated memory: 163384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.11 5/254 1060038
/proc/meminfo: memFree=127886264/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=213284 memory=175388 CPUtime=12.66 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 37486 0 0 0 1246 20 0 0 20 0 1 0 198984249 218402816 43847 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 53321 43847 1809 922 0 45273 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 213284 KiB
Current children cumulated memory: 175388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.12 5/254 1060041
/proc/meminfo: memFree=127838596/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=260284 memory=210240 CPUtime=25.43 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 43694 0 0 0 2513 30 0 0 20 0 1 0 198984249 266530816 52560 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 65071 52560 1809 922 0 57023 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 260284 KiB
Current children cumulated memory: 210240 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.12 5/254 1060044
/proc/meminfo: memFree=127802444/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=270752 memory=226196 CPUtime=50.97 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 47198 0 0 0 5058 39 0 0 20 0 1 0 198984249 277250048 56549 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 67688 56549 1809 922 0 59640 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 270752 KiB
Current children cumulated memory: 226196 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 1060055
/proc/meminfo: memFree=127571076/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=363116 memory=303576 CPUtime=102.02 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 61963 0 0 0 10137 65 0 0 20 0 1 0 198984249 371830784 75894 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 90779 75894 1809 922 0 82731 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 363116 KiB
Current children cumulated memory: 303576 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/255 1060066
/proc/meminfo: memFree=127441540/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=380668 memory=332640 CPUtime=161.83 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 65662 0 0 0 16096 87 0 0 20 0 1 0 198984249 389804032 83160 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 95167 83160 1825 922 0 87119 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 380668 KiB
Current children cumulated memory: 332640 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/255 1060076
/proc/meminfo: memFree=127258028/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=390072 memory=349828 CPUtime=221.66 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 68959 0 0 0 22062 104 0 0 20 0 1 0 198984249 399433728 87457 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 97518 87457 1825 922 0 89470 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 390072 KiB
Current children cumulated memory: 349828 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/255 1060086
/proc/meminfo: memFree=127218572/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=450388 memory=356864 CPUtime=281.48 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 70736 0 0 0 28029 119 0 0 20 0 1 0 198984249 461197312 89216 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 112597 89216 1825 922 0 104549 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 450388 KiB
Current children cumulated memory: 356864 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/258 1060103
/proc/meminfo: memFree=127155708/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=453656 memory=369660 CPUtime=341.3 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 72955 0 0 0 33998 132 0 0 20 0 1 0 198984249 464543744 92415 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 113414 92415 1825 922 0 105366 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 453656 KiB
Current children cumulated memory: 369660 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060114
/proc/meminfo: memFree=127084968/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=463364 memory=387528 CPUtime=401.11 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 75386 0 0 0 39965 146 0 0 20 0 1 0 198984249 474484736 96882 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 115841 96882 1825 922 0 107793 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 463364 KiB
Current children cumulated memory: 387528 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1060125
/proc/meminfo: memFree=127021504/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=463720 memory=388472 CPUtime=460.93 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 75569 0 0 0 45935 158 0 0 20 0 1 0 198984249 474849280 97118 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 115930 97118 1825 922 0 107882 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.09 5/259 1060916
/proc/meminfo: memFree=126512192/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=638336 memory=531780 CPUtime=1657.92 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 100024 0 0 0 165413 379 0 0 20 0 1 0 198984249 653656064 132945 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 159584 132945 1825 922 0 151536 0
Current children cumulated CPU time: 1657.92 s
Current children cumulated vsize: 638336 KiB
Current children cumulated memory: 531780 KiB
[startup+1722.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1060927
/proc/meminfo: memFree=126510164/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=638628 memory=532504 CPUtime=1717.76 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 100408 0 0 0 171380 396 0 0 20 0 1 0 198984249 653955072 133126 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 159657 133126 1825 922 0 151609 0
Current children cumulated CPU time: 1717.76 s
Current children cumulated vsize: 638628 KiB
Current children cumulated memory: 532504 KiB
[startup+1782.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 1060937
/proc/meminfo: memFree=126504600/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=640312 memory=534280 CPUtime=1777.6 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 101100 0 0 0 177356 404 0 0 20 0 1 0 198984249 655679488 133570 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 160078 133570 1825 922 0 152030 0
Current children cumulated CPU time: 1777.6 s
Current children cumulated vsize: 640312 KiB
Current children cumulated memory: 534280 KiB
[startup+1842.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 1060948
/proc/meminfo: memFree=126502744/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=640312 memory=534388 CPUtime=1837.43 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 101311 0 0 0 183328 415 0 0 20 0 1 0 198984249 655679488 133597 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 160078 133597 1825 922 0 152030 0
Current children cumulated CPU time: 1837.43 s
Current children cumulated vsize: 640312 KiB
Current children cumulated memory: 534388 KiB
[startup+1902.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 1060959
/proc/meminfo: memFree=126500232/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=640312 memory=534576 CPUtime=1897.26 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 101562 0 0 0 189304 422 0 0 20 0 1 0 198984249 655679488 133644 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 160078 133644 1825 922 0 152030 0
Current children cumulated CPU time: 1897.26 s
Current children cumulated vsize: 640312 KiB
Current children cumulated memory: 534576 KiB
[startup+1962.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 1060969
/proc/meminfo: memFree=126495184/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=642060 memory=541424 CPUtime=1957.11 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 102175 0 0 0 195280 431 0 0 20 0 1 0 198984249 657469440 135356 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 160515 135356 1825 922 0 152467 0
Current children cumulated CPU time: 1957.11 s
Current children cumulated vsize: 642060 KiB
Current children cumulated memory: 541424 KiB
[startup+2011.76 s]
# the end of solver process 1060004 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2001.98 s, system=4.47822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1971.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 1061017
/proc/meminfo: memFree=126615684/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=642060 memory=541424 CPUtime=1965.99 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 102177 0 0 0 196167 432 0 0 20 0 1 0 198984249 657469440 135356 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 160515 135356 1825 922 0 152467 0
Current children cumulated CPU time: 1965.99 s
Current children cumulated vsize: 642060 KiB
Current children cumulated memory: 541424 KiB
[startup+1996.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1061069
/proc/meminfo: memFree=126585168/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558328 CPUtime=1991.53 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104701 0 0 0 198713 440 0 0 20 0 1 0 198984249 669605888 139582 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139582 1825 922 0 155430 0
Current children cumulated CPU time: 1991.53 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558328 KiB
[startup+2003.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1061069
/proc/meminfo: memFree=126576892/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558576 CPUtime=1997.91 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104717 0 0 0 199350 441 0 0 20 0 1 0 198984249 669605888 139644 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139644 1825 922 0 155430 0
Current children cumulated CPU time: 1997.91 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558576 KiB
[startup+2006.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1061071
/proc/meminfo: memFree=126572236/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558576 CPUtime=2001.1 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104722 0 0 0 199664 446 0 0 20 0 1 0 198984249 669605888 139644 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139644 1825 922 0 155430 0
Current children cumulated CPU time: 2001.1 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558576 KiB
[startup+2009.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1061071
/proc/meminfo: memFree=126567652/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558592 CPUtime=2004.3 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104794 0 0 0 199983 447 0 0 20 0 1 0 198984249 669605888 139648 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139648 1825 922 0 155430 0
Current children cumulated CPU time: 2004.3 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558592 KiB
[startup+2010.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1061071
/proc/meminfo: memFree=126567692/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558592 CPUtime=2005.09 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104794 0 0 0 200062 447 0 0 20 0 1 0 198984249 669605888 139648 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139648 1825 922 0 155430 0
Current children cumulated CPU time: 2005.09 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558592 KiB
[startup+2011.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 1061071
/proc/meminfo: memFree=126563880/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558592 CPUtime=2005.89 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104794 0 0 0 200142 447 0 0 20 0 1 0 198984249 669605888 139648 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139648 1825 922 0 155430 0
Current children cumulated CPU time: 2005.89 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558592 KiB
[startup+2011.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 1061071
/proc/meminfo: memFree=126563880/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558592 CPUtime=2006.29 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104794 0 0 0 200182 447 0 0 20 0 1 0 198984249 669605888 139648 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139648 1825 922 0 155430 0
Current children cumulated CPU time: 2006.29 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558592 KiB
[startup+2011.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 1061071
/proc/meminfo: memFree=126563880/131524600 swapFree=131071996/131071996
[pid=1060004] ppid=1060001 vsize=653912 memory=558592 CPUtime=2006.39 cores=5,7
/proc/1060004/stat : 1060004 (roundingsat) R 1060001 1060004 1055675 0 -1 4194304 104794 0 0 0 200192 447 0 0 20 0 1 0 198984249 669605888 139648 134679101440 4194304 7968373 140727157833792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36085760 140727157838780 140727157838944 140727157838944 140727157845961 0
/proc/1060004/statm: 163478 139648 1825 922 0 155430 0
Current children cumulated CPU time: 2006.39 s
Current children cumulated vsize: 653912 KiB
Current children cumulated memory: 558592 KiB
Child status: 0
Real time (s): 2011.76
CPU time (s): 2006.46
CPU user time (s): 2001.98
CPU system time (s): 4.47822
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 653912
Max. memory (cumulated for all children) (KiB): 558592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.98
system time used= 4.47822
maximum resident set size= 558592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104809
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= 79
involuntary context switches= 1654
# summary of solver processes directly reported to runsolver:
# pid: 1060004
# total CPU time (s): 2006.46
# total CPU user time (s): 2001.98
# total CPU system time (s): 4.47822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74526 second user time and 9.10768 second system time
The end
Begin job on nodeC032 at 2024-07-20 11:36:05
IDJOB=4455858
IDBENCH=164450
IDSOLVER=3084
FILE ID=nodeC032/4455858-1721468153
RUNJOBID= nodeC032-1721460937-1055688
SLURM_JOB_ID= 7545712
Free space on /tmp= 890016 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455858-1721468153/watcher-4455858-1721468153 -o /tmp/evaluation-result-4455858-1721468153/solver-4455858-1721468153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055688 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455858-1721468153.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=488194799
nodeC032.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 : 3673.599
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 : 6999.33
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 : 3668.428
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.946
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 : 6999.33
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 : 3599.725
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.03
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 : 3673.673
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 : 6999.33
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 : 3662.766
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.03
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 : 3599.956
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 : 6999.33
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 : 3666.896
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128028828 kB
MemAvailable: 129506232 kB
Buffers: 567588 kB
Cached: 1748136 kB
SwapCached: 0 kB
Active: 1114984 kB
Inactive: 1749108 kB
Active(anon): 1580 kB
Inactive(anon): 593016 kB
Active(file): 1113404 kB
Inactive(file): 1156092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69960 kB
Writeback: 0 kB
AnonPages: 546796 kB
Mapped: 114580 kB
Shmem: 45912 kB
KReclaimable: 95460 kB
Slab: 209260 kB
SReclaimable: 95460 kB
SUnreclaim: 113800 kB
KernelStack: 4124 kB
PageTables: 10196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 923820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 370688 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: 246484 kB
DirectMap2M: 24692736 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC032 at 2024-07-20 12:09:37