12.56/12.69 c Filename:instance-4441717-1721297302.opb, Cutoff_time:3600, memory_limit_gb:500000
12.56/12.69 c Not use presolve
3599.91/3606.68 c Use LS-small
3599.91/3606.68 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: 63968 MiB (61793 MiB free)
memory of node 1: 64473 MiB (61952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441717-1721297302/watcher-4441717-1721297302 -o /tmp/evaluation-result-4441717-1721297302/solver-4441717-1721297302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945765 --watchdog 3760 ./LS-MabS -f HOME/instance-4441717-1721297302.opb -t 3600 -s 889054558
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=947763, runsolver pid=947760
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947764
/proc/meminfo: memFree=126698616/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=60064 memory=19948 CPUtime=0.09 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 4368 0 0 0 9 0 0 0 20 0 1 0 181897198 61505536 4987 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 15016 4987 749 2403 0 12126 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60064 KiB
Current children cumulated memory: 19948 KiB
[startup+0.205449 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947764
/proc/meminfo: memFree=126671892/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=91232 memory=58740 CPUtime=0.19 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 12877 0 0 0 18 1 0 0 20 0 1 0 181897198 93421568 14685 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 22808 14685 2045 2403 0 19918 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91232 KiB
Current children cumulated memory: 58740 KiB
[startup+0.30546 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947764
/proc/meminfo: memFree=126585736/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=173704 memory=140992 CPUtime=0.29 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 33404 0 0 0 25 4 0 0 20 0 1 0 181897198 177872896 35248 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 43426 35248 2077 2403 0 40536 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 173704 KiB
Current children cumulated memory: 140992 KiB
[startup+0.700244 s]
/proc/loadavg: 4.12 4.11 4.04 5/254 947764
/proc/meminfo: memFree=126450132/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=378484 memory=339256 CPUtime=0.68 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 83333 0 0 0 56 12 0 0 20 0 1 0 181897198 387567616 84814 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 94621 84814 2301 2403 0 91731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 378484 KiB
Current children cumulated memory: 339256 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.11 4.04 4/252 947764
/proc/meminfo: memFree=127722576/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=479556 memory=436808 CPUtime=1.48 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 107705 0 0 0 132 16 0 0 20 0 1 0 181897198 491065344 109202 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 119889 109202 2301 2403 0 116999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 479556 KiB
Current children cumulated memory: 436808 KiB
[startup+3.10555 s]
/proc/loadavg: 4.11 4.11 4.04 5/254 947856
/proc/meminfo: memFree=128610140/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=501944 memory=461672 CPUtime=3.09 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 114278 0 0 0 291 18 0 0 20 0 1 0 181897198 513990656 115418 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 125486 115418 2349 2403 0 122596 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 501944 KiB
Current children cumulated memory: 461672 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.11 4.04 5/255 947857
/proc/meminfo: memFree=128445004/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=655712 memory=613332 CPUtime=6.27 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 151000 0 0 0 602 25 0 0 20 0 1 0 181897198 671449088 153333 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 163928 153333 2397 2403 0 161038 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 655712 KiB
Current children cumulated memory: 613332 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.05 5/255 947859
/proc/meminfo: memFree=128397988/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=896460 memory=843392 CPUtime=12.65 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 208696 0 0 0 1231 34 0 0 20 0 1 0 181897198 917975040 210848 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 224115 210848 2445 2403 0 221225 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 896460 KiB
Current children cumulated memory: 843392 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.05 5/255 947860
/proc/meminfo: memFree=128123728/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=884520 memory=831864 CPUtime=25.43 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 208790 0 0 0 2507 36 0 0 20 0 1 0 181897198 905748480 207966 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 221130 207966 2461 2403 0 218240 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 884520 KiB
Current children cumulated memory: 831864 KiB
[startup+51.1042 s]
/proc/loadavg: 4.22 4.14 4.06 5/255 947865
/proc/meminfo: memFree=128028716/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=884520 memory=832096 CPUtime=50.99 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 208904 0 0 0 5060 39 0 0 20 0 1 0 181897198 905748480 208024 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 221130 208024 2461 2403 0 218240 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 884520 KiB
Current children cumulated memory: 832096 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.06 5/257 947878
/proc/meminfo: memFree=128007652/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=884520 memory=832588 CPUtime=102.07 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 209053 0 0 0 10167 40 0 0 20 0 1 0 181897198 905748480 208147 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 221130 208147 2461 2403 0 218240 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 884520 KiB
Current children cumulated memory: 832588 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.07 5/257 947890
/proc/meminfo: memFree=128001912/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=884520 memory=834284 CPUtime=161.93 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 209605 0 0 0 16152 41 0 0 20 0 1 0 181897198 905748480 208571 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 221130 208571 2461 2403 0 218240 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 884520 KiB
Current children cumulated memory: 834284 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.07 5/257 947901
/proc/meminfo: memFree=127989344/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=902472 memory=843876 CPUtime=221.79 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 211452 0 0 0 22137 42 0 0 20 0 1 0 181897198 924131328 210969 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 225618 210969 2461 2403 0 222728 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 902472 KiB
Current children cumulated memory: 843876 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/257 947912
/proc/meminfo: memFree=127976792/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=923860 memory=856088 CPUtime=281.66 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 212427 0 0 0 28123 43 0 0 20 0 1 0 181897198 946032640 214022 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 230965 214022 2461 2403 0 228075 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 923860 KiB
Current children cumulated memory: 856088 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/256 947923
/proc/meminfo: memFree=127963400/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=954692 memory=869100 CPUtime=341.52 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 214733 0 0 0 34108 44 0 0 20 0 1 0 181897198 977604608 217275 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 238673 217275 2461 2403 0 235783 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 954692 KiB
Current children cumulated memory: 869100 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/256 947933
/proc/meminfo: memFree=127957740/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=971552 memory=874308 CPUtime=401.39 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 215868 0 0 0 40095 44 0 0 20 0 1 0 181897198 994869248 218577 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 242888 218577 2461 2403 0 239998 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 971552 KiB
Current children cumulated memory: 874308 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/254 947944
/proc/meminfo: memFree=127955820/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=971552 memory=875928 CPUtime=461.27 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 216076 0 0 0 46082 45 0 0 20 0 1 0 181897198 994869248 218982 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 242888 218982 2461 2403 0 239998 0
################
# More data... #
################
/proc/loadavg: 4.28 4.18 4.12 6/258 949622
/proc/meminfo: memFree=127651644/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3156.34 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316395 0 0 0 314391 1243 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3156.34 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 949632
/proc/meminfo: memFree=127651540/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3216.23 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316463 0 0 0 320336 1287 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3216.23 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 949643
/proc/meminfo: memFree=127651276/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3276.14 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316535 0 0 0 326284 1330 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3276.14 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/255 949654
/proc/meminfo: memFree=127651012/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3336.04 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316603 0 0 0 332195 1409 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3336.04 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 949664
/proc/meminfo: memFree=127650736/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3395.95 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316675 0 0 0 338138 1457 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3395.95 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 949674
/proc/meminfo: memFree=127650428/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3455.85 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316743 0 0 0 344082 1503 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3455.85 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/254 949684
/proc/meminfo: memFree=127650164/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3515.75 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316815 0 0 0 350021 1554 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3515.75 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 949695
/proc/meminfo: memFree=127649844/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3575.65 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316883 0 0 0 355967 1598 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3575.65 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3606.7 s]
# the end of solver process 947763 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.77 s, system=16.2536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.04 4.10 4.09 5/254 949695
/proc/meminfo: memFree=127649844/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3577.35 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316883 0 0 0 356136 1599 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3577.35 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 949697
/proc/meminfo: memFree=127649808/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3590.12 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316899 0 0 0 357402 1610 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649760/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3596.52 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316911 0 0 0 358033 1619 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3596.52 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3604.8 s]
/proc/loadavg: 4.10 4.11 4.09 6/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3598.11 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316911 0 0 0 358189 1622 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3598.11 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3605.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649744/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3598.92 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316911 0 0 0 358269 1623 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3598.92 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127904996/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3599.71 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316911 0 0 0 358347 1624 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3599.71 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
[startup+3606.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127904996/131524600 swapFree=131071996/131071996
[pid=947763] ppid=947760 vsize=1209700 memory=1159204 CPUtime=3599.91 cores=4,6
/proc/947763/stat : 947763 (LS-MabS) R 947760 947763 945754 0 -1 4194304 316911 0 0 0 358367 1624 0 0 20 0 1 0 181897198 1238732800 289801 134679101440 4194304 14036057 140733157202112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25153536 140733157205025 140733157205126 140733157205126 140733157212142 0
/proc/947763/statm: 302425 289801 2508 2403 0 299535 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 1209700 KiB
Current children cumulated memory: 1159204 KiB
Child status: 0
Real time (s): 3606.7
CPU time (s): 3600.02
CPU user time (s): 3583.77
CPU system time (s): 16.2536
CPU usage (%): 99.8148
Max. virtual memory (cumulated for all children) (KiB): 1336160
Max. memory (cumulated for all children) (KiB): 1272252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.77
system time used= 16.2536
maximum resident set size= 1272252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316918
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= 20
involuntary context switches= 1267
# summary of solver processes directly reported to runsolver:
# pid: 947763
# total CPU time (s): 3600.02
# total CPU user time (s): 3583.77
# total CPU system time (s): 16.2536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96985 second user time and 12.7398 second system time
The end
Begin job on nodeC028 at 2024-07-18 12:08:34
IDJOB=4441717
IDBENCH=147745
IDSOLVER=3048
FILE ID=nodeC028/4441717-1721297302
RUNJOBID= nodeC028-1721293706-945765
SLURM_JOB_ID= 7542588
Free space on /tmp= 890008 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441717-1721297302/watcher-4441717-1721297302 -o /tmp/evaluation-result-4441717-1721297302/solver-4441717-1721297302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945765 --watchdog 3760 ./LS-MabS -f HOME/instance-4441717-1721297302.opb -t 3600 -s 889054558
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 028f5bd5fcfe993f30262959408a2b50
RANDOM SEED=889054558
nodeC028.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 : 3662.224
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.56
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 : 3686.783
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.59
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 : 3602.611
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.56
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 : 3600.036
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.59
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 : 3658.223
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.56
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 : 3686.802
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.59
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.397
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.56
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 : 3600.225
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126715504 kB
MemAvailable: 127150444 kB
Buffers: 474628 kB
Cached: 802064 kB
SwapCached: 0 kB
Active: 990924 kB
Inactive: 3217036 kB
Active(anon): 1552 kB
Inactive(anon): 2967416 kB
Active(file): 989372 kB
Inactive(file): 249620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 31724 kB
Writeback: 0 kB
AnonPages: 2925904 kB
Mapped: 135276 kB
Shmem: 37720 kB
KReclaimable: 71544 kB
Slab: 179000 kB
SReclaimable: 71544 kB
SUnreclaim: 107456 kB
KernelStack: 4064 kB
PageTables: 15272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3270872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2695168 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC028 at 2024-07-18 13:08:41