1536.24/1540.37 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1536.24/1540.37 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1536.55/1540.64 c Starting SCIP solver (with time-limit = 1800s) ...
3332.02/3340.90 c SCIP timeout with lower and upper bounds: [5, 9223372036854775807]
3600.02/3609.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (56406 MiB free)
memory of node 1: 64510 MiB (61704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439225-1721226603/watcher-4439225-1721226603 -o /tmp/evaluation-result-4439225-1721226603/solver-4439225-1721226603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904502 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439225-1721226603.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=909955, runsolver pid=909952
[startup+0.10011 s]*
/proc/loadavg: 4.06 4.15 4.16 5/245 909958
/proc/meminfo: memFree=120924192/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=43324 memory=28948 CPUtime=0.1 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 6173 0 0 0 9 1 0 0 20 0 1 0 174818317 44363776 7237 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 10831 7237 926 2594 0 7724 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 28948 KiB
[startup+0.213083 s]*
/proc/loadavg: 4.06 4.15 4.16 5/245 909958
/proc/meminfo: memFree=120899060/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=70516 memory=55208 CPUtime=0.21 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 11050 0 0 0 19 2 0 0 20 0 1 0 174818317 72208384 13802 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 17629 13802 926 2594 0 14522 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70516 KiB
Current children cumulated memory: 55208 KiB
[startup+0.313088 s]*
/proc/loadavg: 4.06 4.15 4.16 5/245 909958
/proc/meminfo: memFree=120861528/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=104948 memory=89588 CPUtime=0.31 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 18153 0 0 0 28 3 0 0 20 0 1 0 174818317 107466752 22397 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 26237 22397 926 2594 0 23130 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 104948 KiB
Current children cumulated memory: 89588 KiB
[startup+0.700345 s]
/proc/loadavg: 4.06 4.15 4.16 5/245 909958
/proc/meminfo: memFree=120863836/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=106228 memory=89992 CPUtime=0.69 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 20286 0 0 0 66 3 0 0 20 0 1 0 174818317 108777472 22498 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 26557 22498 990 2594 0 23450 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 89992 KiB
[startup+1.50034 s]
/proc/loadavg: 4.06 4.15 4.16 5/245 909958
/proc/meminfo: memFree=120846932/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=126236 memory=110108 CPUtime=1.49 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 21721 0 0 0 145 4 0 0 20 0 1 0 174818317 129265664 27527 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 31559 27527 990 2594 0 28452 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126236 KiB
Current children cumulated memory: 110108 KiB
[startup+3.11292 s]
/proc/loadavg: 4.05 4.14 4.16 5/245 909958
/proc/meminfo: memFree=120828364/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=136396 memory=120416 CPUtime=3.09 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 22269 0 0 0 305 4 0 0 20 0 1 0 174818317 139669504 30104 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 34099 30104 1006 2594 0 30992 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 136396 KiB
Current children cumulated memory: 120416 KiB
[startup+6.30033 s]
/proc/loadavg: 4.05 4.14 4.16 5/245 909958
/proc/meminfo: memFree=120827940/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=136396 memory=120636 CPUtime=6.27 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 22364 0 0 0 623 4 0 0 20 0 1 0 174818317 139669504 30159 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 34099 30159 1006 2594 0 30992 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136396 KiB
Current children cumulated memory: 120636 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 909959
/proc/meminfo: memFree=120827804/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=136396 memory=120836 CPUtime=12.66 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 22624 0 0 0 1262 4 0 0 20 0 1 0 174818317 139669504 30209 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 34099 30209 1006 2594 0 30992 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 136396 KiB
Current children cumulated memory: 120836 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.15 4.16 5/245 909961
/proc/meminfo: memFree=120847440/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=116452 memory=100928 CPUtime=25.42 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 24623 0 0 0 2537 5 0 0 20 0 1 0 174818317 119246848 25232 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 29113 25232 1006 2594 0 26006 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 116452 KiB
Current children cumulated memory: 100928 KiB
[startup+51.1129 s]
/proc/loadavg: 4.07 4.14 4.16 5/246 910024
/proc/meminfo: memFree=120841532/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=121336 memory=105940 CPUtime=50.97 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 25950 0 0 0 5091 6 0 0 20 0 1 0 174818317 124248064 26485 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 30334 26485 1006 2594 0 27227 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 121336 KiB
Current children cumulated memory: 105940 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/244 910033
/proc/meminfo: memFree=120818684/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=142916 memory=127312 CPUtime=102.03 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 29622 0 0 0 10194 9 0 0 20 0 1 0 174818317 146345984 31828 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 35729 31828 1006 2594 0 32622 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 142916 KiB
Current children cumulated memory: 127312 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/244 910045
/proc/meminfo: memFree=120866804/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=145236 memory=129560 CPUtime=161.88 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 30231 0 0 0 16179 9 0 0 20 0 1 0 174818317 148721664 32390 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 36309 32390 1006 2594 0 33202 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 145236 KiB
Current children cumulated memory: 129560 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.11 4.14 5/244 910055
/proc/meminfo: memFree=120792144/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=201196 memory=185644 CPUtime=221.73 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 33488 0 0 0 22161 12 0 0 20 0 1 0 174818317 206024704 46411 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 50299 46411 1006 2594 0 47192 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 201196 KiB
Current children cumulated memory: 185644 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 910066
/proc/meminfo: memFree=120264564/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=197560 memory=182088 CPUtime=281.58 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 33784 0 0 0 28145 13 0 0 20 0 1 0 174818317 202301440 45522 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 49390 45522 1006 2594 0 46283 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 197560 KiB
Current children cumulated memory: 182088 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 910078
/proc/meminfo: memFree=120737336/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=158296 memory=142668 CPUtime=341.43 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 35864 0 0 0 34127 16 0 0 20 0 1 0 174818317 162095104 35667 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 39574 35667 1006 2594 0 36467 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 158296 KiB
Current children cumulated memory: 142668 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/241 910089
/proc/meminfo: memFree=120719904/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=176664 memory=161012 CPUtime=401.28 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 36903 0 0 0 40112 16 0 0 20 0 1 0 174818317 180903936 40253 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 44166 40253 1006 2594 0 41059 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 176664 KiB
Current children cumulated memory: 161012 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/241 910099
/proc/meminfo: memFree=120716276/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=179348 memory=164000 CPUtime=461.13 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 37125 0 0 0 46097 16 0 0 20 0 1 0 174818317 183652352 41000 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
################
# More data... #
################
Current children cumulated memory: 1592784 KiB
[startup+2862.3 s]
/proc/loadavg: 4.87 4.35 4.18 5/241 911218
/proc/meminfo: memFree=120194728/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1592784 CPUtime=2854.43 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 368677 0 0 0 285329 114 0 0 20 0 1 0 174818317 1960017920 398196 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398196 2718 2594 0 475413 0
Current children cumulated CPU time: 2854.43 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1592784 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.27 4.16 4/234 911260
/proc/meminfo: memFree=126441828/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1592800 CPUtime=2914.27 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 368728 0 0 0 291313 114 0 0 20 0 1 0 174818317 1960017920 398200 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398200 2718 2594 0 475413 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1592800 KiB
[startup+2982.3 s]
/proc/loadavg: 3.47 4.05 4.09 4/234 911271
/proc/meminfo: memFree=126442364/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1593396 CPUtime=2974.14 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 368804 0 0 0 297300 114 0 0 20 0 1 0 174818317 1960017920 398349 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398349 2718 2594 0 475413 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1593396 KiB
[startup+3042.3 s]
/proc/loadavg: 3.36 3.92 4.04 4/236 911286
/proc/meminfo: memFree=126441156/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1593396 CPUtime=3034.02 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 368879 0 0 0 303287 115 0 0 20 0 1 0 174818317 1960017920 398349 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398349 2718 2594 0 475413 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1593396 KiB
[startup+3102.3 s]
/proc/loadavg: 3.89 3.95 4.04 4/236 911296
/proc/meminfo: memFree=126440112/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1593820 CPUtime=3093.9 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 368966 0 0 0 309275 115 0 0 20 0 1 0 174818317 1960017920 398455 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398455 2718 2594 0 475413 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1593820 KiB
[startup+3162.3 s]
/proc/loadavg: 3.55 3.85 4.00 4/236 911307
/proc/meminfo: memFree=126439500/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1593840 CPUtime=3153.78 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 369063 0 0 0 315263 115 0 0 20 0 1 0 174818317 1960017920 398460 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398460 2718 2594 0 475413 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1593840 KiB
[startup+3222.3 s]
/proc/loadavg: 3.26 3.71 3.94 4/236 911317
/proc/meminfo: memFree=126437620/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1594368 CPUtime=3213.66 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 369171 0 0 0 321251 115 0 0 20 0 1 0 174818317 1960017920 398592 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 398592 2718 2594 0 475413 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1594368 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.58 3.88 4/236 911327
/proc/meminfo: memFree=126425604/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1914080 memory=1597384 CPUtime=3273.54 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 369315 0 0 0 327239 115 0 0 20 0 1 0 174818317 1960017920 399346 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 478520 399346 2718 2594 0 475413 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 1914080 KiB
Current children cumulated memory: 1597384 KiB
[startup+3342.3 s]
/proc/loadavg: 3.69 3.65 3.89 4/235 911722
/proc/meminfo: memFree=126540476/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1769056 memory=1481688 CPUtime=3333.42 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 369656 0 0 0 333227 115 0 0 20 0 1 0 174818317 1811513344 370422 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 442264 370422 2718 2594 0 439157 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 1769056 KiB
Current children cumulated memory: 1481688 KiB
[startup+3402.3 s]
/proc/loadavg: 3.50 3.61 3.86 4/235 911732
/proc/meminfo: memFree=126534148/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1769056 memory=1487800 CPUtime=3393.26 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 370033 0 0 0 339211 115 0 0 20 0 1 0 174818317 1811513344 371950 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 442264 371950 2718 2594 0 439157 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 1769056 KiB
Current children cumulated memory: 1487800 KiB
[startup+3462.3 s]
/proc/loadavg: 3.22 3.52 3.81 4/235 911742
/proc/meminfo: memFree=126727488/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1575356 memory=1294108 CPUtime=3453.1 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 370102 0 0 0 345194 116 0 0 20 0 1 0 174818317 1613164544 323527 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 393839 323527 2718 2594 0 390732 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 1575356 KiB
Current children cumulated memory: 1294108 KiB
[startup+3522.3 s]
/proc/loadavg: 3.21 3.45 3.77 4/237 911922
/proc/meminfo: memFree=126724784/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1575356 memory=1295656 CPUtime=3512.95 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 370398 0 0 0 351179 116 0 0 20 0 1 0 174818317 1613164544 323914 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 393839 323914 2718 2594 0 390732 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 1575356 KiB
Current children cumulated memory: 1295656 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.38 3.72 4/237 911934
/proc/meminfo: memFree=126724024/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1575356 memory=1295924 CPUtime=3572.79 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 370555 0 0 0 357163 116 0 0 20 0 1 0 174818317 1613164544 323981 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 393839 323981 2718 2594 0 390732 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 1575356 KiB
Current children cumulated memory: 1295924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 3.13 3.36 3.70 4/237 911937
/proc/meminfo: memFree=126721732/131655788 swapFree=131071996/131071996
[pid=909955] ppid=909952 vsize=1575356 memory=1297640 CPUtime=3600.02 cores=5,7
/proc/909955/stat : 909955 (CASHWMaxSAT-Dis) R 909952 909955 904489 0 -1 4194304 370614 0 0 0 359886 116 0 0 20 0 1 0 174818317 1613164544 324410 134679101440 4194304 14817773 140724017022400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32202752 140724017030116 140724017030231 140724017030231 140724017037247 0
/proc/909955/statm: 393839 324410 2718 2594 0 390732 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1575356 KiB
Current children cumulated memory: 1297640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 909955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.87 s, system=1.17288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3598.87
CPU system time (s): 1.17288
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 2019620
Max. memory (cumulated for all children) (KiB): 1695468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.17288
maximum resident set size= 1695468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370614
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= 27
involuntary context switches= 1519
# summary of solver processes directly reported to runsolver:
# pid: 909955
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.87
# total CPU system time (s): 1.17288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6106 second user time and 35.5596 second system time
The end
Begin job on nodeC002 at 2024-07-17 16:30:15
IDJOB=4439225
IDBENCH=148770
IDSOLVER=3075
FILE ID=nodeC002/4439225-1721226603
RUNJOBID= nodeC002-1721218686-904502
SLURM_JOB_ID= 7508947
Free space on /tmp= 723724 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439225-1721226603/watcher-4439225-1721226603 -o /tmp/evaluation-result-4439225-1721226603/solver-4439225-1721226603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904502 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439225-1721226603.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=157026258
nodeC002.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 : 3491.692
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.38
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 : 3626.740
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.181
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.38
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.348
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 : 3672.417
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.38
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 : 3491.700
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.405
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.38
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.159
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: 120946124 kB
MemAvailable: 122174384 kB
Buffers: 474272 kB
Cached: 1584040 kB
SwapCached: 0 kB
Active: 816780 kB
Inactive: 9319252 kB
Active(anon): 2708 kB
Inactive(anon): 8112732 kB
Active(file): 814072 kB
Inactive(file): 1206520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14420 kB
Writeback: 4 kB
AnonPages: 8077380 kB
Mapped: 125284 kB
Shmem: 37704 kB
KReclaimable: 95396 kB
Slab: 195144 kB
SReclaimable: 95396 kB
SUnreclaim: 99748 kB
KernelStack: 3984 kB
PageTables: 24968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9403436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3997696 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: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC002 at 2024-07-17 17:30:25