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 (61296 MiB free)
memory of node 1: 64510 MiB (61601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450758-1721422910/watcher-4450758-1721422910 -o /tmp/evaluation-result-4450758-1721422910/solver-4450758-1721422910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033852 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450758-1721422910.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1033907, runsolver pid=1033897
[startup+0.10095 s]*
/proc/loadavg: 1.09 1.21 2.09 8/260 1033916
/proc/meminfo: memFree=125773628/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=40536 memory=24848 CPUtime=0.09 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 5796 0 0 0 9 0 0 0 20 0 1 0 194450124 41508864 6212 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 10134 6212 1066 2726 0 6882 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40536 KiB
Current children cumulated memory: 24848 KiB
[startup+0.206504 s]*
/proc/loadavg: 1.09 1.21 2.09 6/260 1033916
/proc/meminfo: memFree=125747000/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=43288 memory=27456 CPUtime=0.2 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 6695 0 0 0 19 1 0 0 20 0 1 0 194450124 44326912 6864 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 10822 6864 1146 2726 0 7570 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43288 KiB
Current children cumulated memory: 27456 KiB
[startup+0.30658 s]*
/proc/loadavg: 1.09 1.21 2.09 6/260 1033916
/proc/meminfo: memFree=125735804/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=48128 memory=31416 CPUtime=0.3 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 7683 0 0 0 29 1 0 0 20 0 1 0 194450124 49283072 7854 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 12032 7854 1146 2726 0 8780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48128 KiB
Current children cumulated memory: 31416 KiB
[startup+0.700221 s]
/proc/loadavg: 1.09 1.21 2.09 6/260 1033916
/proc/meminfo: memFree=125732644/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=49628 memory=33468 CPUtime=0.69 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 9312 0 0 0 68 1 0 0 20 0 1 0 194450124 50819072 8367 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 12407 8367 1146 2726 0 9155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49628 KiB
Current children cumulated memory: 33468 KiB
[startup+1.50019 s]
/proc/loadavg: 1.09 1.21 2.09 7/260 1033916
/proc/meminfo: memFree=125721504/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=52824 memory=36976 CPUtime=1.48 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 10769 0 0 0 147 1 0 0 20 0 1 0 194450124 54091776 9244 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 13206 9244 1146 2726 0 9954 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52824 KiB
Current children cumulated memory: 36976 KiB
[startup+3.1065 s]
/proc/loadavg: 1.32 1.26 2.10 6/260 1033918
/proc/meminfo: memFree=125715852/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=49552 memory=33728 CPUtime=3.08 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 10769 0 0 0 307 1 0 0 20 0 1 0 194450124 50741248 8432 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 12388 8432 1146 2726 0 9136 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49552 KiB
Current children cumulated memory: 33728 KiB
[startup+6.30021 s]
/proc/loadavg: 1.32 1.26 2.10 7/260 1033918
/proc/meminfo: memFree=125710964/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=49552 memory=33728 CPUtime=6.26 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 14249 0 0 0 624 2 0 0 20 0 1 0 194450124 50741248 8432 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 12388 8432 1146 2726 0 9136 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49552 KiB
Current children cumulated memory: 33728 KiB
[startup+12.7002 s]
/proc/loadavg: 1.61 1.32 2.12 7/260 1033918
/proc/meminfo: memFree=125667648/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=56144 memory=40332 CPUtime=12.64 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 16309 0 0 0 1261 3 0 0 20 0 1 0 194450124 57491456 10083 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 14036 10083 1146 2726 0 10784 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56144 KiB
Current children cumulated memory: 40332 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 1.45 2.15 6/260 1033921
/proc/meminfo: memFree=125643532/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=55544 memory=39860 CPUtime=25.39 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 19112 0 0 0 2535 4 0 0 20 0 1 0 194450124 56877056 9965 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 13886 9965 1146 2726 0 10634 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 55544 KiB
Current children cumulated memory: 39860 KiB
[startup+51.1065 s]
/proc/loadavg: 2.78 1.66 2.20 6/260 1033924
/proc/meminfo: memFree=125599136/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=85144 memory=69316 CPUtime=50.9 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 21889 0 0 0 5086 4 0 0 20 0 1 0 194450124 87187456 17329 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 21286 17329 1146 2726 0 18034 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 85144 KiB
Current children cumulated memory: 69316 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.07 2.31 7/258 1033932
/proc/meminfo: memFree=125456980/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=121124 memory=105320 CPUtime=101.9 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 28486 0 0 0 10181 9 0 0 20 0 1 0 194450124 124030976 26330 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 30281 26330 1146 2726 0 27029 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 121124 KiB
Current children cumulated memory: 105320 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.44 2.42 9/258 1033945
/proc/meminfo: memFree=125553712/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=79728 memory=63912 CPUtime=161.67 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 29100 0 0 0 16157 10 0 0 20 0 1 0 194450124 81641472 15978 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 19932 15978 1146 2726 0 16680 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 79728 KiB
Current children cumulated memory: 63912 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.75 2.54 9/256 1033955
/proc/meminfo: memFree=125507000/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=100232 memory=84504 CPUtime=221.42 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 30661 0 0 0 22131 11 0 0 20 0 1 0 194450124 102637568 21126 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 25058 21126 1146 2726 0 21806 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 100232 KiB
Current children cumulated memory: 84504 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.01 2.64 7/256 1033965
/proc/meminfo: memFree=125338540/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=143056 memory=127292 CPUtime=281.18 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 35123 0 0 0 28105 13 0 0 20 0 1 0 194450124 146489344 31823 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 35764 31823 1146 2726 0 32512 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 127292 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.22 2.74 7/256 1033978
/proc/meminfo: memFree=125237744/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=172508 memory=157316 CPUtime=340.97 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 38847 0 0 0 34080 17 0 0 20 0 1 0 194450124 176648192 39329 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43127 39329 1146 2726 0 39875 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 172508 KiB
Current children cumulated memory: 157316 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.40 2.83 8/256 1033989
/proc/meminfo: memFree=125177212/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=201700 memory=186456 CPUtime=400.76 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 41123 0 0 0 40057 19 0 0 20 0 1 0 194450124 206540800 46614 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 50425 46614 1146 2726 0 47173 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 201700 KiB
Current children cumulated memory: 186456 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.53 2.91 7/256 1033999
/proc/meminfo: memFree=125270656/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=161408 memory=146164 CPUtime=460.56 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 47382 0 0 0 46030 26 0 0 20 0 1 0 194450124 165281792 36541 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
################
# More data... #
################
/proc/loadavg: 4.22 4.04 3.43 10/256 1034094
/proc/meminfo: memFree=125266936/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=158028 memory=142784 CPUtime=938.85 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 53009 0 0 0 93853 32 0 0 20 0 1 0 194450124 161820672 35696 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 39507 35696 1146 2726 0 36255 0
Current children cumulated CPU time: 938.85 s
Current children cumulated vsize: 158028 KiB
Current children cumulated memory: 142784 KiB
[startup+1002.3 s]
/proc/loadavg: 4.15 4.04 3.47 8/256 1034104
/proc/meminfo: memFree=125256956/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=158028 memory=142784 CPUtime=998.63 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 53070 0 0 0 99831 32 0 0 20 0 1 0 194450124 161820672 35696 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 39507 35696 1146 2726 0 36255 0
Current children cumulated CPU time: 998.63 s
Current children cumulated vsize: 158028 KiB
Current children cumulated memory: 142784 KiB
[startup+1062.3 s]
/proc/loadavg: 4.24 4.08 3.52 8/255 1034115
/proc/meminfo: memFree=125243532/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=168188 memory=152940 CPUtime=1058.42 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 53622 0 0 0 105810 32 0 0 20 0 1 0 194450124 172224512 38235 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 42047 38235 1146 2726 0 38795 0
Current children cumulated CPU time: 1058.42 s
Current children cumulated vsize: 168188 KiB
Current children cumulated memory: 152940 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.08 3.56 7/257 1034129
/proc/meminfo: memFree=125238328/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=169464 memory=154220 CPUtime=1118.2 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 54006 0 0 0 111788 32 0 0 20 0 1 0 194450124 173531136 38555 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 42366 38555 1146 2726 0 39114 0
Current children cumulated CPU time: 1118.2 s
Current children cumulated vsize: 169464 KiB
Current children cumulated memory: 154220 KiB
[startup+1182.3 s]
/proc/loadavg: 4.08 4.08 3.60 8/257 1034141
/proc/meminfo: memFree=125211756/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=170496 memory=155252 CPUtime=1177.99 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 54317 0 0 0 117766 33 0 0 20 0 1 0 194450124 174587904 38813 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 42624 38813 1146 2726 0 39372 0
Current children cumulated CPU time: 1177.99 s
Current children cumulated vsize: 170496 KiB
Current children cumulated memory: 155252 KiB
[startup+1242.3 s]
/proc/loadavg: 4.15 4.11 3.64 8/258 1034153
/proc/meminfo: memFree=125206844/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=171396 memory=156152 CPUtime=1237.77 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 54615 0 0 0 123744 33 0 0 20 0 1 0 194450124 175509504 39038 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 42849 39038 1146 2726 0 39597 0
Current children cumulated CPU time: 1237.77 s
Current children cumulated vsize: 171396 KiB
Current children cumulated memory: 156152 KiB
[startup+1302.3 s]
/proc/loadavg: 4.17 4.12 3.68 8/258 1034165
/proc/meminfo: memFree=125202252/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=172392 memory=157148 CPUtime=1297.56 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 54919 0 0 0 129723 33 0 0 20 0 1 0 194450124 176529408 39287 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43098 39287 1146 2726 0 39846 0
Current children cumulated CPU time: 1297.56 s
Current children cumulated vsize: 172392 KiB
Current children cumulated memory: 157148 KiB
[startup+1362.3 s]
/proc/loadavg: 4.23 4.14 3.72 7/258 1034177
/proc/meminfo: memFree=125085836/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1357.33 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55477 0 0 0 135700 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1357.33 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1401.87 s]
# the end of solver process 1033907 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1396.43 s, system=0.339427 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 4.17 4.13 3.72 7/258 1034182
/proc/meminfo: memFree=125128392/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1377.36 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55486 0 0 0 137703 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1377.36 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1395.2 s]
/proc/loadavg: 4.13 4.12 3.73 6/258 1034185
/proc/meminfo: memFree=125132272/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1390.12 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 138979 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1390.12 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1398.4 s]
/proc/loadavg: 4.12 4.12 3.73 7/258 1034185
/proc/meminfo: memFree=125120288/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1393.31 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 139298 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1393.31 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1400 s]*
/proc/loadavg: 4.12 4.12 3.73 6/258 1034185
/proc/meminfo: memFree=125064464/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1394.91 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 139458 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1394.91 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1400.8 s]
/proc/loadavg: 4.12 4.12 3.73 6/258 1034185
/proc/meminfo: memFree=125064464/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1395.7 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 139537 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1395.7 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1401.6 s]
/proc/loadavg: 4.12 4.12 3.73 6/258 1034185
/proc/meminfo: memFree=125064464/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1396.49 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 139616 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1396.49 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
[startup+1401.8 s]
/proc/loadavg: 4.12 4.12 3.73 6/258 1034185
/proc/meminfo: memFree=125064464/131524600 swapFree=130799640/131071996
[pid=1033907] ppid=1033897 vsize=174336 memory=159060 CPUtime=1396.69 cores=0,2
/proc/1033907/stat : 1033907 (CASHWMaxSAT-Dis) R 1033897 1033907 1033842 0 -1 4194304 55489 0 0 0 139636 33 0 0 20 0 1 0 194450124 178520064 39765 134679101440 4194304 15356333 140732360241824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27828224 140732360246241 140732360246357 140732360246357 140732360253374 0
/proc/1033907/statm: 43584 39765 1146 2726 0 40332 0
Current children cumulated CPU time: 1396.69 s
Current children cumulated vsize: 174336 KiB
Current children cumulated memory: 159060 KiB
Child status: 30
Real time (s): 1401.87
CPU time (s): 1396.77
CPU user time (s): 1396.43
CPU system time (s): 0.339427
CPU usage (%): 99.6366
Max. virtual memory (cumulated for all children) (KiB): 206096
Max. memory (cumulated for all children) (KiB): 189980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1396.43
system time used= 0.339427
maximum resident set size= 205572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55490
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= 27
involuntary context switches= 9778
# summary of solver processes directly reported to runsolver:
# pid: 1033907
# total CPU time (s): 1396.77
# total CPU user time (s): 1396.43
# total CPU system time (s): 0.339427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54689 second user time and 7.76501 second system time
The end
Begin job on nodeC014 at 2024-07-19 23:02:02
IDJOB=4450758
IDBENCH=162227
IDSOLVER=3074
FILE ID=nodeC014/4450758-1721422910
RUNJOBID= nodeC014-1721422922-1033852
SLURM_JOB_ID= 7545604
Free space on /tmp= 890036 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round21-1.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-4450758-1721422910/watcher-4450758-1721422910 -o /tmp/evaluation-result-4450758-1721422910/solver-4450758-1721422910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033852 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4450758-1721422910.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=2028514869
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 : 3747.515
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 : 3632.059
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 : 3607.618
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 : 3633.648
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 : 3654.653
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 : 3715.935
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 : 3634.266
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 : 3634.525
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: 125848252 kB
MemAvailable: 129982384 kB
Buffers: 493592 kB
Cached: 4436524 kB
SwapCached: 12884 kB
Active: 1508048 kB
Inactive: 3543872 kB
Active(anon): 9084 kB
Inactive(anon): 142616 kB
Active(file): 1498964 kB
Inactive(file): 3401256 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 59156 kB
Writeback: 0 kB
AnonPages: 113392 kB
Mapped: 50020 kB
Shmem: 29536 kB
KReclaimable: 147120 kB
Slab: 250080 kB
SReclaimable: 147120 kB
SUnreclaim: 102960 kB
KernelStack: 3968 kB
PageTables: 9976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 819296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35424 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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-19 23:25:24