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: 63708 MiB (48294 MiB free)
memory of node 1: 64465 MiB (55403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517643-1751528084/watcher-4517643-1751528084 -o /tmp/evaluation-result-4517643-1751528084/solver-4517643-1751528084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71838 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517643-1751528084.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72976, runsolver pid=72973
[startup+0.100066 s]*
/proc/loadavg: 4.17 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106182640/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=9364 memory=8840 CPUtime=0.09 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 2025 0 0 0 9 0 0 0 20 0 1 0 68486967 9588736 2210 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 7 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 2341 2210 544 484 0 1752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9364 KiB
Current children cumulated memory: 8840 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.17 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106182960/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=9628 memory=9176 CPUtime=0.19 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 2496 0 0 0 19 0 0 0 20 0 1 0 68486967 9859072 2294 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 7 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 2407 2294 544 484 0 1818 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 9628 KiB
Current children cumulated memory: 9176 KiB
[startup+0.305341 s]*
/proc/loadavg: 4.17 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106182960/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=10384 memory=9788 CPUtime=0.28 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 2784 0 0 0 28 0 0 0 20 0 1 0 68486967 10633216 2447 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 2596 2447 544 484 0 2007 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10384 KiB
Current children cumulated memory: 9788 KiB
[startup+0.700162 s]
/proc/loadavg: 4.17 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106182708/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=10388 memory=9920 CPUtime=0.68 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 3827 0 0 0 67 1 0 0 20 0 1 0 68486967 10637312 2480 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 2597 2480 544 484 0 2008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10388 KiB
Current children cumulated memory: 9920 KiB
[startup+1.50016 s]
/proc/loadavg: 4.17 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106181952/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=12696 memory=11988 CPUtime=1.47 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 5239 0 0 0 146 1 0 0 20 0 1 0 68486967 13000704 2997 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 3174 2997 544 484 0 2585 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 12696 KiB
Current children cumulated memory: 11988 KiB
[startup+3.10521 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106184700/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=13048 memory=12360 CPUtime=3.08 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 8580 0 0 0 306 2 0 0 20 0 1 0 68486967 13361152 3090 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 3262 3090 544 484 0 2673 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 13048 KiB
Current children cumulated memory: 12360 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106183960/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=14988 memory=14292 CPUtime=6.26 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 10446 0 0 0 624 2 0 0 20 0 1 0 68486967 15347712 3573 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 3747 3573 544 484 0 3158 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 14988 KiB
Current children cumulated memory: 14292 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 72977
/proc/meminfo: memFree=106184340/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=21820 memory=21132 CPUtime=12.64 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 15681 0 0 0 1261 3 0 0 20 0 1 0 68486967 22343680 5283 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 5455 5283 544 484 0 4866 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 21820 KiB
Current children cumulated memory: 21132 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 72978
/proc/meminfo: memFree=106199096/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=22416 memory=21820 CPUtime=25.4 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 19298 0 0 0 2536 4 0 0 20 0 1 0 68486967 22953984 5455 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 5604 5455 544 484 0 5015 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 22416 KiB
Current children cumulated memory: 21820 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 72978
/proc/meminfo: memFree=106191028/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=25832 memory=25364 CPUtime=50.93 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 23906 0 0 0 5087 6 0 0 20 0 1 0 68486967 26451968 6341 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 6458 6341 544 484 0 5869 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 25832 KiB
Current children cumulated memory: 25364 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 72980
/proc/meminfo: memFree=106155772/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=45452 memory=44744 CPUtime=101.97 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 36545 0 0 0 10187 10 0 0 20 0 1 0 68486967 46542848 11186 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 11363 11186 544 484 0 10774 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 45452 KiB
Current children cumulated memory: 44744 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 72982
/proc/meminfo: memFree=106179712/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=45784 memory=45188 CPUtime=161.8 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 41063 0 0 0 16168 12 0 0 20 0 1 0 68486967 46882816 11297 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 11446 11297 544 484 0 10857 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 45188 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 72984
/proc/meminfo: memFree=106129528/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=49272 memory=48804 CPUtime=221.62 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 47558 0 0 0 22147 15 0 0 20 0 1 0 68486967 50454528 12201 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 12318 12201 544 484 0 11729 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 49272 KiB
Current children cumulated memory: 48804 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 72986
/proc/meminfo: memFree=106131892/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=72652 memory=72008 CPUtime=281.44 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 52989 0 0 0 28126 18 0 0 20 0 1 0 68486967 74395648 18002 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 18163 18002 544 484 0 17574 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 72652 KiB
Current children cumulated memory: 72008 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 72988
/proc/meminfo: memFree=105879340/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=81620 memory=80968 CPUtime=341.27 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 56488 0 0 0 34106 21 0 0 20 0 1 0 68486967 83578880 20242 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 20405 20242 544 484 0 19816 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 81620 KiB
Current children cumulated memory: 80968 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 72990
/proc/meminfo: memFree=106109928/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=82488 memory=81864 CPUtime=401.09 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 58232 0 0 0 40087 22 0 0 20 0 1 0 68486967 84467712 20466 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 20622 20466 544 484 0 20033 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 82488 KiB
Current children cumulated memory: 81864 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 72992
/proc/meminfo: memFree=106110800/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=87972 memory=87284 CPUtime=460.9 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 64242 0 0 0 46065 25 0 0 20 0 1 0 68486967 90083328 21821 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 21993 21821 544 484 0 21404 0
################
# More data... #
################
Current children cumulated memory: 129732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 73475
/proc/meminfo: memFree=103471780/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=154852 memory=154164 CPUtime=2913.7 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 141346 0 0 0 291253 117 0 0 20 0 1 0 68486967 158568448 38541 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 38713 38541 544 484 0 38124 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 154852 KiB
Current children cumulated memory: 154164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 73480
/proc/meminfo: memFree=103672644/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=161052 memory=160456 CPUtime=2973.52 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 143735 0 0 0 297231 121 0 0 20 0 1 0 68486967 164917248 40114 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40263 40114 544 484 0 39674 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 161052 KiB
Current children cumulated memory: 160456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 73486
/proc/meminfo: memFree=103676164/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=159308 memory=158712 CPUtime=3033.35 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 145985 0 0 0 303210 125 0 0 20 0 1 0 68486967 163131392 39678 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 39827 39678 544 484 0 39238 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 159308 KiB
Current children cumulated memory: 158712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 73488
/proc/meminfo: memFree=103721396/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=158444 memory=157848 CPUtime=3093.17 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 147988 0 0 0 309188 129 0 0 20 0 1 0 68486967 162246656 39462 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 39611 39462 544 484 0 39022 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 158444 KiB
Current children cumulated memory: 157848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 73490
/proc/meminfo: memFree=103735668/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=160360 memory=159764 CPUtime=3153 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 150000 0 0 0 315167 133 0 0 20 0 1 0 68486967 164208640 39941 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40090 39941 544 484 0 39501 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 160360 KiB
Current children cumulated memory: 159764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 73492
/proc/meminfo: memFree=103743976/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=156964 memory=156368 CPUtime=3212.82 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 152312 0 0 0 321146 136 0 0 20 0 1 0 68486967 160731136 39092 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 39241 39092 544 484 0 38652 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 156964 KiB
Current children cumulated memory: 156368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 73494
/proc/meminfo: memFree=103565540/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=160064 memory=159468 CPUtime=3272.65 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 154414 0 0 0 327125 140 0 0 20 0 1 0 68486967 163905536 39867 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40016 39867 544 484 0 39427 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 160064 KiB
Current children cumulated memory: 159468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/263 73496
/proc/meminfo: memFree=103732800/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=158612 memory=158016 CPUtime=3332.47 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 156511 0 0 0 333104 143 0 0 20 0 1 0 68486967 162418688 39504 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 39653 39504 544 484 0 39064 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 158612 KiB
Current children cumulated memory: 158016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/263 73498
/proc/meminfo: memFree=103617356/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=160412 memory=159816 CPUtime=3392.29 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 158242 0 0 0 339083 146 0 0 20 0 1 0 68486967 164261888 39954 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40103 39954 544 484 0 39514 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 160412 KiB
Current children cumulated memory: 159816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 73500
/proc/meminfo: memFree=103955000/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=161380 memory=160784 CPUtime=3452.12 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 161164 0 0 0 345061 151 0 0 20 0 1 0 68486967 165253120 40196 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40345 40196 544 484 0 39756 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 161380 KiB
Current children cumulated memory: 160784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 73502
/proc/meminfo: memFree=103625168/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=161924 memory=161328 CPUtime=3511.94 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 162734 0 0 0 351040 154 0 0 20 0 1 0 68486967 165810176 40332 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40481 40332 544 484 0 39892 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 161924 KiB
Current children cumulated memory: 161328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.46 4.22 4.14 5/263 73506
/proc/meminfo: memFree=103659764/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=159956 memory=159360 CPUtime=3571.77 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 164987 0 0 0 357018 159 0 0 20 0 1 0 68486967 163794944 39840 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 39989 39840 544 484 0 39400 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 159956 KiB
Current children cumulated memory: 159360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.36 4.22 4.14 5/263 73507
/proc/meminfo: memFree=103647948/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=160384 memory=159788 CPUtime=3600.08 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 165780 0 0 0 359848 160 0 0 20 0 1 0 68486967 164233216 39947 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40096 39947 544 484 0 39507 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 160384 KiB
Current children cumulated memory: 159788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 72976 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.60913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.36 4.22 4.14 5/263 73507
/proc/meminfo: memFree=103647948/131249988 swapFree=33010416/33010684
[pid=72976] ppid=72973 vsize=160384 memory=159788 CPUtime=3600.08 cores=5,7
/proc/72976/stat : 72976 (uwrmaxsat) R 72973 72976 71825 0 -1 4194304 165780 0 0 0 359848 160 0 0 20 0 1 0 68486967 164233216 39947 18446744073709551615 4198400 6176925 140723678002784 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 35520512 140723678009706 140723678009833 140723678009833 140723678015435 0
/proc/72976/statm: 40096 39947 544 484 0 39507 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 160384 KiB
Current children cumulated memory: 159788 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.1
CPU user time (s): 3598.49
CPU system time (s): 1.60913
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 223800
Max. memory (cumulated for all children) (KiB): 222364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.60913
maximum resident set size= 225248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165780
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= 19
involuntary context switches= 20493
# summary of solver processes directly reported to runsolver:
# pid: 72976
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.60913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03786 second user time and 16.2793 second system time
The end
Begin job on nodeC031 at 2025-07-03 09:34:44
IDJOB=4517643
IDBENCH=176156
IDSOLVER=3372
FILE ID=nodeC031/4517643-1751528084
RUNJOBID= nodeC031-1751521621-71838
SLURM_JOB_ID= 9598645
Free space on /tmp= 432080 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517643-1751528084/watcher-4517643-1751528084 -o /tmp/evaluation-result-4517643-1751528084/solver-4517643-1751528084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71838 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517643-1751528084.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd
RANDOM SEED=1667995258
nodeC031 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 : 0xb00002a
cpu MHz : 3599.896
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3599.865
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 pti ibrs ibpb stibp 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 : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.766
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3604.668
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3599.904
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3602.694
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3601.670
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 pti ibrs ibpb stibp 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 : 6999.78
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 : 3599.904
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 pti ibrs ibpb stibp 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 : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106186708 kB
MemAvailable: 126947876 kB
Buffers: 2128 kB
Cached: 21446000 kB
SwapCached: 12 kB
Active: 3121436 kB
Inactive: 21039296 kB
Active(anon): 2720188 kB
Inactive(anon): 10468 kB
Active(file): 401248 kB
Inactive(file): 21028828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2588 kB
Writeback: 16 kB
AnonPages: 2710736 kB
Mapped: 110528 kB
Shmem: 18052 kB
KReclaimable: 340660 kB
Slab: 433052 kB
SReclaimable: 340660 kB
SUnreclaim: 92392 kB
KernelStack: 4192 kB
PageTables: 8264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3317652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2603008 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432088 MiB
End job on nodeC031 at 2025-07-03 10:34:55