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: 63708 MiB (61686 MiB free)
memory of node 1: 64465 MiB (63259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525770-1751625889/watcher-4525770-1751625889 -o /tmp/evaluation-result-4525770-1751625889/solver-4525770-1751625889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751625889-88979 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=743719171 --ls=360 HOME/instance-4525770-1751625889.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89024, runsolver pid=89017
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127845972/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=71608 memory=46360 CPUtime=0.1 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 13373 0 0 0 8 2 0 0 20 0 1 0 78266404 73326592 11590 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 17902 11590 1024 1200 0 16382 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 71608 KiB
Current children cumulated memory: 46360 KiB
[startup+0.205034 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127723740/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=113616 memory=87016 CPUtime=0.2 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 22451 0 0 0 17 3 0 0 20 0 1 0 78266404 116342784 21754 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 28404 21754 1024 1200 0 26884 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113616 KiB
Current children cumulated memory: 87016 KiB
[startup+0.305082 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127608252/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=170988 memory=141780 CPUtime=0.3 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 32176 0 0 0 25 5 0 0 20 0 1 0 78266404 175091712 35445 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 42747 35445 1024 1200 0 41227 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 170988 KiB
Current children cumulated memory: 141780 KiB
[startup+0.700156 s]
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127431512/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=330500 memory=297536 CPUtime=0.68 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 53721 0 0 0 58 10 0 0 20 0 1 0 78266404 338432000 74384 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 82625 74384 1024 1200 0 81105 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 330500 KiB
Current children cumulated memory: 297536 KiB
[startup+1.50017 s]
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=126921208/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=1.48 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 65755 0 0 0 135 13 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+3.10545 s]
/proc/loadavg: 1.38 2.14 2.79 5/264 89035
/proc/meminfo: memFree=126231352/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=3.08 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 65784 0 0 0 295 13 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+6.30017 s]
/proc/loadavg: 1.38 2.14 2.79 5/264 89035
/proc/meminfo: memFree=126231548/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=6.27 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 65842 0 0 0 613 14 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 2.19 2.81 5/264 89035
/proc/meminfo: memFree=126231640/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=12.65 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 65871 0 0 0 1251 14 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 2.28 2.83 5/264 89035
/proc/meminfo: memFree=126227560/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=25.4 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 65932 0 0 0 2526 14 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+51.1055 s]
/proc/loadavg: 2.89 2.43 2.86 5/264 89036
/proc/meminfo: memFree=126214708/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=392652 CPUtime=50.9 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66020 0 0 0 5076 14 0 0 20 0 1 0 78266404 447426560 98163 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98163 1024 1200 0 107715 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 392652 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.69 2.93 5/264 89037
/proc/meminfo: memFree=126206096/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=393676 CPUtime=101.9 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66169 0 0 0 10176 14 0 0 20 0 1 0 78266404 447426560 98419 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 98419 1024 1200 0 107715 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 393676 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.95 3.01 5/264 89043
/proc/meminfo: memFree=126199288/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=400204 CPUtime=161.69 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66348 0 0 0 16155 14 0 0 20 0 1 0 78266404 447426560 100051 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 100051 1024 1200 0 107715 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 400204 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.16 3.08 5/265 89047
/proc/meminfo: memFree=126195608/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=401996 CPUtime=221.5 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66444 0 0 0 22136 14 0 0 20 0 1 0 78266404 447426560 100499 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 100499 1024 1200 0 107715 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 401996 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.33 3.14 5/265 89049
/proc/meminfo: memFree=126198848/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=402380 CPUtime=281.3 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66540 0 0 0 28116 14 0 0 20 0 1 0 78266404 447426560 100595 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 100595 1024 1200 0 107715 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 402380 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.47 3.20 5/265 89051
/proc/meminfo: memFree=126181788/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=436940 memory=402380 CPUtime=341.11 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 66636 0 0 0 34097 14 0 0 20 0 1 0 78266404 447426560 100595 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 109235 100595 1024 1200 0 107715 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 436940 KiB
Current children cumulated memory: 402380 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.60 3.27 5/265 89098
/proc/meminfo: memFree=124402764/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=918828 memory=858848 CPUtime=400.89 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 125923 0 0 0 40056 33 0 0 20 0 1 0 78266404 940879872 214712 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 229707 214712 1280 1200 0 228187 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 918828 KiB
Current children cumulated memory: 858848 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.68 3.31 5/265 89100
/proc/meminfo: memFree=122958984/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=1883516 memory=1595836 CPUtime=460.65 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 248955 0 0 0 45992 73 0 0 20 0 1 0 78266404 1928720384 398959 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 470879 398959 1280 1200 0 469359 0
Current children cumulated CPU time: 460.65 s
################
# More data... #
################
/proc/89024/statm: 1215802 1074102 1280 1200 0 1214282 0
Current children cumulated CPU time: 2853.09 s
Current children cumulated vsize: 4863208 KiB
Current children cumulated memory: 4296408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.20 4.11 6/263 89326
/proc/meminfo: memFree=109309236/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4863208 memory=4298556 CPUtime=2912.94 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 627100 0 0 0 291047 247 0 0 20 0 1 0 78266404 4979924992 1074639 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1215802 1074639 1280 1200 0 1214282 0
Current children cumulated CPU time: 2912.94 s
Current children cumulated vsize: 4863208 KiB
Current children cumulated memory: 4298556 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.19 4.11 6/264 89331
/proc/meminfo: memFree=108941868/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4863208 memory=4298556 CPUtime=2972.78 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 627884 0 0 0 297030 248 0 0 20 0 1 0 78266404 4979924992 1074639 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1215802 1074639 1280 1200 0 1214282 0
Current children cumulated CPU time: 2972.78 s
Current children cumulated vsize: 4863208 KiB
Current children cumulated memory: 4298556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.17 4.10 6/264 89333
/proc/meminfo: memFree=108897260/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4863208 memory=4298556 CPUtime=3032.63 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 628584 0 0 0 303013 250 0 0 20 0 1 0 78266404 4979924992 1074639 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1215802 1074639 1280 1200 0 1214282 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 4863208 KiB
Current children cumulated memory: 4298556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.14 4.09 6/264 89335
/proc/meminfo: memFree=108829348/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4863208 memory=4298684 CPUtime=3092.47 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 629249 0 0 0 308995 252 0 0 20 0 1 0 78266404 4979924992 1074671 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1215802 1074671 1280 1200 0 1214282 0
Current children cumulated CPU time: 3092.47 s
Current children cumulated vsize: 4863208 KiB
Current children cumulated memory: 4298684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/266 89344
/proc/meminfo: memFree=108830384/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4866660 memory=4298684 CPUtime=3152.31 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 629720 0 0 0 314976 255 0 0 20 0 1 0 78266404 4983459840 1074671 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1216665 1074671 1280 1200 0 1215145 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 4866660 KiB
Current children cumulated memory: 4298684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/266 89390
/proc/meminfo: memFree=107342864/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4866660 memory=4300800 CPUtime=3212.15 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 630540 0 0 0 320959 256 0 0 20 0 1 0 78266404 4983459840 1075200 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1216665 1075200 1280 1200 0 1215145 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 4866660 KiB
Current children cumulated memory: 4300800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 89392
/proc/meminfo: memFree=107093164/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4873536 memory=4301184 CPUtime=3272 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 631282 0 0 0 326942 258 0 0 20 0 1 0 78266404 4990500864 1075296 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1218384 1075296 1280 1200 0 1216864 0
Current children cumulated CPU time: 3272 s
Current children cumulated vsize: 4873536 KiB
Current children cumulated memory: 4301184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 89394
/proc/meminfo: memFree=107024856/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4873536 memory=4308900 CPUtime=3331.86 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 633697 0 0 0 332926 260 0 0 20 0 1 0 78266404 4990500864 1077225 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1218384 1077225 1280 1200 0 1216864 0
Current children cumulated CPU time: 3331.86 s
Current children cumulated vsize: 4873536 KiB
Current children cumulated memory: 4308900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 89396
/proc/meminfo: memFree=106978580/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4873536 memory=4308900 CPUtime=3391.71 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 634479 0 0 0 338909 262 0 0 20 0 1 0 78266404 4990500864 1077225 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1218384 1077225 1280 1200 0 1216864 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 4873536 KiB
Current children cumulated memory: 4308900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 89398
/proc/meminfo: memFree=106940724/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4876644 memory=4308900 CPUtime=3451.55 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 635037 0 0 0 344890 265 0 0 20 0 1 0 78266404 4993683456 1077225 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1219161 1077225 1280 1200 0 1217641 0
Current children cumulated CPU time: 3451.55 s
Current children cumulated vsize: 4876644 KiB
Current children cumulated memory: 4308900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 89401
/proc/meminfo: memFree=106904388/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4876644 memory=4308900 CPUtime=3511.41 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 635660 0 0 0 350874 267 0 0 20 0 1 0 78266404 4993683456 1077225 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1219161 1077225 1280 1200 0 1217641 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 4876644 KiB
Current children cumulated memory: 4308900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 89451
/proc/meminfo: memFree=106209968/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4883144 memory=4311352 CPUtime=3571.2 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 636519 0 0 0 356851 269 0 0 20 0 1 0 78266404 5000339456 1077838 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1220786 1077838 1280 1200 0 1219266 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 4883144 KiB
Current children cumulated memory: 4311352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 89453
/proc/meminfo: memFree=106206340/131250000 swapFree=33007332/33010684
[pid=89024] ppid=89017 vsize=4883144 memory=4311608 CPUtime=3600.08 cores=5,7
/proc/89024/stat : 89024 (Exact) R 89017 89024 88966 0 -1 4194304 636763 0 0 0 359738 270 0 0 20 0 1 0 78266404 5000339456 1077902 18446744073709551615 4198400 9112445 140726124764976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31178752 140726124771641 140726124771819 140726124771819 140726124777423 0
/proc/89024/statm: 1220786 1077902 1280 1200 0 1219266 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4883144 KiB
Current children cumulated memory: 4311608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.69 s]
# the end of solver process 89024 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.65 s, system=2.83242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.6 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 89453
/proc/meminfo: memFree=108554836/131250000 swapFree=33007332/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.69
CPU time (s): 3600.48
CPU user time (s): 3597.65
CPU system time (s): 2.83242
CPU usage (%): 99.6897
Max. virtual memory (cumulated for all children) (KiB): 5016696
Max. memory (cumulated for all children) (KiB): 4311608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.65
system time used= 2.83242
maximum resident set size= 4311608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636870
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= 57
involuntary context switches= 4531
# summary of solver processes directly reported to runsolver:
# pid: 89024
# total CPU time (s): 3600.48
# total CPU user time (s): 3597.65
# total CPU system time (s): 2.83242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48192 second user time and 15.6007 second system time
The end
Begin job on nodeC019 at 2025-07-04 12:44:49
IDJOB=4525770
IDBENCH=143892
IDSOLVER=3375
FILE ID=nodeC019/4525770-1751625889
RUNJOBID= nodeC019-1751625889-88979
SLURM_JOB_ID= 9598952
Free space on /tmp= 431564 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4reduc_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525770-1751625889/watcher-4525770-1751625889 -o /tmp/evaluation-result-4525770-1751625889/solver-4525770-1751625889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751625889-88979 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=743719171 --ls=360 HOME/instance-4525770-1751625889.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fda5da57972dd77ccec8adba64462c64
RANDOM SEED=743719171
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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.146
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.988
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.028
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3600.259
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3598.226
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.925
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.657
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127953572 kB
MemAvailable: 129752824 kB
Buffers: 904 kB
Cached: 2599808 kB
SwapCached: 440 kB
Active: 217648 kB
Inactive: 2450448 kB
Active(anon): 54840 kB
Inactive(anon): 27736 kB
Active(file): 162808 kB
Inactive(file): 2422712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32976 kB
Writeback: 4 kB
AnonPages: 69900 kB
Mapped: 103736 kB
Shmem: 15192 kB
KReclaimable: 105944 kB
Slab: 195788 kB
SReclaimable: 105944 kB
SUnreclaim: 89844 kB
KernelStack: 4144 kB
PageTables: 2956 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431536 MiB
End job on nodeC019 at 2025-07-04 13:45:01