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 (61061 MiB free)
memory of node 1: 64510 MiB (61224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450908-1721424312/watcher-4450908-1721424312 -o /tmp/evaluation-result-4450908-1721424312/solver-4450908-1721424312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033852 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450908-1721424312.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1034231, runsolver pid=1034228
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.12 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125201216/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=40016 memory=24444 CPUtime=0.09 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 5697 0 0 0 9 0 0 0 20 0 1 0 194590356 40976384 6111 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 10004 6111 1066 2726 0 6752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40016 KiB
Current children cumulated memory: 24444 KiB
[startup+0.205618 s]*
/proc/loadavg: 4.12 4.12 3.73 6/258 1034232
/proc/meminfo: memFree=125195088/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=45468 memory=29108 CPUtime=0.2 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 7081 0 0 0 20 0 0 0 20 0 1 0 194590356 46559232 7277 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 11367 7277 1146 2726 0 8115 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45468 KiB
Current children cumulated memory: 29108 KiB
[startup+0.305453 s]*
/proc/loadavg: 4.12 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125192400/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=48196 memory=31748 CPUtime=0.29 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 7764 0 0 0 29 0 0 0 20 0 1 0 194590356 49352704 7937 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 12049 7937 1146 2726 0 8797 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 31748 KiB
[startup+0.700199 s]
/proc/loadavg: 4.12 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125191656/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=50276 memory=34072 CPUtime=0.68 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 9533 0 0 0 68 0 0 0 20 0 1 0 194590356 51482624 8518 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 12569 8518 1146 2726 0 9317 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50276 KiB
Current children cumulated memory: 34072 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125189124/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=54700 memory=38156 CPUtime=1.49 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 11305 0 0 0 148 1 0 0 20 0 1 0 194590356 56012800 9539 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 13675 9539 1146 2726 0 10423 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54700 KiB
Current children cumulated memory: 38156 KiB
[startup+3.10533 s]
/proc/loadavg: 4.11 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125188304/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=52176 memory=35568 CPUtime=3.09 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 11810 0 0 0 308 1 0 0 20 0 1 0 194590356 53428224 8892 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 13044 8892 1146 2726 0 9792 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52176 KiB
Current children cumulated memory: 35568 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 3.73 5/258 1034232
/proc/meminfo: memFree=125240204/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=58836 memory=42304 CPUtime=6.26 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 15085 0 0 0 625 1 0 0 20 0 1 0 194590356 60248064 10576 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 14709 10576 1146 2726 0 11457 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 58836 KiB
Current children cumulated memory: 42304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 3.73 5/260 1034618
/proc/meminfo: memFree=125237360/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=56356 memory=40144 CPUtime=12.64 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 16363 0 0 0 1263 1 0 0 20 0 1 0 194590356 57708544 10036 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 14089 10036 1146 2726 0 10837 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56356 KiB
Current children cumulated memory: 40144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 3.74 5/260 1034619
/proc/meminfo: memFree=125234264/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=68176 memory=51836 CPUtime=25.39 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 20594 0 0 0 2535 4 0 0 20 0 1 0 194590356 69812224 12959 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 17044 12959 1146 2726 0 13792 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 68176 KiB
Current children cumulated memory: 51836 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 3.75 5/258 1034624
/proc/meminfo: memFree=125133328/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=82732 memory=66420 CPUtime=50.89 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 21240 0 0 0 5085 4 0 0 20 0 1 0 194590356 84717568 16605 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 20683 16605 1146 2726 0 17431 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 82732 KiB
Current children cumulated memory: 66420 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 3.77 5/258 1034633
/proc/meminfo: memFree=125063824/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=119696 memory=103444 CPUtime=101.9 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 30203 0 0 0 10181 9 0 0 20 0 1 0 194590356 122568704 25861 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 29924 25861 1146 2726 0 26672 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 119696 KiB
Current children cumulated memory: 103444 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 3.80 5/257 1034644
/proc/meminfo: memFree=125044160/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=121648 memory=105996 CPUtime=161.67 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 30824 0 0 0 16158 9 0 0 20 0 1 0 194590356 124567552 26499 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 30412 26499 1146 2726 0 27160 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 121648 KiB
Current children cumulated memory: 105996 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 3.82 5/257 1034823
/proc/meminfo: memFree=125035580/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=121648 memory=105996 CPUtime=221.46 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 30864 0 0 0 22136 10 0 0 20 0 1 0 194590356 124567552 26499 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 30412 26499 1146 2726 0 27160 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 121648 KiB
Current children cumulated memory: 105996 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 3.85 5/257 1034833
/proc/meminfo: memFree=124982120/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=160180 memory=144528 CPUtime=281.24 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 35599 0 0 0 28111 13 0 0 20 0 1 0 194590356 164024320 36132 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 40045 36132 1146 2726 0 36793 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 160180 KiB
Current children cumulated memory: 144528 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 3.87 5/258 1034902
/proc/meminfo: memFree=124993000/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=163740 memory=148032 CPUtime=341.04 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 40258 0 0 0 34084 20 0 0 20 0 1 0 194590356 167669760 37008 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 40935 37008 1146 2726 0 37683 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 163740 KiB
Current children cumulated memory: 148032 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 3.89 5/258 1034913
/proc/meminfo: memFree=125013988/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=143264 memory=127740 CPUtime=400.81 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 42811 0 0 0 40058 23 0 0 20 0 1 0 194590356 146702336 31935 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 35816 31935 1146 2726 0 32564 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 143264 KiB
Current children cumulated memory: 127740 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 3.91 5/258 1034923
/proc/meminfo: memFree=125006068/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=133016 memory=117364 CPUtime=460.61 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 49379 0 0 0 46030 31 0 0 20 0 1 0 194590356 136208384 29341 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 33254 29341 1146 2726 0 30002 0
################
# More data... #
################
Current children cumulated memory: 240008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 1036666
/proc/meminfo: memFree=125349280/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=255660 memory=240008 CPUtime=2911.45 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 120895 0 0 0 290971 174 0 0 20 0 1 0 194590356 261795840 60002 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 63915 60002 1146 2726 0 60663 0
Current children cumulated CPU time: 2911.45 s
Current children cumulated vsize: 255660 KiB
Current children cumulated memory: 240008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1036679
/proc/meminfo: memFree=125346392/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=257660 memory=241860 CPUtime=2971.23 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 121486 0 0 0 296949 174 0 0 20 0 1 0 194590356 263843840 60465 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64415 60465 1146 2726 0 61163 0
Current children cumulated CPU time: 2971.23 s
Current children cumulated vsize: 257660 KiB
Current children cumulated memory: 241860 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1036689
/proc/meminfo: memFree=125336344/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=257660 memory=242008 CPUtime=3031.01 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 121571 0 0 0 302927 174 0 0 20 0 1 0 194590356 263843840 60502 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64415 60502 1146 2726 0 61163 0
Current children cumulated CPU time: 3031.01 s
Current children cumulated vsize: 257660 KiB
Current children cumulated memory: 242008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 1036699
/proc/meminfo: memFree=125371344/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=258856 memory=243204 CPUtime=3090.79 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 121966 0 0 0 308905 174 0 0 20 0 1 0 194590356 265068544 60801 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64714 60801 1146 2726 0 61462 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 258856 KiB
Current children cumulated memory: 243204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1036712
/proc/meminfo: memFree=125346248/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=258856 memory=243204 CPUtime=3150.57 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 122069 0 0 0 314883 174 0 0 20 0 1 0 194590356 265068544 60801 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64714 60801 1146 2726 0 61462 0
Current children cumulated CPU time: 3150.57 s
Current children cumulated vsize: 258856 KiB
Current children cumulated memory: 243204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1036722
/proc/meminfo: memFree=125323004/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=259884 memory=244232 CPUtime=3210.34 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 122404 0 0 0 320860 174 0 0 20 0 1 0 194590356 266121216 61058 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64971 61058 1146 2726 0 61719 0
Current children cumulated CPU time: 3210.34 s
Current children cumulated vsize: 259884 KiB
Current children cumulated memory: 244232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 1036732
/proc/meminfo: memFree=125307904/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=259884 memory=244232 CPUtime=3270.11 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 122510 0 0 0 326837 174 0 0 20 0 1 0 194590356 266121216 61058 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 64971 61058 1146 2726 0 61719 0
Current children cumulated CPU time: 3270.11 s
Current children cumulated vsize: 259884 KiB
Current children cumulated memory: 244232 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/257 1036747
/proc/meminfo: memFree=125303556/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=261412 memory=245760 CPUtime=3329.88 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 122970 0 0 0 332814 174 0 0 20 0 1 0 194590356 267685888 61440 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 65353 61440 1146 2726 0 62101 0
Current children cumulated CPU time: 3329.88 s
Current children cumulated vsize: 261412 KiB
Current children cumulated memory: 245760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1036803
/proc/meminfo: memFree=125326108/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=261412 memory=245760 CPUtime=3389.66 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 123075 0 0 0 338792 174 0 0 20 0 1 0 194590356 267685888 61440 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 65353 61440 1146 2726 0 62101 0
Current children cumulated CPU time: 3389.66 s
Current children cumulated vsize: 261412 KiB
Current children cumulated memory: 245760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1036813
/proc/meminfo: memFree=125374708/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=198680 memory=183156 CPUtime=3449.42 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 124060 0 0 0 344767 175 0 0 20 0 1 0 194590356 203448320 45789 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 49670 45789 1146 2726 0 46418 0
Current children cumulated CPU time: 3449.42 s
Current children cumulated vsize: 198680 KiB
Current children cumulated memory: 183156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1036824
/proc/meminfo: memFree=125370020/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=198800 memory=183276 CPUtime=3509.17 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 124988 0 0 0 350740 177 0 0 20 0 1 0 194590356 203571200 45819 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 49700 45819 1146 2726 0 46448 0
Current children cumulated CPU time: 3509.17 s
Current children cumulated vsize: 198800 KiB
Current children cumulated memory: 183276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1036882
/proc/meminfo: memFree=125360632/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=199076 memory=183552 CPUtime=3568.93 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 125565 0 0 0 356716 177 0 0 20 0 1 0 194590356 203853824 45888 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 49769 45888 1146 2726 0 46517 0
Current children cumulated CPU time: 3568.93 s
Current children cumulated vsize: 199076 KiB
Current children cumulated memory: 183552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.24 4.14 4.10 5/257 1037270
/proc/meminfo: memFree=125353916/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=199284 memory=183760 CPUtime=3600 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 126121 0 0 0 359823 177 0 0 20 0 1 0 194590356 204066816 45940 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 49821 45940 1146 2726 0 46569 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 199284 KiB
Current children cumulated memory: 183760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.5 s]
# the end of solver process 1034231 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.24 s, system=1.77916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.5 s]
/proc/loadavg: 4.24 4.14 4.10 5/257 1037270
/proc/meminfo: memFree=125353916/131524600 swapFree=130799640/131071996
[pid=1034231] ppid=1034228 vsize=199284 memory=183760 CPUtime=3600 cores=0,2
/proc/1034231/stat : 1034231 (CASHWMaxSAT-Dis) R 1034228 1034231 1033842 0 -1 4194304 126121 0 0 0 359823 177 0 0 20 0 1 0 194590356 204066816 45940 134679101440 4194304 15356333 140729539688272 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31346688 140729539695585 140729539695701 140729539695701 140729539702718 0
/proc/1034231/statm: 49821 45940 1146 2726 0 46569 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 199284 KiB
Current children cumulated memory: 183760 KiB
Child status: 0
Real time (s): 3613.5
CPU time (s): 3600.02
CPU user time (s): 3598.24
CPU system time (s): 1.77916
CPU usage (%): 99.6268
Max. virtual memory (cumulated for all children) (KiB): 371680
Max. memory (cumulated for all children) (KiB): 354136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 1.77916
maximum resident set size= 356004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126121
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= 21
involuntary context switches= 25212
# summary of solver processes directly reported to runsolver:
# pid: 1034231
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.24
# total CPU system time (s): 1.77916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7002 second user time and 11.5977 second system time
The end
Begin job on nodeC014 at 2024-07-19 23:25:25
IDJOB=4450908
IDBENCH=162309
IDSOLVER=3074
FILE ID=nodeC014/4450908-1721424312
RUNJOBID= nodeC014-1721422922-1033852
SLURM_JOB_ID= 7545604
Free space on /tmp= 889992 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-8.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-4450908-1721424312/watcher-4450908-1721424312 -o /tmp/evaluation-result-4450908-1721424312/solver-4450908-1721424312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033852 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450908-1721424312.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 02e0faaef515678e6aa0f4acf19b43a4
RANDOM SEED=1766160786
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 : 3649.933
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 : 3688.312
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 : 3662.996
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 : 3599.983
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 : 3667.004
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 : 3688.327
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 : 3621.723
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 : 3599.704
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: 125220148 kB
MemAvailable: 129369360 kB
Buffers: 493972 kB
Cached: 4450540 kB
SwapCached: 12884 kB
Active: 1510376 kB
Inactive: 4168716 kB
Active(anon): 9188 kB
Inactive(anon): 754604 kB
Active(file): 1501188 kB
Inactive(file): 3414112 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 14992 kB
Writeback: 20 kB
AnonPages: 725532 kB
Mapped: 64868 kB
Shmem: 29536 kB
KReclaimable: 147120 kB
Slab: 249464 kB
SReclaimable: 147120 kB
SUnreclaim: 102344 kB
KernelStack: 4172 kB
PageTables: 11284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1349528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 753664 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC014 at 2024-07-20 00:25:38