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 (62126 MiB free)
memory of node 1: 64465 MiB (63690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519437-1751557640/watcher-4519437-1751557640 -o /tmp/evaluation-result-4519437-1751557640/solver-4519437-1751557640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80500 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519437-1751557640.opb -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=80927, runsolver pid=80924
Current StackSize limit: 8192 KiB
[startup+0.100051 s]*
/proc/loadavg: 4.20 4.25 4.20 4/257 80935
/proc/meminfo: memFree=128808992/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=21360 memory=20124 CPUtime=0.1 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 5009 0 0 0 9 1 0 0 20 0 1 0 71441519 21872640 5031 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 5340 5031 448 484 0 4751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21360 KiB
Current children cumulated memory: 20124 KiB
[startup+0.205704 s]*
/proc/loadavg: 4.20 4.25 4.20 4/254 80945
/proc/meminfo: memFree=128785308/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=38960 memory=37564 CPUtime=0.2 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 9775 0 0 0 18 2 0 0 20 0 1 0 71441519 39895040 9391 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 9740 9391 448 484 0 9151 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38960 KiB
Current children cumulated memory: 37564 KiB
[startup+0.305497 s]*
/proc/loadavg: 4.20 4.25 4.20 4/259 80954
/proc/meminfo: memFree=128755348/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=62420 memory=59888 CPUtime=0.3 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 15097 0 0 0 27 3 0 0 20 0 1 0 71441519 63918080 14972 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 15605 14972 448 484 0 15016 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62420 KiB
Current children cumulated memory: 59888 KiB
[startup+0.700184 s]
/proc/loadavg: 4.20 4.25 4.20 5/264 80969
/proc/meminfo: memFree=128685340/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=128916 memory=125016 CPUtime=0.69 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 28327 0 0 0 63 6 0 0 20 0 1 0 71441519 132009984 31254 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 32229 31254 448 484 0 31640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128916 KiB
Current children cumulated memory: 125016 KiB
[startup+1.50017 s]
/proc/loadavg: 4.20 4.25 4.20 5/264 80969
/proc/meminfo: memFree=128429852/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=267204 memory=261576 CPUtime=1.49 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 52249 0 0 0 137 12 0 0 20 0 1 0 71441519 273616896 65394 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 66801 65394 448 484 0 66212 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 267204 KiB
Current children cumulated memory: 261576 KiB
[startup+3.1055 s]
/proc/loadavg: 4.18 4.25 4.20 5/264 80969
/proc/meminfo: memFree=127404712/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=545424 memory=534144 CPUtime=3.08 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 92332 0 0 0 287 21 0 0 20 0 1 0 71441519 558514176 133536 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 136356 133536 448 484 0 135767 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 545424 KiB
Current children cumulated memory: 534144 KiB
[startup+6.30017 s]
/proc/loadavg: 4.18 4.25 4.20 5/264 81014
/proc/meminfo: memFree=126224100/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=902028 memory=864068 CPUtime=6.27 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 123657 0 0 0 596 31 0 0 20 0 1 0 71441519 923676672 216017 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 225507 216017 480 484 0 224918 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 902028 KiB
Current children cumulated memory: 864068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.24 4.20 5/264 81014
/proc/meminfo: memFree=124536300/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1766444 memory=1638388 CPUtime=12.65 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 219849 0 0 0 1199 66 0 0 20 0 1 0 71441519 1808838656 409597 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 441611 409597 544 484 0 441022 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1766444 KiB
Current children cumulated memory: 1638388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.25 4.20 5/264 81015
/proc/meminfo: memFree=123551420/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1929440 memory=1799840 CPUtime=25.41 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 229622 0 0 0 2450 91 0 0 20 0 1 0 71441519 1975746560 449960 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 482360 449960 544 484 0 481771 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1929440 KiB
Current children cumulated memory: 1799840 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.23 4.19 5/263 81015
/proc/meminfo: memFree=122646320/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1941616 memory=1781744 CPUtime=50.95 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 246501 0 0 0 4947 148 0 0 20 0 1 0 71441519 1988214784 445436 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 485404 445436 544 484 0 484815 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1941616 KiB
Current children cumulated memory: 1781744 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.20 4.19 5/266 81022
/proc/meminfo: memFree=122384932/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1772780 memory=1626240 CPUtime=102 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 272821 0 0 0 9969 231 0 0 20 0 1 0 71441519 1815326720 406560 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 443195 406560 544 484 0 442606 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1772780 KiB
Current children cumulated memory: 1626240 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/266 81024
/proc/meminfo: memFree=122872184/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1981912 memory=1836632 CPUtime=161.83 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 301898 0 0 0 15846 337 0 0 20 0 1 0 71441519 2029477888 459158 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 495478 459158 544 484 0 494889 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1981912 KiB
Current children cumulated memory: 1836632 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/266 81031
/proc/meminfo: memFree=122284880/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1783672 memory=1639180 CPUtime=221.67 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 327250 0 0 0 21729 438 0 0 20 0 1 0 71441519 1826480128 409795 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 445918 409795 544 484 0 445329 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1783672 KiB
Current children cumulated memory: 1639180 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/266 81033
/proc/meminfo: memFree=122621524/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1785848 memory=1641356 CPUtime=281.5 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 348336 0 0 0 27624 526 0 0 20 0 1 0 71441519 1828708352 410339 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 446462 410339 544 484 0 445873 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1785848 KiB
Current children cumulated memory: 1641356 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/266 81035
/proc/meminfo: memFree=122715844/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=2002208 memory=1859040 CPUtime=341.33 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 368061 0 0 0 33529 604 0 0 20 0 1 0 71441519 2050260992 464760 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 500552 464760 544 484 0 499963 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2002208 KiB
Current children cumulated memory: 1859040 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/264 81037
/proc/meminfo: memFree=122257844/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1790724 memory=1647640 CPUtime=401.17 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 382127 0 0 0 39454 663 0 0 20 0 1 0 71441519 1833701376 411910 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 447681 411910 544 484 0 447092 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1790724 KiB
Current children cumulated memory: 1647640 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/264 81039
/proc/meminfo: memFree=122570620/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1794120 memory=1651036 CPUtime=461.02 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 395224 0 0 0 45382 720 0 0 20 0 1 0 71441519 1837178880 412759 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 448530 412759 544 484 0 447941 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 1684356 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 81212
/proc/meminfo: memFree=122557532/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1821120 memory=1688532 CPUtime=2854.15 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 675992 0 0 0 283526 1889 0 0 20 0 1 0 71441519 1864826880 422133 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 455280 422133 544 484 0 454691 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 1821120 KiB
Current children cumulated memory: 1688532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 81215
/proc/meminfo: memFree=122458268/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1827264 memory=1694676 CPUtime=2913.97 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 681957 0 0 0 289481 1916 0 0 20 0 1 0 71441519 1871118336 423669 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 456816 423669 544 484 0 456227 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 1827264 KiB
Current children cumulated memory: 1694676 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 81217
/proc/meminfo: memFree=122427964/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1822032 memory=1689444 CPUtime=2973.8 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 687311 0 0 0 295442 1938 0 0 20 0 1 0 71441519 1865760768 422361 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 455508 422361 544 484 0 454919 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 1822032 KiB
Current children cumulated memory: 1689444 KiB
[startup+3042.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/265 81219
/proc/meminfo: memFree=122359512/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1823904 memory=1691316 CPUtime=3033.62 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 693307 0 0 0 301402 1960 0 0 20 0 1 0 71441519 1867677696 422829 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 455976 422829 544 484 0 455387 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 1823904 KiB
Current children cumulated memory: 1691316 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/265 81223
/proc/meminfo: memFree=122485436/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1824360 memory=1691772 CPUtime=3093.45 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 698543 0 0 0 307362 1983 0 0 20 0 1 0 71441519 1868144640 422943 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 456090 422943 544 484 0 455501 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 1824360 KiB
Current children cumulated memory: 1691772 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 81225
/proc/meminfo: memFree=122037636/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1824616 memory=1692028 CPUtime=3153.29 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 702371 0 0 0 313327 2002 0 0 20 0 1 0 71441519 1868406784 423007 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 456154 423007 544 484 0 455565 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 1824616 KiB
Current children cumulated memory: 1692028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 81232
/proc/meminfo: memFree=122465504/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1825172 memory=1692584 CPUtime=3213.11 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 708211 0 0 0 319287 2024 0 0 20 0 1 0 71441519 1868976128 423146 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 456293 423146 544 484 0 455704 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 1825172 KiB
Current children cumulated memory: 1692584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 81234
/proc/meminfo: memFree=122502904/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1840760 memory=1710220 CPUtime=3272.94 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 712988 0 0 0 325246 2048 0 0 20 0 1 0 71441519 1884938240 427555 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 460190 427555 544 484 0 459601 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 1840760 KiB
Current children cumulated memory: 1710220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 81236
/proc/meminfo: memFree=122492504/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1823936 memory=1693396 CPUtime=3332.77 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 716497 0 0 0 331213 2064 0 0 20 0 1 0 71441519 1867710464 423349 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 455984 423349 544 484 0 455395 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 1823936 KiB
Current children cumulated memory: 1693396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 81238
/proc/meminfo: memFree=122313612/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=2088360 memory=1957716 CPUtime=3392.59 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 720813 0 0 0 337172 2087 0 0 20 0 1 0 71441519 2138480640 489429 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 522090 489429 544 484 0 521501 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 2088360 KiB
Current children cumulated memory: 1957716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 81240
/proc/meminfo: memFree=122433928/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1827328 memory=1696788 CPUtime=3452.41 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 726968 0 0 0 343131 2110 0 0 20 0 1 0 71441519 1871183872 424197 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 456832 424197 544 484 0 456243 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 1827328 KiB
Current children cumulated memory: 1696788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 81243
/proc/meminfo: memFree=122516696/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1831664 memory=1701124 CPUtime=3512.25 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 731645 0 0 0 349096 2129 0 0 20 0 1 0 71441519 1875623936 425281 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 457916 425281 544 484 0 457327 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 1831664 KiB
Current children cumulated memory: 1701124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.21 4.12 5/263 81245
/proc/meminfo: memFree=122466772/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1836820 memory=1706280 CPUtime=3572.07 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 735589 0 0 0 355059 2148 0 0 20 0 1 0 71441519 1880903680 426570 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 459205 426570 544 484 0 458616 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1836820 KiB
Current children cumulated memory: 1706280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.33 4.20 4.12 5/263 81245
/proc/meminfo: memFree=122535256/131249996 swapFree=33006296/33010684
[pid=80927] ppid=80924 vsize=1829856 memory=1699316 CPUtime=3600.08 cores=0,2
/proc/80927/stat : 80927 (uwrmaxsat) R 80924 80927 80490 0 -1 4194304 739053 0 0 0 357846 2162 0 0 20 0 1 0 71441519 1873772544 424829 18446744073709551615 4198400 6176925 140724494431408 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 25497600 140724494436714 140724494436841 140724494436841 140724494442443 0
/proc/80927/statm: 457464 424829 544 484 0 456875 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1829856 KiB
Current children cumulated memory: 1699316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 80927 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.47 s, system=21.633 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.1
CPU user time (s): 3578.47
CPU system time (s): 21.633
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 2174856
Max. memory (cumulated for all children) (KiB): 2044216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.47
system time used= 21.633
maximum resident set size= 2044216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739053
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= 138
involuntary context switches= 4668
# summary of solver processes directly reported to runsolver:
# pid: 80927
# total CPU time (s): 3600.1
# total CPU user time (s): 3578.47
# total CPU system time (s): 21.633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10274 second user time and 16.147 second system time
The end
Begin job on nodeC015 at 2025-07-03 17:47:20
IDJOB=4519437
IDBENCH=177254
IDSOLVER=3372
FILE ID=nodeC015/4519437-1751557640
RUNJOBID= nodeC015-1751554029-80500
SLURM_JOB_ID= 9598741
Free space on /tmp= 432312 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519437-1751557640/watcher-4519437-1751557640 -o /tmp/evaluation-result-4519437-1751557640/solver-4519437-1751557640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80500 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519437-1751557640.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8850f77d674f2f3b7ac0e06d3d8c373
RANDOM SEED=126645368
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 : 3600.088
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.345
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.168
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 : 3494.539
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.069
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 : 3608.478
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 : 3600.477
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 : 3600.077
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: 128844744 kB
MemAvailable: 129525196 kB
Buffers: 1508 kB
Cached: 1463872 kB
SwapCached: 3880 kB
Active: 492644 kB
Inactive: 1225696 kB
Active(anon): 218628 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1176888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52264 kB
Writeback: 4 kB
AnonPages: 250732 kB
Mapped: 102920 kB
Shmem: 14152 kB
KReclaimable: 137572 kB
Slab: 228508 kB
SReclaimable: 137572 kB
SUnreclaim: 90936 kB
KernelStack: 4144 kB
PageTables: 3348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 545216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 182272 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= 432276 MiB
End job on nodeC015 at 2025-07-03 18:47:31