0.10/0.15 c Filename:instance-4448286-1721367232.opb, Cutoff_time:3600, memory_limit_gb:500000
0.10/0.15 c Use Presolve
0.10/0.15 c Parse finsih
0.10/0.15 c Start Presolve
0.10/0.15 c After Reduce Vars: 600 Clauses: 798 Top clause weight: 1 Hard Clauses: 798
3599.96/3609.14 c Use LS-small
3599.96/3609.14 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: 64096 MiB (59780 MiB free)
memory of node 1: 64473 MiB (61749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448286-1721367232/watcher-4448286-1721367232 -o /tmp/evaluation-result-4448286-1721367232/solver-4448286-1721367232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721367243-1003788 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448286-1721367232.opb -t 3600 -s 164156264
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
solver pid=1003847, runsolver pid=1003834
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.10 1.21 1.62 5/245 1003853
/proc/meminfo: memFree=124429108/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=25616 memory=18540 CPUtime=0.1 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 1684 0 0 0 10 0 0 0 20 0 1 0 188881961 26230784 4635 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 6404 4635 2673 2753 0 3057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25616 KiB
Current children cumulated memory: 18540 KiB
[startup+0.214862 s]*
/proc/loadavg: 1.10 1.21 1.62 5/245 1003853
/proc/meminfo: memFree=124405732/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=30372 memory=23468 CPUtime=0.21 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 3027 0 0 0 21 0 0 0 20 0 1 0 188881961 31100928 5867 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 7593 5867 2833 2753 0 4246 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30372 KiB
Current children cumulated memory: 23468 KiB
[startup+0.314898 s]*
/proc/loadavg: 1.10 1.21 1.62 8/245 1003853
/proc/meminfo: memFree=124390220/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=32712 memory=25984 CPUtime=0.32 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 3727 0 0 0 31 1 0 0 20 0 1 0 188881961 33497088 6496 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 8178 6496 2833 2753 0 4831 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 32712 KiB
Current children cumulated memory: 25984 KiB
[startup+0.70033 s]
/proc/loadavg: 1.10 1.21 1.62 8/245 1003853
/proc/meminfo: memFree=124388396/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=36160 memory=28540 CPUtime=0.69 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 4586 0 0 0 68 1 0 0 20 0 1 0 188881961 37027840 7135 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 9040 7135 2833 2753 0 5693 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 28540 KiB
[startup+1.50029 s]
/proc/loadavg: 1.10 1.21 1.62 5/245 1003853
/proc/meminfo: memFree=124346272/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=37144 memory=30448 CPUtime=1.48 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 5042 0 0 0 147 1 0 0 20 0 1 0 188881961 38035456 7612 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 9286 7612 2849 2753 0 5939 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37144 KiB
Current children cumulated memory: 30448 KiB
[startup+3.11406 s]
/proc/loadavg: 1.10 1.21 1.62 5/245 1003853
/proc/meminfo: memFree=124215344/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=40080 memory=33348 CPUtime=3.09 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 5795 0 0 0 308 1 0 0 20 0 1 0 188881961 41041920 8337 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 10020 8337 2849 2753 0 6673 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40080 KiB
Current children cumulated memory: 33348 KiB
[startup+6.30032 s]
/proc/loadavg: 1.33 1.26 1.63 5/245 1003853
/proc/meminfo: memFree=124165700/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=45576 memory=38872 CPUtime=6.27 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 7941 0 0 0 625 2 0 0 20 0 1 0 188881961 46669824 9718 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 11394 9718 2849 2753 0 8047 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45576 KiB
Current children cumulated memory: 38872 KiB
[startup+12.7003 s]
/proc/loadavg: 1.55 1.30 1.65 5/245 1003855
/proc/meminfo: memFree=124109948/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=50400 memory=42944 CPUtime=12.64 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 8934 0 0 0 1262 2 0 0 20 0 1 0 188881961 51609600 10736 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 12600 10736 2849 2753 0 9253 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 42944 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 1.45 1.69 5/245 1003856
/proc/meminfo: memFree=124075512/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=66128 memory=58976 CPUtime=25.39 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 12964 0 0 0 2536 3 0 0 20 0 1 0 188881961 67715072 14744 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 16532 14744 2849 2753 0 13185 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 66128 KiB
Current children cumulated memory: 58976 KiB
[startup+51.1137 s]
/proc/loadavg: 2.79 1.66 1.75 5/245 1003862
/proc/meminfo: memFree=123961508/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=92704 memory=85280 CPUtime=50.9 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 20064 0 0 0 5086 4 0 0 20 0 1 0 188881961 94928896 21320 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 23176 21320 2849 2753 0 19829 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 92704 KiB
Current children cumulated memory: 85280 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.04 1.88 5/244 1003870
/proc/meminfo: memFree=123830360/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=155752 memory=148672 CPUtime=101.92 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 36628 0 0 0 10185 7 0 0 20 0 1 0 188881961 159490048 37168 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 38938 37168 2849 2753 0 35591 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 155752 KiB
Current children cumulated memory: 148672 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.41 2.02 5/244 1003882
/proc/meminfo: memFree=123687928/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=225912 memory=216892 CPUtime=161.72 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 54587 0 0 0 16161 11 0 0 20 0 1 0 188881961 231333888 54223 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 56478 54223 2849 2753 0 53131 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 225912 KiB
Current children cumulated memory: 216892 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.72 2.15 5/244 1003892
/proc/meminfo: memFree=123545872/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=282928 memory=274892 CPUtime=221.52 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 69982 0 0 0 22139 13 0 0 20 0 1 0 188881961 289718272 68723 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 70732 68723 2849 2753 0 67385 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 282928 KiB
Current children cumulated memory: 274892 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.97 2.28 5/244 1003902
/proc/meminfo: memFree=123374948/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=340936 memory=334376 CPUtime=281.32 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 85096 0 0 0 28116 16 0 0 20 0 1 0 188881961 349118464 83594 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 85234 83594 2849 2753 0 81887 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 340936 KiB
Current children cumulated memory: 334376 KiB
[startup+342.3 s]
/proc/loadavg: 4.35 3.25 2.42 5/241 1003913
/proc/meminfo: memFree=123249232/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=388116 memory=382040 CPUtime=341.1 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 97912 0 0 0 34092 18 0 0 20 0 1 0 188881961 397430784 95510 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 97029 95510 2849 2753 0 93682 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 388116 KiB
Current children cumulated memory: 382040 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 3.44 2.54 5/245 1003929
/proc/meminfo: memFree=123059828/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=443944 memory=430608 CPUtime=400.85 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 110962 0 0 0 40065 20 0 0 20 0 1 0 188881961 454598656 107652 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 110986 107652 2849 2753 0 107639 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 443944 KiB
Current children cumulated memory: 430608 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.56 2.64 5/245 1003939
/proc/meminfo: memFree=122949548/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=484620 memory=473988 CPUtime=460.61 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 121323 0 0 0 46039 22 0 0 20 0 1 0 188881961 496250880 118497 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 121155 118497 2849 2753 0 117808 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.04 5/243 1005388
/proc/meminfo: memFree=121712708/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3213.7 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 285682 35688 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/244 1005568
/proc/meminfo: memFree=121711632/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3273.61 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 290183 37178 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/244 1005579
/proc/meminfo: memFree=121712064/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3333.52 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 294664 38688 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/244 1005645
/proc/meminfo: memFree=121711372/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3393.44 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 299185 40159 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/243 1005655
/proc/meminfo: memFree=121711236/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3453.36 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 303681 41655 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/243 1005666
/proc/meminfo: memFree=121710896/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3513.26 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 308172 43154 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/243 1005676
/proc/meminfo: memFree=121710588/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3573.18 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 312664 44654 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3609.15 s]
# the end of solver process 1003847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3146.71 s, system=453.294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.05 5/243 1005676
/proc/meminfo: memFree=121710596/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3574.89 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 312792 44697 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.05 5/243 1005677
/proc/meminfo: memFree=121710588/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3587.66 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 313744 45022 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.10 4.05 5/243 1005679
/proc/meminfo: memFree=121710616/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3594.05 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314228 45177 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3594.05 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.09 4.05 5/242 1005680
/proc/meminfo: memFree=121710448/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3597.24 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314465 45259 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3597.24 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3608 s]*
/proc/loadavg: 4.08 4.09 4.05 5/242 1005681
/proc/meminfo: memFree=121710476/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3598.86 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314588 45298 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3598.86 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3608.8 s]
/proc/loadavg: 4.08 4.09 4.05 5/242 1005681
/proc/meminfo: memFree=121710476/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3599.64 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314644 45320 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3599.64 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3609 s]*
/proc/loadavg: 4.07 4.09 4.05 5/242 1005727
/proc/meminfo: memFree=122002276/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3599.85 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314660 45325 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
[startup+3609.11 s]
/proc/loadavg: 4.07 4.09 4.05 5/242 1005727
/proc/meminfo: memFree=122002276/131655788 swapFree=131071996/131071996
[pid=1003847] ppid=1003834 vsize=870908 memory=865604 CPUtime=3599.96 cores=4,6
/proc/1003847/stat : 1003847 (LS-MabSP) R 1003834 1003847 1003777 0 -1 4194304 299670 0 0 0 314668 45328 0 0 20 0 1 0 188881961 891809792 216401 134679101440 4194304 15467897 140732350344784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34332672 140732350346270 140732350346372 140732350346372 140732350353389 0
/proc/1003847/statm: 217727 216401 2849 2753 0 214380 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 870908 KiB
Current children cumulated memory: 865604 KiB
Child status: 0
Real time (s): 3609.15
CPU time (s): 3600
CPU user time (s): 3146.71
CPU system time (s): 453.294
CPU usage (%): 99.7465
Max. virtual memory (cumulated for all children) (KiB): 1107468
Max. memory (cumulated for all children) (KiB): 1092388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3146.71
system time used= 453.294
maximum resident set size= 1092388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299678
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= 240
involuntary context switches= 2995
# summary of solver processes directly reported to runsolver:
# pid: 1003847
# total CPU time (s): 3600
# total CPU user time (s): 3146.71
# total CPU system time (s): 453.294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.728 second user time and 36.5733 second system time
The end
Begin job on nodeC005 at 2024-07-19 07:34:03
IDJOB=4448286
IDBENCH=160382
IDSOLVER=3047
FILE ID=nodeC005/4448286-1721367232
RUNJOBID= nodeC005-1721367243-1003788
SLURM_JOB_ID= 7542808
Free space on /tmp= 723784 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x100split.cnf-extracted.pb.metafix.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-4448286-1721367232/watcher-4448286-1721367232 -o /tmp/evaluation-result-4448286-1721367232/solver-4448286-1721367232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721367243-1003788 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448286-1721367232.opb -t 3600 -s 164156264
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8184a92443c0bd6c42f1e968e18f3f0b
RANDOM SEED=164156264
nodeC005.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 : 0xb00001f
cpu MHz : 1268.898
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1217.817
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1203.888
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1206.490
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1190.525
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1206.486
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1187.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1206.246
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124448436 kB
MemAvailable: 129855232 kB
Buffers: 518220 kB
Cached: 5671244 kB
SwapCached: 0 kB
Active: 1099244 kB
Inactive: 5413844 kB
Active(anon): 3328 kB
Inactive(anon): 366556 kB
Active(file): 1095916 kB
Inactive(file): 5047288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 64580 kB
Writeback: 76 kB
AnonPages: 323372 kB
Mapped: 107436 kB
Shmem: 45896 kB
KReclaimable: 207580 kB
Slab: 325468 kB
SReclaimable: 207580 kB
SUnreclaim: 117888 kB
KernelStack: 3620 kB
PageTables: 9656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 751684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC005 at 2024-07-19 08:34:13