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 (46091 MiB free)
memory of node 1: 64507 MiB (50819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544088-1753228706/watcher-4544088-1753228706 -o /tmp/evaluation-result-4544088-1753228706/solver-4544088-1753228706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183673 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4544088-1753228706.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
Current StackSize limit: 8192 KiB
solver pid=184922, runsolver pid=184919
[startup+0.100069 s]*
/proc/loadavg: 4.17 4.15 4.16 5/251 184923
/proc/meminfo: memFree=99229352/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=28208 memory=9472 CPUtime=0.09 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 1765 0 0 0 9 0 0 0 20 0 1 0 238550298 28884992 2368 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 7052 2368 736 2416 0 4154 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 9472 KiB
[startup+0.213069 s]*
/proc/loadavg: 4.17 4.15 4.16 5/251 184923
/proc/meminfo: memFree=99218012/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=35988 memory=16616 CPUtime=0.21 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 3608 0 0 0 20 1 0 0 20 0 1 0 238550298 36851712 4154 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 8997 4154 736 2416 0 6099 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35988 KiB
Current children cumulated memory: 16616 KiB
[startup+0.312944 s]*
/proc/loadavg: 4.17 4.15 4.16 5/251 184924
/proc/meminfo: memFree=99212216/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=41800 memory=21488 CPUtime=0.31 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 4904 0 0 0 29 2 0 0 20 0 1 0 238550298 42803200 5372 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 10450 5372 736 2416 0 7552 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41800 KiB
Current children cumulated memory: 21488 KiB
[startup+0.700306 s]
/proc/loadavg: 4.17 4.15 4.16 5/251 184924
/proc/meminfo: memFree=99198356/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=65960 memory=42168 CPUtime=0.68 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 10246 0 0 0 64 4 0 0 20 0 1 0 238550298 67543040 10542 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 16490 10542 736 2416 0 13592 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65960 KiB
Current children cumulated memory: 42168 KiB
[startup+1.50032 s]
/proc/loadavg: 4.17 4.15 4.16 5/249 184924
/proc/meminfo: memFree=99326180/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=136168 memory=114164 CPUtime=1.48 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 26541 0 0 0 140 8 0 0 20 0 1 0 238550298 139436032 28541 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 34042 28541 768 2416 0 31144 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136168 KiB
Current children cumulated memory: 114164 KiB
[startup+3.1127 s]
/proc/loadavg: 4.17 4.15 4.16 4/247 184977
/proc/meminfo: memFree=99227604/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=152016 memory=131884 CPUtime=3.09 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 27961 0 0 0 299 10 0 0 20 0 1 0 238550298 155664384 32971 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 38004 32971 800 2416 0 35106 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 152016 KiB
Current children cumulated memory: 131884 KiB
[startup+6.3003 s]
/proc/loadavg: 4.40 4.20 4.18 5/252 185015
/proc/meminfo: memFree=99008216/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=204576 memory=157072 CPUtime=6.26 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 32392 0 0 0 614 12 0 0 20 0 1 0 238550298 209485824 39268 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 51144 39268 800 2416 0 48246 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 204576 KiB
Current children cumulated memory: 157072 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.20 4.17 5/252 185015
/proc/meminfo: memFree=98940776/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=213804 memory=178072 CPUtime=12.65 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 37743 0 0 0 1246 19 0 0 20 0 1 0 238550298 218935296 44518 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 53451 44518 800 2416 0 50553 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 213804 KiB
Current children cumulated memory: 178072 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.19 4.17 5/251 185015
/proc/meminfo: memFree=98954564/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=224952 memory=185060 CPUtime=25.41 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 47734 0 0 0 2511 30 0 0 20 0 1 0 238550298 230350848 46265 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 56238 46265 800 2416 0 53340 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 224952 KiB
Current children cumulated memory: 185060 KiB
[startup+51.1128 s]
/proc/loadavg: 4.26 4.19 4.17 5/251 185015
/proc/meminfo: memFree=98873240/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=287868 memory=231692 CPUtime=50.95 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 60957 0 0 0 5043 52 0 0 20 0 1 0 238550298 294776832 57923 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 71967 57923 800 2416 0 69069 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 287868 KiB
Current children cumulated memory: 231692 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/251 185068
/proc/meminfo: memFree=98826904/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=262980 memory=234360 CPUtime=102 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 83684 0 0 0 10110 90 0 0 20 0 1 0 238550298 269291520 58590 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 65745 58590 800 2416 0 62847 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 262980 KiB
Current children cumulated memory: 234360 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/252 185086
/proc/meminfo: memFree=98742308/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=330592 memory=303276 CPUtime=161.81 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 104876 0 0 0 16056 125 0 0 20 0 1 0 238550298 338526208 75819 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 82648 75819 800 2416 0 79750 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 330592 KiB
Current children cumulated memory: 303276 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/252 185088
/proc/meminfo: memFree=98691332/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=295924 memory=263620 CPUtime=221.64 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 127281 0 0 0 22000 164 0 0 20 0 1 0 238550298 303026176 65905 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 73981 65905 800 2416 0 71083 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 295924 KiB
Current children cumulated memory: 263620 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/252 185091
/proc/meminfo: memFree=98694264/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=277036 memory=253084 CPUtime=281.48 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 143934 0 0 0 27950 198 0 0 20 0 1 0 238550298 283684864 63271 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 69259 63271 800 2416 0 66361 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 277036 KiB
Current children cumulated memory: 253084 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/251 185093
/proc/meminfo: memFree=98577872/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=363556 memory=334096 CPUtime=341.33 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 159442 0 0 0 33900 233 0 0 20 0 1 0 238550298 372281344 83524 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 90889 83524 800 2416 0 87991 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 363556 KiB
Current children cumulated memory: 334096 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 185095
/proc/meminfo: memFree=98418008/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=322716 memory=296484 CPUtime=401.17 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 174366 0 0 0 39855 262 0 0 20 0 1 0 238550298 330461184 74121 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 80679 74121 800 2416 0 77781 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 322716 KiB
Current children cumulated memory: 296484 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.14 6/250 185097
/proc/meminfo: memFree=98477176/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=378460 memory=315252 CPUtime=461 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 188838 0 0 0 45808 292 0 0 20 0 1 0 238550298 387543040 78813 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 94615 78813 800 2416 0 91717 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 394512 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/251 185217
/proc/meminfo: memFree=97788140/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=432356 memory=410000 CPUtime=2914.3 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 746190 0 0 0 289672 1758 0 0 20 0 1 0 238550298 442732544 102500 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 108089 102500 800 2416 0 105191 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 432356 KiB
Current children cumulated memory: 410000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/251 185219
/proc/meminfo: memFree=97711364/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=597136 memory=519148 CPUtime=2974.13 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 762506 0 0 0 295623 1790 0 0 20 0 1 0 238550298 611467264 129787 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 149284 129787 800 2416 0 146386 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 597136 KiB
Current children cumulated memory: 519148 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/251 185221
/proc/meminfo: memFree=97734392/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=518772 memory=470116 CPUtime=3033.96 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 771764 0 0 0 301570 1826 0 0 20 0 1 0 238550298 531222528 117529 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 129693 117529 800 2416 0 126795 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 518772 KiB
Current children cumulated memory: 470116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/251 185230
/proc/meminfo: memFree=97690364/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=602224 memory=517728 CPUtime=3093.8 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 785448 0 0 0 307518 1862 0 0 20 0 1 0 238550298 616677376 129432 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 150556 129432 800 2416 0 147658 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 602224 KiB
Current children cumulated memory: 517728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/251 185232
/proc/meminfo: memFree=97733040/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=440228 memory=407564 CPUtime=3153.64 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 803602 0 0 0 313465 1899 0 0 20 0 1 0 238550298 450793472 101891 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 110057 101891 800 2416 0 107159 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 440228 KiB
Current children cumulated memory: 407564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 185234
/proc/meminfo: memFree=97752952/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=440228 memory=418060 CPUtime=3213.49 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 821946 0 0 0 319411 1938 0 0 20 0 1 0 238550298 450793472 104515 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 110057 104515 800 2416 0 107159 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 440228 KiB
Current children cumulated memory: 418060 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 185237
/proc/meminfo: memFree=97670348/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=525896 memory=484372 CPUtime=3273.33 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 834846 0 0 0 325358 1975 0 0 20 0 1 0 238550298 538517504 121093 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 131474 121093 800 2416 0 128576 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 525896 KiB
Current children cumulated memory: 484372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 185239
/proc/meminfo: memFree=97619020/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=608824 memory=537616 CPUtime=3333.18 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 846220 0 0 0 331304 2014 0 0 20 0 1 0 238550298 623435776 134404 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 152206 134404 800 2416 0 149308 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 608824 KiB
Current children cumulated memory: 537616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 185241
/proc/meminfo: memFree=97699436/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=478544 memory=434928 CPUtime=3393.01 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 859225 0 0 0 337242 2059 0 0 20 0 1 0 238550298 490029056 108732 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 119636 108732 800 2416 0 116738 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 478544 KiB
Current children cumulated memory: 434928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 185244
/proc/meminfo: memFree=97692896/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=478544 memory=432880 CPUtime=3452.86 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 877476 0 0 0 343190 2096 0 0 20 0 1 0 238550298 490029056 108220 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 119636 108220 800 2416 0 116738 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 478544 KiB
Current children cumulated memory: 432880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 185246
/proc/meminfo: memFree=97678288/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=478544 memory=449264 CPUtime=3512.7 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 895736 0 0 0 349138 2132 0 0 20 0 1 0 238550298 490029056 112316 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 119636 112316 800 2416 0 116738 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 478544 KiB
Current children cumulated memory: 449264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 185248
/proc/meminfo: memFree=97617408/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=537284 memory=484248 CPUtime=3572.54 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 911832 0 0 0 355087 2167 0 0 20 0 1 0 238550298 550178816 121062 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 134321 121062 800 2416 0 131423 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 537284 KiB
Current children cumulated memory: 484248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 185248
/proc/meminfo: memFree=97614368/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=537748 memory=505048 CPUtime=3600.07 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 917631 0 0 0 357822 2185 0 0 20 0 1 0 238550298 550653952 126262 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 134437 126262 800 2416 0 131539 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 537748 KiB
Current children cumulated memory: 505048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 184922 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.22 s, system=21.8615 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 185248
/proc/meminfo: memFree=97614368/131382116 swapFree=33010684/33010684
[pid=184922] ppid=184919 vsize=537748 memory=505048 CPUtime=3600.07 cores=4,6
/proc/184922/stat : 184922 (CASHWMaxSAT-Dis) R 184919 184922 183662 0 -1 4194304 917631 0 0 0 357822 2185 0 0 20 0 1 0 238550298 550653952 126262 18446744073709551615 4198400 14093885 140722040875456 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47284224 140722040883560 140722040883675 140722040883675 140722040889279 0
/proc/184922/statm: 134437 126262 800 2416 0 131539 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 537748 KiB
Current children cumulated memory: 505048 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.08
CPU user time (s): 3578.22
CPU system time (s): 21.8615
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 1268464
Max. memory (cumulated for all children) (KiB): 987520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.22
system time used= 21.8615
maximum resident set size= 995712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917631
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= 119
involuntary context switches= 4581
# summary of solver processes directly reported to runsolver:
# pid: 184922
# total CPU time (s): 3600.08
# total CPU user time (s): 3578.22
# total CPU system time (s): 21.8615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8398 second user time and 34.1882 second system time
The end
Begin job on nodeC011 at 2025-07-23 01:58:26
IDJOB=4544088
IDBENCH=174892
IDSOLVER=3323
FILE ID=nodeC011/4544088-1753228706
RUNJOBID= nodeC011-1753221479-183673
SLURM_JOB_ID= 9687813
Free space on /tmp= 432772 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544088-1753228706/watcher-4544088-1753228706 -o /tmp/evaluation-result-4544088-1753228706/solver-4544088-1753228706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183673 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4544088-1753228706.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abde55a93501845a748728a01651cccf
RANDOM SEED=1453359087
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 : 3662.526
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.288
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.079
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.478
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.647
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 : 3591.873
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.335
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: 99239120 kB
MemAvailable: 129563496 kB
Buffers: 3276 kB
Cached: 31093944 kB
SwapCached: 0 kB
Active: 921600 kB
Inactive: 30578252 kB
Active(anon): 426708 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30576176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27656 kB
Writeback: 0 kB
AnonPages: 405724 kB
Mapped: 115172 kB
Shmem: 26152 kB
KReclaimable: 185484 kB
Slab: 279304 kB
SReclaimable: 185484 kB
SUnreclaim: 93820 kB
KernelStack: 4000 kB
PageTables: 3824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 747792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 335872 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= 432760 MiB
End job on nodeC011 at 2025-07-23 02:58:36