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 (62792 MiB free)
memory of node 1: 64465 MiB (63328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484829-1751284988/watcher-4484829-1751284988 -o /tmp/evaluation-result-4484829-1751284988/solver-4484829-1751284988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37960 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484829-1751284988.opb -mem-lim=31000
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
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=38389, runsolver pid=38386
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.09 4.01 4/247 38390
/proc/meminfo: memFree=129135556/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=10044 memory=9088 CPUtime=0.09 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 1928 0 0 0 9 0 0 0 20 0 1 0 44178243 10285056 2272 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 2511 2272 448 484 0 1922 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10044 KiB
Current children cumulated memory: 9088 KiB
[startup+0.213258 s]*
/proc/loadavg: 4.11 4.09 4.01 5/250 38396
/proc/meminfo: memFree=129111236/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=16972 memory=16000 CPUtime=0.21 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 3646 0 0 0 19 2 0 0 20 0 1 0 44178243 17379328 4000 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 4243 4000 448 484 0 3654 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 16972 KiB
Current children cumulated memory: 16000 KiB
[startup+0.313388 s]*
/proc/loadavg: 4.11 4.09 4.01 5/250 38396
/proc/meminfo: memFree=129094280/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=23440 memory=22272 CPUtime=0.3 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 5238 0 0 0 28 2 0 0 20 0 1 0 44178243 24002560 5568 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 5860 5568 448 484 0 5271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23440 KiB
Current children cumulated memory: 22272 KiB
[startup+0.700264 s]
/proc/loadavg: 4.11 4.09 4.01 4/249 38402
/proc/meminfo: memFree=129073400/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=50816 memory=49664 CPUtime=0.67 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 12063 0 0 0 62 5 0 0 20 0 1 0 44178243 52035584 12416 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 12704 12416 448 484 0 12115 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50816 KiB
Current children cumulated memory: 49664 KiB
[startup+1.50028 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=129038860/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=78508 memory=76768 CPUtime=1.46 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 21545 0 0 0 138 8 0 0 20 0 1 0 44178243 80392192 19192 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 19627 19192 512 484 0 19038 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78508 KiB
Current children cumulated memory: 76768 KiB
[startup+3.11275 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128954752/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=78844 memory=77156 CPUtime=3.07 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 25428 0 0 0 298 9 0 0 20 0 1 0 44178243 80736256 19289 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 19711 19289 512 484 0 19122 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 78844 KiB
Current children cumulated memory: 77156 KiB
[startup+6.30026 s]
/proc/loadavg: 4.17 4.10 4.02 5/251 38427
/proc/meminfo: memFree=128934672/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=79876 memory=78280 CPUtime=6.24 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 30760 0 0 0 614 10 0 0 20 0 1 0 44178243 81793024 19570 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 19969 19570 512 484 0 19380 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 79876 KiB
Current children cumulated memory: 78280 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.12 4.02 5/251 38427
/proc/meminfo: memFree=128929568/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=89864 memory=88236 CPUtime=12.62 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 38490 0 0 0 1251 11 0 0 20 0 1 0 44178243 92020736 22059 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 22466 22059 512 484 0 21877 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 89864 KiB
Current children cumulated memory: 88236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.15 4.04 5/251 38427
/proc/meminfo: memFree=128924596/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=89284 memory=87848 CPUtime=25.39 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 45901 0 0 0 2525 14 0 0 20 0 1 0 44178243 91426816 21962 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 22321 21962 512 484 0 21732 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89284 KiB
Current children cumulated memory: 87848 KiB
[startup+51.1128 s]
/proc/loadavg: 4.39 4.18 4.05 5/251 38427
/proc/meminfo: memFree=128907976/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=97780 memory=96464 CPUtime=50.91 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 49924 0 0 0 5076 15 0 0 20 0 1 0 44178243 100126720 24116 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 24445 24116 512 484 0 23856 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 97780 KiB
Current children cumulated memory: 96464 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/251 38475
/proc/meminfo: memFree=129297908/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=102008 memory=100924 CPUtime=101.93 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 57932 0 0 0 10174 19 0 0 20 0 1 0 44178243 104456192 25231 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 25502 25231 512 484 0 24913 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 102008 KiB
Current children cumulated memory: 100924 KiB
[startup+162.3 s]
/proc/loadavg: 4.65 4.29 4.10 5/252 38478
/proc/meminfo: memFree=129249880/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=119292 memory=118204 CPUtime=161.7 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 59712 0 0 0 16151 19 0 0 20 0 1 0 44178243 122155008 29551 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 29823 29551 512 484 0 29234 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 119292 KiB
Current children cumulated memory: 118204 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.31 4.12 5/252 38480
/proc/meminfo: memFree=129241232/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=120284 memory=119100 CPUtime=221.47 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 63374 0 0 0 22126 21 0 0 20 0 1 0 44178243 123170816 29775 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 30071 29775 512 484 0 29482 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 120284 KiB
Current children cumulated memory: 119100 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.27 4.11 5/251 38482
/proc/meminfo: memFree=129205308/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=125056 memory=123964 CPUtime=281.27 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 64076 0 0 0 28106 21 0 0 20 0 1 0 44178243 128057344 30991 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 31264 30991 512 484 0 30675 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 125056 KiB
Current children cumulated memory: 123964 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.25 4.11 5/251 38484
/proc/meminfo: memFree=129177064/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=128152 memory=127036 CPUtime=341.09 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 64397 0 0 0 34088 21 0 0 20 0 1 0 44178243 131227648 31759 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 32038 31759 512 484 0 31449 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 128152 KiB
Current children cumulated memory: 127036 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.20 4.10 5/252 38493
/proc/meminfo: memFree=129172832/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=131708 memory=130620 CPUtime=400.92 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 65345 0 0 0 40071 21 0 0 20 0 1 0 44178243 134868992 32655 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 32927 32655 512 484 0 32338 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 131708 KiB
Current children cumulated memory: 130620 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.18 4.10 5/251 38496
/proc/meminfo: memFree=129143928/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=134876 memory=133692 CPUtime=460.74 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 66025 0 0 0 46052 22 0 0 20 0 1 0 44178243 138113024 33423 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 33719 33423 512 484 0 33130 0
################
# More data... #
################
Current children cumulated memory: 149996 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/251 38611
/proc/meminfo: memFree=129004664/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=155340 memory=152852 CPUtime=2913.22 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 166614 0 0 0 291167 155 0 0 20 0 1 0 44178243 159068160 38213 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 38835 38213 512 484 0 38246 0
Current children cumulated CPU time: 2913.22 s
Current children cumulated vsize: 155340 KiB
Current children cumulated memory: 152852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/250 38613
/proc/meminfo: memFree=128935812/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=155924 memory=153436 CPUtime=2973.03 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 168611 0 0 0 297145 158 0 0 20 0 1 0 44178243 159666176 38359 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 38981 38359 512 484 0 38392 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 155924 KiB
Current children cumulated memory: 153436 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/251 38616
/proc/meminfo: memFree=128929924/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=156148 memory=153664 CPUtime=3032.85 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 170997 0 0 0 303123 162 0 0 20 0 1 0 44178243 159895552 38416 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 39037 38416 512 484 0 38448 0
Current children cumulated CPU time: 3032.85 s
Current children cumulated vsize: 156148 KiB
Current children cumulated memory: 153664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/250 38618
/proc/meminfo: memFree=128936316/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=156504 memory=154020 CPUtime=3092.67 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 173246 0 0 0 309100 167 0 0 20 0 1 0 44178243 160260096 38505 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 39126 38505 512 484 0 38537 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 156504 KiB
Current children cumulated memory: 154020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/250 38620
/proc/meminfo: memFree=128897696/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=157544 memory=155060 CPUtime=3152.49 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 175440 0 0 0 315077 172 0 0 20 0 1 0 44178243 161325056 38765 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 39386 38765 512 484 0 38797 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 157544 KiB
Current children cumulated memory: 155060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 38622
/proc/meminfo: memFree=128907924/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=161060 memory=156184 CPUtime=3212.31 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 177938 0 0 0 321055 176 0 0 20 0 1 0 44178243 164925440 39046 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 40265 39046 512 484 0 39676 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 161060 KiB
Current children cumulated memory: 156184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 38624
/proc/meminfo: memFree=128890864/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=160772 memory=155824 CPUtime=3272.12 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 180183 0 0 0 327033 179 0 0 20 0 1 0 44178243 164630528 38956 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 40193 38956 512 484 0 39604 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 160772 KiB
Current children cumulated memory: 155824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/249 38626
/proc/meminfo: memFree=128926476/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=160892 memory=155944 CPUtime=3331.94 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 182405 0 0 0 333011 183 0 0 20 0 1 0 44178243 164753408 38986 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 40223 38986 512 484 0 39634 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 160892 KiB
Current children cumulated memory: 155944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/249 38628
/proc/meminfo: memFree=128893212/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=168992 memory=167744 CPUtime=3391.76 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 184644 0 0 0 338988 188 0 0 20 0 1 0 44178243 173047808 41936 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 42248 41936 512 484 0 41659 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 168992 KiB
Current children cumulated memory: 167744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 38637
/proc/meminfo: memFree=128916992/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=203980 memory=199052 CPUtime=3451.57 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 191290 0 0 0 344963 194 0 0 20 0 1 0 44178243 208875520 49763 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 50995 49763 512 484 0 50406 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 203980 KiB
Current children cumulated memory: 199052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 38695
/proc/meminfo: memFree=127690144/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=220236 memory=217468 CPUtime=3511.38 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 192493 0 0 0 350940 198 0 0 20 0 1 0 44178243 225521664 54367 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 55059 54367 512 484 0 54470 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 220236 KiB
Current children cumulated memory: 217468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 38697
/proc/meminfo: memFree=127676124/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=212788 memory=210148 CPUtime=3571.17 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 192919 0 0 0 356918 199 0 0 20 0 1 0 44178243 217894912 52537 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 53197 52537 512 484 0 52608 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 212788 KiB
Current children cumulated memory: 210148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/244 38706
/proc/meminfo: memFree=128082432/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=198404 memory=195764 CPUtime=3600.08 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 193879 0 0 0 359806 202 0 0 20 0 1 0 44178243 203165696 48941 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 49601 48941 512 484 0 49012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 198404 KiB
Current children cumulated memory: 195764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 38389 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.07 s, system=2.02193 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/244 38706
/proc/meminfo: memFree=128082432/131382116 swapFree=33010684/33010684
[pid=38389] ppid=38386 vsize=198404 memory=195764 CPUtime=3600.08 cores=1,3
/proc/38389/stat : 38389 (uwrmaxsat) R 38386 38389 37948 0 -1 4194304 193879 0 0 0 359806 202 0 0 20 0 1 0 44178243 203165696 48941 18446744073709551615 4198400 6176925 140726899864800 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 15589376 140726899870058 140726899870185 140726899870185 140726899875787 0
/proc/38389/statm: 49601 48941 512 484 0 49012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 198404 KiB
Current children cumulated memory: 195764 KiB
Child status: 10
Real time (s): 3611.3
CPU time (s): 3600.09
CPU user time (s): 3598.07
CPU system time (s): 2.02193
CPU usage (%): 99.6895
Max. virtual memory (cumulated for all children) (KiB): 299476
Max. memory (cumulated for all children) (KiB): 286480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.07
system time used= 2.02193
maximum resident set size= 296632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193881
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= 57
involuntary context switches= 18993
# summary of solver processes directly reported to runsolver:
# pid: 38389
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.07
# total CPU system time (s): 2.02193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0287 second user time and 32.5673 second system time
The end
Begin job on nodeC010 at 2025-06-30 14:03:08
IDJOB=4484829
IDBENCH=146671
IDSOLVER=3372
FILE ID=nodeC010/4484829-1751284988
RUNJOBID= nodeC010-1751281373-37960
SLURM_JOB_ID= 9594236
Free space on /tmp= 432680 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484829-1751284988/watcher-4484829-1751284988 -o /tmp/evaluation-result-4484829-1751284988/solver-4484829-1751284988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37960 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484829-1751284988.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=2130293227
nodeC010 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 : 3521.726
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.36
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 : 1596.252
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.36
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.159
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.36
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.151
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.36
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 : 3491.746
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.36
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 : 1496.434
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.36
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.36
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.262
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129156028 kB
MemAvailable: 129439072 kB
Buffers: 3280 kB
Cached: 1091460 kB
SwapCached: 0 kB
Active: 858724 kB
Inactive: 798936 kB
Active(anon): 580896 kB
Inactive(anon): 0 kB
Active(file): 277828 kB
Inactive(file): 798936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10316 kB
Writeback: 0 kB
AnonPages: 566112 kB
Mapped: 107844 kB
Shmem: 17960 kB
KReclaimable: 91816 kB
Slab: 173648 kB
SReclaimable: 91816 kB
SUnreclaim: 81832 kB
KernelStack: 4016 kB
PageTables: 4000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 892660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 460800 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432668 MiB
End job on nodeC010 at 2025-06-30 15:03:20