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: 63708 MiB (62325 MiB free)
memory of node 1: 64465 MiB (63733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519253-1751554029/watcher-4519253-1751554029 -o /tmp/evaluation-result-4519253-1751554029/solver-4519253-1751554029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80503 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519253-1751554029.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80554, runsolver pid=80546
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 3.10 5.38 6.08 5/264 80559
/proc/meminfo: memFree=129056688/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=8276 memory=7436 CPUtime=0.1 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 1661 0 0 0 10 0 0 0 20 0 1 0 71080389 8474624 1859 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2069 1859 544 484 0 1480 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 8276 KiB
Current children cumulated memory: 7436 KiB
[startup+0.205531 s]*
/proc/loadavg: 3.10 5.38 6.08 5/264 80559
/proc/meminfo: memFree=129031236/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=8352 memory=7612 CPUtime=0.2 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 2103 0 0 0 20 0 0 0 20 0 1 0 71080389 8552448 1903 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2088 1903 544 484 0 1499 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 8352 KiB
Current children cumulated memory: 7612 KiB
[startup+0.305761 s]*
/proc/loadavg: 3.10 5.38 6.08 5/264 80559
/proc/meminfo: memFree=129021912/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=8904 memory=8124 CPUtime=0.3 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 2231 0 0 0 30 0 0 0 20 0 1 0 71080389 9117696 2031 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2226 2031 544 484 0 1637 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 8904 KiB
Current children cumulated memory: 8124 KiB
[startup+0.700174 s]
/proc/loadavg: 3.10 5.38 6.08 5/264 80559
/proc/meminfo: memFree=129021912/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=9972 memory=9016 CPUtime=0.69 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 2848 0 0 0 69 0 0 0 20 0 1 0 71080389 10211328 2254 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2493 2254 544 484 0 1904 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 9972 KiB
Current children cumulated memory: 9016 KiB
[startup+1.50016 s]
/proc/loadavg: 3.10 5.38 6.08 5/264 80560
/proc/meminfo: memFree=129016976/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=9660 memory=8884 CPUtime=1.49 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 3514 0 0 0 149 0 0 0 20 0 1 0 71080389 9891840 2221 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2415 2221 544 484 0 1826 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 9660 KiB
Current children cumulated memory: 8884 KiB
[startup+3.10542 s]
/proc/loadavg: 3.10 5.38 6.08 5/264 80560
/proc/meminfo: memFree=129009304/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=11156 memory=10380 CPUtime=3.09 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 5393 0 0 0 309 0 0 0 20 0 1 0 71080389 11423744 2595 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 2789 2595 544 484 0 2200 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 11156 KiB
Current children cumulated memory: 10380 KiB
[startup+6.30017 s]
/proc/loadavg: 3.17 5.36 6.07 5/264 80650
/proc/meminfo: memFree=128994160/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=14236 memory=13460 CPUtime=6.28 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 9669 0 0 0 627 1 0 0 20 0 1 0 71080389 14577664 3365 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 3559 3365 544 484 0 2970 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 14236 KiB
Current children cumulated memory: 13460 KiB
[startup+12.7001 s]
/proc/loadavg: 3.24 5.34 6.05 5/264 80650
/proc/meminfo: memFree=128916784/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=14912 memory=14180 CPUtime=12.66 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 14714 0 0 0 1264 2 0 0 20 0 1 0 71080389 15269888 3545 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 3728 3545 544 484 0 3139 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 14912 KiB
Current children cumulated memory: 14180 KiB
[startup+25.5002 s]
/proc/loadavg: 3.49 5.29 6.03 5/264 80650
/proc/meminfo: memFree=128883844/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=21000 memory=20216 CPUtime=25.42 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 22912 0 0 0 2539 3 0 0 20 0 1 0 71080389 21504000 5054 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 5250 5054 544 484 0 4661 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 21000 KiB
Current children cumulated memory: 20216 KiB
[startup+51.1055 s]
/proc/loadavg: 3.66 5.18 5.97 5/264 80650
/proc/meminfo: memFree=128826856/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=24648 memory=23492 CPUtime=50.95 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 29697 0 0 0 5090 5 0 0 20 0 1 0 71080389 25239552 5873 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 6162 5873 544 484 0 5573 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 24648 KiB
Current children cumulated memory: 23492 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 5.01 5.87 5/264 80654
/proc/meminfo: memFree=128792128/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=35264 memory=34272 CPUtime=102 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 43723 0 0 0 10192 8 0 0 20 0 1 0 71080389 36110336 8568 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 8816 8568 544 484 0 8227 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 35264 KiB
Current children cumulated memory: 34272 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.86 5.76 5/264 80657
/proc/meminfo: memFree=128784552/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=41828 memory=41076 CPUtime=161.83 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 48993 0 0 0 16173 10 0 0 20 0 1 0 71080389 42831872 10269 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 10457 10269 544 484 0 9868 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 41076 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.71 5.65 5/264 80663
/proc/meminfo: memFree=128730388/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=59628 memory=58852 CPUtime=221.65 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 55247 0 0 0 22153 12 0 0 20 0 1 0 71080389 61059072 14713 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 14907 14713 544 484 0 14318 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 59628 KiB
Current children cumulated memory: 58852 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.60 5.55 5/265 80666
/proc/meminfo: memFree=128743832/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=52696 memory=51920 CPUtime=281.47 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 57507 0 0 0 28134 13 0 0 20 0 1 0 71080389 53960704 12980 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 13174 12980 544 484 0 12585 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 51920 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.52 5.46 5/264 80668
/proc/meminfo: memFree=128708628/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=65696 memory=64880 CPUtime=341.27 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 61477 0 0 0 34112 15 0 0 20 0 1 0 71080389 67272704 16220 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 16424 16220 544 484 0 15835 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 65696 KiB
Current children cumulated memory: 64880 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.43 5.37 5/264 80670
/proc/meminfo: memFree=128690452/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=53460 memory=52684 CPUtime=401.07 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 64146 0 0 0 40091 16 0 0 20 0 1 0 71080389 54743040 13171 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 13365 13171 544 484 0 12776 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 52684 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.38 5.29 5/264 80672
/proc/meminfo: memFree=128708116/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=65960 memory=65144 CPUtime=460.88 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 67722 0 0 0 46070 18 0 0 20 0 1 0 71080389 67543040 16286 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 16490 16286 544 484 0 15901 0
################
# More data... #
################
Current children cumulated memory: 164672 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.16 5/264 80802
/proc/meminfo: memFree=128435096/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=114144 memory=113440 CPUtime=2913.96 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 98194 0 0 0 291357 39 0 0 20 0 1 0 71080389 116883456 28360 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 28536 28360 544 484 0 27947 0
Current children cumulated CPU time: 2913.96 s
Current children cumulated vsize: 114144 KiB
Current children cumulated memory: 113440 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.15 5/264 80804
/proc/meminfo: memFree=128414428/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=113392 memory=112560 CPUtime=2973.8 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 99425 0 0 0 297339 41 0 0 20 0 1 0 71080389 116113408 28140 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 28348 28140 544 484 0 27759 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 113392 KiB
Current children cumulated memory: 112560 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.15 5/263 80806
/proc/meminfo: memFree=128409488/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=141720 memory=140864 CPUtime=3033.62 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 99866 0 0 0 303321 41 0 0 20 0 1 0 71080389 145121280 35216 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 35430 35216 544 484 0 34841 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 141720 KiB
Current children cumulated memory: 140864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.17 4.17 5/263 80810
/proc/meminfo: memFree=128365984/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=170252 memory=169408 CPUtime=3093.46 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 100356 0 0 0 309304 42 0 0 20 0 1 0 71080389 174338048 42352 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42563 42352 544 484 0 41974 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 170252 KiB
Current children cumulated memory: 169408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/263 80812
/proc/meminfo: memFree=128359476/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=170252 memory=169420 CPUtime=3153.29 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 100808 0 0 0 315287 42 0 0 20 0 1 0 71080389 174338048 42355 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42563 42355 544 484 0 41974 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 170252 KiB
Current children cumulated memory: 169420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/264 80820
/proc/meminfo: memFree=128398972/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=170252 memory=169420 CPUtime=3213.12 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 100833 0 0 0 321270 42 0 0 20 0 1 0 71080389 174338048 42355 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42563 42355 544 484 0 41974 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 170252 KiB
Current children cumulated memory: 169420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/264 80822
/proc/meminfo: memFree=128363100/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=170252 memory=169420 CPUtime=3272.95 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 100833 0 0 0 327253 42 0 0 20 0 1 0 71080389 174338048 42355 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42563 42355 544 484 0 41974 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 170252 KiB
Current children cumulated memory: 169420 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/265 80825
/proc/meminfo: memFree=128400624/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=170252 memory=169420 CPUtime=3332.79 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 100834 0 0 0 333237 42 0 0 20 0 1 0 71080389 174338048 42355 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42563 42355 544 484 0 41974 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 170252 KiB
Current children cumulated memory: 169420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.19 4.17 5/265 80827
/proc/meminfo: memFree=128453660/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=113076 memory=112372 CPUtime=3392.62 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 101167 0 0 0 339219 43 0 0 20 0 1 0 71080389 115789824 28093 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 28269 28093 544 484 0 27680 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 113076 KiB
Current children cumulated memory: 112372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.29 4.21 5/265 80829
/proc/meminfo: memFree=128386224/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=196916 memory=196032 CPUtime=3452.46 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 102721 0 0 0 345201 45 0 0 20 0 1 0 71080389 201641984 49008 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 49229 49008 544 484 0 48640 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 196916 KiB
Current children cumulated memory: 196032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.30 4.22 5/264 80831
/proc/meminfo: memFree=128380148/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=196916 memory=196032 CPUtime=3512.29 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 102733 0 0 0 351184 45 0 0 20 0 1 0 71080389 201641984 49008 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 49229 49008 544 484 0 48640 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 196916 KiB
Current children cumulated memory: 196032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.26 4.21 5/264 80833
/proc/meminfo: memFree=128373708/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=169444 memory=168512 CPUtime=3572.12 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 103519 0 0 0 357166 46 0 0 20 0 1 0 71080389 173510656 42128 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42361 42128 544 484 0 41772 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 169444 KiB
Current children cumulated memory: 168512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.20 4.25 4.20 4/260 80841
/proc/meminfo: memFree=128603620/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=169444 memory=168512 CPUtime=3600.04 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 103519 0 0 0 359958 46 0 0 20 0 1 0 71080389 173510656 42128 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42361 42128 544 484 0 41772 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 169444 KiB
Current children cumulated memory: 168512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 80554 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.468445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.20 4.25 4.20 4/260 80841
/proc/meminfo: memFree=128603620/131249996 swapFree=33006296/33010684
[pid=80554] ppid=80546 vsize=169444 memory=168512 CPUtime=3600.04 cores=5,7
/proc/80554/stat : 80554 (uwrmaxsat) R 80546 80554 80490 0 -1 4194304 103519 0 0 0 359958 46 0 0 20 0 1 0 71080389 173510656 42128 18446744073709551615 4198400 6176925 140728812014224 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 9007104 140728812018026 140728812018153 140728812018153 140728812023755 0
/proc/80554/statm: 42361 42128 544 484 0 41772 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 169444 KiB
Current children cumulated memory: 168512 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.06
CPU user time (s): 3599.59
CPU system time (s): 0.468445
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 200492
Max. memory (cumulated for all children) (KiB): 199620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.468445
maximum resident set size= 199620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103522
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= 26
involuntary context switches= 1476
# summary of solver processes directly reported to runsolver:
# pid: 80554
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.468445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70586 second user time and 16.1679 second system time
The end
Begin job on nodeC015 at 2025-07-03 16:47:09
IDJOB=4519253
IDBENCH=177196
IDSOLVER=3372
FILE ID=nodeC015/4519253-1751554029
RUNJOBID= nodeC015-1751554029-80503
SLURM_JOB_ID= 9598741
Free space on /tmp= 432372 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519253-1751554029/watcher-4519253-1751554029 -o /tmp/evaluation-result-4519253-1751554029/solver-4519253-1751554029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80503 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519253-1751554029.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa2358c675fac141ded392b1a236afa
RANDOM SEED=379316932
nodeC015 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 : 0xb00002a
cpu MHz : 3602.874
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3600.000
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3600.942
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3651.458
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3600.169
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3600.087
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3601.001
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
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 : 0xb00002a
cpu MHz : 3634.764
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129088692 kB
MemAvailable: 129720380 kB
Buffers: 1508 kB
Cached: 1414832 kB
SwapCached: 3880 kB
Active: 319516 kB
Inactive: 1176996 kB
Active(anon): 45516 kB
Inactive(anon): 48808 kB
Active(file): 274000 kB
Inactive(file): 1128188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11432 kB
Writeback: 0 kB
AnonPages: 79352 kB
Mapped: 100156 kB
Shmem: 14152 kB
KReclaimable: 137480 kB
Slab: 228460 kB
SReclaimable: 137480 kB
SUnreclaim: 90980 kB
KernelStack: 4036 kB
PageTables: 2880 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 342636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432360 MiB
End job on nodeC015 at 2025-07-03 17:47:20