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: 63968 MiB (48414 MiB free)
memory of node 1: 64473 MiB (21607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460396-1722068647/watcher-4460396-1722068647 -o /tmp/evaluation-result-4460396-1722068647/solver-4460396-1722068647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372812 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460396-1722068647 --lp-cut-gomory=0 HOME/instance-4460396-1722068647.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=375463, runsolver pid=375460
[startup+0.100099 s]*
/proc/loadavg: 4.28 4.19 4.10 5/265 375464
/proc/meminfo: memFree=71634340/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=130756 memory=81560 CPUtime=0.1 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 9630 0 0 0 8 2 0 0 20 0 1 0 43388658 133894144 20390 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 32689 20390 1302 992 0 24547 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130756 KiB
Current children cumulated memory: 81560 KiB
[startup+0.206001 s]*
/proc/loadavg: 4.25 4.19 4.10 6/266 375465
/proc/meminfo: memFree=71603368/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=153936 memory=96816 CPUtime=0.2 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11869 0 0 0 16 4 0 0 20 0 1 0 43388658 157630464 24204 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 38484 24204 1350 992 0 30342 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 96816 KiB
[startup+0.305433 s]*
/proc/loadavg: 4.25 4.19 4.10 5/265 375466
/proc/meminfo: memFree=71595016/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=153936 memory=99128 CPUtime=0.3 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11923 0 0 0 24 6 0 0 20 0 1 0 43388658 157630464 24782 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 38484 24782 1350 992 0 30342 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 99128 KiB
[startup+0.700223 s]
/proc/loadavg: 4.25 4.19 4.10 5/265 375466
/proc/meminfo: memFree=71580568/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=165100 memory=107896 CPUtime=0.69 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 14129 0 0 0 57 12 0 0 20 0 1 0 43388658 169062400 26974 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 41275 26974 1350 992 0 33133 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165100 KiB
Current children cumulated memory: 107896 KiB
[startup+1.50023 s]
/proc/loadavg: 4.25 4.19 4.10 5/265 375466
/proc/meminfo: memFree=71546936/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=176716 memory=122844 CPUtime=1.48 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 15822 0 0 0 121 27 0 0 20 0 1 0 43388658 180957184 30711 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 44179 30711 1350 992 0 36037 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 176716 KiB
Current children cumulated memory: 122844 KiB
[startup+3.10588 s]
/proc/loadavg: 4.25 4.19 4.10 5/265 375466
/proc/meminfo: memFree=71019776/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=669800 memory=584964 CPUtime=3.09 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 62756 0 0 0 263 46 0 0 20 0 1 0 43388658 685875200 146241 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 167450 146241 1765 992 0 159308 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 669800 KiB
Current children cumulated memory: 584964 KiB
[startup+6.30022 s]
/proc/loadavg: 4.23 4.19 4.10 5/264 375466
/proc/meminfo: memFree=70873792/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=682048 memory=597292 CPUtime=6.27 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 63840 0 0 0 581 46 0 0 20 0 1 0 43388658 698417152 149323 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 170512 149323 1765 992 0 162370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 597292 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.20 4.10 5/265 375468
/proc/meminfo: memFree=70392276/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=802216 memory=698676 CPUtime=12.66 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 73448 0 0 0 1168 98 0 0 20 0 1 0 43388658 821469184 174669 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 200554 174669 1812 992 0 192412 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 802216 KiB
Current children cumulated memory: 698676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.19 4.10 5/265 375470
/proc/meminfo: memFree=69104660/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=938580 memory=801268 CPUtime=25.43 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 75140 0 0 0 2426 117 0 0 20 0 1 0 43388658 961105920 200317 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 234645 200317 1812 992 0 226503 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 801268 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.17 4.09 5/265 375474
/proc/meminfo: memFree=68042736/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=938580 memory=801456 CPUtime=50.98 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 75180 0 0 0 4981 117 0 0 20 0 1 0 43388658 961105920 200364 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 234645 200364 1812 992 0 226503 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 801456 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.26 4.12 5/266 375870
/proc/meminfo: memFree=63840812/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=938580 memory=801456 CPUtime=102.06 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 75232 0 0 0 10089 117 0 0 20 0 1 0 43388658 961105920 200364 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 234645 200364 1812 992 0 226503 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 801456 KiB
[startup+162.3 s]
/proc/loadavg: 4.86 4.40 4.18 5/265 375881
/proc/meminfo: memFree=60109068/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=938580 memory=801456 CPUtime=161.91 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 75261 0 0 0 16074 117 0 0 20 0 1 0 43388658 961105920 200364 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 234645 200364 1812 992 0 226503 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 801456 KiB
[startup+222.3 s]
/proc/loadavg: 4.69 4.43 4.20 5/261 375921
/proc/meminfo: memFree=59157184/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=940628 memory=802752 CPUtime=221.77 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 75643 0 0 0 22060 117 0 0 20 0 1 0 43388658 963203072 200688 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 235157 200688 1812 992 0 227015 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 940628 KiB
Current children cumulated memory: 802752 KiB
[startup+282.3 s]
/proc/loadavg: 4.39 4.39 4.20 5/262 376102
/proc/meminfo: memFree=54985076/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=2052356 memory=1690112 CPUtime=281.62 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 166264 0 0 0 27616 546 0 0 20 0 1 0 43388658 2101612544 422528 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 513089 422528 1812 992 0 504947 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 2052356 KiB
Current children cumulated memory: 1690112 KiB
[startup+342.3 s]
/proc/loadavg: 4.30 4.37 4.20 5/262 376112
/proc/meminfo: memFree=52061480/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=3292892 memory=2634692 CPUtime=341.43 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 318631 0 0 0 33071 1072 0 0 20 0 1 0 43388658 3371921408 658673 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 823223 658673 1812 992 0 815081 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 3292892 KiB
Current children cumulated memory: 2634692 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.35 4.20 5/260 376182
/proc/meminfo: memFree=48930240/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=3394576 memory=2698004 CPUtime=401.23 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 320727 0 0 0 38999 1124 0 0 20 0 1 0 43388658 3476045824 674501 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 848644 674501 1875 992 0 840502 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 3394576 KiB
Current children cumulated memory: 2698004 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.30 4.19 5/260 376194
/proc/meminfo: memFree=46864316/131524600 swapFree=131056796/131071996
[pid=375463] ppid=375460 vsize=3387868 memory=2691852 CPUtime=461.03 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 321349 0 0 0 44947 1156 0 0 20 0 1 0 43388658 3469176832 672963 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 846967 672963 1875 992 0 838825 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/263 377284
/proc/meminfo: memFree=555836/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19010880 memory=17006020 CPUtime=3032.4 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 9727619 0 0 0 298707 4533 0 0 20 0 1 0 43388658 19467141120 4251505 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4752720 4251505 1873 992 0 4744578 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 19010880 KiB
Current children cumulated memory: 17006020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/261 377295
/proc/meminfo: memFree=626564/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19010880 memory=17007548 CPUtime=3092.22 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 9728733 0 0 0 304678 4544 0 0 20 0 1 0 43388658 19467141120 4251887 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4752720 4251887 1873 992 0 4744578 0
Current children cumulated CPU time: 3092.22 s
Current children cumulated vsize: 19010880 KiB
Current children cumulated memory: 17007548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/258 377307
/proc/meminfo: memFree=586136/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020128 CPUtime=3152.03 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 10047101 0 0 0 310569 4634 0 0 20 0 1 0 43388658 19477344256 4255032 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255032 1873 992 0 4747069 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/260 377320
/proc/meminfo: memFree=530216/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020128 CPUtime=3211.87 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 10313450 0 0 0 316300 4887 0 0 20 0 1 0 43388658 19477344256 4255032 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255032 1873 992 0 4747069 0
Current children cumulated CPU time: 3211.87 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020128 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/260 377330
/proc/meminfo: memFree=486012/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020128 CPUtime=3271.7 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 10313750 0 0 0 322256 4914 0 0 20 0 1 0 43388658 19477344256 4255032 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255032 1873 992 0 4747069 0
Current children cumulated CPU time: 3271.7 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/262 377343
/proc/meminfo: memFree=559872/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020128 CPUtime=3331.53 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 10885736 0 0 0 327365 5788 0 0 20 0 1 0 43388658 19477344256 4255032 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255032 1873 992 0 4747069 0
Current children cumulated CPU time: 3331.53 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/263 377358
/proc/meminfo: memFree=508192/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020128 CPUtime=3391.33 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11307472 0 0 0 332181 6952 0 0 20 0 1 0 43388658 19477344256 4255032 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255032 1873 992 0 4747069 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.20 4.17 4/261 377368
/proc/meminfo: memFree=634700/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020132 CPUtime=3451.13 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11308663 0 0 0 338105 7008 0 0 20 0 1 0 43388658 19477344256 4255033 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255033 1873 992 0 4747069 0
Current children cumulated CPU time: 3451.13 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/263 377612
/proc/meminfo: memFree=87860452/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17020232 CPUtime=3510.93 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11309294 0 0 0 344050 7043 0 0 20 0 1 0 43388658 19477344256 4255058 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255058 1873 992 0 4747069 0
Current children cumulated CPU time: 3510.93 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17020232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/263 377625
/proc/meminfo: memFree=87655460/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17022340 CPUtime=3570.78 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11309957 0 0 0 350022 7056 0 0 20 0 1 0 43388658 19477344256 4255585 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255585 1873 992 0 4747069 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17022340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.08 4.14 4.16 5/260 377629
/proc/meminfo: memFree=87564488/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17022448 CPUtime=3600.01 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11310326 0 0 0 352938 7063 0 0 20 0 1 0 43388658 19477344256 4255612 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255612 1873 992 0 4747069 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17022448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.2 s]
# the end of solver process 375463 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3531.38 s, system=71.2367 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.08 4.14 4.16 5/260 377629
/proc/meminfo: memFree=87561116/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17022448 CPUtime=3601.21 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11310326 0 0 0 353058 7063 0 0 20 0 1 0 43388658 19477344256 4255612 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255612 1873 992 0 4747069 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17022448 KiB
[startup+3613.2 s]
/proc/loadavg: 4.08 4.14 4.16 5/260 377629
/proc/meminfo: memFree=87558572/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17022452 CPUtime=3601.6 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11310346 0 0 0 353097 7063 0 0 20 0 1 0 43388658 19477344256 4255613 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255613 1873 992 0 4747069 0
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17022452 KiB
[startup+3613.6 s]
/proc/loadavg: 4.08 4.14 4.16 5/260 377629
/proc/meminfo: memFree=87558572/131524600 swapFree=131056284/131071996
[pid=375463] ppid=375460 vsize=19020844 memory=17022452 CPUtime=3602 cores=4,6
/proc/375463/stat : 375463 (roundingsat) R 375460 375463 372801 0 -1 4194304 11310346 0 0 0 353137 7063 0 0 20 0 1 0 43388658 19477344256 4255613 134679101440 4194304 8254357 140728017931232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35745792 140728017937243 140728017937505 140728017937505 140728017944521 0
/proc/375463/statm: 4755211 4255613 1873 992 0 4747069 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17022452 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.2
CPU time (s): 3602.61
CPU user time (s): 3531.38
CPU system time (s): 71.2367
CPU usage (%): 99.6794
Max. virtual memory (cumulated for all children) (KiB): 19020844
Max. memory (cumulated for all children) (KiB): 17022452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.38
system time used= 71.2367
maximum resident set size= 17022484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11310346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36935168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 4571
# summary of solver processes directly reported to runsolver:
# pid: 375463
# total CPU time (s): 3602.61
# total CPU user time (s): 3531.38
# total CPU system time (s): 71.2367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07451 second user time and 17.1977 second system time
The end
Begin job on nodeC030 at 2024-07-27 10:24:07
IDJOB=4460396
IDBENCH=158125
IDSOLVER=3086
FILE ID=nodeC030/4460396-1722068647
RUNJOBID= nodeC030-1722064836-372812
SLURM_JOB_ID= 8248098
Free space on /tmp= 890032 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460396-1722068647/watcher-4460396-1722068647 -o /tmp/evaluation-result-4460396-1722068647/solver-4460396-1722068647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372812 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460396-1722068647 --lp-cut-gomory=0 HOME/instance-4460396-1722068647.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=1333405008
nodeC030.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 : 3677.800
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.45
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 : 3687.148
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.46
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 : 3619.340
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.45
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 : 3599.808
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.46
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 : 3675.869
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.45
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 : 3687.153
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.46
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 : 3646.245
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.45
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.776
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 71703440 kB
MemAvailable: 125769452 kB
Buffers: 361780 kB
Cached: 54450852 kB
SwapCached: 212 kB
Active: 2688788 kB
Inactive: 56333356 kB
Active(anon): 2268 kB
Inactive(anon): 4260188 kB
Active(file): 2686520 kB
Inactive(file): 52073168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 665204 kB
Writeback: 0 kB
AnonPages: 4209124 kB
Mapped: 119800 kB
Shmem: 52912 kB
KReclaimable: 292292 kB
Slab: 433852 kB
SReclaimable: 292292 kB
SUnreclaim: 141560 kB
KernelStack: 4272 kB
PageTables: 18068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5144864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2117632 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: 344788 kB
DirectMap2M: 39274496 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC030 at 2024-07-27 11:24:21