0.00/0.01 c Filename:instance-4447897-1721364054.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Not use presolve
3599.94/3608.15 c Use LS-small
3599.94/3608.15 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 (62890 MiB free)
memory of node 1: 64473 MiB (61714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447897-1721364054/watcher-4447897-1721364054 -o /tmp/evaluation-result-4447897-1721364054/solver-4447897-1721364054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721364067-992273 --watchdog 3760 ./LS-MabS -f HOME/instance-4447897-1721364054.opb -t 3600 -s 1388174783
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=992322, runsolver pid=992313
[startup+0.100626 s]*
/proc/loadavg: 1.09 1.09 1.16 6/258 992334
/proc/meminfo: memFree=127551368/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=26872 memory=17136 CPUtime=0.09 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 2127 0 0 0 9 0 0 0 20 0 1 0 188568876 27516928 4284 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 6718 4284 2461 2403 0 3828 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26872 KiB
Current children cumulated memory: 17136 KiB
[startup+0.205932 s]*
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127535828/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=27136 memory=18192 CPUtime=0.2 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 2350 0 0 0 20 0 0 0 20 0 1 0 188568876 27787264 4548 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 6784 4548 2461 2403 0 3894 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27136 KiB
Current children cumulated memory: 18192 KiB
[startup+0.306251 s]*
/proc/loadavg: 1.09 1.09 1.16 6/258 992334
/proc/meminfo: memFree=127526868/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=27472 memory=18192 CPUtime=0.3 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 2398 0 0 0 30 0 0 0 20 0 1 0 188568876 28131328 4548 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 6868 4548 2461 2403 0 3978 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27472 KiB
Current children cumulated memory: 18192 KiB
[startup+0.7002 s]
/proc/loadavg: 1.09 1.09 1.16 6/258 992334
/proc/meminfo: memFree=127523284/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=28208 memory=19512 CPUtime=0.68 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 2683 0 0 0 68 0 0 0 20 0 1 0 188568876 28884992 4878 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 7052 4878 2461 2403 0 4162 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 19512 KiB
[startup+1.50023 s]
/proc/loadavg: 1.09 1.09 1.16 6/258 992334
/proc/meminfo: memFree=127511732/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=29764 memory=21268 CPUtime=1.48 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 3372 0 0 0 148 0 0 0 20 0 1 0 188568876 30478336 5317 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 7441 5317 2461 2403 0 4551 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29764 KiB
Current children cumulated memory: 21268 KiB
[startup+3.10588 s]
/proc/loadavg: 1.09 1.09 1.16 6/258 992334
/proc/meminfo: memFree=127486564/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=36196 memory=27576 CPUtime=3.08 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 5146 0 0 0 308 0 0 0 20 0 1 0 188568876 37064704 6894 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 9049 6894 2461 2403 0 6159 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36196 KiB
Current children cumulated memory: 27576 KiB
[startup+6.30021 s]
/proc/loadavg: 1.32 1.14 1.17 6/258 992336
/proc/meminfo: memFree=127467220/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=38788 memory=30480 CPUtime=6.26 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 5873 0 0 0 625 1 0 0 20 0 1 0 188568876 39718912 7620 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 9697 7620 2461 2403 0 6807 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 30480 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.19 1.19 6/258 992336
/proc/meminfo: memFree=127455688/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=41396 memory=32064 CPUtime=12.63 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 6283 0 0 0 1262 1 0 0 20 0 1 0 188568876 42389504 8016 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 10349 8016 2461 2403 0 7459 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 41396 KiB
Current children cumulated memory: 32064 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.34 1.24 6/258 992339
/proc/meminfo: memFree=127405580/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=50888 memory=42760 CPUtime=25.37 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 9145 0 0 0 2536 1 0 0 20 0 1 0 188568876 52109312 10690 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 12722 10690 2461 2403 0 9832 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 50888 KiB
Current children cumulated memory: 42760 KiB
[startup+51.1059 s]
/proc/loadavg: 2.79 1.56 1.31 6/258 992342
/proc/meminfo: memFree=127307152/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=66124 memory=58216 CPUtime=50.86 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13249 0 0 0 5084 2 0 0 20 0 1 0 188568876 67710976 14554 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 16531 14554 2461 2403 0 13641 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 66124 KiB
Current children cumulated memory: 58216 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.46 6/257 992350
/proc/meminfo: memFree=127173356/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=60856 CPUtime=101.92 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13933 0 0 0 9129 1063 0 0 20 0 1 0 188568876 71462912 15214 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15214 2461 2403 0 14557 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 60856 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.37 1.64 6/258 992361
/proc/meminfo: memFree=127056420/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=60856 CPUtime=161.77 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13933 0 0 0 13680 2497 0 0 20 0 1 0 188568876 71462912 15214 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15214 2461 2403 0 14557 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 60856 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.69 1.80 6/258 992373
/proc/meminfo: memFree=126937744/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=60964 CPUtime=221.62 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13940 0 0 0 18234 3928 0 0 20 0 1 0 188568876 71462912 15241 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15241 2461 2403 0 14557 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 60964 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 2.98 1.95 6/258 992384
/proc/meminfo: memFree=126795020/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61576 CPUtime=281.46 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13944 0 0 0 22782 5364 0 0 20 0 1 0 188568876 71462912 15394 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15394 2461 2403 0 14557 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61576 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.16 2.08 6/255 992394
/proc/meminfo: memFree=126665272/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61576 CPUtime=341.31 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13946 0 0 0 27313 6818 0 0 20 0 1 0 188568876 71462912 15394 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15394 2461 2403 0 14557 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61576 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.33 2.21 6/255 992405
/proc/meminfo: memFree=126598216/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61576 CPUtime=401.16 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13948 0 0 0 31860 8256 0 0 20 0 1 0 188568876 71462912 15394 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15394 2461 2403 0 14557 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61576 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.49 2.34 6/254 992415
/proc/meminfo: memFree=126526760/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61576 CPUtime=461.01 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13949 0 0 0 36405 9696 0 0 20 0 1 0 188568876 71462912 15394 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15394 2461 2403 0 14557 0
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.01 6/256 994100
/proc/meminfo: memFree=125229252/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3214.83 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13994 0 0 0 245307 76176 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3214.83 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/256 994110
/proc/meminfo: memFree=125228884/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3274.73 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13995 0 0 0 249843 77630 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3274.73 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.01 6/255 994121
/proc/meminfo: memFree=125228688/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3334.62 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13996 0 0 0 254382 79080 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3334.62 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.02 6/255 994133
/proc/meminfo: memFree=125228360/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3394.51 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13997 0 0 0 258910 80541 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3394.51 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.13 4.03 6/255 994143
/proc/meminfo: memFree=125228060/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3454.4 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13998 0 0 0 263455 81985 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.54 4.21 4.06 6/255 994153
/proc/meminfo: memFree=125227804/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3514.3 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 13999 0 0 0 268008 83422 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3514.3 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.71 4.37 4.13 6/255 994163
/proc/meminfo: memFree=125227472/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3574.19 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14000 0 0 0 272538 84881 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3608.15 s]
# the end of solver process 992322 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2745.01 s, system=854.994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.71 4.37 4.13 6/257 994169
/proc/meminfo: memFree=125227344/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3575.89 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14000 0 0 0 272666 84923 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3575.89 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3596.8 s]
/proc/loadavg: 4.77 4.40 4.14 6/256 994171
/proc/meminfo: memFree=125227180/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3588.66 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 273640 85226 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3588.66 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3603.2 s]
/proc/loadavg: 4.87 4.42 4.15 6/256 994171
/proc/meminfo: memFree=125227268/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3595.05 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274126 85379 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3595.05 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3606.4 s]
/proc/loadavg: 4.80 4.42 4.15 6/256 994174
/proc/meminfo: memFree=125227256/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3598.25 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274369 85456 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3598.25 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3607.2 s]
/proc/loadavg: 4.80 4.42 4.15 6/256 994174
/proc/meminfo: memFree=125227184/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3599.04 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274428 85476 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3599.04 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3607.6 s]
/proc/loadavg: 4.80 4.42 4.15 6/256 994174
/proc/meminfo: memFree=125227184/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3599.44 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274459 85485 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3608 s]*
/proc/loadavg: 4.80 4.42 4.15 6/256 994174
/proc/meminfo: memFree=125227256/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3599.85 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274490 85495 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
[startup+3608.1 s]
/proc/loadavg: 4.80 4.42 4.15 6/256 994174
/proc/meminfo: memFree=125227256/131524600 swapFree=131071996/131071996
[pid=992322] ppid=992313 vsize=69788 memory=61868 CPUtime=3599.94 cores=1,3
/proc/992322/stat : 992322 (LS-MabS) R 992313 992322 992261 0 -1 4194304 14001 0 0 0 274497 85497 0 0 20 0 1 0 188568876 71462912 15467 134679101440 4194304 14036057 140729173792176 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39837696 140729173799968 140729173800070 140729173800070 140729173807086 0
/proc/992322/statm: 17447 15467 2492 2403 0 14557 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 61868 KiB
Child status: 0
Real time (s): 3608.15
CPU time (s): 3600
CPU user time (s): 2745.01
CPU system time (s): 854.994
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 69788
Max. memory (cumulated for all children) (KiB): 61868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2745.01
system time used= 854.994
maximum resident set size= 61880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14003
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= 3
involuntary context switches= 1022
# summary of solver processes directly reported to runsolver:
# pid: 992322
# total CPU time (s): 3600
# total CPU user time (s): 2745.01
# total CPU system time (s): 854.994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58535 second user time and 15.1724 second system time
The end
Begin job on nodeC020 at 2024-07-19 06:41:07
IDJOB=4447897
IDBENCH=160348
IDSOLVER=3048
FILE ID=nodeC020/4447897-1721364054
RUNJOBID= nodeC020-1721364067-992273
SLURM_JOB_ID= 7542793
Free space on /tmp= 890084 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x30split.cnf-extracted.pb.metafix.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-4447897-1721364054/watcher-4447897-1721364054 -o /tmp/evaluation-result-4447897-1721364054/solver-4447897-1721364054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721364067-992273 --watchdog 3760 ./LS-MabS -f HOME/instance-4447897-1721364054.opb -t 3600 -s 1388174783
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df1ea8e35ca351873c186fccf5f73c78
RANDOM SEED=1388174783
nodeC020.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 : 3625.476
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3633.352
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.84
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 : 3611.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3656.572
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.84
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 : 3606.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3627.417
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.84
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 : 3641.750
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3630.823
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127597120 kB
MemAvailable: 129702948 kB
Buffers: 522780 kB
Cached: 2401696 kB
SwapCached: 0 kB
Active: 877376 kB
Inactive: 2402196 kB
Active(anon): 1460 kB
Inactive(anon): 391364 kB
Active(file): 875916 kB
Inactive(file): 2010832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52328 kB
Writeback: 0 kB
AnonPages: 354384 kB
Mapped: 105740 kB
Shmem: 37720 kB
KReclaimable: 117808 kB
Slab: 232836 kB
SReclaimable: 117808 kB
SUnreclaim: 115028 kB
KernelStack: 3856 kB
PageTables: 9488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 648392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC020 at 2024-07-19 07:41:15