76.10/82.05 s SATISFIABLE
76.10/82.05 v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 x252 -x253 -x254 -x255 x256 x257 -x258 -x259 x260 x261 -x262 -x263 x264 x265 -x266
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: 63968 MiB (59655 MiB free)
memory of node 1: 64473 MiB (59299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443273-1721801555/watcher-4443273-1721801555 -o /tmp/evaluation-result-4443273-1721801555/solver-4443273-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721801548-173832 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443273-1721801555 --seed=2119682068 HOME/instance-4443273-1721801555.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=174226, runsolver pid=174223
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121802516/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=26000 memory=6532 CPUtime=0.1 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 437 0 0 0 10 0 0 0 20 0 1 0 16678915 26624000 1633 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 6500 1633 850 747 0 5563 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26000 KiB
Current children cumulated memory: 6532 KiB
[startup+0.205455 s]*
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121797388/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=26256 memory=6924 CPUtime=0.2 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 479 0 0 0 20 0 0 0 20 0 1 0 16678915 26886144 1731 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 6564 1731 850 747 0 5627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26256 KiB
Current children cumulated memory: 6924 KiB
[startup+0.305337 s]*
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121793576/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=26388 memory=6924 CPUtime=0.3 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 521 0 0 0 30 0 0 0 20 0 1 0 16678915 27021312 1731 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 6597 1731 850 747 0 5660 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26388 KiB
Current children cumulated memory: 6924 KiB
[startup+0.700134 s]
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121787664/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=26920 memory=7444 CPUtime=0.69 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 643 0 0 0 69 0 0 0 20 0 1 0 16678915 27566080 1861 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 6730 1861 850 747 0 5793 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26920 KiB
Current children cumulated memory: 7444 KiB
[startup+1.50013 s]
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121745172/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=27656 memory=10136 CPUtime=1.48 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 827 0 0 0 148 0 0 0 20 0 1 0 16678915 28319744 2534 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 6914 2534 850 747 0 5977 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27656 KiB
Current children cumulated memory: 10136 KiB
[startup+3.10542 s]
/proc/loadavg: 2.35 2.09 2.13 5/260 174227
/proc/meminfo: memFree=121673012/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=28252 memory=10896 CPUtime=3.09 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 993 0 0 0 308 1 0 0 20 0 1 0 16678915 28930048 2724 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7063 2724 850 747 0 6126 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 10896 KiB
[startup+6.30012 s]
/proc/loadavg: 2.48 2.13 2.14 5/260 174227
/proc/meminfo: memFree=121542860/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=28892 memory=13536 CPUtime=6.27 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 1207 0 0 0 625 2 0 0 20 0 1 0 16678915 29585408 3384 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7223 3384 850 747 0 6286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28892 KiB
Current children cumulated memory: 13536 KiB
[startup+12.7001 s]
/proc/loadavg: 2.60 2.16 2.15 5/260 174229
/proc/meminfo: memFree=121265468/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=29340 memory=13988 CPUtime=12.65 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 1411 0 0 0 1261 4 0 0 20 0 1 0 16678915 30044160 3497 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7335 3497 850 747 0 6398 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 13988 KiB
[startup+25.5002 s]
/proc/loadavg: 2.91 2.25 2.18 5/261 174231
/proc/meminfo: memFree=120853340/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=29932 memory=14552 CPUtime=25.4 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 1702 0 0 0 2532 8 0 0 20 0 1 0 16678915 30650368 3638 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7483 3638 850 747 0 6546 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 29932 KiB
Current children cumulated memory: 14552 KiB
[startup+51.1055 s]
/proc/loadavg: 3.36 2.41 2.24 5/262 174237
/proc/meminfo: memFree=119930540/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30444 memory=15100 CPUtime=50.07 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2119 0 0 0 4992 15 0 0 20 0 1 0 16678915 31174656 3775 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7611 3775 850 747 0 6674 0
Current children cumulated CPU time: 50.07 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 15100 KiB
[startup+82.1953 s]
# the end of solver process 174226 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=75.9184 s, system=0.241131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.36 2.41 2.24 5/262 174237
/proc/meminfo: memFree=119930540/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30444 memory=15100 CPUtime=50.16 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2119 0 0 0 5001 15 0 0 20 0 1 0 16678915 31174656 3775 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7611 3775 850 747 0 6674 0
Current children cumulated CPU time: 50.16 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 15100 KiB
[startup+64.0001 s]*
/proc/loadavg: 3.54 2.48 2.26 5/262 174239
/proc/meminfo: memFree=119548536/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30572 memory=15248 CPUtime=62.92 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2290 0 0 0 6273 19 0 0 20 0 1 0 16678915 31305728 3812 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7643 3812 850 747 0 6706 0
Current children cumulated CPU time: 62.92 s
Current children cumulated vsize: 30572 KiB
Current children cumulated memory: 15248 KiB
[startup+70.4001 s]
/proc/loadavg: 3.61 2.53 2.28 4/262 174241
/proc/meminfo: memFree=119380648/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30572 memory=15248 CPUtime=64.53 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2317 0 0 0 6432 21 0 0 20 0 1 0 16678915 31305728 3812 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7643 3812 850 747 0 6706 0
Current children cumulated CPU time: 64.53 s
Current children cumulated vsize: 30572 KiB
Current children cumulated memory: 15248 KiB
[startup+76.8001 s]
/proc/loadavg: 3.64 2.55 2.29 5/262 174241
/proc/meminfo: memFree=119257920/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30668 memory=15344 CPUtime=70.91 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2398 0 0 0 7069 22 0 0 20 0 1 0 16678915 31404032 3836 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7667 3836 850 747 0 6730 0
Current children cumulated CPU time: 70.91 s
Current children cumulated vsize: 30668 KiB
Current children cumulated memory: 15344 KiB
[startup+80.0001 s]*
/proc/loadavg: 3.67 2.58 2.30 5/262 174242
/proc/meminfo: memFree=119176748/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30732 memory=15416 CPUtime=74.1 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2443 0 0 0 7388 22 0 0 20 0 1 0 16678915 31469568 3854 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7683 3854 850 747 0 6746 0
Current children cumulated CPU time: 74.1 s
Current children cumulated vsize: 30732 KiB
Current children cumulated memory: 15416 KiB
[startup+80.8001 s]
/proc/loadavg: 3.67 2.58 2.30 5/262 174242
/proc/meminfo: memFree=119176748/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30732 memory=15416 CPUtime=74.9 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2443 0 0 0 7467 23 0 0 20 0 1 0 16678915 31469568 3854 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7683 3854 850 747 0 6746 0
Current children cumulated CPU time: 74.9 s
Current children cumulated vsize: 30732 KiB
Current children cumulated memory: 15416 KiB
[startup+81.6001 s]
/proc/loadavg: 3.67 2.58 2.30 5/262 174242
/proc/meminfo: memFree=119151324/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30796 memory=15480 CPUtime=75.69 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2486 0 0 0 7546 23 0 0 20 0 1 0 16678915 31535104 3870 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7699 3870 850 747 0 6762 0
Current children cumulated CPU time: 75.69 s
Current children cumulated vsize: 30796 KiB
Current children cumulated memory: 15480 KiB
[startup+82.0001 s]*
/proc/loadavg: 3.67 2.58 2.30 5/262 174242
/proc/meminfo: memFree=119129736/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=30796 memory=15480 CPUtime=76.1 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) R 174223 174226 173822 0 -1 4194304 2486 0 0 0 7587 23 0 0 20 0 1 0 16678915 31535104 3870 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 560 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 7699 3870 850 747 0 6762 0
Current children cumulated CPU time: 76.1 s
Current children cumulated vsize: 30796 KiB
Current children cumulated memory: 15480 KiB
[startup+82.1054 s]
/proc/loadavg: 3.67 2.58 2.30 5/262 174242
/proc/meminfo: memFree=119129736/131524600 swapFree=131057016/131071996
[pid=174226] ppid=174223 vsize=13540 memory=8916 CPUtime=76.14 cores=0,2
/proc/174226/stat : 174226 (Exact_veripb2_n) D 174223 174226 173822 0 -1 4194304 2486 0 0 0 7591 23 0 0 20 0 1 0 16678915 13864960 2229 134679101440 4194304 7250417 140728141529440 0 0 0 0 0 8404994 0 0 0 17 2 0 0 569 0 0 7950792 8015128 33861632 140728141534006 140728141534295 140728141534295 140728141541310 0
/proc/174226/statm: 3385 2229 850 747 0 2448 0
Current children cumulated CPU time: 76.14 s
Current children cumulated vsize: 13540 KiB
Current children cumulated memory: 8916 KiB
Child status: 30
Real time (s): 82.1954
CPU time (s): 76.1596
CPU user time (s): 75.9184
CPU system time (s): 0.241131
CPU usage (%): 92.6567
Max. virtual memory (cumulated for all children) (KiB): 30796
Max. memory (cumulated for all children) (KiB): 15480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.9184
system time used= 0.241131
maximum resident set size= 15480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 423040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 946
involuntary context switches= 536
# summary of solver processes directly reported to runsolver:
# pid: 174226
# total CPU time (s): 76.1596
# total CPU user time (s): 75.9184
# total CPU system time (s): 0.241131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172088 second user time and 0.353489 second system time
The end
Begin job on nodeC028 at 2024-07-24 08:12:35
IDJOB=4443273
IDBENCH=147868
IDSOLVER=3080
FILE ID=nodeC028/4443273-1721801555
RUNJOBID= nodeC028-1721801548-173832
SLURM_JOB_ID= 7770689
Free space on /tmp= 890044 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443273-1721801555/watcher-4443273-1721801555 -o /tmp/evaluation-result-4443273-1721801555/solver-4443273-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721801548-173832 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443273-1721801555 --seed=2119682068 HOME/instance-4443273-1721801555.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56b15cc62a38cccba085ba5162ab9a70
RANDOM SEED=2119682068
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3649.263
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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 : 3683.324
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.51
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 : 3634.215
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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.956
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.51
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 : 3651.706
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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 : 3683.324
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.51
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 : 3600.130
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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 : 3599.877
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121812624 kB
MemAvailable: 129403916 kB
Buffers: 224948 kB
Cached: 8104252 kB
SwapCached: 364 kB
Active: 2383404 kB
Inactive: 6537556 kB
Active(anon): 3872 kB
Inactive(anon): 641272 kB
Active(file): 2379532 kB
Inactive(file): 5896284 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057016 kB
Dirty: 121736 kB
Writeback: 20 kB
AnonPages: 591564 kB
Mapped: 125024 kB
Shmem: 53008 kB
KReclaimable: 310596 kB
Slab: 437820 kB
SReclaimable: 310596 kB
SUnreclaim: 127224 kB
KernelStack: 4192 kB
PageTables: 9908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1039892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 319488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 424660 kB
DirectMap2M: 46534656 kB
DirectMap1G: 89128960 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC028 at 2024-07-24 08:13:58