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 (62918 MiB free)
memory of node 1: 64465 MiB (63738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516593-1751234730/watcher-4516593-1751234730 -o /tmp/evaluation-result-4516593-1751234730/solver-4516593-1751234730 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751231091-30619 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4516593-1751234730.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=31652, runsolver pid=31649
[startup+0.100066 s]*
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129679208/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=41932 memory=23148 CPUtime=0.09 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 5461 0 0 0 9 0 0 0 20 0 1 0 39095523 42938368 5787 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 10483 5787 768 2416 0 7585 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41932 KiB
Current children cumulated memory: 23148 KiB
[startup+0.205336 s]*
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129673160/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=40400 memory=25140 CPUtime=0.18 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 6892 0 0 0 18 0 0 0 20 0 1 0 39095523 41369600 6285 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 10100 6285 800 2416 0 7202 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40400 KiB
Current children cumulated memory: 25140 KiB
[startup+0.305194 s]*
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129673160/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=43076 memory=26036 CPUtime=0.28 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 7118 0 0 0 28 0 0 0 20 0 1 0 39095523 44109824 6509 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 10769 6509 800 2416 0 7871 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43076 KiB
Current children cumulated memory: 26036 KiB
[startup+0.700192 s]
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129673160/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=50152 memory=34836 CPUtime=0.66 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 7757 0 0 0 65 1 0 0 20 0 1 0 39095523 51355648 8709 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 12538 8709 800 2416 0 9640 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 50152 KiB
Current children cumulated memory: 34836 KiB
[startup+1.50018 s]
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129669272/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=50176 memory=34468 CPUtime=1.46 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 8523 0 0 0 145 1 0 0 20 0 1 0 39095523 51380224 8617 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 12544 8617 800 2416 0 9646 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 34468 KiB
[startup+3.10514 s]
/proc/loadavg: 4.03 4.09 4.07 5/263 31653
/proc/meminfo: memFree=129656944/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=68920 memory=53916 CPUtime=3.06 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 9267 0 0 0 304 2 0 0 20 0 1 0 39095523 70574080 13479 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 17230 13479 800 2416 0 14332 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 68920 KiB
Current children cumulated memory: 53916 KiB
[startup+6.30013 s]
/proc/loadavg: 4.03 4.09 4.07 5/263 31654
/proc/meminfo: memFree=129646816/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=87844 memory=64232 CPUtime=6.24 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 9651 0 0 0 622 2 0 0 20 0 1 0 39095523 89952256 16058 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 21961 16058 800 2416 0 19063 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87844 KiB
Current children cumulated memory: 64232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 4.09 4.07 5/263 31654
/proc/meminfo: memFree=129597856/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=106520 memory=84956 CPUtime=12.63 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 10248 0 0 0 1260 3 0 0 20 0 1 0 39095523 109076480 21239 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 26630 21239 800 2416 0 23732 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 106520 KiB
Current children cumulated memory: 84956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.08 4.07 5/264 31702
/proc/meminfo: memFree=129710788/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=106520 memory=72696 CPUtime=25.39 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 11758 0 0 0 2535 4 0 0 20 0 1 0 39095523 109076480 18174 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 26630 18174 800 2416 0 23732 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 106520 KiB
Current children cumulated memory: 72696 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 31703
/proc/meminfo: memFree=129522700/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=106520 memory=91556 CPUtime=50.92 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 19076 0 0 0 5078 14 0 0 20 0 1 0 39095523 109076480 22889 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 26630 22889 800 2416 0 23732 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 106520 KiB
Current children cumulated memory: 91556 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 31706
/proc/meminfo: memFree=129482460/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=137084 memory=122120 CPUtime=101.97 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 31058 0 0 0 10164 33 0 0 20 0 1 0 39095523 140374016 30530 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 34271 30530 800 2416 0 31373 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 137084 KiB
Current children cumulated memory: 122120 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/265 31708
/proc/meminfo: memFree=129502224/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=137084 memory=122120 CPUtime=161.8 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 45855 0 0 0 16124 56 0 0 20 0 1 0 39095523 140374016 30530 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 34271 30530 800 2416 0 31373 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 137084 KiB
Current children cumulated memory: 122120 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 31713
/proc/meminfo: memFree=129435728/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=148900 memory=133936 CPUtime=221.62 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 58395 0 0 0 22086 76 0 0 20 0 1 0 39095523 152473600 33484 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 37225 33484 800 2416 0 34327 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 148900 KiB
Current children cumulated memory: 133936 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.08 5/265 31715
/proc/meminfo: memFree=129374140/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=247716 memory=220440 CPUtime=281.48 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 70952 0 0 0 28051 97 0 0 20 0 1 0 39095523 253661184 55110 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 61929 55110 800 2416 0 59031 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 247716 KiB
Current children cumulated memory: 220440 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/263 31718
/proc/meminfo: memFree=129335504/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=216896 memory=185356 CPUtime=341.33 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 91638 0 0 0 34006 127 0 0 20 0 1 0 39095523 222101504 46339 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 54224 46339 800 2416 0 51326 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 216896 KiB
Current children cumulated memory: 185356 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/262 31720
/proc/meminfo: memFree=129268664/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=167576 memory=152740 CPUtime=401.2 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 104033 0 0 0 39971 149 0 0 20 0 1 0 39095523 171597824 38185 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 41894 38185 800 2416 0 38996 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 167576 KiB
Current children cumulated memory: 152740 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/262 31722
/proc/meminfo: memFree=129270480/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=236600 memory=205060 CPUtime=461.05 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 121134 0 0 0 45929 176 0 0 20 0 1 0 39095523 242278400 51265 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 59150 51265 800 2416 0 56252 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 329820 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 31840
/proc/meminfo: memFree=128783884/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=2915.08 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 827138 0 0 0 290265 1243 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 31842
/proc/meminfo: memFree=128799048/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=2974.94 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 827138 0 0 0 296251 1243 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 31847
/proc/meminfo: memFree=128799276/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3034.8 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 827138 0 0 0 302237 1243 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3102.3 s]
/proc/loadavg: 4.47 4.17 4.12 5/263 31849
/proc/meminfo: memFree=128773696/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3094.66 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 843943 0 0 0 308191 1275 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/264 31852
/proc/meminfo: memFree=128787512/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3154.51 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 869004 0 0 0 314129 1322 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 31859
/proc/meminfo: memFree=128787104/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3214.36 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 891165 0 0 0 320077 1359 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 31861
/proc/meminfo: memFree=128791244/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3274.23 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 891166 0 0 0 326063 1360 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 31878
/proc/meminfo: memFree=128755360/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=309992 memory=295156 CPUtime=3334.08 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 891295 0 0 0 332048 1360 0 0 20 0 1 0 39095523 317431808 73789 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 77498 73789 800 2416 0 74600 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 309992 KiB
Current children cumulated memory: 295156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/264 31880
/proc/meminfo: memFree=128744440/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=377988 memory=346448 CPUtime=3393.94 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 906824 0 0 0 338008 1386 0 0 20 0 1 0 39095523 387059712 86612 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 94497 86612 800 2416 0 91599 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 377988 KiB
Current children cumulated memory: 346448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 31882
/proc/meminfo: memFree=128692252/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=328668 memory=313832 CPUtime=3453.8 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 933577 0 0 0 343944 1436 0 0 20 0 1 0 39095523 336556032 78458 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 82167 78458 800 2416 0 79269 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 313832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 31884
/proc/meminfo: memFree=128707956/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=328668 memory=313832 CPUtime=3513.65 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 958048 0 0 0 349884 1481 0 0 20 0 1 0 39095523 336556032 78458 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 82167 78458 800 2416 0 79269 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 313832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 31886
/proc/meminfo: memFree=128707876/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=328668 memory=313832 CPUtime=3573.51 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 958175 0 0 0 355870 1481 0 0 20 0 1 0 39095523 336556032 78458 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 82167 78458 800 2416 0 79269 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 313832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.00 4.08 4.08 5/262 31977
/proc/meminfo: memFree=129281172/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=328668 memory=313832 CPUtime=3600.05 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 958175 0 0 0 358524 1481 0 0 20 0 1 0 39095523 336556032 78458 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 82167 78458 800 2416 0 79269 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 313832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 31652 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.25 s, system=14.8175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.00 4.08 4.08 5/262 31977
/proc/meminfo: memFree=129281172/131250000 swapFree=33010684/33010684
[pid=31652] ppid=31649 vsize=328668 memory=313832 CPUtime=3600.05 cores=4,6
/proc/31652/stat : 31652 (CASHWMaxSAT-Dis) R 31649 31652 30605 0 -1 4194304 958175 0 0 0 358524 1481 0 0 20 0 1 0 39095523 336556032 78458 18446744073709551615 4198400 14093885 140731823605104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28491776 140731823614314 140731823614429 140731823614429 140731823620031 0
/proc/31652/statm: 82167 78458 800 2416 0 79269 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 313832 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3585.25
CPU system time (s): 14.8175
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 428692
Max. memory (cumulated for all children) (KiB): 364624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.25
system time used= 14.8175
maximum resident set size= 387628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958175
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= 27
involuntary context switches= 3664
# summary of solver processes directly reported to runsolver:
# pid: 31652
# total CPU time (s): 3600.06
# total CPU user time (s): 3585.25
# total CPU system time (s): 14.8175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78337 second user time and 15.1293 second system time
The end
Begin job on nodeC028 at 2025-06-30 00:05:30
IDJOB=4516593
IDBENCH=175704
IDSOLVER=3323
FILE ID=nodeC028/4516593-1751234730
RUNJOBID= nodeC028-1751231091-30619
SLURM_JOB_ID= 9587705
Free space on /tmp= 433024 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516593-1751234730/watcher-4516593-1751234730 -o /tmp/evaluation-result-4516593-1751234730/solver-4516593-1751234730 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751231091-30619 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4516593-1751234730.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 138bc3205b5997c85a47b0b24df7783d
RANDOM SEED=1290147804
nodeC028 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 : 3600.173
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 : 7000.16
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 : 3600.085
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 : 7000.16
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.527
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 : 7000.16
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 : 3591.123
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 : 7000.16
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.075
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 : 7000.16
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 : 3600.083
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 : 7000.16
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 : 3347.386
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 : 7000.16
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 : 3629.170
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129696848 kB
MemAvailable: 129474456 kB
Buffers: 3280 kB
Cached: 587100 kB
SwapCached: 0 kB
Active: 653324 kB
Inactive: 330656 kB
Active(anon): 411668 kB
Inactive(anon): 0 kB
Active(file): 241656 kB
Inactive(file): 330656 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39136 kB
Writeback: 16 kB
AnonPages: 396052 kB
Mapped: 112580 kB
Shmem: 18068 kB
KReclaimable: 89072 kB
Slab: 173324 kB
SReclaimable: 89072 kB
SUnreclaim: 84252 kB
KernelStack: 4288 kB
PageTables: 3868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 755204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC028 at 2025-06-30 01:05:39