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 (3173 MiB free)
memory of node 1: 64510 MiB (187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456857-1721774445/watcher-4456857-1721774445 -o /tmp/evaluation-result-4456857-1721774445/solver-4456857-1721774445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123167 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456857-1721774445 --lp-cut-gomory=0 HOME/instance-4456857-1721774445.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
solver pid=129073, runsolver pid=129070
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100677 s]*
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3416412/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=60060 memory=29772 CPUtime=0.09 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 8305 0 0 0 8 1 0 0 20 0 1 0 13974089 61501440 7443 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 15015 7443 1679 992 0 6873 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60060 KiB
Current children cumulated memory: 29772 KiB
[startup+0.206676 s]*
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3408392/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=65608 memory=35364 CPUtime=0.19 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 10876 0 0 0 18 1 0 0 20 0 1 0 13974089 67182592 8841 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 16402 8841 1679 992 0 8260 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65608 KiB
Current children cumulated memory: 35364 KiB
[startup+0.306694 s]*
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3405380/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=65896 memory=35804 CPUtime=0.29 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 10948 0 0 0 27 2 0 0 20 0 1 0 13974089 67477504 8951 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 16474 8951 1727 992 0 8332 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65896 KiB
Current children cumulated memory: 35804 KiB
[startup+0.700229 s]
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3400996/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=66548 memory=36324 CPUtime=0.67 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 11113 0 0 0 65 2 0 0 20 0 1 0 13974089 68145152 9081 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 16637 9081 1727 992 0 8495 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 36324 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3373672/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=66548 memory=36324 CPUtime=1.47 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 11113 0 0 0 145 2 0 0 20 0 1 0 13974089 68145152 9081 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 16637 9081 1727 992 0 8495 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 36324 KiB
[startup+3.10673 s]
/proc/loadavg: 4.08 4.13 4.16 5/263 129074
/proc/meminfo: memFree=3250376/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=97348 memory=69304 CPUtime=3.07 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 17296 0 0 0 293 14 0 0 20 0 1 0 13974089 99684352 17326 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 24337 17326 1773 992 0 16195 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 97348 KiB
Current children cumulated memory: 69304 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.13 4.16 5/263 129076
/proc/meminfo: memFree=3156888/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=98884 memory=70608 CPUtime=6.25 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 17581 0 0 0 610 15 0 0 20 0 1 0 13974089 101257216 17652 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 24721 17652 1773 992 0 16579 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 98884 KiB
Current children cumulated memory: 70608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.16 5/263 129076
/proc/meminfo: memFree=2895072/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=122040 memory=90380 CPUtime=12.65 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 20980 0 0 0 1231 34 0 0 20 0 1 0 13974089 124968960 22595 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 30510 22595 1827 992 0 22368 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 122040 KiB
Current children cumulated memory: 90380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.17 5/261 129080
/proc/meminfo: memFree=2412484/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=153780 memory=117216 CPUtime=25.41 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 24589 0 0 0 2490 51 0 0 20 0 1 0 13974089 157470720 29304 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 38445 29304 1859 992 0 30303 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 153780 KiB
Current children cumulated memory: 117216 KiB
[startup+51.1062 s]
/proc/loadavg: 4.20 4.15 4.17 5/264 129086
/proc/meminfo: memFree=1505108/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=175684 memory=147768 CPUtime=50.95 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 30219 0 0 0 4999 96 0 0 20 0 1 0 13974089 179900416 36942 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 43921 36942 1859 992 0 35779 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 175684 KiB
Current children cumulated memory: 147768 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/264 129096
/proc/meminfo: memFree=588416/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=228020 memory=186980 CPUtime=102 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 35912 0 0 0 10014 186 0 0 20 0 1 0 13974089 233492480 46745 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 57005 46745 1859 992 0 48863 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 228020 KiB
Current children cumulated memory: 186980 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/264 129106
/proc/meminfo: memFree=494400/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=304776 memory=253628 CPUtime=161.84 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 42919 0 0 0 15920 264 0 0 20 0 1 0 13974089 312090624 63407 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 76194 63407 1859 992 0 68052 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 304776 KiB
Current children cumulated memory: 253628 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/264 129116
/proc/meminfo: memFree=558816/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=329280 memory=277340 CPUtime=221.68 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 48827 0 0 0 21816 352 0 0 20 0 1 0 13974089 337182720 69335 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 82320 69335 1859 992 0 74178 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 329280 KiB
Current children cumulated memory: 277340 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/261 129128
/proc/meminfo: memFree=523160/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=415080 memory=318636 CPUtime=281.51 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 50506 0 0 0 27721 430 0 0 20 0 1 0 13974089 425041920 79659 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 103770 79659 1859 992 0 95628 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 415080 KiB
Current children cumulated memory: 318636 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.20 4.18 5/259 129138
/proc/meminfo: memFree=568240/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=421920 memory=356280 CPUtime=341.35 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 52293 0 0 0 33679 456 0 0 20 0 1 0 13974089 432046080 89070 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 105480 89070 1859 992 0 97338 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 421920 KiB
Current children cumulated memory: 356280 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.24 4.19 5/261 129152
/proc/meminfo: memFree=647088/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=577680 memory=422476 CPUtime=401.19 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 58672 0 0 0 39614 505 0 0 20 0 1 0 13974089 591544320 105619 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 144420 105619 1859 992 0 136278 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 577680 KiB
Current children cumulated memory: 422476 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/263 129164
/proc/meminfo: memFree=565364/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=583472 memory=428284 CPUtime=461.03 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 60131 0 0 0 45513 590 0 0 20 0 1 0 13974089 597475328 107071 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 145868 107071 1859 992 0 137726 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.16 1.18 2.01 2/241 130945
/proc/meminfo: memFree=96408176/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3094.11 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163050 0 0 0 306765 2646 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 1.16 1.95 2/241 130955
/proc/meminfo: memFree=96306684/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3153.99 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163215 0 0 0 312723 2676 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.15 1.89 2/239 130967
/proc/meminfo: memFree=96305908/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3213.89 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163294 0 0 0 318710 2679 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.15 1.84 2/236 130977
/proc/meminfo: memFree=96305296/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3273.81 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163423 0 0 0 324699 2682 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.14 1.79 2/236 130987
/proc/meminfo: memFree=96306172/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3333.71 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163500 0 0 0 330687 2684 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.12 1.75 2/236 130999
/proc/meminfo: memFree=96305700/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3393.63 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163579 0 0 0 336675 2688 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.13 1.71 2/233 131009
/proc/meminfo: memFree=96305016/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3453.54 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163705 0 0 0 342663 2691 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.12 1.67 2/233 131020
/proc/meminfo: memFree=96304232/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284360 CPUtime=3513.45 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163793 0 0 0 348651 2694 0 0 20 0 1 0 13974089 1556623360 321090 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321090 1859 992 0 371893 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284360 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.12 1.63 2/235 131036
/proc/meminfo: memFree=96302952/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3573.35 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163916 0 0 0 354636 2699 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.09 1.11 1.61 2/235 131042
/proc/meminfo: memFree=96302788/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3600.02 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163956 0 0 0 357301 2701 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 129073 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.01 s, system=27.0183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 1.09 1.11 1.61 2/235 131042
/proc/meminfo: memFree=96302788/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3600.62 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163961 0 0 0 357361 2701 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
[startup+3610.4 s]
/proc/loadavg: 1.09 1.11 1.61 2/235 131042
/proc/meminfo: memFree=96302788/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3601.42 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163961 0 0 0 357441 2701 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3601.42 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
[startup+3610.8 s]
/proc/loadavg: 1.09 1.11 1.61 2/235 131042
/proc/meminfo: memFree=96302788/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3601.81 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163961 0 0 0 357480 2701 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
[startup+3611 s]*
/proc/loadavg: 1.09 1.11 1.61 2/235 131042
/proc/meminfo: memFree=96302788/131524600 swapFree=131067876/131071996
[pid=129073] ppid=129070 vsize=1520140 memory=1284656 CPUtime=3602.02 cores=4,6
/proc/129073/stat : 129073 (roundingsat) R 129070 129073 123156 0 -1 4194304 163961 0 0 0 357501 2701 0 0 20 0 1 0 13974089 1556623360 321164 134679101440 4194304 8254037 140735746879040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14970880 140735746880348 140735746880610 140735746880610 140735746887625 0
/proc/129073/statm: 380035 321164 1859 992 0 371893 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1284656 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.01
CPU time (s): 3602.03
CPU user time (s): 3575.01
CPU system time (s): 27.0183
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 1520140
Max. memory (cumulated for all children) (KiB): 1284656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.01
system time used= 27.0183
maximum resident set size= 1284656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25778192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162
involuntary context switches= 4834
# summary of solver processes directly reported to runsolver:
# pid: 129073
# total CPU time (s): 3602.03
# total CPU user time (s): 3575.01
# total CPU system time (s): 27.0183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73932 second user time and 16.1386 second system time
The end
Begin job on nodeC031 at 2024-07-24 00:40:45
IDJOB=4456857
IDBENCH=147859
IDSOLVER=3085
FILE ID=nodeC031/4456857-1721774445
RUNJOBID= nodeC031-1721765586-123167
SLURM_JOB_ID= 7770659
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.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-4456857-1721774445/watcher-4456857-1721774445 -o /tmp/evaluation-result-4456857-1721774445/solver-4456857-1721774445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123167 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456857-1721774445 --lp-cut-gomory=0 HOME/instance-4456857-1721774445.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1022884623
nodeC031.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.734
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 : 7000.44
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 : 3686.577
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 : 7007.12
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 : 3608.278
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 : 7000.44
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 : 3600.399
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 : 7007.12
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.544
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 : 7000.44
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 : 3686.564
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 : 7007.12
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 : 3651.390
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 : 7000.44
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 : 3600.483
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 3442676 kB
MemAvailable: 125448996 kB
Buffers: 190228 kB
Cached: 122378748 kB
SwapCached: 436 kB
Active: 1207312 kB
Inactive: 125835860 kB
Active(anon): 3828 kB
Inactive(anon): 4507304 kB
Active(file): 1203484 kB
Inactive(file): 121328556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131067876 kB
Dirty: 1282916 kB
Writeback: 0 kB
AnonPages: 4471980 kB
Mapped: 112944 kB
Shmem: 37132 kB
KReclaimable: 535512 kB
Slab: 683756 kB
SReclaimable: 535512 kB
SUnreclaim: 148244 kB
KernelStack: 4256 kB
PageTables: 18476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5698240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1411072 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: 328404 kB
DirectMap2M: 31950848 kB
DirectMap1G: 103809024 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-24 01:40:56