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 (62820 MiB free)
memory of node 1: 64465 MiB (63893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503187-1751164144/watcher-4503187-1751164144 -o /tmp/evaluation-result-4503187-1751164144/solver-4503187-1751164144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751158727-17618 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=573845284 --ls=360 --inp-dombreaklim=0 HOME/instance-4503187-1751164144.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=18993, runsolver pid=18990
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.09 4.14 4.11 5/263 18994
/proc/meminfo: memFree=129755084/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=0.1 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 10 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.205261 s]*
/proc/loadavg: 4.09 4.14 4.11 5/263 18994
/proc/meminfo: memFree=129755084/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=0.2 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 20 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.30489 s]*
/proc/loadavg: 4.09 4.14 4.11 5/263 18994
/proc/meminfo: memFree=129755084/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=0.3 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 30 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.700096 s]
/proc/loadavg: 4.08 4.14 4.10 5/263 18994
/proc/meminfo: memFree=129755084/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=0.69 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 69 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.14 4.10 5/263 18994
/proc/meminfo: memFree=129755084/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=1.49 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 149 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+3.10475 s]
/proc/loadavg: 4.08 4.14 4.10 5/263 18994
/proc/meminfo: memFree=129755328/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=3.09 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 309 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+6.30009 s]
/proc/loadavg: 4.07 4.14 4.10 5/263 18995
/proc/meminfo: memFree=129755668/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=6.28 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 628 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 18995
/proc/meminfo: memFree=129755668/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=12.67 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 1267 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 18995
/proc/meminfo: memFree=129755716/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=25.44 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 2544 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+51.1047 s]
/proc/loadavg: 4.07 4.13 4.10 5/263 18995
/proc/meminfo: memFree=129755740/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=50.99 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 5099 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 18999
/proc/meminfo: memFree=129751532/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=102.07 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 10207 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/263 19001
/proc/meminfo: memFree=129738540/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=161.94 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 16194 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 19007
/proc/meminfo: memFree=129742172/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=221.81 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 22181 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 19011
/proc/meminfo: memFree=129739540/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=281.68 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 28168 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19015
/proc/meminfo: memFree=129737920/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=29192 memory=5760 CPUtime=341.55 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 547 0 0 0 34155 0 0 0 20 0 1 0 32091883 29892608 1440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+402.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/264 19062
/proc/meminfo: memFree=129624816/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=38824 memory=20036 CPUtime=401.4 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 5020 0 0 0 40089 51 0 0 20 0 1 0 32091883 39755776 5009 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 9706 5009 1280 1200 0 8186 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 20036 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/264 19064
/proc/meminfo: memFree=129584604/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=42584 memory=26016 CPUtime=461.22 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 7656 0 0 0 46003 119 0 0 20 0 1 0 32091883 43606016 6504 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 10646 6504 1280 1200 0 9126 0
Current children cumulated CPU time: 461.22 s
################
# More data... #
################
Current children cumulated memory: 48736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 19285
/proc/meminfo: memFree=128866572/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=64044 memory=49120 CPUtime=2914.52 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 21439 0 0 0 288578 2874 0 0 20 0 1 0 32091883 65581056 12280 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16011 12280 1280 1200 0 14491 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 64044 KiB
Current children cumulated memory: 49120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.22 4.13 5/262 19287
/proc/meminfo: memFree=128870388/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=64620 memory=49760 CPUtime=2974.36 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 21583 0 0 0 294501 2935 0 0 20 0 1 0 32091883 66170880 12440 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16155 12440 1280 1200 0 14635 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 64620 KiB
Current children cumulated memory: 49760 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/262 19289
/proc/meminfo: memFree=128870516/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=65004 memory=50272 CPUtime=3034.21 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 21703 0 0 0 300420 3001 0 0 20 0 1 0 32091883 66564096 12568 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16251 12568 1280 1200 0 14731 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 65004 KiB
Current children cumulated memory: 50272 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/262 19291
/proc/meminfo: memFree=128870676/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=65388 memory=50656 CPUtime=3094.05 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 21799 0 0 0 306340 3065 0 0 20 0 1 0 32091883 66957312 12664 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16347 12664 1280 1200 0 14827 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 50656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/262 19293
/proc/meminfo: memFree=128866488/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=65964 memory=51168 CPUtime=3153.9 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 21959 0 0 0 312264 3126 0 0 20 0 1 0 32091883 67547136 12792 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16491 12792 1280 1200 0 14971 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 65964 KiB
Current children cumulated memory: 51168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/263 19296
/proc/meminfo: memFree=128857800/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=66732 memory=51808 CPUtime=3213.74 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22129 0 0 0 318182 3192 0 0 20 0 1 0 32091883 68333568 12952 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16683 12952 1280 1200 0 15163 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 66732 KiB
Current children cumulated memory: 51808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.10 6/264 19301
/proc/meminfo: memFree=128841676/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=66924 memory=52192 CPUtime=3273.58 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22201 0 0 0 324104 3254 0 0 20 0 1 0 32091883 68530176 13048 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16731 13048 1280 1200 0 15211 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 66924 KiB
Current children cumulated memory: 52192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/265 19306
/proc/meminfo: memFree=128851144/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67308 memory=52448 CPUtime=3333.43 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22274 0 0 0 330024 3319 0 0 20 0 1 0 32091883 68923392 13112 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16827 13112 1280 1200 0 15307 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 67308 KiB
Current children cumulated memory: 52448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/265 19355
/proc/meminfo: memFree=128062348/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67500 memory=52576 CPUtime=3393.27 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22324 0 0 0 335942 3385 0 0 20 0 1 0 32091883 69120000 13144 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16875 13144 1280 1200 0 15355 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 67500 KiB
Current children cumulated memory: 52576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/265 19357
/proc/meminfo: memFree=128090332/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67500 memory=52704 CPUtime=3453.11 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22349 0 0 0 341866 3445 0 0 20 0 1 0 32091883 69120000 13176 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16875 13176 1280 1200 0 15355 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 67500 KiB
Current children cumulated memory: 52704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/265 19359
/proc/meminfo: memFree=128090220/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67692 memory=52832 CPUtime=3512.93 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22373 0 0 0 347784 3509 0 0 20 0 1 0 32091883 69316608 13208 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16923 13208 1280 1200 0 15403 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 52832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 19361
/proc/meminfo: memFree=128089980/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67692 memory=52832 CPUtime=3572.76 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22375 0 0 0 353706 3570 0 0 20 0 1 0 32091883 69316608 13208 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16923 13208 1280 1200 0 15403 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 52832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 19361
/proc/meminfo: memFree=128088308/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67692 memory=52960 CPUtime=3600.09 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22400 0 0 0 356413 3596 0 0 20 0 1 0 32091883 69316608 13240 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16923 13240 1280 1200 0 15403 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 52960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 18993 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.14 s, system=35.9622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 19361
/proc/meminfo: memFree=128088308/131250000 swapFree=33010684/33010684
[pid=18993] ppid=18990 vsize=67692 memory=52960 CPUtime=3600.09 cores=5,7
/proc/18993/stat : 18993 (Exact) R 18990 18993 17605 0 -1 4194304 22400 0 0 0 356413 3596 0 0 20 0 1 0 32091883 69316608 13240 18446744073709551615 4198400 9112445 140736841447584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14831616 140736841455911 140736841456109 140736841456109 140736841461711 0
/proc/18993/statm: 16923 13240 1280 1200 0 15403 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 52960 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.1
CPU user time (s): 3564.14
CPU system time (s): 35.9622
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 67692
Max. memory (cumulated for all children) (KiB): 52960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.14
system time used= 35.9622
maximum resident set size= 52960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22402
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= 16
involuntary context switches= 3916
# summary of solver processes directly reported to runsolver:
# pid: 18993
# total CPU time (s): 3600.1
# total CPU user time (s): 3564.14
# total CPU system time (s): 35.9622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9597 second user time and 14.8201 second system time
The end
Begin job on nodeC019 at 2025-06-29 04:29:04
IDJOB=4503187
IDBENCH=155408
IDSOLVER=3319
FILE ID=nodeC019/4503187-1751164144
RUNJOBID= nodeC019-1751158727-17618
SLURM_JOB_ID= 9587496
Free space on /tmp= 433044 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820146.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503187-1751164144/watcher-4503187-1751164144 -o /tmp/evaluation-result-4503187-1751164144/solver-4503187-1751164144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751158727-17618 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=573845284 --ls=360 --inp-dombreaklim=0 HOME/instance-4503187-1751164144.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 081659ee65bc936cbb896171f511d736
RANDOM SEED=573845284
nodeC019 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.656
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.37
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.689
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.37
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.644
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.37
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 : 3578.496
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.37
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.681
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.37
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.680
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.103
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.37
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.877
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129754688 kB
MemAvailable: 129535976 kB
Buffers: 3280 kB
Cached: 591512 kB
SwapCached: 0 kB
Active: 554504 kB
Inactive: 334764 kB
Active(anon): 312540 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 334764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14452 kB
Writeback: 48 kB
AnonPages: 297512 kB
Mapped: 116444 kB
Shmem: 18064 kB
KReclaimable: 87600 kB
Slab: 171412 kB
SReclaimable: 87600 kB
SUnreclaim: 83812 kB
KernelStack: 4136 kB
PageTables: 3684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 692176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC019 at 2025-06-29 05:29:14