3599.90/3606.59 c Filename:instance-4446698-1721348468.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.90/3606.59 c Use Presolve
3599.90/3606.59 c Parse finsih
3599.90/3606.59 c Start Presolve
3599.90/3606.59 c After Reduce Vars: 18478 Clauses: 18911 Top clause weight: 1 Hard Clauses: 18911
3599.90/3606.59 c Use LS-small
3599.90/3606.59 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: 64059 MiB (62351 MiB free)
memory of node 1: 64510 MiB (61774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446698-1721348468/watcher-4446698-1721348468 -o /tmp/evaluation-result-4446698-1721348468/solver-4446698-1721348468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973817 --watchdog 3760 ./LS-MabP -f HOME/instance-4446698-1721348468.opb -t 3600 -s 1150015453 --no-s
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=977821, runsolver pid=977818
[startup+0.100092 s]*
/proc/loadavg: 4.10 4.14 4.14 5/242 977822
/proc/meminfo: memFree=127144896/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=24632 memory=11556 CPUtime=0.1 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 1946 0 0 0 10 0 0 0 20 0 1 0 187003717 25223168 2889 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 6158 2889 1073 2753 0 2811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24632 KiB
Current children cumulated memory: 11556 KiB
[startup+0.213086 s]*
/proc/loadavg: 4.10 4.14 4.14 4/241 977836
/proc/meminfo: memFree=127142468/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=26680 memory=14128 CPUtime=0.21 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 2548 0 0 0 21 0 0 0 20 0 1 0 187003717 27320320 3532 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 6670 3532 1073 2753 0 3323 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26680 KiB
Current children cumulated memory: 14128 KiB
[startup+0.312698 s]*
/proc/loadavg: 4.10 4.14 4.14 5/240 977839
/proc/meminfo: memFree=127123512/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=45436 memory=32708 CPUtime=0.31 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 7064 0 0 0 30 1 0 0 20 0 1 0 187003717 46526464 8177 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 11359 8177 1105 2753 0 8012 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32708 KiB
[startup+0.700234 s]
/proc/loadavg: 4.10 4.14 4.14 5/241 977862
/proc/meminfo: memFree=127123600/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=45436 memory=32972 CPUtime=0.69 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 7067 0 0 0 68 1 0 0 20 0 1 0 187003717 46526464 8243 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 11359 8243 1105 2753 0 8012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32972 KiB
[startup+1.5003 s]
/proc/loadavg: 4.10 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127113560/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=45436 memory=32972 CPUtime=1.48 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 7067 0 0 0 147 1 0 0 20 0 1 0 187003717 46526464 8243 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 11359 8243 1105 2753 0 8012 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32972 KiB
[startup+3.11268 s]
/proc/loadavg: 4.09 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127069180/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=55652 CPUtime=3.1 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14019 0 0 0 305 5 0 0 20 0 1 0 187003717 70074368 13913 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 13913 1153 2753 0 13761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 55652 KiB
[startup+6.30026 s]
/proc/loadavg: 4.09 4.14 4.14 4/242 977870
/proc/meminfo: memFree=127084156/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=55652 CPUtime=6.27 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14020 0 0 0 613 14 0 0 20 0 1 0 187003717 70074368 13913 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 13913 1153 2753 0 13761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 55652 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.15 4.14 5/244 977917
/proc/meminfo: memFree=127019124/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=55652 CPUtime=12.66 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14022 0 0 0 1232 34 0 0 20 0 1 0 187003717 70074368 13913 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 13913 1153 2753 0 13761 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 55652 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.16 4.15 5/244 977919
/proc/meminfo: memFree=127019024/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=55652 CPUtime=25.44 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14024 0 0 0 2472 72 0 0 20 0 1 0 187003717 70074368 13913 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 13913 1153 2753 0 13761 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 55652 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.15 4.14 5/244 977923
/proc/meminfo: memFree=127018580/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=55652 CPUtime=51 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14027 0 0 0 4945 155 0 0 20 0 1 0 187003717 70074368 13913 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 13913 1153 2753 0 13761 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 55652 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/244 977932
/proc/meminfo: memFree=127017272/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=102.08 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14080 0 0 0 9900 308 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/243 977942
/proc/meminfo: memFree=127016992/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=161.97 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14120 0 0 0 15712 485 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 161.97 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/243 977954
/proc/meminfo: memFree=127016416/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=221.85 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14140 0 0 0 21515 670 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/243 978348
/proc/meminfo: memFree=127015684/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=281.75 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14160 0 0 0 27323 852 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.11 4.13 5/243 978358
/proc/meminfo: memFree=127015884/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=341.64 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14180 0 0 0 33142 1022 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 341.64 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.17 4.14 5/243 978369
/proc/meminfo: memFree=127015528/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=401.53 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14200 0 0 0 38956 1197 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 401.53 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.18 4.15 5/243 978547
/proc/meminfo: memFree=127014744/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=461.42 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 14220 0 0 0 44763 1379 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
################
# More data... #
################
/proc/loadavg: 4.10 4.13 4.11 5/246 979720
/proc/meminfo: memFree=126997444/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3216.4 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15140 0 0 0 312113 9527 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3216.4 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/243 979730
/proc/meminfo: memFree=126997052/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3276.3 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15160 0 0 0 317926 9704 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3276.3 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 979740
/proc/meminfo: memFree=126996768/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3336.18 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15180 0 0 0 323740 9878 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3336.18 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/243 979751
/proc/meminfo: memFree=126996524/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3396.07 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15200 0 0 0 329557 10050 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3396.07 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/242 979761
/proc/meminfo: memFree=126996300/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3455.97 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15220 0 0 0 335364 10233 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3455.97 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/242 979771
/proc/meminfo: memFree=126995980/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3515.85 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15240 0 0 0 341173 10412 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3515.85 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.90 4.35 4.18 5/244 979786
/proc/meminfo: memFree=126995660/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3575.75 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 346988 10587 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3575.75 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3606.6 s]
# the end of solver process 977821 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3493.45 s, system=106.554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.83 4.34 4.18 5/244 979786
/proc/meminfo: memFree=126995692/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3577.45 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 347153 10592 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3577.45 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3596.8 s]
/proc/loadavg: 4.70 4.33 4.18 5/244 979787
/proc/meminfo: memFree=126995656/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3590.22 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 348394 10628 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3590.22 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3603.2 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995580/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3596.6 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349015 10645 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3596.6 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3604.8 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3598.2 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349170 10650 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3598.2 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3605.6 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3599.01 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349248 10653 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3599.01 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3606 s]*
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3599.42 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349288 10654 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3599.42 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3606.4 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3599.81 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349326 10655 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
[startup+3606.5 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977821] ppid=977818 vsize=68432 memory=56216 CPUtime=3599.9 cores=4,6
/proc/977821/stat : 977821 (LS-MabP) R 977818 977821 973806 0 -1 4194304 15260 0 0 0 349335 10655 0 0 20 0 1 0 187003717 70074368 14054 134679101440 4194304 15467897 140729169360224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 23707648 140729169368089 140729169368198 140729169368198 140729169375214 0
/proc/977821/statm: 17108 14054 1153 2753 0 13761 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 56216 KiB
Child status: 0
Real time (s): 3606.6
CPU time (s): 3600.01
CPU user time (s): 3493.45
CPU system time (s): 106.554
CPU usage (%): 99.8173
Max. virtual memory (cumulated for all children) (KiB): 68432
Max. memory (cumulated for all children) (KiB): 56216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3493.45
system time used= 106.554
maximum resident set size= 56216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15263
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= 21
involuntary context switches= 920
# summary of solver processes directly reported to runsolver:
# pid: 977821
# total CPU time (s): 3600.01
# total CPU user time (s): 3493.45
# total CPU system time (s): 106.554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3588 second user time and 32.3064 second system time
The end
Begin job on nodeC012 at 2024-07-19 02:21:20
IDJOB=4446698
IDBENCH=158293
IDSOLVER=3049
FILE ID=nodeC012/4446698-1721348468
RUNJOBID= nodeC012-1721341265-973817
SLURM_JOB_ID= 7542730
Free space on /tmp= 723724 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446698-1721348468/watcher-4446698-1721348468 -o /tmp/evaluation-result-4446698-1721348468/solver-4446698-1721348468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973817 --watchdog 3760 ./LS-MabP -f HOME/instance-4446698-1721348468.opb -t 3600 -s 1150015453 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=1150015453
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.348
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.348
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.492
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.521
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127105416 kB
MemAvailable: 129769688 kB
Buffers: 515420 kB
Cached: 2968656 kB
SwapCached: 0 kB
Active: 1028804 kB
Inactive: 2934660 kB
Active(anon): 1440 kB
Inactive(anon): 515952 kB
Active(file): 1027364 kB
Inactive(file): 2418708 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17616 kB
Writeback: 0 kB
AnonPages: 479696 kB
Mapped: 119996 kB
Shmem: 37704 kB
KReclaimable: 116460 kB
Slab: 220940 kB
SReclaimable: 116460 kB
SUnreclaim: 104480 kB
KernelStack: 3888 kB
PageTables: 10300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 789296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723708 MiB
End job on nodeC012 at 2024-07-19 03:21:27