0.00/0.02 c Filename:instance-4447987-1721364054.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.02 c Not use presolve
3599.89/3610.29 c Use LS-small
3599.89/3610.29 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 (62885 MiB free)
memory of node 1: 64473 MiB (61703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447987-1721364054/watcher-4447987-1721364054 -o /tmp/evaluation-result-4447987-1721364054/solver-4447987-1721364054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721364067-992272 --watchdog 3760 ./LS-MabS -f HOME/instance-4447987-1721364054.opb -t 3600 -s 1388174783
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=992333, runsolver pid=992330
[startup+0.101042 s]*
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127550356/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=30628 memory=20920 CPUtime=0.09 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 3530 0 0 0 9 0 0 0 20 0 1 0 188568877 31363072 5230 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 7657 5230 2461 2403 0 4767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30628 KiB
Current children cumulated memory: 20920 KiB
[startup+0.205299 s]*
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127534820/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=30984 memory=22240 CPUtime=0.2 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 3823 0 0 0 20 0 0 0 20 0 1 0 188568877 31727616 5560 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 7746 5560 2461 2403 0 4856 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30984 KiB
Current children cumulated memory: 22240 KiB
[startup+0.304898 s]*
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127526868/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=31116 memory=22240 CPUtime=0.29 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 3878 0 0 0 29 0 0 0 20 0 1 0 188568877 31862784 5560 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 7779 5560 2461 2403 0 4889 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31116 KiB
Current children cumulated memory: 22240 KiB
[startup+0.700178 s]
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127523264/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=32072 memory=23560 CPUtime=0.68 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 4196 0 0 0 68 0 0 0 20 0 1 0 188568877 32841728 5890 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 8018 5890 2461 2403 0 5128 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32072 KiB
Current children cumulated memory: 23560 KiB
[startup+1.50021 s]
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127511028/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=35424 memory=26992 CPUtime=1.48 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 5022 0 0 0 148 0 0 0 20 0 1 0 188568877 36274176 6748 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 8856 6748 2461 2403 0 5966 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35424 KiB
Current children cumulated memory: 26992 KiB
[startup+3.10549 s]
/proc/loadavg: 1.09 1.09 1.16 5/258 992334
/proc/meminfo: memFree=127486540/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=39508 memory=31024 CPUtime=3.08 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 7091 0 0 0 307 1 0 0 20 0 1 0 188568877 40456192 7756 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 9877 7756 2461 2403 0 6987 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39508 KiB
Current children cumulated memory: 31024 KiB
[startup+6.30021 s]
/proc/loadavg: 1.32 1.14 1.17 5/258 992336
/proc/meminfo: memFree=127467272/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=41540 memory=32656 CPUtime=6.27 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 8356 0 0 0 626 1 0 0 20 0 1 0 188568877 42536960 8164 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 10385 8164 2461 2403 0 7495 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41540 KiB
Current children cumulated memory: 32656 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.19 1.19 5/258 992336
/proc/meminfo: memFree=127455592/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=52472 memory=43216 CPUtime=12.65 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 10944 0 0 0 1263 2 0 0 20 0 1 0 188568877 53731328 10804 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 13118 10804 2461 2403 0 10228 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52472 KiB
Current children cumulated memory: 43216 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.34 1.24 5/258 992339
/proc/meminfo: memFree=127405580/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=63132 memory=55044 CPUtime=25.39 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 14385 0 0 0 2537 2 0 0 20 0 1 0 188568877 64647168 13761 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 15783 13761 2461 2403 0 12893 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 63132 KiB
Current children cumulated memory: 55044 KiB
[startup+51.1052 s]
/proc/loadavg: 2.79 1.56 1.31 5/258 992342
/proc/meminfo: memFree=127307128/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=95172 memory=86552 CPUtime=50.91 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 22677 0 0 0 5087 4 0 0 20 0 1 0 188568877 97456128 21638 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 23793 21638 2461 2403 0 20903 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 95172 KiB
Current children cumulated memory: 86552 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.46 5/257 992350
/proc/meminfo: memFree=127172012/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=147640 memory=137608 CPUtime=101.88 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 36026 0 0 0 10182 6 0 0 20 0 1 0 188568877 151183360 34402 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 36910 34402 2461 2403 0 34020 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 147640 KiB
Current children cumulated memory: 137608 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.37 1.64 5/258 992361
/proc/meminfo: memFree=127056408/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=192008 memory=183188 CPUtime=161.62 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 49557 0 0 0 16154 8 0 0 20 0 1 0 188568877 196616192 45797 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 48002 45797 2461 2403 0 45112 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 192008 KiB
Current children cumulated memory: 183188 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.69 1.80 5/258 992373
/proc/meminfo: memFree=126937744/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=229740 memory=217268 CPUtime=221.35 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 60857 0 0 0 22125 10 0 0 20 0 1 0 188568877 235253760 54317 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 57435 54317 2461 2403 0 54545 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 229740 KiB
Current children cumulated memory: 217268 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 2.98 1.95 5/258 992384
/proc/meminfo: memFree=126795020/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=269444 memory=257912 CPUtime=281.09 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 71018 0 0 0 28097 12 0 0 20 0 1 0 188568877 275910656 64478 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 67361 64478 2461 2403 0 64471 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 269444 KiB
Current children cumulated memory: 257912 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.16 2.08 5/255 992394
/proc/meminfo: memFree=126665272/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=298808 memory=287644 CPUtime=340.85 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 80909 0 0 0 34071 14 0 0 20 0 1 0 188568877 305979392 71911 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 74702 71911 2461 2403 0 71812 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 298808 KiB
Current children cumulated memory: 287644 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.33 2.21 5/255 992405
/proc/meminfo: memFree=126598216/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=322372 memory=311156 CPUtime=400.6 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 87027 0 0 0 40045 15 0 0 20 0 1 0 188568877 330108928 77789 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 80593 77789 2461 2403 0 77703 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 322372 KiB
Current children cumulated memory: 311156 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.49 2.34 5/254 992415
/proc/meminfo: memFree=126526760/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=350924 memory=340136 CPUtime=460.35 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 95886 0 0 0 46019 16 0 0 20 0 1 0 188568877 359346176 85034 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 87731 85034 2461 2403 0 84841 0
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.01 5/256 994100
/proc/meminfo: memFree=125229204/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3212.61 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 286734 34527 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/256 994110
/proc/meminfo: memFree=125228876/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3272.52 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 291267 35985 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/255 994121
/proc/meminfo: memFree=125228688/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3332.42 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 295810 37432 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.02 5/255 994133
/proc/meminfo: memFree=125228304/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3392.32 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 300344 38888 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.13 4.03 5/255 994143
/proc/meminfo: memFree=125228020/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3452.23 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 304887 40336 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.54 4.21 4.06 5/255 994153
/proc/meminfo: memFree=125227804/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3512.13 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 309431 41782 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.71 4.37 4.13 5/255 994163
/proc/meminfo: memFree=125227472/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3572.04 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 313973 43231 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3610.3 s]
# the end of solver process 992333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3160.91 s, system=439.093 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 5/257 994169
/proc/meminfo: memFree=125227344/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3573.74 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 314105 43269 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3596.8 s]
/proc/loadavg: 4.77 4.40 4.14 5/256 994171
/proc/meminfo: memFree=125227148/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3586.52 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 315070 43582 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3603.2 s]
/proc/loadavg: 4.87 4.42 4.15 5/256 994171
/proc/meminfo: memFree=125227268/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3592.9 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 315551 43739 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3592.9 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3606.4 s]
/proc/loadavg: 4.80 4.42 4.15 5/256 994174
/proc/meminfo: memFree=125227200/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3596.1 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 315794 43816 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3596.1 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3608 s]*
/proc/loadavg: 4.80 4.42 4.15 5/256 994174
/proc/meminfo: memFree=125227256/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3597.7 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 315915 43855 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3597.7 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3609.6 s]
/proc/loadavg: 4.80 4.42 4.15 5/256 994220
/proc/meminfo: memFree=125251304/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3599.3 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 316037 43893 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3610 s]*
/proc/loadavg: 4.74 4.41 4.15 5/256 994220
/proc/meminfo: memFree=125232804/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3599.7 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 316068 43902 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
[startup+3610.2 s]
/proc/loadavg: 4.74 4.41 4.15 5/256 994220
/proc/meminfo: memFree=125232804/131524600 swapFree=131071996/131071996
[pid=992333] ppid=992330 vsize=748320 memory=741428 CPUtime=3599.89 cores=4,6
/proc/992333/stat : 992333 (LS-MabS) R 992330 992333 992261 0 -1 4194304 223425 0 0 0 316083 43906 0 0 20 0 1 0 188568877 766279680 185357 134679101440 4194304 14036057 140723417934304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36683776 140723417936928 140723417937030 140723417937030 140723417944046 0
/proc/992333/statm: 187080 185357 2492 2403 0 184190 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 748320 KiB
Current children cumulated memory: 741428 KiB
Child status: 0
Real time (s): 3610.3
CPU time (s): 3600
CPU user time (s): 3160.91
CPU system time (s): 439.093
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 787928
Max. memory (cumulated for all children) (KiB): 775944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3160.91
system time used= 439.093
maximum resident set size= 777000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223445
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= 191
involuntary context switches= 3775
# summary of solver processes directly reported to runsolver:
# pid: 992333
# total CPU time (s): 3600
# total CPU user time (s): 3160.91
# total CPU system time (s): 439.093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71824 second user time and 13.732 second system time
The end
Begin job on nodeC020 at 2024-07-19 06:41:07
IDJOB=4447987
IDBENCH=160355
IDSOLVER=3048
FILE ID=nodeC020/4447987-1721364054
RUNJOBID= nodeC020-1721364067-992272
SLURM_JOB_ID= 7542793
Free space on /tmp= 890060 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.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-4447987-1721364054/watcher-4447987-1721364054 -o /tmp/evaluation-result-4447987-1721364054/solver-4447987-1721364054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721364067-992272 --watchdog 3760 ./LS-MabS -f HOME/instance-4447987-1721364054.opb -t 3600 -s 1388174783
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42530f8fa6d5232445304732efe45d63
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 : 3622.780
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 : 3629.095
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 : 3654.769
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 : 3651.871
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 : 3652.614
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 : 3644.955
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 : 3600.311
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 : 3652.331
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: 127595112 kB
MemAvailable: 129700940 kB
Buffers: 522780 kB
Cached: 2401696 kB
SwapCached: 0 kB
Active: 877376 kB
Inactive: 2403168 kB
Active(anon): 1460 kB
Inactive(anon): 392336 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: 356328 kB
Mapped: 106064 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: 713808 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:17