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: 63665 MiB (62622 MiB free)
memory of node 1: 64507 MiB (63522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544059-1753228828/watcher-4544059-1753228828 -o /tmp/evaluation-result-4544059-1753228828/solver-4544059-1753228828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753221605-164722 --watchdog 3760 pb_picat HOME/instance-4544059-1753228828.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=165920, runsolver pid=165913
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.09 4.09 4/263 165921
/proc/meminfo: memFree=129143064/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2032880 memory=41568 CPUtime=0.09 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 2721 0 0 0 8 1 0 0 20 0 1 0 238560576 2081669120 10392 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 508220 10392 1664 343 0 505284 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2032880 KiB
Current children cumulated memory: 41568 KiB
[startup+0.204807 s]*
/proc/loadavg: 4.11 4.09 4.09 5/261 165929
/proc/meminfo: memFree=129142056/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2034416 memory=42644 CPUtime=0.19 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 3723 0 0 0 18 1 0 0 20 0 1 0 238560576 2083241984 10661 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 508604 10661 1696 343 0 505668 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034416 KiB
Current children cumulated memory: 42644 KiB
[startup+0.305108 s]*
/proc/loadavg: 4.11 4.09 4.09 4/261 165929
/proc/meminfo: memFree=129142056/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2034416 memory=43416 CPUtime=0.29 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 4746 0 0 0 28 1 0 0 20 0 1 0 238560576 2083241984 10854 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 508604 10854 1696 343 0 505668 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034416 KiB
Current children cumulated memory: 43416 KiB
[startup+0.70011 s]
/proc/loadavg: 4.11 4.09 4.09 5/261 165929
/proc/meminfo: memFree=129141048/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2042080 memory=46608 CPUtime=0.68 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 6824 0 0 0 67 1 0 0 20 0 1 0 238560576 2091089920 11652 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 510520 11652 1696 343 0 507584 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042080 KiB
Current children cumulated memory: 46608 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.09 4.09 4/263 165935
/proc/meminfo: memFree=129140040/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2041056 memory=49168 CPUtime=1.48 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9817 0 0 0 146 2 0 0 20 0 1 0 238560576 2090041344 12292 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 510264 12292 1696 343 0 507328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2041056 KiB
Current children cumulated memory: 49168 KiB
[startup+3.10539 s]
/proc/loadavg: 4.10 4.09 4.09 4/261 166019
/proc/meminfo: memFree=129016432/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2049392 memory=50304 CPUtime=3.08 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 19285 0 0 0 303 5 0 0 20 0 1 0 238560576 2098577408 12576 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 512348 12576 1696 343 0 509412 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2049392 KiB
Current children cumulated memory: 50304 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 166056
/proc/meminfo: memFree=128965880/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2042224 memory=49768 CPUtime=6.26 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 31878 0 0 0 618 8 0 0 20 0 1 0 238560576 2091237376 12442 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 510556 12442 1696 343 0 507620 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2042224 KiB
Current children cumulated memory: 49768 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 166056
/proc/meminfo: memFree=128955640/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2041968 memory=50504 CPUtime=12.65 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 54782 0 0 0 1249 16 0 0 20 0 1 0 238560576 2090975232 12626 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 510492 12626 1696 343 0 507556 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2041968 KiB
Current children cumulated memory: 50504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 166056
/proc/meminfo: memFree=128898072/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2068592 memory=67892 CPUtime=25.41 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 85700 0 0 0 2514 27 0 0 20 0 1 0 238560576 2118238208 16973 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 517148 16973 1696 343 0 514212 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2068592 KiB
Current children cumulated memory: 67892 KiB
[startup+51.1061 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 166071
/proc/meminfo: memFree=128772084/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2041968 memory=50900 CPUtime=50.93 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 171675 0 0 0 5038 55 0 0 20 0 1 0 238560576 2090975232 12725 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 510492 12725 1696 343 0 507556 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2041968 KiB
Current children cumulated memory: 50900 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/266 166076
/proc/meminfo: memFree=128853316/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2049136 memory=56508 CPUtime=101.97 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 300029 0 0 0 10094 103 0 0 20 0 1 0 238560576 2098315264 14127 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 512284 14127 1696 343 0 509348 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2049136 KiB
Current children cumulated memory: 56508 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/266 166082
/proc/meminfo: memFree=128909568/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2052208 memory=59716 CPUtime=161.79 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 432575 0 0 0 16021 158 0 0 20 0 1 0 238560576 2101460992 14929 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 513052 14929 1696 343 0 510116 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2052208 KiB
Current children cumulated memory: 59716 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/265 166218
/proc/meminfo: memFree=128899664/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2101360 memory=106236 CPUtime=221.6 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 666367 0 0 0 21931 229 0 0 20 0 1 0 238560576 2151792640 26559 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 525340 26559 1696 343 0 522404 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2101360 KiB
Current children cumulated memory: 106236 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/266 166221
/proc/meminfo: memFree=128898416/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2066968 memory=76544 CPUtime=281.44 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 834702 0 0 0 27856 288 0 0 20 0 1 0 238560576 2116575232 19136 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 516742 19136 1696 343 0 513806 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 2066968 KiB
Current children cumulated memory: 76544 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 166223
/proc/meminfo: memFree=128905408/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2099736 memory=86952 CPUtime=341.28 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 1022990 0 0 0 33780 348 0 0 20 0 1 0 238560576 2150129664 21738 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 524934 21738 1696 343 0 521998 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 2099736 KiB
Current children cumulated memory: 86952 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 166225
/proc/meminfo: memFree=128800700/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2101784 memory=107064 CPUtime=401.12 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 1181326 0 0 0 39707 405 0 0 20 0 1 0 238560576 2152226816 26766 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 525446 26766 1696 343 0 522510 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2101784 KiB
Current children cumulated memory: 107064 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 166227
/proc/meminfo: memFree=128475944/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2298392 memory=199976 CPUtime=460.97 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 1305511 0 0 0 45641 456 0 0 20 0 1 0 238560576 2353553408 49994 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 574598 49994 1696 343 0 571662 0
################
# More data... #
################
Current children cumulated memory: 189188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/265 166346
/proc/meminfo: memFree=128490640/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2173944 memory=185720 CPUtime=2913.52 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 7974610 0 0 0 288568 2784 0 0 20 0 1 0 238560576 2226118656 46430 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 543486 46430 1696 343 0 540550 0
Current children cumulated CPU time: 2913.52 s
Current children cumulated vsize: 2173944 KiB
Current children cumulated memory: 185720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/265 166349
/proc/meminfo: memFree=128577048/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2173944 memory=168432 CPUtime=2973.32 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8129720 0 0 0 294503 2829 0 0 20 0 1 0 238560576 2226118656 42108 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 543486 42108 1696 343 0 540550 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 2173944 KiB
Current children cumulated memory: 168432 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/265 166351
/proc/meminfo: memFree=128566304/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2305016 memory=208308 CPUtime=3033.11 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8525671 0 0 0 300380 2931 0 0 20 0 1 0 238560576 2360336384 52077 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 576254 52077 1696 343 0 573318 0
Current children cumulated CPU time: 3033.11 s
Current children cumulated vsize: 2305016 KiB
Current children cumulated memory: 208308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/266 166356
/proc/meminfo: memFree=128566716/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2305016 memory=247268 CPUtime=3092.91 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8895249 0 0 0 306262 3029 0 0 20 0 1 0 238560576 2360336384 61817 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 576254 61817 1696 343 0 573318 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 2305016 KiB
Current children cumulated memory: 247268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 166362
/proc/meminfo: memFree=128437260/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2305016 memory=277036 CPUtime=3152.72 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8925875 0 0 0 312211 3061 0 0 20 0 1 0 238560576 2360336384 69259 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 576254 69259 1696 343 0 573318 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 2305016 KiB
Current children cumulated memory: 277036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 166364
/proc/meminfo: memFree=128452724/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2300920 memory=229336 CPUtime=3212.53 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8963329 0 0 0 318159 3094 0 0 20 0 1 0 238560576 2356142080 57334 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 575230 57334 1696 343 0 572294 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 2300920 KiB
Current children cumulated memory: 229336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 166366
/proc/meminfo: memFree=128339888/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2305016 memory=257312 CPUtime=3272.35 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 8994893 0 0 0 324107 3128 0 0 20 0 1 0 238560576 2360336384 64328 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 576254 64328 1696 343 0 573318 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 2305016 KiB
Current children cumulated memory: 257312 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 166368
/proc/meminfo: memFree=128581936/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2169848 memory=127188 CPUtime=3332.16 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9036848 0 0 0 330058 3158 0 0 20 0 1 0 238560576 2221924352 31797 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 542462 31797 1696 343 0 539526 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 2169848 KiB
Current children cumulated memory: 127188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.21 4.12 5/264 166370
/proc/meminfo: memFree=128286844/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2173944 memory=143544 CPUtime=3391.97 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9064353 0 0 0 336009 3188 0 0 20 0 1 0 238560576 2226118656 35886 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 543486 35886 1696 343 0 540550 0
Current children cumulated CPU time: 3391.97 s
Current children cumulated vsize: 2173944 KiB
Current children cumulated memory: 143544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.12 5/264 166372
/proc/meminfo: memFree=128655840/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2170012 memory=162020 CPUtime=3451.77 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9433632 0 0 0 341888 3289 0 0 20 0 1 0 238560576 2222092288 40505 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 542503 40505 1696 343 0 539567 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 2170012 KiB
Current children cumulated memory: 162020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/264 166374
/proc/meminfo: memFree=128579280/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2104476 memory=89032 CPUtime=3511.57 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9824002 0 0 0 347763 3394 0 0 20 0 1 0 238560576 2154983424 22258 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 526119 22258 1696 343 0 523183 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 2104476 KiB
Current children cumulated memory: 89032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.11 5/265 166377
/proc/meminfo: memFree=128420128/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2052252 memory=67516 CPUtime=3571.37 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9903268 0 0 0 353705 3432 0 0 20 0 1 0 238560576 2101506048 16879 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 513063 16879 1696 343 0 510127 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 2052252 KiB
Current children cumulated memory: 67516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.12 4.16 4.11 4/261 166385
/proc/meminfo: memFree=128668220/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2567324 memory=411204 CPUtime=3600.09 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9915105 0 0 0 356562 3447 0 0 20 0 1 0 238560576 2628939776 102801 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 641831 102801 1696 343 0 638895 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2567324 KiB
Current children cumulated memory: 411204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 165920 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3565.63 s, system=34.4765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.12 4.16 4.11 4/261 166385
/proc/meminfo: memFree=128668220/131249996 swapFree=33010416/33010684
[pid=165920] ppid=165913 vsize=2567324 memory=411204 CPUtime=3600.09 cores=0,2
/proc/165920/stat : 165920 (pb_picat) R 165913 165920 164712 0 -1 4194304 9915105 0 0 0 356562 3447 0 0 20 0 1 0 238560576 2628939776 102801 18446744073709551615 94253132967936 94253134369517 140727749131664 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94253134640944 94253136515248 94253174939648 140727749138844 140727749138920 140727749138920 140727749144524 0
/proc/165920/statm: 641831 102801 1696 343 0 638895 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2567324 KiB
Current children cumulated memory: 411204 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.11
CPU time (s): 3600.11
CPU user time (s): 3565.63
CPU system time (s): 34.4765
CPU usage (%): 99.6953
Max. virtual memory (cumulated for all children) (KiB): 2567324
Max. memory (cumulated for all children) (KiB): 426080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.63
system time used= 34.4765
maximum resident set size= 426080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9915105
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= 70
involuntary context switches= 4862
# summary of solver processes directly reported to runsolver:
# pid: 165920
# total CPU time (s): 3600.11
# total CPU user time (s): 3565.63
# total CPU system time (s): 34.4765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74113 second user time and 16.6439 second system time
The end
Begin job on nodeC017 at 2025-07-23 02:00:28
IDJOB=4544059
IDBENCH=174876
IDSOLVER=3346
FILE ID=nodeC017/4544059-1753228828
RUNJOBID= nodeC017-1753221605-164722
SLURM_JOB_ID= 9687814
Free space on /tmp= 433040 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_06_048.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544059-1753228828/watcher-4544059-1753228828 -o /tmp/evaluation-result-4544059-1753228828/solver-4544059-1753228828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753221605-164722 --watchdog 3760 pb_picat HOME/instance-4544059-1753228828.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9511341aa7d4b7fef4c29d2b14b834db
RANDOM SEED=5549810
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
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 : 7000.12
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 : 3600.041
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 : 7000.12
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 : 3600.057
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 : 7000.12
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 : 3621.401
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 : 7000.12
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 : 3600.143
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 : 7000.12
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 : 3600.119
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 : 7000.12
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.023
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 : 7000.12
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129176296 kB
MemAvailable: 129610888 kB
Buffers: 1688 kB
Cached: 1201704 kB
SwapCached: 32 kB
Active: 1150620 kB
Inactive: 227972 kB
Active(anon): 177336 kB
Inactive(anon): 24108 kB
Active(file): 973284 kB
Inactive(file): 203864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7556 kB
Writeback: 8 kB
AnonPages: 176876 kB
Mapped: 116056 kB
Shmem: 26240 kB
KReclaimable: 192964 kB
Slab: 287848 kB
SReclaimable: 192964 kB
SUnreclaim: 94884 kB
KernelStack: 4184 kB
PageTables: 3456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4511624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 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: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC017 at 2025-07-23 03:00:40