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 (63243 MiB free)
memory of node 1: 64465 MiB (63817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484443-1751291933/watcher-4484443-1751291933 -o /tmp/evaluation-result-4484443-1751291933/solver-4484443-1751291933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751291933-37075 --watchdog 3760 pb_picat HOME/instance-4484443-1751291933.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37132, runsolver pid=37117
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 0.61 1.19 2.22 7/250 37133
/proc/meminfo: memFree=130065256/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2027148 memory=30356 CPUtime=0.09 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 1659 0 0 0 8 1 0 0 20 0 1 0 44872167 2075799552 7589 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 506787 7589 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30356 KiB
[startup+0.21304 s]*
/proc/loadavg: 0.61 1.19 2.22 7/250 37133
/proc/meminfo: memFree=130043172/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2027148 memory=34452 CPUtime=0.21 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 1661 0 0 0 20 1 0 0 20 0 1 0 44872167 2075799552 8613 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 506787 8613 1504 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34452 KiB
[startup+0.314095 s]*
/proc/loadavg: 0.61 1.19 2.22 7/250 37134
/proc/meminfo: memFree=130028740/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2027148 memory=40596 CPUtime=0.3 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 1664 0 0 0 29 1 0 0 20 0 1 0 44872167 2075799552 10149 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 506787 10149 1504 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40596 KiB
[startup+0.70033 s]
/proc/loadavg: 0.61 1.19 2.22 7/250 37134
/proc/meminfo: memFree=130004556/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2034964 memory=67832 CPUtime=0.68 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 1800 0 0 0 65 3 0 0 20 0 1 0 44872167 2083803136 16958 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 508741 16958 1536 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 67832 KiB
[startup+1.50029 s]
/proc/loadavg: 0.61 1.19 2.22 7/250 37134
/proc/meminfo: memFree=129877212/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2112848 memory=143828 CPUtime=1.47 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 10839 0 0 0 140 7 0 0 20 0 1 0 44872167 2163556352 35957 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 528212 35957 1664 343 0 525276 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2112848 KiB
Current children cumulated memory: 143828 KiB
[startup+3.11255 s]
/proc/loadavg: 0.61 1.19 2.22 7/250 37134
/proc/meminfo: memFree=129790780/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2122292 memory=160036 CPUtime=3.08 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 16548 0 0 0 299 9 0 0 20 0 1 0 44872167 2173227008 40009 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530573 40009 1664 343 0 527637 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2122292 KiB
Current children cumulated memory: 160036 KiB
[startup+6.30026 s]
/proc/loadavg: 0.88 1.24 2.23 7/250 37134
/proc/meminfo: memFree=129793388/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2092360 memory=132228 CPUtime=6.26 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 18873 0 0 0 616 10 0 0 20 0 1 0 44872167 2142576640 33057 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 523090 33057 1664 343 0 520154 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2092360 KiB
Current children cumulated memory: 132228 KiB
[startup+12.7002 s]
/proc/loadavg: 1.13 1.28 2.24 7/250 37134
/proc/meminfo: memFree=129777344/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2092540 memory=134968 CPUtime=12.65 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 24740 0 0 0 1252 13 0 0 20 0 1 0 44872167 2142760960 33742 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 523135 33742 1664 343 0 520199 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2092540 KiB
Current children cumulated memory: 134968 KiB
[startup+25.5003 s]
/proc/loadavg: 1.83 1.43 2.27 7/250 37134
/proc/meminfo: memFree=129768320/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121212 memory=159128 CPUtime=25.41 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 31948 0 0 0 2525 16 0 0 20 0 1 0 44872167 2172121088 39782 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530303 39782 1664 343 0 527367 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 159128 KiB
[startup+51.1123 s]
/proc/loadavg: 2.57 1.64 2.32 7/250 37134
/proc/meminfo: memFree=129746256/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121212 memory=159140 CPUtime=50.96 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 40602 0 0 0 5077 19 0 0 20 0 1 0 44872167 2172121088 39785 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530303 39785 1664 343 0 527367 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 159140 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 2.02 2.42 7/251 37141
/proc/meminfo: memFree=129706332/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=165996 CPUtime=102.01 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 68907 0 0 0 10170 31 0 0 20 0 1 0 44872167 2172653568 41499 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 41499 1664 343 0 527497 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 165996 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.43 2.53 7/251 37154
/proc/meminfo: memFree=129698684/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=163948 CPUtime=161.84 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 85149 0 0 0 16144 40 0 0 20 0 1 0 44872167 2172653568 40987 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 40987 1664 343 0 527497 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 163948 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.73 2.63 7/252 37157
/proc/meminfo: memFree=129684256/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=163948 CPUtime=221.68 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 98188 0 0 0 22120 48 0 0 20 0 1 0 44872167 2172653568 40987 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 40987 1664 343 0 527497 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 163948 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.00 2.73 7/252 37159
/proc/meminfo: memFree=129704956/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=170092 CPUtime=281.52 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 108856 0 0 0 28097 55 0 0 20 0 1 0 44872167 2172653568 42523 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 42523 1664 343 0 527497 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 170092 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.20 2.82 7/252 37161
/proc/meminfo: memFree=129687608/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=172140 CPUtime=341.37 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 117890 0 0 0 34077 60 0 0 20 0 1 0 44872167 2172653568 43035 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 43035 1664 343 0 527497 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 172140 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.38 2.91 7/251 37163
/proc/meminfo: memFree=129675076/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2105348 memory=162592 CPUtime=401.2 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 128103 0 0 0 40053 67 0 0 20 0 1 0 44872167 2155876352 40648 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 526337 40648 1664 343 0 523401 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2105348 KiB
Current children cumulated memory: 162592 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.51 2.98 7/251 37165
/proc/meminfo: memFree=129664176/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2121732 memory=162976 CPUtime=461.04 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 137043 0 0 0 46032 72 0 0 20 0 1 0 44872167 2172653568 40744 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 530433 40744 1664 343 0 527497 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 253068 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.03 7/249 37281
/proc/meminfo: memFree=129425764/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2204448 memory=238732 CPUtime=2914.3 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 364029 0 0 0 291158 272 0 0 20 0 1 0 44872167 2257354752 59683 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 551112 59683 1664 343 0 548176 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 2204448 KiB
Current children cumulated memory: 238732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.04 7/249 37283
/proc/meminfo: memFree=129426652/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2206716 memory=243048 CPUtime=2974.14 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 368191 0 0 0 297138 276 0 0 20 0 1 0 44872167 2259677184 60762 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 551679 60762 1664 343 0 548743 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2206716 KiB
Current children cumulated memory: 243048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.04 7/250 37288
/proc/meminfo: memFree=129408724/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2206716 memory=245096 CPUtime=3033.97 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 371613 0 0 0 303116 281 0 0 20 0 1 0 44872167 2259677184 61274 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 551679 61274 1664 343 0 548743 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 2206716 KiB
Current children cumulated memory: 245096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.04 7/250 37294
/proc/meminfo: memFree=129419396/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272252 memory=259432 CPUtime=3093.82 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 376096 0 0 0 309096 286 0 0 20 0 1 0 44872167 2326786048 64858 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568063 64858 1664 343 0 565127 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 2272252 KiB
Current children cumulated memory: 259432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.05 7/250 37296
/proc/meminfo: memFree=129397688/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272252 memory=263528 CPUtime=3153.66 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 379685 0 0 0 315076 290 0 0 20 0 1 0 44872167 2326786048 65882 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568063 65882 1664 343 0 565127 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 2272252 KiB
Current children cumulated memory: 263528 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.05 7/251 37300
/proc/meminfo: memFree=129474136/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272764 memory=266088 CPUtime=3213.5 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 383915 0 0 0 321057 293 0 0 20 0 1 0 44872167 2327310336 66522 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568191 66522 1664 343 0 565255 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 266088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.05 7/252 37303
/proc/meminfo: memFree=129379248/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272764 memory=300904 CPUtime=3273.34 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 387607 0 0 0 327035 299 0 0 20 0 1 0 44872167 2327310336 75226 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568191 75226 1664 343 0 565255 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 300904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.05 7/252 37305
/proc/meminfo: memFree=129368316/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272764 memory=307048 CPUtime=3333.18 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 389100 0 0 0 333016 302 0 0 20 0 1 0 44872167 2327310336 76762 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568191 76762 1664 343 0 565255 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 307048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.05 7/252 37307
/proc/meminfo: memFree=129371960/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272764 memory=292712 CPUtime=3393.02 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 395253 0 0 0 338993 309 0 0 20 0 1 0 44872167 2327310336 73178 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568191 73178 1664 343 0 565255 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 292712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.06 7/252 37309
/proc/meminfo: memFree=129388124/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2272764 memory=284520 CPUtime=3452.86 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 399044 0 0 0 344973 313 0 0 20 0 1 0 44872167 2327310336 71130 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568191 71130 1664 343 0 565255 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 284520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 7/250 37311
/proc/meminfo: memFree=129331216/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2274224 memory=302360 CPUtime=3512.71 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 401241 0 0 0 350955 316 0 0 20 0 1 0 44872167 2328805376 75590 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568556 75590 1664 343 0 565620 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 302360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.06 7/249 37313
/proc/meminfo: memFree=129360988/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2274224 memory=259356 CPUtime=3572.55 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 405534 0 0 0 356933 322 0 0 20 0 1 0 44872167 2328805376 64839 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568556 64839 1664 343 0 565620 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 259356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.11 4.11 4.06 7/250 37317
/proc/meminfo: memFree=129361392/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2274224 memory=265500 CPUtime=3600.08 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 406180 0 0 0 359685 323 0 0 20 0 1 0 44872167 2328805376 66375 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568556 66375 1664 343 0 565620 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 265500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 37132 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.85 s, system=3.23934 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.11 4.11 4.06 7/250 37317
/proc/meminfo: memFree=129361392/131382120 swapFree=33010684/33010684
[pid=37132] ppid=37117 vsize=2274224 memory=265500 CPUtime=3600.08 cores=4,6
/proc/37132/stat : 37132 (pb_picat) R 37117 37132 37064 0 -1 4194304 406180 0 0 0 359685 323 0 0 20 0 1 0 44872167 2328805376 66375 18446744073709551615 94100780240896 94100781642477 140737210817024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94100781913904 94100783788208 94100805140480 140737210821022 140737210821098 140737210821098 140737210826700 0
/proc/37132/statm: 568556 66375 1664 343 0 565620 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 265500 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3596.85
CPU system time (s): 3.23934
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 2405296
Max. memory (cumulated for all children) (KiB): 419100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.85
system time used= 3.23934
maximum resident set size= 419100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406180
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= 84
involuntary context switches= 3858
# summary of solver processes directly reported to runsolver:
# pid: 37132
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.85
# total CPU system time (s): 3.23934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7152 second user time and 31.0004 second system time
The end
Begin job on nodeC002 at 2025-06-30 15:58:54
IDJOB=4484443
IDBENCH=146657
IDSOLVER=3346
FILE ID=nodeC002/4484443-1751291933
RUNJOBID= nodeC002-1751291933-37075
SLURM_JOB_ID= 9594256
Free space on /tmp= 433060 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484443-1751291933/watcher-4484443-1751291933 -o /tmp/evaluation-result-4484443-1751291933/solver-4484443-1751291933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751291933-37075 --watchdog 3760 pb_picat HOME/instance-4484443-1751291933.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=630732423
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.648
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.81
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.195
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.81
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.224
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.81
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.190
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.81
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.223
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.81
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 : 1197.201
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.81
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.866
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.81
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.119
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130101020 kB
MemAvailable: 129900648 kB
Buffers: 3280 kB
Cached: 608900 kB
SwapCached: 0 kB
Active: 315680 kB
Inactive: 360172 kB
Active(anon): 81632 kB
Inactive(anon): 0 kB
Active(file): 234048 kB
Inactive(file): 360172 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15228 kB
Writeback: 0 kB
AnonPages: 66780 kB
Mapped: 102640 kB
Shmem: 17960 kB
KReclaimable: 90068 kB
Slab: 172612 kB
SReclaimable: 90068 kB
SUnreclaim: 82544 kB
KernelStack: 3800 kB
PageTables: 2364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 331928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC002 at 2025-06-30 16:59:04