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 (62079 MiB free)
memory of node 1: 64465 MiB (61163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523170-1751647304/watcher-4523170-1751647304 -o /tmp/evaluation-result-4523170-1751647304/solver-4523170-1751647304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751647304-100508 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523170-1751647304.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=100564, runsolver pid=100561
[startup+0.100063 s]*
/proc/loadavg: 1.06 1.08 1.09 5/264 100565
/proc/meminfo: memFree=126146012/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=76164 memory=52632 CPUtime=0.09 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 12742 0 0 0 8 1 0 0 20 0 1 0 80408821 77991936 13158 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 19041 13158 736 2416 0 16143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76164 KiB
Current children cumulated memory: 52632 KiB
[startup+0.205421 s]*
/proc/loadavg: 1.06 1.08 1.09 5/264 100565
/proc/meminfo: memFree=126078980/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=116012 memory=91008 CPUtime=0.2 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 22401 0 0 0 17 3 0 0 20 0 1 0 80408821 118796288 22752 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 29003 22752 736 2416 0 26105 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116012 KiB
Current children cumulated memory: 91008 KiB
[startup+0.305514 s]*
/proc/loadavg: 1.06 1.08 1.09 4/262 100565
/proc/meminfo: memFree=126050944/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=116012 memory=92800 CPUtime=0.3 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 22840 0 0 0 27 3 0 0 20 0 1 0 80408821 118796288 23200 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 29003 23200 736 2416 0 26105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116012 KiB
Current children cumulated memory: 92800 KiB
[startup+0.70016 s]
/proc/loadavg: 1.06 1.08 1.09 4/260 100573
/proc/meminfo: memFree=126010640/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=142836 memory=103552 CPUtime=0.68 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 25540 0 0 0 65 3 0 0 20 0 1 0 80408821 146264064 25888 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 35709 25888 736 2416 0 32811 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142836 KiB
Current children cumulated memory: 103552 KiB
[startup+1.50016 s]
/proc/loadavg: 1.06 1.08 1.09 4/260 100573
/proc/meminfo: memFree=125902060/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=219192 memory=177736 CPUtime=1.49 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 43269 0 0 0 142 7 0 0 20 0 1 0 80408821 224452608 44434 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 54798 44434 768 2416 0 51900 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 177736 KiB
[startup+3.10533 s]
/proc/loadavg: 1.38 1.14 1.11 5/264 100610
/proc/meminfo: memFree=125405012/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=312072 memory=261160 CPUtime=3.08 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 52441 0 0 0 298 10 0 0 20 0 1 0 80408821 319561728 65290 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 78018 65290 768 2416 0 75120 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 312072 KiB
Current children cumulated memory: 261160 KiB
[startup+6.30016 s]
/proc/loadavg: 1.38 1.14 1.11 5/264 100610
/proc/meminfo: memFree=124756288/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=515260 memory=453092 CPUtime=6.27 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 85504 0 0 0 610 17 0 0 20 0 1 0 80408821 527626240 113273 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 128815 113273 768 2416 0 125917 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 515260 KiB
Current children cumulated memory: 453092 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.19 1.12 5/264 100610
/proc/meminfo: memFree=123990320/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=848584 memory=772196 CPUtime=12.66 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 165313 0 0 0 1230 36 0 0 20 0 1 0 80408821 868950016 193049 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 212146 193049 768 2416 0 209248 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 848584 KiB
Current children cumulated memory: 772196 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.33 1.17 5/264 100610
/proc/meminfo: memFree=121943548/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=1572772 memory=1452132 CPUtime=25.41 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 335322 0 0 0 2469 72 0 0 20 0 1 0 80408821 1610518528 363033 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 393193 363033 768 2416 0 390295 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1572772 KiB
Current children cumulated memory: 1452132 KiB
[startup+51.1054 s]
/proc/loadavg: 2.89 1.58 1.26 5/264 100610
/proc/meminfo: memFree=119339628/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=2819632 memory=2621668 CPUtime=50.95 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 627716 0 0 0 4964 131 0 0 20 0 1 0 80408821 2887303168 655417 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 704908 655417 768 2416 0 702010 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2819632 KiB
Current children cumulated memory: 2621668 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.97 1.41 5/264 100612
/proc/meminfo: memFree=114256932/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=5135424 memory=4756196 CPUtime=101.99 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1161347 0 0 0 9966 233 0 0 20 0 1 0 80408821 5258674176 1189049 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 1283856 1189049 768 2416 0 1280958 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 5135424 KiB
Current children cumulated memory: 4756196 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.35 1.58 5/263 100614
/proc/meminfo: memFree=112062544/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=7514764 memory=6917988 CPUtime=161.79 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1702370 0 0 0 15833 346 0 0 20 0 1 0 80408821 7695118336 1729497 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 1878691 1729497 768 2416 0 1875793 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 7514764 KiB
Current children cumulated memory: 6917988 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.67 1.74 5/264 100617
/proc/meminfo: memFree=111210796/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8410232 memory=7714404 CPUtime=221.59 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1902074 0 0 0 21766 393 0 0 20 0 1 0 80408821 8612077568 1928601 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102558 1928601 768 2416 0 2099660 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 8410232 KiB
Current children cumulated memory: 7714404 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.93 1.89 5/264 100619
/proc/meminfo: memFree=111190780/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8411948 memory=7715684 CPUtime=281.39 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1903039 0 0 0 27741 398 0 0 20 0 1 0 80408821 8613834752 1928921 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102987 1928921 768 2416 0 2100089 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 8411948 KiB
Current children cumulated memory: 7715684 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.16 2.03 5/263 100621
/proc/meminfo: memFree=111187008/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8412608 memory=7716324 CPUtime=341.18 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1903221 0 0 0 33717 401 0 0 20 0 1 0 80408821 8614510592 1929081 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2103152 1929081 768 2416 0 2100254 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 8412608 KiB
Current children cumulated memory: 7716324 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.33 2.16 5/263 100623
/proc/meminfo: memFree=111176772/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8413924 memory=7717732 CPUtime=400.98 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1903941 0 0 0 39694 404 0 0 20 0 1 0 80408821 8615858176 1929433 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2103481 1929433 768 2416 0 2100583 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 8413924 KiB
Current children cumulated memory: 7717732 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.47 2.29 5/264 100626
/proc/meminfo: memFree=111173820/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7701500 CPUtime=460.77 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1905513 0 0 0 45668 409 0 0 20 0 1 0 80408821 8610668544 1925375 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1925375 800 2416 0 2099316 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
/proc/100564/statm: 2102214 1928767 800 2416 0 2099316 0
Current children cumulated CPU time: 2853.16 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7715068 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.10 3.12 4/256 100780
/proc/meminfo: memFree=111422416/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7715580 CPUtime=2912.99 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1915034 0 0 0 290758 541 0 0 20 0 1 0 80408821 8610668544 1928895 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1928895 800 2416 0 2099316 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7715580 KiB
[startup+2982.3 s]
/proc/loadavg: 3.10 3.09 3.11 4/257 100783
/proc/meminfo: memFree=111185872/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7718012 CPUtime=2972.82 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1915852 0 0 0 296738 544 0 0 20 0 1 0 80408821 8610668544 1929503 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1929503 800 2416 0 2099316 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7718012 KiB
[startup+3042.3 s]
/proc/loadavg: 3.08 3.09 3.11 4/258 100792
/proc/meminfo: memFree=111202924/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7723388 CPUtime=3032.64 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1916667 0 0 0 302717 547 0 0 20 0 1 0 80408821 8610668544 1930847 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1930847 800 2416 0 2099316 0
Current children cumulated CPU time: 3032.64 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7723388 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.09 3.10 4/258 100794
/proc/meminfo: memFree=111205376/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7729276 CPUtime=3092.46 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1917487 0 0 0 308696 550 0 0 20 0 1 0 80408821 8610668544 1932319 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1932319 800 2416 0 2099316 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7729276 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/258 100796
/proc/meminfo: memFree=111045400/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7731452 CPUtime=3152.29 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1918326 0 0 0 314675 554 0 0 20 0 1 0 80408821 8610668544 1932863 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1932863 800 2416 0 2099316 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7731452 KiB
[startup+3222.3 s]
/proc/loadavg: 3.15 3.10 3.10 4/258 100798
/proc/meminfo: memFree=111026928/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7731836 CPUtime=3212.11 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1919207 0 0 0 320654 557 0 0 20 0 1 0 80408821 8610668544 1932959 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1932959 800 2416 0 2099316 0
Current children cumulated CPU time: 3212.11 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7731836 KiB
[startup+3282.3 s]
/proc/loadavg: 3.05 3.08 3.09 4/257 100800
/proc/meminfo: memFree=111009584/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7732604 CPUtime=3271.93 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1920135 0 0 0 326634 559 0 0 20 0 1 0 80408821 8610668544 1933151 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1933151 800 2416 0 2099316 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7732604 KiB
[startup+3342.3 s]
/proc/loadavg: 3.06 3.08 3.09 4/257 100802
/proc/meminfo: memFree=111032956/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7733372 CPUtime=3331.75 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1921099 0 0 0 332614 561 0 0 20 0 1 0 80408821 8610668544 1933343 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1933343 800 2416 0 2099316 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7733372 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.09 3.09 4/257 100804
/proc/meminfo: memFree=111008644/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7734140 CPUtime=3391.57 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1921938 0 0 0 338594 563 0 0 20 0 1 0 80408821 8610668544 1933535 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1933535 800 2416 0 2099316 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7734140 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/257 100806
/proc/meminfo: memFree=111004572/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7736700 CPUtime=3451.4 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1922862 0 0 0 344574 566 0 0 20 0 1 0 80408821 8610668544 1934175 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1934175 800 2416 0 2099316 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7736700 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.09 3.09 4/257 100808
/proc/meminfo: memFree=111028832/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7738620 CPUtime=3511.23 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1923642 0 0 0 350554 569 0 0 20 0 1 0 80408821 8610668544 1934655 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1934655 800 2416 0 2099316 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7738620 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.08 3.09 4/258 100811
/proc/meminfo: memFree=111022812/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7739388 CPUtime=3571.06 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1924309 0 0 0 356534 572 0 0 20 0 1 0 80408821 8610668544 1934847 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1934847 800 2416 0 2099316 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7739388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.13 3.09 3.09 4/258 100811
/proc/meminfo: memFree=111022636/131249996 swapFree=33010160/33010684
[pid=100564] ppid=100561 vsize=8408856 memory=7739900 CPUtime=3600.08 cores=1,3
/proc/100564/stat : 100564 (CASHWMaxSAT-Dis) R 100561 100564 100197 0 -1 4194304 1925267 0 0 0 359434 574 0 0 20 0 1 0 80408821 8610668544 1934975 18446744073709551615 4198400 14093885 140721932853376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51519488 140721932855656 140721932855771 140721932855771 140721932861375 0
/proc/100564/statm: 2102214 1934975 800 2416 0 2099316 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 8408856 KiB
Current children cumulated memory: 7739900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 100564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.34 s, system=5.94239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]*
/proc/loadavg: 3.13 3.09 3.09 3/254 100819
/proc/meminfo: memFree=118271224/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): 3611.6
CPU time (s): 3600.28
CPU user time (s): 3594.34
CPU system time (s): 5.94239
CPU usage (%): 99.6866
Max. virtual memory (cumulated for all children) (KiB): 8468308
Max. memory (cumulated for all children) (KiB): 7752512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.34
system time used= 5.94239
maximum resident set size= 7762752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1925267
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= 136
involuntary context switches= 2164
# summary of solver processes directly reported to runsolver:
# pid: 100564
# total CPU time (s): 3600.28
# total CPU user time (s): 3594.34
# total CPU system time (s): 5.94239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46123 second user time and 15.3787 second system time
The end
Begin job on nodeC029 at 2025-07-04 18:41:44
IDJOB=4523170
IDBENCH=179809
IDSOLVER=3323
FILE ID=nodeC029/4523170-1751647304
RUNJOBID= nodeC029-1751647304-100508
SLURM_JOB_ID= 9672334
Free space on /tmp= 432164 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523170-1751647304/watcher-4523170-1751647304 -o /tmp/evaluation-result-4523170-1751647304/solver-4523170-1751647304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751647304-100508 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523170-1751647304.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3781b2dec582d0b67f0282d1f3dabfdd
RANDOM SEED=105592465
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 : 3640.900
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 : 3602.000
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 : 3599.718
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 : 3599.735
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 : 3596.500
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.727
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.703
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 : 3600.107
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: 126212520 kB
MemAvailable: 129742412 kB
Buffers: 2128 kB
Cached: 4319560 kB
SwapCached: 40 kB
Active: 536440 kB
Inactive: 3879948 kB
Active(anon): 107952 kB
Inactive(anon): 4768 kB
Active(file): 428488 kB
Inactive(file): 3875180 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59488 kB
Writeback: 8 kB
AnonPages: 97552 kB
Mapped: 120716 kB
Shmem: 18020 kB
KReclaimable: 130924 kB
Slab: 222160 kB
SReclaimable: 130924 kB
SUnreclaim: 91236 kB
KernelStack: 4180 kB
PageTables: 2800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 461060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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= 432160 MiB
End job on nodeC029 at 2025-07-04 19:41:56