0.00/0.05 c Filename:instance-4448167-1721366335.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.05 c Not use presolve
3599.92/3609.87 c Use LS-small
3599.92/3609.87 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62347 MiB free)
memory of node 1: 64510 MiB (61801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448167-1721366335/watcher-4448167-1721366335 -o /tmp/evaluation-result-4448167-1721366335/solver-4448167-1721366335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721366348-990467 --watchdog 3760 ./LS-MabS -f HOME/instance-4448167-1721366335.opb -t 3600 -s 237752673
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=990520, runsolver pid=990515
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.35 1.85 2.31 5/242 990529
/proc/meminfo: memFree=127097752/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=26216 memory=17744 CPUtime=0.1 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 2307 0 0 0 10 0 0 0 20 0 1 0 188790478 26845184 4436 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 6554 4436 2461 2403 0 3664 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26216 KiB
Current children cumulated memory: 17744 KiB
[startup+0.213747 s]*
/proc/loadavg: 1.35 1.85 2.31 5/242 990529
/proc/meminfo: memFree=127090804/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=29472 memory=19816 CPUtime=0.21 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 2952 0 0 0 21 0 0 0 20 0 1 0 188790478 30179328 4954 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 7368 4954 2461 2403 0 4478 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29472 KiB
Current children cumulated memory: 19816 KiB
[startup+0.313439 s]*
/proc/loadavg: 1.35 1.85 2.31 5/242 990529
/proc/meminfo: memFree=127090072/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=29696 memory=20080 CPUtime=0.32 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 3022 0 0 0 31 1 0 0 20 0 1 0 188790478 30408704 5020 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 7424 5020 2461 2403 0 4534 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 29696 KiB
Current children cumulated memory: 20080 KiB
[startup+0.700349 s]
/proc/loadavg: 1.35 1.85 2.31 5/242 990529
/proc/meminfo: memFree=127083812/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=30332 memory=21664 CPUtime=0.69 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 3414 0 0 0 68 1 0 0 20 0 1 0 188790478 31059968 5416 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 7583 5416 2461 2403 0 4693 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30332 KiB
Current children cumulated memory: 21664 KiB
[startup+1.50026 s]
/proc/loadavg: 1.35 1.85 2.31 5/242 990529
/proc/meminfo: memFree=127059940/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=31956 memory=23248 CPUtime=1.48 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 3783 0 0 0 147 1 0 0 20 0 1 0 188790478 32722944 5812 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 7989 5812 2461 2403 0 5099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31956 KiB
Current children cumulated memory: 23248 KiB
[startup+3.11263 s]
/proc/loadavg: 1.56 1.89 2.32 5/242 990529
/proc/meminfo: memFree=127044656/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=40052 memory=31540 CPUtime=3.08 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 6073 0 0 0 307 1 0 0 20 0 1 0 188790478 41013248 7885 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 10013 7885 2461 2403 0 7123 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40052 KiB
Current children cumulated memory: 31540 KiB
[startup+6.30028 s]
/proc/loadavg: 1.56 1.89 2.32 5/242 990531
/proc/meminfo: memFree=127035536/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=44844 memory=36556 CPUtime=6.27 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 7372 0 0 0 625 2 0 0 20 0 1 0 188790478 45920256 9139 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 11211 9139 2461 2403 0 8321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44844 KiB
Current children cumulated memory: 36556 KiB
[startup+12.7003 s]
/proc/loadavg: 1.76 1.93 2.33 5/242 990531
/proc/meminfo: memFree=127023176/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=53424 memory=44304 CPUtime=12.64 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 9514 0 0 0 1262 2 0 0 20 0 1 0 188790478 54706176 11076 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 13356 11076 2461 2403 0 10466 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53424 KiB
Current children cumulated memory: 44304 KiB
[startup+25.5003 s]
/proc/loadavg: 2.25 2.03 2.36 5/242 990534
/proc/meminfo: memFree=126961152/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=72848 memory=63836 CPUtime=25.39 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 14403 0 0 0 2536 3 0 0 20 0 1 0 188790478 74596352 15959 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 18212 15959 2461 2403 0 15322 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 72848 KiB
Current children cumulated memory: 63836 KiB
[startup+51.1131 s]
/proc/loadavg: 2.99 2.22 2.41 5/242 990537
/proc/meminfo: memFree=126908764/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=97808 memory=88320 CPUtime=50.91 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 21601 0 0 0 5086 5 0 0 20 0 1 0 188790478 100155392 22080 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 24452 22080 2461 2403 0 21562 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 97808 KiB
Current children cumulated memory: 88320 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.50 2.50 5/244 990549
/proc/meminfo: memFree=126775472/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=152508 memory=143684 CPUtime=101.91 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 42249 0 0 0 10182 9 0 0 20 0 1 0 188790478 156168192 35921 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 38127 35921 2461 2403 0 35237 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 152508 KiB
Current children cumulated memory: 143684 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.79 2.60 5/245 990561
/proc/meminfo: memFree=126681000/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188680 CPUtime=161.67 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56723 0 0 0 16155 12 0 0 20 0 1 0 188790478 201187328 47170 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47170 2461 2403 0 46228 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 196472 KiB
Current children cumulated memory: 188680 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.04 2.70 5/245 990571
/proc/meminfo: memFree=126628616/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188680 CPUtime=221.41 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56723 0 0 0 22129 12 0 0 20 0 1 0 188790478 201187328 47170 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47170 2461 2403 0 46228 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 196472 KiB
Current children cumulated memory: 188680 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.23 2.79 5/245 990581
/proc/meminfo: memFree=126573628/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188680 CPUtime=281.17 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56724 0 0 0 28104 13 0 0 20 0 1 0 188790478 201187328 47170 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47170 2461 2403 0 46228 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 196472 KiB
Current children cumulated memory: 188680 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.39 2.87 5/244 990593
/proc/meminfo: memFree=126516176/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188680 CPUtime=340.92 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56724 0 0 0 34078 14 0 0 20 0 1 0 188790478 201187328 47170 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47170 2461 2403 0 46228 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 196472 KiB
Current children cumulated memory: 188680 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.54 2.96 6/247 990724
/proc/meminfo: memFree=126449080/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188680 CPUtime=400.67 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56724 0 0 0 40052 15 0 0 20 0 1 0 188790478 201187328 47170 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47170 2461 2403 0 46228 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 196472 KiB
Current children cumulated memory: 188680 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.65 3.04 5/242 990998
/proc/meminfo: memFree=126492852/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=196472 memory=188696 CPUtime=460.42 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 56727 0 0 0 46027 15 0 0 20 0 1 0 188790478 201187328 47174 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 49118 47174 2461 2403 0 46228 0
################
# More data... #
################
/proc/loadavg: 4.06 4.11 4.11 5/243 992290
/proc/meminfo: memFree=125605516/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3213.01 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 287016 34285 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/244 992301
/proc/meminfo: memFree=125605024/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3272.91 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 291546 35745 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/244 992313
/proc/meminfo: memFree=125604752/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3332.83 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 296094 37189 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/244 992323
/proc/meminfo: memFree=125604496/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3392.74 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 300640 38634 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/242 992333
/proc/meminfo: memFree=125604272/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3452.64 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 305186 40078 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/242 992344
/proc/meminfo: memFree=125604004/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3512.56 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 309708 41548 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 992354
/proc/meminfo: memFree=125603692/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3572.47 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 314256 42991 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3609.88 s]
# the end of solver process 990520 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3163.37 s, system=436.639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.11 4.09 5/241 992356
/proc/meminfo: memFree=125603660/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3574.17 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 314381 43036 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/241 992357
/proc/meminfo: memFree=125603608/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3586.94 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 315345 43349 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/241 992357
/proc/meminfo: memFree=125603624/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3593.33 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 315830 43503 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3593.33 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3606.4 s]
/proc/loadavg: 4.05 4.10 4.09 5/241 992360
/proc/meminfo: memFree=125603524/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3596.52 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 316074 43578 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3596.52 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3608 s]*
/proc/loadavg: 4.05 4.10 4.09 5/241 992406
/proc/meminfo: memFree=125598932/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3598.13 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 316194 43619 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3598.13 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3608.8 s]
/proc/loadavg: 4.05 4.10 4.09 5/241 992406
/proc/meminfo: memFree=125598932/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3598.92 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 316254 43638 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3598.92 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3609.6 s]
/proc/loadavg: 4.13 4.11 4.10 5/241 992406
/proc/meminfo: memFree=125589212/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3599.72 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 316315 43657 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3599.72 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
[startup+3609.8 s]
/proc/loadavg: 4.13 4.11 4.10 5/241 992406
/proc/meminfo: memFree=125589212/131655788 swapFree=131071996/131071996
[pid=990520] ppid=990515 vsize=204684 memory=197776 CPUtime=3599.92 cores=1,3
/proc/990520/stat : 990520 (LS-MabS) R 990515 990520 990455 0 -1 4194304 81758 0 0 0 316330 43662 0 0 20 0 1 0 188790478 209596416 49444 134679101440 4194304 14036057 140735978686976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31797248 140735978693665 140735978693766 140735978693766 140735978700782 0
/proc/990520/statm: 51171 49444 2461 2403 0 48281 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 204684 KiB
Current children cumulated memory: 197776 KiB
Child status: 0
Real time (s): 3609.88
CPU time (s): 3600.01
CPU user time (s): 3163.37
CPU system time (s): 436.639
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 238356
Max. memory (cumulated for all children) (KiB): 230660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3163.37
system time used= 436.639
maximum resident set size= 234428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81765
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= 97
involuntary context switches= 1588
# summary of solver processes directly reported to runsolver:
# pid: 990520
# total CPU time (s): 3600.01
# total CPU user time (s): 3163.37
# total CPU system time (s): 436.639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0614 second user time and 33.0049 second system time
The end
Begin job on nodeC012 at 2024-07-19 07:19:08
IDJOB=4448167
IDBENCH=160368
IDSOLVER=3048
FILE ID=nodeC012/4448167-1721366335
RUNJOBID= nodeC012-1721366348-990467
SLURM_JOB_ID= 7542803
Free space on /tmp= 723776 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x70split.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-4448167-1721366335/watcher-4448167-1721366335 -o /tmp/evaluation-result-4448167-1721366335/solver-4448167-1721366335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721366348-990467 --watchdog 3760 ./LS-MabS -f HOME/instance-4448167-1721366335.opb -t 3600 -s 237752673
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8733c4376293f538673445107eeff72
RANDOM SEED=237752673
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.448
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.462
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3392.412
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.420
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.348
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127142120 kB
MemAvailable: 129915956 kB
Buffers: 523488 kB
Cached: 3069336 kB
SwapCached: 0 kB
Active: 1038160 kB
Inactive: 2887660 kB
Active(anon): 1384 kB
Inactive(anon): 369320 kB
Active(file): 1036776 kB
Inactive(file): 2518340 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52436 kB
Writeback: 0 kB
AnonPages: 333052 kB
Mapped: 106064 kB
Shmem: 37704 kB
KReclaimable: 117500 kB
Slab: 222380 kB
SReclaimable: 117500 kB
SUnreclaim: 104880 kB
KernelStack: 3632 kB
PageTables: 9492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 728336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC012 at 2024-07-19 08:19:18