0.09/0.12 c Filename:instance-4447776-1721362669.opb, Cutoff_time:3600, memory_limit_gb:500000
0.09/0.12 c Use Presolve
0.09/0.12 c Parse finsih
0.09/0.12 c Start Presolve
0.09/0.12 c After Reduce Vars: 354 Clauses: 944 Top clause weight: 1 Hard Clauses: 944
3599.93/3609.08 c Use LS-small
3599.93/3609.08 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 (63115 MiB free)
memory of node 1: 64473 MiB (63266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447776-1721362669/watcher-4447776-1721362669 -o /tmp/evaluation-result-4447776-1721362669/solver-4447776-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995437 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447776-1721362669.opb -t 3600 -s 1709170286
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=995491, runsolver pid=995486
[startup+0.100564 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129383496/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=28552 memory=21444 CPUtime=0.09 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 2346 0 0 0 9 0 0 0 20 0 1 0 188424083 29237248 5361 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 7138 5361 2785 2753 0 3791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28552 KiB
Current children cumulated memory: 21444 KiB
[startup+0.214491 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129376524/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=32660 memory=25732 CPUtime=0.21 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 3773 0 0 0 20 1 0 0 20 0 1 0 188424083 33443840 6433 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 8165 6433 2833 2753 0 4818 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32660 KiB
Current children cumulated memory: 25732 KiB
[startup+0.314034 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129369008/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=32660 memory=25732 CPUtime=0.31 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 3781 0 0 0 30 1 0 0 20 0 1 0 188424083 33443840 6433 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 8165 6433 2833 2753 0 4818 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32660 KiB
Current children cumulated memory: 25732 KiB
[startup+0.700357 s]
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129360780/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=39740 memory=31860 CPUtime=0.68 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 5318 0 0 0 67 1 0 0 20 0 1 0 188424083 40693760 7965 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 9935 7965 2849 2753 0 6588 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 31860 KiB
[startup+1.50031 s]
/proc/loadavg: 1.41 1.42 2.21 5/243 995500
/proc/meminfo: memFree=129345204/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=40116 memory=32916 CPUtime=1.47 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 5567 0 0 0 146 1 0 0 20 0 1 0 188424083 41078784 8229 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 10029 8229 2849 2753 0 6682 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 40116 KiB
Current children cumulated memory: 32916 KiB
[startup+3.11292 s]
/proc/loadavg: 1.41 1.42 2.21 5/243 995500
/proc/meminfo: memFree=129337712/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=41492 memory=34500 CPUtime=3.08 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 5986 0 0 0 307 1 0 0 20 0 1 0 188424083 42487808 8625 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 10373 8625 2849 2753 0 7026 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41492 KiB
Current children cumulated memory: 34500 KiB
[startup+6.30026 s]
/proc/loadavg: 1.62 1.46 2.22 5/243 995502
/proc/meminfo: memFree=129306992/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=63712 memory=55084 CPUtime=6.25 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 11137 0 0 0 623 2 0 0 20 0 1 0 188424083 65241088 13771 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 15928 13771 2849 2753 0 12581 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 63712 KiB
Current children cumulated memory: 55084 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.50 2.23 5/243 995502
/proc/meminfo: memFree=129279804/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=71932 memory=63768 CPUtime=12.62 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 14415 0 0 0 1260 2 0 0 20 0 1 0 188424083 73658368 15942 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 17983 15942 2849 2753 0 14636 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 71932 KiB
Current children cumulated memory: 63768 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 1.59 2.25 5/243 995503
/proc/meminfo: memFree=129231840/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=74540 memory=67192 CPUtime=25.38 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 15284 0 0 0 2535 3 0 0 20 0 1 0 188424083 76328960 16798 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 18635 16798 2849 2753 0 15288 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 74540 KiB
Current children cumulated memory: 67192 KiB
[startup+51.1126 s]
/proc/loadavg: 3.01 1.85 2.31 5/243 995508
/proc/meminfo: memFree=129134000/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=89552 memory=82472 CPUtime=50.88 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 19686 0 0 0 5085 3 0 0 20 0 1 0 188424083 91701248 20618 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 22388 20618 2849 2753 0 19041 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 89552 KiB
Current children cumulated memory: 82472 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.18 2.41 5/243 995516
/proc/meminfo: memFree=128949244/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=128888 memory=120204 CPUtime=101.89 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 29015 0 0 0 10184 5 0 0 20 0 1 0 188424083 131981312 30051 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 32222 30051 2849 2753 0 28875 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 128888 KiB
Current children cumulated memory: 120204 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.53 2.51 5/243 995526
/proc/meminfo: memFree=128749540/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=168096 memory=161560 CPUtime=161.71 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 39324 0 0 0 16164 7 0 0 20 0 1 0 188424083 172130304 40390 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 42024 40390 2849 2753 0 38677 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 168096 KiB
Current children cumulated memory: 161560 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.85 2.62 5/245 995541
/proc/meminfo: memFree=128564948/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=208684 memory=202824 CPUtime=221.52 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 49706 0 0 0 22144 8 0 0 20 0 1 0 188424083 213692416 50706 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 52171 50706 2849 2753 0 48824 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 208684 KiB
Current children cumulated memory: 202824 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.08 2.72 5/245 995551
/proc/meminfo: memFree=128374400/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=257680 memory=247508 CPUtime=281.33 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 60939 0 0 0 28123 10 0 0 20 0 1 0 188424083 263864320 61877 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 64420 61877 2849 2753 0 61073 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 257680 KiB
Current children cumulated memory: 247508 KiB
[startup+342.3 s]
/proc/loadavg: 5.62 3.65 2.94 5/243 995561
/proc/meminfo: memFree=128198128/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=297992 memory=289568 CPUtime=341.14 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 71478 0 0 0 34102 12 0 0 20 0 1 0 188424083 305143808 72392 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 74498 72392 2849 2753 0 71151 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 297992 KiB
Current children cumulated memory: 289568 KiB
[startup+402.3 s]
/proc/loadavg: 5.38 4.00 3.11 5/243 995572
/proc/meminfo: memFree=128018312/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=342980 memory=335188 CPUtime=400.96 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 83131 0 0 0 40082 14 0 0 20 0 1 0 188424083 351211520 83797 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 85745 83797 2849 2753 0 82398 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 342980 KiB
Current children cumulated memory: 335188 KiB
[startup+462.3 s]
/proc/loadavg: 4.55 4.01 3.17 5/243 995583
/proc/meminfo: memFree=127833024/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=384176 memory=377332 CPUtime=460.78 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 93716 0 0 0 46062 16 0 0 20 0 1 0 188424083 393396224 94333 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 96044 94333 2849 2753 0 92697 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.07 5/242 997246
/proc/meminfo: memFree=126830948/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3153.95 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321030 0 0 0 284984 30411 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/244 997260
/proc/meminfo: memFree=126830732/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3213.85 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321031 0 0 0 289636 31749 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/243 997271
/proc/meminfo: memFree=126830312/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3273.75 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321033 0 0 0 294291 33084 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/243 997281
/proc/meminfo: memFree=126830168/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3333.65 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321034 0 0 0 298926 34439 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/243 997291
/proc/meminfo: memFree=126829944/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3393.55 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321036 0 0 0 303583 35772 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/243 997302
/proc/meminfo: memFree=126829644/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3453.46 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321037 0 0 0 308239 37107 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/241 997313
/proc/meminfo: memFree=126829364/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3513.36 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321039 0 0 0 312863 38473 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/241 997323
/proc/meminfo: memFree=126829080/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3573.26 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321040 0 0 0 317522 39804 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3609.09 s]
# the end of solver process 995491 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3195.92 s, system=404.092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.08 5/241 997323
/proc/meminfo: memFree=126829088/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3574.97 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321040 0 0 0 317653 39844 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3574.97 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.08 5/241 997326
/proc/meminfo: memFree=126828964/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3587.73 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 318643 40130 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/241 997326
/proc/meminfo: memFree=126829000/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3594.13 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 319137 40276 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3594.13 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.10 4.08 5/241 997328
/proc/meminfo: memFree=126828896/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3597.32 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 319386 40346 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3597.32 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3608 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997328
/proc/meminfo: memFree=126828936/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3598.93 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 319510 40383 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3608.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997328
/proc/meminfo: memFree=126828936/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3599.71 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 319570 40401 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3599.71 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
[startup+3609 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997374
/proc/meminfo: memFree=127017972/131655788 swapFree=131070704/131071996
[pid=995491] ppid=995486 vsize=753500 memory=748292 CPUtime=3599.93 cores=1,3
/proc/995491/stat : 995491 (LS-MabSP) R 995486 995491 995425 0 -1 4194304 321041 0 0 0 319586 40407 0 0 20 0 1 0 188424083 771584000 187073 134679101440 4194304 15467897 140728067745456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 50094080 140728067748894 140728067748997 140728067748997 140728067756013 0
/proc/995491/statm: 188375 187073 2849 2753 0 185028 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 753500 KiB
Current children cumulated memory: 748292 KiB
Child status: 0
Real time (s): 3609.09
CPU time (s): 3600.01
CPU user time (s): 3195.92
CPU system time (s): 404.092
CPU usage (%): 99.7486
Max. virtual memory (cumulated for all children) (KiB): 1284548
Max. memory (cumulated for all children) (KiB): 1273348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3195.92
system time used= 404.092
maximum resident set size= 1273348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321048
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= 79
involuntary context switches= 2873
# summary of solver processes directly reported to runsolver:
# pid: 995491
# total CPU time (s): 3600.01
# total CPU user time (s): 3195.92
# total CPU system time (s): 404.092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2525 second user time and 32.542 second system time
The end
Begin job on nodeC011 at 2024-07-19 06:18:02
IDJOB=4447776
IDBENCH=160323
IDSOLVER=3047
FILE ID=nodeC011/4447776-1721362669
RUNJOBID= nodeC011-1721362682-995437
SLURM_JOB_ID= 7542785
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447776-1721362669/watcher-4447776-1721362669 -o /tmp/evaluation-result-4447776-1721362669/solver-4447776-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995437 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447776-1721362669.opb -t 3600 -s 1709170286
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b320e8df0d5fbea72b736842c910ba4c
RANDOM SEED=1709170286
nodeC011.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.120
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.20
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.120
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.31
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.276
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.20
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.268
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.31
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.120
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.20
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 : 3292.143
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.31
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.339
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.20
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.120
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129420936 kB
MemAvailable: 130003772 kB
Buffers: 540516 kB
Cached: 882100 kB
SwapCached: 132 kB
Active: 1047396 kB
Inactive: 699352 kB
Active(anon): 1348 kB
Inactive(anon): 360188 kB
Active(file): 1046048 kB
Inactive(file): 339164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 64796 kB
Writeback: 0 kB
AnonPages: 324052 kB
Mapped: 109604 kB
Shmem: 37400 kB
KReclaimable: 75648 kB
Slab: 157764 kB
SReclaimable: 75648 kB
SUnreclaim: 82116 kB
KernelStack: 3712 kB
PageTables: 9280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 716260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC011 at 2024-07-19 07:18:11