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: 63665 MiB (62948 MiB free)
memory of node 1: 64507 MiB (63332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486263-1751310018/watcher-4486263-1751310018 -o /tmp/evaluation-result-4486263-1751310018/solver-4486263-1751310018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46548 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486263-1751310018.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47454, runsolver pid=47451
[startup+0.100059 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129312116/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=54376 memory=15984 CPUtime=0.08 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 2014 0 0 0 8 0 0 0 20 0 1 0 46679710 55681024 3996 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 13594 3996 1664 2271 0 8232 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54376 KiB
Current children cumulated memory: 15984 KiB
[startup+0.205389 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129312116/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=66452 memory=28696 CPUtime=0.19 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 6362 0 0 0 17 2 0 0 20 0 1 0 46679710 68046848 7174 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 16613 7174 1792 2271 0 11251 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28696 KiB
[startup+0.305359 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129312116/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=66452 memory=28696 CPUtime=0.29 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 6362 0 0 0 27 2 0 0 20 0 1 0 46679710 68046848 7174 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 16613 7174 1792 2271 0 11251 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28696 KiB
[startup+0.700106 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129312116/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=0.68 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8307 0 0 0 65 3 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+1.50012 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129310688/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=1.47 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 139 8 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+3.1051 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129310936/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=3.08 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 290 18 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+6.30013 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 47455
/proc/meminfo: memFree=129335360/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=6.27 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 590 37 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+12.7001 s]
/proc/loadavg: 4.20 4.11 4.10 5/266 47455
/proc/meminfo: memFree=129348732/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=12.65 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 1193 72 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 4.11 4.09 5/266 47455
/proc/meminfo: memFree=129340540/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=25.43 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 2400 143 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 47467
/proc/meminfo: memFree=129334228/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=74948 memory=36504 CPUtime=50.98 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 8309 0 0 0 4802 296 0 0 20 0 1 0 46679710 76746752 9126 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 18737 9126 1824 2271 0 13375 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 74948 KiB
Current children cumulated memory: 36504 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 47518
/proc/meminfo: memFree=128778864/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=92464 memory=67392 CPUtime=102.02 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 12826 0 0 0 9848 354 0 0 20 0 1 0 46679710 94683136 16848 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 23116 16848 1856 2271 0 17754 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 92464 KiB
Current children cumulated memory: 67392 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 47521
/proc/meminfo: memFree=128607120/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=114744 memory=77560 CPUtime=161.82 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 15086 0 0 0 15824 358 0 0 20 0 1 0 46679710 117497856 19390 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 28686 19390 1856 2271 0 23324 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 114744 KiB
Current children cumulated memory: 77560 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/266 47523
/proc/meminfo: memFree=128460100/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=117060 memory=79992 CPUtime=221.63 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 15722 0 0 0 21800 363 0 0 20 0 1 0 46679710 119869440 19998 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 29265 19998 1856 2271 0 23903 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 117060 KiB
Current children cumulated memory: 79992 KiB
[startup+282.3 s]
/proc/loadavg: 4.54 4.19 4.12 5/264 47525
/proc/meminfo: memFree=128420408/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=123256 memory=90292 CPUtime=281.44 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 17288 0 0 0 27775 369 0 0 20 0 1 0 46679710 126214144 22573 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 30814 22573 1856 2271 0 25452 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 123256 KiB
Current children cumulated memory: 90292 KiB
[startup+342.3 s]
/proc/loadavg: 4.40 4.23 4.14 5/263 47527
/proc/meminfo: memFree=128404480/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=124852 memory=91700 CPUtime=341.25 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 17641 0 0 0 33751 374 0 0 20 0 1 0 46679710 127848448 22925 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 31213 22925 1856 2271 0 25851 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 124852 KiB
Current children cumulated memory: 91700 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/264 47530
/proc/meminfo: memFree=128412388/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=125604 memory=92596 CPUtime=401.05 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 17849 0 0 0 39725 380 0 0 20 0 1 0 46679710 128618496 23149 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 31401 23149 1856 2271 0 26039 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 125604 KiB
Current children cumulated memory: 92596 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 47532
/proc/meminfo: memFree=128407968/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=126800 memory=95796 CPUtime=460.88 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 18209 0 0 0 45702 386 0 0 20 0 1 0 46679710 129843200 23949 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 31700 23949 1856 2271 0 26338 0
################
# More data... #
################
Current children cumulated memory: 118404 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 47658
/proc/meminfo: memFree=128128372/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=143764 memory=118404 CPUtime=2914.81 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22622 0 0 0 290928 553 0 0 20 0 1 0 46679710 147214336 29601 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 35941 29601 1856 2271 0 30579 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 143764 KiB
Current children cumulated memory: 118404 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 47660
/proc/meminfo: memFree=128128508/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=143764 memory=118404 CPUtime=2974.65 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22635 0 0 0 296909 556 0 0 20 0 1 0 46679710 147214336 29601 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 35941 29601 1856 2271 0 30579 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 143764 KiB
Current children cumulated memory: 118404 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 47664
/proc/meminfo: memFree=128128072/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144116 memory=118788 CPUtime=3034.51 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22714 0 0 0 302891 560 0 0 20 0 1 0 46679710 147574784 29697 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36029 29697 1856 2271 0 30667 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 144116 KiB
Current children cumulated memory: 118788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 47675
/proc/meminfo: memFree=128115692/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144116 memory=118788 CPUtime=3094.35 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22714 0 0 0 308873 562 0 0 20 0 1 0 46679710 147574784 29697 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36029 29697 1856 2271 0 30667 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 144116 KiB
Current children cumulated memory: 118788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 47679
/proc/meminfo: memFree=128089016/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144292 memory=118916 CPUtime=3154.21 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22758 0 0 0 314854 567 0 0 20 0 1 0 46679710 147755008 29729 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36073 29729 1856 2271 0 30711 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 144292 KiB
Current children cumulated memory: 118916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 47681
/proc/meminfo: memFree=128088748/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144292 memory=119044 CPUtime=3214.06 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22776 0 0 0 320837 569 0 0 20 0 1 0 46679710 147755008 29761 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36073 29761 1856 2271 0 30711 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 144292 KiB
Current children cumulated memory: 119044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 47683
/proc/meminfo: memFree=128088564/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144292 memory=119044 CPUtime=3273.9 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22776 0 0 0 326817 573 0 0 20 0 1 0 46679710 147755008 29761 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36073 29761 1856 2271 0 30711 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 144292 KiB
Current children cumulated memory: 119044 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 47685
/proc/meminfo: memFree=128088852/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144492 memory=119172 CPUtime=3333.76 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22808 0 0 0 332800 576 0 0 20 0 1 0 46679710 147959808 29793 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36123 29793 1856 2271 0 30761 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 119172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 47687
/proc/meminfo: memFree=128086904/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144492 memory=121396 CPUtime=3393.61 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22842 0 0 0 338777 584 0 0 20 0 1 0 46679710 147959808 30349 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36123 30349 1856 2271 0 30761 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 121396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 47690
/proc/meminfo: memFree=128080300/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144492 memory=121396 CPUtime=3453.45 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22842 0 0 0 344760 585 0 0 20 0 1 0 46679710 147959808 30349 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36123 30349 1856 2271 0 30761 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 121396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/263 47692
/proc/meminfo: memFree=128096764/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144492 memory=121396 CPUtime=3513.3 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22842 0 0 0 350742 588 0 0 20 0 1 0 46679710 147959808 30349 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36123 30349 1856 2271 0 30761 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 121396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 47695
/proc/meminfo: memFree=128098480/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=144976 memory=121780 CPUtime=3573.15 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22939 0 0 0 356723 592 0 0 20 0 1 0 46679710 148455424 30445 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36244 30445 1856 2271 0 30882 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 144976 KiB
Current children cumulated memory: 121780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.16 4.14 4.11 3/256 47712
/proc/meminfo: memFree=129116148/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=145220 memory=121908 CPUtime=3600.09 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22992 0 0 0 359415 594 0 0 20 0 1 0 46679710 148705280 30477 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36305 30477 1856 2271 0 30943 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 145220 KiB
Current children cumulated memory: 121908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 47454 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.16 s, system=5.9469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.16 4.14 4.11 3/256 47712
/proc/meminfo: memFree=129116148/131249996 swapFree=33010684/33010684
[pid=47454] ppid=47451 vsize=145220 memory=121908 CPUtime=3600.09 cores=5,7
/proc/47454/stat : 47454 (ExactPR) R 47451 47454 46535 0 -1 4194304 22992 0 0 0 359415 594 0 0 20 0 1 0 46679710 148705280 30477 18446744073709551615 93940821831680 93940831131525 140731947989120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93940832917824 93940832956904 93940869902336 140731947997573 140731947997708 140731947997708 140731948003310 0
/proc/47454/statm: 36305 30477 1856 2271 0 30943 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 145220 KiB
Current children cumulated memory: 121908 KiB
Child status: 10
Real time (s): 3609.3
CPU time (s): 3600.1
CPU user time (s): 3594.16
CPU system time (s): 5.9469
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 145220
Max. memory (cumulated for all children) (KiB): 121908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.16
system time used= 5.9469
maximum resident set size= 122420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23008
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= 143
involuntary context switches= 1619
# summary of solver processes directly reported to runsolver:
# pid: 47454
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.16
# total CPU system time (s): 5.9469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0416 second user time and 16.1999 second system time
The end
Begin job on nodeC024 at 2025-06-30 21:00:18
IDJOB=4486263
IDBENCH=147017
IDSOLVER=3324
FILE ID=nodeC024/4486263-1751310018
RUNJOBID= nodeC024-1751302794-46548
SLURM_JOB_ID= 9594287
Free space on /tmp= 433024 MiB
SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486263-1751310018/watcher-4486263-1751310018 -o /tmp/evaluation-result-4486263-1751310018/solver-4486263-1751310018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46548 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486263-1751310018.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=616384525
nodeC024 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 : 3599.667
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 : 6999.36
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 : 3599.651
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 : 6999.36
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 : 3730.619
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 : 6999.36
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.731
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 : 6999.36
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 : 3599.670
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 : 6999.36
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 : 3601.637
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 : 6999.36
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 : 3700.000
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 : 6999.36
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 : 3599.683
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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129312484 kB
MemAvailable: 129647492 kB
Buffers: 3280 kB
Cached: 1140944 kB
SwapCached: 0 kB
Active: 396800 kB
Inactive: 885428 kB
Active(anon): 156080 kB
Inactive(anon): 0 kB
Active(file): 240720 kB
Inactive(file): 885428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49732 kB
Writeback: 0 kB
AnonPages: 140736 kB
Mapped: 114020 kB
Shmem: 18064 kB
KReclaimable: 95800 kB
Slab: 183004 kB
SReclaimable: 95800 kB
SUnreclaim: 87204 kB
KernelStack: 4368 kB
PageTables: 3472 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 553588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-30 22:00:28