0.00/0.06 c Filename:instance-4428343-1721027031.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.06 c Not use presolve
3599.95/3610.84 c Use LS-small
3599.95/3610.84 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: 63931 MiB (62300 MiB free)
memory of node 1: 64510 MiB (60699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428343-1721027031/watcher-4428343-1721027031 -o /tmp/evaluation-result-4428343-1721027031/solver-4428343-1721027031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721027044-799131 --watchdog 3760 ./LS-MabS -f HOME/instance-4428343-1721027031.opb -t 3600 -s 2021994738
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=799173, runsolver pid=799169
[startup+0.100265 s]*
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125839624/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=39132 memory=30328 CPUtime=0.09 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 6065 0 0 0 9 0 0 0 20 0 1 0 154864973 40071168 7582 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 9783 7582 2461 2403 0 6893 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39132 KiB
Current children cumulated memory: 30328 KiB
[startup+0.205666 s]*
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125683208/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=46552 memory=37712 CPUtime=0.2 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 7927 0 0 0 20 0 0 0 20 0 1 0 154864973 47669248 9428 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 11638 9428 2461 2403 0 8748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46552 KiB
Current children cumulated memory: 37712 KiB
[startup+0.305592 s]*
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125635636/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=55560 memory=46408 CPUtime=0.3 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 10124 0 0 0 30 0 0 0 20 0 1 0 154864973 56893440 11602 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 13890 11602 2461 2403 0 11000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55560 KiB
Current children cumulated memory: 46408 KiB
[startup+0.700225 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125545612/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=81220 memory=71732 CPUtime=0.69 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 16413 0 0 0 68 1 0 0 20 0 1 0 154864973 83169280 17933 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 20305 17933 2461 2403 0 17415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 71732 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125485160/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=98604 memory=87796 CPUtime=1.48 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 21386 0 0 0 146 2 0 0 20 0 1 0 154864973 100970496 21949 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 24651 21949 2461 2403 0 21761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98604 KiB
Current children cumulated memory: 87796 KiB
[startup+3.10542 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 799195
/proc/meminfo: memFree=125352168/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=109216 memory=99260 CPUtime=3.08 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 24700 0 0 0 305 3 0 0 20 0 1 0 154864973 111837184 24815 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 27304 24815 2461 2403 0 24414 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109216 KiB
Current children cumulated memory: 99260 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 799195
/proc/meminfo: memFree=125348292/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=111804 memory=102164 CPUtime=6.27 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 25369 0 0 0 624 3 0 0 20 0 1 0 154864973 114487296 25541 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 27951 25541 2461 2403 0 25061 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111804 KiB
Current children cumulated memory: 102164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.11 5/257 799197
/proc/meminfo: memFree=125331972/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=125176 memory=115364 CPUtime=12.64 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 28710 0 0 0 1261 3 0 0 20 0 1 0 154864973 128180224 28841 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 31294 28841 2461 2403 0 28404 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125176 KiB
Current children cumulated memory: 115364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 799198
/proc/meminfo: memFree=125316732/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=126228 memory=116516 CPUtime=25.39 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 29499 0 0 0 2535 4 0 0 20 0 1 0 154864973 129257472 29129 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 31557 29129 2461 2403 0 28667 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 126228 KiB
Current children cumulated memory: 116516 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 799203
/proc/meminfo: memFree=125239068/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=145380 memory=134524 CPUtime=50.89 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 34382 0 0 0 5085 4 0 0 20 0 1 0 154864973 148869120 33631 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 36345 33631 2461 2403 0 33455 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 145380 KiB
Current children cumulated memory: 134524 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 799211
/proc/meminfo: memFree=125220280/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=155648 memory=145288 CPUtime=101.88 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 37105 0 0 0 10183 5 0 0 20 0 1 0 154864973 159383552 36322 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 38912 36322 2461 2403 0 36022 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 155648 KiB
Current children cumulated memory: 145288 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/255 799221
/proc/meminfo: memFree=125184464/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=160936 memory=150476 CPUtime=161.62 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 38420 0 0 0 16157 5 0 0 20 0 1 0 154864973 164798464 37619 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 40234 37619 2461 2403 0 37344 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 160936 KiB
Current children cumulated memory: 150476 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 799232
/proc/meminfo: memFree=125170488/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=172876 memory=162824 CPUtime=221.38 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 41683 0 0 0 22132 6 0 0 20 0 1 0 154864973 177025024 40706 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 43219 40706 2461 2403 0 40329 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 172876 KiB
Current children cumulated memory: 162824 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 799242
/proc/meminfo: memFree=125109092/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=193436 memory=183684 CPUtime=281.15 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 46107 0 0 0 28108 7 0 0 20 0 1 0 154864973 198078464 45921 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 48359 45921 2461 2403 0 45469 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 193436 KiB
Current children cumulated memory: 183684 KiB
[startup+342.3 s]
/proc/loadavg: 4.83 4.30 4.15 5/254 799252
/proc/meminfo: memFree=125052236/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=203392 memory=191328 CPUtime=340.93 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 48087 0 0 0 34086 7 0 0 20 0 1 0 154864973 208273408 47832 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 50848 47832 2461 2403 0 47958 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 203392 KiB
Current children cumulated memory: 191328 KiB
[startup+402.3 s]
/proc/loadavg: 5.06 4.47 4.22 5/257 799269
/proc/meminfo: memFree=125004084/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=214176 memory=202172 CPUtime=400.7 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 50870 0 0 0 40062 8 0 0 20 0 1 0 154864973 219316224 50543 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 53544 50543 2461 2403 0 50654 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 214176 KiB
Current children cumulated memory: 202172 KiB
[startup+462.3 s]
/proc/loadavg: 4.82 4.51 4.25 5/257 799279
/proc/meminfo: memFree=124980868/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=219096 memory=208240 CPUtime=460.47 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 52455 0 0 0 46039 8 0 0 20 0 1 0 154864973 224354304 52060 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 54774 52060 2461 2403 0 51884 0
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.09 5/257 800772
/proc/meminfo: memFree=125062440/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3212.31 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 317569 3662 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 800951
/proc/meminfo: memFree=125061760/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3272.18 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 323408 3810 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 800962
/proc/meminfo: memFree=125061644/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3332.04 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 329240 3964 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 800977
/proc/meminfo: memFree=125061140/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3391.91 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 335071 4120 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 800998
/proc/meminfo: memFree=125060896/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3451.78 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 340903 4275 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 801009
/proc/meminfo: memFree=125060664/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3511.65 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 346734 4431 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 801020
/proc/meminfo: memFree=125060524/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3571.51 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 352568 4583 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3610.85 s]
# the end of solver process 799173 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.46 s, system=46.5473 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 801020
/proc/meminfo: memFree=125060540/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3573.22 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 352735 4587 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 801022
/proc/meminfo: memFree=125060564/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3585.98 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 353978 4620 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 801024
/proc/meminfo: memFree=125060440/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3592.37 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 354602 4635 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3592.37 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 801025
/proc/meminfo: memFree=125060352/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3595.56 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 354913 4643 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3595.56 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3608 s]*
/proc/loadavg: 4.12 4.09 4.09 5/254 801039
/proc/meminfo: memFree=125233728/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3597.16 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 355069 4647 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3597.16 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3609.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 801118
/proc/meminfo: memFree=125360456/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3598.75 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 355225 4650 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3598.75 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3610.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 801164
/proc/meminfo: memFree=125667408/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3599.55 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 355302 4653 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
[startup+3610.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 801164
/proc/meminfo: memFree=125667408/131524600 swapFree=131071996/131071996
[pid=799173] ppid=799169 vsize=191456 memory=184476 CPUtime=3599.95 cores=0,2
/proc/799173/stat : 799173 (LS-MabS) R 799169 799173 799121 0 -1 4194304 79366 0 0 0 355341 4654 0 0 20 0 1 0 154864973 196050944 46119 134679101440 4194304 14036057 140731397215392 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44281856 140731397223457 140731397223559 140731397223559 140731397230574 0
/proc/799173/statm: 47864 46119 2461 2403 0 44974 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 184476 KiB
Child status: 0
Real time (s): 3610.85
CPU time (s): 3600.01
CPU user time (s): 3553.46
CPU system time (s): 46.5473
CPU usage (%): 99.6998
Max. virtual memory (cumulated for all children) (KiB): 386696
Max. memory (cumulated for all children) (KiB): 362184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.46
system time used= 46.5473
maximum resident set size= 362184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79370
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= 73
involuntary context switches= 25180
# summary of solver processes directly reported to runsolver:
# pid: 799173
# total CPU time (s): 3600.01
# total CPU user time (s): 3553.46
# total CPU system time (s): 46.5473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13339 second user time and 12.7699 second system time
The end
Begin job on nodeC017 at 2024-07-15 09:04:04
IDJOB=4428343
IDBENCH=148776
IDSOLVER=3048
FILE ID=nodeC017/4428343-1721027031
RUNJOBID= nodeC017-1721027044-799131
SLURM_JOB_ID= 7505410
Free space on /tmp= 890084 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.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-4428343-1721027031/watcher-4428343-1721027031 -o /tmp/evaluation-result-4428343-1721027031/solver-4428343-1721027031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721027044-799131 --watchdog 3760 ./LS-MabS -f HOME/instance-4428343-1721027031.opb -t 3600 -s 2021994738
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=2021994738
nodeC017.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 : 3626.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3459.879
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 : 7006.99
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 : 3464.143
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3594.608
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 : 7006.99
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 : 3617.972
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3564.679
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 : 7006.99
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 : 3591.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3547.847
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 : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125952752 kB
MemAvailable: 129727600 kB
Buffers: 360472 kB
Cached: 4214156 kB
SwapCached: 0 kB
Active: 700356 kB
Inactive: 4204652 kB
Active(anon): 1456 kB
Inactive(anon): 366744 kB
Active(file): 698900 kB
Inactive(file): 3837908 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57396 kB
Writeback: 0 kB
AnonPages: 330520 kB
Mapped: 102836 kB
Shmem: 37720 kB
KReclaimable: 155376 kB
Slab: 266316 kB
SReclaimable: 155376 kB
SUnreclaim: 110940 kB
KernelStack: 3888 kB
PageTables: 9604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 789536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 22644736 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC017 at 2024-07-15 10:04:15