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 (62792 MiB free)
memory of node 1: 64510 MiB (60162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455701-1721466311/watcher-4455701-1721466311 -o /tmp/evaluation-result-4455701-1721466311/solver-4455701-1721466311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455701-1721466311.opb
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=1054604, runsolver pid=1054601
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125891568/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=50656 memory=17688 CPUtime=0.09 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 4180 0 0 0 8 1 0 0 20 0 1 0 198789342 51871744 4422 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 12664 4422 1290 922 0 4616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50656 KiB
Current children cumulated memory: 17688 KiB
[startup+0.205556 s]*
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125875252/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=63984 memory=31648 CPUtime=0.19 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 6875 0 0 0 18 1 0 0 20 0 1 0 198789342 65519616 7912 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 15996 7912 1290 922 0 7948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63984 KiB
Current children cumulated memory: 31648 KiB
[startup+0.305534 s]*
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125863140/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=72836 memory=43844 CPUtime=0.3 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 8906 0 0 0 28 2 0 0 20 0 1 0 198789342 74584064 10961 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 18209 10961 1290 922 0 10161 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72836 KiB
Current children cumulated memory: 43844 KiB
[startup+0.700244 s]
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125844188/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=140268 memory=96016 CPUtime=0.68 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 14867 0 0 0 63 5 0 0 20 0 1 0 198789342 143634432 24004 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 35067 24004 1290 922 0 27019 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140268 KiB
Current children cumulated memory: 96016 KiB
[startup+1.50031 s]
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125772880/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=249768 memory=217752 CPUtime=1.48 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 22837 0 0 0 138 10 0 0 20 0 1 0 198789342 255762432 54438 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 62442 54438 1290 922 0 54394 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249768 KiB
Current children cumulated memory: 217752 KiB
[startup+3.11294 s]
/proc/loadavg: 4.17 4.23 4.18 5/243 1054605
/proc/meminfo: memFree=125188468/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=883536 memory=709676 CPUtime=3.08 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 41337 0 0 0 281 27 0 0 20 0 1 0 198789342 904740864 177419 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 220884 177419 1290 922 0 212836 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 883536 KiB
Current children cumulated memory: 709676 KiB
[startup+6.3003 s]
/proc/loadavg: 4.15 4.23 4.17 5/243 1054605
/proc/meminfo: memFree=125051276/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=1539172 memory=1339720 CPUtime=6.27 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 57657 0 0 0 582 45 0 0 20 0 1 0 198789342 1576112128 334418 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 384793 334930 1529 922 0 376745 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1539172 KiB
Current children cumulated memory: 1339720 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.24 4.18 5/243 1054607
/proc/meminfo: memFree=123290424/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=2727976 memory=2468756 CPUtime=12.65 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 131553 0 0 0 1095 170 0 0 20 0 1 0 198789342 2793447424 617189 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 681994 617189 1689 922 0 673946 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2727976 KiB
Current children cumulated memory: 2468756 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.23 4.18 5/243 1054608
/proc/meminfo: memFree=122918276/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3015216 memory=2708680 CPUtime=25.42 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 135970 0 0 0 2086 456 0 0 20 0 1 0 198789342 3087581184 677170 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 753804 677170 1720 922 0 745756 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3015216 KiB
Current children cumulated memory: 2708680 KiB
[startup+51.113 s]
/proc/loadavg: 4.19 4.23 4.18 5/242 1054614
/proc/meminfo: memFree=122310408/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3152704 memory=2888064 CPUtime=50.96 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 137155 0 0 0 4072 1024 0 0 20 0 1 0 198789342 3228368896 722016 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 788176 722016 1785 922 0 780128 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3152704 KiB
Current children cumulated memory: 2888064 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/242 1054622
/proc/meminfo: memFree=121903212/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3380596 memory=3016264 CPUtime=101.99 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 138948 0 0 0 9157 1042 0 0 20 0 1 0 198789342 3461730304 754066 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 845149 754066 1785 922 0 837101 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3380596 KiB
Current children cumulated memory: 3016264 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/242 1054633
/proc/meminfo: memFree=121763636/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3401076 memory=3036940 CPUtime=161.83 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 140029 0 0 0 14815 1368 0 0 20 0 1 0 198789342 3482701824 759235 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 850269 759235 1785 922 0 842221 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 3401076 KiB
Current children cumulated memory: 3036940 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/241 1054643
/proc/meminfo: memFree=121088608/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3750324 memory=3377616 CPUtime=221.66 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 141304 0 0 0 20744 1422 0 0 20 0 1 0 198789342 3840331776 844404 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 937581 844404 1785 922 0 929533 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 3750324 KiB
Current children cumulated memory: 3377616 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/242 1054655
/proc/meminfo: memFree=120967436/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=3750324 memory=3398232 CPUtime=281.49 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 142816 0 0 0 26432 1717 0 0 20 0 1 0 198789342 3840331776 849558 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 937581 849558 1785 922 0 929533 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 3750324 KiB
Current children cumulated memory: 3398232 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/243 1054668
/proc/meminfo: memFree=120034408/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=4317852 memory=3679824 CPUtime=341.31 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 143772 0 0 0 32382 1749 0 0 20 0 1 0 198789342 4421480448 919956 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 1079463 919956 1785 922 0 1071415 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 4317852 KiB
Current children cumulated memory: 3679824 KiB
[startup+402.3 s]
/proc/loadavg: 4.51 4.26 4.20 5/243 1054678
/proc/meminfo: memFree=119611468/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=4319904 memory=3699748 CPUtime=401.16 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 144535 0 0 0 38365 1751 0 0 20 0 1 0 198789342 4423581696 924937 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 1079976 924937 1785 922 0 1071928 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 4319904 KiB
Current children cumulated memory: 3699748 KiB
[startup+462.3 s]
/proc/loadavg: 4.47 4.31 4.22 5/243 1054689
/proc/meminfo: memFree=119249880/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=4319904 memory=3702864 CPUtime=461 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 144950 0 0 0 44349 1751 0 0 20 0 1 0 198789342 4423581696 925716 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 1079976 925716 1785 922 0 1071928 0
################
# More data... #
################
Current children cumulated memory: 7934172 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.13 3.40 4/236 1055926
/proc/meminfo: memFree=119990620/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934172 CPUtime=2914.38 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 227977 0 0 0 288939 2499 0 0 20 0 1 0 198789342 9616355328 1983543 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983543 1801 922 0 2339695 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934172 KiB
[startup+2982.3 s]
/proc/loadavg: 2.76 3.04 3.35 3/229 1055968
/proc/meminfo: memFree=120113616/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934172 CPUtime=2974.21 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 228823 0 0 0 294921 2500 0 0 20 0 1 0 198789342 9616355328 1983543 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983543 1801 922 0 2339695 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934172 KiB
[startup+3042.3 s]
/proc/loadavg: 2.28 2.84 3.26 3/229 1056364
/proc/meminfo: memFree=120110020/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934172 CPUtime=3034.07 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 229599 0 0 0 300905 2502 0 0 20 0 1 0 198789342 9616355328 1983543 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983543 1801 922 0 2339695 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934172 KiB
[startup+3102.3 s]
/proc/loadavg: 1.69 2.58 3.14 2/222 1056405
/proc/meminfo: memFree=120278100/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934172 CPUtime=3093.93 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 230266 0 0 0 306889 2504 0 0 20 0 1 0 198789342 9616355328 1983543 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983543 1801 922 0 2339695 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934172 KiB
[startup+3162.3 s]
/proc/loadavg: 1.71 2.41 3.05 2/222 1056415
/proc/meminfo: memFree=120277704/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934176 CPUtime=3153.8 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 230944 0 0 0 312875 2505 0 0 20 0 1 0 198789342 9616355328 1983544 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983544 1801 922 0 2339695 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934176 KiB
[startup+3222.3 s]
/proc/loadavg: 1.64 2.26 2.95 2/224 1056595
/proc/meminfo: memFree=120277164/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7934180 CPUtime=3213.68 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 231622 0 0 0 318861 2507 0 0 20 0 1 0 198789342 9616355328 1983545 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1983545 1801 922 0 2339695 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7934180 KiB
[startup+3282.3 s]
/proc/loadavg: 1.63 2.14 2.87 2/224 1056606
/proc/meminfo: memFree=120274456/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936236 CPUtime=3273.54 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 232391 0 0 0 324844 2510 0 0 20 0 1 0 198789342 9616355328 1984059 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984059 1801 922 0 2339695 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936236 KiB
[startup+3342.3 s]
/proc/loadavg: 1.61 2.04 2.78 2/223 1056632
/proc/meminfo: memFree=120273888/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936236 CPUtime=3333.4 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 233656 0 0 0 330828 2512 0 0 20 0 1 0 198789342 9616355328 1984059 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984059 1801 922 0 2339695 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936236 KiB
[startup+3402.3 s]
/proc/loadavg: 1.63 1.97 2.71 2/223 1056642
/proc/meminfo: memFree=120273432/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936240 CPUtime=3393.27 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 234463 0 0 0 336813 2514 0 0 20 0 1 0 198789342 9616355328 1984060 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984060 1801 922 0 2339695 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936240 KiB
[startup+3462.3 s]
/proc/loadavg: 1.30 1.82 2.61 2/223 1056654
/proc/meminfo: memFree=120272828/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936244 CPUtime=3453.06 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 235584 0 0 0 342667 2639 0 0 20 0 1 0 198789342 9616355328 1984061 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984061 1801 922 0 2339695 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936244 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.68 2.51 2/223 1056665
/proc/meminfo: memFree=120272276/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936244 CPUtime=3512.88 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 236502 0 0 0 348588 2700 0 0 20 0 1 0 198789342 9616355328 1984061 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984061 1801 922 0 2339695 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936244 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.59 2.43 2/223 1056676
/proc/meminfo: memFree=120271680/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9390972 memory=7936244 CPUtime=3572.69 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 240944 0 0 0 354561 2708 0 0 20 0 1 0 198789342 9616355328 1984061 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2347743 1984061 1801 922 0 2339695 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 9390972 KiB
Current children cumulated memory: 7936244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.11 1.54 2.39 2/223 1056681
/proc/meminfo: memFree=120266628/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=9394804 memory=7941068 CPUtime=3600.02 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 243012 0 0 0 357292 2710 0 0 20 0 1 0 198789342 9620279296 1985267 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2348701 1985267 1801 922 0 2340653 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 9394804 KiB
Current children cumulated memory: 7941068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 1054604 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.28 s, system=27.1628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 1.10 1.53 2.38 2/223 1056683
/proc/meminfo: memFree=120951260/131655788 swapFree=131071996/131071996
[pid=1054604] ppid=1054601 vsize=8690172 memory=7257376 CPUtime=3600.33 cores=0,2
/proc/1054604/stat : 1054604 (roundingsat) R 1054601 1054604 1047946 0 -1 4194304 243207 0 0 0 357323 2710 0 0 20 0 1 0 198789342 8898736128 1814344 134679101440 4194304 7968373 140725375830592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12316672 140725375837116 140725375837280 140725375837280 140725375844297 0
/proc/1054604/statm: 2172543 1814344 1916 922 0 2164495 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 8690172 KiB
Current children cumulated memory: 7257376 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.44
CPU user time (s): 3573.28
CPU system time (s): 27.1628
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 9394804
Max. memory (cumulated for all children) (KiB): 7941068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.28
system time used= 27.1628
maximum resident set size= 7941068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243315
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= 24
involuntary context switches= 24693
# summary of solver processes directly reported to runsolver:
# pid: 1054604
# total CPU time (s): 3600.44
# total CPU user time (s): 3573.28
# total CPU system time (s): 27.1628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9337 second user time and 33.3648 second system time
The end
Begin job on nodeC002 at 2024-07-20 11:05:25
IDJOB=4455701
IDBENCH=160490
IDSOLVER=3084
FILE ID=nodeC002/4455701-1721466311
RUNJOBID= nodeC002-1721458043-1047956
SLURM_JOB_ID= 7545699
Free space on /tmp= 723624 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455701-1721466311/watcher-4455701-1721466311 -o /tmp/evaluation-result-4455701-1721466311/solver-4455701-1721466311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455701-1721466311.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=1552934652
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 : 1197.177
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 : 3668.075
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 : 3443.011
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.169
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 : 3667.295
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 : 3632.766
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.185
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.294
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: 125908540 kB
MemAvailable: 128280152 kB
Buffers: 584756 kB
Cached: 2611620 kB
SwapCached: 0 kB
Active: 1072924 kB
Inactive: 4066096 kB
Active(anon): 2708 kB
Inactive(anon): 1985868 kB
Active(file): 1070216 kB
Inactive(file): 2080228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 140796 kB
Writeback: 0 kB
AnonPages: 1942004 kB
Mapped: 113332 kB
Shmem: 45896 kB
KReclaimable: 122396 kB
Slab: 229864 kB
SReclaimable: 122396 kB
SUnreclaim: 107468 kB
KernelStack: 3936 kB
PageTables: 13208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2461924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 577536 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: 252744 kB
DirectMap2M: 34254848 kB
DirectMap1G: 101711872 kB
Free space on /tmp at the end= 723644 MiB
End job on nodeC002 at 2024-07-20 12:05:36