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: 63837 MiB (63131 MiB free)
memory of node 1: 64465 MiB (63941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510486-1751196781/watcher-4510486-1751196781 -o /tmp/evaluation-result-4510486-1751196781/solver-4510486-1751196781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751196346-24650 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510486-1751196781.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=25085, runsolver pid=25082
[startup+0.100065 s]*
/proc/loadavg: 4.11 3.41 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=86584 memory=14056 CPUtime=0.08 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 1479 0 0 0 7 1 0 0 20 0 1 0 35357468 88662016 3514 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 21646 3514 2496 595 0 6313 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86584 KiB
Current children cumulated memory: 14056 KiB
[startup+0.212619 s]*
/proc/loadavg: 4.11 3.41 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=0.18 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 16 2 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+0.312139 s]*
/proc/loadavg: 4.11 3.41 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=0.27 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 24 3 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+0.70015 s]
/proc/loadavg: 4.11 3.41 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=0.63 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 57 6 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+1.50011 s]
/proc/loadavg: 4.11 3.41 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=1.42 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 129 13 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+3.11195 s]
/proc/loadavg: 4.10 3.42 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=3.02 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 275 27 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 3.42 2.44 5/251 25086
/proc/meminfo: memFree=130122688/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=6.2 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 564 56 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.44 2.46 5/251 25086
/proc/meminfo: memFree=130122928/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=89652 memory=17000 CPUtime=12.58 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 2201 0 0 0 1138 120 0 0 20 0 1 0 35357468 91803648 4250 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 22413 4250 2528 595 0 7080 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 17000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.46 2.48 5/251 25086
/proc/meminfo: memFree=130114848/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=92304 memory=22404 CPUtime=25.36 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 3037 0 0 0 2303 233 0 0 20 0 1 0 35357468 94519296 5601 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 23076 5601 2560 595 0 7743 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 92304 KiB
Current children cumulated memory: 22404 KiB
[startup+51.1124 s]
/proc/loadavg: 4.10 3.52 2.53 5/251 25087
/proc/meminfo: memFree=130114092/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=94052 memory=24196 CPUtime=50.91 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 3481 0 0 0 4647 444 0 0 20 0 1 0 35357468 96309248 6049 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 23513 6049 2560 595 0 8180 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 94052 KiB
Current children cumulated memory: 24196 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.60 2.61 5/251 25088
/proc/meminfo: memFree=130111824/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=95324 memory=25604 CPUtime=102 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 3827 0 0 0 9325 875 0 0 20 0 1 0 35357468 97611776 6401 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 23831 6401 2560 595 0 8498 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 25604 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.71 2.71 5/251 25183
/proc/meminfo: memFree=130220756/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=96476 memory=26756 CPUtime=161.86 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 4120 0 0 0 14805 1381 0 0 20 0 1 0 35357468 98791424 6689 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24119 6689 2560 595 0 8786 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 96476 KiB
Current children cumulated memory: 26756 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.78 2.80 5/252 25232
/proc/meminfo: memFree=130180984/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=97096 memory=27268 CPUtime=221.69 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 4275 0 0 0 20280 1889 0 0 20 0 1 0 35357468 99426304 6817 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24274 6817 2560 595 0 8941 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 97096 KiB
Current children cumulated memory: 27268 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.84 2.88 5/252 25234
/proc/meminfo: memFree=130212200/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=98744 memory=29060 CPUtime=281.53 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 4697 0 0 0 25806 2347 0 0 20 0 1 0 35357468 101113856 7265 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24686 7265 2560 595 0 9353 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 98744 KiB
Current children cumulated memory: 29060 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.89 2.96 5/251 25236
/proc/meminfo: memFree=130217100/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=99128 memory=29316 CPUtime=341.35 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 4778 0 0 0 31268 2867 0 0 20 0 1 0 35357468 101507072 7329 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24782 7329 2560 595 0 9449 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 99128 KiB
Current children cumulated memory: 29316 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.92 3.04 5/251 25238
/proc/meminfo: memFree=130204332/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=99456 memory=29696 CPUtime=401.19 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 5000 0 0 0 36755 3364 0 0 20 0 1 0 35357468 101842944 7424 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24864 7424 2560 595 0 9531 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 99456 KiB
Current children cumulated memory: 29696 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.97 3.11 5/251 25240
/proc/meminfo: memFree=130205772/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=99472 memory=29832 CPUtime=461.02 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 6582 0 0 0 42214 3888 0 0 20 0 1 0 35357468 101859328 7458 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 24868 7458 2560 595 0 9535 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.04 5/250 25415
/proc/meminfo: memFree=130181572/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=108912 memory=39272 CPUtime=3035.33 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 164617 0 0 0 279355 24178 0 0 20 0 1 0 35357468 111525888 9818 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27228 9818 2560 595 0 11895 0
Current children cumulated CPU time: 3035.33 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 39272 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 25461
/proc/meminfo: memFree=130208896/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=108996 memory=39356 CPUtime=3095.21 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 169527 0 0 0 284822 24699 0 0 20 0 1 0 35357468 111611904 9839 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27249 9839 2560 595 0 11916 0
Current children cumulated CPU time: 3095.21 s
Current children cumulated vsize: 108996 KiB
Current children cumulated memory: 39356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/250 25463
/proc/meminfo: memFree=130206600/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109344 memory=39612 CPUtime=3155.08 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 170057 0 0 0 290306 25202 0 0 20 0 1 0 35357468 111968256 9903 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27336 9903 2560 595 0 12003 0
Current children cumulated CPU time: 3155.08 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 39612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.03 5/251 25605
/proc/meminfo: memFree=130205724/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109088 memory=39448 CPUtime=3214.95 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 172976 0 0 0 295776 25719 0 0 20 0 1 0 35357468 111706112 9862 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27272 9862 2560 595 0 11939 0
Current children cumulated CPU time: 3214.95 s
Current children cumulated vsize: 109088 KiB
Current children cumulated memory: 39448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.07 4.03 5/251 25696
/proc/meminfo: memFree=130161796/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109184 memory=39544 CPUtime=3274.83 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 180417 0 0 0 301312 26171 0 0 20 0 1 0 35357468 111804416 9886 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27296 9886 2560 595 0 11963 0
Current children cumulated CPU time: 3274.83 s
Current children cumulated vsize: 109184 KiB
Current children cumulated memory: 39544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.07 4.03 5/251 25878
/proc/meminfo: memFree=126605160/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109220 memory=39580 CPUtime=3334.7 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 183283 0 0 0 306778 26692 0 0 20 0 1 0 35357468 111841280 9895 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27305 9895 2560 595 0 11972 0
Current children cumulated CPU time: 3334.7 s
Current children cumulated vsize: 109220 KiB
Current children cumulated memory: 39580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.07 4.03 5/251 25880
/proc/meminfo: memFree=116532456/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109316 memory=39676 CPUtime=3394.58 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 189365 0 0 0 312263 27195 0 0 20 0 1 0 35357468 111939584 9919 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27329 9919 2560 595 0 11996 0
Current children cumulated CPU time: 3394.58 s
Current children cumulated vsize: 109316 KiB
Current children cumulated memory: 39676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.07 4.03 5/251 25928
/proc/meminfo: memFree=129079172/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109412 memory=39772 CPUtime=3454.46 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 193929 0 0 0 317726 27720 0 0 20 0 1 0 35357468 112037888 9943 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27353 9943 2560 595 0 12020 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 109412 KiB
Current children cumulated memory: 39772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.08 4.04 5/251 25930
/proc/meminfo: memFree=120491668/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3514.34 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 204928 0 0 0 323325 28109 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.03 5/250 26021
/proc/meminfo: memFree=110967112/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3574.22 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 210138 0 0 0 328814 28608 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3574.22 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 4.09 4.08 4.03 5/250 26022
/proc/meminfo: memFree=102346160/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3600.07 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 211914 0 0 0 331170 28837 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 25085 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3313.5 s, system=288.581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.09 4.08 4.03 5/250 26022
/proc/meminfo: memFree=102145620/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3601.47 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 211914 0 0 0 331295 28852 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3601.47 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
[startup+3610 s]*
/proc/loadavg: 4.09 4.08 4.03 5/250 26023
/proc/meminfo: memFree=101605360/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3601.88 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 211914 0 0 0 331332 28856 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
[startup+3610.2 s]
/proc/loadavg: 4.09 4.08 4.03 5/250 26023
/proc/meminfo: memFree=101605360/131382112 swapFree=33010684/33010684
[pid=25085] ppid=25082 vsize=109636 memory=39996 CPUtime=3602.07 cores=4,6
/proc/25085/stat : 25085 (SynLSCD) R 25082 25085 24639 0 -1 4194304 211914 0 0 0 331349 28858 0 0 20 0 1 0 35357468 112267264 9999 18446744073709551615 94923761000448 94923763434601 140735693151520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94923763916024 94923763949056 94923771559936 140735693154662 140735693154795 140735693154795 140735693160397 0
/proc/25085/statm: 27409 9999 2560 595 0 12076 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.2
CPU time (s): 3602.08
CPU user time (s): 3313.5
CPU system time (s): 288.581
CPU usage (%): 99.775
Max. virtual memory (cumulated for all children) (KiB): 109860
Max. memory (cumulated for all children) (KiB): 40028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3313.5
system time used= 288.581
maximum resident set size= 40380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211914
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= 19124
# summary of solver processes directly reported to runsolver:
# pid: 25085
# total CPU time (s): 3602.08
# total CPU user time (s): 3313.5
# total CPU system time (s): 288.581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6024 second user time and 30.1792 second system time
The end
Begin job on nodeC005 at 2025-06-29 13:33:01
IDJOB=4510486
IDBENCH=160366
IDSOLVER=3369
FILE ID=nodeC005/4510486-1751196781
RUNJOBID= nodeC005-1751196346-24650
SLURM_JOB_ID= 9587608
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510486-1751196781/watcher-4510486-1751196781 -o /tmp/evaluation-result-4510486-1751196781/solver-4510486-1751196781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751196346-24650 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510486-1751196781.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=280681993
nodeC005 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 : 0xb00001f
cpu MHz : 3661.658
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3623.614
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.737
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.575
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.526
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3623.573
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.246
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130123088 kB
MemAvailable: 129789744 kB
Buffers: 3280 kB
Cached: 477548 kB
SwapCached: 0 kB
Active: 482344 kB
Inactive: 229660 kB
Active(anon): 249136 kB
Inactive(anon): 0 kB
Active(file): 233208 kB
Inactive(file): 229660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3556 kB
Writeback: 0 kB
AnonPages: 234280 kB
Mapped: 113724 kB
Shmem: 17960 kB
KReclaimable: 86828 kB
Slab: 167816 kB
SReclaimable: 86828 kB
SUnreclaim: 80988 kB
KernelStack: 4128 kB
PageTables: 3528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 631504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 157696 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC005 at 2025-06-29 14:33:11