0.00/0.01 c intsize: 3
0.00/0.03 c 1102 constraints
0.00/0.03 c Finish cloning data from SAT to LS
0.00/0.03 c restart_num_ls -100000 0
21.94/22.06 c Use LS-small
21.94/22.06 c update_LS_target_phase-runLS-restart
36.59/36.77 c restart_num_ls 0 1021
36.59/36.77 c LS 90 38
58.95/59.13 c Use LS-small
58.95/59.13 c update_LS_target_phase-runLS-restart
66.33/66.50 c restart_num_ls 1021 1533
66.33/66.50 c LS 80 97
88.97/89.23 c Use LS-small
88.97/89.23 c update_LS_target_phase-runLS-restart
121.69/122.03 c restart_num_ls 1533 3716
121.69/122.03 c LS 70 36
143.64/144.06 c Use LS-small
143.64/144.06 c update_LS_target_phase-runLS-restart
195.00/195.55 c restart_num_ls 3716 6523
195.00/195.55 c LS 60 47
217.35/217.91 c Use LS-small
217.35/217.91 c update_LS_target_phase-runLS-restart
223.94/224.56 c restart_num_ls 6523 7028
223.94/224.56 c LS 50 46
246.19/246.84 c Use LS-small
246.19/246.84 c update_LS_target_phase-runLS-restart
248.59/249.21 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 (44926 MiB free)
memory of node 1: 64465 MiB (41263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546379-1753260758/watcher-4546379-1753260758 -o /tmp/evaluation-result-4546379-1753260758/solver-4546379-1753260758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753259701-164859 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546379-1753260758.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=165586, runsolver pid=165583
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88258712/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=0.09 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 8 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+0.205568 s]*
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88258968/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=0.19 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 18 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+0.305465 s]*
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88258968/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=0.29 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 28 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+0.700137 s]
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88258968/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=0.68 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 67 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+1.50015 s]
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88258968/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=1.48 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 147 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+3.10531 s]
/proc/loadavg: 4.18 4.02 2.87 5/263 165587
/proc/meminfo: memFree=88259240/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=3.08 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 307 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+6.30016 s]
/proc/loadavg: 4.17 4.02 2.88 5/263 165587
/proc/meminfo: memFree=88259296/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=6.27 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 626 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.02 2.89 5/263 165587
/proc/meminfo: memFree=88259344/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=91996 memory=19200 CPUtime=12.65 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 2650 0 0 0 1264 1 0 0 20 0 1 0 241753369 94203904 4800 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 22999 4800 2464 595 0 7666 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 19200 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.02 2.91 5/263 165587
/proc/meminfo: memFree=88243300/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=96960 memory=29028 CPUtime=25.42 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 4654 0 0 0 2540 2 0 0 20 0 1 0 241753369 99287040 7257 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 24240 7257 2496 595 0 8907 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96960 KiB
Current children cumulated memory: 29028 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.02 2.93 5/263 165588
/proc/meminfo: memFree=88223484/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=98392 memory=30696 CPUtime=50.97 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 7570 0 0 0 5092 5 0 0 20 0 1 0 241753369 100753408 7674 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 24598 7674 2496 595 0 9265 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 30696 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.03 3.00 5/263 165590
/proc/meminfo: memFree=88192508/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=99940 memory=32108 CPUtime=102.04 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 12186 0 0 0 10193 11 0 0 20 0 1 0 241753369 102338560 8027 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 24985 8027 2496 595 0 9652 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 99940 KiB
Current children cumulated memory: 32108 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.05 3.07 5/263 165592
/proc/meminfo: memFree=88186264/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=100904 memory=33036 CPUtime=161.89 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 17997 0 0 0 16169 20 0 0 20 0 1 0 241753369 103325696 8259 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25226 8259 2496 595 0 9893 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 100904 KiB
Current children cumulated memory: 33036 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.05 3.14 5/263 165594
/proc/meminfo: memFree=88178456/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=221.74 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 23976 0 0 0 22144 30 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+249.214 s]
# the end of solver process 165586 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=248.284 s, system=0.322091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.08 4.05 3.15 5/262 165594
/proc/meminfo: memFree=88171652/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=229.83 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24297 0 0 0 22952 31 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 229.83 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+236.8 s]
/proc/loadavg: 4.07 4.05 3.16 5/262 165594
/proc/meminfo: memFree=88172180/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=236.21 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24297 0 0 0 23590 31 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 236.21 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+243.2 s]
/proc/loadavg: 4.07 4.05 3.16 5/263 165602
/proc/meminfo: memFree=88181452/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=242.6 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24297 0 0 0 24229 31 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 242.6 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+246.4 s]
/proc/loadavg: 4.06 4.05 3.16 5/263 165602
/proc/meminfo: memFree=88189548/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=245.79 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24297 0 0 0 24548 31 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 245.79 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+248 s]*
/proc/loadavg: 4.06 4.05 3.16 5/263 165602
/proc/meminfo: memFree=88190052/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101608 memory=33676 CPUtime=247.39 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24416 0 0 0 24708 31 0 0 20 0 1 0 241753369 104046592 8419 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25402 8419 2496 595 0 10069 0
Current children cumulated CPU time: 247.39 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 33676 KiB
[startup+248.8 s]
/proc/loadavg: 4.06 4.05 3.16 5/263 165602
/proc/meminfo: memFree=88190052/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101672 memory=33784 CPUtime=248.19 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24623 0 0 0 24787 32 0 0 20 0 1 0 241753369 104112128 8446 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25418 8446 2496 595 0 10085 0
Current children cumulated CPU time: 248.19 s
Current children cumulated vsize: 101672 KiB
Current children cumulated memory: 33784 KiB
[startup+249.2 s]
/proc/loadavg: 4.06 4.05 3.16 5/263 165602
/proc/meminfo: memFree=88189856/131249988 swapFree=33010160/33010684
[pid=165586] ppid=165583 vsize=101672 memory=33740 CPUtime=248.59 cores=1,3
/proc/165586/stat : 165586 (SynLSCD-PS) R 165583 165586 164840 0 -1 4194304 24688 0 0 0 24827 32 0 0 20 0 1 0 241753369 104112128 8435 18446744073709551615 94583243624448 94583246059865 140735655762976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94583246540024 94583246573056 94583277555712 140735655766397 140735655766535 140735655766535 140735655772139 0
/proc/165586/statm: 25418 8435 2496 595 0 10085 0
Current children cumulated CPU time: 248.59 s
Current children cumulated vsize: 101672 KiB
Current children cumulated memory: 33740 KiB
Child status: 20
Real time (s): 249.214
CPU time (s): 248.606
CPU user time (s): 248.284
CPU system time (s): 0.322091
CPU usage (%): 99.756
Max. virtual memory (cumulated for all children) (KiB): 101672
Max. memory (cumulated for all children) (KiB): 33784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.284
system time used= 0.322091
maximum resident set size= 33996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24720
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= 138
involuntary context switches= 422
# summary of solver processes directly reported to runsolver:
# pid: 165586
# total CPU time (s): 248.606
# total CPU user time (s): 248.284
# total CPU system time (s): 0.322091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.39997 second user time and 1.09475 second system time
The end
Begin job on nodeC020 at 2025-07-23 10:52:38
IDJOB=4546379
IDBENCH=162346
IDSOLVER=3422
FILE ID=nodeC020/4546379-1753260758
RUNJOBID= nodeC020-1753259701-164859
SLURM_JOB_ID= 9689175
Free space on /tmp= 432624 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546379-1753260758/watcher-4546379-1753260758 -o /tmp/evaluation-result-4546379-1753260758/solver-4546379-1753260758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753259701-164859 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546379-1753260758.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=748932326
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.908
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.79
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.826
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.79
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 : 3601.048
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.79
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.874
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.79
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.882
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.79
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.890
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.79
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 : 3555.597
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.153
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 88258664 kB
MemAvailable: 127833104 kB
Buffers: 2128 kB
Cached: 40330356 kB
SwapCached: 4 kB
Active: 2794272 kB
Inactive: 39476144 kB
Active(anon): 1939640 kB
Inactive(anon): 24536 kB
Active(file): 854632 kB
Inactive(file): 39451608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3448 kB
Writeback: 56 kB
AnonPages: 1940652 kB
Mapped: 120556 kB
Shmem: 26244 kB
KReclaimable: 214880 kB
Slab: 311668 kB
SReclaimable: 214880 kB
SUnreclaim: 96788 kB
KernelStack: 4240 kB
PageTables: 7028 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2461152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1542144 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= 432620 MiB
End job on nodeC020 at 2025-07-23 10:56:47