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 (63072 MiB free)
memory of node 1: 64465 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523485-1751597903/watcher-4523485-1751597903 -o /tmp/evaluation-result-4523485-1751597903/solver-4523485-1751597903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85301 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523485-1751597903.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85357, runsolver pid=85346
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129761512/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=6824 memory=5760 CPUtime=0.1 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1082 0 0 0 10 0 0 0 20 0 1 0 75469448 6987776 1440 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1706 1440 448 484 0 1117 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6824 KiB
Current children cumulated memory: 5760 KiB
[startup+0.213138 s]*
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129754960/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=10060 memory=8960 CPUtime=0.21 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1876 0 0 0 21 0 0 0 20 0 1 0 75469448 10301440 2240 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2515 2240 448 484 0 1926 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10060 KiB
Current children cumulated memory: 8960 KiB
[startup+0.312998 s]*
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129738328/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=12888 memory=11648 CPUtime=0.32 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 2570 0 0 0 31 1 0 0 20 0 1 0 75469448 13197312 2912 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 3222 2912 448 484 0 2633 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 12888 KiB
Current children cumulated memory: 11648 KiB
[startup+0.700279 s]
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129740104/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=26808 memory=25344 CPUtime=0.68 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 5978 0 0 0 67 1 0 0 20 0 1 0 75469448 27451392 6336 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 6702 6336 448 484 0 6113 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26808 KiB
Current children cumulated memory: 25344 KiB
[startup+1.50028 s]
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129659968/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=67748 memory=61568 CPUtime=1.49 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 15025 0 0 0 144 5 0 0 20 0 1 0 75469448 69373952 15392 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 16937 15392 480 484 0 16348 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 61568 KiB
[startup+3.11254 s]
/proc/loadavg: 1.74 2.10 3.27 6/251 85358
/proc/meminfo: memFree=129090852/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=260716 memory=228144 CPUtime=3.09 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 37228 0 0 0 298 11 0 0 20 0 1 0 75469448 266973184 57036 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 65179 57036 480 484 0 64590 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 260716 KiB
Current children cumulated memory: 228144 KiB
[startup+6.30027 s]
/proc/loadavg: 1.74 2.10 3.27 6/251 85358
/proc/meminfo: memFree=127977108/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=574472 memory=525112 CPUtime=6.27 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 57303 0 0 0 606 21 0 0 20 0 1 0 75469448 588259328 131278 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 143618 131278 480 484 0 143029 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 574472 KiB
Current children cumulated memory: 525112 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.16 3.28 6/251 85358
/proc/meminfo: memFree=126333692/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=1127576 memory=990824 CPUtime=12.65 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 89281 0 0 0 1227 38 0 0 20 0 1 0 75469448 1154637824 247706 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 281894 247706 480 484 0 281305 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1127576 KiB
Current children cumulated memory: 990824 KiB
[startup+25.5003 s]
/proc/loadavg: 2.47 2.24 3.29 6/251 85358
/proc/meminfo: memFree=115932816/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=4654960 memory=4250632 CPUtime=25.41 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 509514 0 0 0 2381 160 0 0 20 0 1 0 75469448 4766679040 1062658 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1163740 1062658 480 484 0 1163151 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4654960 KiB
Current children cumulated memory: 4250632 KiB
[startup+51.1127 s]
/proc/loadavg: 2.99 2.38 3.31 6/251 85358
/proc/meminfo: memFree=115900004/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=4773736 memory=4359852 CPUtime=50.93 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 530858 0 0 0 4927 166 0 0 20 0 1 0 75469448 4888305664 1089963 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1193434 1089963 512 484 0 1192845 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4773736 KiB
Current children cumulated memory: 4359852 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.67 3.36 6/251 85361
/proc/meminfo: memFree=115003380/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=5543024 memory=5133204 CPUtime=101.93 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 545558 0 0 0 9938 255 0 0 20 0 1 0 75469448 5676056576 1283301 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1385756 1283301 544 484 0 1385167 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 5543024 KiB
Current children cumulated memory: 5133204 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.96 3.41 6/251 85374
/proc/meminfo: memFree=114297856/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=5393896 memory=4870884 CPUtime=161.74 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 563539 0 0 0 15792 382 0 0 20 0 1 0 75469448 5523349504 1217721 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1348474 1217721 544 484 0 1347885 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5393896 KiB
Current children cumulated memory: 4870884 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.17 3.46 6/251 85376
/proc/meminfo: memFree=115025432/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=5342196 memory=4752560 CPUtime=221.53 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 577921 0 0 0 21710 443 0 0 20 0 1 0 75469448 5470408704 1188140 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1335549 1188140 544 484 0 1334960 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 5342196 KiB
Current children cumulated memory: 4752560 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.35 3.51 6/251 85378
/proc/meminfo: memFree=113436612/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=6124064 memory=5534424 CPUtime=281.33 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 593480 0 0 0 27597 536 0 0 20 0 1 0 75469448 6271041536 1383606 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1531016 1383606 544 484 0 1530427 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 6124064 KiB
Current children cumulated memory: 5534424 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.49 3.55 6/250 85380
/proc/meminfo: memFree=113410232/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=6123816 memory=5530600 CPUtime=341.12 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 609590 0 0 0 33446 666 0 0 20 0 1 0 75469448 6270787584 1382650 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1530954 1382650 544 484 0 1530365 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 6123816 KiB
Current children cumulated memory: 5530600 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.60 3.58 6/250 85384
/proc/meminfo: memFree=112810904/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=6123816 memory=5530600 CPUtime=400.93 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 610472 0 0 0 39426 667 0 0 20 0 1 0 75469448 6270787584 1382650 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1530954 1382650 544 484 0 1530365 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 6123816 KiB
Current children cumulated memory: 5530600 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.70 3.62 6/249 85386
/proc/meminfo: memFree=113202976/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=6123816 memory=5530600 CPUtime=460.71 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 611410 0 0 0 45404 667 0 0 20 0 1 0 75469448 6270787584 1382650 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 1530954 1382650 544 484 0 1530365 0
Current children cumulated CPU time: 460.71 s
################
# More data... #
################
Current children cumulated memory: 8076164 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.30 4.22 6/249 85497
/proc/meminfo: memFree=106862392/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8552692 memory=8076164 CPUtime=2852.28 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1489463 0 0 0 283202 2026 0 0 20 0 1 0 75469448 8757956608 2019041 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2138173 2019041 544 484 0 2137584 0
Current children cumulated CPU time: 2852.28 s
Current children cumulated vsize: 8552692 KiB
Current children cumulated memory: 8076164 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.27 4.22 6/249 85499
/proc/meminfo: memFree=106895300/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8552692 memory=8076164 CPUtime=2912.08 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1490155 0 0 0 289181 2027 0 0 20 0 1 0 75469448 8757956608 2019041 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2138173 2019041 544 484 0 2137584 0
Current children cumulated CPU time: 2912.08 s
Current children cumulated vsize: 8552692 KiB
Current children cumulated memory: 8076164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.23 4.21 6/250 85506
/proc/meminfo: memFree=105957796/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8552692 memory=8076164 CPUtime=2971.87 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1490530 0 0 0 295160 2027 0 0 20 0 1 0 75469448 8757956608 2019041 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2138173 2019041 544 484 0 2137584 0
Current children cumulated CPU time: 2971.87 s
Current children cumulated vsize: 8552692 KiB
Current children cumulated memory: 8076164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.22 4.20 6/250 85508
/proc/meminfo: memFree=105964684/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8552692 memory=8076164 CPUtime=3031.67 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1490841 0 0 0 301139 2028 0 0 20 0 1 0 75469448 8757956608 2019041 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2138173 2019041 544 484 0 2137584 0
Current children cumulated CPU time: 3031.67 s
Current children cumulated vsize: 8552692 KiB
Current children cumulated memory: 8076164 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.22 4.20 6/250 85510
/proc/meminfo: memFree=105755840/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8732576 memory=8251856 CPUtime=3091.47 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1537118 0 0 0 307082 2065 0 0 20 0 1 0 75469448 8942157824 2062964 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2183144 2062964 544 484 0 2182555 0
Current children cumulated CPU time: 3091.47 s
Current children cumulated vsize: 8732576 KiB
Current children cumulated memory: 8251856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.21 4.19 6/250 85512
/proc/meminfo: memFree=105719268/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8732576 memory=8251984 CPUtime=3151.27 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1538714 0 0 0 313061 2066 0 0 20 0 1 0 75469448 8942157824 2062996 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2183144 2062996 544 484 0 2182555 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 8732576 KiB
Current children cumulated memory: 8251984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.20 4.19 6/250 85514
/proc/meminfo: memFree=105710572/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8732576 memory=8252240 CPUtime=3211.07 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1540270 0 0 0 319041 2066 0 0 20 0 1 0 75469448 8942157824 2063060 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2183144 2063060 544 484 0 2182555 0
Current children cumulated CPU time: 3211.07 s
Current children cumulated vsize: 8732576 KiB
Current children cumulated memory: 8252240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.18 6/249 85516
/proc/meminfo: memFree=105521176/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8995820 memory=8387344 CPUtime=3270.88 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1544986 0 0 0 324999 2089 0 0 20 0 1 0 75469448 9211719680 2096836 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2248955 2096836 544 484 0 2248366 0
Current children cumulated CPU time: 3270.88 s
Current children cumulated vsize: 8995820 KiB
Current children cumulated memory: 8387344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.18 6/249 85518
/proc/meminfo: memFree=105346772/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8995820 memory=8387344 CPUtime=3330.68 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1546315 0 0 0 330979 2089 0 0 20 0 1 0 75469448 9211719680 2096836 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2248955 2096836 544 484 0 2248366 0
Current children cumulated CPU time: 3330.68 s
Current children cumulated vsize: 8995820 KiB
Current children cumulated memory: 8387344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.17 6/250 85523
/proc/meminfo: memFree=103698256/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8995820 memory=8387344 CPUtime=3390.49 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1547503 0 0 0 336959 2090 0 0 20 0 1 0 75469448 9211719680 2096836 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2248955 2096836 544 484 0 2248366 0
Current children cumulated CPU time: 3390.49 s
Current children cumulated vsize: 8995820 KiB
Current children cumulated memory: 8387344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 6/250 85525
/proc/meminfo: memFree=103890528/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8995820 memory=8387344 CPUtime=3450.28 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1548971 0 0 0 342938 2090 0 0 20 0 1 0 75469448 9211719680 2096836 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2248955 2096836 544 484 0 2248366 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 8995820 KiB
Current children cumulated memory: 8387344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.17 6/250 85527
/proc/meminfo: memFree=103891512/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8995820 memory=8387344 CPUtime=3510.07 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1550451 0 0 0 348916 2091 0 0 20 0 1 0 75469448 9211719680 2096836 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2248955 2096836 544 484 0 2248366 0
Current children cumulated CPU time: 3510.07 s
Current children cumulated vsize: 8995820 KiB
Current children cumulated memory: 8387344 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 6/250 85533
/proc/meminfo: memFree=103851464/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=9151948 memory=8543708 CPUtime=3569.85 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1559039 0 0 0 354847 2138 0 0 20 0 1 0 75469448 9371594752 2135927 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2287987 2135927 544 484 0 2287398 0
Current children cumulated CPU time: 3569.85 s
Current children cumulated vsize: 9151948 KiB
Current children cumulated memory: 8543708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.13 4.13 4.16 4/246 85562
/proc/meminfo: memFree=121791844/131382120 swapFree=33010160/33010684
[pid=85357] ppid=85346 vsize=8527636 memory=7919460 CPUtime=3600.04 cores=5,7
/proc/85357/stat : 85357 (uwrmaxsat) R 85346 85357 85288 0 -1 4194304 1562117 0 0 0 357828 2176 0 0 20 0 1 0 75469448 8732299264 1979865 18446744073709551615 4198400 6176925 140726309884288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 34422784 140726309886314 140726309886441 140726309886441 140726309892043 0
/proc/85357/statm: 2131909 1979865 544 484 0 2131320 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 8527636 KiB
Current children cumulated memory: 7919460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.66 s]
# the end of solver process 85357 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3578.29 s, system=21.8185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.66
CPU time (s): 3600.11
CPU user time (s): 3578.29
CPU system time (s): 21.8185
CPU usage (%): 99.6525
Max. virtual memory (cumulated for all children) (KiB): 10274296
Max. memory (cumulated for all children) (KiB): 9477700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.29
system time used= 21.8185
maximum resident set size= 9477700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1562119
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= 598
involuntary context switches= 20717
# summary of solver processes directly reported to runsolver:
# pid: 85357
# total CPU time (s): 3600.11
# total CPU user time (s): 3578.29
# total CPU system time (s): 21.8185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.924 second user time and 33.0844 second system time
The end
Begin job on nodeC008 at 2025-07-04 04:58:23
IDJOB=4523485
IDBENCH=180363
IDSOLVER=3372
FILE ID=nodeC008/4523485-1751597903
RUNJOBID= nodeC008-1751597903-85301
SLURM_JOB_ID= 9598868
Free space on /tmp= 432804 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523485-1751597903/watcher-4523485-1751597903 -o /tmp/evaluation-result-4523485-1751597903/solver-4523485-1751597903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85301 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523485-1751597903.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9
RANDOM SEED=484987572
nodeC008 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.303
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.72
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.208
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.72
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.72
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.367
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.72
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.203
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.72
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.335
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.72
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.493
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.72
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.552
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129762368 kB
MemAvailable: 129886488 kB
Buffers: 2128 kB
Cached: 918468 kB
SwapCached: 16 kB
Active: 592268 kB
Inactive: 399632 kB
Active(anon): 52824 kB
Inactive(anon): 36400 kB
Active(file): 539444 kB
Inactive(file): 363232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19224 kB
Writeback: 8 kB
AnonPages: 74472 kB
Mapped: 103644 kB
Shmem: 17920 kB
KReclaimable: 122140 kB
Slab: 207320 kB
SReclaimable: 122140 kB
SUnreclaim: 85180 kB
KernelStack: 3840 kB
PageTables: 2772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 332300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432796 MiB
End job on nodeC008 at 2025-07-04 05:58:36