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: 63837 MiB (62885 MiB free)
memory of node 1: 64465 MiB (59099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528184-1752246895/watcher-4528184-1752246895 -o /tmp/evaluation-result-4528184-1752246895/solver-4528184-1752246895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752243248-121322 --watchdog 3760 pb_picat HOME/instance-4528184-1752246895.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=121926, runsolver pid=121923
[startup+0.100065 s]*
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900916/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=0.09 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 9 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+0.214039 s]*
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900916/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=0.19 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 19 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+0.312028 s]*
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900916/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=0.28 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 28 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+0.700223 s]
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900916/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=0.66 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 66 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+1.50026 s]
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900916/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=1.46 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 146 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+3.11188 s]
/proc/loadavg: 3.94 4.05 4.08 5/252 121927
/proc/meminfo: memFree=124900972/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=3.07 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 985 0 0 0 307 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+6.30026 s]
/proc/loadavg: 4.03 4.07 4.08 5/252 121927
/proc/meminfo: memFree=124900972/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2027148 memory=19984 CPUtime=6.25 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 989 0 0 0 625 0 0 0 20 0 1 0 140368613 2075799552 4996 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 506787 4996 1632 343 0 503851 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 19984 KiB
[startup+12.7003 s]
/proc/loadavg: 4.02 4.06 4.08 5/252 121927
/proc/meminfo: memFree=124900972/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2032348 memory=23960 CPUtime=12.63 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 6452 0 0 0 1262 1 0 0 20 0 1 0 140368613 2081124352 5990 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 508087 5990 1696 343 0 505151 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2032348 KiB
Current children cumulated memory: 23960 KiB
[startup+25.5003 s]
/proc/loadavg: 4.02 4.06 4.08 5/252 121927
/proc/meminfo: memFree=124900972/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2034660 memory=25664 CPUtime=25.41 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 22172 0 0 0 2537 4 0 0 20 0 1 0 140368613 2083491840 6416 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 508665 6416 1696 343 0 505729 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2034660 KiB
Current children cumulated memory: 25664 KiB
[startup+51.1119 s]
/proc/loadavg: 4.09 4.07 4.08 5/252 121927
/proc/meminfo: memFree=124900224/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2035144 memory=27544 CPUtime=50.96 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 47464 0 0 0 5088 8 0 0 20 0 1 0 140368613 2083987456 6886 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 508786 6886 1696 343 0 505850 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2035144 KiB
Current children cumulated memory: 27544 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.06 4.08 5/252 121929
/proc/meminfo: memFree=124896200/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2037192 memory=28012 CPUtime=102.03 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 90327 0 0 0 10187 16 0 0 20 0 1 0 140368613 2086084608 7003 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 509298 7003 1696 343 0 506362 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2037192 KiB
Current children cumulated memory: 28012 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.06 4.08 5/252 121935
/proc/meminfo: memFree=124895776/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2037192 memory=27740 CPUtime=161.89 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 133765 0 0 0 16165 24 0 0 20 0 1 0 140368613 2086084608 6935 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 509298 6935 1696 343 0 506362 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2037192 KiB
Current children cumulated memory: 27740 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.08 4.08 5/252 121937
/proc/meminfo: memFree=124891744/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2041428 memory=28908 CPUtime=221.75 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 172080 0 0 0 22144 31 0 0 20 0 1 0 140368613 2090422272 7227 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 510357 7227 1696 343 0 507421 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2041428 KiB
Current children cumulated memory: 28908 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.08 4.08 5/250 121939
/proc/meminfo: memFree=124907744/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2041948 memory=32964 CPUtime=281.61 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 202470 0 0 0 28124 37 0 0 20 0 1 0 140368613 2090954752 8241 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 510487 8241 1696 343 0 507551 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2041948 KiB
Current children cumulated memory: 32964 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.06 4.08 5/250 121941
/proc/meminfo: memFree=124905996/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2042100 memory=33200 CPUtime=341.46 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 224146 0 0 0 34106 40 0 0 20 0 1 0 140368613 2091110400 8300 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 510525 8300 1696 343 0 507589 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2042100 KiB
Current children cumulated memory: 33200 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.11 4.09 5/250 121943
/proc/meminfo: memFree=124905508/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2042388 memory=34472 CPUtime=401.31 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 244255 0 0 0 40088 43 0 0 20 0 1 0 140368613 2091405312 8618 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 510597 8618 1696 343 0 507661 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2042388 KiB
Current children cumulated memory: 34472 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 121946
/proc/meminfo: memFree=124904524/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2042544 memory=34744 CPUtime=461.16 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 264346 0 0 0 46069 47 0 0 20 0 1 0 140368613 2091565056 8686 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 510636 8686 1696 343 0 507700 0
################
# More data... #
################
Current children cumulated memory: 55828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.23 4.16 5/250 122254
/proc/meminfo: memFree=124471152/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2056720 memory=50920 CPUtime=2913.83 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 738738 0 0 0 291193 190 0 0 20 0 1 0 140368613 2106081280 12730 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514180 12730 1696 343 0 511244 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 2056720 KiB
Current children cumulated memory: 50920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.20 4.16 5/250 122257
/proc/meminfo: memFree=124482508/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2052624 memory=50024 CPUtime=2973.66 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 744445 0 0 0 297174 192 0 0 20 0 1 0 140368613 2101886976 12506 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 513156 12506 1696 343 0 510220 0
Current children cumulated CPU time: 2973.66 s
Current children cumulated vsize: 2052624 KiB
Current children cumulated memory: 50024 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.18 4.15 5/250 122259
/proc/meminfo: memFree=124457012/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2056720 memory=53908 CPUtime=3033.49 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 748285 0 0 0 303156 193 0 0 20 0 1 0 140368613 2106081280 13477 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514180 13477 1696 343 0 511244 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 2056720 KiB
Current children cumulated memory: 53908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/251 122264
/proc/meminfo: memFree=124502592/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2056720 memory=53908 CPUtime=3093.31 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 758714 0 0 0 309136 195 0 0 20 0 1 0 140368613 2106081280 13477 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514180 13477 1696 343 0 511244 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 2056720 KiB
Current children cumulated memory: 53908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.14 4.14 5/251 122266
/proc/meminfo: memFree=124477372/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2064912 memory=55468 CPUtime=3153.14 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 765458 0 0 0 315117 197 0 0 20 0 1 0 140368613 2114469888 13867 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 516228 13867 1696 343 0 513292 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 2064912 KiB
Current children cumulated memory: 55468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.13 4.13 5/251 122272
/proc/meminfo: memFree=124474136/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=51308 CPUtime=3212.98 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 774723 0 0 0 321096 202 0 0 20 0 1 0 140368613 2106372096 12827 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 12827 1696 343 0 511315 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 51308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/251 122274
/proc/meminfo: memFree=124426696/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=54124 CPUtime=3272.8 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 779984 0 0 0 327076 204 0 0 20 0 1 0 140368613 2106372096 13531 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 13531 1696 343 0 511315 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 54124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/251 122276
/proc/meminfo: memFree=124519924/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=51136 CPUtime=3332.62 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 784017 0 0 0 333057 205 0 0 20 0 1 0 140368613 2106372096 12784 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 12784 1696 343 0 511315 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 51136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/251 122278
/proc/meminfo: memFree=124488144/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=54124 CPUtime=3392.45 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 791091 0 0 0 339038 207 0 0 20 0 1 0 140368613 2106372096 13531 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 13531 1696 343 0 511315 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 54124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/251 122281
/proc/meminfo: memFree=124560348/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2065196 memory=55276 CPUtime=3452.28 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 797883 0 0 0 345019 209 0 0 20 0 1 0 140368613 2114760704 13819 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 516299 13819 1696 343 0 513363 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 2065196 KiB
Current children cumulated memory: 55276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/251 122283
/proc/meminfo: memFree=124540520/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=54756 CPUtime=3512.1 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 805071 0 0 0 350999 211 0 0 20 0 1 0 140368613 2106372096 13689 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 13689 1696 343 0 511315 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 54756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/251 122285
/proc/meminfo: memFree=124502252/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2057004 memory=54756 CPUtime=3571.93 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 816392 0 0 0 356978 215 0 0 20 0 1 0 140368613 2106372096 13689 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 514251 13689 1696 343 0 511315 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 2057004 KiB
Current children cumulated memory: 54756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.05 4.09 4.10 5/251 122286
/proc/meminfo: memFree=124467556/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2065196 memory=58220 CPUtime=3600.05 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 818285 0 0 0 359789 216 0 0 20 0 1 0 140368613 2114760704 14555 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 516299 14555 1696 343 0 513363 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2065196 KiB
Current children cumulated memory: 58220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 121926 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.89 s, system=2.16747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.05 4.09 4.10 5/251 122286
/proc/meminfo: memFree=124467556/131382112 swapFree=33000116/33010684
[pid=121926] ppid=121923 vsize=2065196 memory=58220 CPUtime=3600.05 cores=5,7
/proc/121926/stat : 121926 (pb_picat) R 121923 121926 121309 0 -1 4194304 818285 0 0 0 359789 216 0 0 20 0 1 0 140368613 2114760704 14555 18446744073709551615 94736346570752 94736347972333 140736497360048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94736348243760 94736350118000 94736385650688 140736497363356 140736497363432 140736497363432 140736497369036 0
/proc/121926/statm: 516299 14555 1696 343 0 513363 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2065196 KiB
Current children cumulated memory: 58220 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.5
CPU time (s): 3600.06
CPU user time (s): 3597.89
CPU system time (s): 2.16747
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 2081296
Max. memory (cumulated for all children) (KiB): 62920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.89
system time used= 2.16747
maximum resident set size= 65720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818285
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= 73
involuntary context switches= 4211
# summary of solver processes directly reported to runsolver:
# pid: 121926
# total CPU time (s): 3600.06
# total CPU user time (s): 3597.89
# total CPU system time (s): 2.16747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7405 second user time and 30.2589 second system time
The end
Begin job on nodeC007 at 2025-07-11 17:14:55
IDJOB=4528184
IDBENCH=176020
IDSOLVER=3385
FILE ID=nodeC007/4528184-1752246895
RUNJOBID= nodeC007-1752243248-121322
SLURM_JOB_ID= 9682558
Free space on /tmp= 431072 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-13array_diag_greater.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528184-1752246895/watcher-4528184-1752246895 -o /tmp/evaluation-result-4528184-1752246895/solver-4528184-1752246895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752243248-121322 --watchdog 3760 pb_picat HOME/instance-4528184-1752246895.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4323600963088835cdc761a0340acac9
RANDOM SEED=2073407172
nodeC007 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 : 0xb00001f
cpu MHz : 3593.460
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3662.673
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.629
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.514
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3659.377
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.408
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1198.112
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124913168 kB
MemAvailable: 129725128 kB
Buffers: 16 kB
Cached: 5477904 kB
SwapCached: 2804 kB
Active: 402204 kB
Inactive: 5207528 kB
Active(anon): 108740 kB
Inactive(anon): 35084 kB
Active(file): 293464 kB
Inactive(file): 5172444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7636 kB
Writeback: 0 kB
AnonPages: 132156 kB
Mapped: 109392 kB
Shmem: 12012 kB
KReclaimable: 371356 kB
Slab: 464116 kB
SReclaimable: 371356 kB
SUnreclaim: 92760 kB
KernelStack: 4096 kB
PageTables: 3456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6472412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431068 MiB
End job on nodeC007 at 2025-07-11 18:15:06