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 (62791 MiB free)
memory of node 1: 64465 MiB (63223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484875-1751284989/watcher-4484875-1751284989 -o /tmp/evaluation-result-4484875-1751284989/solver-4484875-1751284989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37959 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484875-1751284989.opb -mem-lim=31000
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=38426, runsolver pid=38423
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=129033064/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=10584 memory=9472 CPUtime=0.1 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 2034 0 0 0 10 0 0 0 20 0 1 0 44178340 10838016 2368 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 2646 2368 448 484 0 2057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10584 KiB
Current children cumulated memory: 9472 KiB
[startup+0.213426 s]*
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=129013848/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=17844 memory=16768 CPUtime=0.22 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 3849 0 0 0 21 1 0 0 20 0 1 0 44178340 18272256 4192 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 4461 4192 448 484 0 3872 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 17844 KiB
Current children cumulated memory: 16768 KiB
[startup+0.313392 s]*
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=129013848/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=24312 memory=23168 CPUtime=0.31 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 5453 0 0 0 30 1 0 0 20 0 1 0 44178340 24895488 5792 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 6078 5792 448 484 0 5489 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24312 KiB
Current children cumulated memory: 23168 KiB
[startup+0.700332 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128947828/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=50484 memory=49408 CPUtime=0.68 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 11994 0 0 0 65 3 0 0 20 0 1 0 44178340 51695616 12352 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 12621 12352 448 484 0 12032 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 49408 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128964252/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=78360 memory=76724 CPUtime=1.48 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 21188 0 0 0 143 5 0 0 20 0 1 0 44178340 80240640 19181 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 19590 19181 544 484 0 19001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78360 KiB
Current children cumulated memory: 76724 KiB
[startup+3.11304 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128943368/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=78916 memory=77336 CPUtime=3.1 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 26468 0 0 0 303 7 0 0 20 0 1 0 44178340 80809984 19334 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 19729 19334 544 484 0 19140 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 77336 KiB
[startup+6.30031 s]
/proc/loadavg: 4.17 4.10 4.02 5/251 38427
/proc/meminfo: memFree=128934672/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=79852 memory=78360 CPUtime=6.27 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 30141 0 0 0 619 8 0 0 20 0 1 0 44178340 81768448 19590 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 19963 19590 544 484 0 19374 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79852 KiB
Current children cumulated memory: 78360 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.12 4.02 5/251 38427
/proc/meminfo: memFree=128929820/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=89700 memory=88200 CPUtime=12.65 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 34687 0 0 0 1256 9 0 0 20 0 1 0 44178340 91852800 22050 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 22425 22050 544 484 0 21836 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89700 KiB
Current children cumulated memory: 88200 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.15 4.04 5/251 38427
/proc/meminfo: memFree=128919572/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=89424 memory=88068 CPUtime=25.41 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 42362 0 0 0 2530 11 0 0 20 0 1 0 44178340 91570176 22017 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 22356 22017 544 484 0 21767 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 89424 KiB
Current children cumulated memory: 88068 KiB
[startup+51.1129 s]
/proc/loadavg: 4.39 4.18 4.05 5/251 38427
/proc/meminfo: memFree=128907976/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=90364 memory=89228 CPUtime=50.96 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 50397 0 0 0 5081 15 0 0 20 0 1 0 44178340 92532736 22307 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 22591 22307 544 484 0 22002 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 90364 KiB
Current children cumulated memory: 89228 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/251 38475
/proc/meminfo: memFree=129298160/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=90572 memory=88872 CPUtime=101.99 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 61364 0 0 0 10180 19 0 0 20 0 1 0 44178340 92745728 22218 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 22643 22218 544 484 0 22054 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 90572 KiB
Current children cumulated memory: 88872 KiB
[startup+162.3 s]
/proc/loadavg: 4.65 4.29 4.10 5/252 38478
/proc/meminfo: memFree=129250172/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=118196 memory=116568 CPUtime=161.83 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 68142 0 0 0 16160 23 0 0 20 0 1 0 44178340 121032704 29142 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 29549 29142 544 484 0 28960 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 116568 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.31 4.12 5/252 38480
/proc/meminfo: memFree=129243184/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=122136 memory=120536 CPUtime=221.65 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 71512 0 0 0 22141 24 0 0 20 0 1 0 44178340 125067264 30134 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 30534 30134 544 484 0 29945 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 122136 KiB
Current children cumulated memory: 120536 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.27 4.11 5/251 38482
/proc/meminfo: memFree=129205560/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=129112 memory=127576 CPUtime=281.49 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 72266 0 0 0 28124 25 0 0 20 0 1 0 44178340 132210688 31894 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 32278 31894 544 484 0 31689 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 129112 KiB
Current children cumulated memory: 127576 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.25 4.11 5/251 38484
/proc/meminfo: memFree=129177068/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=132636 memory=131600 CPUtime=341.3 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 72760 0 0 0 34105 25 0 0 20 0 1 0 44178340 135819264 32900 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 33159 32900 544 484 0 32570 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 132636 KiB
Current children cumulated memory: 131600 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.20 4.10 5/252 38493
/proc/meminfo: memFree=129171784/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=132636 memory=131600 CPUtime=401.16 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 72761 0 0 0 40091 25 0 0 20 0 1 0 44178340 135819264 32900 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 33159 32900 544 484 0 32570 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 132636 KiB
Current children cumulated memory: 131600 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.18 4.10 5/251 38496
/proc/meminfo: memFree=129135616/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=144524 memory=143504 CPUtime=461.01 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 73751 0 0 0 46076 25 0 0 20 0 1 0 44178340 147992576 35876 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 36131 35876 544 484 0 35542 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 148872 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=38426] ppid=38423 vsize=153360 memory=149456 CPUtime=2914.57 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 165170 0 0 0 291316 141 0 0 20 0 1 0 44178340 157040640 37364 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 38340 37364 544 484 0 37751 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 153360 KiB
Current children cumulated memory: 149456 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/250 38613
/proc/meminfo: memFree=128935820/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=234928 memory=232268 CPUtime=2974.38 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 176026 0 0 0 297290 148 0 0 20 0 1 0 44178340 240566272 58067 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 58732 58067 544 484 0 58143 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 234928 KiB
Current children cumulated memory: 232268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/251 38616
/proc/meminfo: memFree=128925868/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=217204 memory=215800 CPUtime=3034.2 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 179951 0 0 0 303268 152 0 0 20 0 1 0 44178340 222416896 53950 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 54301 53950 544 484 0 53712 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 217204 KiB
Current children cumulated memory: 215800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/250 38618
/proc/meminfo: memFree=128936332/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=214712 memory=213348 CPUtime=3094.01 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 181010 0 0 0 309247 154 0 0 20 0 1 0 44178340 219865088 53337 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53678 53337 544 484 0 53089 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 214712 KiB
Current children cumulated memory: 213348 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/250 38620
/proc/meminfo: memFree=128897452/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=214296 memory=213096 CPUtime=3153.83 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 182624 0 0 0 315226 157 0 0 20 0 1 0 44178340 219439104 53274 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53574 53274 544 484 0 52985 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 214296 KiB
Current children cumulated memory: 213096 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=38426] ppid=38423 vsize=212500 memory=211404 CPUtime=3213.68 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 183251 0 0 0 321209 159 0 0 20 0 1 0 44178340 217600000 52851 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53125 52851 544 484 0 52536 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 212500 KiB
Current children cumulated memory: 211404 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=38426] ppid=38423 vsize=215536 memory=214336 CPUtime=3273.51 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 184523 0 0 0 327188 163 0 0 20 0 1 0 44178340 220708864 53584 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53884 53584 544 484 0 53295 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 215536 KiB
Current children cumulated memory: 214336 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=38426] ppid=38423 vsize=219780 memory=218580 CPUtime=3333.32 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 185779 0 0 0 333167 165 0 0 20 0 1 0 44178340 225054720 54645 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 54945 54645 544 484 0 54356 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 219780 KiB
Current children cumulated memory: 218580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/249 38628
/proc/meminfo: memFree=128915452/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=215040 memory=213840 CPUtime=3393.13 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 186564 0 0 0 339145 168 0 0 20 0 1 0 44178340 220200960 53460 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53760 53460 544 484 0 53171 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 215040 KiB
Current children cumulated memory: 213840 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=38426] ppid=38423 vsize=214688 memory=213488 CPUtime=3452.94 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 188187 0 0 0 345123 171 0 0 20 0 1 0 44178340 219840512 53372 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53672 53372 544 484 0 53083 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 214688 KiB
Current children cumulated memory: 213488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 38695
/proc/meminfo: memFree=127691396/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=215796 memory=214596 CPUtime=3512.76 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 189192 0 0 0 351102 174 0 0 20 0 1 0 44178340 220975104 53649 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53949 53649 544 484 0 53360 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 215796 KiB
Current children cumulated memory: 214596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 38697
/proc/meminfo: memFree=127676132/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=214388 memory=213188 CPUtime=3572.58 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 190300 0 0 0 357082 176 0 0 20 0 1 0 44178340 219533312 53297 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 53597 53297 544 484 0 53008 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 214388 KiB
Current children cumulated memory: 213188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.15 4.10 4.09 4/246 38706
/proc/meminfo: memFree=127873744/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=211820 memory=210620 CPUtime=3600.09 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 190938 0 0 0 359831 178 0 0 20 0 1 0 44178340 216903680 52655 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 52955 52655 544 484 0 52366 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 211820 KiB
Current children cumulated memory: 210620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 38426 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.32 s, system=1.78735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.15 4.10 4.09 4/246 38706
/proc/meminfo: memFree=127873744/131382116 swapFree=33010684/33010684
[pid=38426] ppid=38423 vsize=211820 memory=210620 CPUtime=3600.09 cores=4,6
/proc/38426/stat : 38426 (uwrmaxsat) R 38423 38426 37948 0 -1 4194304 190938 0 0 0 359831 178 0 0 20 0 1 0 44178340 216903680 52655 18446744073709551615 4198400 6176925 140722354275808 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 32653312 140722354280810 140722354280937 140722354280937 140722354286539 0
/proc/38426/statm: 52955 52655 544 484 0 52366 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 211820 KiB
Current children cumulated memory: 210620 KiB
Child status: 10
Real time (s): 3609.9
CPU time (s): 3600.1
CPU user time (s): 3598.32
CPU system time (s): 1.78735
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 340692
Max. memory (cumulated for all children) (KiB): 307764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.78735
maximum resident set size= 339124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190940
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= 66
involuntary context switches= 2864
# summary of solver processes directly reported to runsolver:
# pid: 38426
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.32
# total CPU system time (s): 1.78735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4211 second user time and 34.9587 second system time
The end
Begin job on nodeC010 at 2025-06-30 14:03:09
IDJOB=4484875
IDBENCH=146672
IDSOLVER=3372
FILE ID=nodeC010/4484875-1751284989
RUNJOBID= nodeC010-1751281373-37959
SLURM_JOB_ID= 9594236
Free space on /tmp= 432676 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-1.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484875-1751284989/watcher-4484875-1751284989 -o /tmp/evaluation-result-4484875-1751284989/solver-4484875-1751284989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37959 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484875-1751284989.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=664927107
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 : 3491.680
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 : 1994.815
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.210
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.790
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 : 1197.153
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 : 2693.594
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 : 1198.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.558
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: 129039472 kB
MemAvailable: 129323952 kB
Buffers: 3280 kB
Cached: 1092888 kB
SwapCached: 0 kB
Active: 981256 kB
Inactive: 800372 kB
Active(anon): 703428 kB
Inactive(anon): 0 kB
Active(file): 277828 kB
Inactive(file): 800372 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14988 kB
Writeback: 0 kB
AnonPages: 688568 kB
Mapped: 110072 kB
Shmem: 17960 kB
KReclaimable: 91816 kB
Slab: 174008 kB
SReclaimable: 91816 kB
SUnreclaim: 82192 kB
KernelStack: 4112 kB
PageTables: 4340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1039556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 464896 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