1.48/1.57 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.48/1.57 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.48/1.57 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
2.09/2.14 c Starting SCIP solver (with time-limit = 1800s) ...
1795.60/1802.19 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.09/3610.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59273 MiB free)
memory of node 1: 64473 MiB (61706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439772-1721247053/watcher-4439772-1721247053 -o /tmp/evaluation-result-4439772-1721247053/solver-4439772-1721247053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721243363-923573 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439772-1721247053.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
Current StackSize limit: 8192 KiB
solver pid=925819, runsolver pid=925816
[startup+0.100099 s]*
/proc/loadavg: 4.11 4.14 4.14 5/258 925820
/proc/meminfo: memFree=123992864/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=44364 memory=25716 CPUtime=0.1 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 6462 0 0 0 9 1 0 0 20 0 1 0 176876106 45428736 6429 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 11091 6429 890 2550 0 8046 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 25716 KiB
[startup+0.205798 s]*
/proc/loadavg: 4.11 4.14 4.14 5/258 925820
/proc/meminfo: memFree=123980848/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=59300 memory=40616 CPUtime=0.2 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 10194 0 0 0 19 1 0 0 20 0 1 0 176876106 60723200 10154 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 14825 10154 922 2550 0 11780 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59300 KiB
Current children cumulated memory: 40616 KiB
[startup+0.30551 s]*
/proc/loadavg: 4.11 4.14 4.14 5/258 925820
/proc/meminfo: memFree=123952560/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=83028 memory=66440 CPUtime=0.3 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 16527 0 0 0 28 2 0 0 20 0 1 0 176876106 85020672 16610 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 20757 16610 970 2550 0 17712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 66440 KiB
[startup+0.700262 s]
/proc/loadavg: 4.11 4.14 4.14 6/258 925820
/proc/meminfo: memFree=123862680/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=168052 memory=141876 CPUtime=0.68 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 29646 0 0 0 63 5 0 0 20 0 1 0 176876106 172085248 35469 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 42013 35469 970 2550 0 38968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 168052 KiB
Current children cumulated memory: 141876 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.14 4.14 5/258 925820
/proc/meminfo: memFree=123745496/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=172848 memory=147168 CPUtime=1.48 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 31068 0 0 0 142 6 0 0 20 0 1 0 176876106 176996352 36792 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 43212 36792 970 2550 0 40167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172848 KiB
Current children cumulated memory: 147168 KiB
[startup+3.10576 s]
/proc/loadavg: 4.19 4.15 4.15 5/258 925820
/proc/meminfo: memFree=122443080/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=924104 memory=895452 CPUtime=3.09 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 206654 0 0 0 275 34 0 0 20 0 1 0 176876106 946282496 223863 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 231026 223863 2506 2550 0 227981 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 924104 KiB
Current children cumulated memory: 895452 KiB
[startup+6.30024 s]
/proc/loadavg: 4.19 4.15 4.15 5/258 925820
/proc/meminfo: memFree=122120424/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1188504 memory=1158120 CPUtime=6.27 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 266722 0 0 0 585 42 0 0 20 0 1 0 176876106 1217028096 289530 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 297126 289530 2506 2550 0 294081 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1188504 KiB
Current children cumulated memory: 1158120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.15 5/258 925822
/proc/meminfo: memFree=121823668/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1188504 memory=1158120 CPUtime=12.65 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 266742 0 0 0 1223 42 0 0 20 0 1 0 176876106 1217028096 289530 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 297126 289530 2506 2550 0 294081 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1188504 KiB
Current children cumulated memory: 1158120 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.14 5/258 925823
/proc/meminfo: memFree=121804776/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1188504 memory=1158120 CPUtime=25.41 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 266759 0 0 0 2498 43 0 0 20 0 1 0 176876106 1217028096 289530 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 297126 289530 2506 2550 0 294081 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1188504 KiB
Current children cumulated memory: 1158120 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.14 4.14 5/258 925828
/proc/meminfo: memFree=121295948/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1700372 memory=1656240 CPUtime=50.93 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 353356 0 0 0 5034 59 0 0 20 0 1 0 176876106 1741180928 414060 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 425093 414060 2650 2550 0 422048 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1700372 KiB
Current children cumulated memory: 1656240 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/258 925838
/proc/meminfo: memFree=120944472/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1710088 memory=1668456 CPUtime=102 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 356533 0 0 0 10139 61 0 0 20 0 1 0 176876106 1751130112 417114 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 427522 417114 2650 2550 0 424477 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1710088 KiB
Current children cumulated memory: 1668456 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/258 925848
/proc/meminfo: memFree=120970272/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1717976 memory=1677152 CPUtime=161.76 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 358289 0 0 0 16115 61 0 0 20 0 1 0 176876106 1759207424 419288 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 429494 419288 2650 2550 0 426449 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1717976 KiB
Current children cumulated memory: 1677152 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/258 925859
/proc/meminfo: memFree=120842032/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1726952 memory=1686188 CPUtime=221.52 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 359664 0 0 0 22089 63 0 0 20 0 1 0 176876106 1768398848 421547 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 431738 421547 2650 2550 0 428693 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1726952 KiB
Current children cumulated memory: 1686188 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/254 925870
/proc/meminfo: memFree=120841196/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1726952 memory=1686396 CPUtime=281.27 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 359838 0 0 0 28063 64 0 0 20 0 1 0 176876106 1768398848 421599 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 431738 421599 2650 2550 0 428693 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 1726952 KiB
Current children cumulated memory: 1686396 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/255 925881
/proc/meminfo: memFree=120825748/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1727104 memory=1686512 CPUtime=341.04 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 360005 0 0 0 34038 66 0 0 20 0 1 0 176876106 1768554496 421628 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 431776 421628 2650 2550 0 428731 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1727104 KiB
Current children cumulated memory: 1686512 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.14 4.13 5/255 925893
/proc/meminfo: memFree=120818828/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1727104 memory=1686668 CPUtime=400.81 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 360203 0 0 0 40014 67 0 0 20 0 1 0 176876106 1768554496 421667 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 431776 421667 2650 2550 0 428731 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 1727104 KiB
Current children cumulated memory: 1686668 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/255 925903
/proc/meminfo: memFree=120707328/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1727104 memory=1686668 CPUtime=460.58 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 360304 0 0 0 45990 68 0 0 20 0 1 0 176876106 1768554496 421667 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 431776 421667 2650 2550 0 428731 0
################
# More data... #
################
Current children cumulated memory: 1675320 KiB
[startup+2922.3 s]
/proc/loadavg: 4.45 4.23 4.13 5/256 927704
/proc/meminfo: memFree=124482864/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=2913.25 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 373976 0 0 0 291230 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+2982.3 s]
/proc/loadavg: 4.26 4.22 4.13 5/258 927718
/proc/meminfo: memFree=124476644/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=2973.12 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 374175 0 0 0 297217 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.21 4.13 5/258 927741
/proc/meminfo: memFree=124391552/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3032.99 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 374355 0 0 0 303204 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/258 927753
/proc/meminfo: memFree=124346100/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3092.85 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 374551 0 0 0 309190 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/257 927763
/proc/meminfo: memFree=124314588/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3152.71 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 374744 0 0 0 315176 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/257 927774
/proc/meminfo: memFree=124277220/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3212.57 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 374929 0 0 0 321162 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/254 927784
/proc/meminfo: memFree=124251092/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3272.43 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 375140 0 0 0 327148 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/254 927795
/proc/meminfo: memFree=124184452/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3332.3 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 375339 0 0 0 333135 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/254 927806
/proc/meminfo: memFree=124158468/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3392.16 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 375529 0 0 0 339121 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/254 927817
/proc/meminfo: memFree=124120436/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3452.02 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 375719 0 0 0 345107 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/254 927827
/proc/meminfo: memFree=124099244/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3511.89 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 375931 0 0 0 351094 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/256 927842
/proc/meminfo: memFree=124272612/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3571.76 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 376124 0 0 0 357081 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.05 4.11 4.10 5/256 927847
/proc/meminfo: memFree=124266024/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3600.09 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 376199 0 0 0 359914 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 925819 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.15 s, system=0.956995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.05 4.11 4.10 5/256 927847
/proc/meminfo: memFree=124266024/131524600 swapFree=131071996/131071996
[pid=925819] ppid=925816 vsize=1687844 memory=1675320 CPUtime=3600.09 cores=4,6
/proc/925819/stat : 925819 (CASHWMaxSAT-Dis) R 925816 925819 923562 0 -1 4194304 376199 0 0 0 359914 95 0 0 20 0 1 0 176876106 1728352256 418830 134679101440 4194304 14636349 140721855047104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 23314432 140721855050722 140721855050838 140721855050838 140721855057854 0
/proc/925819/statm: 421961 418830 2650 2550 0 418916 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1687844 KiB
Current children cumulated memory: 1675320 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.1
CPU user time (s): 3599.15
CPU system time (s): 0.956995
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 1752156
Max. memory (cumulated for all children) (KiB): 1713200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.956995
maximum resident set size= 1713200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376199
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= 74
involuntary context switches= 1388
# summary of solver processes directly reported to runsolver:
# pid: 925819
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.15
# total CPU system time (s): 0.956995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4795 second user time and 15.7661 second system time
The end
Begin job on nodeC035 at 2024-07-17 22:11:05
IDJOB=4439772
IDBENCH=158384
IDSOLVER=3076
FILE ID=nodeC035/4439772-1721247053
RUNJOBID= nodeC035-1721243363-923573
SLURM_JOB_ID= 7509010
Free space on /tmp= 889904 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep6.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-4439772-1721247053/watcher-4439772-1721247053 -o /tmp/evaluation-result-4439772-1721247053/solver-4439772-1721247053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721243363-923573 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439772-1721247053.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb1eb546b1769ca27e4515a55d388d8e
RANDOM SEED=852479609
nodeC035.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 : 3682.658
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.278
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.79
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 : 3608.843
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.65
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.846
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.79
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 : 3664.196
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.287
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.79
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 : 3641.918
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.65
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 : 3600.095
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123883932 kB
MemAvailable: 124902900 kB
Buffers: 442712 kB
Cached: 1410288 kB
SwapCached: 0 kB
Active: 985276 kB
Inactive: 6039156 kB
Active(anon): 1536 kB
Inactive(anon): 5207624 kB
Active(file): 983740 kB
Inactive(file): 831532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54832 kB
Writeback: 0 kB
AnonPages: 5171448 kB
Mapped: 130292 kB
Shmem: 37724 kB
KReclaimable: 87040 kB
Slab: 193700 kB
SReclaimable: 87040 kB
SUnreclaim: 106660 kB
KernelStack: 4144 kB
PageTables: 19396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5717528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1923072 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-17 23:11:16