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 (17644 MiB free)
memory of node 1: 64473 MiB (52170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462803-1722344472/watcher-4462803-1722344472 -o /tmp/evaluation-result-4462803-1722344472/solver-4462803-1722344472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6569 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462803-1722344472 --lp-cut-gomory=0 HOME/instance-4462803-1722344472.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=8783, runsolver pid=8780
[startup+0.100335 s]*
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=73372928/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=70016 memory=33200 CPUtime=0.08 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 4894 0 0 0 5 3 0 0 20 0 1 0 1048361 71696384 8300 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 17504 8300 1412 992 0 9362 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70016 KiB
Current children cumulated memory: 33200 KiB
[startup+0.205352 s]*
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=75309420/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=75016 memory=37840 CPUtime=0.18 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 5538 0 0 0 13 5 0 0 20 0 1 0 1048361 76816384 9460 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 18754 9460 1412 992 0 10612 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75016 KiB
Current children cumulated memory: 37840 KiB
[startup+0.306351 s]*
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=77217588/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=81436 memory=42528 CPUtime=0.28 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 6704 0 0 0 20 8 0 0 20 0 1 0 1048361 83390464 10632 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 20359 10632 1412 992 0 12217 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 81436 KiB
Current children cumulated memory: 42528 KiB
[startup+0.700211 s]
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=80928952/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=92976 memory=55608 CPUtime=0.67 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 8439 0 0 0 50 17 0 0 20 0 1 0 1048361 95207424 13902 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 23244 13902 1412 992 0 15102 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92976 KiB
Current children cumulated memory: 55608 KiB
[startup+1.50023 s]
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=90141184/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=271152 memory=221848 CPUtime=1.46 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 38041 0 0 0 121 25 0 0 20 0 1 0 1048361 277659648 55462 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 67788 55462 1794 992 0 59646 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 271152 KiB
Current children cumulated memory: 221848 KiB
[startup+3.10545 s]
/proc/loadavg: 4.32 4.22 4.12 5/254 8785
/proc/meminfo: memFree=127389540/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=280616 memory=235912 CPUtime=3.07 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 39066 0 0 0 281 26 0 0 20 0 1 0 1048361 287350784 58978 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 70154 58978 1794 992 0 62012 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 280616 KiB
Current children cumulated memory: 235912 KiB
[startup+6.30021 s]
/proc/loadavg: 4.30 4.22 4.12 4/260 8805
/proc/meminfo: memFree=128845292/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=293192 memory=251048 CPUtime=6.25 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 41757 0 0 0 590 35 0 0 20 0 1 0 1048361 300228608 62762 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 73298 62762 1878 992 0 65156 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 293192 KiB
Current children cumulated memory: 251048 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.21 4.12 5/260 8807
/proc/meminfo: memFree=128248100/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=336860 memory=293292 CPUtime=12.63 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 48805 0 0 0 1219 44 0 0 20 0 1 0 1048361 344944640 73323 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 84215 73323 1894 992 0 76073 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 336860 KiB
Current children cumulated memory: 293292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.22 4.12 5/260 8808
/proc/meminfo: memFree=126521248/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=454920 memory=406376 CPUtime=25.38 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 64306 0 0 0 2477 61 0 0 20 0 1 0 1048361 465838080 101594 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 113730 101594 1894 992 0 105588 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 454920 KiB
Current children cumulated memory: 406376 KiB
[startup+51.1056 s]
/proc/loadavg: 4.19 4.20 4.12 5/260 8813
/proc/meminfo: memFree=124748252/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=505008 memory=412320 CPUtime=50.91 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 64785 0 0 0 5002 89 0 0 20 0 1 0 1048361 517128192 103080 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 126252 103080 1894 992 0 118110 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 505008 KiB
Current children cumulated memory: 412320 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/260 8822
/proc/meminfo: memFree=121146884/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=571696 memory=514932 CPUtime=101.92 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 78329 0 0 0 10049 143 0 0 20 0 1 0 1048361 585416704 128733 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 142924 128733 1910 992 0 134782 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 571696 KiB
Current children cumulated memory: 514932 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.11 5/259 8832
/proc/meminfo: memFree=117554944/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=588144 memory=549904 CPUtime=161.71 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 83584 0 0 0 15968 203 0 0 20 0 1 0 1048361 602259456 137476 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 147036 137476 1910 992 0 138894 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 588144 KiB
Current children cumulated memory: 549904 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.11 5/259 8844
/proc/meminfo: memFree=114025032/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=778564 memory=703524 CPUtime=221.49 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 106736 0 0 0 21891 258 0 0 20 0 1 0 1048361 797249536 175881 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 194641 175881 1910 992 0 186499 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 778564 KiB
Current children cumulated memory: 703524 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/258 8854
/proc/meminfo: memFree=110671864/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=778564 memory=704156 CPUtime=281.28 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 106940 0 0 0 27815 313 0 0 20 0 1 0 1048361 797249536 176039 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 194641 176039 1910 992 0 186499 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 778564 KiB
Current children cumulated memory: 704156 KiB
[startup+342.3 s]
/proc/loadavg: 4.46 4.23 4.13 5/258 8866
/proc/meminfo: memFree=107069128/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=778564 memory=704156 CPUtime=341.06 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 106988 0 0 0 33744 362 0 0 20 0 1 0 1048361 797249536 176039 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 194641 176039 1910 992 0 186499 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 778564 KiB
Current children cumulated memory: 704156 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.22 4.13 5/258 8879
/proc/meminfo: memFree=105183924/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=780216 memory=720924 CPUtime=400.85 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 107190 0 0 0 39670 415 0 0 20 0 1 0 1048361 798941184 180231 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 195054 180231 1910 992 0 186912 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 780216 KiB
Current children cumulated memory: 720924 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.22 4.14 5/259 8890
/proc/meminfo: memFree=101623776/131524600 swapFree=131071472/131071996
[pid=8783] ppid=8780 vsize=812416 memory=763636 CPUtime=460.63 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 116943 0 0 0 45599 464 0 0 20 0 1 0 1048361 831913984 190909 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 203104 190909 1910 992 0 194962 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/262 10027
/proc/meminfo: memFree=588116/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604064 memory=1373460 CPUtime=3151.4 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 601860 0 0 0 312548 2592 0 0 20 0 1 0 1048361 1642561536 343365 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401016 343365 1910 992 0 392874 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 1604064 KiB
Current children cumulated memory: 1373460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/259 10039
/proc/meminfo: memFree=503496/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604428 memory=1377100 CPUtime=3211.18 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 612961 0 0 0 318490 2628 0 0 20 0 1 0 1048361 1642934272 344275 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401107 344275 1910 992 0 392965 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 1604428 KiB
Current children cumulated memory: 1377100 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/261 10433
/proc/meminfo: memFree=582292/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604428 memory=1377248 CPUtime=3270.98 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 616915 0 0 0 324424 2674 0 0 20 0 1 0 1048361 1642934272 344312 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401107 344312 1910 992 0 392965 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 1604428 KiB
Current children cumulated memory: 1377248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/263 10447
/proc/meminfo: memFree=499440/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604428 memory=1377248 CPUtime=3330.78 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 622553 0 0 0 330351 2727 0 0 20 0 1 0 1048361 1642934272 344312 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401107 344312 1910 992 0 392965 0
Current children cumulated CPU time: 3330.78 s
Current children cumulated vsize: 1604428 KiB
Current children cumulated memory: 1377248 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.18 4.18 5/263 10459
/proc/meminfo: memFree=492908/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604428 memory=1377248 CPUtime=3390.57 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 645024 0 0 0 336294 2763 0 0 20 0 1 0 1048361 1642934272 344312 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401107 344312 1910 992 0 392965 0
Current children cumulated CPU time: 3390.57 s
Current children cumulated vsize: 1604428 KiB
Current children cumulated memory: 1377248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/263 10637
/proc/meminfo: memFree=507116/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1604428 memory=1377248 CPUtime=3450.36 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 649689 0 0 0 342234 2802 0 0 20 0 1 0 1048361 1642934272 344312 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 401107 344312 1910 992 0 392965 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 1604428 KiB
Current children cumulated memory: 1377248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/264 10649
/proc/meminfo: memFree=626772/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1608340 memory=1378036 CPUtime=3510.16 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 657857 0 0 0 348178 2838 0 0 20 0 1 0 1048361 1646940160 344509 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 402085 344509 1910 992 0 393943 0
Current children cumulated CPU time: 3510.16 s
Current children cumulated vsize: 1608340 KiB
Current children cumulated memory: 1378036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/263 10802
/proc/meminfo: memFree=5766996/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1643604 memory=1424248 CPUtime=3569.95 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 680813 0 0 0 354118 2877 0 0 20 0 1 0 1048361 1683050496 356062 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 410901 356062 1910 992 0 402759 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 1643604 KiB
Current children cumulated memory: 1424248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.14 4.15 4.17 4/256 10845
/proc/meminfo: memFree=16298920/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1685380 memory=1482448 CPUtime=3600.05 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724305 0 0 0 357102 2903 0 0 20 0 1 0 1048361 1725829120 370612 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421345 370612 1910 992 0 413203 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1685380 KiB
Current children cumulated memory: 1482448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3626.18 s]
# the end of solver process 8783 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.02 s, system=29.1033 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.14 4.15 4.17 4/256 10845
/proc/meminfo: memFree=16298920/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1685380 memory=1482448 CPUtime=3600.35 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724305 0 0 0 357132 2903 0 0 20 0 1 0 1048361 1725829120 370612 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421345 370612 1910 992 0 413203 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 1685380 KiB
Current children cumulated memory: 1482448 KiB
[startup+3613.6 s]
/proc/loadavg: 4.14 4.15 4.17 5/256 10845
/proc/meminfo: memFree=22827184/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1686516 memory=1482960 CPUtime=3601.14 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724431 0 0 0 357211 2903 0 0 20 0 1 0 1048361 1726992384 370740 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421629 370740 1910 992 0 413487 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 1686516 KiB
Current children cumulated memory: 1482960 KiB
[startup+3614 s]*
/proc/loadavg: 4.14 4.15 4.17 6/256 10845
/proc/meminfo: memFree=41652568/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1686688 memory=1483476 CPUtime=3601.54 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724544 0 0 0 357251 2903 0 0 20 0 1 0 1048361 1727168512 370869 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421672 370869 1910 992 0 413530 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 1686688 KiB
Current children cumulated memory: 1483476 KiB
[startup+3614.4 s]
/proc/loadavg: 4.14 4.15 4.17 6/256 10845
/proc/meminfo: memFree=41652568/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1686688 memory=1483476 CPUtime=3601.94 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724559 0 0 0 357291 2903 0 0 20 0 1 0 1048361 1727168512 370869 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421672 370869 1910 992 0 413530 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 1686688 KiB
Current children cumulated memory: 1483476 KiB
[startup+3614.5 s]
/proc/loadavg: 4.14 4.15 4.17 6/256 10845
/proc/meminfo: memFree=41652568/131524600 swapFree=131063756/131071996
[pid=8783] ppid=8780 vsize=1686688 memory=1483476 CPUtime=3602.04 cores=5,7
/proc/8783/stat : 8783 (roundingsat) R 8780 8783 6556 0 -1 4194304 724560 0 0 0 357301 2903 0 0 20 0 1 0 1048361 1727168512 370869 134679101440 4194304 8255733 140734595368416 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39628800 140734595375966 140734595376228 140734595376228 140734595383241 0
/proc/8783/statm: 421672 370869 1910 992 0 413530 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 1686688 KiB
Current children cumulated memory: 1483476 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3626.18
CPU time (s): 3602.12
CPU user time (s): 3573.02
CPU system time (s): 29.1033
CPU usage (%): 99.3364
Max. virtual memory (cumulated for all children) (KiB): 1686688
Max. memory (cumulated for all children) (KiB): 1483476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.02
system time used= 29.1033
maximum resident set size= 1483536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81707248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4209
involuntary context switches= 4765
# summary of solver processes directly reported to runsolver:
# pid: 8783
# total CPU time (s): 3602.12
# total CPU user time (s): 3573.02
# total CPU system time (s): 29.1033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67849 second user time and 16.2789 second system time
The end
Begin job on nodeC029 at 2024-07-30 15:01:13
IDJOB=4462803
IDBENCH=155727
IDSOLVER=3089
FILE ID=nodeC029/4462803-1722344472
RUNJOBID= nodeC029-1722340763-6569
SLURM_JOB_ID= 8249002
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_9_ic.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-4462803-1722344472/watcher-4462803-1722344472 -o /tmp/evaluation-result-4462803-1722344472/solver-4462803-1722344472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6569 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462803-1722344472 --lp-cut-gomory=0 HOME/instance-4462803-1722344472.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4134a3bbfafa37bf409eb88a166c5118
RANDOM SEED=768974306
nodeC029.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 : 3600.288
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.02
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 : 3670.481
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.75
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 : 3670.372
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.02
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 : 3608.477
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.75
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 : 3670.359
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.02
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 : 3651.372
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.75
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 : 3600.303
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.02
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 : 3670.429
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 71116160 kB
MemAvailable: 129240896 kB
Buffers: 40772 kB
Cached: 58857716 kB
SwapCached: 12 kB
Active: 182916 kB
Inactive: 59623720 kB
Active(anon): 1544 kB
Inactive(anon): 928244 kB
Active(file): 181372 kB
Inactive(file): 58695476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 199788 kB
Writeback: 0 kB
AnonPages: 908540 kB
Mapped: 94648 kB
Shmem: 21264 kB
KReclaimable: 174776 kB
Slab: 260292 kB
SReclaimable: 174776 kB
SUnreclaim: 85516 kB
KernelStack: 4012 kB
PageTables: 10936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1323024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 454656 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: 185044 kB
DirectMap2M: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC029 at 2024-07-30 16:01:39