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 (61849 MiB free)
memory of node 1: 64473 MiB (62261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439912-1721223504/watcher-4439912-1721223504 -o /tmp/evaluation-result-4439912-1721223504/solver-4439912-1721223504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906853 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439912-1721223504.opb -total-t=3600 -no-par -v0
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=910363, runsolver pid=910360
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 910364
/proc/meminfo: memFree=127079204/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=32804 memory=14504 CPUtime=0.1 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 2976 0 0 0 10 0 0 0 20 0 1 0 174514276 33591296 3626 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 8201 3626 750 2417 0 5303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32804 KiB
Current children cumulated memory: 14504 KiB
[startup+0.205502 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 910364
/proc/meminfo: memFree=127068292/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=43768 memory=25080 CPUtime=0.2 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 5684 0 0 0 20 0 0 0 20 0 1 0 174514276 44818432 6270 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 10942 6270 750 2417 0 8044 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43768 KiB
Current children cumulated memory: 25080 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 910364
/proc/meminfo: memFree=127921916/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=54620 memory=35904 CPUtime=0.3 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 8365 0 0 0 29 1 0 0 20 0 1 0 174514276 55930880 8976 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 13655 8976 750 2417 0 10757 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54620 KiB
Current children cumulated memory: 35904 KiB
[startup+0.700189 s]
/proc/loadavg: 4.14 4.14 4.10 4/251 910378
/proc/meminfo: memFree=127993232/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=75520 memory=56676 CPUtime=0.69 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 14496 0 0 0 67 2 0 0 20 0 1 0 174514276 77332480 14169 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 18880 14169 782 2417 0 15982 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75520 KiB
Current children cumulated memory: 56676 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 910410
/proc/meminfo: memFree=127895308/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=240236 memory=208396 CPUtime=1.48 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 33396 0 0 0 142 6 0 0 20 0 1 0 174514276 246001664 52099 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 60059 52099 782 2417 0 57161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 240236 KiB
Current children cumulated memory: 208396 KiB
[startup+3.10548 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 910410
/proc/meminfo: memFree=127255520/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=377268 memory=318504 CPUtime=3.09 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 44247 0 0 0 299 10 0 0 20 0 1 0 174514276 386322432 79626 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 94317 79626 782 2417 0 91419 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 377268 KiB
Current children cumulated memory: 318504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 910410
/proc/meminfo: memFree=126597200/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=300780 CPUtime=6.27 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 46388 0 0 0 615 12 0 0 20 0 1 0 174514276 367333376 75195 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 75195 798 2417 0 86783 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 300780 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 910411
/proc/meminfo: memFree=126548476/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=302908 CPUtime=12.66 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 46467 0 0 0 1253 13 0 0 20 0 1 0 174514276 367333376 75727 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 75727 814 2417 0 86783 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 302908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 910459
/proc/meminfo: memFree=127155440/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=302908 CPUtime=25.42 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 46546 0 0 0 2529 13 0 0 20 0 1 0 174514276 367333376 75727 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 75727 814 2417 0 86783 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 302908 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.13 4.10 5/254 910463
/proc/meminfo: memFree=126434368/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=304968 CPUtime=50.94 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 46661 0 0 0 5081 13 0 0 20 0 1 0 174514276 367333376 76242 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 76242 814 2417 0 86783 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 304968 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 910477
/proc/meminfo: memFree=126350020/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=307016 CPUtime=101.96 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 46780 0 0 0 10182 14 0 0 20 0 1 0 174514276 367333376 76754 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 76754 814 2417 0 86783 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 307016 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/255 910823
/proc/meminfo: memFree=126554684/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=305136 CPUtime=161.76 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 47067 0 0 0 16162 14 0 0 20 0 1 0 174514276 367333376 76284 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 76284 814 2417 0 86783 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 305136 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 911140
/proc/meminfo: memFree=126159356/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311292 CPUtime=221.56 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 47234 0 0 0 22141 15 0 0 20 0 1 0 174514276 367333376 77823 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77823 814 2417 0 86783 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311292 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 911150
/proc/meminfo: memFree=125991048/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=314124 CPUtime=281.36 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 47569 0 0 0 28121 15 0 0 20 0 1 0 174514276 367333376 78531 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78531 814 2417 0 86783 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 314124 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 911163
/proc/meminfo: memFree=125982208/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=320268 CPUtime=341.18 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 47665 0 0 0 34102 16 0 0 20 0 1 0 174514276 367333376 80067 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 80067 814 2417 0 86783 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 320268 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 911173
/proc/meminfo: memFree=125899324/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=314292 CPUtime=401 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 47950 0 0 0 40083 17 0 0 20 0 1 0 174514276 367333376 78573 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78573 814 2417 0 86783 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 314292 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 911183
/proc/meminfo: memFree=125344292/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=312076 CPUtime=460.82 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 48289 0 0 0 46065 17 0 0 20 0 1 0 174514276 367333376 78019 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78019 814 2417 0 86783 0
################
# More data... #
################
Current children cumulated memory: 311456 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 912584
/proc/meminfo: memFree=125277792/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=2913.88 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 64105 0 0 0 291342 46 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/257 912763
/proc/meminfo: memFree=125272000/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=317860 CPUtime=2973.7 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 64262 0 0 0 297324 46 0 0 20 0 1 0 174514276 367333376 79465 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 79465 814 2417 0 86783 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 317860 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/257 912773
/proc/meminfo: memFree=125274860/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=315812 CPUtime=3033.51 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 65500 0 0 0 303305 46 0 0 20 0 1 0 174514276 367333376 78953 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78953 814 2417 0 86783 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 315812 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/259 912843
/proc/meminfo: memFree=125288328/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=313764 CPUtime=3093.33 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 66749 0 0 0 309285 48 0 0 20 0 1 0 174514276 367333376 78441 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78441 814 2417 0 86783 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 313764 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/259 912854
/proc/meminfo: memFree=125281496/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=3153.16 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 68019 0 0 0 315267 49 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/259 912864
/proc/meminfo: memFree=125272552/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=3212.97 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 69257 0 0 0 321247 50 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/259 912874
/proc/meminfo: memFree=125277952/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=317860 CPUtime=3272.79 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 69414 0 0 0 327229 50 0 0 20 0 1 0 174514276 367333376 79465 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 79465 814 2417 0 86783 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 317860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/259 912886
/proc/meminfo: memFree=125270912/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=315812 CPUtime=3332.6 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 70648 0 0 0 333209 51 0 0 20 0 1 0 174514276 367333376 78953 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78953 814 2417 0 86783 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 315812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/255 912897
/proc/meminfo: memFree=125265968/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=313932 CPUtime=3392.43 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 70920 0 0 0 339191 52 0 0 20 0 1 0 174514276 367333376 78483 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 78483 814 2417 0 86783 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 313932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 912907
/proc/meminfo: memFree=125267412/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311684 CPUtime=3452.26 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 72170 0 0 0 345173 53 0 0 20 0 1 0 174514276 367333376 77921 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77921 814 2417 0 86783 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/255 912917
/proc/meminfo: memFree=125280892/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=3512.07 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 73409 0 0 0 351153 54 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 912928
/proc/meminfo: memFree=125276264/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=317860 CPUtime=3571.88 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 73566 0 0 0 357134 54 0 0 20 0 1 0 174514276 367333376 79465 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 79465 814 2417 0 86783 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 317860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 912978
/proc/meminfo: memFree=125204692/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=3600 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 74734 0 0 0 359944 56 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 910363 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.44 s, system=0.562476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 912978
/proc/meminfo: memFree=125204692/131524600 swapFree=131071996/131071996
[pid=910363] ppid=910360 vsize=358724 memory=311456 CPUtime=3600 cores=4,6
/proc/910363/stat : 910363 (CASHWMaxSAT-Dis) R 910360 910363 906842 0 -1 4194304 74734 0 0 0 359944 56 0 0 20 0 1 0 174514276 367333376 77864 134679101440 4194304 14093885 140730873873248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 23355392 140730873877476 140730873877591 140730873877591 140730873884607 0
/proc/910363/statm: 89681 77864 814 2417 0 86783 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 311456 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.01
CPU user time (s): 3599.44
CPU system time (s): 0.562476
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 408044
Max. memory (cumulated for all children) (KiB): 353724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.44
system time used= 0.562476
maximum resident set size= 355772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74739
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= 58
involuntary context switches= 1474
# summary of solver processes directly reported to runsolver:
# pid: 910363
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.44
# total CPU system time (s): 0.562476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80529 second user time and 17.2659 second system time
The end
Begin job on nodeC021 at 2024-07-17 15:38:37
IDJOB=4439912
IDBENCH=147690
IDSOLVER=3077
FILE ID=nodeC021/4439912-1721223504
RUNJOBID= nodeC021-1721218082-906853
SLURM_JOB_ID= 7508936
Free space on /tmp= 890044 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439912-1721223504/watcher-4439912-1721223504 -o /tmp/evaluation-result-4439912-1721223504/solver-4439912-1721223504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906853 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439912-1721223504.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=1257857651
nodeC021.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 : 3665.792
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.42
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 : 3690.687
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.23
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.052
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.42
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 : 3599.419
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.23
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 : 3664.755
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.42
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 : 3690.795
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.23
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 : 3664.743
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.42
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.037
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127090696 kB
MemAvailable: 127896548 kB
Buffers: 456152 kB
Cached: 1185484 kB
SwapCached: 0 kB
Active: 867068 kB
Inactive: 2961692 kB
Active(anon): 1560 kB
Inactive(anon): 2223316 kB
Active(file): 865508 kB
Inactive(file): 738376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15136 kB
Writeback: 0 kB
AnonPages: 2186516 kB
Mapped: 135844 kB
Shmem: 37720 kB
KReclaimable: 83580 kB
Slab: 190948 kB
SReclaimable: 83580 kB
SUnreclaim: 107368 kB
KernelStack: 4176 kB
PageTables: 13308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2737048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1710080 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC021 at 2024-07-17 16:38:47