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: 63968 MiB (60217 MiB free)
memory of node 1: 64473 MiB (60363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450902-1721419080/watcher-4450902-1721419080 -o /tmp/evaluation-result-4450902-1721419080/solver-4450902-1721419080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027284 --watchdog 3760 pb_picat HOME/instance-4450902-1721419080.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1032913, runsolver pid=1032910
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.12 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123441512/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2033608 memory=37044 CPUtime=0.1 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 784 0 0 0 10 0 0 0 20 0 1 0 194078590 2082414592 9261 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 508402 9261 1539 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37044 KiB
[startup+0.205939 s]*
/proc/loadavg: 4.12 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123434220/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2034168 memory=42632 CPUtime=0.2 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 982 0 0 0 20 0 0 0 20 0 1 0 194078590 2082988032 10658 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 508542 10658 1729 439 0 503971 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034168 KiB
Current children cumulated memory: 42632 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.12 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123430384/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2039460 memory=46048 CPUtime=0.3 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 2021 0 0 0 30 0 0 0 20 0 1 0 194078590 2088407040 11512 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 509865 11512 1729 439 0 505294 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039460 KiB
Current children cumulated memory: 46048 KiB
[startup+0.700198 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123424020/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2041852 memory=48968 CPUtime=0.68 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 4063 0 0 0 67 1 0 0 20 0 1 0 194078590 2090856448 12242 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 510463 12242 1745 439 0 505892 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041852 KiB
Current children cumulated memory: 48968 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123419324/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2041544 memory=48632 CPUtime=1.49 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 6156 0 0 0 147 2 0 0 20 0 1 0 194078590 2090541056 12158 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 510386 12158 1745 439 0 505815 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041544 KiB
Current children cumulated memory: 48632 KiB
[startup+3.10564 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123439684/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2043784 memory=49416 CPUtime=3.09 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 8836 0 0 0 307 2 0 0 20 0 1 0 194078590 2092834816 12354 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 510946 12354 1745 439 0 506375 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2043784 KiB
Current children cumulated memory: 49416 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 1032914
/proc/meminfo: memFree=123421844/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2043784 memory=49344 CPUtime=6.27 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 13114 0 0 0 624 3 0 0 20 0 1 0 194078590 2092834816 12336 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 510946 12336 1745 439 0 506375 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2043784 KiB
Current children cumulated memory: 49344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.16 5/257 1032916
/proc/meminfo: memFree=123445352/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2048104 memory=54728 CPUtime=12.65 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 25427 0 0 0 1260 5 0 0 20 0 1 0 194078590 2097258496 13682 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 512026 13682 1745 439 0 507455 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2048104 KiB
Current children cumulated memory: 54728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.16 5/258 1033086
/proc/meminfo: memFree=123434652/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2044268 memory=52540 CPUtime=25.43 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 45790 0 0 0 2532 11 0 0 20 0 1 0 194078590 2093330432 13135 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 511067 13135 1745 439 0 506496 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2044268 KiB
Current children cumulated memory: 52540 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.14 4.16 5/258 1033091
/proc/meminfo: memFree=123447776/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2044640 memory=51396 CPUtime=50.95 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 77618 0 0 0 5074 21 0 0 20 0 1 0 194078590 2093711360 12849 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 511160 12849 1745 439 0 506589 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2044640 KiB
Current children cumulated memory: 51396 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/258 1033099
/proc/meminfo: memFree=123401684/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2049404 memory=53208 CPUtime=102.02 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 137581 0 0 0 10164 38 0 0 20 0 1 0 194078590 2098589696 13302 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 512351 13302 1745 439 0 507780 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2049404 KiB
Current children cumulated memory: 53208 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/258 1033112
/proc/meminfo: memFree=123338364/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2049372 memory=57272 CPUtime=161.86 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 198273 0 0 0 16130 56 0 0 20 0 1 0 194078590 2098556928 14318 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 512343 14318 1745 439 0 507772 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2049372 KiB
Current children cumulated memory: 57272 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 1033133
/proc/meminfo: memFree=123419684/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2053468 memory=57896 CPUtime=221.69 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 258185 0 0 0 22092 77 0 0 20 0 1 0 194078590 2102751232 14474 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 513367 14474 1745 439 0 508796 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2053468 KiB
Current children cumulated memory: 57896 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/255 1033145
/proc/meminfo: memFree=123426360/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2053604 memory=60888 CPUtime=281.53 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 311537 0 0 0 28058 95 0 0 20 0 1 0 194078590 2102890496 15222 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 513401 15222 1745 439 0 508830 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2053604 KiB
Current children cumulated memory: 60888 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/255 1033156
/proc/meminfo: memFree=123411500/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2053784 memory=61144 CPUtime=341.38 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 359855 0 0 0 34027 111 0 0 20 0 1 0 194078590 2103074816 15286 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 513446 15286 1745 439 0 508875 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2053784 KiB
Current children cumulated memory: 61144 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 1033168
/proc/meminfo: memFree=123391460/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2078600 memory=81440 CPUtime=401.21 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 403226 0 0 0 39993 128 0 0 20 0 1 0 194078590 2128486400 20360 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 519650 20360 1745 439 0 515079 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2078600 KiB
Current children cumulated memory: 81440 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/255 1033178
/proc/meminfo: memFree=123346460/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2078600 memory=75696 CPUtime=461.06 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 456009 0 0 0 45962 144 0 0 20 0 1 0 194078590 2128486400 18924 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 519650 18924 1745 439 0 515079 0
################
# More data... #
################
/proc/loadavg: 4.04 4.09 4.09 5/258 1033786
/proc/meminfo: memFree=123268352/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=122788 CPUtime=1657.85 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 926471 0 0 0 165414 371 0 0 20 0 1 0 194078590 2172399616 30697 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 30697 1745 439 0 525800 0
Current children cumulated CPU time: 1657.85 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 122788 KiB
[startup+1722.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1033796
/proc/meminfo: memFree=123288372/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2088716 memory=83060 CPUtime=1717.69 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 946655 0 0 0 171386 383 0 0 20 0 1 0 194078590 2138845184 20765 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 522179 20765 1745 439 0 517608 0
Current children cumulated CPU time: 1717.69 s
Current children cumulated vsize: 2088716 KiB
Current children cumulated memory: 83060 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1033807
/proc/meminfo: memFree=123291068/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=118636 CPUtime=1777.53 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 964121 0 0 0 177359 394 0 0 20 0 1 0 194078590 2172399616 29659 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 29659 1745 439 0 525800 0
Current children cumulated CPU time: 1777.53 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 118636 KiB
[startup+1842.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 1033987
/proc/meminfo: memFree=123251352/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2088716 memory=92056 CPUtime=1837.38 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 980671 0 0 0 183334 404 0 0 20 0 1 0 194078590 2138845184 23014 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 522179 23014 1745 439 0 517608 0
Current children cumulated CPU time: 1837.38 s
Current children cumulated vsize: 2088716 KiB
Current children cumulated memory: 92056 KiB
[startup+1902.3 s]
/proc/loadavg: 4.43 4.20 4.13 5/258 1033997
/proc/meminfo: memFree=123245220/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2105100 memory=95676 CPUtime=1897.21 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 994102 0 0 0 189312 409 0 0 20 0 1 0 194078590 2155622400 23919 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 526275 23919 1745 439 0 521704 0
Current children cumulated CPU time: 1897.21 s
Current children cumulated vsize: 2105100 KiB
Current children cumulated memory: 95676 KiB
[startup+1962.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/260 1034066
/proc/meminfo: memFree=123265152/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=108452 CPUtime=1957.06 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1010504 0 0 0 195288 418 0 0 20 0 1 0 194078590 2172399616 27113 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 27113 1745 439 0 525800 0
Current children cumulated CPU time: 1957.06 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 108452 KiB
[startup+2022.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/259 1034078
/proc/meminfo: memFree=123283720/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=129424 CPUtime=2016.9 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1030044 0 0 0 201261 429 0 0 20 0 1 0 194078590 2172399616 32356 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 32356 1745 439 0 525800 0
Current children cumulated CPU time: 2016.9 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 129424 KiB
[startup+2069.46 s]
# the end of solver process 1032913 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2059.55 s, system=4.3884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 4.18 4.18 4.12 5/259 1034078
/proc/meminfo: memFree=123283720/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=129424 CPUtime=2017 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1030046 0 0 0 201271 429 0 0 20 0 1 0 194078590 2172399616 32356 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 32356 1745 439 0 525800 0
Current children cumulated CPU time: 2017 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 129424 KiB
[startup+2048 s]*
/proc/loadavg: 4.11 4.16 4.11 5/260 1034085
/proc/meminfo: memFree=123285508/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=108400 CPUtime=2042.54 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1037125 0 0 0 203820 434 0 0 20 0 1 0 194078590 2172399616 27100 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 27100 1745 439 0 525800 0
Current children cumulated CPU time: 2042.54 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 108400 KiB
[startup+2060.8 s]
/proc/loadavg: 4.17 4.17 4.12 5/260 1034087
/proc/meminfo: memFree=123313016/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2088716 memory=78360 CPUtime=2055.3 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1041244 0 0 0 205094 436 0 0 20 0 1 0 194078590 2138845184 19590 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 522179 19590 1745 439 0 517608 0
Current children cumulated CPU time: 2055.3 s
Current children cumulated vsize: 2088716 KiB
Current children cumulated memory: 78360 KiB
[startup+2064 s]*
/proc/loadavg: 4.16 4.17 4.12 5/260 1034087
/proc/meminfo: memFree=123254412/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=102276 CPUtime=2058.49 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1042597 0 0 0 205412 437 0 0 20 0 1 0 194078590 2172399616 25569 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 25569 1745 439 0 525800 0
Current children cumulated CPU time: 2058.49 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 102276 KiB
[startup+2067.2 s]
/proc/loadavg: 4.16 4.17 4.12 5/260 1034087
/proc/meminfo: memFree=123312796/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2121484 memory=122756 CPUtime=2061.68 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1042607 0 0 0 205731 437 0 0 20 0 1 0 194078590 2172399616 30689 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 530371 30689 1745 439 0 525800 0
Current children cumulated CPU time: 2061.68 s
Current children cumulated vsize: 2121484 KiB
Current children cumulated memory: 122756 KiB
[startup+2068.8 s]
/proc/loadavg: 4.14 4.16 4.12 5/260 1034088
/proc/meminfo: memFree=123350160/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2072332 memory=73632 CPUtime=2063.28 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1044819 0 0 0 205890 438 0 0 20 0 1 0 194078590 2122067968 18408 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 518083 18408 1745 439 0 513512 0
Current children cumulated CPU time: 2063.28 s
Current children cumulated vsize: 2072332 KiB
Current children cumulated memory: 73632 KiB
[startup+2069.2 s]
/proc/loadavg: 4.14 4.16 4.12 5/260 1034088
/proc/meminfo: memFree=123347884/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2064140 memory=69480 CPUtime=2063.67 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1045168 0 0 0 205929 438 0 0 20 0 1 0 194078590 2113679360 17370 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 516035 17370 1745 439 0 511464 0
Current children cumulated CPU time: 2063.67 s
Current children cumulated vsize: 2064140 KiB
Current children cumulated memory: 69480 KiB
[startup+2069.4 s]
/proc/loadavg: 4.14 4.16 4.12 5/260 1034088
/proc/meminfo: memFree=123347884/131524596 swapFree=131071996/131071996
[pid=1032913] ppid=1032910 vsize=2064140 memory=71528 CPUtime=2063.87 cores=1,3
/proc/1032913/stat : 1032913 (pb_picat) R 1032910 1032913 1027272 0 -1 4194304 1045169 0 0 0 205949 438 0 0 20 0 1 0 194078590 2113679360 17882 134679101440 4194304 5989780 140724450638912 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 38240256 140724450640919 140724450640995 140724450640995 140724450648012 0
/proc/1032913/statm: 516035 17882 1745 439 0 511464 0
Current children cumulated CPU time: 2063.87 s
Current children cumulated vsize: 2064140 KiB
Current children cumulated memory: 71528 KiB
Child status: 0
Real time (s): 2069.46
CPU time (s): 2063.94
CPU user time (s): 2059.55
CPU system time (s): 4.3884
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 2203404
Max. memory (cumulated for all children) (KiB): 139120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2059.55
system time used= 4.3884
maximum resident set size= 139120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1045185
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= 4
involuntary context switches= 2728
# summary of solver processes directly reported to runsolver:
# pid: 1032913
# total CPU time (s): 2063.94
# total CPU user time (s): 2059.55
# total CPU system time (s): 4.3884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59731 second user time and 10.3012 second system time
The end
Begin job on nodeC034 at 2024-07-19 21:58:13
IDJOB=4450902
IDBENCH=162309
IDSOLVER=3068
FILE ID=nodeC034/4450902-1721419080
RUNJOBID= nodeC034-1721410767-1027284
SLURM_JOB_ID= 7545473
Free space on /tmp= 890072 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-8.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450902-1721419080/watcher-4450902-1721419080 -o /tmp/evaluation-result-4450902-1721419080/solver-4450902-1721419080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027284 --watchdog 3760 pb_picat HOME/instance-4450902-1721419080.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 02e0faaef515678e6aa0f4acf19b43a4
RANDOM SEED=213665418
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3645.128
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3655.433
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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.178
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3659.669
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3645.281
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3660.784
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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.152
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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.189
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 123473820 kB
MemAvailable: 129374092 kB
Buffers: 523228 kB
Cached: 6150704 kB
SwapCached: 0 kB
Active: 1045628 kB
Inactive: 6229308 kB
Active(anon): 1524 kB
Inactive(anon): 645424 kB
Active(file): 1044104 kB
Inactive(file): 5583884 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3784 kB
Writeback: 0 kB
AnonPages: 599364 kB
Mapped: 117384 kB
Shmem: 45912 kB
KReclaimable: 224212 kB
Slab: 354776 kB
SReclaimable: 224212 kB
SUnreclaim: 130564 kB
KernelStack: 4176 kB
PageTables: 10120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 6903900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 397312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 320212 kB
DirectMap2M: 44541952 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-19 22:32:42