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 (59817 MiB free)
memory of node 1: 64510 MiB (60497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451598-1721428749/watcher-4451598-1721428749 -o /tmp/evaluation-result-4451598-1721428749/solver-4451598-1721428749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054974 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4451598-1721428749.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=1060150, runsolver pid=1060147
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.11 4.10 4.09 6/256 1060151
/proc/meminfo: memFree=123199616/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=20656 memory=6680 CPUtime=0.1 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 942 0 0 0 10 0 0 0 20 0 1 0 195040249 21151744 1670 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 5164 1670 1146 2726 0 1912 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20656 KiB
Current children cumulated memory: 6680 KiB
[startup+0.205943 s]*
/proc/loadavg: 4.11 4.10 4.09 5/256 1060151
/proc/meminfo: memFree=123198284/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=21724 memory=7732 CPUtime=0.2 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 1216 0 0 0 20 0 0 0 20 0 1 0 195040249 22245376 1933 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 5431 1933 1146 2726 0 2179 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21724 KiB
Current children cumulated memory: 7732 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.11 4.10 4.09 5/256 1060151
/proc/meminfo: memFree=123196724/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=22432 memory=8580 CPUtime=0.3 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 1540 0 0 0 30 0 0 0 20 0 1 0 195040249 22970368 2145 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 5608 2145 1146 2726 0 2356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22432 KiB
Current children cumulated memory: 8580 KiB
[startup+0.700267 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1060151
/proc/meminfo: memFree=123195856/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=23556 memory=9620 CPUtime=0.69 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 2355 0 0 0 69 0 0 0 20 0 1 0 195040249 24121344 2405 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 5889 2405 1146 2726 0 2637 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 23556 KiB
Current children cumulated memory: 9620 KiB
[startup+1.50026 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1060151
/proc/meminfo: memFree=123193440/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=24800 memory=10724 CPUtime=1.49 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 3847 0 0 0 149 0 0 0 20 0 1 0 195040249 25395200 2681 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 6200 2681 1146 2726 0 2948 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 24800 KiB
Current children cumulated memory: 10724 KiB
[startup+3.10554 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1060151
/proc/meminfo: memFree=123189808/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=28152 memory=14156 CPUtime=3.09 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 4685 0 0 0 309 0 0 0 20 0 1 0 195040249 28827648 3539 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 7038 3539 1146 2726 0 3786 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28152 KiB
Current children cumulated memory: 14156 KiB
[startup+6.30024 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1060152
/proc/meminfo: memFree=123182308/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=32252 memory=18264 CPUtime=6.27 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 6523 0 0 0 627 0 0 0 20 0 1 0 195040249 33026048 4566 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 8063 4566 1146 2726 0 4811 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32252 KiB
Current children cumulated memory: 18264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 1060152
/proc/meminfo: memFree=123166964/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=40540 memory=26644 CPUtime=12.66 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 8084 0 0 0 1265 1 0 0 20 0 1 0 195040249 41512960 6661 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 10135 6661 1146 2726 0 6883 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40540 KiB
Current children cumulated memory: 26644 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 1060154
/proc/meminfo: memFree=123213160/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=44076 memory=30232 CPUtime=25.42 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 10829 0 0 0 2541 1 0 0 20 0 1 0 195040249 45133824 7558 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 11019 7558 1146 2726 0 7767 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 44076 KiB
Current children cumulated memory: 30232 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1060158
/proc/meminfo: memFree=123118724/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=56088 memory=42116 CPUtime=50.95 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 12310 0 0 0 5093 2 0 0 20 0 1 0 195040249 57434112 10529 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 14022 10529 1146 2726 0 10770 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 42116 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1060172
/proc/meminfo: memFree=123076164/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=86516 memory=72540 CPUtime=102.01 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 18470 0 0 0 10196 5 0 0 20 0 1 0 195040249 88592384 18135 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 21629 18135 1146 2726 0 18377 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 86516 KiB
Current children cumulated memory: 72540 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 1060182
/proc/meminfo: memFree=123090304/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=70696 memory=56684 CPUtime=161.84 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 21859 0 0 0 16177 7 0 0 20 0 1 0 195040249 72392704 14171 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 17674 14171 1146 2726 0 14422 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 70696 KiB
Current children cumulated memory: 56684 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/259 1060196
/proc/meminfo: memFree=123104468/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=83704 memory=69860 CPUtime=221.67 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 23603 0 0 0 22160 7 0 0 20 0 1 0 195040249 85712896 17465 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 20926 17465 1146 2726 0 17674 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 83704 KiB
Current children cumulated memory: 69860 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 1060206
/proc/meminfo: memFree=123104176/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=88676 memory=74820 CPUtime=281.5 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 24860 0 0 0 28143 7 0 0 20 0 1 0 195040249 90804224 18705 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 22169 18705 1146 2726 0 18917 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 88676 KiB
Current children cumulated memory: 74820 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 1060218
/proc/meminfo: memFree=123071228/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=92836 memory=78908 CPUtime=341.32 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 25419 0 0 0 34125 7 0 0 20 0 1 0 195040249 95064064 19727 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 23209 19727 1146 2726 0 19957 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 92836 KiB
Current children cumulated memory: 78908 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 1060228
/proc/meminfo: memFree=123036936/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=140640 memory=126628 CPUtime=401.15 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 28266 0 0 0 40106 9 0 0 20 0 1 0 195040249 144015360 31657 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 35160 31657 1146 2726 0 31908 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 140640 KiB
Current children cumulated memory: 126628 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1060238
/proc/meminfo: memFree=123063424/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=104528 memory=90880 CPUtime=460.99 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 30116 0 0 0 46089 10 0 0 20 0 1 0 195040249 107036672 22720 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 26132 22720 1146 2726 0 22880 0
################
# More data... #
################
Current children cumulated memory: 216052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.15 4.15 6/257 1061842
/proc/meminfo: memFree=122898356/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=2914.43 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 88481 0 0 0 291372 71 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 2914.43 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.15 6/259 1062022
/proc/meminfo: memFree=122842196/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=243160 memory=229384 CPUtime=2974.27 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 90851 0 0 0 297354 73 0 0 20 0 1 0 195040249 248995840 57346 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 60790 57346 1146 2726 0 57538 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 229384 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.14 6/259 1062032
/proc/meminfo: memFree=122843796/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=238572 memory=224796 CPUtime=3034.12 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 92614 0 0 0 303335 77 0 0 20 0 1 0 195040249 244297728 56199 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 59643 56199 1146 2726 0 56391 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 238572 KiB
Current children cumulated memory: 224796 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.15 6/259 1062101
/proc/meminfo: memFree=122899424/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3093.96 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 94156 0 0 0 309317 79 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3162.3 s]
/proc/loadavg: 3.80 4.06 4.12 4/252 1062142
/proc/meminfo: memFree=123071204/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3153.8 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 94916 0 0 0 315300 80 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3222.3 s]
/proc/loadavg: 3.34 3.88 4.05 4/252 1062153
/proc/meminfo: memFree=123044296/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=242388 memory=228612 CPUtime=3213.65 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 96792 0 0 0 321281 84 0 0 20 0 1 0 195040249 248205312 57153 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 60597 57153 1146 2726 0 57345 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 242388 KiB
Current children cumulated memory: 228612 KiB
[startup+3282.3 s]
/proc/loadavg: 3.23 3.75 3.99 4/250 1062163
/proc/meminfo: memFree=123066868/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3273.5 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 97413 0 0 0 327265 85 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.61 3.93 4/250 1062174
/proc/meminfo: memFree=123059520/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3333.34 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 98038 0 0 0 333249 85 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.53 3.88 4/248 1062184
/proc/meminfo: memFree=123007292/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=241736 memory=227960 CPUtime=3393.19 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 100676 0 0 0 339230 89 0 0 20 0 1 0 195040249 247537664 56990 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 60434 56990 1146 2726 0 57182 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 241736 KiB
Current children cumulated memory: 227960 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.45 3.82 4/249 1062197
/proc/meminfo: memFree=123015796/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3453.03 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 101434 0 0 0 345213 90 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.39 3.78 4/249 1062208
/proc/meminfo: memFree=123039448/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=192516 memory=178740 CPUtime=3512.87 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 102011 0 0 0 351197 90 0 0 20 0 1 0 195040249 197136384 44685 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 48129 44685 1146 2726 0 44877 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 178740 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.33 3.74 4/249 1062218
/proc/meminfo: memFree=122933652/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=275372 memory=261596 CPUtime=3572.72 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 103856 0 0 0 357179 93 0 0 20 0 1 0 195040249 281980928 65399 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 68843 65399 1146 2726 0 65591 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 275372 KiB
Current children cumulated memory: 261596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 3.07 3.30 3.71 4/249 1062222
/proc/meminfo: memFree=122976556/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=253736 memory=239960 CPUtime=3600.04 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 104943 0 0 0 359910 94 0 0 20 0 1 0 195040249 259825664 59990 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 63434 59990 1146 2726 0 60182 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 253736 KiB
Current children cumulated memory: 239960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 1060150 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.11 s, system=0.950218 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 3.07 3.30 3.71 4/249 1062222
/proc/meminfo: memFree=122976556/131524600 swapFree=131071996/131071996
[pid=1060150] ppid=1060147 vsize=253736 memory=239960 CPUtime=3600.04 cores=5,7
/proc/1060150/stat : 1060150 (CASHWMaxSAT-Dis) R 1060147 1060150 1054961 0 -1 4194304 104943 0 0 0 359910 94 0 0 20 0 1 0 195040249 259825664 59990 134679101440 4194304 15356333 140731116941232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45428736 140731116950497 140731116950613 140731116950613 140731116957630 0
/proc/1060150/statm: 63434 59990 1146 2726 0 60182 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 253736 KiB
Current children cumulated memory: 239960 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.06
CPU user time (s): 3599.11
CPU system time (s): 0.950218
CPU usage (%): 99.7328
Max. virtual memory (cumulated for all children) (KiB): 336592
Max. memory (cumulated for all children) (KiB): 322692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.950218
maximum resident set size= 322692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104943
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= 33
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 1060150
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.11
# total CPU system time (s): 0.950218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5479 second user time and 10.545 second system time
The end
Begin job on nodeC025 at 2024-07-20 00:39:21
IDJOB=4451598
IDBENCH=162589
IDSOLVER=3074
FILE ID=nodeC025/4451598-1721428749
RUNJOBID= nodeC025-1721421209-1054974
SLURM_JOB_ID= 7545497
Free space on /tmp= 889988 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.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-4451598-1721428749/watcher-4451598-1721428749 -o /tmp/evaluation-result-4451598-1721428749/solver-4451598-1721428749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054974 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4451598-1721428749.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 620ec95a477f88c30ed47944247286ff
RANDOM SEED=976499891
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 : 3657.745
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 : 3665.319
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 : 3600.027
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 : 3600.248
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.798
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 : 3662.334
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 : 3600.350
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 : 3663.739
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: 123202408 kB
MemAvailable: 129298444 kB
Buffers: 557816 kB
Cached: 6308020 kB
SwapCached: 0 kB
Active: 1134644 kB
Inactive: 6406968 kB
Active(anon): 1552 kB
Inactive(anon): 719828 kB
Active(file): 1133092 kB
Inactive(file): 5687140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14728 kB
Writeback: 0 kB
AnonPages: 670084 kB
Mapped: 120812 kB
Shmem: 45912 kB
KReclaimable: 230900 kB
Slab: 360328 kB
SReclaimable: 230900 kB
SUnreclaim: 129428 kB
KernelStack: 4128 kB
PageTables: 10696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1082728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 493568 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= 889988 MiB
End job on nodeC025 at 2024-07-20 01:39:31