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 (63003 MiB free)
memory of node 1: 64465 MiB (63933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507462-1751184720/watcher-4507462-1751184720 -o /tmp/evaluation-result-4507462-1751184720/solver-4507462-1751184720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751181106-25739 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1347095245 --ls=0 --inp-dombreaklim=0 HOME/instance-4507462-1751184720.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=26166, runsolver pid=26163
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129955872/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=50304 memory=26820 CPUtime=0.1 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 6103 0 0 0 9 1 0 0 20 0 1 0 34151403 51511296 6705 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 12576 6705 1248 1200 0 11056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50304 KiB
Current children cumulated memory: 26820 KiB
[startup+0.20539 s]*
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129955872/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=50304 memory=27204 CPUtime=0.2 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 6184 0 0 0 19 1 0 0 20 0 1 0 34151403 51511296 6801 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 12576 6801 1248 1200 0 11056 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50304 KiB
Current children cumulated memory: 27204 KiB
[startup+0.304882 s]*
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129955872/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=50780 memory=27460 CPUtime=0.3 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 6267 0 0 0 29 1 0 0 20 0 1 0 34151403 51998720 6865 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 12695 6865 1248 1200 0 11175 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50780 KiB
Current children cumulated memory: 27460 KiB
[startup+0.700142 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129951776/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=51972 memory=31888 CPUtime=0.69 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 6827 0 0 0 68 1 0 0 20 0 1 0 34151403 53219328 7972 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 12993 7972 1280 1200 0 11473 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51972 KiB
Current children cumulated memory: 31888 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129919324/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=55140 memory=41348 CPUtime=1.49 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 7641 0 0 0 148 1 0 0 20 0 1 0 34151403 56463360 10337 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 13785 10337 1280 1200 0 12265 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55140 KiB
Current children cumulated memory: 41348 KiB
[startup+3.10524 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129883048/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=58664 memory=48404 CPUtime=3.09 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 8391 0 0 0 307 2 0 0 20 0 1 0 34151403 60071936 12101 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 14666 12101 1280 1200 0 13146 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58664 KiB
Current children cumulated memory: 48404 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.09 4.04 5/262 26167
/proc/meminfo: memFree=129805400/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=76748 memory=64212 CPUtime=6.27 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 10537 0 0 0 624 3 0 0 20 0 1 0 34151403 78589952 16053 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 19187 16053 1280 1200 0 17667 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76748 KiB
Current children cumulated memory: 64212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.04 5/262 26167
/proc/meminfo: memFree=129789412/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=79300 memory=66772 CPUtime=12.65 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 11175 0 0 0 1260 5 0 0 20 0 1 0 34151403 81203200 16693 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 19825 16693 1280 1200 0 18305 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 66772 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.10 4.04 5/263 26168
/proc/meminfo: memFree=129747348/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=84660 memory=72020 CPUtime=25.42 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 12501 0 0 0 2534 8 0 0 20 0 1 0 34151403 86691840 18005 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 21165 18005 1280 1200 0 19645 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84660 KiB
Current children cumulated memory: 72020 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 26169
/proc/meminfo: memFree=129735572/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=93224 memory=82100 CPUtime=50.96 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 14526 0 0 0 5081 15 0 0 20 0 1 0 34151403 95461376 20525 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 23306 20525 1280 1200 0 21786 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 93224 KiB
Current children cumulated memory: 82100 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/263 26170
/proc/meminfo: memFree=129679008/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=121452 memory=95768 CPUtime=102.02 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 16306 0 0 0 10177 25 0 0 20 0 1 0 34151403 124366848 23942 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 30363 23942 1280 1200 0 28843 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 121452 KiB
Current children cumulated memory: 95768 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/264 26175
/proc/meminfo: memFree=129649820/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=127960 memory=104272 CPUtime=161.87 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 17956 0 0 0 16150 37 0 0 20 0 1 0 34151403 131031040 26068 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 31990 26068 1280 1200 0 30470 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 127960 KiB
Current children cumulated memory: 104272 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/264 26179
/proc/meminfo: memFree=129614096/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=130716 memory=107088 CPUtime=221.66 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 18669 0 0 0 22118 48 0 0 20 0 1 0 34151403 133853184 26772 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 32679 26772 1280 1200 0 31159 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 130716 KiB
Current children cumulated memory: 107088 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/264 26181
/proc/meminfo: memFree=129574160/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=132780 memory=109648 CPUtime=281.46 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 19218 0 0 0 28086 60 0 0 20 0 1 0 34151403 135966720 27412 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 33195 27412 1280 1200 0 31675 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 132780 KiB
Current children cumulated memory: 109648 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 26185
/proc/meminfo: memFree=129587696/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=136220 memory=113232 CPUtime=341.3 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 20089 0 0 0 34060 70 0 0 20 0 1 0 34151403 139489280 28308 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 34055 28308 1280 1200 0 32535 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 136220 KiB
Current children cumulated memory: 113232 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.06 5/264 26188
/proc/meminfo: memFree=129580560/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=137416 memory=114512 CPUtime=401.14 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 20442 0 0 0 40034 80 0 0 20 0 1 0 34151403 140713984 28628 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 34354 28628 1280 1200 0 32834 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 137416 KiB
Current children cumulated memory: 114512 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/264 26190
/proc/meminfo: memFree=129582172/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=139592 memory=116688 CPUtime=460.99 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 20989 0 0 0 46007 92 0 0 20 0 1 0 34151403 142942208 29172 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 34898 29172 1280 1200 0 33378 0
################
# More data... #
################
Current children cumulated memory: 165144 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 26574
/proc/meminfo: memFree=129726564/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=179752 memory=165272 CPUtime=2854.43 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 31277 0 0 0 284938 505 0 0 20 0 1 0 34151403 184066048 41318 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 44938 41318 1312 1200 0 43418 0
Current children cumulated CPU time: 2854.43 s
Current children cumulated vsize: 179752 KiB
Current children cumulated memory: 165272 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 26576
/proc/meminfo: memFree=129707148/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=180844 memory=166296 CPUtime=2914.28 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 31554 0 0 0 290922 506 0 0 20 0 1 0 34151403 185184256 41574 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45211 41574 1312 1200 0 43691 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 180844 KiB
Current children cumulated memory: 166296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 26589
/proc/meminfo: memFree=129707692/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=181116 memory=166552 CPUtime=2974.13 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 31623 0 0 0 296905 508 0 0 20 0 1 0 34151403 185462784 41638 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45279 41638 1312 1200 0 43759 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 181116 KiB
Current children cumulated memory: 166552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 26591
/proc/meminfo: memFree=129707192/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=181540 memory=167064 CPUtime=3033.98 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 31744 0 0 0 302881 517 0 0 20 0 1 0 34151403 185896960 41766 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45385 41766 1312 1200 0 43865 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 181540 KiB
Current children cumulated memory: 167064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 26593
/proc/meminfo: memFree=129699764/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=181836 memory=167320 CPUtime=3093.84 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 31825 0 0 0 308856 528 0 0 20 0 1 0 34151403 186200064 41830 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45459 41830 1312 1200 0 43939 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 181836 KiB
Current children cumulated memory: 167320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 26596
/proc/meminfo: memFree=129695564/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=182624 memory=168088 CPUtime=3153.69 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32023 0 0 0 314832 537 0 0 20 0 1 0 34151403 187006976 42022 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45656 42022 1312 1200 0 44136 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 182624 KiB
Current children cumulated memory: 168088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 26600
/proc/meminfo: memFree=129695320/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=183208 memory=168728 CPUtime=3213.54 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32169 0 0 0 320806 548 0 0 20 0 1 0 34151403 187604992 42182 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45802 42182 1312 1200 0 44282 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 183208 KiB
Current children cumulated memory: 168728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 26605
/proc/meminfo: memFree=129689248/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=183208 memory=168728 CPUtime=3273.39 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32169 0 0 0 326783 556 0 0 20 0 1 0 34151403 187604992 42182 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45802 42182 1312 1200 0 44282 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 183208 KiB
Current children cumulated memory: 168728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 26607
/proc/meminfo: memFree=129681336/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=183480 memory=168984 CPUtime=3333.24 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32261 0 0 0 332758 566 0 0 20 0 1 0 34151403 187883520 42246 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45870 42246 1312 1200 0 44350 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 183480 KiB
Current children cumulated memory: 168984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.16 4.11 5/264 26611
/proc/meminfo: memFree=129681384/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=183616 memory=169240 CPUtime=3393.1 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32320 0 0 0 338734 576 0 0 20 0 1 0 34151403 188022784 42310 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45904 42310 1312 1200 0 44384 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 183616 KiB
Current children cumulated memory: 169240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 26614
/proc/meminfo: memFree=129681276/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=183980 memory=169496 CPUtime=3452.95 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32387 0 0 0 344705 590 0 0 20 0 1 0 34151403 188395520 42374 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 45995 42374 1312 1200 0 44475 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 183980 KiB
Current children cumulated memory: 169496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 26618
/proc/meminfo: memFree=129681384/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=184616 memory=170136 CPUtime=3512.81 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32549 0 0 0 350687 594 0 0 20 0 1 0 34151403 189046784 42534 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 46154 42534 1312 1200 0 44634 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 184616 KiB
Current children cumulated memory: 170136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 26620
/proc/meminfo: memFree=129680820/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=185020 memory=170520 CPUtime=3572.65 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32650 0 0 0 356663 602 0 0 20 0 1 0 34151403 189460480 42630 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 46255 42630 1312 1200 0 44735 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 185020 KiB
Current children cumulated memory: 170520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 26620
/proc/meminfo: memFree=129672888/131250000 swapFree=33010684/33010684
[pid=26166] ppid=26163 vsize=185604 memory=171032 CPUtime=3600.09 cores=1,3
/proc/26166/stat : 26166 (Exact) R 26163 26166 25727 0 -1 4194304 32796 0 0 0 359402 607 0 0 20 0 1 0 34151403 190058496 42758 18446744073709551615 4198400 9112445 140733843549200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17551360 140733843556648 140733843556845 140733843556845 140733843562447 0
/proc/26166/statm: 46401 42758 1312 1200 0 44881 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 185604 KiB
Current children cumulated memory: 171032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 26166 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.03 s, system=6.07216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.1
CPU user time (s): 3594.03
CPU system time (s): 6.07216
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 185604
Max. memory (cumulated for all children) (KiB): 171032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.03
system time used= 6.07216
maximum resident set size= 171032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32797
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= 51
involuntary context switches= 3172
# summary of solver processes directly reported to runsolver:
# pid: 26166
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.03
# total CPU system time (s): 6.07216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59978 second user time and 12.9376 second system time
The end
Begin job on nodeC033 at 2025-06-29 10:12:00
IDJOB=4507462
IDBENCH=158355
IDSOLVER=3318
FILE ID=nodeC033/4507462-1751184720
RUNJOBID= nodeC033-1751181106-25739
SLURM_JOB_ID= 9587552
Free space on /tmp= 433040 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507462-1751184720/watcher-4507462-1751184720 -o /tmp/evaluation-result-4507462-1751184720/solver-4507462-1751184720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751181106-25739 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1347095245 --ls=0 --inp-dombreaklim=0 HOME/instance-4507462-1751184720.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=1347095245
nodeC033 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.066
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.13
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.084
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.13
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.546
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.13
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 : 3601.397
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.13
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.061
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.13
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.065
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.13
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 : 3598.483
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.13
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.008
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129987276 kB
MemAvailable: 129665396 kB
Buffers: 3280 kB
Cached: 488324 kB
SwapCached: 0 kB
Active: 459076 kB
Inactive: 230256 kB
Active(anon): 215856 kB
Inactive(anon): 0 kB
Active(file): 243220 kB
Inactive(file): 230256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31052 kB
Writeback: 0 kB
AnonPages: 200984 kB
Mapped: 118232 kB
Shmem: 18120 kB
KReclaimable: 87768 kB
Slab: 173436 kB
SReclaimable: 87768 kB
SUnreclaim: 85668 kB
KernelStack: 4272 kB
PageTables: 3372 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 568748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC033 at 2025-06-29 11:12:10