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 (61452 MiB free)
memory of node 1: 64473 MiB (52807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462807-1722342393/watcher-4462807-1722342393 -o /tmp/evaluation-result-4462807-1722342393/solver-4462807-1722342393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462807-1722342393 --lp-cut-gomory=0 HOME/instance-4462807-1722342393.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=7793, runsolver pid=7790
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116918696/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=145136 memory=86628 CPUtime=0.08 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 9586 0 0 0 6 2 0 0 20 0 1 0 838359 148619264 21657 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 36284 21657 1317 992 0 28142 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 145136 KiB
Current children cumulated memory: 86628 KiB
[startup+0.206103 s]*
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116912864/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=146580 memory=91492 CPUtime=0.19 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 10282 0 0 0 15 4 0 0 20 0 1 0 838359 150097920 22873 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 36645 22873 1365 992 0 28503 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146580 KiB
Current children cumulated memory: 91492 KiB
[startup+0.305422 s]*
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116910708/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=148236 memory=93336 CPUtime=0.29 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 10690 0 0 0 23 6 0 0 20 0 1 0 838359 151793664 23334 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 37059 23334 1365 992 0 28917 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148236 KiB
Current children cumulated memory: 93336 KiB
[startup+0.70024 s]
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116901324/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=160112 memory=104256 CPUtime=0.68 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 12423 0 0 0 50 18 0 0 20 0 1 0 838359 163954688 26064 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 40028 26064 1365 992 0 31886 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 160112 KiB
Current children cumulated memory: 104256 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116882636/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=190904 memory=133744 CPUtime=1.48 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 15679 0 0 0 109 39 0 0 20 0 1 0 838359 195485696 33436 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 47726 33436 1365 992 0 39584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190904 KiB
Current children cumulated memory: 133744 KiB
[startup+3.10546 s]
/proc/loadavg: 4.13 4.11 3.50 5/261 7794
/proc/meminfo: memFree=116589724/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=615636 memory=535868 CPUtime=3.08 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 69284 0 0 0 236 72 0 0 20 0 1 0 838359 630411264 133967 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 153909 133967 1699 992 0 145767 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 615636 KiB
Current children cumulated memory: 535868 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.11 3.50 5/261 7796
/proc/meminfo: memFree=116258900/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=782064 memory=692636 CPUtime=6.27 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 85937 0 0 0 544 83 0 0 20 0 1 0 838359 800833536 173159 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 195516 173159 1763 992 0 187374 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 782064 KiB
Current children cumulated memory: 692636 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 3.51 5/261 7796
/proc/meminfo: memFree=116005852/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=939192 memory=840336 CPUtime=12.65 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 104925 0 0 0 1146 119 0 0 20 0 1 0 838359 961732608 210084 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 234798 210084 1872 992 0 226656 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 939192 KiB
Current children cumulated memory: 840336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 3.51 5/261 7799
/proc/meminfo: memFree=115440140/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=1145428 memory=988904 CPUtime=25.43 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 115618 0 0 0 2396 147 0 0 20 0 1 0 838359 1172918272 247226 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 286357 247226 1872 992 0 278215 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1145428 KiB
Current children cumulated memory: 988904 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.11 3.53 5/262 7803
/proc/meminfo: memFree=113761264/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=1607124 memory=1481184 CPUtime=50.98 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 144416 0 0 0 4879 219 0 0 20 0 1 0 838359 1645694976 370296 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 401781 370296 1872 992 0 393639 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1607124 KiB
Current children cumulated memory: 1481184 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 3.57 5/263 7982
/proc/meminfo: memFree=110394668/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=2728996 memory=2235876 CPUtime=102.04 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 199048 0 0 0 9830 374 0 0 20 0 1 0 838359 2794491904 558969 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 682249 558969 1872 992 0 674107 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2728996 KiB
Current children cumulated memory: 2235876 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 3.61 5/262 7994
/proc/meminfo: memFree=106785208/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=3355136 memory=3038764 CPUtime=161.91 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 257970 0 0 0 15613 578 0 0 20 0 1 0 838359 3435659264 759691 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 838784 759691 1872 992 0 830642 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 3355136 KiB
Current children cumulated memory: 3038764 KiB
[startup+222.3 s]
/proc/loadavg: 4.53 4.24 3.69 6/263 8005
/proc/meminfo: memFree=105193304/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=3440420 memory=3150516 CPUtime=221.77 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 263175 0 0 0 21499 678 0 0 20 0 1 0 838359 3522990080 787629 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 860105 787629 1888 992 0 851963 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 3440420 KiB
Current children cumulated memory: 3150516 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 4.29 3.74 5/262 8074
/proc/meminfo: memFree=102554988/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=4427856 memory=3901696 CPUtime=281.63 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 332552 0 0 0 27357 806 0 0 20 0 1 0 838359 4534124544 975424 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 1106964 975424 1888 992 0 1098822 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 4427856 KiB
Current children cumulated memory: 3901696 KiB
[startup+342.3 s]
/proc/loadavg: 4.30 4.28 3.77 5/263 8085
/proc/meminfo: memFree=100635928/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=4619200 memory=4218312 CPUtime=341.47 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 352625 0 0 0 33237 910 0 0 20 0 1 0 838359 4730060800 1054578 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 1154800 1054578 1888 992 0 1146658 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 4619200 KiB
Current children cumulated memory: 4218312 KiB
[startup+402.3 s]
/proc/loadavg: 4.39 4.30 3.82 5/263 8095
/proc/meminfo: memFree=98748888/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=4625888 memory=4228652 CPUtime=401.3 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 354681 0 0 0 39125 1005 0 0 20 0 1 0 838359 4736909312 1057163 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 1156472 1057163 1888 992 0 1148330 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 4625888 KiB
Current children cumulated memory: 4228652 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.26 3.83 5/263 8107
/proc/meminfo: memFree=96395860/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=5732860 memory=4609636 CPUtime=461.07 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 376700 0 0 0 44990 1117 0 0 20 0 1 0 838359 5870448640 1152409 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 1433215 1152409 1888 992 0 1425073 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/264 9449
/proc/meminfo: memFree=16999912/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9351092 memory=8393076 CPUtime=3033.95 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 960032 0 0 0 297792 5603 0 0 20 0 1 0 838359 9575518208 2098269 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2337773 2098269 1888 992 0 2329631 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 9351092 KiB
Current children cumulated memory: 8393076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.21 4.15 5/264 9462
/proc/meminfo: memFree=13768960/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9380280 memory=8412228 CPUtime=3093.82 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 977184 0 0 0 303631 5751 0 0 20 0 1 0 838359 9605406720 2103057 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2345070 2103057 1888 992 0 2336928 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 9380280 KiB
Current children cumulated memory: 8412228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/262 9472
/proc/meminfo: memFree=10448136/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9388128 memory=8418224 CPUtime=3153.69 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1030440 0 0 0 309473 5896 0 0 20 0 1 0 838359 9613443072 2104556 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2347032 2104556 1888 992 0 2338890 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 9388128 KiB
Current children cumulated memory: 8418224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/262 9482
/proc/meminfo: memFree=7311716/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9388128 memory=8418232 CPUtime=3213.55 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1044342 0 0 0 315349 6006 0 0 20 0 1 0 838359 9613443072 2104558 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2347032 2104558 1888 992 0 2338890 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 9388128 KiB
Current children cumulated memory: 8418232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/265 9498
/proc/meminfo: memFree=2546424/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9388128 memory=8418284 CPUtime=3273.44 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1056539 0 0 0 321176 6168 0 0 20 0 1 0 838359 9613443072 2104571 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2347032 2104571 1888 992 0 2338890 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 9388128 KiB
Current children cumulated memory: 8418284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/264 9509
/proc/meminfo: memFree=548668/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9388128 memory=8418416 CPUtime=3333.3 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1068186 0 0 0 327010 6320 0 0 20 0 1 0 838359 9613443072 2104604 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2347032 2104604 1888 992 0 2338890 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 9388128 KiB
Current children cumulated memory: 8418416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/265 9520
/proc/meminfo: memFree=491904/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9388128 memory=8425688 CPUtime=3393.18 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1082274 0 0 0 332917 6401 0 0 20 0 1 0 838359 9613443072 2106422 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2347032 2106422 1888 992 0 2338890 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 9388128 KiB
Current children cumulated memory: 8425688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/266 9534
/proc/meminfo: memFree=566168/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9679536 memory=8709432 CPUtime=3453.06 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1165932 0 0 0 338760 6546 0 0 20 0 1 0 838359 9911844864 2177358 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2419884 2177358 1888 992 0 2411742 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 9679536 KiB
Current children cumulated memory: 8709432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/266 9545
/proc/meminfo: memFree=571836/131524600 swapFree=131071996/131071996
[pid=7793] ppid=7790 vsize=9718252 memory=8737244 CPUtime=3512.94 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1172122 0 0 0 344637 6657 0 0 20 0 1 0 838359 9951490048 2184311 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2429563 2184311 1888 992 0 2421421 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 9718252 KiB
Current children cumulated memory: 8737244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/265 9938
/proc/meminfo: memFree=624592/131524600 swapFree=131071984/131071996
[pid=7793] ppid=7790 vsize=9724932 memory=8745888 CPUtime=3572.81 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1177468 0 0 0 350524 6757 0 0 20 0 1 0 838359 9958330368 2186472 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2431233 2186472 1888 992 0 2423091 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 9724932 KiB
Current children cumulated memory: 8745888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.19 4.16 4.14 5/265 9942
/proc/meminfo: memFree=645380/131524600 swapFree=131071984/131071996
[pid=7793] ppid=7790 vsize=9716492 memory=8730168 CPUtime=3600.06 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1182546 0 0 0 353203 6803 0 0 20 0 1 0 838359 9949687808 2182542 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2429123 2182542 1888 992 0 2420981 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 9716492 KiB
Current children cumulated memory: 8730168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.72 s]
# the end of solver process 7793 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3534.03 s, system=68.1168 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.19 4.16 4.14 5/265 9942
/proc/meminfo: memFree=657296/131524600 swapFree=131071984/131071996
[pid=7793] ppid=7790 vsize=9716492 memory=8730236 CPUtime=3600.85 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1182586 0 0 0 353282 6803 0 0 20 0 1 0 838359 9949687808 2182559 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2429123 2182559 1888 992 0 2420981 0
Current children cumulated CPU time: 3600.85 s
Current children cumulated vsize: 9716492 KiB
Current children cumulated memory: 8730236 KiB
[startup+3611.2 s]
/proc/loadavg: 4.19 4.16 4.14 5/265 9942
/proc/meminfo: memFree=656788/131524600 swapFree=131071984/131071996
[pid=7793] ppid=7790 vsize=9716492 memory=8730236 CPUtime=3601.65 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1182586 0 0 0 353362 6803 0 0 20 0 1 0 838359 9949687808 2182559 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2429123 2182559 1888 992 0 2420981 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 9716492 KiB
Current children cumulated memory: 8730236 KiB
[startup+3611.6 s]
/proc/loadavg: 4.19 4.16 4.14 5/265 9942
/proc/meminfo: memFree=656788/131524600 swapFree=131071984/131071996
[pid=7793] ppid=7790 vsize=9716492 memory=8730236 CPUtime=3602.05 cores=4,6
/proc/7793/stat : 7793 (roundingsat) R 7790 7793 6828 0 -1 4194304 1182586 0 0 0 353402 6803 0 0 20 0 1 0 838359 9949687808 2182559 134679101440 4194304 8255733 140727298702432 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10280960 140727298704222 140727298704484 140727298704484 140727298711497 0
/proc/7793/statm: 2429123 2182559 1888 992 0 2420981 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 9716492 KiB
Current children cumulated memory: 8730236 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.72
CPU time (s): 3602.14
CPU user time (s): 3534.03
CPU system time (s): 68.1168
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 9724932
Max. memory (cumulated for all children) (KiB): 8745888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3534.03
system time used= 68.1168
maximum resident set size= 8745888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1182586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 190596432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 963
involuntary context switches= 8520
# summary of solver processes directly reported to runsolver:
# pid: 7793
# total CPU time (s): 3602.14
# total CPU user time (s): 3534.03
# total CPU system time (s): 68.1168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.864 second user time and 16.6408 second system time
The end
Begin job on nodeC024 at 2024-07-30 14:26:34
IDJOB=4462807
IDBENCH=155707
IDSOLVER=3089
FILE ID=nodeC024/4462807-1722342393
RUNJOBID= nodeC024-1722340763-6840
SLURM_JOB_ID= 8248997
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_2_mh_ic.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462807-1722342393/watcher-4462807-1722342393 -o /tmp/evaluation-result-4462807-1722342393/solver-4462807-1722342393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462807-1722342393 --lp-cut-gomory=0 HOME/instance-4462807-1722342393.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 29fcddc0b5ddb2a2f51dd98e905e6f00
RANDOM SEED=86805721
nodeC024.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 : 3671.211
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.90
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 : 3685.078
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.73
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.866
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.90
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 : 3600.036
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.73
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 : 3631.642
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.90
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 : 3685.080
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.73
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 : 3670.309
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.90
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.031
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117002256 kB
MemAvailable: 126044352 kB
Buffers: 40596 kB
Cached: 9829584 kB
SwapCached: 0 kB
Active: 151268 kB
Inactive: 13873924 kB
Active(anon): 1552 kB
Inactive(anon): 4174976 kB
Active(file): 149716 kB
Inactive(file): 9698948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 231880 kB
Writeback: 0 kB
AnonPages: 4151748 kB
Mapped: 97560 kB
Shmem: 21336 kB
KReclaimable: 66512 kB
Slab: 150188 kB
SReclaimable: 66512 kB
SUnreclaim: 83676 kB
KernelStack: 4192 kB
PageTables: 17224 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5150196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2971648 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: 160468 kB
DirectMap2M: 5904384 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC024 at 2024-07-30 15:26:45