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: 63794 MiB (62299 MiB free)
memory of node 1: 64507 MiB (62856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545247-1753234024/watcher-4545247-1753234024 -o /tmp/evaluation-result-4545247-1753234024/solver-4545247-1753234024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753224833-151858 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4545247-1753234024.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
Starting watchdog thread
solver pid=153530, runsolver pid=153527
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.08 4.12 4.16 5/253 153531
/proc/meminfo: memFree=128157656/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=10520 memory=9472 CPUtime=0.1 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 2021 0 0 0 10 0 0 0 20 0 1 0 239081742 10772480 2368 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 2630 2368 448 484 0 2041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10520 KiB
Current children cumulated memory: 9472 KiB
[startup+0.213694 s]*
/proc/loadavg: 4.08 4.12 4.16 5/253 153531
/proc/meminfo: memFree=128143544/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=18436 memory=17408 CPUtime=0.22 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 4002 0 0 0 21 1 0 0 20 0 1 0 239081742 18878464 4352 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 4609 4352 448 484 0 4020 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18436 KiB
Current children cumulated memory: 17408 KiB
[startup+0.313517 s]*
/proc/loadavg: 4.08 4.12 4.16 5/253 153531
/proc/meminfo: memFree=128143544/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=25120 memory=24064 CPUtime=0.31 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 5666 0 0 0 30 1 0 0 20 0 1 0 239081742 25722880 6016 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 6280 6016 448 484 0 5691 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25120 KiB
Current children cumulated memory: 24064 KiB
[startup+0.700365 s]
/proc/loadavg: 4.08 4.12 4.16 5/253 153531
/proc/meminfo: memFree=128125680/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=52368 memory=49784 CPUtime=0.68 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 13401 0 0 0 65 3 0 0 20 0 1 0 239081742 53624832 12446 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 13092 12446 544 484 0 12503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52368 KiB
Current children cumulated memory: 49784 KiB
[startup+1.50034 s]
/proc/loadavg: 4.07 4.11 4.16 5/253 153531
/proc/meminfo: memFree=128113836/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=53904 memory=51220 CPUtime=1.48 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 15749 0 0 0 144 4 0 0 20 0 1 0 239081742 55197696 12805 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 13476 12805 544 484 0 12887 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 51220 KiB
[startup+3.11327 s]
/proc/loadavg: 4.07 4.11 4.16 5/253 153531
/proc/meminfo: memFree=128109804/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=58184 memory=56332 CPUtime=3.1 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 17289 0 0 0 305 5 0 0 20 0 1 0 239081742 59580416 14083 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 14546 14083 544 484 0 13957 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58184 KiB
Current children cumulated memory: 56332 KiB
[startup+6.30033 s]
/proc/loadavg: 4.07 4.11 4.16 5/253 153531
/proc/meminfo: memFree=128081832/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=60192 memory=58252 CPUtime=6.27 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 18747 0 0 0 622 5 0 0 20 0 1 0 239081742 61636608 14563 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 15048 14563 544 484 0 14459 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60192 KiB
Current children cumulated memory: 58252 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.13 4.16 5/252 153531
/proc/meminfo: memFree=128053540/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=60192 memory=58376 CPUtime=12.65 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 19846 0 0 0 1260 5 0 0 20 0 1 0 239081742 61636608 14594 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 15048 14594 544 484 0 14459 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60192 KiB
Current children cumulated memory: 58376 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.16 5/252 153531
/proc/meminfo: memFree=128043916/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=62300 memory=60424 CPUtime=25.41 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 22793 0 0 0 2535 6 0 0 20 0 1 0 239081742 63795200 15106 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 15575 15106 544 484 0 14986 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 62300 KiB
Current children cumulated memory: 60424 KiB
[startup+51.1131 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 153532
/proc/meminfo: memFree=128058584/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=76020 memory=74156 CPUtime=50.95 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 24180 0 0 0 5088 7 0 0 20 0 1 0 239081742 77844480 18539 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 19005 18539 544 484 0 18416 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 76020 KiB
Current children cumulated memory: 74156 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 153534
/proc/meminfo: memFree=128088588/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=88240 memory=86328 CPUtime=101.97 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 29790 0 0 0 10187 10 0 0 20 0 1 0 239081742 90357760 21582 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 22060 21582 544 484 0 21471 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 88240 KiB
Current children cumulated memory: 86328 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/251 153536
/proc/meminfo: memFree=128031572/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=88676 memory=86840 CPUtime=161.8 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 29920 0 0 0 16169 11 0 0 20 0 1 0 239081742 90804224 21710 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 22169 21710 544 484 0 21580 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 88676 KiB
Current children cumulated memory: 86840 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.14 5/252 153539
/proc/meminfo: memFree=127975388/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=70740 memory=69152 CPUtime=221.62 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 30720 0 0 0 22149 13 0 0 20 0 1 0 239081742 72437760 17288 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 17685 17288 544 484 0 17096 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 70740 KiB
Current children cumulated memory: 69152 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/252 153541
/proc/meminfo: memFree=127942844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=104204 memory=102416 CPUtime=281.43 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 36254 0 0 0 28127 16 0 0 20 0 1 0 239081742 106704896 25604 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 26051 25604 544 484 0 25462 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 102416 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.13 5/250 153543
/proc/meminfo: memFree=128005520/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=94780 memory=93072 CPUtime=341.22 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 38876 0 0 0 34104 18 0 0 20 0 1 0 239081742 97054720 23268 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 23695 23268 544 484 0 23106 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 94780 KiB
Current children cumulated memory: 93072 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/251 153548
/proc/meminfo: memFree=127981672/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=120868 memory=119312 CPUtime=401.03 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 41472 0 0 0 40084 19 0 0 20 0 1 0 239081742 123768832 29828 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 30217 29828 544 484 0 29628 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 120868 KiB
Current children cumulated memory: 119312 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/251 153550
/proc/meminfo: memFree=127892728/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=156248 memory=154784 CPUtime=460.86 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 42652 0 0 0 46066 20 0 0 20 0 1 0 239081742 159997952 38696 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 39062 38696 544 484 0 38473 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 3.19 3.68 3.94 4/245 153599
/proc/meminfo: memFree=128148184/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=126904 memory=125456 CPUtime=879.71 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 42814 0 0 0 87946 25 0 0 20 0 1 0 239081742 129949696 31364 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 31726 31364 544 484 0 31137 0
Current children cumulated CPU time: 879.71 s
Current children cumulated vsize: 126904 KiB
Current children cumulated memory: 125456 KiB
[startup+942.3 s]
/proc/loadavg: 3.20 3.59 3.89 4/243 153601
/proc/meminfo: memFree=128126176/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=126904 memory=125456 CPUtime=939.55 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 42818 0 0 0 93930 25 0 0 20 0 1 0 239081742 129949696 31364 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 31726 31364 544 484 0 31137 0
Current children cumulated CPU time: 939.55 s
Current children cumulated vsize: 126904 KiB
Current children cumulated memory: 125456 KiB
[startup+1002.3 s]
/proc/loadavg: 3.14 3.50 3.84 4/243 153603
/proc/meminfo: memFree=128114624/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=158160 memory=156712 CPUtime=999.38 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 44733 0 0 0 99911 27 0 0 20 0 1 0 239081742 161955840 39178 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 39540 39178 544 484 0 38951 0
Current children cumulated CPU time: 999.38 s
Current children cumulated vsize: 158160 KiB
Current children cumulated memory: 156712 KiB
[startup+1062.3 s]
/proc/loadavg: 3.11 3.42 3.79 4/244 153608
/proc/meminfo: memFree=128108784/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=163392 memory=161944 CPUtime=1059.22 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 47098 0 0 0 105892 30 0 0 20 0 1 0 239081742 167313408 40486 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 40848 40486 544 484 0 40259 0
Current children cumulated CPU time: 1059.22 s
Current children cumulated vsize: 163392 KiB
Current children cumulated memory: 161944 KiB
[startup+1122.3 s]
/proc/loadavg: 3.08 3.36 3.74 4/245 153611
/proc/meminfo: memFree=128090520/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=161800 memory=160352 CPUtime=1119.05 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 49689 0 0 0 111871 34 0 0 20 0 1 0 239081742 165683200 40088 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 40450 40088 544 484 0 39861 0
Current children cumulated CPU time: 1119.05 s
Current children cumulated vsize: 161800 KiB
Current children cumulated memory: 160352 KiB
[startup+1182.3 s]
/proc/loadavg: 3.06 3.30 3.70 4/245 153613
/proc/meminfo: memFree=128100588/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=168132 memory=166684 CPUtime=1178.89 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 51320 0 0 0 117852 37 0 0 20 0 1 0 239081742 172167168 41671 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 42033 41671 544 484 0 41444 0
Current children cumulated CPU time: 1178.89 s
Current children cumulated vsize: 168132 KiB
Current children cumulated memory: 166684 KiB
[startup+1242.3 s]
/proc/loadavg: 3.13 3.28 3.66 4/245 153615
/proc/meminfo: memFree=128073924/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=201232 memory=199768 CPUtime=1238.73 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 52524 0 0 0 123833 40 0 0 20 0 1 0 239081742 206061568 49942 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 50308 49942 544 484 0 49719 0
Current children cumulated CPU time: 1238.73 s
Current children cumulated vsize: 201232 KiB
Current children cumulated memory: 199768 KiB
[startup+1276.01 s]
# the end of solver process 153530 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=1271.94 s, system=0.412081 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 3.11 3.27 3.66 4/245 153615
/proc/meminfo: memFree=128103028/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=168132 memory=166684 CPUtime=1250.79 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 52524 0 0 0 125039 40 0 0 20 0 1 0 239081742 172167168 41671 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 42033 41671 544 484 0 41444 0
Current children cumulated CPU time: 1250.79 s
Current children cumulated vsize: 168132 KiB
Current children cumulated memory: 166684 KiB
[startup+1267.2 s]
/proc/loadavg: 3.15 3.27 3.65 4/245 153621
/proc/meminfo: memFree=128075088/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1263.56 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 126315 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1263.56 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1270.4 s]
/proc/loadavg: 3.15 3.27 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1266.75 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 126634 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1266.75 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1273.6 s]
/proc/loadavg: 3.14 3.26 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1269.94 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 126953 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1269.94 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1275.2 s]
/proc/loadavg: 3.14 3.26 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1271.54 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 127113 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1271.54 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1275.6 s]
/proc/loadavg: 3.14 3.26 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1271.93 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 127152 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1271.93 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1275.8 s]
/proc/loadavg: 3.14 3.26 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1272.13 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 127172 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1272.13 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
[startup+1275.9 s]
/proc/loadavg: 3.14 3.26 3.65 4/245 153621
/proc/meminfo: memFree=128052844/131382120 swapFree=33010416/33010684
[pid=153530] ppid=153527 vsize=221380 memory=219916 CPUtime=1272.23 cores=1,3
/proc/153530/stat : 153530 (uwrmaxsat) R 153527 153530 151846 0 -1 4194304 53064 0 0 0 127182 41 0 0 20 0 1 0 239081742 226693120 54979 18446744073709551615 4198400 6176925 140730515110288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 35135488 140730515118440 140730515118567 140730515118567 140730515124171 0
/proc/153530/statm: 55345 54979 544 484 0 54756 0
Current children cumulated CPU time: 1272.23 s
Current children cumulated vsize: 221380 KiB
Current children cumulated memory: 219916 KiB
Child status: 10
Real time (s): 1276.01
CPU time (s): 1272.35
CPU user time (s): 1271.94
CPU system time (s): 0.412081
CPU usage (%): 99.7131
Max. virtual memory (cumulated for all children) (KiB): 221380
Max. memory (cumulated for all children) (KiB): 219916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1271.94
system time used= 0.412081
maximum resident set size= 219916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53064
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= 28
involuntary context switches= 544
# summary of solver processes directly reported to runsolver:
# pid: 153530
# total CPU time (s): 1272.35
# total CPU user time (s): 1271.94
# total CPU system time (s): 0.412081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34088 second user time and 12.635 second system time
The end
Begin job on nodeC006 at 2025-07-23 03:27:04
IDJOB=4545247
IDBENCH=180780
IDSOLVER=3372
FILE ID=nodeC006/4545247-1753234024
RUNJOBID= nodeC006-1753224833-151858
SLURM_JOB_ID= 9687836
Free space on /tmp= 432756 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545247-1753234024/watcher-4545247-1753234024 -o /tmp/evaluation-result-4545247-1753234024/solver-4545247-1753234024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753224833-151858 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4545247-1753234024.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=2025669201
nodeC006 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 : 3660.437
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.32
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 : 1298.032
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.32
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.486
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.32
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.144
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.32
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 : 3660.437
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.32
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 : 3662.724
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.32
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.428
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.32
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.628
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128159420 kB
MemAvailable: 128886632 kB
Buffers: 2128 kB
Cached: 1404448 kB
SwapCached: 12 kB
Active: 1970564 kB
Inactive: 426904 kB
Active(anon): 1006240 kB
Inactive(anon): 10792 kB
Active(file): 964324 kB
Inactive(file): 416112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3884 kB
Writeback: 0 kB
AnonPages: 983556 kB
Mapped: 115156 kB
Shmem: 26140 kB
KReclaimable: 372420 kB
Slab: 466316 kB
SReclaimable: 372420 kB
SUnreclaim: 93896 kB
KernelStack: 4060 kB
PageTables: 5080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1335460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 888832 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432756 MiB
End job on nodeC006 at 2025-07-23 03:48:20