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 (62866 MiB free)
memory of node 1: 64465 MiB (63764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510019-1751180364/watcher-4510019-1751180364 -o /tmp/evaluation-result-4510019-1751180364/solver-4510019-1751180364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751172827-22273 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510019-1751180364.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=23605, runsolver pid=23602
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 23606
/proc/meminfo: memFree=129670120/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=0.09 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 7 2 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.205125 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 23606
/proc/meminfo: memFree=129670120/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=0.19 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 15 4 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.304381 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 23606
/proc/meminfo: memFree=129670120/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=0.29 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 23 6 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.7001 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 23606
/proc/meminfo: memFree=129670120/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=0.68 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 56 12 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+1.50009 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 23606
/proc/meminfo: memFree=129669856/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=1.48 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 123 25 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+3.10452 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 23608
/proc/meminfo: memFree=129670312/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84272 memory=11648 CPUtime=3.08 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 697 0 0 0 250 58 0 0 20 0 1 0 33714008 86294528 2912 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+6.3001 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 23608
/proc/meminfo: memFree=129670312/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=84392 memory=12032 CPUtime=6.27 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 804 0 0 0 507 120 0 0 20 0 1 0 33714008 86417408 3008 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21098 3008 2496 595 0 5765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84392 KiB
Current children cumulated memory: 12032 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 23608
/proc/meminfo: memFree=129669872/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=86284 memory=16760 CPUtime=12.65 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 1876 0 0 0 1108 157 0 0 20 0 1 0 33714008 88354816 4190 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21571 4190 2496 595 0 6238 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86284 KiB
Current children cumulated memory: 16760 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 23608
/proc/meminfo: memFree=129668876/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=87100 memory=17408 CPUtime=25.43 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 2806 0 0 0 2234 309 0 0 20 0 1 0 33714008 89190400 4352 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 21775 4352 2496 595 0 6442 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 87100 KiB
Current children cumulated memory: 17408 KiB
[startup+51.1048 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 23608
/proc/meminfo: memFree=129663048/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=88064 memory=18388 CPUtime=50.97 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 5233 0 0 0 4547 550 0 0 20 0 1 0 33714008 90177536 4597 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22016 4597 2496 595 0 6683 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 88064 KiB
Current children cumulated memory: 18388 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 23621
/proc/meminfo: memFree=129656448/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=89312 memory=19744 CPUtime=102.06 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 8623 0 0 0 9139 1067 0 0 20 0 1 0 33714008 91455488 4936 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22328 4936 2496 595 0 6995 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 89312 KiB
Current children cumulated memory: 19744 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 23623
/proc/meminfo: memFree=129659436/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=89728 memory=20064 CPUtime=161.93 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 11444 0 0 0 14495 1698 0 0 20 0 1 0 33714008 91881472 5016 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22432 5016 2496 595 0 7099 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 89728 KiB
Current children cumulated memory: 20064 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 23627
/proc/meminfo: memFree=129652300/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=90752 memory=23136 CPUtime=221.78 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 15321 0 0 0 20029 2149 0 0 20 0 1 0 33714008 92930048 5784 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22688 5784 2496 595 0 7355 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 90752 KiB
Current children cumulated memory: 23136 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 23631
/proc/meminfo: memFree=129651028/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=91484 memory=23820 CPUtime=281.64 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 18914 0 0 0 25448 2716 0 0 20 0 1 0 33714008 93679616 5955 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22871 5955 2496 595 0 7538 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 23820 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 23633
/proc/meminfo: memFree=129646600/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=91772 memory=24204 CPUtime=341.51 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 22245 0 0 0 30948 3203 0 0 20 0 1 0 33714008 93974528 6051 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22943 6051 2496 595 0 7610 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 91772 KiB
Current children cumulated memory: 24204 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 23635
/proc/meminfo: memFree=129649688/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=91836 memory=24172 CPUtime=401.38 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 25499 0 0 0 36327 3811 0 0 20 0 1 0 33714008 94040064 6043 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 22959 6043 2496 595 0 7626 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 91836 KiB
Current children cumulated memory: 24172 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 23637
/proc/meminfo: memFree=129648236/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=92828 memory=25260 CPUtime=461.23 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 29823 0 0 0 42129 3994 0 0 20 0 1 0 33714008 95055872 6315 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 23207 6315 2496 595 0 7874 0
Current children cumulated CPU time: 461.23 s
################
# More data... #
################
Current children cumulated memory: 29616 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 23751
/proc/meminfo: memFree=129645028/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97344 memory=29680 CPUtime=2915.58 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 163572 0 0 0 269259 22299 0 0 20 0 1 0 33714008 99680256 7420 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24336 7420 2496 595 0 9003 0
Current children cumulated CPU time: 2915.58 s
Current children cumulated vsize: 97344 KiB
Current children cumulated memory: 29680 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 23753
/proc/meminfo: memFree=129643956/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97344 memory=29680 CPUtime=2975.44 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 166269 0 0 0 274688 22856 0 0 20 0 1 0 33714008 99680256 7420 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24336 7420 2496 595 0 9003 0
Current children cumulated CPU time: 2975.44 s
Current children cumulated vsize: 97344 KiB
Current children cumulated memory: 29680 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/264 23758
/proc/meminfo: memFree=129643172/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97408 memory=29744 CPUtime=3035.3 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 169268 0 0 0 280191 23339 0 0 20 0 1 0 33714008 99745792 7436 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24352 7436 2496 595 0 9019 0
Current children cumulated CPU time: 3035.3 s
Current children cumulated vsize: 97408 KiB
Current children cumulated memory: 29744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.36 4.23 4.14 5/263 23760
/proc/meminfo: memFree=129642936/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97408 memory=29744 CPUtime=3095.17 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 172093 0 0 0 285625 23892 0 0 20 0 1 0 33714008 99745792 7436 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24352 7436 2496 595 0 9019 0
Current children cumulated CPU time: 3095.17 s
Current children cumulated vsize: 97408 KiB
Current children cumulated memory: 29744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 23762
/proc/meminfo: memFree=129643244/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97504 memory=29936 CPUtime=3155.02 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 175528 0 0 0 291403 24099 0 0 20 0 1 0 33714008 99844096 7484 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24376 7484 2496 595 0 9043 0
Current children cumulated CPU time: 3155.02 s
Current children cumulated vsize: 97504 KiB
Current children cumulated memory: 29936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/264 23767
/proc/meminfo: memFree=129643432/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97664 memory=30000 CPUtime=3214.88 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 178819 0 0 0 297310 24178 0 0 20 0 1 0 33714008 100007936 7500 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24416 7500 2496 595 0 9083 0
Current children cumulated CPU time: 3214.88 s
Current children cumulated vsize: 97664 KiB
Current children cumulated memory: 30000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/264 23771
/proc/meminfo: memFree=129642188/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97664 memory=30000 CPUtime=3274.74 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 181125 0 0 0 302836 24638 0 0 20 0 1 0 33714008 100007936 7500 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24416 7500 2496 595 0 9083 0
Current children cumulated CPU time: 3274.74 s
Current children cumulated vsize: 97664 KiB
Current children cumulated memory: 30000 KiB
[startup+3342.3 s]
/proc/loadavg: 3.37 3.98 4.06 3/251 23834
/proc/meminfo: memFree=129720264/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97728 memory=30064 CPUtime=3334.6 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 183394 0 0 0 308306 25154 0 0 20 0 1 0 33714008 100073472 7516 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24432 7516 2496 595 0 9099 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 97728 KiB
Current children cumulated memory: 30064 KiB
[startup+3402.3 s]
/proc/loadavg: 2.52 3.63 3.93 2/246 23869
/proc/meminfo: memFree=129711908/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97728 memory=30064 CPUtime=3394.47 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 185476 0 0 0 313778 25669 0 0 20 0 1 0 33714008 100073472 7516 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24432 7516 2496 595 0 9099 0
Current children cumulated CPU time: 3394.47 s
Current children cumulated vsize: 97728 KiB
Current children cumulated memory: 30064 KiB
[startup+3462.3 s]
/proc/loadavg: 1.61 3.16 3.75 2/246 23871
/proc/meminfo: memFree=129713400/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97760 memory=30192 CPUtime=3454.34 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 187653 0 0 0 319313 26121 0 0 20 0 1 0 33714008 100106240 7548 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24440 7548 2496 595 0 9107 0
Current children cumulated CPU time: 3454.34 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 30192 KiB
[startup+3522.3 s]
/proc/loadavg: 1.33 2.80 3.59 2/246 23873
/proc/meminfo: memFree=129715516/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97760 memory=30192 CPUtime=3514.22 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 189941 0 0 0 324845 26577 0 0 20 0 1 0 33714008 100106240 7548 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24440 7548 2496 595 0 9107 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 30192 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 2.48 3.43 2/246 23875
/proc/meminfo: memFree=129717312/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97760 memory=30192 CPUtime=3574.09 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 191991 0 0 0 330361 27048 0 0 20 0 1 0 33714008 100106240 7548 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24440 7548 2496 595 0 9107 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 30192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 1.20 2.38 3.37 2/246 23875
/proc/meminfo: memFree=129717816/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97760 memory=30192 CPUtime=3600.04 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 192770 0 0 0 332703 27301 0 0 20 0 1 0 33714008 100106240 7548 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24440 7548 2496 595 0 9107 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 30192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.3 s]
# the end of solver process 23605 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3327.03 s, system=273.019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 1.20 2.38 3.37 2/246 23875
/proc/meminfo: memFree=129717816/131249988 swapFree=33010684/33010684
[pid=23605] ppid=23602 vsize=97760 memory=30192 CPUtime=3600.04 cores=1,3
/proc/23605/stat : 23605 (SynLSCD-PS) R 23602 23605 22261 0 -1 4194304 192770 0 0 0 332703 27301 0 0 20 0 1 0 33714008 100106240 7548 18446744073709551615 94581632856064 94581635291065 140722304503552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94581635771640 94581635804672 94581650186240 140722304506208 140722304506344 140722304506344 140722304511946 0
/proc/23605/statm: 24440 7548 2496 595 0 9107 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 30192 KiB
Child status: 0
Real time (s): 3608.3
CPU time (s): 3600.05
CPU user time (s): 3327.03
CPU system time (s): 273.019
CPU usage (%): 99.7713
Max. virtual memory (cumulated for all children) (KiB): 97952
Max. memory (cumulated for all children) (KiB): 30192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3327.03
system time used= 273.019
maximum resident set size= 30576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192801
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= 147
involuntary context switches= 4772
# summary of solver processes directly reported to runsolver:
# pid: 23605
# total CPU time (s): 3600.05
# total CPU user time (s): 3327.03
# total CPU system time (s): 273.019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04419 second user time and 11.9166 second system time
The end
Begin job on nodeC020 at 2025-06-29 08:59:24
IDJOB=4510019
IDBENCH=159423
IDSOLVER=3370
FILE ID=nodeC020/4510019-1751180364
RUNJOBID= nodeC020-1751172827-22273
SLURM_JOB_ID= 9587540
Free space on /tmp= 433052 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.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-4510019-1751180364/watcher-4510019-1751180364 -o /tmp/evaluation-result-4510019-1751180364/solver-4510019-1751180364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751172827-22273 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510019-1751180364.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0c8f70b306f746a2531c5dc399515b9
RANDOM SEED=619965054
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.892
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 : 3596.329
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 : 3548.497
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.921
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.893
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.889
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 : 3599.457
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.075
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: 129669976 kB
MemAvailable: 129700476 kB
Buffers: 3280 kB
Cached: 837748 kB
SwapCached: 0 kB
Active: 443808 kB
Inactive: 530448 kB
Active(anon): 151284 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 530448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3628 kB
Writeback: 0 kB
AnonPages: 136368 kB
Mapped: 114176 kB
Shmem: 18056 kB
KReclaimable: 93532 kB
Slab: 179884 kB
SReclaimable: 93532 kB
SUnreclaim: 86352 kB
KernelStack: 4288 kB
PageTables: 3476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 514720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 57344 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= 433060 MiB
End job on nodeC020 at 2025-06-29 09:59:33