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 (44326 MiB free)
memory of node 1: 64465 MiB (40990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546451-1753260283/watcher-4546451-1753260283 -o /tmp/evaluation-result-4546451-1753260283/solver-4546451-1753260283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753259701-164857 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546451-1753260283.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=165519, runsolver pid=165516
[startup+0.100066 s]*
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87337672/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=112628 memory=38264 CPUtime=0.08 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 7969 0 0 0 7 1 0 0 20 0 1 0 241705868 115331072 9566 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 28157 9566 2432 595 0 12824 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 112628 KiB
Current children cumulated memory: 38264 KiB
[startup+0.205767 s]*
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87330112/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62200 CPUtime=0.19 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13958 0 0 0 17 2 0 0 20 0 1 0 241705868 138846208 15550 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15550 2432 595 0 18565 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62200 KiB
[startup+0.305679 s]*
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87330112/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=0.29 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13963 0 0 0 27 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+0.700185 s]
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87330112/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=0.68 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13963 0 0 0 66 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87330112/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=1.48 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13963 0 0 0 146 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 3.58 2.02 5/264 165520
/proc/meminfo: memFree=87332628/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=3.08 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13965 0 0 0 306 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 3.59 2.03 5/264 165520
/proc/meminfo: memFree=87359404/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=6.27 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13965 0 0 0 625 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.59 2.04 5/264 165520
/proc/meminfo: memFree=87404272/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=12.65 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13965 0 0 0 1263 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 3.63 2.08 5/264 165521
/proc/meminfo: memFree=87501908/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=25.42 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13966 0 0 0 2540 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 3.66 2.13 5/264 165521
/proc/meminfo: memFree=87697496/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=135592 memory=62328 CPUtime=50.96 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 13967 0 0 0 5094 2 0 0 20 0 1 0 241705868 138846208 15582 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 33898 15582 2432 595 0 18565 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 62328 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.72 2.23 5/264 165529
/proc/meminfo: memFree=87931436/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=160520 memory=93996 CPUtime=102.02 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 17490 0 0 0 10192 10 0 0 20 0 1 0 241705868 164372480 23499 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 40130 23499 2464 595 0 24797 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 160520 KiB
Current children cumulated memory: 93996 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.80 2.35 5/264 165531
/proc/meminfo: memFree=87974504/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=162344 memory=95660 CPUtime=161.87 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 17928 0 0 0 16176 11 0 0 20 0 1 0 241705868 166240256 23915 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 40586 23915 2464 595 0 25253 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 162344 KiB
Current children cumulated memory: 95660 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.86 2.47 5/263 165533
/proc/meminfo: memFree=87944312/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=166364 memory=108660 CPUtime=221.71 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 19143 0 0 0 22151 20 0 0 20 0 1 0 241705868 170356736 27165 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 41591 27165 2464 595 0 26258 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 166364 KiB
Current children cumulated memory: 108660 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.90 2.57 5/263 165535
/proc/meminfo: memFree=87929468/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=168232 memory=110452 CPUtime=281.56 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 19593 0 0 0 28131 25 0 0 20 0 1 0 241705868 172269568 27613 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 42058 27613 2464 595 0 26725 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 168232 KiB
Current children cumulated memory: 110452 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.94 2.67 5/263 165537
/proc/meminfo: memFree=87920184/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=169516 memory=111476 CPUtime=341.41 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 19833 0 0 0 34110 31 0 0 20 0 1 0 241705868 173584384 27869 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 42379 27869 2464 595 0 27046 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 169516 KiB
Current children cumulated memory: 111476 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.97 2.76 5/263 165540
/proc/meminfo: memFree=87915960/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=170380 memory=112372 CPUtime=401.26 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 20067 0 0 0 40091 35 0 0 20 0 1 0 241705868 174469120 28093 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 42595 28093 2464 595 0 27262 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 170380 KiB
Current children cumulated memory: 112372 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.01 2.85 5/263 165542
/proc/meminfo: memFree=87903764/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=171920 memory=113908 CPUtime=461.1 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 20456 0 0 0 46067 43 0 0 20 0 1 0 241705868 176046080 28477 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 42980 28477 2464 595 0 27647 0
Current children cumulated CPU time: 461.1 s
Current children cumulated vsize: 171920 KiB
Current children cumulated memory: 113908 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 4.02 2.93 5/263 165588
/proc/meminfo: memFree=88223436/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=174940 memory=116852 CPUtime=520.94 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 21218 0 0 0 52041 53 0 0 20 0 1 0 241705868 179138560 29213 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 43735 29213 2464 595 0 28402 0
Current children cumulated CPU time: 520.94 s
Current children cumulated vsize: 174940 KiB
Current children cumulated memory: 116852 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.04 3.01 5/263 165590
/proc/meminfo: memFree=88184212/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=174940 memory=116980 CPUtime=580.78 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 21243 0 0 0 58023 55 0 0 20 0 1 0 241705868 179138560 29245 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 43735 29245 2464 595 0 28402 0
Current children cumulated CPU time: 580.78 s
Current children cumulated vsize: 174940 KiB
Current children cumulated memory: 116980 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.05 3.08 5/263 165592
/proc/meminfo: memFree=88196400/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=175584 memory=117620 CPUtime=640.58 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 21397 0 0 0 63995 63 0 0 20 0 1 0 241705868 179798016 29405 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 43896 29405 2464 595 0 28563 0
Current children cumulated CPU time: 640.58 s
Current children cumulated vsize: 175584 KiB
Current children cumulated memory: 117620 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.05 3.15 5/262 165594
/proc/meminfo: memFree=88179212/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=175584 memory=117748 CPUtime=700.41 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 21429 0 0 0 69977 64 0 0 20 0 1 0 241705868 179798016 29437 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 43896 29437 2464 595 0 28563 0
Current children cumulated CPU time: 700.41 s
Current children cumulated vsize: 175584 KiB
Current children cumulated memory: 117748 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.06 3.21 5/263 165873
/proc/meminfo: memFree=88213840/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=178504 memory=120564 CPUtime=760.21 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22137 0 0 0 75946 75 0 0 20 0 1 0 241705868 182788096 30141 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44626 30141 2464 595 0 29293 0
Current children cumulated CPU time: 760.21 s
Current children cumulated vsize: 178504 KiB
Current children cumulated memory: 120564 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.06 3.27 5/263 165964
/proc/meminfo: memFree=88193092/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=178984 memory=121972 CPUtime=820.05 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22262 0 0 0 81923 82 0 0 20 0 1 0 241705868 183279616 30493 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44746 30493 2464 595 0 29413 0
Current children cumulated CPU time: 820.05 s
Current children cumulated vsize: 178984 KiB
Current children cumulated memory: 121972 KiB
[startup+882.3 s]
/proc/loadavg: 4.07 4.06 3.32 5/263 166011
/proc/meminfo: memFree=88175676/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179152 memory=123252 CPUtime=879.91 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22304 0 0 0 87905 86 0 0 20 0 1 0 241705868 183451648 30813 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44788 30813 2464 595 0 29455 0
Current children cumulated CPU time: 879.91 s
Current children cumulated vsize: 179152 KiB
Current children cumulated memory: 123252 KiB
[startup+901.659 s]
# the end of solver process 165519 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=898.322 s, system=0.903565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.07 4.06 3.32 5/263 166011
/proc/meminfo: memFree=88171832/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179152 memory=123252 CPUtime=880.8 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22304 0 0 0 87994 86 0 0 20 0 1 0 241705868 183451648 30813 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44788 30813 2464 595 0 29455 0
Current children cumulated CPU time: 880.8 s
Current children cumulated vsize: 179152 KiB
Current children cumulated memory: 123252 KiB
[startup+889.6 s]
/proc/loadavg: 4.15 4.08 3.33 5/263 166011
/proc/meminfo: memFree=88152488/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179152 memory=123252 CPUtime=887.18 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22306 0 0 0 88630 88 0 0 20 0 1 0 241705868 183451648 30813 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44788 30813 2464 595 0 29455 0
Current children cumulated CPU time: 887.18 s
Current children cumulated vsize: 179152 KiB
Current children cumulated memory: 123252 KiB
[startup+896 s]*
/proc/loadavg: 4.12 4.07 3.34 5/263 166011
/proc/meminfo: memFree=88153072/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179324 memory=123380 CPUtime=893.57 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22348 0 0 0 89268 89 0 0 20 0 1 0 241705868 183627776 30845 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44831 30845 2464 595 0 29498 0
Current children cumulated CPU time: 893.57 s
Current children cumulated vsize: 179324 KiB
Current children cumulated memory: 123380 KiB
[startup+899.2 s]
/proc/loadavg: 4.12 4.07 3.34 5/263 166011
/proc/meminfo: memFree=88153408/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179324 memory=123380 CPUtime=896.77 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22348 0 0 0 89587 90 0 0 20 0 1 0 241705868 183627776 30845 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44831 30845 2464 595 0 29498 0
Current children cumulated CPU time: 896.77 s
Current children cumulated vsize: 179324 KiB
Current children cumulated memory: 123380 KiB
[startup+900.8 s]
/proc/loadavg: 4.11 4.07 3.34 5/263 166011
/proc/meminfo: memFree=88153456/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179324 memory=123380 CPUtime=898.36 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22348 0 0 0 89746 90 0 0 20 0 1 0 241705868 183627776 30845 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44831 30845 2464 595 0 29498 0
Current children cumulated CPU time: 898.36 s
Current children cumulated vsize: 179324 KiB
Current children cumulated memory: 123380 KiB
[startup+901.2 s]
/proc/loadavg: 4.11 4.07 3.34 5/263 166012
/proc/meminfo: memFree=88153604/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179324 memory=123380 CPUtime=898.76 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22348 0 0 0 89786 90 0 0 20 0 1 0 241705868 183627776 30845 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44831 30845 2464 595 0 29498 0
Current children cumulated CPU time: 898.76 s
Current children cumulated vsize: 179324 KiB
Current children cumulated memory: 123380 KiB
[startup+901.6 s]
/proc/loadavg: 4.11 4.07 3.34 5/263 166012
/proc/meminfo: memFree=88153604/131249988 swapFree=33010160/33010684
[pid=165519] ppid=165516 vsize=179324 memory=123380 CPUtime=899.16 cores=0,2
/proc/165519/stat : 165519 (SynLSCD-PS) R 165516 165519 164840 0 -1 4194304 22348 0 0 0 89826 90 0 0 20 0 1 0 241705868 183627776 30845 18446744073709551615 93930375614464 93930378049881 140735035379360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93930378530040 93930378563072 93930404880384 140735035386237 140735035386375 140735035386375 140735035391979 0
/proc/165519/statm: 44831 30845 2464 595 0 29498 0
Current children cumulated CPU time: 899.16 s
Current children cumulated vsize: 179324 KiB
Current children cumulated memory: 123380 KiB
Child status: 30
Real time (s): 901.659
CPU time (s): 899.226
CPU user time (s): 898.322
CPU system time (s): 0.903565
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 179324
Max. memory (cumulated for all children) (KiB): 123380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.322
system time used= 0.903565
maximum resident set size= 123380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22374
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= 143
involuntary context switches= 1210
# summary of solver processes directly reported to runsolver:
# pid: 165519
# total CPU time (s): 899.226
# total CPU user time (s): 898.322
# total CPU system time (s): 0.903565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79941 second user time and 3.96275 second system time
The end
Begin job on nodeC020 at 2025-07-23 10:44:43
IDJOB=4546451
IDBENCH=162200
IDSOLVER=3422
FILE ID=nodeC020/4546451-1753260283
RUNJOBID= nodeC020-1753259701-164857
SLURM_JOB_ID= 9689175
Free space on /tmp= 432624 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round21-2.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-4546451-1753260283/watcher-4546451-1753260283 -o /tmp/evaluation-result-4546451-1753260283/solver-4546451-1753260283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753259701-164857 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546451-1753260283.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a86523b20ed9a3f9efb65c4df28efb6
RANDOM SEED=654685998
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 : 3601.956
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.901
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 : 3599.888
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 : 3525.308
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.894
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.851
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 : 3598.321
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 : 3700.000
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: 87364384 kB
MemAvailable: 126939980 kB
Buffers: 2128 kB
Cached: 40331676 kB
SwapCached: 4 kB
Active: 2927328 kB
Inactive: 39477444 kB
Active(anon): 2072696 kB
Inactive(anon): 24536 kB
Active(file): 854632 kB
Inactive(file): 39452908 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3888 kB
Writeback: 0 kB
AnonPages: 2073736 kB
Mapped: 120580 kB
Shmem: 26244 kB
KReclaimable: 214592 kB
Slab: 311368 kB
SReclaimable: 214592 kB
SUnreclaim: 96776 kB
KernelStack: 4272 kB
PageTables: 7384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2692592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1239040 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:59:45