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: 63837 MiB (62779 MiB free)
memory of node 1: 64465 MiB (62490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528077-1752245359/watcher-4528077-1752245359 -o /tmp/evaluation-result-4528077-1752245359/solver-4528077-1752245359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760 pb_picat HOME/instance-4528077-1752245359.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
LinuxS5.14.0-503.14.1.el9_5.x8
LinuxS5.14.0-503.14.1.el9_5.x8
Current StackSize limit: 8192 KiB
solver pid=126082, runsolver pid=126079
[startup+0.100098 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276580/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028108 memory=18700 CPUtime=0.1 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1346 0 0 0 10 0 0 0 20 0 1 0 140215054 2076782592 4675 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507027 4675 1664 343 0 504091 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028108 KiB
Current children cumulated memory: 18700 KiB
[startup+0.212986 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276580/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028364 memory=18860 CPUtime=0.21 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1615 0 0 0 21 0 0 0 20 0 1 0 140215054 2077044736 4715 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507091 4715 1664 343 0 504155 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028364 KiB
Current children cumulated memory: 18860 KiB
[startup+0.312931 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128272484/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028748 memory=19056 CPUtime=0.31 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1907 0 0 0 31 0 0 0 20 0 1 0 140215054 2077437952 4764 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507187 4764 1664 343 0 504251 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028748 KiB
Current children cumulated memory: 19056 KiB
[startup+0.700294 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128272484/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2029796 memory=19744 CPUtime=0.68 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3243 0 0 0 68 0 0 0 20 0 1 0 140215054 2078511104 4936 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507449 4936 1664 343 0 504513 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029796 KiB
Current children cumulated memory: 19744 KiB
[startup+1.5003 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128284772/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030828 memory=20252 CPUtime=1.48 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 6634 0 0 0 147 1 0 0 20 0 1 0 140215054 2079567872 5063 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507707 5063 1664 343 0 504771 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2030828 KiB
Current children cumulated memory: 20252 KiB
[startup+3.11255 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276832/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2031216 memory=21164 CPUtime=3.09 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 13325 0 0 0 308 1 0 0 20 0 1 0 140215054 2079965184 5291 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507804 5291 1664 343 0 504868 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031216 KiB
Current children cumulated memory: 21164 KiB
[startup+6.3003 s]
/proc/loadavg: 4.01 3.20 3.12 5/251 126083
/proc/meminfo: memFree=128276832/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030208 memory=20036 CPUtime=6.26 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 26364 0 0 0 624 2 0 0 20 0 1 0 140215054 2078932992 5009 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507552 5009 1664 343 0 504616 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2030208 KiB
Current children cumulated memory: 20036 KiB
[startup+12.7003 s]
/proc/loadavg: 4.01 3.21 3.13 5/251 126083
/proc/meminfo: memFree=128283820/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2031312 memory=20980 CPUtime=12.65 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 53337 0 0 0 1259 6 0 0 20 0 1 0 140215054 2080063488 5213 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507828 5213 1664 343 0 504892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2031312 KiB
Current children cumulated memory: 20980 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 3.27 3.15 5/251 126083
/proc/meminfo: memFree=128271280/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030928 memory=20772 CPUtime=25.42 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 108405 0 0 0 2524 18 0 0 20 0 1 0 140215054 2079670272 5193 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507732 5193 1664 343 0 504796 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2030928 KiB
Current children cumulated memory: 20772 KiB
[startup+51.1127 s]
/proc/loadavg: 4.06 3.33 3.17 5/251 126084
/proc/meminfo: memFree=128275124/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030928 memory=21084 CPUtime=50.97 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 213065 0 0 0 5060 37 0 0 20 0 1 0 140215054 2079670272 5271 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507732 5271 1664 343 0 504796 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2030928 KiB
Current children cumulated memory: 21084 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.46 3.23 5/250 126085
/proc/meminfo: memFree=128293860/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039876 memory=26192 CPUtime=102.02 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 356833 0 0 0 10137 65 0 0 20 0 1 0 140215054 2088833024 6548 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509969 6548 1664 343 0 507033 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2039876 KiB
Current children cumulated memory: 26192 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 3.59 3.29 5/249 126087
/proc/meminfo: memFree=128245784/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040020 memory=26812 CPUtime=161.87 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 519492 0 0 0 16083 104 0 0 20 0 1 0 140215054 2088980480 6703 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510005 6703 1664 343 0 507069 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2040020 KiB
Current children cumulated memory: 26812 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.67 3.34 5/249 126089
/proc/meminfo: memFree=128256320/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040152 memory=29688 CPUtime=221.72 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 659165 0 0 0 22036 136 0 0 20 0 1 0 140215054 2089115648 7422 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510038 7422 1664 343 0 507102 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2040152 KiB
Current children cumulated memory: 29688 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.75 3.38 5/249 126091
/proc/meminfo: memFree=128271504/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040336 memory=28612 CPUtime=281.56 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 769199 0 0 0 27993 163 0 0 20 0 1 0 140215054 2089304064 7153 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510084 7153 1664 343 0 507148 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2040336 KiB
Current children cumulated memory: 28612 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.83 3.44 5/251 126097
/proc/meminfo: memFree=128271448/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2036240 memory=26580 CPUtime=341.42 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 868284 0 0 0 33954 188 0 0 20 0 1 0 140215054 2085109760 6645 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509060 6645 1664 343 0 506124 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2036240 KiB
Current children cumulated memory: 26580 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.88 3.48 5/252 126104
/proc/meminfo: memFree=128232900/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2051600 memory=33568 CPUtime=401.26 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 967610 0 0 0 39916 210 0 0 20 0 1 0 140215054 2100838400 8392 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 512900 8392 1664 343 0 509964 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2051600 KiB
Current children cumulated memory: 33568 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.92 3.52 5/252 126106
/proc/meminfo: memFree=128254532/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2041492 memory=28388 CPUtime=461.11 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1061062 0 0 0 45879 232 0 0 20 0 1 0 140215054 2090487808 7097 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
################
# More data... #
################
Current children cumulated memory: 39492 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/250 126228
/proc/meminfo: memFree=128094308/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2051364 memory=33944 CPUtime=2854.82 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3747415 0 0 0 284535 947 0 0 20 0 1 0 140215054 2100596736 8486 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 512841 8486 1664 343 0 509905 0
Current children cumulated CPU time: 2854.82 s
Current children cumulated vsize: 2051364 KiB
Current children cumulated memory: 33944 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/250 126230
/proc/meminfo: memFree=128091432/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053412 memory=38720 CPUtime=2914.65 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3800146 0 0 0 290504 961 0 0 20 0 1 0 140215054 2102693888 9680 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513353 9680 1664 343 0 510417 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 2053412 KiB
Current children cumulated memory: 38720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/250 126232
/proc/meminfo: memFree=128065008/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039076 memory=28700 CPUtime=2974.47 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3845974 0 0 0 296474 973 0 0 20 0 1 0 140215054 2088013824 7175 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509769 7175 1664 343 0 506833 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 2039076 KiB
Current children cumulated memory: 28700 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/250 126234
/proc/meminfo: memFree=128071604/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28860 CPUtime=3034.28 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3886676 0 0 0 302443 985 0 0 20 0 1 0 140215054 2088157184 7215 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7215 1664 343 0 506868 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28860 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/250 126236
/proc/meminfo: memFree=128080156/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=40552 CPUtime=3094.09 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3923988 0 0 0 308413 996 0 0 20 0 1 0 140215054 2102837248 10138 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 10138 1664 343 0 510452 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 40552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/250 126238
/proc/meminfo: memFree=128063940/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2069936 memory=47392 CPUtime=3153.91 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3972023 0 0 0 314380 1011 0 0 20 0 1 0 140215054 2119614464 11848 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 517484 11848 1664 343 0 514548 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 2069936 KiB
Current children cumulated memory: 47392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/251 126241
/proc/meminfo: memFree=128059700/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28808 CPUtime=3213.74 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4023618 0 0 0 320348 1026 0 0 20 0 1 0 140215054 2088157184 7202 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7202 1664 343 0 506868 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/251 126243
/proc/meminfo: memFree=127951248/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=40332 CPUtime=3273.56 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4072296 0 0 0 326316 1040 0 0 20 0 1 0 140215054 2102837248 10083 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 10083 1664 343 0 510452 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 40332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 126247
/proc/meminfo: memFree=127952876/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=37608 CPUtime=3333.37 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4112210 0 0 0 332282 1055 0 0 20 0 1 0 140215054 2102837248 9402 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 9402 1664 343 0 510452 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 37608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 126254
/proc/meminfo: memFree=127930400/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=27956 CPUtime=3393.19 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4155845 0 0 0 338252 1067 0 0 20 0 1 0 140215054 2088157184 6989 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 6989 1664 343 0 506868 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 27956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 126345
/proc/meminfo: memFree=124732384/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28852 CPUtime=3453 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4206185 0 0 0 344218 1082 0 0 20 0 1 0 140215054 2088157184 7213 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7213 1664 343 0 506868 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 126347
/proc/meminfo: memFree=124534356/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=35636 CPUtime=3512.82 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4244329 0 0 0 350188 1094 0 0 20 0 1 0 140215054 2102837248 8909 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 8909 1664 343 0 510452 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 35636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 126394
/proc/meminfo: memFree=124585556/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=44352 CPUtime=3572.64 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4282216 0 0 0 356159 1105 0 0 20 0 1 0 140215054 2102837248 11088 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 11088 1664 343 0 510452 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 44352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 126394
/proc/meminfo: memFree=124780492/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=47156 CPUtime=3600.07 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4303249 0 0 0 358895 1112 0 0 20 0 1 0 140215054 2102837248 11789 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 11789 1664 343 0 510452 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 47156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 126082 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3588.96 s, system=11.124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.8
CPU time (s): 3600.08
CPU user time (s): 3588.96
CPU system time (s): 11.124
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 2100516
Max. memory (cumulated for all children) (KiB): 59532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.96
system time used= 11.124
maximum resident set size= 59532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4303249
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= 73
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 126082
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.96
# total CPU system time (s): 11.124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2016 second user time and 34.4656 second system time
The end
Begin job on nodeC004 at 2025-07-11 16:49:19
IDJOB=4528077
IDBENCH=158984
IDSOLVER=3385
FILE ID=nodeC004/4528077-1752245359
RUNJOBID= nodeC004-1752245169-125795
SLURM_JOB_ID= 9682566
Free space on /tmp= 431664 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528077-1752245359/watcher-4528077-1752245359 -o /tmp/evaluation-result-4528077-1752245359/solver-4528077-1752245359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760 pb_picat HOME/instance-4528077-1752245359.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=1911928571
nodeC004 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 : 3614.265
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 : 6983.74
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 : 3492.439
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 : 6983.74
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.372
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 : 6983.74
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.218
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 : 6983.74
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 : 3662.300
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 : 6983.74
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 : 3664.758
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 : 6983.74
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 : 3700.000
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 : 6983.74
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.374
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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128276580 kB
MemAvailable: 129362140 kB
Buffers: 2128 kB
Cached: 1831180 kB
SwapCached: 32 kB
Active: 1203100 kB
Inactive: 1225076 kB
Active(anon): 602076 kB
Inactive(anon): 10724 kB
Active(file): 601024 kB
Inactive(file): 1214352 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3664 kB
Writeback: 24 kB
AnonPages: 596672 kB
Mapped: 116404 kB
Shmem: 17932 kB
KReclaimable: 219624 kB
Slab: 308948 kB
SReclaimable: 219624 kB
SUnreclaim: 89324 kB
KernelStack: 4064 kB
PageTables: 4304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6754780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 436224 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431608 MiB
End job on nodeC004 at 2025-07-11 17:49:29