0.00/0.02 c Filename:instance-4447717-1721362444.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.02 c Not use presolve
3599.91/3609.57 c Use LS-small
3599.91/3609.57 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: 64096 MiB (59182 MiB free)
memory of node 1: 64473 MiB (61311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447717-1721362444/watcher-4447717-1721362444 -o /tmp/evaluation-result-4447717-1721362444/solver-4447717-1721362444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996697 --watchdog 3760 ./LS-MabS -f HOME/instance-4447717-1721362444.opb -t 3600 -s 780067608
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=1000948, runsolver pid=1000945
[startup+0.10036 s]*
/proc/loadavg: 4.34 4.28 4.19 5/243 1000949
/proc/meminfo: memFree=123379780/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=24156 memory=15676 CPUtime=0.1 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 1666 0 0 0 10 0 0 0 20 0 1 0 188403130 24735744 3919 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 6039 3919 2461 2403 0 3149 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24156 KiB
Current children cumulated memory: 15676 KiB
[startup+0.212349 s]*
/proc/loadavg: 4.34 4.28 4.19 5/243 1000949
/proc/meminfo: memFree=123378772/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=25812 memory=17256 CPUtime=0.21 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 2095 0 0 0 21 0 0 0 20 0 1 0 188403130 26431488 4314 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 6453 4314 2461 2403 0 3563 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25812 KiB
Current children cumulated memory: 17256 KiB
[startup+0.312442 s]*
/proc/loadavg: 4.34 4.28 4.19 5/243 1000949
/proc/meminfo: memFree=123374740/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=29456 memory=19896 CPUtime=0.31 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 2772 0 0 0 30 1 0 0 20 0 1 0 188403130 30162944 4974 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 7364 4974 2461 2403 0 4474 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29456 KiB
Current children cumulated memory: 19896 KiB
[startup+0.700265 s]
/proc/loadavg: 4.39 4.29 4.19 5/243 1000949
/proc/meminfo: memFree=123373092/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=30736 memory=21480 CPUtime=0.68 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 3173 0 0 0 67 1 0 0 20 0 1 0 188403130 31473664 5370 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 7684 5370 2461 2403 0 4794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30736 KiB
Current children cumulated memory: 21480 KiB
[startup+1.50031 s]
/proc/loadavg: 4.39 4.29 4.19 5/243 1000949
/proc/meminfo: memFree=123372392/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=32800 memory=23592 CPUtime=1.48 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 3694 0 0 0 147 1 0 0 20 0 1 0 188403130 33587200 5898 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 8200 5898 2461 2403 0 5310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 23592 KiB
[startup+3.11252 s]
/proc/loadavg: 4.39 4.29 4.19 5/243 1000949
/proc/meminfo: memFree=123369228/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=33276 memory=24120 CPUtime=3.09 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 3803 0 0 0 308 1 0 0 20 0 1 0 188403130 34074624 6030 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 8319 6030 2461 2403 0 5429 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33276 KiB
Current children cumulated memory: 24120 KiB
[startup+6.30025 s]
/proc/loadavg: 4.36 4.29 4.19 5/243 1000950
/proc/meminfo: memFree=123363428/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=35700 memory=26972 CPUtime=6.26 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 4580 0 0 0 625 1 0 0 20 0 1 0 188403130 36556800 6743 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 8925 6743 2461 2403 0 6035 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 35700 KiB
Current children cumulated memory: 26972 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.28 4.19 5/243 1000950
/proc/meminfo: memFree=123349976/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=46928 memory=37796 CPUtime=12.64 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 7289 0 0 0 1262 2 0 0 20 0 1 0 188403130 48054272 9449 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 11732 9449 2461 2403 0 8842 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 46928 KiB
Current children cumulated memory: 37796 KiB
[startup+25.5003 s]
/proc/loadavg: 4.28 4.27 4.19 5/243 1000953
/proc/meminfo: memFree=123320488/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=63836 memory=56008 CPUtime=25.39 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 11855 0 0 0 2536 3 0 0 20 0 1 0 188403130 65368064 14002 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 15959 14002 2461 2403 0 13069 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 63836 KiB
Current children cumulated memory: 56008 KiB
[startup+51.1124 s]
/proc/loadavg: 4.17 4.25 4.18 5/243 1000957
/proc/meminfo: memFree=123258680/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=103900 memory=94928 CPUtime=50.9 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 21577 0 0 0 5086 4 0 0 20 0 1 0 188403130 106393600 23732 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 25975 23732 2461 2403 0 23085 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 103900 KiB
Current children cumulated memory: 94928 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/241 1000967
/proc/meminfo: memFree=123146352/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=170988 memory=163252 CPUtime=101.89 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 38754 0 0 0 10182 7 0 0 20 0 1 0 188403130 175091712 40813 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 42747 40813 2461 2403 0 39857 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 170988 KiB
Current children cumulated memory: 163252 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/241 1000977
/proc/meminfo: memFree=123011692/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=254848 memory=245024 CPUtime=161.66 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 59660 0 0 0 16154 12 0 0 20 0 1 0 188403130 260964352 61256 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 63712 61256 2461 2403 0 60822 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 254848 KiB
Current children cumulated memory: 245024 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/242 1000988
/proc/meminfo: memFree=122878260/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=328176 memory=320260 CPUtime=221.43 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 78610 0 0 0 22127 16 0 0 20 0 1 0 188403130 336052224 80065 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 82044 80065 2461 2403 0 79154 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 328176 KiB
Current children cumulated memory: 320260 KiB
[startup+282.3 s]
/proc/loadavg: 4.55 4.28 4.20 5/242 1000998
/proc/meminfo: memFree=122750664/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=411996 memory=396804 CPUtime=281.2 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 97874 0 0 0 28101 19 0 0 20 0 1 0 188403130 421883904 99201 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 102999 99201 2461 2403 0 100109 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 411996 KiB
Current children cumulated memory: 396804 KiB
[startup+342.3 s]
/proc/loadavg: 4.50 4.33 4.23 5/242 1001009
/proc/meminfo: memFree=122625764/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=480724 memory=468600 CPUtime=340.97 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 115283 0 0 0 34075 22 0 0 20 0 1 0 188403130 492261376 117150 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 120181 117150 2461 2403 0 117291 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 480724 KiB
Current children cumulated memory: 468600 KiB
[startup+402.3 s]
/proc/loadavg: 4.31 4.30 4.22 5/244 1001023
/proc/meminfo: memFree=122502056/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=550188 memory=538848 CPUtime=400.74 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 132843 0 0 0 40048 26 0 0 20 0 1 0 188403130 563392512 134712 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 137547 134712 2461 2403 0 134657 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 538848 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.30 4.23 5/244 1001033
/proc/meminfo: memFree=122366436/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=625360 memory=615076 CPUtime=460.52 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 151931 0 0 0 46023 29 0 0 20 0 1 0 188403130 640368640 153769 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 156340 153769 2461 2403 0 153450 0
################
# More data... #
################
/proc/loadavg: 2.10 2.52 3.14 3/227 1002827
/proc/meminfo: memFree=123223268/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3273.25 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 294904 32421 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.44 3.07 3/227 1002838
/proc/meminfo: memFree=123222988/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3333.15 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 299592 33723 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.38 3.00 3/229 1002852
/proc/meminfo: memFree=123222884/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3393.05 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 304277 35028 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.32 2.94 3/229 1002862
/proc/meminfo: memFree=123222604/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3452.95 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 308952 36343 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.27 2.89 3/229 1002873
/proc/meminfo: memFree=123222184/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3512.85 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 313635 37650 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3582.3 s]
/proc/loadavg: 2.06 2.24 2.83 3/229 1002883
/proc/meminfo: memFree=123221904/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3572.76 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 318300 38976 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3609.58 s]
# the end of solver process 1000948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3204.3 s, system=395.704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.06 2.24 2.83 3/229 1002883
/proc/meminfo: memFree=123221904/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3574.46 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 318435 39011 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3596.8 s]
/proc/loadavg: 2.13 2.24 2.83 3/230 1002887
/proc/meminfo: memFree=123221828/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3587.24 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 319430 39294 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3603.2 s]
/proc/loadavg: 2.11 2.24 2.82 3/230 1002887
/proc/meminfo: memFree=123221844/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3593.62 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 319930 39432 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3593.62 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3606.4 s]
/proc/loadavg: 2.11 2.24 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3596.82 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320182 39500 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3596.82 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3608 s]*
/proc/loadavg: 2.10 2.23 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3598.43 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320308 39535 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3598.43 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3608.8 s]
/proc/loadavg: 2.10 2.23 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3599.22 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320370 39552 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3599.22 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3609.2 s]
/proc/loadavg: 2.10 2.23 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3599.62 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320402 39560 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3599.62 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3609.4 s]
/proc/loadavg: 2.10 2.23 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3599.81 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320416 39565 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
[startup+3609.5 s]
/proc/loadavg: 2.10 2.23 2.82 3/230 1002888
/proc/meminfo: memFree=123221788/131655788 swapFree=131071996/131071996
[pid=1000948] ppid=1000945 vsize=962952 memory=956060 CPUtime=3599.91 cores=4,6
/proc/1000948/stat : 1000948 (LS-MabS) R 1000945 1000948 996686 0 -1 4194304 527198 0 0 0 320424 39567 0 0 20 0 1 0 188403130 986062848 239015 134679101440 4194304 14036057 140735050330960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 49442816 140735050339361 140735050339462 140735050339462 140735050346478 0
/proc/1000948/statm: 240738 239015 2461 2403 0 237848 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 962952 KiB
Current children cumulated memory: 956060 KiB
Child status: 0
Real time (s): 3609.58
CPU time (s): 3600
CPU user time (s): 3204.3
CPU system time (s): 395.704
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 2103332
Max. memory (cumulated for all children) (KiB): 2075912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3204.3
system time used= 395.704
maximum resident set size= 2075912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527201
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= 74
involuntary context switches= 3045
# summary of solver processes directly reported to runsolver:
# pid: 1000948
# total CPU time (s): 3600
# total CPU user time (s): 3204.3
# total CPU system time (s): 395.704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6496 second user time and 29.0247 second system time
The end
Begin job on nodeC005 at 2024-07-19 06:14:15
IDJOB=4447717
IDBENCH=160032
IDSOLVER=3048
FILE ID=nodeC005/4447717-1721362444
RUNJOBID= nodeC005-1721354589-996697
SLURM_JOB_ID= 7542776
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.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-4447717-1721362444/watcher-4447717-1721362444 -o /tmp/evaluation-result-4447717-1721362444/solver-4447717-1721362444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996697 --watchdog 3760 ./LS-MabS -f HOME/instance-4447717-1721362444.opb -t 3600 -s 780067608
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9609dcb4dff0e4cd594607c8c2a4557e
RANDOM SEED=780067608
nodeC005.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 : 3657.425
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 : 6983.53
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 : 3646.966
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.35
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.327
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 : 6983.53
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.375
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.35
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 : 3491.775
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 : 6983.53
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 : 3647.044
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.35
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.184
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 : 6983.53
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.191
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123386348 kB
MemAvailable: 128841780 kB
Buffers: 515768 kB
Cached: 5721488 kB
SwapCached: 0 kB
Active: 1081524 kB
Inactive: 6492144 kB
Active(anon): 3464 kB
Inactive(anon): 1378512 kB
Active(file): 1078060 kB
Inactive(file): 5113632 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13080 kB
Writeback: 0 kB
AnonPages: 1335296 kB
Mapped: 137648 kB
Shmem: 45896 kB
KReclaimable: 207880 kB
Slab: 326404 kB
SReclaimable: 207880 kB
SUnreclaim: 118524 kB
KernelStack: 3916 kB
PageTables: 11996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1784684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 692224 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC005 at 2024-07-19 07:14:25