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 (62084 MiB free)
memory of node 1: 64465 MiB (63711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519621-1751561253/watcher-4519621-1751561253 -o /tmp/evaluation-result-4519621-1751561253/solver-4519621-1751561253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80500 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519621-1751561253.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81336, runsolver pid=81332
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.33 4.20 4.12 5/262 81349
/proc/meminfo: memFree=128800468/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=12756 memory=11656 CPUtime=0.09 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 2817 0 0 0 9 0 0 0 20 0 1 0 71802744 13062144 2914 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 3189 2914 544 484 0 2600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 12756 KiB
Current children cumulated memory: 11656 KiB
[startup+0.205419 s]*
/proc/loadavg: 4.33 4.20 4.12 5/262 81349
/proc/meminfo: memFree=128790136/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=13428 memory=12176 CPUtime=0.2 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 3416 0 0 0 20 0 0 0 20 0 1 0 71802744 13750272 3044 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 3357 3044 544 484 0 2768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13428 KiB
Current children cumulated memory: 12176 KiB
[startup+0.305356 s]*
/proc/loadavg: 4.33 4.20 4.12 6/262 81349
/proc/meminfo: memFree=128789128/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=13428 memory=12176 CPUtime=0.3 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 3632 0 0 0 30 0 0 0 20 0 1 0 71802744 13750272 3044 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 3357 3044 544 484 0 2768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13428 KiB
Current children cumulated memory: 12176 KiB
[startup+0.700134 s]
/proc/loadavg: 4.33 4.20 4.12 6/260 81352
/proc/meminfo: memFree=128785308/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=15072 memory=13712 CPUtime=0.69 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 4287 0 0 0 69 0 0 0 20 0 1 0 71802744 15433728 3428 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 3768 3428 544 484 0 3179 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 15072 KiB
Current children cumulated memory: 13712 KiB
[startup+1.50017 s]
/proc/loadavg: 4.33 4.20 4.12 4/259 81372
/proc/meminfo: memFree=128799060/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=19844 memory=18544 CPUtime=1.49 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 6422 0 0 0 148 1 0 0 20 0 1 0 71802744 20320256 4636 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 4961 4636 544 484 0 4372 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 19844 KiB
Current children cumulated memory: 18544 KiB
[startup+3.10532 s]
/proc/loadavg: 4.30 4.20 4.12 5/263 81380
/proc/meminfo: memFree=128789412/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=26008 memory=24692 CPUtime=3.08 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 7937 0 0 0 307 1 0 0 20 0 1 0 71802744 26632192 6173 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 6502 6173 544 484 0 5913 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 26008 KiB
Current children cumulated memory: 24692 KiB
[startup+6.30014 s]
/proc/loadavg: 4.30 4.20 4.12 5/263 81380
/proc/meminfo: memFree=128762444/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=34808 memory=33516 CPUtime=6.28 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 10496 0 0 0 626 2 0 0 20 0 1 0 71802744 35643392 8379 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 8702 8379 544 484 0 8113 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 34808 KiB
Current children cumulated memory: 33516 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.19 4.12 5/263 81380
/proc/meminfo: memFree=128730864/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=38092 memory=36868 CPUtime=12.66 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 13080 0 0 0 1263 3 0 0 20 0 1 0 71802744 39006208 9217 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 9523 9217 544 484 0 8934 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 38092 KiB
Current children cumulated memory: 36868 KiB
[startup+25.5001 s]
/proc/loadavg: 4.21 4.19 4.12 5/263 81425
/proc/meminfo: memFree=128645724/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=68888 memory=67636 CPUtime=25.42 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 17510 0 0 0 2537 5 0 0 20 0 1 0 71802744 70541312 16909 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 17222 16909 544 484 0 16633 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 68888 KiB
Current children cumulated memory: 67636 KiB
[startup+51.1053 s]
/proc/loadavg: 4.20 4.19 4.12 5/263 81426
/proc/meminfo: memFree=128598096/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=79368 memory=78256 CPUtime=50.94 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 18973 0 0 0 5088 6 0 0 20 0 1 0 71802744 81272832 19564 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 19842 19564 544 484 0 19253 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 79368 KiB
Current children cumulated memory: 78256 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/264 81429
/proc/meminfo: memFree=128501148/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=99036 memory=97716 CPUtime=101.98 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 23598 0 0 0 10191 7 0 0 20 0 1 0 71802744 101412864 24429 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 24759 24429 544 484 0 24170 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 99036 KiB
Current children cumulated memory: 97716 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/265 81434
/proc/meminfo: memFree=128412404/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=136572 memory=135348 CPUtime=161.8 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 32359 0 0 0 16165 15 0 0 20 0 1 0 71802744 139849728 33837 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 34143 33837 544 484 0 33554 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 136572 KiB
Current children cumulated memory: 135348 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 81436
/proc/meminfo: memFree=128408176/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=140532 memory=139436 CPUtime=221.62 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 35154 0 0 0 22144 18 0 0 20 0 1 0 71802744 143904768 34859 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 35133 34859 544 484 0 34544 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 140532 KiB
Current children cumulated memory: 139436 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 81443
/proc/meminfo: memFree=128263452/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=122220 memory=121124 CPUtime=281.47 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 39894 0 0 0 28123 24 0 0 20 0 1 0 71802744 125153280 30281 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 30555 30281 544 484 0 29966 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 121124 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 81445
/proc/meminfo: memFree=128206476/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=133516 memory=132420 CPUtime=341.32 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 41181 0 0 0 34105 27 0 0 20 0 1 0 71802744 136720384 33105 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 33379 33105 544 484 0 32790 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 133516 KiB
Current children cumulated memory: 132420 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 81447
/proc/meminfo: memFree=128239344/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=205600 memory=204348 CPUtime=401.16 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 47842 0 0 0 40080 36 0 0 20 0 1 0 71802744 210534400 51087 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 51400 51087 544 484 0 50811 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 205600 KiB
Current children cumulated memory: 204348 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 81449
/proc/meminfo: memFree=128158788/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=202168 memory=200916 CPUtime=460.99 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 52562 0 0 0 46055 44 0 0 20 0 1 0 71802744 207020032 50229 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 50542 50229 544 484 0 49953 0
################
# More data... #
################
Current children cumulated memory: 396980 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 81624
/proc/meminfo: memFree=127725928/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=520720 memory=516324 CPUtime=2914.19 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 205496 0 0 0 291108 311 0 0 20 0 1 0 71802744 533217280 129081 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 130180 129081 544 484 0 129591 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 520720 KiB
Current children cumulated memory: 516324 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 81627
/proc/meminfo: memFree=127790248/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=520536 memory=518060 CPUtime=2974.02 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 206703 0 0 0 297087 315 0 0 20 0 1 0 71802744 533028864 129515 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 130134 129515 544 484 0 129545 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 520536 KiB
Current children cumulated memory: 518060 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/265 81629
/proc/meminfo: memFree=127829072/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=506296 memory=504232 CPUtime=3033.85 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 208151 0 0 0 303062 323 0 0 20 0 1 0 71802744 518447104 126058 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 126574 126058 544 484 0 125985 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 506296 KiB
Current children cumulated memory: 504232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/265 81631
/proc/meminfo: memFree=127942784/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=382212 memory=380148 CPUtime=3093.68 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 209902 0 0 0 309038 330 0 0 20 0 1 0 71802744 391385088 95037 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 95553 95037 544 484 0 94964 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 382212 KiB
Current children cumulated memory: 380148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 81635
/proc/meminfo: memFree=127817072/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=410524 memory=408460 CPUtime=3153.51 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 212364 0 0 0 315014 337 0 0 20 0 1 0 71802744 420376576 102115 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 102631 102115 544 484 0 102042 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 410524 KiB
Current children cumulated memory: 408460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.52 4.24 4.14 5/264 81638
/proc/meminfo: memFree=127856612/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=418528 memory=416500 CPUtime=3213.34 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 214448 0 0 0 320987 347 0 0 20 0 1 0 71802744 428572672 104125 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 104632 104125 544 484 0 104043 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 418528 KiB
Current children cumulated memory: 416500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.21 4.14 5/265 81644
/proc/meminfo: memFree=127838856/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=396560 memory=394624 CPUtime=3273.17 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 217441 0 0 0 326959 358 0 0 20 0 1 0 71802744 406077440 98656 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 99140 98656 544 484 0 98551 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 396560 KiB
Current children cumulated memory: 394624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/265 81648
/proc/meminfo: memFree=127947804/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=375176 memory=374008 CPUtime=3333 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 220268 0 0 0 332936 364 0 0 20 0 1 0 71802744 384180224 93502 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 93794 93502 544 484 0 93205 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 375176 KiB
Current children cumulated memory: 374008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/265 81650
/proc/meminfo: memFree=127909336/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=402004 memory=400836 CPUtime=3392.84 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 222129 0 0 0 338914 370 0 0 20 0 1 0 71802744 411652096 100209 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 100501 100209 544 484 0 99912 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 402004 KiB
Current children cumulated memory: 400836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/265 81652
/proc/meminfo: memFree=127863804/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=428728 memory=427560 CPUtime=3452.67 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 222911 0 0 0 344893 374 0 0 20 0 1 0 71802744 439017472 106890 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 107182 106890 544 484 0 106593 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 428728 KiB
Current children cumulated memory: 427560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/266 81655
/proc/meminfo: memFree=127853368/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=425828 memory=424660 CPUtime=3512.51 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 224581 0 0 0 350869 382 0 0 20 0 1 0 71802744 436047872 106165 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 106457 106165 544 484 0 105868 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 425828 KiB
Current children cumulated memory: 424660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/265 81657
/proc/meminfo: memFree=127893240/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=368084 memory=366916 CPUtime=3572.35 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 227159 0 0 0 356846 389 0 0 20 0 1 0 71802744 376918016 91729 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 92021 91729 544 484 0 91432 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 368084 KiB
Current children cumulated memory: 366916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.15 4.12 5/259 81666
/proc/meminfo: memFree=128273220/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=377848 memory=376680 CPUtime=3600.07 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 228356 0 0 0 359616 391 0 0 20 0 1 0 71802744 386916352 94170 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 94462 94170 544 484 0 93873 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 377848 KiB
Current children cumulated memory: 376680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 81336 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.17 s, system=3.91885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.14 4.15 4.12 5/259 81666
/proc/meminfo: memFree=128273220/131249996 swapFree=33006296/33010684
[pid=81336] ppid=81332 vsize=377848 memory=376680 CPUtime=3600.07 cores=0,2
/proc/81336/stat : 81336 (uwrmaxsat) R 81332 81336 80490 0 -1 4194304 228356 0 0 0 359616 391 0 0 20 0 1 0 71802744 386916352 94170 18446744073709551615 4198400 6176925 140726957590032 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 30670848 140726957594986 140726957595113 140726957595113 140726957600715 0
/proc/81336/statm: 94462 94170 544 484 0 93873 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 377848 KiB
Current children cumulated memory: 376680 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3596.17
CPU system time (s): 3.91885
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 725984
Max. memory (cumulated for all children) (KiB): 700288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.17
system time used= 3.91885
maximum resident set size= 723444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 4705
# summary of solver processes directly reported to runsolver:
# pid: 81336
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.17
# total CPU system time (s): 3.91885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63043 second user time and 15.5857 second system time
The end
Begin job on nodeC015 at 2025-07-03 18:47:33
IDJOB=4519621
IDBENCH=177316
IDSOLVER=3372
FILE ID=nodeC015/4519621-1751561253
RUNJOBID= nodeC015-1751554029-80500
SLURM_JOB_ID= 9598741
Free space on /tmp= 432296 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519621-1751561253/watcher-4519621-1751561253 -o /tmp/evaluation-result-4519621-1751561253/solver-4519621-1751561253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80500 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519621-1751561253.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=1235305352
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.103
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.073
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.240
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 : 3600.202
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.072
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.300
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.733
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.743
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: 128815852 kB
MemAvailable: 129460608 kB
Buffers: 1508 kB
Cached: 1427916 kB
SwapCached: 3880 kB
Active: 578372 kB
Inactive: 1189996 kB
Active(anon): 304356 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1141188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6136 kB
Writeback: 28 kB
AnonPages: 332984 kB
Mapped: 103588 kB
Shmem: 14152 kB
KReclaimable: 137580 kB
Slab: 228780 kB
SReclaimable: 137580 kB
SUnreclaim: 91200 kB
KernelStack: 4176 kB
PageTables: 3500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 626876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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 19:47:43