0.78/0.88 c Filename:instance-4451786-1721438761.opb, Cutoff_time:3600, memory_limit_gb:500000
0.78/0.88 c Use Presolve
0.78/0.88 c Parse finsih
0.78/0.88 c Start Presolve
0.78/0.88 c After Reduce Vars: 594 Clauses: 2569 Top clause weight: 1 Hard Clauses: 2569
3599.98/3606.11 c Use LS-small
3599.98/3606.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60963 MiB free)
memory of node 1: 64510 MiB (61618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451786-1721438761/watcher-4451786-1721438761 -o /tmp/evaluation-result-4451786-1721438761/solver-4451786-1721438761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721435167-1041945 --watchdog 3760 ./LS-MabSP -f HOME/instance-4451786-1721438761.opb -t 3600 -s 1996163860
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1043955, runsolver pid=1043952
[startup+0.100385 s]*
/proc/loadavg: 4.11 4.09 4.04 5/259 1043956
/proc/meminfo: memFree=125505644/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=36344 memory=29304 CPUtime=0.09 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 4589 0 0 0 8 1 0 0 20 0 1 0 196035227 37216256 7326 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 9086 7326 2721 2753 0 5739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36344 KiB
Current children cumulated memory: 29304 KiB
[startup+0.20541 s]*
/proc/loadavg: 4.11 4.09 4.04 5/259 1043956
/proc/meminfo: memFree=125493412/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=47340 memory=39672 CPUtime=0.2 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 7161 0 0 0 19 1 0 0 20 0 1 0 196035227 48476160 9918 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 11835 9918 2833 2753 0 8488 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47340 KiB
Current children cumulated memory: 39672 KiB
[startup+0.305366 s]*
/proc/loadavg: 4.11 4.09 4.04 5/259 1043956
/proc/meminfo: memFree=125491264/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=47600 memory=39936 CPUtime=0.29 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 7218 0 0 0 28 1 0 0 20 0 1 0 196035227 48742400 9984 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 11900 9984 2833 2753 0 8553 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47600 KiB
Current children cumulated memory: 39936 KiB
[startup+0.700143 s]
/proc/loadavg: 4.11 4.09 4.04 5/259 1043956
/proc/meminfo: memFree=125440200/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=47796 memory=40200 CPUtime=0.68 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 7281 0 0 0 67 1 0 0 20 0 1 0 196035227 48943104 10050 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 11949 10050 2833 2753 0 8602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47796 KiB
Current children cumulated memory: 40200 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.04 5/259 1043958
/proc/meminfo: memFree=125421636/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=66552 memory=58372 CPUtime=1.48 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 12871 0 0 0 146 2 0 0 20 0 1 0 196035227 68149248 14593 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 16638 14593 2849 2753 0 13291 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66552 KiB
Current children cumulated memory: 58372 KiB
[startup+3.10535 s]
/proc/loadavg: 4.11 4.09 4.04 5/259 1044004
/proc/meminfo: memFree=125142736/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=106172 memory=94536 CPUtime=3.08 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 21908 0 0 0 305 3 0 0 20 0 1 0 196035227 108720128 23634 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 26543 23634 2849 2753 0 23196 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106172 KiB
Current children cumulated memory: 94536 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.09 4.04 5/259 1044050
/proc/meminfo: memFree=125370964/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=106856 memory=96072 CPUtime=6.27 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 23719 0 0 0 624 3 0 0 20 0 1 0 196035227 109420544 24018 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 26714 24018 2849 2753 0 23367 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106856 KiB
Current children cumulated memory: 96072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.03 5/259 1044051
/proc/meminfo: memFree=125347160/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=117636 memory=105608 CPUtime=12.65 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 28401 0 0 0 1261 4 0 0 20 0 1 0 196035227 120459264 26402 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 29409 26402 2849 2753 0 26062 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117636 KiB
Current children cumulated memory: 105608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.03 5/259 1044053
/proc/meminfo: memFree=125312612/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=134428 memory=123272 CPUtime=25.42 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 34193 0 0 0 2537 5 0 0 20 0 1 0 196035227 137654272 30818 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 33607 30818 2849 2753 0 30260 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 134428 KiB
Current children cumulated memory: 123272 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.11 4.04 5/259 1044058
/proc/meminfo: memFree=125286524/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=144316 memory=134056 CPUtime=50.97 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37202 0 0 0 5091 6 0 0 20 0 1 0 196035227 147779584 33514 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36079 33514 2849 2753 0 32732 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 144316 KiB
Current children cumulated memory: 134056 KiB
[startup+102.3 s]
/proc/loadavg: 4.48 4.20 4.08 5/258 1044067
/proc/meminfo: memFree=125250732/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=102.07 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 10083 124 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.18 4.08 5/260 1044248
/proc/meminfo: memFree=125242536/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=161.96 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 15882 314 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.08 5/260 1044259
/proc/meminfo: memFree=125229580/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=221.85 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 21688 497 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/261 1044328
/proc/meminfo: memFree=125228524/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=281.74 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 27500 674 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.08 5/260 1044338
/proc/meminfo: memFree=125185952/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=341.65 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 33305 860 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/260 1044348
/proc/meminfo: memFree=125181984/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=401.54 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 39113 1041 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 135320 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/258 1044358
/proc/meminfo: memFree=125169304/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=135320 CPUtime=461.44 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37529 0 0 0 44927 1217 0 0 20 0 1 0 196035227 149229568 33830 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 33830 2849 2753 0 33086 0
################
# More data... #
################
/proc/loadavg: 4.14 4.10 4.09 5/256 1045460
/proc/meminfo: memFree=125154220/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3216.83 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37577 0 0 0 311902 9781 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3216.83 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 1045476
/proc/meminfo: memFree=125153448/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3276.73 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37578 0 0 0 317704 9969 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3276.73 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1045486
/proc/meminfo: memFree=125152972/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3336.63 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37579 0 0 0 323504 10159 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3336.63 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1045496
/proc/meminfo: memFree=125152392/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3396.53 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37580 0 0 0 329310 10343 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3396.53 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1045507
/proc/meminfo: memFree=125151784/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3456.42 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37581 0 0 0 335118 10524 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3456.42 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1045519
/proc/meminfo: memFree=125151192/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3516.32 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37582 0 0 0 340928 10704 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3516.32 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1045913
/proc/meminfo: memFree=125150384/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3576.21 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 346725 10896 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3576.21 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3606.12 s]
# the end of solver process 1043955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3490.24 s, system=109.766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 1045913
/proc/meminfo: memFree=125150436/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3577.92 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 346891 10901 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3577.92 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1045914
/proc/meminfo: memFree=125150380/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3590.69 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 348123 10946 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3590.69 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.09 4.09 5/257 1045914
/proc/meminfo: memFree=125150356/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3593.89 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 348432 10957 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3593.89 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1045916
/proc/meminfo: memFree=125150264/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3597.09 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 348743 10966 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3597.09 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3604.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1045916
/proc/meminfo: memFree=125150284/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3598.68 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 348897 10971 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3598.68 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3605.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1045916
/proc/meminfo: memFree=125150300/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3599.48 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 348974 10974 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3599.48 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3606 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 1045916
/proc/meminfo: memFree=125150292/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3599.88 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 349013 10975 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
[startup+3606.1 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1045916
/proc/meminfo: memFree=125150292/131524600 swapFree=130799640/131071996
[pid=1043955] ppid=1043952 vsize=145732 memory=139800 CPUtime=3599.98 cores=4,6
/proc/1043955/stat : 1043955 (LS-MabSP) R 1043952 1043955 1041934 0 -1 4194304 37583 0 0 0 349022 10976 0 0 20 0 1 0 196035227 149229568 34950 134679101440 4194304 15467897 140722707358096 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23552000 140722707366941 140722707367044 140722707367044 140722707374061 0
/proc/1043955/statm: 36433 34950 2849 2753 0 33086 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 145732 KiB
Current children cumulated memory: 139800 KiB
Child status: 0
Real time (s): 3606.12
CPU time (s): 3600.01
CPU user time (s): 3490.24
CPU system time (s): 109.766
CPU usage (%): 99.8305
Max. virtual memory (cumulated for all children) (KiB): 145732
Max. memory (cumulated for all children) (KiB): 139800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.24
system time used= 109.766
maximum resident set size= 139800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37587
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= 3
involuntary context switches= 958
# summary of solver processes directly reported to runsolver:
# pid: 1043955
# total CPU time (s): 3600.01
# total CPU user time (s): 3490.24
# total CPU system time (s): 109.766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1371 second user time and 11.6462 second system time
The end
Begin job on nodeC014 at 2024-07-20 03:26:13
IDJOB=4451786
IDBENCH=162655
IDSOLVER=3047
FILE ID=nodeC014/4451786-1721438761
RUNJOBID= nodeC014-1721435167-1041945
SLURM_JOB_ID= 7545640
Free space on /tmp= 889988 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_8.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451786-1721438761/watcher-4451786-1721438761 -o /tmp/evaluation-result-4451786-1721438761/solver-4451786-1721438761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721435167-1041945 --watchdog 3760 ./LS-MabSP -f HOME/instance-4451786-1721438761.opb -t 3600 -s 1996163860
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe2e39b3bf4e23564b166890ca2be3c7
RANDOM SEED=1996163860
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 : 3667.661
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 : 3678.371
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 : 3604.007
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.677
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.777
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 : 3678.413
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 : 3663.469
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.931
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: 125526688 kB
MemAvailable: 129652064 kB
Buffers: 499748 kB
Cached: 4420776 kB
SwapCached: 12888 kB
Active: 1517128 kB
Inactive: 3854304 kB
Active(anon): 9176 kB
Inactive(anon): 471012 kB
Active(file): 1507952 kB
Inactive(file): 3383292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 35876 kB
Writeback: 60 kB
AnonPages: 441804 kB
Mapped: 77916 kB
Shmem: 29604 kB
KReclaimable: 147556 kB
Slab: 250724 kB
SReclaimable: 147556 kB
SUnreclaim: 103168 kB
KernelStack: 4188 kB
PageTables: 11076 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1206244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 36000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 352256 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= 889972 MiB
End job on nodeC014 at 2024-07-20 04:26:20