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 (52678 MiB free)
memory of node 1: 64473 MiB (49890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442013-1721801549/watcher-4442013-1721801549 -o /tmp/evaluation-result-4442013-1721801549/solver-4442013-1721801549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174651 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442013-1721801549 --seed=2110793589 HOME/instance-4442013-1721801549.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=174706, runsolver pid=174695
[startup+0.100305 s]*
/proc/loadavg: 1.83 1.95 1.99 6/255 174714
/proc/meminfo: memFree=104998884/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=35016 memory=16516 CPUtime=0.09 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 4124 0 0 0 9 0 0 0 20 0 1 0 16683926 35856384 4129 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 8754 4129 770 747 0 7817 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35016 KiB
Current children cumulated memory: 16516 KiB
[startup+0.206238 s]*
/proc/loadavg: 1.83 1.95 1.99 2/247 174730
/proc/meminfo: memFree=105011096/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=35580 memory=17072 CPUtime=0.19 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 4209 0 0 0 19 0 0 0 20 0 1 0 16683926 36433920 4268 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 8895 4268 850 747 0 7958 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35580 KiB
Current children cumulated memory: 17072 KiB
[startup+0.305836 s]*
/proc/loadavg: 1.83 1.95 1.99 2/244 174738
/proc/meminfo: memFree=105010224/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=36108 memory=17864 CPUtime=0.29 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 4373 0 0 0 29 0 0 0 20 0 1 0 16683926 36974592 4466 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 9027 4466 850 747 0 8090 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36108 KiB
Current children cumulated memory: 17864 KiB
[startup+0.700148 s]
/proc/loadavg: 1.83 1.95 1.99 2/244 174738
/proc/meminfo: memFree=105006148/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=37860 memory=23536 CPUtime=0.68 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 4804 0 0 0 67 1 0 0 20 0 1 0 16683926 38768640 5884 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 9465 5884 850 747 0 8528 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37860 KiB
Current children cumulated memory: 23536 KiB
[startup+1.50017 s]
/proc/loadavg: 1.83 1.95 1.99 2/244 174790
/proc/meminfo: memFree=105007236/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=40072 memory=27692 CPUtime=1.48 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 5346 0 0 0 146 2 0 0 20 0 1 0 16683926 41033728 6923 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 10018 6923 850 747 0 9081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40072 KiB
Current children cumulated memory: 27692 KiB
[startup+3.10522 s]
/proc/loadavg: 1.83 1.95 1.99 2/248 174905
/proc/meminfo: memFree=104938732/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=42940 memory=32620 CPUtime=3.07 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 6070 0 0 0 304 3 0 0 20 0 1 0 16683926 43970560 8155 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 10735 8155 850 747 0 9798 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42940 KiB
Current children cumulated memory: 32620 KiB
[startup+6.30019 s]
/proc/loadavg: 2.01 1.98 2.00 4/255 175026
/proc/meminfo: memFree=104905112/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=46864 memory=38600 CPUtime=6.27 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 7013 0 0 0 621 6 0 0 20 0 1 0 16683926 47988736 9650 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 11716 9650 850 747 0 10779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46864 KiB
Current children cumulated memory: 38600 KiB
[startup+12.7002 s]
/proc/loadavg: 2.17 2.02 2.01 5/261 175087
/proc/meminfo: memFree=104580972/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=50748 memory=42296 CPUtime=12.64 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 7982 0 0 0 1254 10 0 0 20 0 1 0 16683926 51965952 10574 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 12687 10574 850 747 0 11750 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50748 KiB
Current children cumulated memory: 42296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.64 2.13 2.05 5/261 175089
/proc/meminfo: memFree=104080868/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=61324 memory=54704 CPUtime=25.41 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 10480 0 0 0 2523 18 0 0 20 0 1 0 16683926 62795776 13676 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 15331 13676 850 747 0 14394 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 54704 KiB
[startup+51.1056 s]
/proc/loadavg: 3.11 2.28 2.10 5/262 175094
/proc/meminfo: memFree=103407692/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=80160 memory=63592 CPUtime=50.29 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 12798 0 0 0 4993 36 0 0 20 0 1 0 16683926 82083840 15898 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 65 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 20040 15898 850 747 0 19103 0
Current children cumulated CPU time: 50.29 s
Current children cumulated vsize: 80160 KiB
Current children cumulated memory: 63592 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.56 2.21 5/263 175104
/proc/meminfo: memFree=102140960/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=88832 memory=72064 CPUtime=100.82 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 14984 0 0 0 10019 63 0 0 20 0 1 0 16683926 90963968 18016 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 116 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 22208 18016 850 747 0 21271 0
Current children cumulated CPU time: 100.82 s
Current children cumulated vsize: 88832 KiB
Current children cumulated memory: 72064 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.86 2.33 5/264 175116
/proc/meminfo: memFree=100555844/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=97200 memory=82080 CPUtime=160.21 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 17038 0 0 0 15927 94 0 0 20 0 1 0 16683926 99532800 20520 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 160 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 24300 20520 850 747 0 23363 0
Current children cumulated CPU time: 160.21 s
Current children cumulated vsize: 97200 KiB
Current children cumulated memory: 82080 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 3.16 2.47 5/262 175128
/proc/meminfo: memFree=99188696/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=102500 memory=87248 CPUtime=219.49 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 18397 0 0 0 21824 125 0 0 20 0 1 0 16683926 104960000 21812 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 215 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 25625 21812 850 747 0 24688 0
Current children cumulated CPU time: 219.49 s
Current children cumulated vsize: 102500 KiB
Current children cumulated memory: 87248 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 3.36 2.59 5/262 175138
/proc/meminfo: memFree=97687996/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=107900 memory=94200 CPUtime=278.83 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 19612 0 0 0 27728 155 0 0 20 0 1 0 16683926 110489600 23550 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 263 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 26975 23550 850 747 0 26038 0
Current children cumulated CPU time: 278.83 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 94200 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.48 2.68 5/260 175148
/proc/meminfo: memFree=96157268/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=112700 memory=98836 CPUtime=338.2 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 20795 0 0 0 33637 183 0 0 20 0 1 0 16683926 115404800 24709 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 310 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 28175 24709 850 747 0 27238 0
Current children cumulated CPU time: 338.2 s
Current children cumulated vsize: 112700 KiB
Current children cumulated memory: 98836 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 3.64 2.78 5/261 175160
/proc/meminfo: memFree=94703748/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=118960 memory=104320 CPUtime=397.67 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 22217 0 0 0 39551 216 0 0 20 0 1 0 16683926 121815040 26080 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 346 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 29740 26080 850 747 0 28803 0
Current children cumulated CPU time: 397.67 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 104320 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.72 2.87 5/259 175170
/proc/meminfo: memFree=93202784/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=121180 memory=106644 CPUtime=455.92 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 22814 0 0 0 45346 246 0 0 20 0 1 0 16683926 124088320 26661 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 504 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 30295 26661 850 747 0 29358 0
################
# More data... #
################
/proc/loadavg: 4.16 4.10 3.42 5/265 176208
/proc/meminfo: memFree=82650600/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=147204 memory=137856 CPUtime=929.56 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 29135 0 0 0 92471 485 0 0 20 0 1 0 16683926 150736896 34464 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1009 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 36801 34464 850 747 0 35864 0
Current children cumulated CPU time: 929.56 s
Current children cumulated vsize: 147204 KiB
Current children cumulated memory: 137856 KiB
[startup+1002.3 s]
/proc/loadavg: 4.18 4.11 3.47 5/267 176390
/proc/meminfo: memFree=80686692/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=147908 memory=138720 CPUtime=988.96 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 29372 0 0 0 98378 518 0 0 20 0 1 0 16683926 151457792 34680 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1051 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 36977 34680 850 747 0 36040 0
Current children cumulated CPU time: 988.96 s
Current children cumulated vsize: 147908 KiB
Current children cumulated memory: 138720 KiB
[startup+1062.3 s]
/proc/loadavg: 4.17 4.12 3.52 5/267 176400
/proc/meminfo: memFree=79139732/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=152024 memory=141848 CPUtime=1048.46 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 30273 0 0 0 104297 549 0 0 20 0 1 0 16683926 155672576 35462 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1085 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 38006 35462 850 747 0 37069 0
Current children cumulated CPU time: 1048.46 s
Current children cumulated vsize: 152024 KiB
Current children cumulated memory: 141848 KiB
[startup+1122.3 s]
/proc/loadavg: 4.35 4.20 3.58 5/264 176468
/proc/meminfo: memFree=77258612/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=152792 memory=142928 CPUtime=1107.5 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 30551 0 0 0 110166 584 0 0 20 0 1 0 16683926 156459008 35732 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1164 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 38198 35732 850 747 0 37261 0
Current children cumulated CPU time: 1107.5 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 142928 KiB
[startup+1182.3 s]
/proc/loadavg: 4.24 4.19 3.62 5/262 176481
/proc/meminfo: memFree=75430688/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=153176 memory=143228 CPUtime=1166.73 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 30684 0 0 0 116054 619 0 0 20 0 1 0 16683926 156852224 35807 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1225 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 38294 35807 850 747 0 37357 0
Current children cumulated CPU time: 1166.73 s
Current children cumulated vsize: 153176 KiB
Current children cumulated memory: 143228 KiB
[startup+1242.3 s]
/proc/loadavg: 4.14 4.17 3.66 5/262 176492
/proc/meminfo: memFree=74021096/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=157400 memory=146920 CPUtime=1226.07 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 31700 0 0 0 121958 649 0 0 20 0 1 0 16683926 161177600 36730 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1275 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 39350 36730 850 747 0 38413 0
Current children cumulated CPU time: 1226.07 s
Current children cumulated vsize: 157400 KiB
Current children cumulated memory: 146920 KiB
[startup+1302.3 s]
/proc/loadavg: 4.09 4.15 3.68 5/262 176503
/proc/meminfo: memFree=72415132/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=159768 memory=149312 CPUtime=1285.51 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32333 0 0 0 127872 679 0 0 20 0 1 0 16683926 163602432 37328 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1315 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 39942 37328 850 747 0 39005 0
Current children cumulated CPU time: 1285.51 s
Current children cumulated vsize: 159768 KiB
Current children cumulated memory: 149312 KiB
[startup+1362.3 s]
/proc/loadavg: 4.13 4.15 3.72 5/262 176514
/proc/meminfo: memFree=70584140/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=159768 memory=149396 CPUtime=1344.88 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32410 0 0 0 133773 715 0 0 20 0 1 0 16683926 163602432 37349 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1359 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 39942 37349 850 747 0 39005 0
Current children cumulated CPU time: 1344.88 s
Current children cumulated vsize: 159768 KiB
Current children cumulated memory: 149396 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.15 3.75 5/261 176527
/proc/meminfo: memFree=69056852/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160184 memory=149780 CPUtime=1404.51 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32591 0 0 0 139700 751 0 0 20 0 1 0 16683926 164028416 37445 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40046 37445 850 747 0 39109 0
Current children cumulated CPU time: 1404.51 s
Current children cumulated vsize: 160184 KiB
Current children cumulated memory: 149780 KiB
[startup+1435.7 s]
# the end of solver process 174706 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1410.13 s, system=7.61609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1427.2 s]
/proc/loadavg: 4.14 4.15 3.75 5/261 176529
/proc/meminfo: memFree=68875852/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160184 memory=149780 CPUtime=1409.39 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32591 0 0 0 140186 753 0 0 20 0 1 0 16683926 164028416 37445 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40046 37445 850 747 0 39109 0
Current children cumulated CPU time: 1409.39 s
Current children cumulated vsize: 160184 KiB
Current children cumulated memory: 149780 KiB
[startup+1430.4 s]
/proc/loadavg: 4.21 4.16 3.76 5/261 176529
/proc/meminfo: memFree=68770396/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160184 memory=149780 CPUtime=1412.57 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32592 0 0 0 140502 755 0 0 20 0 1 0 16683926 164028416 37445 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40046 37445 850 747 0 39109 0
Current children cumulated CPU time: 1412.57 s
Current children cumulated vsize: 160184 KiB
Current children cumulated memory: 149780 KiB
[startup+1433.6 s]
/proc/loadavg: 4.21 4.16 3.76 5/261 176529
/proc/meminfo: memFree=68643740/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160440 memory=149876 CPUtime=1415.76 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32624 0 0 0 140819 757 0 0 20 0 1 0 16683926 164290560 37469 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40110 37469 850 747 0 39173 0
Current children cumulated CPU time: 1415.76 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 149876 KiB
[startup+1434.4 s]
/proc/loadavg: 4.21 4.16 3.76 3/261 176529
/proc/meminfo: memFree=68615084/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160440 memory=149876 CPUtime=1416.56 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32624 0 0 0 140899 757 0 0 20 0 1 0 16683926 164290560 37469 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40110 37469 850 747 0 39173 0
Current children cumulated CPU time: 1416.56 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 149876 KiB
[startup+1435.2 s]
/proc/loadavg: 4.20 4.16 3.76 5/261 176529
/proc/meminfo: memFree=68607012/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=160440 memory=149876 CPUtime=1417.35 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32624 0 0 0 140977 758 0 0 20 0 1 0 16683926 164290560 37469 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1380 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 40110 37469 850 747 0 39173 0
Current children cumulated CPU time: 1417.35 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 149876 KiB
[startup+1435.6 s]
/proc/loadavg: 4.20 4.16 3.76 5/261 176529
/proc/meminfo: memFree=68607012/131524600 swapFree=131071996/131071996
[pid=174706] ppid=174695 vsize=43588 memory=39164 CPUtime=1417.72 cores=1,3
/proc/174706/stat : 174706 (Exact_veripb2_n) R 174695 174706 174639 0 -1 4194304 32624 0 0 0 141012 760 0 0 20 0 1 0 16683926 44634112 9791 134679101440 4194304 7250417 140720548453472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1386 0 0 7950792 8015128 19914752 140720548455222 140720548455511 140720548455511 140720548462526 0
/proc/174706/statm: 10897 9791 850 747 0 9960 0
Current children cumulated CPU time: 1417.72 s
Current children cumulated vsize: 43588 KiB
Current children cumulated memory: 39164 KiB
Child status: 30
Real time (s): 1435.7
CPU time (s): 1417.74
CPU user time (s): 1410.13
CPU system time (s): 7.61609
CPU usage (%): 98.7494
Max. virtual memory (cumulated for all children) (KiB): 160440
Max. memory (cumulated for all children) (KiB): 149876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1410.13
system time used= 7.61609
maximum resident set size= 149876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18259312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2807
involuntary context switches= 2003
# summary of solver processes directly reported to runsolver:
# pid: 174706
# total CPU time (s): 1417.74
# total CPU user time (s): 1410.13
# total CPU system time (s): 7.61609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35563 second user time and 5.86304 second system time
The end
Begin job on nodeC025 at 2024-07-24 08:12:29
IDJOB=4442013
IDBENCH=147759
IDSOLVER=3080
FILE ID=nodeC025/4442013-1721801549
RUNJOBID= nodeC025-1721801549-174651
SLURM_JOB_ID= 7770691
Free space on /tmp= 890028 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4442013-1721801549/watcher-4442013-1721801549 -o /tmp/evaluation-result-4442013-1721801549/solver-4442013-1721801549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174651 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442013-1721801549 --seed=2110793589 HOME/instance-4442013-1721801549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=2110793589
nodeC025.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 : 3481.781
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.51
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 : 3454.583
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.49
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 : 3548.374
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.51
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 : 3579.836
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.49
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 : 3534.927
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.51
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 : 3318.033
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.49
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 : 3549.370
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.51
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 : 3604.759
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 105032752 kB
MemAvailable: 129591084 kB
Buffers: 237820 kB
Cached: 25045228 kB
SwapCached: 0 kB
Active: 2489520 kB
Inactive: 23170100 kB
Active(anon): 1412 kB
Inactive(anon): 429584 kB
Active(file): 2488108 kB
Inactive(file): 22740516 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 20664 kB
Writeback: 8 kB
AnonPages: 376924 kB
Mapped: 116612 kB
Shmem: 54104 kB
KReclaimable: 339060 kB
Slab: 469316 kB
SReclaimable: 339060 kB
SUnreclaim: 130256 kB
KernelStack: 3924 kB
PageTables: 10084 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 746320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 377556 kB
DirectMap2M: 39241728 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-07-24 08:36:25