17.63/17.76 c Filename:instance-4441687-1721297300.opb, Cutoff_time:3600, memory_limit_gb:500000
17.63/17.76 c Not use presolve
3599.93/3607.16 c Use LS-small
3599.93/3607.16 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 (59095 MiB free)
memory of node 1: 64473 MiB (62045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441687-1721297300/watcher-4441687-1721297300 -o /tmp/evaluation-result-4441687-1721297300/solver-4441687-1721297300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945766 --watchdog 3760 ./LS-MabS -f HOME/instance-4441687-1721297300.opb -t 3600 -s 889054558
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
solver pid=947717, runsolver pid=947714
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947718
/proc/meminfo: memFree=123986508/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=85764 memory=71368 CPUtime=0.09 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 15759 0 0 0 7 2 0 0 20 0 1 0 181897034 87822336 17842 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 21441 17842 2301 2403 0 18551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85764 KiB
Current children cumulated memory: 71368 KiB
[startup+0.205555 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947718
/proc/meminfo: memFree=123971584/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=99784 memory=84756 CPUtime=0.2 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 20128 0 0 0 17 3 0 0 20 0 1 0 181897034 102178816 21189 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 24946 21189 2301 2403 0 22056 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99784 KiB
Current children cumulated memory: 84756 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.12 4.11 4.04 5/254 947718
/proc/meminfo: memFree=123965528/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=107552 memory=91268 CPUtime=0.3 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 21775 0 0 0 27 3 0 0 20 0 1 0 181897034 110133248 22817 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 26888 22817 2349 2403 0 23998 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107552 KiB
Current children cumulated memory: 91268 KiB
[startup+0.700227 s]
/proc/loadavg: 4.12 4.11 4.04 5/254 947718
/proc/meminfo: memFree=123959164/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=119452 memory=102500 CPUtime=0.69 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 24588 0 0 0 65 4 0 0 20 0 1 0 181897034 122318848 25625 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 29863 25625 2349 2403 0 26973 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119452 KiB
Current children cumulated memory: 102500 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.11 4.04 5/254 947718
/proc/meminfo: memFree=123952716/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=121076 memory=104308 CPUtime=1.49 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 25013 0 0 0 145 4 0 0 20 0 1 0 181897034 123981824 26077 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 30269 26077 2349 2403 0 27379 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121076 KiB
Current children cumulated memory: 104308 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.11 4.04 5/254 947810
/proc/meminfo: memFree=127622128/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=121076 memory=105916 CPUtime=3.09 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 25019 0 0 0 305 4 0 0 20 0 1 0 181897034 123981824 26479 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 30269 26479 2349 2403 0 27379 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121076 KiB
Current children cumulated memory: 105916 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.11 4.04 5/254 947856
/proc/meminfo: memFree=128593460/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=121076 memory=105916 CPUtime=6.27 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 25023 0 0 0 623 4 0 0 20 0 1 0 181897034 123981824 26479 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 30269 26479 2349 2403 0 27379 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121076 KiB
Current children cumulated memory: 105916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.05 5/255 947859
/proc/meminfo: memFree=128399848/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=122104 memory=106936 CPUtime=12.65 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 25285 0 0 0 1261 4 0 0 20 0 1 0 181897034 125034496 26734 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 30526 26734 2349 2403 0 27636 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 122104 KiB
Current children cumulated memory: 106936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.05 5/255 947860
/proc/meminfo: memFree=128123952/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=229372 memory=208748 CPUtime=25.41 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 49404 0 0 0 2534 7 0 0 20 0 1 0 181897034 234876928 52187 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 57343 52187 2461 2403 0 54453 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 229372 KiB
Current children cumulated memory: 208748 KiB
[startup+51.1056 s]
/proc/loadavg: 4.22 4.14 4.06 5/255 947865
/proc/meminfo: memFree=128035204/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=318460 memory=296264 CPUtime=50.94 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 73432 0 0 0 5083 11 0 0 20 0 1 0 181897034 326103040 74066 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 79615 74066 2461 2403 0 76725 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 318460 KiB
Current children cumulated memory: 296264 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.06 5/257 947878
/proc/meminfo: memFree=128007656/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=322940 CPUtime=102.02 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86155 0 0 0 10102 100 0 0 20 0 1 0 181897034 344723456 80735 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 80735 2492 2403 0 81271 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 322940 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.15 4.07 5/257 947890
/proc/meminfo: memFree=128002248/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=327780 CPUtime=161.93 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86163 0 0 0 15958 235 0 0 20 0 1 0 181897034 344723456 81945 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 81945 2492 2403 0 81271 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 327780 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.08 5/257 947901
/proc/meminfo: memFree=127989652/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=221.83 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86171 0 0 0 21808 375 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/257 947912
/proc/meminfo: memFree=127976784/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=281.73 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86183 0 0 0 27643 530 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/256 947923
/proc/meminfo: memFree=127963364/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=341.63 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86195 0 0 0 33494 669 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/256 947933
/proc/meminfo: memFree=127957960/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=401.53 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86207 0 0 0 39367 786 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 401.53 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/254 947944
/proc/meminfo: memFree=127955852/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=461.43 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86219 0 0 0 45227 916 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
################
# More data... #
################
/proc/loadavg: 4.20 4.18 4.12 5/256 949632
/proc/meminfo: memFree=127651556/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3215.89 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86771 0 0 0 313790 7799 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3215.89 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 949643
/proc/meminfo: memFree=127651248/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3275.76 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86783 0 0 0 319644 7932 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3275.76 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/255 949654
/proc/meminfo: memFree=127651028/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3335.65 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86795 0 0 0 325493 8072 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3335.65 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 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=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3395.53 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86807 0 0 0 331333 8220 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3395.53 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 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=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3455.41 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86819 0 0 0 337174 8367 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3455.41 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 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=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3515.29 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86831 0 0 0 343040 8489 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3515.29 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 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=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3575.17 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86843 0 0 0 348902 8615 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3575.17 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3607.17 s]
# the end of solver process 947717 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3513.24 s, system=86.7636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 949695
/proc/meminfo: memFree=127649844/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3576.88 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86843 0 0 0 349069 8619 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3576.88 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 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=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3589.64 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86843 0 0 0 350315 8649 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3589.64 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649760/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3596.03 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86843 0 0 0 350934 8669 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3596.03 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3604.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3597.63 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86849 0 0 0 351091 8672 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3597.63 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3599.23 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86849 0 0 0 351248 8675 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3599.23 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3606.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3599.62 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86849 0 0 0 351287 8675 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3599.62 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3607 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3599.82 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86849 0 0 0 351307 8675 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
[startup+3607.1 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949698
/proc/meminfo: memFree=127649752/131524600 swapFree=131071996/131071996
[pid=947717] ppid=947714 vsize=336644 memory=329116 CPUtime=3599.93 cores=1,3
/proc/947717/stat : 947717 (LS-MabS) R 947714 947717 945754 0 -1 4194304 86849 0 0 0 351317 8676 0 0 20 0 1 0 181897034 344723456 82279 134679101440 4194304 14036057 140729774235120 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 36360192 140729774240801 140729774240902 140729774240902 140729774247918 0
/proc/947717/statm: 84161 82279 2492 2403 0 81271 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 329116 KiB
Child status: 0
Real time (s): 3607.17
CPU time (s): 3600.01
CPU user time (s): 3513.24
CPU system time (s): 86.7636
CPU usage (%): 99.8014
Max. virtual memory (cumulated for all children) (KiB): 338852
Max. memory (cumulated for all children) (KiB): 329116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3513.24
system time used= 86.7636
maximum resident set size= 329116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86851
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= 35
involuntary context switches= 992
# summary of solver processes directly reported to runsolver:
# pid: 947717
# total CPU time (s): 3600.01
# total CPU user time (s): 3513.24
# total CPU system time (s): 86.7636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87726 second user time and 10.8806 second system time
The end
Begin job on nodeC028 at 2024-07-18 12:08:32
IDJOB=4441687
IDBENCH=147739
IDSOLVER=3048
FILE ID=nodeC028/4441687-1721297300
RUNJOBID= nodeC028-1721293706-945766
SLURM_JOB_ID= 7542588
Free space on /tmp= 889996 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag10.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-4441687-1721297300/watcher-4441687-1721297300 -o /tmp/evaluation-result-4441687-1721297300/solver-4441687-1721297300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945766 --watchdog 3760 ./LS-MabS -f HOME/instance-4441687-1721297300.opb -t 3600 -s 889054558
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1cec7467f4817916a0b2c766a10a10ef
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 : 3664.506
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 : 3660.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 : 3599.985
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 : 3665.348
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 : 3664.508
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 : 3666.569
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 : 3600.034
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.125
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: 124048472 kB
MemAvailable: 124495000 kB
Buffers: 474628 kB
Cached: 813340 kB
SwapCached: 0 kB
Active: 1007352 kB
Inactive: 5863372 kB
Active(anon): 1560 kB
Inactive(anon): 5618584 kB
Active(file): 1005792 kB
Inactive(file): 244788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13672 kB
Writeback: 0 kB
AnonPages: 5576992 kB
Mapped: 136100 kB
Shmem: 37720 kB
KReclaimable: 71544 kB
Slab: 179156 kB
SReclaimable: 71544 kB
SUnreclaim: 107612 kB
KernelStack: 4092 kB
PageTables: 20036 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6047728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5552128 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:40