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: 64059 MiB (62810 MiB free)
memory of node 1: 64510 MiB (62783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450881-1721418433/watcher-4450881-1721418433 -o /tmp/evaluation-result-4450881-1721418433/solver-4450881-1721418433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721411221-1015215 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4450881-1721418433.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1019855, runsolver pid=1019852
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.02 4.16 4.17 5/242 1019856
/proc/meminfo: memFree=128587924/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=32344 memory=13808 CPUtime=0.1 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 2825 0 0 0 10 0 0 0 20 0 1 0 194002902 33120256 3452 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 8086 3452 750 2417 0 5188 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32344 KiB
Current children cumulated memory: 13808 KiB
[startup+0.212813 s]*
/proc/loadavg: 4.02 4.16 4.17 5/242 1019856
/proc/meminfo: memFree=128575600/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=42832 memory=26200 CPUtime=0.21 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 5698 0 0 0 20 1 0 0 20 0 1 0 194002902 43859968 6550 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 10708 6550 782 2417 0 7810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42832 KiB
Current children cumulated memory: 26200 KiB
[startup+0.313188 s]*
/proc/loadavg: 4.02 4.16 4.17 6/242 1019856
/proc/meminfo: memFree=128572064/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=45824 memory=28184 CPUtime=0.31 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 6512 0 0 0 30 1 0 0 20 0 1 0 194002902 46923776 7046 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 11456 7046 782 2417 0 8558 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45824 KiB
Current children cumulated memory: 28184 KiB
[startup+0.700303 s]
/proc/loadavg: 4.02 4.16 4.17 5/242 1019856
/proc/meminfo: memFree=128568560/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=45796 memory=27172 CPUtime=0.68 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 7382 0 0 0 67 1 0 0 20 0 1 0 194002902 46895104 6793 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 11449 6793 814 2417 0 8551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45796 KiB
Current children cumulated memory: 27172 KiB
[startup+1.50029 s]
/proc/loadavg: 4.02 4.16 4.17 5/242 1019856
/proc/meminfo: memFree=128576032/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=48500 memory=31396 CPUtime=1.49 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 8440 0 0 0 147 2 0 0 20 0 1 0 194002902 49664000 7849 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 12125 7849 814 2417 0 9227 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 31396 KiB
[startup+3.11257 s]
/proc/loadavg: 4.02 4.16 4.17 5/242 1019857
/proc/meminfo: memFree=128576920/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=52892 memory=36812 CPUtime=3.09 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 8765 0 0 0 307 2 0 0 20 0 1 0 194002902 54161408 9203 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 13223 9203 814 2417 0 10325 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52892 KiB
Current children cumulated memory: 36812 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.17 4.18 5/242 1019857
/proc/meminfo: memFree=128556128/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=60036 memory=43460 CPUtime=6.27 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 11815 0 0 0 624 3 0 0 20 0 1 0 194002902 61476864 10865 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 15009 10865 814 2417 0 12111 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60036 KiB
Current children cumulated memory: 43460 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.17 4.17 5/242 1019857
/proc/meminfo: memFree=128579772/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=71636 memory=53180 CPUtime=12.64 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 12233 0 0 0 1261 3 0 0 20 0 1 0 194002902 73355264 13295 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 17909 13295 814 2417 0 15011 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71636 KiB
Current children cumulated memory: 53180 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.16 4.17 5/242 1019906
/proc/meminfo: memFree=128677148/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=83300 memory=64860 CPUtime=25.4 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 14313 0 0 0 2535 5 0 0 20 0 1 0 194002902 85299200 16215 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 20825 16215 814 2417 0 17927 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 83300 KiB
Current children cumulated memory: 64860 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.17 4.17 5/242 1019909
/proc/meminfo: memFree=128648564/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=83300 memory=67292 CPUtime=50.92 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 16902 0 0 0 5085 7 0 0 20 0 1 0 194002902 85299200 16823 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 20825 16823 814 2417 0 17927 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 83300 KiB
Current children cumulated memory: 67292 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/242 1019918
/proc/meminfo: memFree=128588588/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=94972 memory=73956 CPUtime=101.93 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 20861 0 0 0 10182 11 0 0 20 0 1 0 194002902 97251328 18489 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 23743 18489 814 2417 0 20845 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 94972 KiB
Current children cumulated memory: 73956 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/241 1019929
/proc/meminfo: memFree=128551432/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=102156 memory=86376 CPUtime=161.72 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 22244 0 0 0 16159 13 0 0 20 0 1 0 194002902 104607744 21594 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 25539 21594 814 2417 0 22641 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 102156 KiB
Current children cumulated memory: 86376 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/243 1019943
/proc/meminfo: memFree=128605964/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=76116 memory=59472 CPUtime=221.51 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 24087 0 0 0 22135 16 0 0 20 0 1 0 194002902 77942784 14868 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 19029 14868 814 2417 0 16131 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 76116 KiB
Current children cumulated memory: 59472 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/243 1019953
/proc/meminfo: memFree=128518816/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=116964 CPUtime=281.3 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 26301 0 0 0 28108 22 0 0 20 0 1 0 194002902 135831552 29241 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29241 814 2417 0 30264 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 116964 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/243 1020009
/proc/meminfo: memFree=128636112/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=102300 memory=82532 CPUtime=341.1 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 29182 0 0 0 34081 29 0 0 20 0 1 0 194002902 104755200 20633 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 25575 20633 814 2417 0 22677 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 102300 KiB
Current children cumulated memory: 82532 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/243 1020019
/proc/meminfo: memFree=128550292/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=113972 memory=98620 CPUtime=400.91 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 31529 0 0 0 40056 35 0 0 20 0 1 0 194002902 116707328 24655 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 28493 24655 814 2417 0 25595 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 113972 KiB
Current children cumulated memory: 98620 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 1020030
/proc/meminfo: memFree=128572220/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=113972 memory=98620 CPUtime=460.71 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 33720 0 0 0 46028 43 0 0 20 0 1 0 194002902 116707328 24655 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 28493 24655 814 2417 0 25595 0
################
# More data... #
################
/proc/loadavg: 4.14 4.17 4.18 5/241 1020723
/proc/meminfo: memFree=128533968/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=107864 CPUtime=1178.31 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 52605 0 0 0 117699 132 0 0 20 0 1 0 194002902 135831552 26966 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 26966 814 2417 0 30264 0
Current children cumulated CPU time: 1178.31 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 107864 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 1020733
/proc/meminfo: memFree=128545044/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=113972 memory=98620 CPUtime=1238.1 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 56113 0 0 0 123662 148 0 0 20 0 1 0 194002902 116707328 24655 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 28493 24655 814 2417 0 25595 0
Current children cumulated CPU time: 1238.1 s
Current children cumulated vsize: 113972 KiB
Current children cumulated memory: 98620 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/241 1020743
/proc/meminfo: memFree=128526712/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1297.88 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 56782 0 0 0 129636 152 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1297.88 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1362.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/241 1020754
/proc/meminfo: memFree=128477444/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1357.67 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 57009 0 0 0 135614 153 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1357.67 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1422.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/244 1020769
/proc/meminfo: memFree=128463708/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1417.48 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 59175 0 0 0 141576 172 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1417.48 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1482.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/244 1020779
/proc/meminfo: memFree=128487012/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1477.29 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 59320 0 0 0 147556 173 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1477.29 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1542.3 s]
/proc/loadavg: 4.20 4.14 4.16 5/244 1020881
/proc/meminfo: memFree=128503324/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1537.09 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 59370 0 0 0 153536 173 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1537.09 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1586.19 s]
# the end of solver process 1019855 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1578.91 s, system=1.91337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.22 4.15 4.16 5/244 1020885
/proc/meminfo: memFree=128474100/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=154516 CPUtime=1556.32 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 60195 0 0 0 155452 180 0 0 20 0 1 0 194002902 186335232 38629 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 38629 814 2417 0 42594 0
Current children cumulated CPU time: 1556.32 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 154516 KiB
[startup+1574.4 s]
/proc/loadavg: 4.18 4.14 4.16 5/244 1020888
/proc/meminfo: memFree=128478304/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=165984 CPUtime=1569.07 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 62625 0 0 0 156722 185 0 0 20 0 1 0 194002902 186335232 41496 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 41496 814 2417 0 42594 0
Current children cumulated CPU time: 1569.07 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 165984 KiB
[startup+1580.8 s]
/proc/loadavg: 4.15 4.14 4.16 5/244 1020888
/proc/meminfo: memFree=128490672/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=156564 CPUtime=1575.45 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63321 0 0 0 157357 188 0 0 20 0 1 0 194002902 186335232 39141 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 39141 814 2417 0 42594 0
Current children cumulated CPU time: 1575.45 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 156564 KiB
[startup+1584 s]*
/proc/loadavg: 4.15 4.14 4.16 5/244 1020890
/proc/meminfo: memFree=128490676/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=150420 CPUtime=1578.65 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63501 0 0 0 157675 190 0 0 20 0 1 0 194002902 186335232 37605 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 37605 814 2417 0 42594 0
Current children cumulated CPU time: 1578.65 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 150420 KiB
[startup+1584.8 s]
/proc/loadavg: 4.15 4.14 4.16 5/244 1020890
/proc/meminfo: memFree=128490676/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=156564 CPUtime=1579.43 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63504 0 0 0 157753 190 0 0 20 0 1 0 194002902 186335232 39141 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 39141 814 2417 0 42594 0
Current children cumulated CPU time: 1579.43 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 156564 KiB
[startup+1585.6 s]
/proc/loadavg: 4.14 4.13 4.16 5/244 1020890
/proc/meminfo: memFree=128484532/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=132648 memory=117392 CPUtime=1580.23 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63506 0 0 0 157833 190 0 0 20 0 1 0 194002902 135831552 29348 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 33162 29348 814 2417 0 30264 0
Current children cumulated CPU time: 1580.23 s
Current children cumulated vsize: 132648 KiB
Current children cumulated memory: 117392 KiB
[startup+1586 s]*
/proc/loadavg: 4.14 4.13 4.16 5/244 1020890
/proc/meminfo: memFree=128492752/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=148200 CPUtime=1580.64 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63635 0 0 0 157873 191 0 0 20 0 1 0 194002902 186335232 37050 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 37050 814 2417 0 42594 0
Current children cumulated CPU time: 1580.64 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 148200 KiB
[startup+1586.11 s]
/proc/loadavg: 4.14 4.13 4.16 5/244 1020890
/proc/meminfo: memFree=128492752/131655788 swapFree=131071996/131071996
[pid=1019855] ppid=1019852 vsize=181968 memory=150248 CPUtime=1580.74 cores=0,2
/proc/1019855/stat : 1019855 (CASHWMaxSAT-Dis) R 1019852 1019855 1015205 0 -1 4194304 63636 0 0 0 157883 191 0 0 20 0 1 0 194002902 186335232 37562 134679101440 4194304 14093885 140723890289984 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44769280 140723890295779 140723890295894 140723890295894 140723890302911 0
/proc/1019855/statm: 45492 37562 814 2417 0 42594 0
Current children cumulated CPU time: 1580.74 s
Current children cumulated vsize: 181968 KiB
Current children cumulated memory: 150248 KiB
Child status: 30
Real time (s): 1586.19
CPU time (s): 1580.83
CPU user time (s): 1578.91
CPU system time (s): 1.91337
CPU usage (%): 99.6618
Max. virtual memory (cumulated for all children) (KiB): 212788
Max. memory (cumulated for all children) (KiB): 177208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1578.91
system time used= 1.91337
maximum resident set size= 210220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63636
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= 18
involuntary context switches= 10821
# summary of solver processes directly reported to runsolver:
# pid: 1019855
# total CPU time (s): 1580.83
# total CPU user time (s): 1578.91
# total CPU system time (s): 1.91337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32743 second user time and 15.4874 second system time
The end
Begin job on nodeC009 at 2024-07-19 21:47:25
IDJOB=4450881
IDBENCH=162302
IDSOLVER=3077
FILE ID=nodeC009/4450881-1721418433
RUNJOBID= nodeC009-1721411221-1015215
SLURM_JOB_ID= 7545478
Free space on /tmp= 723732 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450881-1721418433/watcher-4450881-1721418433 -o /tmp/evaluation-result-4450881-1721418433/solver-4450881-1721418433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721411221-1015215 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4450881-1721418433.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8b84d78b1363b4a3850ebb291b1422d
RANDOM SEED=1231270617
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 : 3492.196
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 : 6984.34
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 : 3667.304
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.27
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.318
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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.539
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.27
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 : 3658.017
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 : 6984.34
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 : 3667.363
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.27
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.500
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 : 6984.34
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.417
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128608920 kB
MemAvailable: 129533820 kB
Buffers: 571568 kB
Cached: 1197788 kB
SwapCached: 0 kB
Active: 1121160 kB
Inactive: 1373724 kB
Active(anon): 1460 kB
Inactive(anon): 769656 kB
Active(file): 1119700 kB
Inactive(file): 604068 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 26876 kB
Writeback: 0 kB
AnonPages: 724060 kB
Mapped: 116844 kB
Shmem: 45892 kB
KReclaimable: 82328 kB
Slab: 183380 kB
SReclaimable: 82328 kB
SUnreclaim: 101052 kB
KernelStack: 3916 kB
PageTables: 10924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1226728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 546816 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC009 at 2024-07-19 22:13:51