0.58/0.68 c #vars 5508 #constraints 408375 74.1422 1
0.58/0.68 c intsize: 6
2.57/2.62 c 408375 constraints
2.57/2.62 c Finish cloning data from SAT to LS
2.57/2.62 c restart_num_ls -100000 0
143.19/143.68 c Use LS-small
143.19/143.68 c restart_num_ls 0 504
143.19/143.68 c LS 90 71
244.01/244.71 c Use LS-small
244.01/244.71 s UNSATISFIABLE
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 (54813 MiB free)
memory of node 1: 64465 MiB (55778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546086-1753264682/watcher-4546086-1753264682 -o /tmp/evaluation-result-4546086-1753264682/solver-4546086-1753264682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546086-1753264682.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=158997, runsolver pid=158994
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=113236972/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=93512 memory=22492 CPUtime=0.08 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 3225 0 0 0 8 0 0 0 20 0 1 0 242146839 95756288 5623 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 23378 5623 2208 595 0 8045 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93512 KiB
Current children cumulated memory: 22492 KiB
[startup+0.205409 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=113231428/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=99312 memory=32376 CPUtime=0.19 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 4728 0 0 0 19 0 0 0 20 0 1 0 242146839 101695488 8094 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 24828 8094 2208 595 0 9495 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99312 KiB
Current children cumulated memory: 32376 KiB
[startup+0.305222 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=113225632/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=104972 memory=39764 CPUtime=0.29 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 6193 0 0 0 28 1 0 0 20 0 1 0 242146839 107491328 9941 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 26243 9941 2208 595 0 10910 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104972 KiB
Current children cumulated memory: 39764 KiB
[startup+0.700151 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=113210512/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=139132 memory=72160 CPUtime=0.68 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 12163 0 0 0 66 2 0 0 20 0 1 0 242146839 142471168 18040 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 34783 18040 2272 595 0 19450 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139132 KiB
Current children cumulated memory: 72160 KiB
[startup+1.50011 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=112962500/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=347516 memory=268024 CPUtime=1.48 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 27280 0 0 0 139 9 0 0 20 0 1 0 242146839 355856384 67006 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 86879 67006 2432 595 0 71546 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347516 KiB
Current children cumulated memory: 268024 KiB
[startup+3.10545 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 158998
/proc/meminfo: memFree=112855628/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=482192 memory=387324 CPUtime=3.08 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 51997 0 0 0 293 15 0 0 20 0 1 0 242146839 493764608 96831 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 120548 96831 2464 595 0 105215 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 482192 KiB
Current children cumulated memory: 387324 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 158998
/proc/meminfo: memFree=112855880/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=482192 memory=387324 CPUtime=6.27 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 52019 0 0 0 601 26 0 0 20 0 1 0 242146839 493764608 96831 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 120548 96831 2464 595 0 105215 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 482192 KiB
Current children cumulated memory: 387324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 158998
/proc/meminfo: memFree=112856408/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=482192 memory=387324 CPUtime=12.65 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 52019 0 0 0 1217 48 0 0 20 0 1 0 242146839 493764608 96831 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 120548 96831 2464 595 0 105215 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 482192 KiB
Current children cumulated memory: 387324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 158999
/proc/meminfo: memFree=112860572/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=482192 memory=387324 CPUtime=25.42 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 52019 0 0 0 2445 97 0 0 20 0 1 0 242146839 493764608 96831 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 120548 96831 2464 595 0 105215 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 482192 KiB
Current children cumulated memory: 387324 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 158999
/proc/meminfo: memFree=112846712/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=492140 memory=405416 CPUtime=50.96 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 54483 0 0 0 4920 176 0 0 20 0 1 0 242146839 503951360 101354 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 123035 101354 2496 595 0 107702 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 492140 KiB
Current children cumulated memory: 405416 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/265 159001
/proc/meminfo: memFree=112822956/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=540812 memory=439232 CPUtime=102 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 58718 0 0 0 10022 178 0 0 20 0 1 0 242146839 553791488 109808 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 135203 109808 2496 595 0 119870 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 540812 KiB
Current children cumulated memory: 439232 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 159003
/proc/meminfo: memFree=112812696/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=546024 memory=444416 CPUtime=161.84 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59084 0 0 0 15934 250 0 0 20 0 1 0 242146839 559128576 111104 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136506 111104 2496 595 0 121173 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 546024 KiB
Current children cumulated memory: 444416 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119667876/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=446208 CPUtime=221.67 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59555 0 0 0 21820 347 0 0 20 0 1 0 242146839 560865280 111552 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 111552 2496 595 0 121597 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 446208 KiB
[startup+244.747 s]
# the end of solver process 158997 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=240.578 s, system=3.48171 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119668384/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=446208 CPUtime=229.74 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59556 0 0 0 22627 347 0 0 20 0 1 0 242146839 560865280 111552 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 111552 2496 595 0 121597 0
Current children cumulated CPU time: 229.74 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 446208 KiB
[startup+236.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119669400/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=236.13 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 23266 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 236.13 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+240 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119658276/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=239.32 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 23585 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 239.32 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+243.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119666592/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=242.51 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 23904 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 242.51 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+244 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119666844/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=243.31 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 23984 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 243.31 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+244.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119666844/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=243.71 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 24024 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 243.71 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+244.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119666844/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=243.91 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 24044 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 243.91 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
[startup+244.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 159063
/proc/meminfo: memFree=119666844/131250000 swapFree=33010672/33010684
[pid=158997] ppid=158994 vsize=547720 memory=448352 CPUtime=244.01 cores=0,2
/proc/158997/stat : 158997 (SynLSCD) R 158994 158997 156365 0 -1 4194304 59557 0 0 0 24054 347 0 0 20 0 1 0 242146839 560865280 112088 18446744073709551615 94646756605952 94646759040553 140731101375200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94646759521528 94646759554560 94646789722112 140731101378947 140731101379082 140731101379082 140731101384686 0
/proc/158997/statm: 136930 112088 2496 595 0 121597 0
Current children cumulated CPU time: 244.01 s
Current children cumulated vsize: 547720 KiB
Current children cumulated memory: 448352 KiB
Child status: 20
Real time (s): 244.747
CPU time (s): 244.06
CPU user time (s): 240.578
CPU system time (s): 3.48171
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 547720
Max. memory (cumulated for all children) (KiB): 448352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.578
system time used= 3.48171
maximum resident set size= 449372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59604
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= 135
involuntary context switches= 561
# summary of solver processes directly reported to runsolver:
# pid: 158997
# total CPU time (s): 244.06
# total CPU user time (s): 240.578
# total CPU system time (s): 3.48171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.455683 second user time and 1.08644 second system time
The end
Begin job on nodeC026 at 2025-07-23 11:58:02
IDJOB=4546086
IDBENCH=180672
IDSOLVER=3421
FILE ID=nodeC026/4546086-1753264682
RUNJOBID= nodeC026-1753259701-156382
SLURM_JOB_ID= 9689181
Free space on /tmp= 432988 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat16_15_identity_complement.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546086-1753264682/watcher-4546086-1753264682 -o /tmp/evaluation-result-4546086-1753264682/solver-4546086-1753264682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546086-1753264682.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec82efcd866f342a1f5f756e3ed31d43
RANDOM SEED=1878677620
nodeC026 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.564
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
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.59
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.784
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.59
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 : 3598.841
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.59
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 : 3599.778
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.59
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.852
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.59
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 : 3594.185
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.59
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 : 3712.991
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 113245540 kB
MemAvailable: 118256580 kB
Buffers: 2128 kB
Cached: 5635192 kB
SwapCached: 4 kB
Active: 12478208 kB
Inactive: 4493056 kB
Active(anon): 11354868 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 4487712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14036 kB
Writeback: 0 kB
AnonPages: 11337116 kB
Mapped: 120856 kB
Shmem: 26268 kB
KReclaimable: 460788 kB
Slab: 564956 kB
SReclaimable: 460788 kB
SUnreclaim: 104168 kB
KernelStack: 4268 kB
PageTables: 25776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 13250316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6336512 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-07-23 12:02:07