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 (59897 MiB free)
memory of node 1: 64510 MiB (60622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450668-1721421196/watcher-4450668-1721421196 -o /tmp/evaluation-result-4450668-1721421196/solver-4450668-1721421196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054972 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450668-1721421196.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1055022, runsolver pid=1055015
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 3.59 3.98 4.05 6/260 1055035
/proc/meminfo: memFree=123351680/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=38580 memory=23252 CPUtime=0.09 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 5404 0 0 0 9 0 0 0 20 0 1 0 194285000 39505920 5813 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 9645 5813 1066 2726 0 6393 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38580 KiB
Current children cumulated memory: 23252 KiB
[startup+0.206319 s]*
/proc/loadavg: 3.59 3.98 4.05 5/260 1055035
/proc/meminfo: memFree=123312300/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=46280 memory=30076 CPUtime=0.2 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 7369 0 0 0 19 1 0 0 20 0 1 0 194285000 47390720 7519 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 11570 7519 1146 2726 0 8318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46280 KiB
Current children cumulated memory: 30076 KiB
[startup+0.306016 s]*
/proc/loadavg: 3.59 3.98 4.05 6/260 1055035
/proc/meminfo: memFree=123300728/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=48724 memory=32716 CPUtime=0.3 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 7985 0 0 0 29 1 0 0 20 0 1 0 194285000 49893376 8179 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 12181 8179 1146 2726 0 8929 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48724 KiB
Current children cumulated memory: 32716 KiB
[startup+0.700228 s]
/proc/loadavg: 3.59 3.98 4.05 6/260 1055035
/proc/meminfo: memFree=123297236/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=52676 memory=36572 CPUtime=0.68 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 10244 0 0 0 67 1 0 0 20 0 1 0 194285000 53940224 9143 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 13169 9143 1146 2726 0 9917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52676 KiB
Current children cumulated memory: 36572 KiB
[startup+1.50021 s]
/proc/loadavg: 3.59 3.98 4.05 6/260 1055035
/proc/meminfo: memFree=123285816/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=55004 memory=39156 CPUtime=1.49 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 11567 0 0 0 147 2 0 0 20 0 1 0 194285000 56324096 9789 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 13751 9789 1146 2726 0 10499 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55004 KiB
Current children cumulated memory: 39156 KiB
[startup+3.1061 s]
/proc/loadavg: 3.59 3.98 4.05 6/259 1055035
/proc/meminfo: memFree=123282656/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=52560 memory=36560 CPUtime=3.09 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 12940 0 0 0 307 2 0 0 20 0 1 0 194285000 53821440 9140 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 13140 9140 1146 2726 0 9888 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52560 KiB
Current children cumulated memory: 36560 KiB
[startup+6.30022 s]
/proc/loadavg: 3.62 3.98 4.05 6/259 1055035
/proc/meminfo: memFree=123265468/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=58088 memory=42276 CPUtime=6.28 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 16337 0 0 0 625 3 0 0 20 0 1 0 194285000 59482112 10569 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 14522 10569 1146 2726 0 11270 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 42276 KiB
[startup+12.7002 s]
/proc/loadavg: 3.65 3.98 4.05 6/259 1055037
/proc/meminfo: memFree=123244452/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=68860 memory=52904 CPUtime=12.65 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 18882 0 0 0 1262 3 0 0 20 0 1 0 194285000 70512640 13226 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 17215 13226 1146 2726 0 13963 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68860 KiB
Current children cumulated memory: 52904 KiB
[startup+25.5002 s]
/proc/loadavg: 3.80 4.00 4.06 6/259 1055038
/proc/meminfo: memFree=123207516/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=80816 memory=64792 CPUtime=25.42 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 23385 0 0 0 2537 5 0 0 20 0 1 0 194285000 82755584 16198 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 20204 16198 1146 2726 0 16952 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80816 KiB
Current children cumulated memory: 64792 KiB
[startup+51.1056 s]
/proc/loadavg: 3.87 4.00 4.05 6/259 1055043
/proc/meminfo: memFree=123180448/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=68368 memory=52560 CPUtime=50.95 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 25329 0 0 0 5090 5 0 0 20 0 1 0 194285000 70008832 13140 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 17092 13140 1146 2726 0 13840 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 68368 KiB
Current children cumulated memory: 52560 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.03 4.06 6/259 1055052
/proc/meminfo: memFree=123012976/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=112320 memory=97332 CPUtime=102.01 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 35560 0 0 0 10191 10 0 0 20 0 1 0 194285000 115015680 24333 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 28080 24333 1146 2726 0 24828 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 112320 KiB
Current children cumulated memory: 97332 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.07 4.07 6/256 1055063
/proc/meminfo: memFree=123060068/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=89104 memory=74176 CPUtime=161.84 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 38263 0 0 0 16173 11 0 0 20 0 1 0 194285000 91242496 18544 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 22276 18544 1146 2726 0 19024 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 74176 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.05 4.07 6/256 1055074
/proc/meminfo: memFree=123045680/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=97296 memory=82352 CPUtime=221.65 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 39826 0 0 0 22154 11 0 0 20 0 1 0 194285000 99631104 20588 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 24324 20588 1146 2726 0 21072 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 97296 KiB
Current children cumulated memory: 82352 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.09 4.08 6/256 1055086
/proc/meminfo: memFree=122926172/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=124796 memory=109496 CPUtime=281.47 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 45754 0 0 0 28130 17 0 0 20 0 1 0 194285000 127791104 27374 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 31199 27374 1146 2726 0 27947 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 124796 KiB
Current children cumulated memory: 109496 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.08 6/255 1055097
/proc/meminfo: memFree=122853768/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=175116 memory=160336 CPUtime=341.31 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 50322 0 0 0 34109 22 0 0 20 0 1 0 194285000 179318784 40084 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 43779 40084 1146 2726 0 40527 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 175116 KiB
Current children cumulated memory: 160336 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.08 6/255 1055107
/proc/meminfo: memFree=122790272/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=195340 memory=180460 CPUtime=401.13 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 55667 0 0 0 40086 27 0 0 20 0 1 0 194285000 200028160 45115 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 48835 45115 1146 2726 0 45583 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 195340 KiB
Current children cumulated memory: 180460 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.08 4.08 6/257 1055122
/proc/meminfo: memFree=122779836/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=195368 memory=180460 CPUtime=460.96 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 59976 0 0 0 46064 32 0 0 20 0 1 0 194285000 200056832 45115 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 48842 45115 1146 2726 0 45590 0
################
# More data... #
################
/proc/loadavg: 4.16 4.14 4.10 6/261 1055933
/proc/meminfo: memFree=122618896/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=234244 memory=219464 CPUtime=1598.07 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 87466 0 0 0 159742 65 0 0 20 0 1 0 194285000 239865856 54866 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 58561 54866 1146 2726 0 55309 0
Current children cumulated CPU time: 1598.07 s
Current children cumulated vsize: 234244 KiB
Current children cumulated memory: 219464 KiB
[startup+1662.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/259 1055957
/proc/meminfo: memFree=122598828/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=236860 memory=222080 CPUtime=1657.93 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 90124 0 0 0 165721 72 0 0 20 0 1 0 194285000 242544640 55520 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 59215 55520 1146 2726 0 55963 0
Current children cumulated CPU time: 1657.93 s
Current children cumulated vsize: 236860 KiB
Current children cumulated memory: 222080 KiB
[startup+1722.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/259 1055967
/proc/meminfo: memFree=122614380/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=236800 memory=222020 CPUtime=1717.78 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 93243 0 0 0 171699 79 0 0 20 0 1 0 194285000 242483200 55505 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 59200 55505 1146 2726 0 55948 0
Current children cumulated CPU time: 1717.78 s
Current children cumulated vsize: 236800 KiB
Current children cumulated memory: 222020 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/258 1055978
/proc/meminfo: memFree=122631936/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=235084 memory=220304 CPUtime=1777.63 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 97246 0 0 0 177677 86 0 0 20 0 1 0 194285000 240726016 55076 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 58771 55076 1146 2726 0 55519 0
Current children cumulated CPU time: 1777.63 s
Current children cumulated vsize: 235084 KiB
Current children cumulated memory: 220304 KiB
[startup+1842.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/257 1055991
/proc/meminfo: memFree=122613696/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=228416 memory=213636 CPUtime=1837.49 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 100659 0 0 0 183656 93 0 0 20 0 1 0 194285000 233897984 53409 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 57104 53409 1146 2726 0 53852 0
Current children cumulated CPU time: 1837.49 s
Current children cumulated vsize: 228416 KiB
Current children cumulated memory: 213636 KiB
[startup+1902.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/257 1056002
/proc/meminfo: memFree=122548856/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=229696 memory=214916 CPUtime=1897.35 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 103930 0 0 0 189636 99 0 0 20 0 1 0 194285000 235208704 53729 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 57424 53729 1146 2726 0 54172 0
Current children cumulated CPU time: 1897.35 s
Current children cumulated vsize: 229696 KiB
Current children cumulated memory: 214916 KiB
[startup+1962.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/256 1056012
/proc/meminfo: memFree=122591912/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=232604 memory=217824 CPUtime=1957.21 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 107683 0 0 0 195615 106 0 0 20 0 1 0 194285000 238186496 54456 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 58151 54456 1146 2726 0 54899 0
Current children cumulated CPU time: 1957.21 s
Current children cumulated vsize: 232604 KiB
Current children cumulated memory: 217824 KiB
[startup+2022.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/256 1056022
/proc/meminfo: memFree=122577964/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=242684 memory=227904 CPUtime=2017.06 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 110486 0 0 0 201593 113 0 0 20 0 1 0 194285000 248508416 56976 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 60671 56976 1146 2726 0 57419 0
Current children cumulated CPU time: 2017.06 s
Current children cumulated vsize: 242684 KiB
Current children cumulated memory: 227904 KiB
[startup+2035.89 s]
# the end of solver process 1055022 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2029.47 s, system=1.15714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 4.11 4.12 4.09 6/256 1056022
/proc/meminfo: memFree=122577964/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=242684 memory=227904 CPUtime=2017.16 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 110486 0 0 0 201603 113 0 0 20 0 1 0 194285000 248508416 56976 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 60671 56976 1146 2726 0 57419 0
Current children cumulated CPU time: 2017.16 s
Current children cumulated vsize: 242684 KiB
Current children cumulated memory: 227904 KiB
[startup+2028.8 s]
/proc/loadavg: 4.10 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567820/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2023.54 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202239 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2023.54 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
[startup+2032 s]*
/proc/loadavg: 4.09 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567268/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2026.74 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202559 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2026.74 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
[startup+2033.6 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567260/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2028.33 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202718 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2028.33 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
[startup+2035.2 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567260/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2029.93 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202878 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2029.93 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
[startup+2035.6 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567260/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2030.33 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202918 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2030.33 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
[startup+2035.8 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 1056023
/proc/meminfo: memFree=122567260/131524600 swapFree=131071996/131071996
[pid=1055022] ppid=1055015 vsize=254440 memory=239660 CPUtime=2030.53 cores=4,6
/proc/1055022/stat : 1055022 (CASHWMaxSAT-Dis) R 1055015 1055022 1054961 0 -1 4194304 111081 0 0 0 202938 115 0 0 20 0 1 0 194285000 260546560 59915 134679101440 4194304 15356333 140733121296512 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 51970048 140733121303521 140733121303637 140733121303637 140733121310654 0
/proc/1055022/statm: 63610 59915 1146 2726 0 60358 0
Current children cumulated CPU time: 2030.53 s
Current children cumulated vsize: 254440 KiB
Current children cumulated memory: 239660 KiB
Child status: 30
Real time (s): 2035.89
CPU time (s): 2030.62
CPU user time (s): 2029.47
CPU system time (s): 1.15714
CPU usage (%): 99.7415
Max. virtual memory (cumulated for all children) (KiB): 330896
Max. memory (cumulated for all children) (KiB): 304844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2029.47
system time used= 1.15714
maximum resident set size= 316104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111082
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= 30
involuntary context switches= 1005
# summary of solver processes directly reported to runsolver:
# pid: 1055022
# total CPU time (s): 2030.62
# total CPU user time (s): 2029.47
# total CPU system time (s): 1.15714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8413 second user time and 10.5973 second system time
The end
Begin job on nodeC025 at 2024-07-19 22:33:29
IDJOB=4450668
IDBENCH=162192
IDSOLVER=3074
FILE ID=nodeC025/4450668-1721421196
RUNJOBID= nodeC025-1721421209-1054972
SLURM_JOB_ID= 7545497
Free space on /tmp= 890028 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450668-1721421196/watcher-4450668-1721421196 -o /tmp/evaluation-result-4450668-1721421196/solver-4450668-1721421196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054972 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450668-1721421196.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=380027481
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 : 3664.234
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.72
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 : 3653.844
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 : 7007.09
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 : 3631.789
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.72
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 : 3657.727
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 : 7007.09
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 : 3657.560
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.72
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 : 3664.381
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 : 7007.09
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 : 3632.498
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.72
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 : 3657.378
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123420880 kB
MemAvailable: 129596348 kB
Buffers: 554236 kB
Cached: 6391208 kB
SwapCached: 0 kB
Active: 1130152 kB
Inactive: 6193188 kB
Active(anon): 1424 kB
Inactive(anon): 422376 kB
Active(file): 1128728 kB
Inactive(file): 5770812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58956 kB
Writeback: 0 kB
AnonPages: 375948 kB
Mapped: 106564 kB
Shmem: 45912 kB
KReclaimable: 231148 kB
Slab: 360296 kB
SReclaimable: 231148 kB
SUnreclaim: 129148 kB
KernelStack: 3920 kB
PageTables: 9380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 780544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73024 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC025 at 2024-07-19 23:07:25