runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55638 MiB free)
memory of node 1: 64465 MiB (51358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505421-1751471755/watcher-4505421-1751471755 -o /tmp/evaluation-result-4505421-1751471755/solver-4505421-1751471755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751471635-66039 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4505421-1751471755.opb -total-t=3600 -no-par -v0
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=66553, runsolver pid=66550
[startup+0.100066 s]*
/proc/loadavg: 3.73 2.64 2.79 5/267 66554
/proc/meminfo: memFree=109508604/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=62040 memory=46820 CPUtime=0.1 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 10924 0 0 0 8 2 0 0 20 0 1 0 62854051 63528960 11705 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 15510 11705 864 2593 0 12403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 46820 KiB
[startup+0.205688 s]*
/proc/loadavg: 3.73 2.64 2.79 5/267 66554
/proc/meminfo: memFree=109456564/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=107168 memory=90356 CPUtime=0.2 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 19269 0 0 0 17 3 0 0 20 0 1 0 62854051 109740032 22589 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 26792 22589 864 2593 0 23685 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107168 KiB
Current children cumulated memory: 90356 KiB
[startup+0.305649 s]*
/proc/loadavg: 3.83 2.68 2.81 5/267 66554
/proc/meminfo: memFree=109379504/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=177772 memory=157436 CPUtime=0.3 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 26336 0 0 0 25 5 0 0 20 0 1 0 62854051 182038528 39359 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 44443 39359 864 2593 0 41336 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177772 KiB
Current children cumulated memory: 157436 KiB
[startup+0.700184 s]
/proc/loadavg: 3.83 2.68 2.81 5/267 66554
/proc/meminfo: memFree=109220780/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=356384 memory=333984 CPUtime=0.69 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 37778 0 0 0 59 10 0 0 20 0 1 0 62854051 364937216 83496 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 89096 83496 864 2593 0 85989 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 356384 KiB
Current children cumulated memory: 333984 KiB
[startup+1.50018 s]
/proc/loadavg: 3.83 2.68 2.81 5/267 66554
/proc/meminfo: memFree=109013804/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=454036 memory=431908 CPUtime=1.48 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 59206 0 0 0 134 14 0 0 20 0 1 0 62854051 464932864 107977 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 113509 107977 864 2593 0 110402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 454036 KiB
Current children cumulated memory: 431908 KiB
[startup+3.10557 s]
/proc/loadavg: 3.83 2.68 2.81 5/267 66554
/proc/meminfo: memFree=109084976/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=512756 memory=439716 CPUtime=3.09 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 61198 0 0 0 294 15 0 0 20 0 1 0 62854051 525062144 109929 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 128189 109929 864 2593 0 125082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 512756 KiB
Current children cumulated memory: 439716 KiB
[startup+6.30016 s]
/proc/loadavg: 3.85 2.70 2.81 5/267 66554
/proc/meminfo: memFree=108156972/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=1202128 memory=1099624 CPUtime=6.27 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 160933 0 0 0 590 37 0 0 20 0 1 0 62854051 1230979072 274906 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 300532 274906 864 2593 0 297425 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1202128 KiB
Current children cumulated memory: 1099624 KiB
[startup+12.7002 s]
/proc/loadavg: 3.86 2.72 2.82 5/267 66554
/proc/meminfo: memFree=104523312/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=2365168 memory=2260264 CPUtime=12.66 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 432241 0 0 0 1183 83 0 0 20 0 1 0 62854051 2421932032 565066 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 591292 565066 864 2593 0 588185 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2365168 KiB
Current children cumulated memory: 2260264 KiB
[startup+25.5002 s]
/proc/loadavg: 3.88 2.77 2.83 5/268 66556
/proc/meminfo: memFree=94013732/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=4231428 memory=4129784 CPUtime=25.43 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 895585 0 0 0 2382 161 0 0 20 0 1 0 62854051 4332982272 1032446 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 1057857 1032446 864 2593 0 1054750 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4231428 KiB
Current children cumulated memory: 4129784 KiB
[startup+51.1056 s]
/proc/loadavg: 4.00 2.90 2.88 5/269 66557
/proc/meminfo: memFree=87400676/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=7398716 memory=7040704 CPUtime=50.96 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 1240759 0 0 0 4836 260 0 0 20 0 1 0 62854051 7576285184 1760176 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 1849679 1760176 896 2593 0 1846572 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7398716 KiB
Current children cumulated memory: 7040704 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.09 2.94 5/268 66559
/proc/meminfo: memFree=75412616/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=17150508 memory=16041496 CPUtime=102.03 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 1986009 0 0 0 9643 560 0 0 20 0 1 0 62854051 17562120192 4010374 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4287627 4010374 1152 2593 0 4284520 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 17150508 KiB
Current children cumulated memory: 16041496 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.27 3.02 5/267 66561
/proc/meminfo: memFree=75438280/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=16498280 memory=15111096 CPUtime=161.84 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2078192 0 0 0 15590 594 0 0 20 0 1 0 62854051 16894238720 3777774 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4124570 3777774 1216 2593 0 4121463 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 16498280 KiB
Current children cumulated memory: 15111096 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.44 3.09 5/266 66563
/proc/meminfo: memFree=70607692/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=18514768 memory=17144712 CPUtime=221.65 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2088198 0 0 0 21519 646 0 0 20 0 1 0 62854051 18959122432 4286178 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4628692 4286178 1216 2593 0 4625585 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 18514768 KiB
Current children cumulated memory: 17144712 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.56 3.16 5/264 66565
/proc/meminfo: memFree=70608872/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=18535544 memory=17171012 CPUtime=281.46 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2106561 0 0 0 27346 800 0 0 20 0 1 0 62854051 18980397056 4292753 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4633886 4292753 1216 2593 0 4630779 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 18535544 KiB
Current children cumulated memory: 17171012 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.67 3.22 5/263 66578
/proc/meminfo: memFree=66701020/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=19846272 memory=18051068 CPUtime=341.28 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2114004 0 0 0 33267 861 0 0 20 0 1 0 62854051 20322582528 4512767 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4961568 4512767 1248 2593 0 4958461 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 19846272 KiB
Current children cumulated memory: 18051068 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.75 3.28 5/262 66580
/proc/meminfo: memFree=67648416/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=19836532 memory=18442856 CPUtime=401.12 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2120042 0 0 0 39178 934 0 0 20 0 1 0 62854051 20312608768 4610714 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4959133 4610714 1248 2593 0 4956026 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 19836532 KiB
Current children cumulated memory: 18442856 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.81 3.33 5/263 66585
/proc/meminfo: memFree=65458308/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=22904488 memory=20789452 CPUtime=460.94 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2130977 0 0 0 45032 1062 0 0 20 0 1 0 62854051 23454195712 5197363 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5726122 5197363 1248 2593 0 5723015 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/meminfo: memFree=68849608/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=18819192 memory=17505672 CPUtime=2913.9 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2366664 0 0 0 288322 3068 0 0 20 0 1 0 62854051 19270852608 4376418 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4704798 4376418 1248 2593 0 4701691 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 18819192 KiB
Current children cumulated memory: 17505672 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 66703
/proc/meminfo: memFree=64022160/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20837452 memory=19939164 CPUtime=2973.75 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2373967 0 0 0 294248 3127 0 0 20 0 1 0 62854051 21337550848 4984791 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5209363 4984791 1248 2593 0 5206256 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 20837452 KiB
Current children cumulated memory: 19939164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 66709
/proc/meminfo: memFree=68104292/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=19108208 memory=17874564 CPUtime=3033.59 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2380603 0 0 0 300168 3191 0 0 20 0 1 0 62854051 19566804992 4468641 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4777052 4468641 1248 2593 0 4773945 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 19108208 KiB
Current children cumulated memory: 17874564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/264 66711
/proc/meminfo: memFree=68450752/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=19098916 memory=17871416 CPUtime=3093.43 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2386353 0 0 0 306097 3246 0 0 20 0 1 0 62854051 19557289984 4467854 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4774729 4467854 1248 2593 0 4771622 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 19098916 KiB
Current children cumulated memory: 17871416 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 66713
/proc/meminfo: memFree=68280744/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=19091716 memory=17866264 CPUtime=3153.27 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2391756 0 0 0 312026 3301 0 0 20 0 1 0 62854051 19549917184 4466566 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4772929 4466566 1248 2593 0 4769822 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 19091716 KiB
Current children cumulated memory: 17866264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/263 66715
/proc/meminfo: memFree=68357720/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=18752932 memory=17545912 CPUtime=3213.12 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2399285 0 0 0 317974 3338 0 0 20 0 1 0 62854051 19203002368 4386478 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 4688233 4386478 1248 2593 0 4685126 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 18752932 KiB
Current children cumulated memory: 17545912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 66717
/proc/meminfo: memFree=68286484/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20747720 memory=17560976 CPUtime=3272.96 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2406257 0 0 0 323856 3440 0 0 20 0 1 0 62854051 21245665280 4390244 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5186930 4390244 1248 2593 0 5183823 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 20747720 KiB
Current children cumulated memory: 17560976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/263 66719
/proc/meminfo: memFree=68163432/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20822004 memory=17635260 CPUtime=3332.8 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2412369 0 0 0 329780 3500 0 0 20 0 1 0 62854051 21321732096 4408815 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5205501 4408815 1248 2593 0 5202394 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 20822004 KiB
Current children cumulated memory: 17635260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/263 66721
/proc/meminfo: memFree=68088164/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20813524 memory=17618588 CPUtime=3392.63 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2418065 0 0 0 335702 3561 0 0 20 0 1 0 62854051 21313048576 4404647 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5203381 4404647 1248 2593 0 5200274 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 20813524 KiB
Current children cumulated memory: 17618588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/262 66725
/proc/meminfo: memFree=68400260/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20813524 memory=17667740 CPUtime=3452.48 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2419709 0 0 0 341682 3566 0 0 20 0 1 0 62854051 21313048576 4416935 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5203381 4416935 1248 2593 0 5200274 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 20813524 KiB
Current children cumulated memory: 17667740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 66727
/proc/meminfo: memFree=66418508/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=20822896 memory=17677112 CPUtime=3512.32 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2424504 0 0 0 347605 3627 0 0 20 0 1 0 62854051 21322645504 4419278 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5205724 4419278 1248 2593 0 5202617 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 20822896 KiB
Current children cumulated memory: 17677112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.12 4.05 5/263 66865
/proc/meminfo: memFree=109820372/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=21154044 memory=17995856 CPUtime=3572.14 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2431564 0 0 0 353519 3695 0 0 20 0 1 0 62854051 21661741056 4498964 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5288511 4498964 1248 2593 0 5285404 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 21154044 KiB
Current children cumulated memory: 17995856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 66865
/proc/meminfo: memFree=109585208/131249996 swapFree=33010160/33010684
[pid=66553] ppid=66550 vsize=21145316 memory=17983148 CPUtime=3600.05 cores=4,6
/proc/66553/stat : 66553 (CASHWMaxSAT-Dis) R 66550 66553 66028 0 -1 4194304 2436755 0 0 0 356258 3747 0 0 20 0 1 0 62854051 21652803584 4495787 18446744073709551615 4198400 14817773 140734943439296 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47640576 140734943447402 140734943447517 140734943447517 140734943453119 0
/proc/66553/statm: 5286329 4495787 1248 2593 0 5283222 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 21145316 KiB
Current children cumulated memory: 17983148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 66553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.58 s, system=37.7807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]*
/proc/loadavg: 4.14 4.11 4.05 5/263 66865
/proc/meminfo: memFree=112836212/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.6 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 66865
/proc/meminfo: memFree=112836212/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.37
CPU user time (s): 3562.58
CPU system time (s): 37.7807
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 23319128
Max. memory (cumulated for all children) (KiB): 21132788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.58
system time used= 37.7807
maximum resident set size= 21156400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2436755
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= 4
involuntary context switches= 3914
# summary of solver processes directly reported to runsolver:
# pid: 66553
# total CPU time (s): 3600.37
# total CPU user time (s): 3562.58
# total CPU system time (s): 37.7807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78406 second user time and 16.455 second system time
The end
Begin job on nodeC029 at 2025-07-02 17:55:56
IDJOB=4505421
IDBENCH=155757
IDSOLVER=3322
FILE ID=nodeC029/4505421-1751471755
RUNJOBID= nodeC029-1751471635-66039
SLURM_JOB_ID= 9598496
Free space on /tmp= 431596 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505421-1751471755/watcher-4505421-1751471755 -o /tmp/evaluation-result-4505421-1751471755/solver-4505421-1751471755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751471635-66039 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4505421-1751471755.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=1856093954
nodeC029 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.654
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.46
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.636
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.511
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.46
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 : 3700.000
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.812
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.46
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 : 3599.732
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.46
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 : 3599.726
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.46
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 : 3700.000
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 109573704 kB
MemAvailable: 111006040 kB
Buffers: 2128 kB
Cached: 2232560 kB
SwapCached: 40 kB
Active: 19224064 kB
Inactive: 1793032 kB
Active(anon): 18795660 kB
Inactive(anon): 4768 kB
Active(file): 428404 kB
Inactive(file): 1788264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 235632 kB
Writeback: 0 kB
AnonPages: 18783420 kB
Mapped: 115236 kB
Shmem: 18020 kB
KReclaimable: 109812 kB
Slab: 198464 kB
SReclaimable: 109812 kB
SUnreclaim: 88652 kB
KernelStack: 4336 kB
PageTables: 39844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 19331416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7901184 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431988 MiB
End job on nodeC029 at 2025-07-02 18:56:07