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: 63794 MiB (46229 MiB free)
memory of node 1: 64507 MiB (50951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542645-1753221479/watcher-4542645-1753221479 -o /tmp/evaluation-result-4542645-1753221479/solver-4542645-1753221479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183673 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542645-1753221479.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=183731, runsolver pid=183728
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.03 1.46 2.60 7/252 183732
/proc/meminfo: memFree=99511476/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=28920 memory=10368 CPUtime=0.1 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 1999 0 0 0 10 0 0 0 20 0 1 0 237827661 29614080 2592 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 7230 2592 736 2416 0 4332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28920 KiB
Current children cumulated memory: 10368 KiB
[startup+0.213569 s]*
/proc/loadavg: 1.03 1.46 2.60 5/252 183732
/proc/meminfo: memFree=99496800/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=36544 memory=17392 CPUtime=0.21 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 3838 0 0 0 20 1 0 0 20 0 1 0 237827661 37421056 4348 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 9136 4348 736 2416 0 6238 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36544 KiB
Current children cumulated memory: 17392 KiB
[startup+0.313252 s]*
/proc/loadavg: 1.03 1.46 2.60 6/252 183732
/proc/meminfo: memFree=99493160/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=42908 memory=22768 CPUtime=0.31 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 5201 0 0 0 30 1 0 0 20 0 1 0 237827661 43937792 5692 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 10727 5692 736 2416 0 7829 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 22768 KiB
[startup+0.700292 s]
/proc/loadavg: 1.03 1.46 2.60 5/252 183732
/proc/meminfo: memFree=99473252/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=68880 memory=45440 CPUtime=0.68 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 11050 0 0 0 64 4 0 0 20 0 1 0 237827661 70533120 11360 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 17220 11360 736 2416 0 14322 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68880 KiB
Current children cumulated memory: 45440 KiB
[startup+1.50028 s]
/proc/loadavg: 1.03 1.46 2.60 5/252 183732
/proc/meminfo: memFree=99427640/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=143844 memory=119212 CPUtime=1.48 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 29504 0 0 0 138 10 0 0 20 0 1 0 237827661 147296256 29803 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 35961 29803 736 2416 0 33063 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143844 KiB
Current children cumulated memory: 119212 KiB
[startup+3.11344 s]
/proc/loadavg: 1.03 1.46 2.60 5/252 183732
/proc/meminfo: memFree=99113744/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=409464 memory=383216 CPUtime=3.09 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 76592 0 0 0 288 21 0 0 20 0 1 0 237827661 419291136 95804 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 102366 95804 768 2416 0 99468 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 409464 KiB
Current children cumulated memory: 383216 KiB
[startup+6.30028 s]
/proc/loadavg: 1.27 1.50 2.60 5/252 183732
/proc/meminfo: memFree=98791628/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=701080 memory=625032 CPUtime=6.27 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 98852 0 0 0 597 30 0 0 20 0 1 0 237827661 717905920 156258 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 175270 156258 768 2416 0 172372 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 701080 KiB
Current children cumulated memory: 625032 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.54 2.61 5/252 183732
/proc/meminfo: memFree=98712740/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=685884 memory=606032 CPUtime=12.64 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 100532 0 0 0 1225 39 0 0 20 0 1 0 237827661 702345216 151508 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 171471 151508 800 2416 0 168573 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 685884 KiB
Current children cumulated memory: 606032 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 1.67 2.63 5/252 183732
/proc/meminfo: memFree=98735956/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=690524 memory=614212 CPUtime=25.41 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 104371 0 0 0 2488 53 0 0 20 0 1 0 237827661 707096576 153553 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 172631 153553 800 2416 0 169733 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 690524 KiB
Current children cumulated memory: 614212 KiB
[startup+51.1133 s]
/proc/loadavg: 2.78 1.87 2.68 5/252 183733
/proc/meminfo: memFree=98630404/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=720976 memory=640028 CPUtime=50.95 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 117587 0 0 0 5019 76 0 0 20 0 1 0 237827661 738279424 160007 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 180244 160007 800 2416 0 177346 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 720976 KiB
Current children cumulated memory: 640028 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.22 2.75 5/252 183779
/proc/meminfo: memFree=98588444/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=762588 memory=678056 CPUtime=101.97 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 136056 0 0 0 10091 106 0 0 20 0 1 0 237827661 780890112 169514 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 190647 169514 800 2416 0 187749 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 762588 KiB
Current children cumulated memory: 678056 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.57 2.85 5/254 183794
/proc/meminfo: memFree=98495728/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=812176 memory=743536 CPUtime=161.8 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 155233 0 0 0 16039 141 0 0 20 0 1 0 237827661 831668224 185884 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 203044 185884 800 2416 0 200146 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 812176 KiB
Current children cumulated memory: 743536 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.87 2.93 5/254 183810
/proc/meminfo: memFree=98452152/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=856120 memory=775304 CPUtime=221.62 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 174368 0 0 0 21985 177 0 0 20 0 1 0 237827661 876666880 193826 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 214030 193826 800 2416 0 211132 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 856120 KiB
Current children cumulated memory: 775304 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.09 3.01 5/253 183812
/proc/meminfo: memFree=98286932/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=896808 memory=809668 CPUtime=281.46 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 191498 0 0 0 27930 216 0 0 20 0 1 0 237827661 918331392 202417 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 224202 202417 800 2416 0 221304 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 896808 KiB
Current children cumulated memory: 809668 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.29 3.08 5/253 183815
/proc/meminfo: memFree=98310120/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=928528 memory=833860 CPUtime=341.28 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 204504 0 0 0 33883 245 0 0 20 0 1 0 237827661 950812672 208465 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 232132 208465 800 2416 0 229234 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 928528 KiB
Current children cumulated memory: 833860 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.45 3.15 5/253 183817
/proc/meminfo: memFree=98261292/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=965412 memory=889148 CPUtime=401.13 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 219970 0 0 0 39834 279 0 0 20 0 1 0 237827661 988581888 222287 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 241353 222287 800 2416 0 238455 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 965412 KiB
Current children cumulated memory: 889148 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.57 3.21 5/251 183819
/proc/meminfo: memFree=98215404/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=990096 memory=910200 CPUtime=460.96 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 228931 0 0 0 45788 308 0 0 20 0 1 0 237827661 1013858304 227550 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 247524 227550 800 2416 0 244626 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 1799340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/250 183935
/proc/meminfo: memFree=97037444/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=1928512 memory=1808836 CPUtime=2914.51 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 785035 0 0 0 289695 1756 0 0 20 0 1 0 237827661 1974796288 452209 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 482128 452209 800 2416 0 479230 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 1928512 KiB
Current children cumulated memory: 1808836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/251 183938
/proc/meminfo: memFree=97019588/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=1952576 memory=1833716 CPUtime=2974.34 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 800976 0 0 0 295646 1788 0 0 20 0 1 0 237827661 1999437824 458429 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 488144 458429 800 2416 0 485246 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 1952576 KiB
Current children cumulated memory: 1833716 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/251 183946
/proc/meminfo: memFree=96992896/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2052464 memory=1923604 CPUtime=3034.16 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 812046 0 0 0 301596 1820 0 0 20 0 1 0 237827661 2101723136 480901 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 513116 480901 800 2416 0 510218 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 2052464 KiB
Current children cumulated memory: 1923604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 183948
/proc/meminfo: memFree=96974504/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=1978380 memory=1862268 CPUtime=3093.97 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 816488 0 0 0 307548 1849 0 0 20 0 1 0 237827661 2025861120 465567 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 494595 465567 800 2416 0 491697 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 1978380 KiB
Current children cumulated memory: 1862268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 183950
/proc/meminfo: memFree=96953120/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=1995180 memory=1887260 CPUtime=3153.82 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 829239 0 0 0 313499 1883 0 0 20 0 1 0 237827661 2043064320 471815 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 498795 471815 800 2416 0 495897 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 1995180 KiB
Current children cumulated memory: 1887260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/250 183952
/proc/meminfo: memFree=96945816/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2095632 memory=1936504 CPUtime=3213.66 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 845908 0 0 0 319446 1920 0 0 20 0 1 0 237827661 2145927168 484126 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 523908 484126 800 2416 0 521010 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 2095632 KiB
Current children cumulated memory: 1936504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.70 4.26 4.09 5/249 183954
/proc/meminfo: memFree=96927824/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2035180 memory=1933768 CPUtime=3273.5 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 861164 0 0 0 325399 1951 0 0 20 0 1 0 237827661 2084024320 483442 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 508795 483442 800 2416 0 505897 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 2035180 KiB
Current children cumulated memory: 1933768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.52 4.30 4.11 5/249 183956
/proc/meminfo: memFree=96910036/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2049124 memory=1942492 CPUtime=3333.35 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 870020 0 0 0 331348 1987 0 0 20 0 1 0 237827661 2098302976 485623 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 512281 485623 800 2416 0 509383 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 2049124 KiB
Current children cumulated memory: 1942492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.29 4.12 5/251 183960
/proc/meminfo: memFree=96892908/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2054676 memory=1945540 CPUtime=3393.2 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 875422 0 0 0 337300 2020 0 0 20 0 1 0 237827661 2103988224 486385 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 513669 486385 800 2416 0 510771 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 2054676 KiB
Current children cumulated memory: 1945540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.25 4.11 5/251 183962
/proc/meminfo: memFree=96857900/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2042432 memory=1953568 CPUtime=3453.05 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 889526 0 0 0 343253 2052 0 0 20 0 1 0 237827661 2091450368 488392 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 510608 488392 800 2416 0 507710 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 2042432 KiB
Current children cumulated memory: 1953568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.11 5/251 183964
/proc/meminfo: memFree=96848592/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2085252 memory=1982612 CPUtime=3512.89 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 902056 0 0 0 349209 2080 0 0 20 0 1 0 237827661 2135298048 495653 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 521313 495653 800 2416 0 518415 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 2085252 KiB
Current children cumulated memory: 1982612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.21 4.11 5/251 183966
/proc/meminfo: memFree=96855576/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2096080 memory=1984916 CPUtime=3572.73 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 916181 0 0 0 355164 2109 0 0 20 0 1 0 237827661 2146385920 496229 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 524020 496229 800 2416 0 521122 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 2096080 KiB
Current children cumulated memory: 1984916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.19 4.10 5/251 183974
/proc/meminfo: memFree=96826284/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2101596 memory=1996392 CPUtime=3600.06 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 920890 0 0 0 357886 2120 0 0 20 0 1 0 237827661 2152034304 499098 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 525399 499098 800 2416 0 522501 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2101596 KiB
Current children cumulated memory: 1996392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 183731 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.87 s, system=21.2321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.09 4.19 4.10 5/251 183974
/proc/meminfo: memFree=96826284/131382116 swapFree=33010684/33010684
[pid=183731] ppid=183728 vsize=2101596 memory=1996392 CPUtime=3600.06 cores=4,6
/proc/183731/stat : 183731 (CASHWMaxSAT-Dis) R 183728 183731 183662 0 -1 4194304 920890 0 0 0 357886 2120 0 0 20 0 1 0 237827661 2152034304 499098 18446744073709551615 4198400 14093885 140721910617504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41738240 140721910622568 140721910622683 140721910622683 140721910628287 0
/proc/183731/statm: 525399 499098 800 2416 0 522501 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2101596 KiB
Current children cumulated memory: 1996392 KiB
Child status: 0
Real time (s): 3609.73
CPU time (s): 3600.1
CPU user time (s): 3578.87
CPU system time (s): 21.2321
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 2180324
Max. memory (cumulated for all children) (KiB): 2041848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.87
system time used= 21.2321
maximum resident set size= 2050556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920890
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= 109
involuntary context switches= 4732
# summary of solver processes directly reported to runsolver:
# pid: 183731
# total CPU time (s): 3600.1
# total CPU user time (s): 3578.87
# total CPU system time (s): 21.2321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3735 second user time and 33.5118 second system time
The end
Begin job on nodeC011 at 2025-07-22 23:57:59
IDJOB=4542645
IDBENCH=163947
IDSOLVER=3323
FILE ID=nodeC011/4542645-1753221479
RUNJOBID= nodeC011-1753221479-183673
SLURM_JOB_ID= 9687813
Free space on /tmp= 432764 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542645-1753221479/watcher-4542645-1753221479 -o /tmp/evaluation-result-4542645-1753221479/solver-4542645-1753221479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183673 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542645-1753221479.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 97f31c39a85f5c54920a5de5b1e4a080
RANDOM SEED=1992852605
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1197.291
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1197.292
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.337
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.503
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1197.408
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.295
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.287
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 99516200 kB
MemAvailable: 129845284 kB
Buffers: 3276 kB
Cached: 31098776 kB
SwapCached: 0 kB
Active: 612616 kB
Inactive: 30583088 kB
Active(anon): 117728 kB
Inactive(anon): 2076 kB
Active(file): 494888 kB
Inactive(file): 30581012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61396 kB
Writeback: 0 kB
AnonPages: 96708 kB
Mapped: 117788 kB
Shmem: 26152 kB
KReclaimable: 185240 kB
Slab: 278984 kB
SReclaimable: 185240 kB
SUnreclaim: 93744 kB
KernelStack: 4032 kB
PageTables: 3056 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 459592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432752 MiB
End job on nodeC011 at 2025-07-23 00:58:09