0.09/0.20 c Filename:instance-4444266-1721319610.opb, Cutoff_time:3600, memory_limit_gb:500000
0.09/0.20 c Use Presolve
0.09/0.20 c Parse finsih
0.09/0.20 c Start Presolve
0.09/0.20 c After Reduce Vars: 231 Clauses: 2707 Top clause weight: 1 Hard Clauses: 2707
3599.96/3608.24 c Use LS-small
3599.96/3608.24 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 (61683 MiB free)
memory of node 1: 64510 MiB (61101 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444266-1721319610/watcher-4444266-1721319610 -o /tmp/evaluation-result-4444266-1721319610/solver-4444266-1721319610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721319623-986869 --watchdog 3760 ./LS-MabSP -f HOME/instance-4444266-1721319610.opb -t 3600 -s 684824918
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=986924, runsolver pid=986913
[startup+0.10014 s]*
/proc/loadavg: 1.10 1.09 1.35 7/257 986931
/proc/meminfo: memFree=125665036/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=34816 memory=27772 CPUtime=0.09 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 4049 0 0 0 9 0 0 0 20 0 1 0 184128419 35651584 6943 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 8704 6943 2833 2753 0 5357 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34816 KiB
Current children cumulated memory: 27772 KiB
[startup+0.206296 s]*
/proc/loadavg: 1.10 1.09 1.35 7/257 986931
/proc/meminfo: memFree=125642540/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=43652 memory=35220 CPUtime=0.2 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 5855 0 0 0 20 0 0 0 20 0 1 0 184128419 44699648 8805 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 10913 8805 2849 2753 0 7566 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43652 KiB
Current children cumulated memory: 35220 KiB
[startup+0.306462 s]*
/proc/loadavg: 1.10 1.09 1.35 7/257 986931
/proc/meminfo: memFree=125632540/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=42676 memory=34908 CPUtime=0.3 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 6229 0 0 0 30 0 0 0 20 0 1 0 184128419 43700224 8727 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 10669 8727 2849 2753 0 7322 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42676 KiB
Current children cumulated memory: 34908 KiB
[startup+0.700236 s]
/proc/loadavg: 1.10 1.09 1.35 7/257 986931
/proc/meminfo: memFree=125602152/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=59176 memory=49152 CPUtime=0.69 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 9798 0 0 0 68 1 0 0 20 0 1 0 184128419 60596224 12288 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 14794 12288 2849 2753 0 11447 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59176 KiB
Current children cumulated memory: 49152 KiB
[startup+1.5002 s]
/proc/loadavg: 1.10 1.09 1.35 8/257 986933
/proc/meminfo: memFree=125532712/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=70300 memory=60436 CPUtime=1.48 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 12927 0 0 0 147 1 0 0 20 0 1 0 184128419 71987200 15109 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 17575 15109 2849 2753 0 14228 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 60436 KiB
[startup+3.10609 s]
/proc/loadavg: 1.10 1.09 1.35 8/257 986979
/proc/meminfo: memFree=125488684/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=80652 memory=70104 CPUtime=3.09 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 19731 0 0 0 306 3 0 0 20 0 1 0 184128419 82587648 17526 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 20163 17526 2849 2753 0 16816 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80652 KiB
Current children cumulated memory: 70104 KiB
[startup+6.30022 s]
/proc/loadavg: 1.33 1.14 1.37 7/258 986980
/proc/meminfo: memFree=125441420/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=83168 memory=72936 CPUtime=6.26 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 25323 0 0 0 623 3 0 0 20 0 1 0 184128419 85164032 18234 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 20792 18234 2849 2753 0 17445 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83168 KiB
Current children cumulated memory: 72936 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.19 1.38 8/258 986981
/proc/meminfo: memFree=125412340/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=100128 memory=89536 CPUtime=12.65 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 34349 0 0 0 1260 5 0 0 20 0 1 0 184128419 102531072 22384 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 25032 22384 2849 2753 0 21685 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 100128 KiB
Current children cumulated memory: 89536 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.33 1.42 8/258 986983
/proc/meminfo: memFree=125401972/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=106496 memory=95600 CPUtime=25.41 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 35874 0 0 0 2536 5 0 0 20 0 1 0 184128419 109051904 23900 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 26624 23900 2849 2753 0 23277 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106496 KiB
Current children cumulated memory: 95600 KiB
[startup+51.1062 s]
/proc/loadavg: 3.49 1.71 1.55 7/258 986987
/proc/meminfo: memFree=125357240/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=117232 memory=105888 CPUtime=50.92 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 38404 0 0 0 5087 5 0 0 20 0 1 0 184128419 120045568 26472 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 29308 26472 2849 2753 0 25961 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 117232 KiB
Current children cumulated memory: 105888 KiB
[startup+102.3 s]
/proc/loadavg: 4.45 2.28 1.75 7/258 986996
/proc/meminfo: memFree=125301824/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=129824 memory=117120 CPUtime=101.95 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 41132 0 0 0 10190 5 0 0 20 0 1 0 184128419 132939776 29280 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 32456 29280 2849 2753 0 29109 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 129824 KiB
Current children cumulated memory: 117120 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 2.61 1.90 8/258 987007
/proc/meminfo: memFree=125280672/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=123308 CPUtime=161.8 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42012 0 0 0 15885 295 0 0 20 0 1 0 184128419 135782400 30827 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 30827 2849 2753 0 29803 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 123308 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.88 2.04 8/258 987018
/proc/meminfo: memFree=125275088/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125440 CPUtime=221.68 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42013 0 0 0 21479 689 0 0 20 0 1 0 184128419 135782400 31360 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31360 2849 2753 0 29803 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125440 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.11 2.17 8/258 987028
/proc/meminfo: memFree=125272188/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125440 CPUtime=281.54 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42014 0 0 0 27068 1086 0 0 20 0 1 0 184128419 135782400 31360 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31360 2849 2753 0 29803 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125440 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.29 2.30 7/256 987423
/proc/meminfo: memFree=125271580/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125440 CPUtime=341.41 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42015 0 0 0 32676 1465 0 0 20 0 1 0 184128419 135782400 31360 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31360 2849 2753 0 29803 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125440 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.43 2.41 8/256 987433
/proc/meminfo: memFree=125271540/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125440 CPUtime=401.26 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42016 0 0 0 38283 1843 0 0 20 0 1 0 184128419 135782400 31360 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31360 2849 2753 0 29803 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125440 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.55 2.52 7/259 987615
/proc/meminfo: memFree=125270480/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125440 CPUtime=461.13 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42017 0 0 0 43886 2227 0 0 20 0 1 0 184128419 135782400 31360 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31360 2849 2753 0 29803 0
################
# More data... #
################
/proc/loadavg: 4.13 4.10 4.02 8/256 988736
/proc/meminfo: memFree=125256460/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3155.06 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42062 0 0 0 296034 19472 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3155.06 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 7/256 988747
/proc/meminfo: memFree=125256156/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3214.92 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42063 0 0 0 301631 19861 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3214.92 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/256 988758
/proc/meminfo: memFree=125255864/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3274.79 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42064 0 0 0 307232 20247 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3274.79 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/254 988768
/proc/meminfo: memFree=125255664/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3334.65 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42065 0 0 0 312821 20644 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3334.65 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.02 8/254 988778
/proc/meminfo: memFree=125255332/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3394.52 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42066 0 0 0 318425 21027 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3394.52 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.02 8/254 988789
/proc/meminfo: memFree=125255120/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3454.38 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42067 0 0 0 324026 21412 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3454.38 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.02 7/255 988800
/proc/meminfo: memFree=125254768/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3514.25 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42068 0 0 0 329626 21799 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3514.25 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.02 8/257 988815
/proc/meminfo: memFree=125254232/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3574.12 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 335226 22186 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3608.24 s]
# the end of solver process 986924 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3376.57 s, system=223.439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.02 7/257 988815
/proc/meminfo: memFree=125254300/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3575.82 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 335388 22194 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3575.82 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.03 8/257 988816
/proc/meminfo: memFree=125254280/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3588.58 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 336590 22268 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.10 4.03 7/257 988818
/proc/meminfo: memFree=125254284/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3594.96 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 337185 22311 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3594.96 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.10 4.03 8/257 988819
/proc/meminfo: memFree=125254252/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3598.16 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 337484 22332 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3598.16 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.10 4.03 5/252 988827
/proc/meminfo: memFree=125363500/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3598.96 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 337558 22338 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3608 s]*
/proc/loadavg: 4.12 4.10 4.03 7/257 988865
/proc/meminfo: memFree=125350304/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3599.76 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 337634 22342 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
[startup+3608.2 s]
/proc/loadavg: 4.12 4.10 4.03 7/257 988865
/proc/meminfo: memFree=125350304/131524600 swapFree=131071996/131071996
[pid=986924] ppid=986913 vsize=132600 memory=125576 CPUtime=3599.96 cores=1,3
/proc/986924/stat : 986924 (LS-MabSP) R 986913 986924 986857 0 -1 4194304 42069 0 0 0 337653 22343 0 0 20 0 1 0 184128419 135782400 31394 134679101440 4194304 15467897 140732049443472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55263232 140732049445919 140732049446021 140732049446021 140732049453037 0
/proc/986924/statm: 33150 31394 2849 2753 0 29803 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 132600 KiB
Current children cumulated memory: 125576 KiB
Child status: 0
Real time (s): 3608.24
CPU time (s): 3600.01
CPU user time (s): 3376.57
CPU system time (s): 223.439
CPU usage (%): 99.7718
Max. virtual memory (cumulated for all children) (KiB): 132600
Max. memory (cumulated for all children) (KiB): 125576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3376.57
system time used= 223.439
maximum resident set size= 125576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42073
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= 2
involuntary context switches= 980
# summary of solver processes directly reported to runsolver:
# pid: 986924
# total CPU time (s): 3600.01
# total CPU user time (s): 3376.57
# total CPU system time (s): 223.439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96088 second user time and 11.149 second system time
The end
Begin job on nodeC029 at 2024-07-18 18:20:23
IDJOB=4444266
IDBENCH=147938
IDSOLVER=3047
FILE ID=nodeC029/4444266-1721319610
RUNJOBID= nodeC029-1721319623-986869
SLURM_JOB_ID= 7542680
Free space on /tmp= 890068 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.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-4444266-1721319610/watcher-4444266-1721319610 -o /tmp/evaluation-result-4444266-1721319610/solver-4444266-1721319610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721319623-986869 --watchdog 3760 ./LS-MabSP -f HOME/instance-4444266-1721319610.opb -t 3600 -s 684824918
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6d3b7da8b2ee0899aea130eb0a9711be
RANDOM SEED=684824918
nodeC029.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 : 3575.009
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 : 7000.09
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 : 3616.683
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 : 7006.98
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 : 3654.160
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 : 7000.09
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 : 3647.861
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 : 7006.98
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 : 3636.109
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 : 7000.09
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 : 3647.127
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 : 7006.98
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 : 3652.885
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 : 7000.09
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 : 3628.515
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125733952 kB
MemAvailable: 129684832 kB
Buffers: 487204 kB
Cached: 4255340 kB
SwapCached: 0 kB
Active: 944496 kB
Inactive: 4134772 kB
Active(anon): 1336 kB
Inactive(anon): 373104 kB
Active(file): 943160 kB
Inactive(file): 3761668 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 63996 kB
Writeback: 0 kB
AnonPages: 336772 kB
Mapped: 105556 kB
Shmem: 37720 kB
KReclaimable: 171396 kB
Slab: 292232 kB
SReclaimable: 171396 kB
SUnreclaim: 120836 kB
KernelStack: 3860 kB
PageTables: 9460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 678256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC029 at 2024-07-18 19:20:32