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 (28073 MiB free)
memory of node 1: 64473 MiB (25155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460471-1722072058/watcher-4460471-1722072058 -o /tmp/evaluation-result-4460471-1722072058/solver-4460471-1722072058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722064836-326399 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460471-1722072058 --lp-cut-gomory=0 HOME/instance-4460471-1722072058.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=330635, runsolver pid=330632
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.10 5/255 330636
/proc/meminfo: memFree=54478840/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=64076 memory=33280 CPUtime=0.09 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 7483 0 0 0 8 1 0 0 20 0 1 0 43734162 65613824 8320 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 16019 8320 1366 992 0 7877 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64076 KiB
Current children cumulated memory: 33280 KiB
[startup+0.205696 s]*
/proc/loadavg: 4.10 4.11 4.10 5/255 330636
/proc/meminfo: memFree=54452732/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=89420 memory=55524 CPUtime=0.19 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 10521 0 0 0 17 2 0 0 20 0 1 0 43734162 91566080 13881 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 22355 13881 1366 992 0 14213 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89420 KiB
Current children cumulated memory: 55524 KiB
[startup+0.305625 s]*
/proc/loadavg: 4.10 4.11 4.10 5/255 330636
/proc/meminfo: memFree=54441868/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=89420 memory=55524 CPUtime=0.3 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 10521 0 0 0 27 3 0 0 20 0 1 0 43734162 91566080 13881 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 22355 13881 1366 992 0 14213 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89420 KiB
Current children cumulated memory: 55524 KiB
[startup+0.70024 s]
/proc/loadavg: 4.10 4.11 4.10 5/255 330636
/proc/meminfo: memFree=54385756/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=211408 memory=176172 CPUtime=0.68 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 31848 0 0 0 61 7 0 0 20 0 1 0 43734162 216481792 44043 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 52852 44043 1780 992 0 44710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 211408 KiB
Current children cumulated memory: 176172 KiB
[startup+1.50024 s]
/proc/loadavg: 4.18 4.13 4.11 5/255 330636
/proc/meminfo: memFree=54318060/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=211408 memory=176432 CPUtime=1.48 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 31917 0 0 0 137 11 0 0 20 0 1 0 43734162 216481792 44108 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 52852 44108 1780 992 0 44710 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 211408 KiB
Current children cumulated memory: 176432 KiB
[startup+3.1056 s]
/proc/loadavg: 4.18 4.13 4.11 5/255 330638
/proc/meminfo: memFree=54265588/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=247076 memory=202104 CPUtime=3.09 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 36295 0 0 0 263 46 0 0 20 0 1 0 43734162 253005824 50526 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 61769 50526 1812 992 0 53627 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 247076 KiB
Current children cumulated memory: 202104 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.11 5/255 330638
/proc/meminfo: memFree=54168264/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=296864 memory=238080 CPUtime=6.28 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 37622 0 0 0 537 91 0 0 20 0 1 0 43734162 303988736 59520 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 74216 59520 1812 992 0 66074 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 296864 KiB
Current children cumulated memory: 238080 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 330639
/proc/meminfo: memFree=54084800/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=303100 memory=269084 CPUtime=12.66 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 39263 0 0 0 1170 96 0 0 20 0 1 0 43734162 310374400 67271 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 75775 67271 1812 992 0 67633 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 303100 KiB
Current children cumulated memory: 269084 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.10 5/255 330641
/proc/meminfo: memFree=53893156/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=415116 memory=336444 CPUtime=25.42 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 52588 0 0 0 2419 123 0 0 20 0 1 0 43734162 425078784 84111 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 103779 84111 1907 992 0 95637 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 415116 KiB
Current children cumulated memory: 336444 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 330645
/proc/meminfo: memFree=53406924/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=586400 memory=495768 CPUtime=50.95 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 71476 0 0 0 4843 252 0 0 20 0 1 0 43734162 600473600 123942 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 146600 123942 1907 992 0 138458 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 586400 KiB
Current children cumulated memory: 495768 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 330658
/proc/meminfo: memFree=52451872/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=726288 memory=671108 CPUtime=102.01 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 106758 0 0 0 9667 534 0 0 20 0 1 0 43734162 743718912 167777 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 181572 167777 1907 992 0 173430 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 726288 KiB
Current children cumulated memory: 671108 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 4.08 4.08 5/258 330904
/proc/meminfo: memFree=82242768/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=1644308 memory=1347408 CPUtime=161.88 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 162431 0 0 0 15419 769 0 0 20 0 1 0 43734162 1683771392 336852 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 411077 336852 1907 992 0 402935 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1644308 KiB
Current children cumulated memory: 1347408 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 330962
/proc/meminfo: memFree=112969764/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=2490684 memory=2085792 CPUtime=221.76 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 228773 0 0 0 21279 897 0 0 20 0 1 0 43734162 2550460416 521448 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 622671 521448 1907 992 0 614529 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 2490684 KiB
Current children cumulated memory: 2085792 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 331359
/proc/meminfo: memFree=111444000/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=2565796 memory=2160588 CPUtime=281.63 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 247505 0 0 0 27216 947 0 0 20 0 1 0 43734162 2627375104 540147 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 641449 540147 1907 992 0 633307 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 2565796 KiB
Current children cumulated memory: 2160588 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 331371
/proc/meminfo: memFree=109818540/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=2613252 memory=2207048 CPUtime=341.5 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 259169 0 0 0 33126 1024 0 0 20 0 1 0 43734162 2675970048 551762 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 653313 551762 1907 992 0 645171 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 2613252 KiB
Current children cumulated memory: 2207048 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 331382
/proc/meminfo: memFree=108519748/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=2715184 memory=2310776 CPUtime=401.37 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 284817 0 0 0 38876 1261 0 0 20 0 1 0 43734162 2780348416 577694 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 678796 577694 1907 992 0 670654 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 2715184 KiB
Current children cumulated memory: 2310776 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 331560
/proc/meminfo: memFree=107046096/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=2996516 memory=2578688 CPUtime=461.24 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 352285 0 0 0 44798 1326 0 0 20 0 1 0 43734162 3068432384 644672 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 749129 644672 1907 992 0 740987 0
################
# More data... #
################
Current children cumulated memory: 7913212 KiB
[startup+2922.3 s]
/proc/loadavg: 3.28 3.49 3.84 4/255 332783
/proc/meminfo: memFree=55573824/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8822152 memory=7959328 CPUtime=2915.79 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1195956 0 0 0 285241 6338 0 0 20 0 1 0 43734162 9033883648 1989832 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2205538 1989832 1907 992 0 2197396 0
Current children cumulated CPU time: 2915.79 s
Current children cumulated vsize: 8822152 KiB
Current children cumulated memory: 7959328 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.41 3.79 4/254 332796
/proc/meminfo: memFree=54172352/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8098524 CPUtime=2975.65 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1234214 0 0 0 291093 6472 0 0 20 0 1 0 43734162 9190469632 2024631 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2024631 1907 992 0 2235625 0
Current children cumulated CPU time: 2975.65 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8098524 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.35 3.74 4/258 332815
/proc/meminfo: memFree=52041076/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8098556 CPUtime=3035.51 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1237335 0 0 0 297035 6516 0 0 20 0 1 0 43734162 9190469632 2024639 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2024639 1907 992 0 2235625 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8098556 KiB
[startup+3102.3 s]
/proc/loadavg: 3.16 3.31 3.70 4/258 332825
/proc/meminfo: memFree=50615328/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8101612 CPUtime=3095.37 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1240668 0 0 0 302941 6596 0 0 20 0 1 0 43734162 9190469632 2025403 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2025403 1907 992 0 2235625 0
Current children cumulated CPU time: 3095.37 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8101612 KiB
[startup+3162.3 s]
/proc/loadavg: 3.06 3.25 3.66 4/258 332836
/proc/meminfo: memFree=48640644/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8102384 CPUtime=3155.24 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1243701 0 0 0 308885 6639 0 0 20 0 1 0 43734162 9190469632 2025596 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2025596 1907 992 0 2235625 0
Current children cumulated CPU time: 3155.24 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8102384 KiB
[startup+3222.3 s]
/proc/loadavg: 3.06 3.22 3.62 4/259 332847
/proc/meminfo: memFree=46988652/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8102948 CPUtime=3215.11 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1246932 0 0 0 314845 6666 0 0 20 0 1 0 43734162 9190469632 2025737 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2025737 1907 992 0 2235625 0
Current children cumulated CPU time: 3215.11 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8102948 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.21 3.59 4/260 332858
/proc/meminfo: memFree=46652760/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8975068 memory=8103740 CPUtime=3274.99 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1249740 0 0 0 320819 6680 0 0 20 0 1 0 43734162 9190469632 2025935 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2243767 2025935 1907 992 0 2235625 0
Current children cumulated CPU time: 3274.99 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8103740 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.18 3.55 4/258 332869
/proc/meminfo: memFree=46199172/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8978068 memory=8118204 CPUtime=3334.88 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1254262 0 0 0 326787 6701 0 0 20 0 1 0 43734162 9193541632 2029551 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2244517 2029551 1907 992 0 2236375 0
Current children cumulated CPU time: 3334.88 s
Current children cumulated vsize: 8978068 KiB
Current children cumulated memory: 8118204 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.18 3.53 4/259 332881
/proc/meminfo: memFree=44320024/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8995936 memory=8141700 CPUtime=3394.76 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1261964 0 0 0 332729 6747 0 0 20 0 1 0 43734162 9211838464 2035425 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2248984 2035425 1907 992 0 2240842 0
Current children cumulated CPU time: 3394.76 s
Current children cumulated vsize: 8995936 KiB
Current children cumulated memory: 8141700 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.16 3.50 4/257 332893
/proc/meminfo: memFree=42408644/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8996464 memory=8142220 CPUtime=3454.63 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1265763 0 0 0 338669 6794 0 0 20 0 1 0 43734162 9212379136 2035555 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2249116 2035555 1907 992 0 2240974 0
Current children cumulated CPU time: 3454.63 s
Current children cumulated vsize: 8996464 KiB
Current children cumulated memory: 8142220 KiB
[startup+3522.3 s]
/proc/loadavg: 3.47 3.25 3.51 4/253 332903
/proc/meminfo: memFree=41029108/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=9020968 memory=8166804 CPUtime=3514.51 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1275268 0 0 0 344600 6851 0 0 20 0 1 0 43734162 9237471232 2041701 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2255242 2041701 1907 992 0 2247100 0
Current children cumulated CPU time: 3514.51 s
Current children cumulated vsize: 9020968 KiB
Current children cumulated memory: 8166804 KiB
[startup+3582.3 s]
/proc/loadavg: 3.47 3.30 3.51 4/255 332919
/proc/meminfo: memFree=39636076/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=9085720 memory=8231340 CPUtime=3574.39 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1293473 0 0 0 350539 6900 0 0 20 0 1 0 43734162 9303777280 2057835 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2271430 2057835 1907 992 0 2263288 0
Current children cumulated CPU time: 3574.39 s
Current children cumulated vsize: 9085720 KiB
Current children cumulated memory: 8231340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608 s]*
/proc/loadavg: 3.31 3.27 3.49 4/256 332924
/proc/meminfo: memFree=39034972/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=9118704 memory=8264176 CPUtime=3600.04 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1302969 0 0 0 353079 6925 0 0 20 0 1 0 43734162 9337552896 2066044 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2279676 2066044 1907 992 0 2271534 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 9118704 KiB
Current children cumulated memory: 8264176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.25 s]
# the end of solver process 330635 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3530.86 s, system=69.3259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.2 s]
/proc/loadavg: 3.31 3.27 3.49 4/256 332924
/proc/meminfo: memFree=39034972/131524600 swapFree=131061696/131071996
[pid=330635] ppid=330632 vsize=8781732 memory=7928016 CPUtime=3600.12 cores=4,6
/proc/330635/stat : 330635 (roundingsat) R 330632 330635 326388 0 -1 4194304 1303067 0 0 0 353085 6927 0 0 20 0 1 0 43734162 8992493568 1982004 134679101440 4194304 8254357 140731107966016 0 0 0 0 0 25182210 0 0 0 17 6 0 0 14 0 0 9037040 9046032 26071040 140731107971935 140731107972197 140731107972197 140731107979209 0
/proc/330635/statm: 2195433 1982004 2007 992 0 2187291 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 8781732 KiB
Current children cumulated memory: 7928016 KiB
Child status: 0
Real time (s): 3608.25
CPU time (s): 3600.18
CPU user time (s): 3530.86
CPU system time (s): 69.3259
CPU usage (%): 99.7763
Max. virtual memory (cumulated for all children) (KiB): 9118704
Max. memory (cumulated for all children) (KiB): 8264176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.86
system time used= 69.3259
maximum resident set size= 8264724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1303081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56783488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2068
involuntary context switches= 4771
# summary of solver processes directly reported to runsolver:
# pid: 330635
# total CPU time (s): 3600.18
# total CPU user time (s): 3530.86
# total CPU system time (s): 69.3259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52011 second user time and 15.5464 second system time
The end
Begin job on nodeC020 at 2024-07-27 11:20:58
IDJOB=4460471
IDBENCH=158605
IDSOLVER=3086
FILE ID=nodeC020/4460471-1722072058
RUNJOBID= nodeC020-1722064836-326399
SLURM_JOB_ID= 8248089
Free space on /tmp= 890000 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.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-4460471-1722072058/watcher-4460471-1722072058 -o /tmp/evaluation-result-4460471-1722072058/solver-4460471-1722072058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722064836-326399 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460471-1722072058 --lp-cut-gomory=0 HOME/instance-4460471-1722072058.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=1994572972
nodeC020.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 : 3672.633
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.31
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.191
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.25
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 : 3623.123
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.31
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.826
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.25
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 : 3664.392
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.31
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.190
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.25
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 : 3643.142
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.31
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.975
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 54506800 kB
MemAvailable: 108402776 kB
Buffers: 368616 kB
Cached: 54283756 kB
SwapCached: 200 kB
Active: 2823504 kB
Inactive: 73382896 kB
Active(anon): 2492 kB
Inactive(anon): 21613660 kB
Active(file): 2821012 kB
Inactive(file): 51769236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061696 kB
Dirty: 66512 kB
Writeback: 0 kB
AnonPages: 21552620 kB
Mapped: 121576 kB
Shmem: 62072 kB
KReclaimable: 291100 kB
Slab: 410720 kB
SReclaimable: 291100 kB
SUnreclaim: 119620 kB
KernelStack: 4128 kB
PageTables: 53292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 27020516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5855232 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: 365268 kB
DirectMap2M: 45545472 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC020 at 2024-07-27 12:21:06