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 (54530 MiB free)
memory of node 1: 64473 MiB (61729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444020-1721313897/watcher-4444020-1721313897 -o /tmp/evaluation-result-4444020-1721313897/solver-4444020-1721313897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721306049-959015 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4444020-1721313897.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=964632, runsolver pid=964629
[startup+0.101033 s]*
/proc/loadavg: 4.11 4.15 4.17 5/244 964633
/proc/meminfo: memFree=119021888/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=30968 memory=10832 CPUtime=0.09 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 2557 0 0 0 9 0 0 0 20 0 1 0 183548473 31711232 2708 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 7742 2708 794 2550 0 4697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30968 KiB
Current children cumulated memory: 10832 KiB
[startup+0.213035 s]*
/proc/loadavg: 4.11 4.15 4.17 5/244 964633
/proc/meminfo: memFree=118991408/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=43256 memory=19032 CPUtime=0.21 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 3541 0 0 0 20 1 0 0 20 0 1 0 183548473 44294144 4758 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 10814 4758 794 2550 0 7769 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 19032 KiB
[startup+0.312933 s]*
/proc/loadavg: 4.11 4.15 4.17 5/244 964633
/proc/meminfo: memFree=118921120/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=93656 memory=69424 CPUtime=0.31 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 10327 0 0 0 29 2 0 0 20 0 1 0 183548473 95903744 17356 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 23414 17356 842 2550 0 20369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 69424 KiB
[startup+0.700326 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 964633
/proc/meminfo: memFree=118884000/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=129408 memory=105424 CPUtime=0.68 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 19233 0 0 0 65 3 0 0 20 0 1 0 183548473 132513792 26356 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 32352 26356 938 2550 0 29307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129408 KiB
Current children cumulated memory: 105424 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 964633
/proc/meminfo: memFree=118820744/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=161540 memory=140804 CPUtime=1.48 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 27697 0 0 0 144 4 0 0 20 0 1 0 183548473 165416960 35201 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 40385 35201 986 2550 0 37340 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 161540 KiB
Current children cumulated memory: 140804 KiB
[startup+3.11272 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 964635
/proc/meminfo: memFree=118802492/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=171512 memory=145704 CPUtime=3.09 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 29927 0 0 0 304 5 0 0 20 0 1 0 183548473 175628288 36426 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 42878 36426 986 2550 0 39833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 171512 KiB
Current children cumulated memory: 145704 KiB
[startup+6.30031 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 964635
/proc/meminfo: memFree=118775796/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=183004 memory=163572 CPUtime=6.26 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 32314 0 0 0 620 6 0 0 20 0 1 0 183548473 187396096 40893 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 45751 40893 986 2550 0 42706 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183004 KiB
Current children cumulated memory: 163572 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 964636
/proc/meminfo: memFree=118775444/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=183004 memory=163724 CPUtime=12.65 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 32356 0 0 0 1259 6 0 0 20 0 1 0 183548473 187396096 40931 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 45751 40931 986 2550 0 42706 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 183004 KiB
Current children cumulated memory: 163724 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.19 4.18 5/244 964638
/proc/meminfo: memFree=118734976/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=183004 memory=163724 CPUtime=25.41 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 32398 0 0 0 2535 6 0 0 20 0 1 0 183548473 187396096 40931 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 45751 40931 986 2550 0 42706 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 183004 KiB
Current children cumulated memory: 163724 KiB
[startup+51.1127 s]
/proc/loadavg: 4.19 4.17 4.18 5/244 964688
/proc/meminfo: memFree=119222608/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=201860 memory=182512 CPUtime=50.96 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33168 0 0 0 5089 7 0 0 20 0 1 0 183548473 206704640 45628 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 50465 45628 986 2550 0 47420 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 201860 KiB
Current children cumulated memory: 182512 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.17 6/242 964835
/proc/meminfo: memFree=122839276/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=201860 memory=182580 CPUtime=102.02 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33231 0 0 0 10195 7 0 0 20 0 1 0 183548473 206704640 45645 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 50465 45645 986 2550 0 47420 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 201860 KiB
Current children cumulated memory: 182580 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 966225
/proc/meminfo: memFree=124195360/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=201860 memory=182580 CPUtime=161.86 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33301 0 0 0 16178 8 0 0 20 0 1 0 183548473 206704640 45645 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 50465 45645 986 2550 0 47420 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 201860 KiB
Current children cumulated memory: 182580 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/242 966280
/proc/meminfo: memFree=124169584/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=201860 memory=182728 CPUtime=221.67 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33394 0 0 0 22159 8 0 0 20 0 1 0 183548473 206704640 45682 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 50465 45682 986 2550 0 47420 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 201860 KiB
Current children cumulated memory: 182728 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 966291
/proc/meminfo: memFree=124132452/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=281.53 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33766 0 0 0 28145 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/244 966305
/proc/meminfo: memFree=124124088/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=341.39 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33841 0 0 0 34131 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/244 966315
/proc/meminfo: memFree=124114196/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=401.25 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33915 0 0 0 40117 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/243 966326
/proc/meminfo: memFree=124101500/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=461.11 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 33989 0 0 0 46103 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
################
# More data... #
################
/proc/loadavg: 4.09 4.14 4.16 5/243 966347
/proc/meminfo: memFree=124095840/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=580.83 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34141 0 0 0 58075 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 966742
/proc/meminfo: memFree=124076128/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=640.66 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34216 0 0 0 64058 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 640.66 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+702.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/243 966753
/proc/meminfo: memFree=124069156/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=700.49 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34291 0 0 0 70041 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 700.49 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+762.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/243 966763
/proc/meminfo: memFree=124064560/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=760.33 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34368 0 0 0 76025 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 760.33 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+822.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/246 966944
/proc/meminfo: memFree=124061580/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=820.16 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34443 0 0 0 82008 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 820.16 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+882.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/246 966955
/proc/meminfo: memFree=124062932/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=879.99 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34521 0 0 0 87991 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 879.99 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+942.3 s]
/proc/loadavg: 4.24 4.19 4.18 5/244 966967
/proc/meminfo: memFree=124062644/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=939.82 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34595 0 0 0 93974 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 939.82 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+996.866 s]
# the end of solver process 964632 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=994.162 s, system=0.087666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.22 4.19 4.18 5/244 966967
/proc/meminfo: memFree=124062644/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=944.71 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34595 0 0 0 94463 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 944.71 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+972.8 s]
/proc/loadavg: 4.15 4.17 4.17 5/244 966983
/proc/meminfo: memFree=124060444/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=970.24 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34597 0 0 0 97016 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 970.24 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+985.6 s]
/proc/loadavg: 4.18 4.18 4.18 5/244 966985
/proc/meminfo: memFree=124058312/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=983 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 98292 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 983 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+992 s]*
/proc/loadavg: 4.17 4.17 4.18 5/244 966986
/proc/meminfo: memFree=124058224/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=989.4 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 98932 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 989.4 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+995.2 s]
/proc/loadavg: 4.15 4.17 4.17 5/244 966986
/proc/meminfo: memFree=124048048/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=992.58 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 99250 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 992.58 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+996 s]*
/proc/loadavg: 4.15 4.17 4.17 5/244 966986
/proc/meminfo: memFree=124048048/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=993.39 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 99331 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 993.39 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+996.4 s]
/proc/loadavg: 4.15 4.17 4.17 5/244 966986
/proc/meminfo: memFree=124048048/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=993.77 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 99369 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 993.77 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
[startup+996.8 s]
/proc/loadavg: 4.15 4.17 4.17 5/244 966986
/proc/meminfo: memFree=124048048/131655788 swapFree=131071996/131071996
[pid=964632] ppid=964629 vsize=232376 memory=190052 CPUtime=994.17 cores=1,3
/proc/964632/stat : 964632 (CASHWMaxSAT-Dis) R 964629 964632 959003 0 -1 4194304 34672 0 0 0 99409 8 0 0 20 0 1 0 183548473 237953024 47513 134679101440 4194304 14636349 140729560996768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49811456 140729560998882 140729560998998 140729560998998 140729561006014 0
/proc/964632/statm: 58094 47513 986 2550 0 55049 0
Current children cumulated CPU time: 994.17 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 190052 KiB
Child status: 30
Real time (s): 996.866
CPU time (s): 994.25
CPU user time (s): 994.162
CPU system time (s): 0.087666
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 232376
Max. memory (cumulated for all children) (KiB): 190052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 994.162
system time used= 0.087666
maximum resident set size= 190052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34678
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= 38
involuntary context switches= 285
# summary of solver processes directly reported to runsolver:
# pid: 964632
# total CPU time (s): 994.25
# total CPU user time (s): 994.162
# total CPU system time (s): 0.087666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01394 second user time and 9.25262 second system time
The end
Begin job on nodeC005 at 2024-07-18 16:45:09
IDJOB=4444020
IDBENCH=147893
IDSOLVER=3076
FILE ID=nodeC005/4444020-1721313897
RUNJOBID= nodeC005-1721306049-959015
SLURM_JOB_ID= 7542637
Free space on /tmp= 723632 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444020-1721313897/watcher-4444020-1721313897 -o /tmp/evaluation-result-4444020-1721313897/solver-4444020-1721313897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721306049-959015 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4444020-1721313897.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=317184767
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3652.723
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3645.934
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3652.879
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.466
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119058328 kB
MemAvailable: 124490800 kB
Buffers: 480940 kB
Cached: 5734276 kB
SwapCached: 0 kB
Active: 1140124 kB
Inactive: 10756228 kB
Active(anon): 3464 kB
Inactive(anon): 5723560 kB
Active(file): 1136660 kB
Inactive(file): 5032668 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 64952 kB
Writeback: 0 kB
AnonPages: 5680404 kB
Mapped: 120080 kB
Shmem: 45896 kB
KReclaimable: 206688 kB
Slab: 324552 kB
SReclaimable: 206688 kB
SUnreclaim: 117864 kB
KernelStack: 3984 kB
PageTables: 20820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6205164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2154496 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC005 at 2024-07-18 17:01:46