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: 63931 MiB (4490 MiB free)
memory of node 1: 64510 MiB (3509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444054-1721801667/watcher-4444054-1721801667 -o /tmp/evaluation-result-4444054-1721801667/solver-4444054-1721801667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721801545-174521 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4444054-1721801667 --seed=2038884301 HOME/instance-4444054-1721801667.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=174698, runsolver pid=174695
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 3.78 2.65 2.25 5/260 174699
/proc/meminfo: memFree=8162680/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=72852 memory=40988 CPUtime=0.09 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 8717 0 0 0 8 1 0 0 20 0 1 0 16695222 74600448 10247 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 18213 10247 852 1006 0 16974 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72852 KiB
Current children cumulated memory: 40988 KiB
[startup+0.205804 s]*
/proc/loadavg: 3.78 2.65 2.25 5/260 174699
/proc/meminfo: memFree=8138800/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=74260 memory=53924 CPUtime=0.2 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 11117 0 0 0 18 2 0 0 20 0 1 0 16695222 76042240 13481 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 18565 13481 899 1006 0 17326 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 53924 KiB
[startup+0.305603 s]*
/proc/loadavg: 3.78 2.65 2.25 5/260 174699
/proc/meminfo: memFree=8134032/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=74260 memory=58020 CPUtime=0.3 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 11119 0 0 0 28 2 0 0 20 0 1 0 16695222 76042240 14505 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 18565 14505 899 1006 0 17326 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 58020 KiB
[startup+0.700199 s]
/proc/loadavg: 3.78 2.65 2.25 5/260 174699
/proc/meminfo: memFree=8059028/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=132520 CPUtime=0.69 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19007 0 0 0 65 4 0 0 20 0 1 0 16695222 151506944 33130 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 33130 1059 1006 0 35750 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 132520 KiB
[startup+1.50022 s]
/proc/loadavg: 3.78 2.65 2.25 5/260 174699
/proc/meminfo: memFree=8056760/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=132520 CPUtime=1.48 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19007 0 0 0 144 4 0 0 20 0 1 0 16695222 151506944 33130 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 33130 1059 1006 0 35750 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 132520 KiB
[startup+3.10548 s]
/proc/loadavg: 3.80 2.67 2.26 5/260 174699
/proc/meminfo: memFree=8039264/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=138664 CPUtime=3.09 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19021 0 0 0 304 5 0 0 20 0 1 0 16695222 151506944 34666 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 34666 1059 1006 0 35750 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 138664 KiB
[startup+6.30016 s]
/proc/loadavg: 3.80 2.67 2.26 5/260 174699
/proc/meminfo: memFree=8007816/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=138664 CPUtime=6.26 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19032 0 0 0 621 5 0 0 20 0 1 0 16695222 151506944 34666 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 34666 1059 1006 0 35750 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 138664 KiB
[startup+12.7002 s]
/proc/loadavg: 3.90 2.73 2.28 5/260 174700
/proc/meminfo: memFree=7945924/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=138664 CPUtime=12.65 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19050 0 0 0 1256 9 0 0 20 0 1 0 16695222 151506944 34666 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 34666 1059 1006 0 35750 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 138664 KiB
[startup+25.5002 s]
/proc/loadavg: 3.92 2.77 2.30 5/260 174702
/proc/meminfo: memFree=7805636/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=139084 CPUtime=25.4 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19074 0 0 0 2527 13 0 0 20 0 1 0 16695222 151506944 34771 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 34771 1155 1006 0 35750 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 139084 KiB
[startup+51.1059 s]
/proc/loadavg: 4.02 2.89 2.35 5/260 174706
/proc/meminfo: memFree=7600764/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=139084 CPUtime=50.64 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19110 0 0 0 5043 21 0 0 20 0 1 0 16695222 151506944 34771 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 30 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 34771 1155 1006 0 35750 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 139084 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.09 2.45 5/258 174716
/proc/meminfo: memFree=7186660/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141528 CPUtime=101.64 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19186 0 0 0 10129 35 0 0 20 0 1 0 16695222 151506944 35382 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 36 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35382 1155 1006 0 35750 0
Current children cumulated CPU time: 101.64 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141528 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.28 2.56 5/258 174727
/proc/meminfo: memFree=6650268/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141528 CPUtime=157.91 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19271 0 0 0 15740 51 0 0 20 0 1 0 16695222 151506944 35382 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 394 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35382 1155 1006 0 35750 0
Current children cumulated CPU time: 157.91 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141528 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.44 2.66 5/258 174737
/proc/meminfo: memFree=6144800/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141528 CPUtime=217.63 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19307 0 0 0 21695 68 0 0 20 0 1 0 16695222 151506944 35382 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 406 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35382 1155 1006 0 35750 0
Current children cumulated CPU time: 217.63 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141528 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.55 2.75 5/258 174748
/proc/meminfo: memFree=5582064/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141532 CPUtime=277.08 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19335 0 0 0 27622 86 0 0 20 0 1 0 16695222 151506944 35383 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 445 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35383 1155 1006 0 35750 0
Current children cumulated CPU time: 277.08 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141532 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.64 2.84 5/258 174759
/proc/meminfo: memFree=5063676/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141532 CPUtime=336.72 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19401 0 0 0 33567 105 0 0 20 0 1 0 16695222 151506944 35383 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 463 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35383 1155 1006 0 35750 0
Current children cumulated CPU time: 336.72 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141532 KiB
[startup+402.301 s]
/proc/loadavg: 4.12 3.74 2.92 5/260 174773
/proc/meminfo: memFree=4549352/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141532 CPUtime=396.06 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19448 0 0 0 39485 121 0 0 20 0 1 0 16695222 151506944 35383 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 499 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35383 1155 1006 0 35750 0
Current children cumulated CPU time: 396.06 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141532 KiB
[startup+462.301 s]
/proc/loadavg: 4.10 3.81 3.00 5/259 174784
/proc/meminfo: memFree=3986860/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141532 CPUtime=455.18 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19478 0 0 0 45376 142 0 0 20 0 1 0 16695222 151506944 35383 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 534 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35383 1155 1006 0 35750 0
################
# More data... #
################
/proc/loadavg: 4.11 3.98 3.26 5/261 175214
/proc/meminfo: memFree=1858668/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=147956 memory=141532 CPUtime=692.54 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 19655 0 0 0 69037 217 0 0 20 0 1 0 16695222 151506944 35383 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 672 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 36989 35383 1155 1006 0 35750 0
Current children cumulated CPU time: 692.54 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 141532 KiB
[startup+762.3 s]
/proc/loadavg: 4.09 4.00 3.31 5/261 175224
/proc/meminfo: memFree=1368776/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=157672 memory=146944 CPUtime=752.2 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20562 0 0 0 74983 237 0 0 20 0 1 0 16695222 161456128 36736 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 691 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36736 1155 1006 0 38179 0
Current children cumulated CPU time: 752.2 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 146944 KiB
[startup+822.3 s]
/proc/loadavg: 4.15 4.03 3.37 5/261 175235
/proc/meminfo: memFree=954680/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=157672 memory=146944 CPUtime=811.66 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20594 0 0 0 80908 258 0 0 20 0 1 0 16695222 161456128 36736 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 729 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36736 1155 1006 0 38179 0
Current children cumulated CPU time: 811.66 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 146944 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 4.04 3.42 5/260 175414
/proc/meminfo: memFree=515564/131524600 swapFree=131064268/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147232 CPUtime=871.29 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20740 0 0 0 86852 277 0 0 20 0 1 0 16695222 161456128 36808 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 751 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36808 1155 1006 0 38179 0
Current children cumulated CPU time: 871.29 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147232 KiB
[startup+942.3 s]
/proc/loadavg: 4.04 4.03 3.46 5/260 175425
/proc/meminfo: memFree=657724/131524600 swapFree=131064012/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147232 CPUtime=930.88 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20773 0 0 0 92791 297 0 0 20 0 1 0 16695222 161456128 36808 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 776 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36808 1155 1006 0 38179 0
Current children cumulated CPU time: 930.88 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147232 KiB
[startup+1002.3 s]
/proc/loadavg: 4.11 4.05 3.50 5/263 175496
/proc/meminfo: memFree=531532/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147364 CPUtime=990.28 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20821 0 0 0 98711 317 0 0 20 0 1 0 16695222 161456128 36841 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 820 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36841 1155 1006 0 38179 0
Current children cumulated CPU time: 990.28 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147364 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.06 3.54 5/263 175507
/proc/meminfo: memFree=488512/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147396 CPUtime=1049.81 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20885 0 0 0 104646 335 0 0 20 0 1 0 16695222 161456128 36849 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 851 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36849 1155 1006 0 38179 0
Current children cumulated CPU time: 1049.81 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147396 KiB
[startup+1122.3 s]
/proc/loadavg: 4.07 4.06 3.58 5/264 175520
/proc/meminfo: memFree=623764/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147468 CPUtime=1109.01 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20935 0 0 0 110544 357 0 0 20 0 1 0 16695222 161456128 36867 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 915 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36867 1155 1006 0 38179 0
Current children cumulated CPU time: 1109.01 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147468 KiB
[startup+1182.3 s]
/proc/loadavg: 5.07 4.33 3.70 5/264 175531
/proc/meminfo: memFree=485332/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147492 CPUtime=1168.35 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 20969 0 0 0 116459 376 0 0 20 0 1 0 16695222 161456128 36873 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 962 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36873 1155 1006 0 38179 0
Current children cumulated CPU time: 1168.35 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147492 KiB
[startup+1242.3 s]
/proc/loadavg: 4.50 4.31 3.74 5/264 175541
/proc/meminfo: memFree=496740/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147492 CPUtime=1227.94 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 21044 0 0 0 122402 392 0 0 20 0 1 0 16695222 161456128 36873 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 988 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36873 1155 1006 0 38179 0
Current children cumulated CPU time: 1227.94 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147492 KiB
[startup+1302.3 s]
/proc/loadavg: 4.29 4.28 3.77 5/264 175552
/proc/meminfo: memFree=630776/131524600 swapFree=131063756/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147656 CPUtime=1287.7 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 21112 0 0 0 128358 412 0 0 20 0 1 0 16695222 161456128 36914 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 993 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36914 1155 1006 0 38179 0
Current children cumulated CPU time: 1287.7 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147656 KiB
[startup+1362.3 s]
/proc/loadavg: 4.10 4.23 3.79 5/261 175563
/proc/meminfo: memFree=530132/131524600 swapFree=131063744/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147656 CPUtime=1347.3 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 21158 0 0 0 134298 432 0 0 20 0 1 0 16695222 161456128 36914 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36914 1155 1006 0 38179 0
Current children cumulated CPU time: 1347.3 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147656 KiB
[startup+1363.6 s]
# the end of solver process 174698 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1344.28 s, system=4.32846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1362.4 s]
/proc/loadavg: 4.10 4.23 3.79 5/261 175563
/proc/meminfo: memFree=530132/131524600 swapFree=131063744/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147656 CPUtime=1347.4 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 21158 0 0 0 134308 432 0 0 20 0 1 0 16695222 161456128 36914 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36914 1155 1006 0 38179 0
Current children cumulated CPU time: 1347.4 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147656 KiB
[startup+1363.2 s]
/proc/loadavg: 4.10 4.23 3.79 5/261 175563
/proc/meminfo: memFree=524464/131524600 swapFree=131063744/131071996
[pid=174698] ppid=174695 vsize=157672 memory=147656 CPUtime=1348.2 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) R 174695 174698 174510 0 -1 4194304 21158 0 0 0 134388 432 0 0 20 0 1 0 16695222 161456128 36914 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 39418 36914 1155 1006 0 38179 0
Current children cumulated CPU time: 1348.2 s
Current children cumulated vsize: 157672 KiB
Current children cumulated memory: 147656 KiB
[startup+1363.6 s]
/proc/loadavg: 4.10 4.23 3.79 5/261 175563
/proc/meminfo: memFree=524464/131524600 swapFree=131063744/131071996
[pid=174698] ppid=174695 vsize=108892 memory=100468 CPUtime=1348.59 cores=4,6
/proc/174698/stat : 174698 (Exact_veripb2) D 174695 174698 174510 0 -1 4194304 21166 0 0 0 134427 432 0 0 20 0 1 0 16695222 111505408 25117 134679101440 4194304 8311665 140732469410672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1015 0 0 9173656 9252184 31899648 140732469412680 140732469412960 140732469412960 140732469419975 0
/proc/174698/statm: 27223 25117 1155 1006 0 25984 0
Current children cumulated CPU time: 1348.59 s
Current children cumulated vsize: 108892 KiB
Current children cumulated memory: 100468 KiB
Child status: 30
Real time (s): 1363.6
CPU time (s): 1348.61
CPU user time (s): 1344.28
CPU system time (s): 4.32846
CPU usage (%): 98.9
Max. virtual memory (cumulated for all children) (KiB): 157672
Max. memory (cumulated for all children) (KiB): 147656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1344.28
system time used= 4.32846
maximum resident set size= 147656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8931960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192
involuntary context switches= 4011
# summary of solver processes directly reported to runsolver:
# pid: 174698
# total CPU time (s): 1348.61
# total CPU user time (s): 1344.28
# total CPU system time (s): 4.32846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57607 second user time and 5.9126 second system time
The end
Begin job on nodeC016 at 2024-07-24 08:14:27
IDJOB=4444054
IDBENCH=147894
IDSOLVER=3081
FILE ID=nodeC016/4444054-1721801667
RUNJOBID= nodeC016-1721801545-174521
SLURM_JOB_ID= 7770680
Free space on /tmp= 890052 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444054-1721801667/watcher-4444054-1721801667 -o /tmp/evaluation-result-4444054-1721801667/solver-4444054-1721801667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721801545-174521 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4444054-1721801667 --seed=2038884301 HOME/instance-4444054-1721801667.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=2038884301
nodeC016.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 : 3600.305
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.34
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 : 3687.731
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.036
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.34
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.100
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.185
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.34
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 : 3687.762
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.936
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.34
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 : 3599.985
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 8191040 kB
MemAvailable: 129288800 kB
Buffers: 237876 kB
Cached: 121393452 kB
SwapCached: 6520 kB
Active: 2426468 kB
Inactive: 119838684 kB
Active(anon): 1856 kB
Inactive(anon): 686080 kB
Active(file): 2424612 kB
Inactive(file): 119152604 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131064268 kB
Dirty: 173212 kB
Writeback: 0 kB
AnonPages: 625688 kB
Mapped: 130568 kB
Shmem: 53956 kB
KReclaimable: 581776 kB
Slab: 709688 kB
SReclaimable: 581776 kB
SUnreclaim: 127912 kB
KernelStack: 4256 kB
PageTables: 10440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1028912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 446464 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: 371412 kB
DirectMap2M: 41345024 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC016 at 2024-07-24 08:37:11