0.00/0.04 c Filename:instance-4447716-1721362669.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.04 c Use Presolve
0.00/0.04 c Parse finsih
0.00/0.04 c Start Presolve
0.00/0.04 c After Reduce Vars: 93 Clauses: 248 Top clause weight: 1 Hard Clauses: 248
3599.97/3611.13 c Use LS-small
3599.97/3611.13 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 (63264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447716-1721362669/watcher-4447716-1721362669 -o /tmp/evaluation-result-4447716-1721362669/solver-4447716-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995435 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447716-1721362669.opb -t 3600 -s 1709170286
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=995497, runsolver pid=995488
[startup+0.100918 s]*
/proc/loadavg: 1.19 1.38 2.20 7/243 995500
/proc/meminfo: memFree=129383496/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=26116 memory=19388 CPUtime=0.1 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 1720 0 0 0 10 0 0 0 20 0 1 0 188424083 26742784 4847 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 6529 4847 2849 2753 0 3182 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26116 KiB
Current children cumulated memory: 19388 KiB
[startup+0.215025 s]*
/proc/loadavg: 1.19 1.38 2.20 7/243 995500
/proc/meminfo: memFree=129376524/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=27084 memory=20176 CPUtime=0.21 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 1964 0 0 0 21 0 0 0 20 0 1 0 188424083 27734016 5044 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 6771 5044 2849 2753 0 3424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27084 KiB
Current children cumulated memory: 20176 KiB
[startup+0.322981 s]*
/proc/loadavg: 1.19 1.38 2.20 7/243 995500
/proc/meminfo: memFree=129367328/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=31412 memory=23608 CPUtime=0.32 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 2833 0 0 0 32 0 0 0 20 0 1 0 188424083 32165888 5902 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 7853 5902 2849 2753 0 4506 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 31412 KiB
Current children cumulated memory: 23608 KiB
[startup+0.700317 s]
/proc/loadavg: 1.19 1.38 2.20 7/243 995500
/proc/meminfo: memFree=129360780/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=32696 memory=25192 CPUtime=0.68 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 3221 0 0 0 68 0 0 0 20 0 1 0 188424083 33480704 6298 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 8174 6298 2849 2753 0 4827 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 25192 KiB
[startup+1.50032 s]
/proc/loadavg: 1.41 1.42 2.21 7/243 995500
/proc/meminfo: memFree=129345204/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=34760 memory=27304 CPUtime=1.48 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 3723 0 0 0 147 1 0 0 20 0 1 0 188424083 35594240 6826 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 8690 6826 2849 2753 0 5343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34760 KiB
Current children cumulated memory: 27304 KiB
[startup+3.11383 s]
/proc/loadavg: 1.41 1.42 2.21 7/243 995500
/proc/meminfo: memFree=129337712/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=35048 memory=27828 CPUtime=3.09 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 3868 0 0 0 308 1 0 0 20 0 1 0 188424083 35889152 6957 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 8762 6957 2849 2753 0 5415 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35048 KiB
Current children cumulated memory: 27828 KiB
[startup+6.30025 s]
/proc/loadavg: 1.62 1.46 2.22 7/243 995502
/proc/meminfo: memFree=129306992/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=36956 memory=30428 CPUtime=6.26 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 4486 0 0 0 625 1 0 0 20 0 1 0 188424083 37842944 7607 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 9239 7607 2849 2753 0 5892 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 36956 KiB
Current children cumulated memory: 30428 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.50 2.23 7/243 995502
/proc/meminfo: memFree=129279804/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=48892 memory=41508 CPUtime=12.63 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 7280 0 0 0 1262 1 0 0 20 0 1 0 188424083 50065408 10377 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 12223 10377 2849 2753 0 8876 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 41508 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 1.59 2.25 7/243 995503
/proc/meminfo: memFree=129231840/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=64768 memory=58660 CPUtime=25.38 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 11590 0 0 0 2537 1 0 0 20 0 1 0 188424083 66322432 14665 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 16192 14665 2849 2753 0 12845 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 64768 KiB
Current children cumulated memory: 58660 KiB
[startup+51.1133 s]
/proc/loadavg: 3.01 1.85 2.31 7/243 995508
/proc/meminfo: memFree=129134000/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=104152 memory=96748 CPUtime=50.89 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 21115 0 0 0 5086 3 0 0 20 0 1 0 188424083 106651648 24187 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 26038 24187 2849 2753 0 22691 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 104152 KiB
Current children cumulated memory: 96748 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.18 2.41 7/243 995516
/proc/meminfo: memFree=128949244/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=169540 memory=163580 CPUtime=101.86 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 37896 0 0 0 10180 6 0 0 20 0 1 0 188424083 173608960 40895 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 42385 40895 2849 2753 0 39038 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 169540 KiB
Current children cumulated memory: 163580 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.53 2.51 7/243 995526
/proc/meminfo: memFree=128749540/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=254572 memory=246588 CPUtime=161.58 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 58714 0 0 0 16148 10 0 0 20 0 1 0 188424083 260681728 61647 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 63643 61647 2849 2753 0 60296 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 254572 KiB
Current children cumulated memory: 246588 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.85 2.62 7/245 995541
/proc/meminfo: memFree=128564948/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=326988 memory=320800 CPUtime=221.31 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 77438 0 0 0 22119 12 0 0 20 0 1 0 188424083 334835712 80200 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 81747 80200 2849 2753 0 78400 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 326988 KiB
Current children cumulated memory: 320800 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.08 2.72 7/245 995551
/proc/meminfo: memFree=128374400/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=409688 memory=398288 CPUtime=281.06 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 96521 0 0 0 28090 16 0 0 20 0 1 0 188424083 419520512 99572 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 102422 99572 2849 2753 0 99075 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 409688 KiB
Current children cumulated memory: 398288 KiB
[startup+342.3 s]
/proc/loadavg: 5.62 3.65 2.94 7/243 995561
/proc/meminfo: memFree=128198128/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=476416 memory=467564 CPUtime=340.8 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 113526 0 0 0 34061 19 0 0 20 0 1 0 188424083 487849984 116891 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 119104 116891 2849 2753 0 115757 0
Current children cumulated CPU time: 340.8 s
Current children cumulated vsize: 476416 KiB
Current children cumulated memory: 467564 KiB
[startup+402.3 s]
/proc/loadavg: 5.38 4.00 3.11 7/243 995572
/proc/meminfo: memFree=128018312/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=547148 memory=538368 CPUtime=400.55 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 131479 0 0 0 40033 22 0 0 20 0 1 0 188424083 560279552 134592 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 136787 134592 2849 2753 0 133440 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 547148 KiB
Current children cumulated memory: 538368 KiB
[startup+462.3 s]
/proc/loadavg: 4.55 4.01 3.17 7/243 995583
/proc/meminfo: memFree=127833024/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=621420 memory=613368 CPUtime=460.29 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 150475 0 0 0 46004 25 0 0 20 0 1 0 188424083 636334080 153342 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 155355 153342 2849 2753 0 152008 0
################
# More data... #
################
/proc/loadavg: 4.12 4.11 4.07 7/243 997271
/proc/meminfo: memFree=126830312/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3271.79 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511101 0 0 0 293837 33342 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.07 7/243 997281
/proc/meminfo: memFree=126830168/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3331.68 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511103 0 0 0 298491 34677 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3331.68 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.07 7/243 997291
/proc/meminfo: memFree=126829944/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3391.56 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511105 0 0 0 303148 36008 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.08 7/243 997302
/proc/meminfo: memFree=126829644/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3451.44 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511107 0 0 0 307767 37377 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.08 7/241 997313
/proc/meminfo: memFree=126829364/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3511.33 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511109 0 0 0 312395 38738 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.08 7/241 997323
/proc/meminfo: memFree=126829080/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3571.22 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511111 0 0 0 317025 40097 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3611.14 s]
# the end of solver process 995497 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3192.47 s, system=407.542 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 7/241 997323
/proc/meminfo: memFree=126829088/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3572.92 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511111 0 0 0 317159 40133 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.08 7/241 997326
/proc/meminfo: memFree=126828964/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3585.69 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 318148 40421 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.10 4.08 7/241 997326
/proc/meminfo: memFree=126829000/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3592.08 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 318640 40568 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3592.08 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.10 4.08 7/241 997328
/proc/meminfo: memFree=126828896/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3595.28 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 318885 40643 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3595.28 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3609.6 s]
/proc/loadavg: 4.15 4.12 4.09 6/241 997374
/proc/meminfo: memFree=127017972/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3598.47 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 319128 40719 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3598.47 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997420
/proc/meminfo: memFree=127721652/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3599.26 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 319188 40738 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3599.26 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3610.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997420
/proc/meminfo: memFree=127721652/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3599.67 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 319219 40748 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3599.67 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3611 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997466
/proc/meminfo: memFree=128554708/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3599.88 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 319237 40751 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
[startup+3611.11 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997466
/proc/meminfo: memFree=128554708/131655788 swapFree=131070704/131071996
[pid=995497] ppid=995488 vsize=796944 memory=791784 CPUtime=3599.97 cores=0,2
/proc/995497/stat : 995497 (LS-MabSP) R 995488 995497 995425 0 -1 4194304 511112 0 0 0 319244 40753 0 0 20 0 1 0 188424083 816070656 197946 134679101440 4194304 15467897 140726611953856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53956608 140726611956766 140726611956869 140726611956869 140726611963885 0
/proc/995497/statm: 199236 197946 2849 2753 0 195889 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 796944 KiB
Current children cumulated memory: 791784 KiB
Child status: 0
Real time (s): 3611.14
CPU time (s): 3600.01
CPU user time (s): 3192.47
CPU system time (s): 407.542
CPU usage (%): 99.6918
Max. virtual memory (cumulated for all children) (KiB): 2044700
Max. memory (cumulated for all children) (KiB): 2017640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3192.47
system time used= 407.542
maximum resident set size= 2017640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511122
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= 71
involuntary context switches= 25240
# summary of solver processes directly reported to runsolver:
# pid: 995497
# total CPU time (s): 3600.01
# total CPU user time (s): 3192.47
# total CPU system time (s): 407.542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9551 second user time and 35.1774 second system time
The end
Begin job on nodeC011 at 2024-07-19 06:18:02
IDJOB=4447716
IDBENCH=160032
IDSOLVER=3047
FILE ID=nodeC011/4447716-1721362669
RUNJOBID= nodeC011-1721362682-995435
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-n62-d3-i3-r2.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-4447716-1721362669/watcher-4447716-1721362669 -o /tmp/evaluation-result-4447716-1721362669/solver-4447716-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995435 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447716-1721362669.opb -t 3600 -s 1709170286
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9609dcb4dff0e4cd594607c8c2a4557e
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:13