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 (52878 MiB free)
memory of node 1: 64473 MiB (47432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458320-1721879879/watcher-4458320-1721879879 -o /tmp/evaluation-result-4458320-1721879879/solver-4458320-1721879879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721875935-226946 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458320-1721879879 --seed=1301963230 HOME/instance-4458320-1721879879.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=230187, runsolver pid=230184
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.18 4.24 4.21 4/262 230188
/proc/meminfo: memFree=102711076/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=35364 memory=13300 CPUtime=0.04 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 2714 0 0 0 4 0 0 0 20 0 1 0 24516253 36212736 3325 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 8841 3325 1059 1006 0 7602 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 35364 KiB
Current children cumulated memory: 13300 KiB
[startup+0.206046 s]*
/proc/loadavg: 4.18 4.24 4.21 4/262 230188
/proc/meminfo: memFree=102702464/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=37356 memory=15448 CPUtime=0.15 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 3173 0 0 0 15 0 0 0 20 0 1 0 24516253 38252544 3862 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 9339 3862 1139 1006 0 8100 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 37356 KiB
Current children cumulated memory: 15448 KiB
[startup+0.30572 s]*
/proc/loadavg: 4.18 4.24 4.21 5/262 230188
/proc/meminfo: memFree=102709432/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=37488 memory=15712 CPUtime=0.24 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 3266 0 0 0 24 0 0 0 20 0 1 0 24516253 38387712 3928 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 9372 3928 1139 1006 0 8133 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 37488 KiB
Current children cumulated memory: 15712 KiB
[startup+0.700179 s]
/proc/loadavg: 4.18 4.24 4.21 5/262 230188
/proc/meminfo: memFree=102702332/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=37760 memory=18020 CPUtime=0.63 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 3337 0 0 0 63 0 0 0 20 0 1 0 24516253 38666240 4505 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 9440 4505 1139 1006 0 8201 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 18020 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.24 4.21 5/262 230189
/proc/meminfo: memFree=102688528/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=37928 memory=20332 CPUtime=1.43 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 3403 0 0 0 142 1 0 0 20 0 1 0 24516253 38838272 5083 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 9482 5083 1139 1006 0 8243 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 20332 KiB
[startup+3.10553 s]
/proc/loadavg: 4.16 4.24 4.20 5/262 230189
/proc/meminfo: memFree=102634884/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=39156 memory=23684 CPUtime=3.04 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 3727 0 0 0 301 3 0 0 20 0 1 0 24516253 40095744 5921 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 9789 5921 1139 1006 0 8550 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 23684 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.24 4.20 5/262 230190
/proc/meminfo: memFree=102536116/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=41580 memory=27884 CPUtime=6.22 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 4266 0 0 0 616 6 0 0 20 0 1 0 24516253 42577920 6971 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 10395 6971 1155 1006 0 9156 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 41580 KiB
Current children cumulated memory: 27884 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.23 4.20 5/264 230362
/proc/meminfo: memFree=102386208/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=45024 memory=37804 CPUtime=12.6 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 5180 0 0 0 1249 11 0 0 20 0 1 0 24516253 46104576 9451 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 11256 9451 1200 1006 0 10017 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 45024 KiB
Current children cumulated memory: 37804 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.22 4.20 5/262 230363
/proc/meminfo: memFree=102103324/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=45908 memory=40616 CPUtime=25.37 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 5388 0 0 0 2513 24 0 0 20 0 1 0 24516253 47009792 10154 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 11477 10154 1200 1006 0 10238 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 45908 KiB
Current children cumulated memory: 40616 KiB
[startup+51.1063 s]
/proc/loadavg: 4.14 4.22 4.20 5/259 230368
/proc/meminfo: memFree=101487436/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=47992 memory=42656 CPUtime=50.48 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 5932 0 0 0 5003 45 0 0 20 0 1 0 24516253 49143808 10664 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 6 0 0 30 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 11998 10664 1200 1006 0 10759 0
Current children cumulated CPU time: 50.48 s
Current children cumulated vsize: 47992 KiB
Current children cumulated memory: 42656 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/258 230376
/proc/meminfo: memFree=100418628/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=67732 memory=57560 CPUtime=101.19 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 7813 0 0 0 10028 91 0 0 20 0 1 0 24516253 69357568 14390 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 62 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 16933 14390 1200 1006 0 15694 0
Current children cumulated CPU time: 101.19 s
Current children cumulated vsize: 67732 KiB
Current children cumulated memory: 57560 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.24 4.20 5/259 230435
/proc/meminfo: memFree=116181012/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=71392 memory=61176 CPUtime=160.54 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 8758 0 0 0 15915 139 0 0 20 0 1 0 24516253 73105408 15294 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 111 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 17848 15294 1200 1006 0 16609 0
Current children cumulated CPU time: 160.54 s
Current children cumulated vsize: 71392 KiB
Current children cumulated memory: 61176 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/262 230462
/proc/meminfo: memFree=114823412/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=73876 memory=63776 CPUtime=219.83 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 9392 0 0 0 21800 183 0 0 20 0 1 0 24516253 75649024 15944 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 167 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 18469 15944 1200 1006 0 17230 0
Current children cumulated CPU time: 219.83 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 63776 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.20 4.19 5/264 230474
/proc/meminfo: memFree=113450216/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=77592 memory=68880 CPUtime=279.41 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 10353 0 0 0 27713 228 0 0 20 0 1 0 24516253 79454208 17220 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 193 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 19398 17220 1200 1006 0 18159 0
Current children cumulated CPU time: 279.41 s
Current children cumulated vsize: 77592 KiB
Current children cumulated memory: 68880 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/262 230484
/proc/meminfo: memFree=112192012/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=79664 memory=70880 CPUtime=338.81 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 10893 0 0 0 33606 275 0 0 20 0 1 0 24516253 81575936 17720 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 240 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 19916 17720 1200 1006 0 18677 0
Current children cumulated CPU time: 338.81 s
Current children cumulated vsize: 79664 KiB
Current children cumulated memory: 70880 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/264 230496
/proc/meminfo: memFree=110690956/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=80720 memory=72072 CPUtime=398.18 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 11188 0 0 0 39502 316 0 0 20 0 1 0 24516253 82657280 18018 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 289 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 20180 18018 1200 1006 0 18941 0
Current children cumulated CPU time: 398.18 s
Current children cumulated vsize: 80720 KiB
Current children cumulated memory: 72072 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/265 230510
/proc/meminfo: memFree=109475072/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=81888 memory=73380 CPUtime=457.54 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) R 230184 230187 226935 0 -1 4194304 11531 0 0 0 45390 364 0 0 20 0 1 0 24516253 83853312 18345 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 338 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 20472 18345 1200 1006 0 19233 0
################
# More data... #
################
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 4.17 4.57 4.42 1/253 231552
/proc/meminfo: memFree=84048512/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 4.11 4.48 4.39 1/251 231562
/proc/meminfo: memFree=84048204/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 4.15 4.42 4.38 1/251 231573
/proc/meminfo: memFree=84048008/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 4.11 4.36 4.36 1/251 231584
/proc/meminfo: memFree=84047340/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 4.14 4.32 4.34 1/251 231594
/proc/meminfo: memFree=84046948/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 4.16 4.29 4.33 1/251 231604
/proc/meminfo: memFree=84047132/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 4.43 4.32 4.34 6/254 231621
/proc/meminfo: memFree=84042380/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 4.61 4.43 4.37 1/255 231633
/proc/meminfo: memFree=84045728/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 4.28 4.36 4.35 1/255 231644
/proc/meminfo: memFree=84046804/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 4.15 4.31 4.34 1/255 231655
/proc/meminfo: memFree=84045568/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 4.12 4.27 4.32 1/255 231665
/proc/meminfo: memFree=84044816/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 4.10 4.23 4.30 1/255 232063
/proc/meminfo: memFree=84144988/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 4.07 4.20 4.28 1/254 232077
/proc/meminfo: memFree=84146628/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 5.50 4.57 4.40 1/250 232158
/proc/meminfo: memFree=84350784/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 5.86 4.85 4.51 1/251 232340
/proc/meminfo: memFree=84350580/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 6.06 5.09 4.62 1/251 232349
/proc/meminfo: memFree=84349736/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 147060 KiB
Current children cumulated memory: 128560 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 6.06 5.09 4.62 1/251 232350
/proc/meminfo: memFree=84350484/131524600 swapFree=131061696/131071996
[pid=230187] ppid=230184 vsize=147060 memory=128560 CPUtime=1785.66 cores=4,6
/proc/230187/stat : 230187 (Exact_veripb2) D 230184 230187 226935 0 -1 4194304 23022 0 0 0 177104 1462 0 0 20 0 1 0 24516253 150589440 32140 134679101440 4194304 8311665 140731021896016 0 0 256 0 0 8404994 0 0 0 17 4 0 0 2718 0 0 9173656 9252184 41725952 140731021898572 140731021898852 140731021898852 140731021905863 0
/proc/230187/statm: 36765 32140 1200 1006 0 35526 0
??? kill 230187 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC020 at 2024-07-25 05:57:59
IDJOB=4458320
IDBENCH=177198
IDSOLVER=3081
FILE ID=nodeC020/4458320-1721879879
RUNJOBID= nodeC020-1721875935-226946
SLURM_JOB_ID= 8089236
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458320-1721879879/watcher-4458320-1721879879 -o /tmp/evaluation-result-4458320-1721879879/solver-4458320-1721879879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721875935-226946 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458320-1721879879 --seed=1301963230 HOME/instance-4458320-1721879879.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=1301963230
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 : 3610.540
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.31
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 : 3684.804
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.25
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 : 3518.947
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.31
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.020
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.25
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 : 3551.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.31
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 : 3684.842
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.25
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 : 3625.178
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.31
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.054
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 102718608 kB
MemAvailable: 129456636 kB
Buffers: 291220 kB
Cached: 27217396 kB
SwapCached: 200 kB
Active: 2636652 kB
Inactive: 25436760 kB
Active(anon): 2496 kB
Inactive(anon): 616248 kB
Active(file): 2634156 kB
Inactive(file): 24820512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061696 kB
Dirty: 163960 kB
Writeback: 185644 kB
AnonPages: 561972 kB
Mapped: 124208 kB
Shmem: 53880 kB
KReclaimable: 246368 kB
Slab: 373412 kB
SReclaimable: 246368 kB
SUnreclaim: 127044 kB
KernelStack: 4160 kB
PageTables: 10380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 990288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 405504 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: 363220 kB
DirectMap2M: 44498944 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC020 at 2024-07-25 07:01:00