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 (55966 MiB free)
memory of node 1: 64473 MiB (60360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460907-1722072264/watcher-4460907-1722072264 -o /tmp/evaluation-result-4460907-1722072264/solver-4460907-1722072264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372812 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460907-1722072264 --lp-cut-gomory=0 HOME/instance-4460907-1722072264.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
solver pid=377720, runsolver pid=377717
Current StackSize limit: 8192 KiB
[startup+0.101019 s]*
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119099972/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=54300 memory=24340 CPUtime=0.09 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 5549 0 0 0 8 1 0 0 20 0 1 0 43750366 55603200 6085 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 13575 6085 1683 992 0 5433 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54300 KiB
Current children cumulated memory: 24340 KiB
[startup+0.206015 s]*
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119098628/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=56884 memory=25660 CPUtime=0.19 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 5821 0 0 0 18 1 0 0 20 0 1 0 43750366 58249216 6415 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 14221 6415 1683 992 0 6079 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56884 KiB
Current children cumulated memory: 25660 KiB
[startup+0.305016 s]*
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119097620/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=57412 memory=26188 CPUtime=0.28 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 6012 0 0 0 27 1 0 0 20 0 1 0 43750366 58789888 6547 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 14353 6547 1683 992 0 6211 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 26188 KiB
[startup+0.701014 s]
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119095604/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=58300 memory=26980 CPUtime=0.66 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 6202 0 0 0 64 2 0 0 20 0 1 0 43750366 59699200 6745 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 14575 6745 1683 992 0 6433 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 58300 KiB
Current children cumulated memory: 26980 KiB
[startup+1.50103 s]
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119093924/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=61020 memory=34308 CPUtime=1.46 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 6975 0 0 0 143 3 0 0 20 0 1 0 43750366 62484480 8577 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 15255 8577 1715 992 0 7113 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61020 KiB
Current children cumulated memory: 34308 KiB
[startup+3.10551 s]
/proc/loadavg: 4.07 4.14 4.16 5/260 377721
/proc/meminfo: memFree=119046592/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=89272 memory=61216 CPUtime=3.05 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 9625 0 0 0 298 7 0 0 20 0 1 0 43750366 91414528 15304 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 22318 15304 1715 992 0 14176 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 89272 KiB
Current children cumulated memory: 61216 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.15 4.16 5/260 377723
/proc/meminfo: memFree=118982720/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=145968 memory=106712 CPUtime=6.24 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 12316 0 0 0 613 11 0 0 20 0 1 0 43750366 149471232 26678 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 36492 26678 1715 992 0 28350 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 145968 KiB
Current children cumulated memory: 106712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.16 5/260 377723
/proc/meminfo: memFree=118896696/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=210836 memory=157980 CPUtime=12.61 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 16467 0 0 0 1245 16 0 0 20 0 1 0 43750366 215896064 39495 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 52709 39495 1715 992 0 44567 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 210836 KiB
Current children cumulated memory: 157980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.16 5/260 377726
/proc/meminfo: memFree=118762836/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=310628 memory=213900 CPUtime=25.39 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 21665 0 0 0 2511 28 0 0 20 0 1 0 43750366 318083072 53475 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 77657 53475 1809 992 0 69515 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 310628 KiB
Current children cumulated memory: 213900 KiB
[startup+51.1055 s]
/proc/loadavg: 4.30 4.18 4.17 5/260 378113
/proc/meminfo: memFree=118529628/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=342016 memory=295184 CPUtime=50.93 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 29313 0 0 0 5049 44 0 0 20 0 1 0 43750366 350224384 73796 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 85504 73796 1809 992 0 77362 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 342016 KiB
Current children cumulated memory: 295184 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/261 378123
/proc/meminfo: memFree=117967804/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=578988 memory=465828 CPUtime=102 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 55708 0 0 0 10124 76 0 0 20 0 1 0 43750366 592883712 116457 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 144747 116457 1809 992 0 136605 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 578988 KiB
Current children cumulated memory: 465828 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/261 378134
/proc/meminfo: memFree=117343384/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=656604 memory=588104 CPUtime=161.83 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 74636 0 0 0 16072 111 0 0 20 0 1 0 43750366 672362496 147026 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 164151 147026 1809 992 0 156009 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 656604 KiB
Current children cumulated memory: 588104 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/260 378144
/proc/meminfo: memFree=116710384/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=708128 memory=667632 CPUtime=221.68 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 87979 0 0 0 22021 147 0 0 20 0 1 0 43750366 725123072 166908 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 177032 166908 1809 992 0 168890 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 708128 KiB
Current children cumulated memory: 667632 KiB
[startup+282.3 s]
/proc/loadavg: 4.55 4.26 4.20 5/261 378323
/proc/meminfo: memFree=116072420/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=952996 memory=723976 CPUtime=281.54 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 96227 0 0 0 27968 186 0 0 20 0 1 0 43750366 975867904 180994 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 238249 180994 1809 992 0 230107 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 952996 KiB
Current children cumulated memory: 723976 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.23 4.19 5/262 378334
/proc/meminfo: memFree=115364608/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=983952 memory=764692 CPUtime=341.39 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 103886 0 0 0 33908 231 0 0 20 0 1 0 43750366 1007566848 191173 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 245988 191173 1809 992 0 237846 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 983952 KiB
Current children cumulated memory: 764692 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/263 378403
/proc/meminfo: memFree=114584440/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1034364 memory=839856 CPUtime=401.23 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 117927 0 0 0 39850 273 0 0 20 0 1 0 43750366 1059188736 209964 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 258591 209964 1809 992 0 250449 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1034364 KiB
Current children cumulated memory: 839856 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/263 378415
/proc/meminfo: memFree=114049424/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1058800 memory=863912 CPUtime=461.06 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 123989 0 0 0 45799 307 0 0 20 0 1 0 43750366 1084211200 215978 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 264700 215978 1809 992 0 256558 0
################
# More data... #
################
Current children cumulated memory: 1489640 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.24 2.87 3/246 379514
/proc/meminfo: memFree=83937336/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1840140 memory=1489832 CPUtime=2915.11 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 251184 0 0 0 289507 2004 0 0 20 0 1 0 43750366 1884303360 372458 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 460035 372458 1809 992 0 451893 0
Current children cumulated CPU time: 2915.11 s
Current children cumulated vsize: 1840140 KiB
Current children cumulated memory: 1489832 KiB
[startup+2982.3 s]
/proc/loadavg: 2.14 2.23 2.82 3/248 379528
/proc/meminfo: memFree=83027208/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1840140 memory=1489832 CPUtime=2974.97 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 251722 0 0 0 295447 2050 0 0 20 0 1 0 43750366 1884303360 372458 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 460035 372458 1809 992 0 451893 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 1840140 KiB
Current children cumulated memory: 1489832 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.20 2.77 3/248 379539
/proc/meminfo: memFree=82228752/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1843424 memory=1492992 CPUtime=3034.81 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 253115 0 0 0 301393 2088 0 0 20 0 1 0 43750366 1887666176 373248 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 460856 373248 1809 992 0 452714 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 1843424 KiB
Current children cumulated memory: 1492992 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.20 2.74 3/248 379549
/proc/meminfo: memFree=81583732/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1850692 memory=1510444 CPUtime=3094.66 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 255484 0 0 0 307334 2132 0 0 20 0 1 0 43750366 1895108608 377611 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 462673 377611 1809 992 0 454531 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 1850692 KiB
Current children cumulated memory: 1510444 KiB
[startup+3162.3 s]
/proc/loadavg: 2.15 2.19 2.70 3/248 379561
/proc/meminfo: memFree=80588812/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1852124 memory=1511952 CPUtime=3154.51 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 256248 0 0 0 313268 2183 0 0 20 0 1 0 43750366 1896574976 377988 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 463031 377988 1809 992 0 454889 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 1852124 KiB
Current children cumulated memory: 1511952 KiB
[startup+3222.3 s]
/proc/loadavg: 2.05 2.16 2.65 3/247 379572
/proc/meminfo: memFree=79640900/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1852752 memory=1512580 CPUtime=3214.36 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 257012 0 0 0 319203 2233 0 0 20 0 1 0 43750366 1897218048 378145 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 463188 378145 1809 992 0 455046 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 1852752 KiB
Current children cumulated memory: 1512580 KiB
[startup+3282.3 s]
/proc/loadavg: 2.29 2.20 2.64 3/245 379584
/proc/meminfo: memFree=78852708/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1855052 memory=1514880 CPUtime=3274.2 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 258255 0 0 0 325147 2273 0 0 20 0 1 0 43750366 1899573248 378720 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 463763 378720 1809 992 0 455621 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 1855052 KiB
Current children cumulated memory: 1514880 KiB
[startup+3342.3 s]
/proc/loadavg: 2.16 2.18 2.60 3/247 379596
/proc/meminfo: memFree=77712452/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1876480 memory=1552692 CPUtime=3334.05 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 264133 0 0 0 331076 2329 0 0 20 0 1 0 43750366 1921515520 388173 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 469120 388173 1809 992 0 460978 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 1876480 KiB
Current children cumulated memory: 1552692 KiB
[startup+3402.3 s]
/proc/loadavg: 2.17 2.18 2.57 3/251 379613
/proc/meminfo: memFree=76624900/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1877300 memory=1553612 CPUtime=3393.94 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 265051 0 0 0 337012 2382 0 0 20 0 1 0 43750366 1922355200 388403 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 469325 388403 1809 992 0 461183 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 1877300 KiB
Current children cumulated memory: 1553612 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 2.17 2.54 3/252 379625
/proc/meminfo: memFree=75617728/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1877500 memory=1553816 CPUtime=3453.81 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 265769 0 0 0 342947 2434 0 0 20 0 1 0 43750366 1922560000 388454 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 469375 388454 1809 992 0 461233 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 1877500 KiB
Current children cumulated memory: 1553816 KiB
[startup+3522.3 s]
/proc/loadavg: 1.83 2.09 2.49 2/247 379669
/proc/meminfo: memFree=77343704/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1878396 memory=1558684 CPUtime=3513.67 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 266578 0 0 0 348887 2480 0 0 20 0 1 0 43750366 1923477504 389671 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 469599 389671 1809 992 0 461457 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 1878396 KiB
Current children cumulated memory: 1558684 KiB
[startup+3582.3 s]
/proc/loadavg: 1.46 1.93 2.41 2/246 379682
/proc/meminfo: memFree=76175348/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1887928 memory=1588716 CPUtime=3573.53 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 269608 0 0 0 354811 2542 0 0 20 0 1 0 43750366 1933238272 397179 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 471982 397179 1809 992 0 463840 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 1887928 KiB
Current children cumulated memory: 1588716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 1.30 1.86 2.37 2/246 379686
/proc/meminfo: memFree=75622036/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1888180 memory=1589084 CPUtime=3600.06 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 269951 0 0 0 357437 2569 0 0 20 0 1 0 43750366 1933496320 397271 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 472045 397271 1809 992 0 463903 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1888180 KiB
Current children cumulated memory: 1589084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.94 s]
# the end of solver process 377720 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.38 s, system=25.7003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 1.30 1.86 2.37 2/246 379686
/proc/meminfo: memFree=75622036/131524600 swapFree=131056284/131071996
[pid=377720] ppid=377717 vsize=1888180 memory=1589084 CPUtime=3600.06 cores=4,6
/proc/377720/stat : 377720 (roundingsat) R 377717 377720 372801 0 -1 4194304 269951 0 0 0 357437 2569 0 0 20 0 1 0 43750366 1933496320 397271 134679101440 4194304 8254357 140736561345056 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14065664 140736561349467 140736561349729 140736561349729 140736561356745 0
/proc/377720/statm: 472045 397271 1809 992 0 463903 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1888180 KiB
Current children cumulated memory: 1589084 KiB
Child status: 0
Real time (s): 3608.94
CPU time (s): 3600.08
CPU user time (s): 3574.38
CPU system time (s): 25.7003
CPU usage (%): 99.7545
Max. virtual memory (cumulated for all children) (KiB): 1888180
Max. memory (cumulated for all children) (KiB): 1589084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.38
system time used= 25.7003
maximum resident set size= 1589084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 85004632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 418
involuntary context switches= 5233
# summary of solver processes directly reported to runsolver:
# pid: 377720
# total CPU time (s): 3600.08
# total CPU user time (s): 3574.38
# total CPU system time (s): 25.7003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63544 second user time and 16.4469 second system time
The end
Begin job on nodeC030 at 2024-07-27 11:24:24
IDJOB=4460907
IDBENCH=164235
IDSOLVER=3086
FILE ID=nodeC030/4460907-1722072264
RUNJOBID= nodeC030-1722064836-372812
SLURM_JOB_ID= 8248098
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab69-40-100.0.s.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-4460907-1722072264/watcher-4460907-1722072264 -o /tmp/evaluation-result-4460907-1722072264/solver-4460907-1722072264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372812 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460907-1722072264 --lp-cut-gomory=0 HOME/instance-4460907-1722072264.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa547ec471690bfe3f3bec5c78a945ae
RANDOM SEED=974399478
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.854
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3645.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.842
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3643.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119118956 kB
MemAvailable: 129572784 kB
Buffers: 361252 kB
Cached: 10872504 kB
SwapCached: 224 kB
Active: 2583312 kB
Inactive: 9122064 kB
Active(anon): 2440 kB
Inactive(anon): 522116 kB
Active(file): 2580872 kB
Inactive(file): 8599948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056284 kB
Dirty: 61744 kB
Writeback: 28 kB
AnonPages: 470956 kB
Mapped: 115016 kB
Shmem: 52776 kB
KReclaimable: 225664 kB
Slab: 348648 kB
SReclaimable: 225664 kB
SUnreclaim: 122984 kB
KernelStack: 4208 kB
PageTables: 10444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 919892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14080 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 344788 kB
DirectMap2M: 39274496 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-27 12:24:33