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: 63931 MiB (60669 MiB free)
memory of node 1: 64510 MiB (61503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455597-1721462282/watcher-4455597-1721462282 -o /tmp/evaluation-result-4455597-1721462282/solver-4455597-1721462282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455597-1721462282.opb
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
solver pid=1059396, runsolver pid=1059393
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125098864/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=38836 memory=10692 CPUtime=0.1 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 1112 0 0 0 7 3 0 0 20 0 1 0 198387325 39768064 2673 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 9709 2673 1261 922 0 1661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38836 KiB
Current children cumulated memory: 10692 KiB
[startup+0.205751 s]*
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125097184/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=40944 memory=12712 CPUtime=0.2 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 1694 0 0 0 14 6 0 0 20 0 1 0 198387325 41926656 3178 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 10236 3178 1261 922 0 2188 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40944 KiB
Current children cumulated memory: 12712 KiB
[startup+0.305547 s]*
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125091068/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=46464 memory=18276 CPUtime=0.3 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 2619 0 0 0 22 8 0 0 20 0 1 0 198387325 47579136 4569 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 11616 4569 1261 922 0 3568 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46464 KiB
Current children cumulated memory: 18276 KiB
[startup+0.700185 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125081952/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=65324 memory=32732 CPUtime=0.69 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 5440 0 0 0 51 18 0 0 20 0 1 0 198387325 66891776 8183 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 16331 8183 1261 922 0 8283 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65324 KiB
Current children cumulated memory: 32732 KiB
[startup+1.5002 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125073244/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=94136 memory=63304 CPUtime=1.49 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 9943 0 0 0 109 40 0 0 20 0 1 0 198387325 96395264 15826 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 23534 15826 1261 922 0 15486 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 94136 KiB
Current children cumulated memory: 63304 KiB
[startup+3.10566 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059443
/proc/meminfo: memFree=125140876/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=359580 memory=302940 CPUtime=3.09 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 62152 0 0 0 235 74 0 0 20 0 1 0 198387325 368209920 75735 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 89895 75735 1564 922 0 81847 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 359580 KiB
Current children cumulated memory: 302940 KiB
[startup+6.30023 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059443
/proc/meminfo: memFree=124755496/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=624836 CPUtime=6.28 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 94671 0 0 0 530 98 0 0 20 0 1 0 198387325 697892864 156209 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 156209 1740 922 0 162336 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 624836 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1059445
/proc/meminfo: memFree=124746336/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=626884 CPUtime=12.66 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 94699 0 0 0 1159 107 0 0 20 0 1 0 198387325 697892864 156721 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 156721 1740 922 0 162336 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 626884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.07 4.08 5/259 1059616
/proc/meminfo: memFree=124709812/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=627152 CPUtime=25.42 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 94867 0 0 0 2431 111 0 0 20 0 1 0 198387325 697892864 156788 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 156788 1804 922 0 162336 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 627152 KiB
[startup+51.1058 s]
/proc/loadavg: 4.03 4.06 4.08 5/259 1059621
/proc/meminfo: memFree=124683972/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=627152 CPUtime=50.97 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95044 0 0 0 4974 123 0 0 20 0 1 0 198387325 697892864 156788 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 156788 1804 922 0 162336 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 627152 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/259 1059630
/proc/meminfo: memFree=124578340/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=627152 CPUtime=102.02 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95220 0 0 0 10067 135 0 0 20 0 1 0 198387325 697892864 156788 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 156788 1804 922 0 162336 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 627152 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/259 1059643
/proc/meminfo: memFree=124523788/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=637408 CPUtime=161.86 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95527 0 0 0 15974 212 0 0 20 0 1 0 198387325 697892864 159352 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 159352 1804 922 0 162336 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 637408 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/257 1059664
/proc/meminfo: memFree=124423964/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=637408 CPUtime=221.69 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95617 0 0 0 21944 225 0 0 20 0 1 0 198387325 697892864 159352 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 159352 1804 922 0 162336 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 637408 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/257 1059676
/proc/meminfo: memFree=124333944/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=638144 CPUtime=281.48 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95707 0 0 0 27915 233 0 0 20 0 1 0 198387325 697892864 159536 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 159536 1804 922 0 162336 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 638144 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/256 1059686
/proc/meminfo: memFree=124301220/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=639820 CPUtime=341.3 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95841 0 0 0 33890 240 0 0 20 0 1 0 198387325 697892864 159955 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 159955 1804 922 0 162336 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 639820 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/257 1059700
/proc/meminfo: memFree=124297096/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=681536 memory=639820 CPUtime=401.15 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 95977 0 0 0 39865 250 0 0 20 0 1 0 198387325 697892864 159955 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 170384 159955 1804 922 0 162336 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 681536 KiB
Current children cumulated memory: 639820 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/256 1059756
/proc/meminfo: memFree=124091076/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=884576 memory=747400 CPUtime=461 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 100308 0 0 0 45746 354 0 0 20 0 1 0 198387325 905805824 186850 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 221144 186850 1820 922 0 213096 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 1060876
/proc/meminfo: memFree=121805240/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=954540 memory=807940 CPUtime=3152.77 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 111925 0 0 0 313939 1338 0 0 20 0 1 0 198387325 977448960 201985 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 238635 201985 1836 922 0 230587 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 954540 KiB
Current children cumulated memory: 807940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/257 1060888
/proc/meminfo: memFree=121847576/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=954540 memory=807940 CPUtime=3212.57 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 112102 0 0 0 319914 1343 0 0 20 0 1 0 198387325 977448960 201985 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 238635 201985 1836 922 0 230587 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 954540 KiB
Current children cumulated memory: 807940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1060898
/proc/meminfo: memFree=121846416/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=954540 memory=808060 CPUtime=3272.37 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 112279 0 0 0 325887 1350 0 0 20 0 1 0 198387325 977448960 202015 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 238635 202015 1836 922 0 230587 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 954540 KiB
Current children cumulated memory: 808060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1060909
/proc/meminfo: memFree=121765964/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=954540 memory=808060 CPUtime=3332.17 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 112541 0 0 0 331859 1358 0 0 20 0 1 0 198387325 977448960 202015 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 238635 202015 1836 922 0 230587 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 954540 KiB
Current children cumulated memory: 808060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1060922
/proc/meminfo: memFree=121606860/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=954540 memory=808060 CPUtime=3391.99 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 112758 0 0 0 337829 1370 0 0 20 0 1 0 198387325 977448960 202015 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 238635 202015 1836 922 0 230587 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 954540 KiB
Current children cumulated memory: 808060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 1061316
/proc/meminfo: memFree=121573272/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=970008 memory=823528 CPUtime=3451.84 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 113471 0 0 0 343754 1430 0 0 20 0 1 0 198387325 993288192 205882 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 242502 205882 1836 922 0 234454 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 970008 KiB
Current children cumulated memory: 823528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1061327
/proc/meminfo: memFree=121572240/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=970008 memory=823528 CPUtime=3511.67 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 113655 0 0 0 349718 1449 0 0 20 0 1 0 198387325 993288192 205882 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 242502 205882 1836 922 0 234454 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 970008 KiB
Current children cumulated memory: 823528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1061338
/proc/meminfo: memFree=121558548/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3571.52 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114023 0 0 0 355621 1531 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1061343
/proc/meminfo: memFree=121570756/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3600.04 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358461 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.9 s]
# the end of solver process 1059396 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.61 s, system=15.4407 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.14 4.13 4.09 4/251 1061374
/proc/meminfo: memFree=121967436/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3600.34 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358491 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
[startup+3612 s]*
/proc/loadavg: 4.14 4.13 4.09 5/257 1061389
/proc/meminfo: memFree=121956312/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3601.14 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358571 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
[startup+3612.4 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1061389
/proc/meminfo: memFree=121956312/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3601.54 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358611 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
[startup+3612.8 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1061389
/proc/meminfo: memFree=121956312/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3601.93 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358650 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
[startup+3612.9 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1061389
/proc/meminfo: memFree=121956312/131524600 swapFree=130799640/131071996
[pid=1059396] ppid=1059393 vsize=985476 memory=823532 CPUtime=3602.03 cores=1,3
/proc/1059396/stat : 1059396 (roundingsat) R 1059393 1059396 1057331 0 -1 4194304 114122 0 0 0 358660 1543 0 0 20 0 1 0 198387325 1009127424 205883 134679101440 4194304 7968373 140726426057440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 12197888 140726426059708 140726426059872 140726426059872 140726426066889 0
/proc/1059396/statm: 246369 205883 1836 922 0 238321 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 985476 KiB
Current children cumulated memory: 823532 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.9
CPU time (s): 3602.05
CPU user time (s): 3586.61
CPU system time (s): 15.4407
CPU usage (%): 99.6996
Max. virtual memory (cumulated for all children) (KiB): 985476
Max. memory (cumulated for all children) (KiB): 823532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.61
system time used= 15.4407
maximum resident set size= 842624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114122
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= 23
involuntary context switches= 1182
# summary of solver processes directly reported to runsolver:
# pid: 1059396
# total CPU time (s): 3602.05
# total CPU user time (s): 3586.61
# total CPU system time (s): 15.4407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32034 second user time and 17.5083 second system time
The end
Begin job on nodeC014 at 2024-07-20 09:58:14
IDJOB=4455597
IDBENCH=155532
IDSOLVER=3084
FILE ID=nodeC014/4455597-1721462282
RUNJOBID= nodeC014-1721458682-1057476
SLURM_JOB_ID= 7545705
Free space on /tmp= 889960 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-116.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-4455597-1721462282/watcher-4455597-1721462282 -o /tmp/evaluation-result-4455597-1721462282/solver-4455597-1721462282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455597-1721462282.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2c07ac2a163c6358b3083ff023512428
RANDOM SEED=1053068914
nodeC014.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 : 0xb00002a
cpu MHz : 3685.243
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
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 : 0xb00002a
cpu MHz : 3657.410
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
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 : 0xb00002a
cpu MHz : 3599.716
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
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 : 0xb00002a
cpu MHz : 3680.695
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
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 : 0xb00002a
cpu MHz : 3685.248
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
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 : 0xb00002a
cpu MHz : 3679.933
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
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 : 0xb00002a
cpu MHz : 3599.676
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
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 : 0xb00002a
cpu MHz : 3599.960
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125105288 kB
MemAvailable: 129294396 kB
Buffers: 509648 kB
Cached: 4475108 kB
SwapCached: 12836 kB
Active: 1556792 kB
Inactive: 4233356 kB
Active(anon): 9196 kB
Inactive(anon): 826216 kB
Active(file): 1547596 kB
Inactive(file): 3407140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 78460 kB
Writeback: 0 kB
AnonPages: 794964 kB
Mapped: 60496 kB
Shmem: 29692 kB
KReclaimable: 148036 kB
Slab: 251248 kB
SReclaimable: 148036 kB
SUnreclaim: 103212 kB
KernelStack: 4108 kB
PageTables: 11228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1639556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 36832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 329728 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC014 at 2024-07-20 10:58:27