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 (62968 MiB free)
memory of node 1: 64510 MiB (61505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439204-1721225901/watcher-4439204-1721225901 -o /tmp/evaluation-result-4439204-1721225901/solver-4439204-1721225901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904499 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439204-1721225901.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=908946, runsolver pid=908943
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.13 4.12 4.13 5/241 908947
/proc/meminfo: memFree=127440680/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=39372 memory=24676 CPUtime=0.1 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 6361 0 0 0 9 1 0 0 20 0 1 0 174748212 40316928 6169 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 9843 6169 878 2594 0 6736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39372 KiB
Current children cumulated memory: 24676 KiB
[startup+0.211047 s]*
/proc/loadavg: 4.13 4.12 4.13 5/241 908947
/proc/meminfo: memFree=127418520/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=60984 memory=45316 CPUtime=0.21 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 11048 0 0 0 18 3 0 0 20 0 1 0 174748212 62447616 11329 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 15246 11329 878 2594 0 12139 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60984 KiB
Current children cumulated memory: 45316 KiB
[startup+0.31099 s]*
/proc/loadavg: 4.13 4.12 4.13 6/241 908947
/proc/meminfo: memFree=127387640/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=91948 memory=75796 CPUtime=0.31 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 16598 0 0 0 27 4 0 0 20 0 1 0 174748212 94154752 18949 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 22987 18949 878 2594 0 19880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91948 KiB
Current children cumulated memory: 75796 KiB
[startup+0.700352 s]
/proc/loadavg: 4.13 4.12 4.13 5/241 908947
/proc/meminfo: memFree=127323120/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=187608 memory=167516 CPUtime=0.69 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 28817 0 0 0 61 8 0 0 20 0 1 0 174748212 192110592 41879 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 46902 41879 878 2594 0 43795 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 187608 KiB
Current children cumulated memory: 167516 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.12 4.13 5/241 908947
/proc/meminfo: memFree=127288252/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=207468 memory=173324 CPUtime=1.49 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 30294 0 0 0 140 9 0 0 20 0 1 0 174748212 212447232 43331 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 51867 43331 878 2594 0 48760 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 207468 KiB
Current children cumulated memory: 173324 KiB
[startup+3.11232 s]
/proc/loadavg: 4.12 4.12 4.13 5/241 908949
/proc/meminfo: memFree=127173004/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=332100 memory=291304 CPUtime=3.1 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 59792 0 0 0 295 15 0 0 20 0 1 0 174748212 340070400 72826 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 83025 72826 878 2594 0 79918 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 332100 KiB
Current children cumulated memory: 291304 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.12 4.13 5/241 908949
/proc/meminfo: memFree=126745800/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=771740 memory=670380 CPUtime=6.27 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 109044 0 0 0 601 26 0 0 20 0 1 0 174748212 790261760 167595 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 192968 167595 910 2594 0 189861 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 771740 KiB
Current children cumulated memory: 670380 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.13 4.13 5/241 908951
/proc/meminfo: memFree=126284932/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=1520200 memory=1442012 CPUtime=12.65 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 149342 0 0 0 1219 46 0 0 20 0 1 0 174748212 1556684800 360503 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 380050 360503 910 2594 0 376943 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1520200 KiB
Current children cumulated memory: 1442012 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.14 4.14 5/241 908998
/proc/meminfo: memFree=125778520/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=1963704 memory=1765820 CPUtime=25.41 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 203609 0 0 0 2480 61 0 0 20 0 1 0 174748212 2010832896 441455 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 490926 441455 910 2594 0 487819 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1963704 KiB
Current children cumulated memory: 1765820 KiB
[startup+51.1126 s]
/proc/loadavg: 4.21 4.14 4.14 5/242 909004
/proc/meminfo: memFree=120074420/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=7945900 memory=7351640 CPUtime=50.93 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 800237 0 0 0 4824 269 0 0 20 0 1 0 174748212 8136601600 1837910 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1986475 1837910 990 2594 0 1983368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 7945900 KiB
Current children cumulated memory: 7351640 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 909014
/proc/meminfo: memFree=119785976/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=8078684 memory=7375960 CPUtime=101.91 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 806070 0 0 0 9912 279 0 0 20 0 1 0 174748212 8272572416 1843990 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 2019671 1843990 990 2594 0 2016564 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 8078684 KiB
Current children cumulated memory: 7375960 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.16 4.14 5/245 909167
/proc/meminfo: memFree=117379376/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=8078848 memory=7375996 CPUtime=161.68 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 806712 0 0 0 15888 280 0 0 20 0 1 0 174748212 8272740352 1843999 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 2019712 1843999 990 2594 0 2016605 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 8078848 KiB
Current children cumulated memory: 7375996 KiB
[startup+222.3 s]
/proc/loadavg: 4.84 4.34 4.21 5/245 909177
/proc/meminfo: memFree=112960492/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=9363644 memory=8665044 CPUtime=221.46 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 824160 0 0 0 21740 406 0 0 20 0 1 0 174748212 9588371456 2166261 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 2340911 2166261 990 2594 0 2337804 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 9363644 KiB
Current children cumulated memory: 8665044 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.28 4.19 6/245 909189
/proc/meminfo: memFree=110205168/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=10009604 memory=9010452 CPUtime=281.24 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 834135 0 0 0 27634 490 0 0 20 0 1 0 174748212 10249834496 2252613 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 2502401 2252613 1006 2594 0 2499294 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 10009604 KiB
Current children cumulated memory: 9010452 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/245 909200
/proc/meminfo: memFree=110758748/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=7440164 memory=6689544 CPUtime=341.04 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 857282 0 0 0 33468 636 0 0 20 0 1 0 174748212 7618727936 1672386 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1860041 1672386 1006 2594 0 1856934 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 7440164 KiB
Current children cumulated memory: 6689544 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.24 4.18 5/245 909212
/proc/meminfo: memFree=109762340/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=7486060 memory=6736336 CPUtime=400.83 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 873512 0 0 0 39368 715 0 0 20 0 1 0 174748212 7665725440 1684084 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1871515 1684084 1006 2594 0 1868408 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 7486060 KiB
Current children cumulated memory: 6736336 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/245 909654
/proc/meminfo: memFree=107995532/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=7137872 memory=6452808 CPUtime=460.61 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 886756 0 0 0 45269 792 0 0 20 0 1 0 174748212 7309180928 1613202 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1784468 1613202 1006 2594 0 1781361 0
################
# More data... #
################
Current children cumulated memory: 6260776 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/241 911096
/proc/meminfo: memFree=120111428/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6808876 memory=6260776 CPUtime=2912.15 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1120715 0 0 0 289671 1544 0 0 20 0 1 0 174748212 6972289024 1565194 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1702219 1565194 1006 2594 0 1699112 0
Current children cumulated CPU time: 2912.15 s
Current children cumulated vsize: 6808876 KiB
Current children cumulated memory: 6260776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/242 911107
/proc/meminfo: memFree=120275504/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6808584 memory=6260328 CPUtime=2971.96 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1125838 0 0 0 295641 1555 0 0 20 0 1 0 174748212 6971990016 1565082 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1702146 1565082 1006 2594 0 1699039 0
Current children cumulated CPU time: 2971.96 s
Current children cumulated vsize: 6808584 KiB
Current children cumulated memory: 6260328 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.15 4.12 5/242 911119
/proc/meminfo: memFree=120200304/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6794720 memory=6245492 CPUtime=3031.78 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1132851 0 0 0 301588 1590 0 0 20 0 1 0 174748212 6957793280 1561373 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1698680 1561373 1006 2594 0 1695573 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 6794720 KiB
Current children cumulated memory: 6245492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/242 911129
/proc/meminfo: memFree=120184876/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6794720 memory=6245492 CPUtime=3091.59 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1135002 0 0 0 307569 1590 0 0 20 0 1 0 174748212 6957793280 1561373 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1698680 1561373 1006 2594 0 1695573 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 6794720 KiB
Current children cumulated memory: 6245492 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/245 911145
/proc/meminfo: memFree=120157412/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6794720 memory=6274164 CPUtime=3151.4 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1140001 0 0 0 313535 1605 0 0 20 0 1 0 174748212 6957793280 1568541 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1698680 1568541 1006 2594 0 1695573 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 6794720 KiB
Current children cumulated memory: 6274164 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/245 911155
/proc/meminfo: memFree=120244924/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6656404 memory=6184520 CPUtime=3211.21 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1142769 0 0 0 319511 1610 0 0 20 0 1 0 174748212 6816157696 1546130 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1664101 1546130 1006 2594 0 1660994 0
Current children cumulated CPU time: 3211.21 s
Current children cumulated vsize: 6656404 KiB
Current children cumulated memory: 6184520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/245 911166
/proc/meminfo: memFree=120243868/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6656404 memory=6184520 CPUtime=3271.03 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1144459 0 0 0 325493 1610 0 0 20 0 1 0 174748212 6816157696 1546130 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1664101 1546130 1006 2594 0 1660994 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 6656404 KiB
Current children cumulated memory: 6184520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/244 911177
/proc/meminfo: memFree=120227388/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6656404 memory=6184520 CPUtime=3330.84 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1146457 0 0 0 331474 1610 0 0 20 0 1 0 174748212 6816157696 1546130 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1664101 1546130 1006 2594 0 1660994 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 6656404 KiB
Current children cumulated memory: 6184520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/244 911188
/proc/meminfo: memFree=120182196/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6743828 memory=6229164 CPUtime=3390.64 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1150244 0 0 0 337448 1616 0 0 20 0 1 0 174748212 6905679872 1557291 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1685957 1557291 1006 2594 0 1682850 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 6743828 KiB
Current children cumulated memory: 6229164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/241 911201
/proc/meminfo: memFree=120201092/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6755940 memory=6209324 CPUtime=3450.45 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1155450 0 0 0 343420 1625 0 0 20 0 1 0 174748212 6918082560 1552331 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1688985 1552331 1006 2594 0 1685878 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 6755940 KiB
Current children cumulated memory: 6209324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.21 4.13 5/241 911211
/proc/meminfo: memFree=120200448/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6755940 memory=6209324 CPUtime=3510.28 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1157338 0 0 0 349402 1626 0 0 20 0 1 0 174748212 6918082560 1552331 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1688985 1552331 1006 2594 0 1685878 0
Current children cumulated CPU time: 3510.28 s
Current children cumulated vsize: 6755940 KiB
Current children cumulated memory: 6209324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.74 4.35 4.19 5/241 911221
/proc/meminfo: memFree=120194560/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6755940 memory=6209324 CPUtime=3570.08 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1162652 0 0 0 355364 1644 0 0 20 0 1 0 174748212 6918082560 1552331 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1688985 1552331 1006 2594 0 1685878 0
Current children cumulated CPU time: 3570.08 s
Current children cumulated vsize: 6755940 KiB
Current children cumulated memory: 6209324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.52 4.33 4.18 5/241 911227
/proc/meminfo: memFree=119983556/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6944652 memory=6419656 CPUtime=3600 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1166812 0 0 0 358333 1667 0 0 20 0 1 0 174748212 7111323648 1604914 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1736163 1604914 1006 2594 0 1733056 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6944652 KiB
Current children cumulated memory: 6419656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.33 s]
# the end of solver process 908946 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.33 s, system=16.6952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.52 4.33 4.18 5/241 911227
/proc/meminfo: memFree=119983556/131655788 swapFree=131071996/131071996
[pid=908946] ppid=908943 vsize=6944652 memory=6419656 CPUtime=3600 cores=0,2
/proc/908946/stat : 908946 (CASHWMaxSAT-Dis) R 908943 908946 904489 0 -1 4194304 1166812 0 0 0 358333 1667 0 0 20 0 1 0 174748212 7111323648 1604914 134679101440 4194304 14817773 140729250502896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53522432 140729250505700 140729250505815 140729250505815 140729250512831 0
/proc/908946/statm: 1736163 1604914 1006 2594 0 1733056 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6944652 KiB
Current children cumulated memory: 6419656 KiB
Child status: 0
Real time (s): 3612.33
CPU time (s): 3600.03
CPU user time (s): 3583.33
CPU system time (s): 16.6952
CPU usage (%): 99.6596
Max. virtual memory (cumulated for all children) (KiB): 10866916
Max. memory (cumulated for all children) (KiB): 10013696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 16.6952
maximum resident set size= 10013696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1166812
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= 424
involuntary context switches= 24874
# summary of solver processes directly reported to runsolver:
# pid: 908946
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.33
# total CPU system time (s): 16.6952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3507 second user time and 29.119 second system time
The end
Begin job on nodeC002 at 2024-07-17 16:18:34
IDJOB=4439204
IDBENCH=148706
IDSOLVER=3075
FILE ID=nodeC002/4439204-1721225901
RUNJOBID= nodeC002-1721218686-904499
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/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.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-4439204-1721225901/watcher-4439204-1721225901 -o /tmp/evaluation-result-4439204-1721225901/solver-4439204-1721225901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904499 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439204-1721225901.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f763b12660c46c190e6f60f61a3aa351
RANDOM SEED=440216601
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 : 1801.491
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 : 3492.824
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 : 1262.548
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.306
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 : 3671.322
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 : 3651.802
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.310
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.323
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: 127461692 kB
MemAvailable: 128681444 kB
Buffers: 473684 kB
Cached: 1576256 kB
SwapCached: 0 kB
Active: 796912 kB
Inactive: 2836720 kB
Active(anon): 2692 kB
Inactive(anon): 1618708 kB
Active(file): 794220 kB
Inactive(file): 1218012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57116 kB
Writeback: 0 kB
AnonPages: 1583404 kB
Mapped: 131548 kB
Shmem: 37704 kB
KReclaimable: 95100 kB
Slab: 194944 kB
SReclaimable: 95100 kB
SUnreclaim: 99844 kB
KernelStack: 3872 kB
PageTables: 12344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2105352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 993280 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= 723712 MiB
End job on nodeC002 at 2024-07-17 17:18:47