1082.70/1085.62 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1082.70/1085.62 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1082.80/1085.75 c Starting SCIP solver (with time-limit = 1800s) ...
2878.05/2885.77 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/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 (63130 MiB free)
memory of node 1: 64510 MiB (62520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439126-1721218674/watcher-4439126-1721218674 -o /tmp/evaluation-result-4439126-1721218674/solver-4439126-1721218674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904502 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439126-1721218674.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
Starting watchdog thread
solver pid=904560, runsolver pid=904555
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 1.12 1.51 2.66 6/242 904563
/proc/meminfo: memFree=128633344/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=27748 memory=12620 CPUtime=0.11 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 3028 0 0 0 10 1 0 0 20 0 1 0 174025405 28413952 3155 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 6937 3155 926 2594 0 3830 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27748 KiB
Current children cumulated memory: 12620 KiB
[startup+0.214078 s]*
/proc/loadavg: 1.12 1.51 2.66 7/242 904563
/proc/meminfo: memFree=128569932/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=42776 memory=26984 CPUtime=0.21 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 6601 0 0 0 20 1 0 0 20 0 1 0 174025405 43802624 6746 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 10694 6746 926 2594 0 7587 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 26984 KiB
[startup+0.314281 s]*
/proc/loadavg: 1.12 1.51 2.66 6/242 904563
/proc/meminfo: memFree=128529396/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=50388 memory=34764 CPUtime=0.31 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 9205 0 0 0 29 2 0 0 20 0 1 0 174025405 51597312 8691 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 12597 8691 958 2594 0 9490 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50388 KiB
Current children cumulated memory: 34764 KiB
[startup+0.700396 s]
/proc/loadavg: 1.12 1.51 2.66 6/242 904563
/proc/meminfo: memFree=128456008/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=58428 memory=41944 CPUtime=0.69 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 10463 0 0 0 66 3 0 0 20 0 1 0 174025405 59830272 10486 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 14607 10486 990 2594 0 11500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58428 KiB
Current children cumulated memory: 41944 KiB
[startup+1.50037 s]
/proc/loadavg: 1.12 1.51 2.66 6/242 904563
/proc/meminfo: memFree=128292692/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=58568 memory=42360 CPUtime=1.48 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 11797 0 0 0 145 3 0 0 20 0 1 0 174025405 59973632 10590 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 14642 10590 990 2594 0 11535 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58568 KiB
Current children cumulated memory: 42360 KiB
[startup+3.11364 s]
/proc/loadavg: 1.12 1.51 2.66 7/242 904563
/proc/meminfo: memFree=128141036/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=101092 memory=83300 CPUtime=3.09 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 20737 0 0 0 303 6 0 0 20 0 1 0 174025405 103518208 20825 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 25273 20825 1006 2594 0 22166 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 101092 KiB
Current children cumulated memory: 83300 KiB
[startup+6.30032 s]
/proc/loadavg: 1.35 1.56 2.66 7/242 904563
/proc/meminfo: memFree=128057796/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=93632 memory=77936 CPUtime=6.27 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 21963 0 0 0 621 6 0 0 20 0 1 0 174025405 95879168 19484 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 23408 19484 1006 2594 0 20301 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93632 KiB
Current children cumulated memory: 77936 KiB
[startup+12.7003 s]
/proc/loadavg: 1.56 1.60 2.67 6/242 904564
/proc/meminfo: memFree=127802028/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=94972 memory=79772 CPUtime=12.65 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 22417 0 0 0 1259 6 0 0 20 0 1 0 174025405 97251328 19943 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 23743 19943 1006 2594 0 20636 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94972 KiB
Current children cumulated memory: 79772 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 1.72 2.69 6/242 904566
/proc/meminfo: memFree=127748508/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=102196 memory=86992 CPUtime=25.41 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 23210 0 0 0 2535 6 0 0 20 0 1 0 174025405 104648704 21748 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 25549 21748 1006 2594 0 22442 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 102196 KiB
Current children cumulated memory: 86992 KiB
[startup+51.1133 s]
/proc/loadavg: 3.02 1.96 2.75 6/242 904570
/proc/meminfo: memFree=127641508/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=102196 memory=86992 CPUtime=50.97 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 23223 0 0 0 5090 7 0 0 20 0 1 0 174025405 104648704 21748 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 25549 21748 1006 2594 0 22442 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 102196 KiB
Current children cumulated memory: 86992 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 2.46 2.88 7/242 904579
/proc/meminfo: memFree=127611316/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=113072 memory=97748 CPUtime=102.02 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 29067 0 0 0 10192 10 0 0 20 0 1 0 174025405 115785728 24437 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 28268 24437 1006 2594 0 25161 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 113072 KiB
Current children cumulated memory: 97748 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 2.78 2.96 6/244 904594
/proc/meminfo: memFree=127573928/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=117632 memory=102376 CPUtime=161.87 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 29722 0 0 0 16177 10 0 0 20 0 1 0 174025405 120455168 25594 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 29408 25594 1006 2594 0 26301 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 117632 KiB
Current children cumulated memory: 102376 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.02 3.04 6/244 904605
/proc/meminfo: memFree=127536844/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=118160 memory=103080 CPUtime=221.71 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 29870 0 0 0 22161 10 0 0 20 0 1 0 174025405 120995840 25770 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 29540 25770 1006 2594 0 26433 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 103080 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.23 3.11 7/244 904615
/proc/meminfo: memFree=127520936/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=123840 memory=108564 CPUtime=281.56 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 31843 0 0 0 28145 11 0 0 20 0 1 0 174025405 126812160 27141 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 30960 27141 1006 2594 0 27853 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 123840 KiB
Current children cumulated memory: 108564 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 3.45 3.20 6/245 904629
/proc/meminfo: memFree=127491256/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=131092 memory=115756 CPUtime=341.41 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 32650 0 0 0 34129 12 0 0 20 0 1 0 174025405 134238208 28939 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 32773 28939 1006 2594 0 29666 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 115756 KiB
[startup+402.3 s]
/proc/loadavg: 5.30 3.86 3.35 6/245 904640
/proc/meminfo: memFree=127444288/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=129508 memory=113344 CPUtime=401.25 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 36936 0 0 0 40111 14 0 0 20 0 1 0 174025405 132616192 28336 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 32377 28336 1006 2594 0 29270 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 129508 KiB
Current children cumulated memory: 113344 KiB
[startup+462.3 s]
/proc/loadavg: 5.51 4.22 3.51 6/245 905034
/proc/meminfo: memFree=127403692/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=148332 memory=133200 CPUtime=461.09 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 39994 0 0 0 46094 15 0 0 20 0 1 0 174025405 151891968 33300 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 37083 33300 1006 2594 0 33976 0
################
# More data... #
################
Current children cumulated memory: 772932 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.06 6/242 906268
/proc/meminfo: memFree=126581032/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=797296 memory=772932 CPUtime=2854.72 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 156927 0 0 0 285416 56 0 0 20 0 1 0 174025405 816431104 193233 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 199324 193233 2986 2594 0 196217 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 797296 KiB
Current children cumulated memory: 772932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/241 906279
/proc/meminfo: memFree=126691104/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=670980 memory=662308 CPUtime=2914.56 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157276 0 0 0 291400 56 0 0 20 0 1 0 174025405 687083520 165577 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 167745 165577 2986 2594 0 164638 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 670980 KiB
Current children cumulated memory: 662308 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/241 906289
/proc/meminfo: memFree=126752140/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=2974.4 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157376 0 0 0 297384 56 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.07 6/241 906299
/proc/meminfo: memFree=126751348/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3034.24 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157496 0 0 0 303368 56 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.07 6/241 906310
/proc/meminfo: memFree=126751120/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3094.08 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157582 0 0 0 309352 56 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.07 6/244 906326
/proc/meminfo: memFree=126748300/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3153.94 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157734 0 0 0 315337 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.08 6/244 906336
/proc/meminfo: memFree=126747772/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3213.78 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157830 0 0 0 321321 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 7/244 906348
/proc/meminfo: memFree=126746984/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3273.62 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 157950 0 0 0 327305 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.09 6/244 906358
/proc/meminfo: memFree=126746648/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3333.47 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158045 0 0 0 333290 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.09 6/244 906368
/proc/meminfo: memFree=126745880/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3393.31 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158194 0 0 0 339274 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.09 6/244 906379
/proc/meminfo: memFree=126745480/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3453.16 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158295 0 0 0 345259 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.09 6/241 906390
/proc/meminfo: memFree=126744796/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3513 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158436 0 0 0 351243 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.09 6/241 906400
/proc/meminfo: memFree=126744208/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3572.84 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158551 0 0 0 357227 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.25 4.17 4.10 6/241 906404
/proc/meminfo: memFree=126744044/131655788 swapFree=131071996/131071996
[pid=904560] ppid=904555 vsize=605900 memory=599404 CPUtime=3600.07 cores=5,7
/proc/904560/stat : 904560 (CASHWMaxSAT-Dis) R 904555 904560 904489 0 -1 4194304 158636 0 0 0 359950 57 0 0 20 0 1 0 174025405 620441600 149851 134679101440 4194304 14817773 140730492693808 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42184704 140730492695524 140730492695639 140730492695639 140730492702655 0
/proc/904560/statm: 151475 149851 2986 2594 0 148368 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 605900 KiB
Current children cumulated memory: 599404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 904560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.51 s, system=0.582109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.09
CPU user time (s): 3599.51
CPU system time (s): 0.582109
CPU usage (%): 99.7364
Max. virtual memory (cumulated for all children) (KiB): 797296
Max. memory (cumulated for all children) (KiB): 772932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.51
system time used= 0.582109
maximum resident set size= 772932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158636
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= 45
involuntary context switches= 1241
# summary of solver processes directly reported to runsolver:
# pid: 904560
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.51
# total CPU system time (s): 0.582109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.789 second user time and 38.3505 second system time
The end
Begin job on nodeC002 at 2024-07-17 14:18:06
IDJOB=4439126
IDBENCH=147583
IDSOLVER=3075
FILE ID=nodeC002/4439126-1721218674
RUNJOBID= nodeC002-1721218686-904502
SLURM_JOB_ID= 7508947
Free space on /tmp= 723784 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4439126-1721218674/watcher-4439126-1721218674 -o /tmp/evaluation-result-4439126-1721218674/solver-4439126-1721218674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904502 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439126-1721218674.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=1929008935
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.704
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 : 1197.328
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.154
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.151
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.151
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 : 1197.488
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.307
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.152
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: 128671864 kB
MemAvailable: 129903640 kB
Buffers: 470716 kB
Cached: 1591252 kB
SwapCached: 0 kB
Active: 790936 kB
Inactive: 1634516 kB
Active(anon): 2588 kB
Inactive(anon): 398596 kB
Active(file): 788348 kB
Inactive(file): 1235920 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55136 kB
Writeback: 0 kB
AnonPages: 363248 kB
Mapped: 108708 kB
Shmem: 37704 kB
KReclaimable: 95076 kB
Slab: 194328 kB
SReclaimable: 95076 kB
SUnreclaim: 99252 kB
KernelStack: 3696 kB
PageTables: 9456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 679212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56768 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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= 723728 MiB
End job on nodeC002 at 2024-07-17 15:18:16