1.48/1.56 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.48/1.56 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.48/1.56 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
2.09/2.15 c Starting SCIP solver (with time-limit = 1800s) ...
1795.42/1802.20 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1806.49/1813.36 s UNSATISFIABLE
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 (60163 MiB free)
memory of node 1: 64510 MiB (60161 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439771-1721247172/watcher-4439771-1721247172 -o /tmp/evaluation-result-4439771-1721247172/solver-4439771-1721247172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721239951-921787 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439771-1721247172.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=925908, runsolver pid=925905
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.16 4.10 4.10 5/255 925909
/proc/meminfo: memFree=123187632/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=44364 memory=24940 CPUtime=0.1 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 7289 0 0 0 9 1 0 0 20 0 1 0 176876353 45428736 6235 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 11091 6235 890 2550 0 8046 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 24940 KiB
[startup+0.206129 s]*
/proc/loadavg: 4.15 4.10 4.09 5/255 925909
/proc/meminfo: memFree=123175108/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=59760 memory=40104 CPUtime=0.2 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 11114 0 0 0 19 1 0 0 20 0 1 0 176876353 61194240 10026 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 14940 10026 922 2550 0 11895 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59760 KiB
Current children cumulated memory: 40104 KiB
[startup+0.305919 s]*
/proc/loadavg: 4.15 4.10 4.09 5/254 925909
/proc/meminfo: memFree=123146724/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=87648 memory=68548 CPUtime=0.3 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 17607 0 0 0 27 3 0 0 20 0 1 0 176876353 89751552 17137 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 21912 17137 970 2550 0 18867 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87648 KiB
Current children cumulated memory: 68548 KiB
[startup+0.700245 s]
/proc/loadavg: 4.15 4.10 4.09 5/253 925926
/proc/meminfo: memFree=123210600/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=168616 memory=139468 CPUtime=0.69 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 30064 0 0 0 63 6 0 0 20 0 1 0 176876353 172662784 34867 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 42154 34867 970 2550 0 39109 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 168616 KiB
Current children cumulated memory: 139468 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.10 4.09 5/259 925936
/proc/meminfo: memFree=123072300/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=175252 memory=148176 CPUtime=1.48 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 31637 0 0 0 142 6 0 0 20 0 1 0 176876353 179458048 37044 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 43813 37044 970 2550 0 40768 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175252 KiB
Current children cumulated memory: 148176 KiB
[startup+3.10607 s]
/proc/loadavg: 4.15 4.10 4.09 5/259 925936
/proc/meminfo: memFree=121851748/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=958840 memory=926212 CPUtime=3.09 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 210846 0 0 0 277 32 0 0 20 0 1 0 176876353 981852160 231553 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 239710 231553 2506 2550 0 236665 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 958840 KiB
Current children cumulated memory: 926212 KiB
[startup+6.30024 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 925936
/proc/meminfo: memFree=120955456/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1232592 memory=1197464 CPUtime=6.28 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 274090 0 0 0 585 43 0 0 20 0 1 0 176876353 1262174208 299366 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 308148 299366 2506 2550 0 305103 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1232592 KiB
Current children cumulated memory: 1197464 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 925938
/proc/meminfo: memFree=120954464/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1232592 memory=1198088 CPUtime=12.65 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 274194 0 0 0 1222 43 0 0 20 0 1 0 176876353 1262174208 299522 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 308148 299522 2538 2550 0 305103 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1232592 KiB
Current children cumulated memory: 1198088 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.09 6/259 925939
/proc/meminfo: memFree=120954332/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1232592 memory=1198088 CPUtime=25.41 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 274207 0 0 0 2498 43 0 0 20 0 1 0 176876353 1262174208 299522 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 308148 299522 2538 2550 0 305103 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1232592 KiB
Current children cumulated memory: 1198088 KiB
[startup+51.1059 s]
/proc/loadavg: 4.30 4.15 4.11 5/259 925944
/proc/meminfo: memFree=118858988/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1773908 memory=1719884 CPUtime=50.94 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 363586 0 0 0 5032 62 0 0 20 0 1 0 176876353 1816481792 429971 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 443477 429971 2650 2550 0 440432 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1773908 KiB
Current children cumulated memory: 1719884 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 925955
/proc/meminfo: memFree=118791520/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1786596 memory=1734632 CPUtime=101.97 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 365356 0 0 0 10132 65 0 0 20 0 1 0 176876353 1829474304 433658 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 446649 433658 2650 2550 0 443604 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1786596 KiB
Current children cumulated memory: 1734632 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 925965
/proc/meminfo: memFree=118756792/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1787204 memory=1735772 CPUtime=161.74 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 365720 0 0 0 16108 66 0 0 20 0 1 0 176876353 1830096896 433943 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 446801 433943 2650 2550 0 443756 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1787204 KiB
Current children cumulated memory: 1735772 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 925975
/proc/meminfo: memFree=118749304/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1787204 memory=1735884 CPUtime=221.5 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 365907 0 0 0 22082 68 0 0 20 0 1 0 176876353 1830096896 433971 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 446801 433971 2650 2550 0 443756 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1787204 KiB
Current children cumulated memory: 1735884 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 925987
/proc/meminfo: memFree=118743304/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1787204 memory=1735916 CPUtime=281.27 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 366024 0 0 0 28057 70 0 0 20 0 1 0 176876353 1830096896 433979 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 446801 433979 2650 2550 0 443756 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 1787204 KiB
Current children cumulated memory: 1735916 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 925997
/proc/meminfo: memFree=118741652/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1787204 memory=1735928 CPUtime=341.04 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 366163 0 0 0 34032 72 0 0 20 0 1 0 176876353 1830096896 433982 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 446801 433982 2650 2550 0 443756 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1787204 KiB
Current children cumulated memory: 1735928 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 926008
/proc/meminfo: memFree=118740776/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736292 CPUtime=400.81 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 366430 0 0 0 40007 74 0 0 20 0 1 0 176876353 1842335744 434073 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434073 2650 2550 0 446744 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736292 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 926021
/proc/meminfo: memFree=118740076/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736320 CPUtime=460.57 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 366528 0 0 0 45982 75 0 0 20 0 1 0 176876353 1842335744 434080 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434080 2650 2550 0 446744 0
################
# More data... #
################
Current children cumulated memory: 1736352 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 926795
/proc/meminfo: memFree=118641528/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736352 CPUtime=1357.11 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368118 0 0 0 135616 95 0 0 20 0 1 0 176876353 1842335744 434088 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434088 2650 2550 0 446744 0
Current children cumulated CPU time: 1357.11 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736352 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 926806
/proc/meminfo: memFree=118633264/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736352 CPUtime=1416.9 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368228 0 0 0 141593 97 0 0 20 0 1 0 176876353 1842335744 434088 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434088 2650 2550 0 446744 0
Current children cumulated CPU time: 1416.9 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736352 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 926817
/proc/meminfo: memFree=118632656/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736352 CPUtime=1476.68 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368346 0 0 0 147570 98 0 0 20 0 1 0 176876353 1842335744 434088 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434088 2650 2550 0 446744 0
Current children cumulated CPU time: 1476.68 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736352 KiB
[startup+1542.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/255 926827
/proc/meminfo: memFree=118631372/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736352 CPUtime=1536.46 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368438 0 0 0 153547 99 0 0 20 0 1 0 176876353 1842335744 434088 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434088 2650 2550 0 446744 0
Current children cumulated CPU time: 1536.46 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736352 KiB
[startup+1602.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 926842
/proc/meminfo: memFree=118615184/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1736356 CPUtime=1596.21 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368549 0 0 0 159521 100 0 0 20 0 1 0 176876353 1842335744 434089 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 434089 2650 2550 0 446744 0
Current children cumulated CPU time: 1596.21 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1736356 KiB
[startup+1662.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 926855
/proc/meminfo: memFree=118606608/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1799156 memory=1743240 CPUtime=1655.99 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 368868 0 0 0 165497 102 0 0 20 0 1 0 176876353 1842335744 435810 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 449789 435810 2650 2550 0 446744 0
Current children cumulated CPU time: 1655.99 s
Current children cumulated vsize: 1799156 KiB
Current children cumulated memory: 1743240 KiB
[startup+1722.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 926867
/proc/meminfo: memFree=118596040/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1805628 memory=1747920 CPUtime=1715.79 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 370118 0 0 0 171476 103 0 0 20 0 1 0 176876353 1848963072 436980 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 451407 436980 2650 2550 0 448362 0
Current children cumulated CPU time: 1715.79 s
Current children cumulated vsize: 1805628 KiB
Current children cumulated memory: 1747920 KiB
[startup+1782.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 926877
/proc/meminfo: memFree=118582892/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1811336 memory=1760496 CPUtime=1775.59 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 372244 0 0 0 177455 104 0 0 20 0 1 0 176876353 1854808064 440124 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 452834 440124 2650 2550 0 449789 0
Current children cumulated CPU time: 1775.59 s
Current children cumulated vsize: 1811336 KiB
Current children cumulated memory: 1760496 KiB
[startup+1813.42 s]
# the end of solver process 925908 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1805.51 s, system=1.10361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.13 4.12 4.09 5/259 926879
/proc/meminfo: memFree=118582820/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1811336 memory=1760496 CPUtime=1785.26 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 372248 0 0 0 178422 104 0 0 20 0 1 0 176876353 1854808064 440124 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 452834 440124 2650 2550 0 449789 0
Current children cumulated CPU time: 1785.26 s
Current children cumulated vsize: 1811336 KiB
Current children cumulated memory: 1760496 KiB
[startup+1804.8 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 926881
/proc/meminfo: memFree=118814712/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1760372 memory=1713668 CPUtime=1798.01 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 373096 0 0 0 179697 104 0 0 20 0 1 0 176876353 1802620928 428417 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 440093 428417 2650 2550 0 437048 0
Current children cumulated CPU time: 1798.01 s
Current children cumulated vsize: 1760372 KiB
Current children cumulated memory: 1713668 KiB
[startup+1808 s]*
/proc/loadavg: 4.17 4.13 4.10 5/259 926881
/proc/meminfo: memFree=118807364/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1760372 memory=1715980 CPUtime=1801.2 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 373216 0 0 0 180016 104 0 0 20 0 1 0 176876353 1802620928 428995 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 440093 428995 2650 2550 0 437048 0
Current children cumulated CPU time: 1801.2 s
Current children cumulated vsize: 1760372 KiB
Current children cumulated memory: 1715980 KiB
[startup+1811.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 926883
/proc/meminfo: memFree=118805992/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1760372 memory=1717016 CPUtime=1804.4 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 373491 0 0 0 180335 105 0 0 20 0 1 0 176876353 1802620928 429254 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 440093 429254 2650 2550 0 437048 0
Current children cumulated CPU time: 1804.4 s
Current children cumulated vsize: 1760372 KiB
Current children cumulated memory: 1717016 KiB
[startup+1812.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 926883
/proc/meminfo: memFree=118805992/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1760372 memory=1717016 CPUtime=1805.99 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 373491 0 0 0 180494 105 0 0 20 0 1 0 176876353 1802620928 429254 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 440093 429254 2650 2550 0 437048 0
Current children cumulated CPU time: 1805.99 s
Current children cumulated vsize: 1760372 KiB
Current children cumulated memory: 1717016 KiB
[startup+1813.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 926883
/proc/meminfo: memFree=118805992/131524600 swapFree=130798104/131071996
[pid=925908] ppid=925905 vsize=1760372 memory=1717016 CPUtime=1806.39 cores=5,7
/proc/925908/stat : 925908 (CASHWMaxSAT-Dis) R 925905 925908 921774 0 -1 4194304 373491 0 0 0 180534 105 0 0 20 0 1 0 176876353 1802620928 429254 134679101440 4194304 14636349 140734622189120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 47509504 140734622196706 140734622196822 140734622196822 140734622203838 0
/proc/925908/statm: 440093 429254 2650 2550 0 437048 0
Current children cumulated CPU time: 1806.39 s
Current children cumulated vsize: 1760372 KiB
Current children cumulated memory: 1717016 KiB
[startup+1813.4 s]*
/proc/loadavg: 4.16 4.13 4.09 5/259 926883
/proc/meminfo: memFree=119889220/131524600 swapFree=130798104/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 1813.42
CPU time (s): 1806.61
CPU user time (s): 1805.51
CPU system time (s): 1.10361
CPU usage (%): 99.6249
Max. virtual memory (cumulated for all children) (KiB): 1811336
Max. memory (cumulated for all children) (KiB): 1760536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1805.51
system time used= 1.10361
maximum resident set size= 1760536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373491
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= 2
involuntary context switches= 808
# summary of solver processes directly reported to runsolver:
# pid: 925908
# total CPU time (s): 1806.61
# total CPU user time (s): 1805.51
# total CPU system time (s): 1.10361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75566 second user time and 9.19214 second system time
The end
Begin job on nodeC014 at 2024-07-17 22:13:05
IDJOB=4439771
IDBENCH=158390
IDSOLVER=3076
FILE ID=nodeC014/4439771-1721247172
RUNJOBID= nodeC014-1721239951-921787
SLURM_JOB_ID= 7508991
Free space on /tmp= 889936 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439771-1721247172/watcher-4439771-1721247172 -o /tmp/evaluation-result-4439771-1721247172/solver-4439771-1721247172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721239951-921787 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439771-1721247172.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=131917453
nodeC014.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 : 3660.965
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.32
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 : 3679.437
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.96
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 : 3599.700
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.32
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 : 3630.001
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.96
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 : 3661.183
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.32
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 : 3666.317
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.96
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 : 3631.305
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.32
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 : 3666.975
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123212492 kB
MemAvailable: 127569096 kB
Buffers: 399424 kB
Cached: 4745088 kB
SwapCached: 13000 kB
Active: 1392804 kB
Inactive: 6301468 kB
Active(anon): 9436 kB
Inactive(anon): 2559700 kB
Active(file): 1383368 kB
Inactive(file): 3741768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798104 kB
Dirty: 44384 kB
Writeback: 0 kB
AnonPages: 2540264 kB
Mapped: 68608 kB
Shmem: 19636 kB
KReclaimable: 142228 kB
Slab: 241812 kB
SReclaimable: 142228 kB
SUnreclaim: 99584 kB
KernelStack: 4108 kB
PageTables: 14964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3100576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 305152 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-17 22:43:18