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: 63794 MiB (62494 MiB free)
memory of node 1: 64507 MiB (62886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522848-1751598143/watcher-4522848-1751598143 -o /tmp/evaluation-result-4522848-1751598143/solver-4522848-1751598143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4522848-1751598143.opb -total-t=3600 -no-par -v0
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84775, runsolver pid=84772
[startup+0.100074 s]*
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128339484/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=46272 memory=26004 CPUtime=0.1 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 6199 0 0 0 7 3 0 0 20 0 1 0 75493307 47382528 6501 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 11568 6501 736 2416 0 8670 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46272 KiB
Current children cumulated memory: 26004 KiB
[startup+0.221814 s]*
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128299668/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=50704 memory=30612 CPUtime=0.19 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 7323 0 0 0 16 3 0 0 20 0 1 0 75493307 51920896 7653 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 12676 7653 736 2416 0 9778 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50704 KiB
Current children cumulated memory: 30612 KiB
[startup+0.313556 s]*
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=128275476/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=57076 memory=34580 CPUtime=0.27 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 8335 0 0 0 24 3 0 0 20 0 1 0 75493307 58445824 8645 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 14269 8645 736 2416 0 11371 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 57076 KiB
Current children cumulated memory: 34580 KiB
[startup+0.700255 s]
/proc/loadavg: 0.77 1.03 1.22 6/252 84776
/proc/meminfo: memFree=128191812/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=89804 memory=67356 CPUtime=0.63 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 16882 0 0 0 56 7 0 0 20 0 1 0 75493307 91959296 16839 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 22451 16839 736 2416 0 19553 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 89804 KiB
Current children cumulated memory: 67356 KiB
[startup+1.50021 s]
/proc/loadavg: 0.77 1.03 1.22 5/252 84776
/proc/meminfo: memFree=127983020/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=195492 memory=169072 CPUtime=1.42 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 41529 0 0 0 129 13 0 0 20 0 1 0 75493307 200183808 42268 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 48873 42268 736 2416 0 45975 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 195492 KiB
Current children cumulated memory: 169072 KiB
[startup+3.10517 s]
/proc/loadavg: 1.11 1.09 1.24 5/252 84776
/proc/meminfo: memFree=127199996/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=362700 memory=334320 CPUtime=3 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 82934 0 0 0 278 22 0 0 20 0 1 0 75493307 371404800 83580 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 90675 83580 736 2416 0 87777 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 362700 KiB
Current children cumulated memory: 334320 KiB
[startup+6.30031 s]
/proc/loadavg: 1.11 1.09 1.24 5/252 84777
/proc/meminfo: memFree=126122236/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=581400 memory=552944 CPUtime=6.18 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 137602 0 0 0 580 38 0 0 20 0 1 0 75493307 595353600 138236 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 145350 138236 736 2416 0 142452 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 581400 KiB
Current children cumulated memory: 552944 KiB
[startup+12.7003 s]
/proc/loadavg: 1.42 1.16 1.26 5/252 84777
/proc/meminfo: memFree=124438864/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=1198196 memory=1169112 CPUtime=12.57 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 290621 0 0 0 1191 66 0 0 20 0 1 0 75493307 1226952704 292278 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 299549 292278 736 2416 0 296651 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1198196 KiB
Current children cumulated memory: 1169112 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 1.31 1.31 5/252 84777
/proc/meminfo: memFree=122253632/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=1974356 memory=1898372 CPUtime=25.34 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 369434 0 0 0 2441 93 0 0 20 0 1 0 75493307 2021740544 474593 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 493589 474593 992 2416 0 490691 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1974356 KiB
Current children cumulated memory: 1898372 KiB
[startup+51.1129 s]
/proc/loadavg: 2.79 1.55 1.39 5/252 84777
/proc/meminfo: memFree=121239264/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1869156 CPUtime=50.87 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388253 0 0 0 4987 100 0 0 20 0 1 0 75493307 2074177536 467289 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467289 1024 2416 0 503493 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1869156 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.53 5/252 84779
/proc/meminfo: memFree=118972940/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1869156 CPUtime=101.91 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388333 0 0 0 10090 101 0 0 20 0 1 0 75493307 2074177536 467289 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467289 1024 2416 0 503493 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1869156 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.34 1.69 5/251 84781
/proc/meminfo: memFree=116729876/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1869156 CPUtime=161.73 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388337 0 0 0 16072 101 0 0 20 0 1 0 75493307 2074177536 467289 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467289 1024 2416 0 503493 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1869156 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 2.69 1.86 5/252 84788
/proc/meminfo: memFree=114472684/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1871204 CPUtime=221.56 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388386 0 0 0 22054 102 0 0 20 0 1 0 75493307 2074177536 467801 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467801 1024 2416 0 503493 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1871204 KiB
[startup+282.3 s]
/proc/loadavg: 4.66 3.11 2.06 5/252 84790
/proc/meminfo: memFree=112377320/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1871204 CPUtime=281.38 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388386 0 0 0 28036 102 0 0 20 0 1 0 75493307 2074177536 467801 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467801 1024 2416 0 503493 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1871204 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 3.31 2.19 5/250 84792
/proc/meminfo: memFree=110556788/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1871204 CPUtime=341.21 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388434 0 0 0 34018 103 0 0 20 0 1 0 75493307 2074177536 467801 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467801 1024 2416 0 503493 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1871204 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.45 2.31 5/250 84794
/proc/meminfo: memFree=108522756/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1871204 CPUtime=401.03 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388434 0 0 0 40000 103 0 0 20 0 1 0 75493307 2074177536 467801 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467801 1024 2416 0 503493 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1871204 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.58 2.43 5/250 84798
/proc/meminfo: memFree=108497956/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1871204 CPUtime=460.84 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 388435 0 0 0 45981 103 0 0 20 0 1 0 75493307 2074177536 467801 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 467801 1024 2416 0 503493 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 1879524 KiB
[startup+2862.3 s]
/proc/loadavg: 5.01 4.45 4.14 5/250 84910
/proc/meminfo: memFree=108464908/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1879524 CPUtime=2853.61 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 390961 0 0 0 285247 114 0 0 20 0 1 0 75493307 2074177536 469881 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 469881 1024 2416 0 503493 0
Current children cumulated CPU time: 2853.61 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1879524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.53 4.42 4.15 5/250 84912
/proc/meminfo: memFree=108475400/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1881828 CPUtime=2913.44 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 390976 0 0 0 291230 114 0 0 20 0 1 0 75493307 2074177536 470457 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 470457 1024 2416 0 503493 0
Current children cumulated CPU time: 2913.44 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1881828 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.36 4.15 5/250 84914
/proc/meminfo: memFree=108476104/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1881828 CPUtime=2973.26 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 391477 0 0 0 297212 114 0 0 20 0 1 0 75493307 2074177536 470457 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 470457 1024 2416 0 503493 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1881828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.32 4.15 5/250 84916
/proc/meminfo: memFree=108483416/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1883876 CPUtime=3033.09 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 391537 0 0 0 303195 114 0 0 20 0 1 0 75493307 2074177536 470969 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 470969 1024 2416 0 503493 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1883876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.28 4.14 5/250 84918
/proc/meminfo: memFree=108489604/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1883876 CPUtime=3092.91 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 391725 0 0 0 309177 114 0 0 20 0 1 0 75493307 2074177536 470969 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 470969 1024 2416 0 503493 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1883876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.24 4.14 5/249 84920
/proc/meminfo: memFree=108488368/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1883876 CPUtime=3152.75 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 392133 0 0 0 315160 115 0 0 20 0 1 0 75493307 2074177536 470969 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 470969 1024 2416 0 503493 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1883876 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.13 5/250 84927
/proc/meminfo: memFree=108469352/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1884132 CPUtime=3212.56 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 392154 0 0 0 321141 115 0 0 20 0 1 0 75493307 2074177536 471033 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471033 1024 2416 0 503493 0
Current children cumulated CPU time: 3212.56 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1884132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.18 4.12 5/250 84929
/proc/meminfo: memFree=108459676/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1885540 CPUtime=3272.38 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 392483 0 0 0 327123 115 0 0 20 0 1 0 75493307 2074177536 471385 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471385 1024 2416 0 503493 0
Current children cumulated CPU time: 3272.38 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1885540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/250 84931
/proc/meminfo: memFree=108464348/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1885540 CPUtime=3332.2 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 392666 0 0 0 333105 115 0 0 20 0 1 0 75493307 2074177536 471385 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471385 1024 2416 0 503493 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1885540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/250 84933
/proc/meminfo: memFree=108464624/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1885540 CPUtime=3392.03 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 392688 0 0 0 339088 115 0 0 20 0 1 0 75493307 2074177536 471385 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471385 1024 2416 0 503493 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1885540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/251 84938
/proc/meminfo: memFree=108439136/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1885540 CPUtime=3451.84 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 393164 0 0 0 345069 115 0 0 20 0 1 0 75493307 2074177536 471385 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471385 1024 2416 0 503493 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1885540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/250 84951
/proc/meminfo: memFree=108436960/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1887588 CPUtime=3511.65 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 393667 0 0 0 351050 115 0 0 20 0 1 0 75493307 2074177536 471897 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471897 1024 2416 0 503493 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1887588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/250 84953
/proc/meminfo: memFree=108428628/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1887588 CPUtime=3571.45 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 393707 0 0 0 357030 115 0 0 20 0 1 0 75493307 2074177536 471897 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471897 1024 2416 0 503493 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1887588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.08 4.13 4.11 4/246 84962
/proc/meminfo: memFree=118313384/131382112 swapFree=33009904/33010684
[pid=84775] ppid=84772 vsize=2025564 memory=1887588 CPUtime=3600.07 cores=5,7
/proc/84775/stat : 84775 (CASHWMaxSAT-Dis) R 84772 84775 84706 0 -1 4194304 393726 0 0 0 359892 115 0 0 20 0 1 0 75493307 2074177536 471897 18446744073709551615 4198400 14093885 140727263639808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23977984 140727263648106 140727263648221 140727263648221 140727263653823 0
/proc/84775/statm: 506391 471897 1024 2416 0 503493 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2025564 KiB
Current children cumulated memory: 1887588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 84775 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.92 s, system=1.16388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.02
CPU time (s): 3600.09
CPU user time (s): 3598.92
CPU system time (s): 1.16388
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 2186980
Max. memory (cumulated for all children) (KiB): 2053196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.92
system time used= 1.16388
maximum resident set size= 2053196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393726
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= 289
involuntary context switches= 1025
# summary of solver processes directly reported to runsolver:
# pid: 84775
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.92
# total CPU system time (s): 1.16388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9103 second user time and 34.8168 second system time
The end
Begin job on nodeC001 at 2025-07-04 05:02:24
IDJOB=4522848
IDBENCH=179354
IDSOLVER=3323
FILE ID=nodeC001/4522848-1751598143
RUNJOBID= nodeC001-1751598143-84719
SLURM_JOB_ID= 9598870
Free space on /tmp= 432356 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522848-1751598143/watcher-4522848-1751598143 -o /tmp/evaluation-result-4522848-1751598143/solver-4522848-1751598143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4522848-1751598143.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cd27816f7e4cb1046eb5da038ad24d41
RANDOM SEED=518060505
nodeC001 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 : 2789.735
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.49
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 : 1795.774
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.49
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.164
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.49
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.172
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.49
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 : 1895.534
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.49
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 : 2892.683
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.49
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.478
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.49
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.167
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128440548 kB
MemAvailable: 129789064 kB
Buffers: 1668 kB
Cached: 2133180 kB
SwapCached: 128 kB
Active: 447268 kB
Inactive: 1895308 kB
Active(anon): 197416 kB
Inactive(anon): 28088 kB
Active(file): 249852 kB
Inactive(file): 1867220 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 182168 kB
Writeback: 0 kB
AnonPages: 211344 kB
Mapped: 109496 kB
Shmem: 17776 kB
KReclaimable: 141756 kB
Slab: 227544 kB
SReclaimable: 141756 kB
SUnreclaim: 85788 kB
KernelStack: 4000 kB
PageTables: 3192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 563620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC001 at 2025-07-04 06:02:35