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 (51876 MiB free)
memory of node 1: 64473 MiB (61252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460738-1722072126/watcher-4460738-1722072126 -o /tmp/evaluation-result-4460738-1722072126/solver-4460738-1722072126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372427 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460738-1722072126 --lp-cut-gomory=0 HOME/instance-4460738-1722072126.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=376750, runsolver pid=376747
[startup+0.100746 s]*
/proc/loadavg: 4.18 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115814836/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=63456 memory=32496 CPUtime=0.09 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 8289 0 0 0 8 1 0 0 20 0 1 0 43735608 64978944 8124 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 15864 8124 1348 992 0 7722 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63456 KiB
Current children cumulated memory: 32496 KiB
[startup+0.205708 s]*
/proc/loadavg: 4.18 4.19 4.15 6/264 376751
/proc/meminfo: memFree=115784048/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=90056 memory=61968 CPUtime=0.19 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 12572 0 0 0 17 2 0 0 20 0 1 0 43735608 92217344 15492 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 22514 15492 1348 992 0 14372 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90056 KiB
Current children cumulated memory: 61968 KiB
[startup+0.305617 s]*
/proc/loadavg: 4.18 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115736856/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=140248 memory=105896 CPUtime=0.29 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 16409 0 0 0 25 4 0 0 20 0 1 0 43735608 143613952 26474 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 35062 26474 1348 992 0 26920 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140248 KiB
Current children cumulated memory: 105896 KiB
[startup+0.700223 s]
/proc/loadavg: 4.18 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115649880/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=249116 memory=189528 CPUtime=0.67 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 22555 0 0 0 60 7 0 0 20 0 1 0 43735608 255094784 47382 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 62279 47382 1348 992 0 54137 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 249116 KiB
Current children cumulated memory: 189528 KiB
[startup+1.50022 s]
/proc/loadavg: 4.18 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115593424/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=267104 memory=203268 CPUtime=1.47 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 24977 0 0 0 136 11 0 0 20 0 1 0 43735608 273514496 50817 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 66776 50817 1348 992 0 58634 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 203268 KiB
[startup+3.1059 s]
/proc/loadavg: 4.17 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115156820/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=681908 memory=603140 CPUtime=3.08 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 61466 0 0 0 278 30 0 0 20 0 1 0 43735608 698273792 150785 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 170477 150785 1699 992 0 162335 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 681908 KiB
Current children cumulated memory: 603140 KiB
[startup+6.3002 s]
/proc/loadavg: 4.17 4.19 4.15 5/264 376751
/proc/meminfo: memFree=115041968/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=742956 memory=662320 CPUtime=6.26 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 65601 0 0 0 525 101 0 0 20 0 1 0 43735608 760786944 165580 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 185739 165580 1731 992 0 177597 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 742956 KiB
Current children cumulated memory: 662320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.18 4.15 5/264 376754
/proc/meminfo: memFree=114841092/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=823864 memory=734904 CPUtime=12.65 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 66932 0 0 0 1092 173 0 0 20 0 1 0 43735608 843636736 183726 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 205966 183726 1746 992 0 197824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 823864 KiB
Current children cumulated memory: 734904 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.18 4.15 5/264 376756
/proc/meminfo: memFree=114481920/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1037512 memory=878940 CPUtime=25.42 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 68332 0 0 0 2318 224 0 0 20 0 1 0 43735608 1062412288 219735 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 259378 219735 1746 992 0 251236 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1037512 KiB
Current children cumulated memory: 878940 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.16 4.14 5/263 376761
/proc/meminfo: memFree=113932832/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1071280 memory=984276 CPUtime=50.96 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 75446 0 0 0 4826 270 0 0 20 0 1 0 43735608 1096990720 246069 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 267820 246069 1841 992 0 259678 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1071280 KiB
Current children cumulated memory: 984276 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/263 376771
/proc/meminfo: memFree=112004832/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1435544 memory=1332744 CPUtime=102.04 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 150103 0 0 0 9666 538 0 0 20 0 1 0 43735608 1469997056 333186 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 358886 333186 1841 992 0 350744 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1435544 KiB
Current children cumulated memory: 1332744 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/262 376781
/proc/meminfo: memFree=110561832/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1972432 memory=1774912 CPUtime=161.9 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 225643 0 0 0 15599 591 0 0 20 0 1 0 43735608 2019770368 443728 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 493108 443728 1841 992 0 484966 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1972432 KiB
Current children cumulated memory: 1774912 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.18 4.15 5/263 377176
/proc/meminfo: memFree=109425572/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1972604 memory=1775120 CPUtime=221.78 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 225780 0 0 0 21585 593 0 0 20 0 1 0 43735608 2019946496 443780 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 493151 443780 1841 992 0 485009 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 1972604 KiB
Current children cumulated memory: 1775120 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/263 377188
/proc/meminfo: memFree=108280712/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1972968 memory=1775444 CPUtime=281.65 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 226070 0 0 0 27571 594 0 0 20 0 1 0 43735608 2020319232 443861 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 493242 443861 1841 992 0 485100 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 1972968 KiB
Current children cumulated memory: 1775444 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/265 377202
/proc/meminfo: memFree=107472956/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1972968 memory=1775460 CPUtime=341.53 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 226214 0 0 0 33556 597 0 0 20 0 1 0 43735608 2020319232 443865 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 493242 443865 1841 992 0 485100 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 1972968 KiB
Current children cumulated memory: 1775460 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/265 377212
/proc/meminfo: memFree=106731740/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1983252 memory=1785824 CPUtime=401.4 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 226882 0 0 0 39541 599 0 0 20 0 1 0 43735608 2030850048 446456 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 495813 446456 1841 992 0 487671 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 1983252 KiB
Current children cumulated memory: 1785824 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 377391
/proc/meminfo: memFree=105991248/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=1983252 memory=1785928 CPUtime=461.27 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 227007 0 0 0 45526 601 0 0 20 0 1 0 43735608 2030850048 446482 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 378649
/proc/meminfo: memFree=70562148/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=11683372 memory=9952640 CPUtime=3034 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1088580 0 0 0 299222 4178 0 0 20 0 1 0 43735608 11963772928 2488160 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 2920843 2488160 1914 992 0 2912701 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 11683372 KiB
Current children cumulated memory: 9952640 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 378666
/proc/meminfo: memFree=69139580/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=11829388 memory=10540396 CPUtime=3093.82 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1119492 0 0 0 305095 4287 0 0 20 0 1 0 43735608 12113293312 2635099 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 2957347 2635099 1914 992 0 2949205 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 11829388 KiB
Current children cumulated memory: 10540396 KiB
[startup+3162.3 s]
/proc/loadavg: 4.52 4.22 4.13 5/268 378677
/proc/meminfo: memFree=67626724/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=12028488 memory=11144808 CPUtime=3153.65 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1155131 0 0 0 310964 4401 0 0 20 0 1 0 43735608 12317171712 2786202 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 3007122 2786202 1914 992 0 2998980 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 12028488 KiB
Current children cumulated memory: 11144808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.54 4.30 4.16 5/268 378687
/proc/meminfo: memFree=66070076/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=12145680 memory=11642596 CPUtime=3213.48 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1179157 0 0 0 316846 4502 0 0 20 0 1 0 43735608 12437176320 2910649 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 3036420 2910649 1914 992 0 3028278 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 12145680 KiB
Current children cumulated memory: 11642596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.33 4.29 4.17 5/266 378699
/proc/meminfo: memFree=64552980/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=12274312 memory=12118948 CPUtime=3273.3 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1207060 0 0 0 322697 4633 0 0 20 0 1 0 43735608 12568895488 3029737 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 3068578 3029737 1914 992 0 3060436 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 12274312 KiB
Current children cumulated memory: 12118948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.23 4.16 5/266 378711
/proc/meminfo: memFree=63315456/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=16383780 memory=12636852 CPUtime=3333.12 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1237874 0 0 0 328588 4724 0 0 20 0 1 0 43735608 16776990720 3159213 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4095945 3159213 1914 992 0 4087803 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 16383780 KiB
Current children cumulated memory: 12636852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.16 5/262 378723
/proc/meminfo: memFree=62149956/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=16524584 memory=13083332 CPUtime=3392.94 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1262395 0 0 0 334488 4806 0 0 20 0 1 0 43735608 16921174016 3270833 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4131146 3270833 1914 992 0 4123004 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 16524584 KiB
Current children cumulated memory: 13083332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/263 378735
/proc/meminfo: memFree=61248616/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=16660288 memory=13451568 CPUtime=3452.76 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1291549 0 0 0 340289 4987 0 0 20 0 1 0 43735608 17060134912 3362892 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4165072 3362892 1914 992 0 4156930 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 16660288 KiB
Current children cumulated memory: 13451568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.16 5/266 378751
/proc/meminfo: memFree=60027744/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=16841952 memory=13887428 CPUtime=3512.59 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1388477 0 0 0 346120 5139 0 0 20 0 1 0 43735608 17246158848 3471857 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4210488 3471857 1914 992 0 4202346 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 16841952 KiB
Current children cumulated memory: 13887428 KiB
[startup+3582.3 s]
/proc/loadavg: 3.63 4.05 4.11 4/257 378792
/proc/meminfo: memFree=93783344/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=17028320 memory=14211944 CPUtime=3572.4 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1486068 0 0 0 351907 5333 0 0 20 0 1 0 43735608 17436999680 3552986 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4257080 3552986 1914 992 0 4248938 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 17028320 KiB
Current children cumulated memory: 14211944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.46 3.96 4.08 4/257 378798
/proc/meminfo: memFree=93564092/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=17078752 memory=14279168 CPUtime=3600.03 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1519790 0 0 0 354510 5493 0 0 20 0 1 0 43735608 17488642048 3569792 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4269688 3569792 1914 992 0 4261546 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 17078752 KiB
Current children cumulated memory: 14279168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.44 s]
# the end of solver process 376750 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3547.1 s, system=55.2177 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 3.46 3.96 4.08 4/257 378798
/proc/meminfo: memFree=93563152/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=17078752 memory=14280096 CPUtime=3601.23 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1519790 0 0 0 354630 5493 0 0 20 0 1 0 43735608 17488642048 3570024 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4269688 3570024 1914 992 0 4261546 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 17078752 KiB
Current children cumulated memory: 14280096 KiB
[startup+3611.6 s]
/proc/loadavg: 3.46 3.96 4.08 4/257 378798
/proc/meminfo: memFree=93563152/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=17078752 memory=14280096 CPUtime=3601.63 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1519790 0 0 0 354669 5494 0 0 20 0 1 0 43735608 17488642048 3570024 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4269688 3570024 1914 992 0 4261546 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 17078752 KiB
Current children cumulated memory: 14280096 KiB
[startup+3612 s]*
/proc/loadavg: 3.46 3.96 4.08 4/257 378798
/proc/meminfo: memFree=93563212/131524600 swapFree=131057784/131071996
[pid=376750] ppid=376747 vsize=17078752 memory=14280096 CPUtime=3602.04 cores=1,3
/proc/376750/stat : 376750 (roundingsat) R 376747 376750 372411 0 -1 4194304 1519790 0 0 0 354710 5494 0 0 20 0 1 0 43735608 17488642048 3570024 134679101440 4194304 8254357 140727361539968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19705856 140727361545051 140727361545313 140727361545313 140727361552329 0
/proc/376750/statm: 4269688 3570024 1914 992 0 4261546 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 17078752 KiB
Current children cumulated memory: 14280096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.44
CPU time (s): 3602.32
CPU user time (s): 3547.1
CPU system time (s): 55.2177
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 17078752
Max. memory (cumulated for all children) (KiB): 14280096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.1
system time used= 55.2177
maximum resident set size= 14280096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1519790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33612704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1311
involuntary context switches= 4405
# summary of solver processes directly reported to runsolver:
# pid: 376750
# total CPU time (s): 3602.32
# total CPU user time (s): 3547.1
# total CPU system time (s): 55.2177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85424 second user time and 16.136 second system time
The end
Begin job on nodeC024 at 2024-07-27 11:22:06
IDJOB=4460738
IDBENCH=160479
IDSOLVER=3086
FILE ID=nodeC024/4460738-1722072126
RUNJOBID= nodeC024-1722064836-372427
SLURM_JOB_ID= 8248093
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm90p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460738-1722072126/watcher-4460738-1722072126 -o /tmp/evaluation-result-4460738-1722072126/solver-4460738-1722072126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372427 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460738-1722072126 --lp-cut-gomory=0 HOME/instance-4460738-1722072126.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01718154630a65d8782d403c9002f363
RANDOM SEED=1333405008
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.532
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.87
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 : 3688.492
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.58
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 : 3600.151
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.87
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 : 3657.354
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.58
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 : 3677.534
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.87
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.537
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.58
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.161
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.87
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 : 3609.391
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115844160 kB
MemAvailable: 126098856 kB
Buffers: 367864 kB
Cached: 10701672 kB
SwapCached: 228 kB
Active: 2675788 kB
Inactive: 12360472 kB
Active(anon): 4164 kB
Inactive(anon): 4016428 kB
Active(file): 2671624 kB
Inactive(file): 8344044 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057784 kB
Dirty: 235608 kB
Writeback: 0 kB
AnonPages: 3966304 kB
Mapped: 114156 kB
Shmem: 53464 kB
KReclaimable: 157704 kB
Slab: 280700 kB
SReclaimable: 157704 kB
SUnreclaim: 122996 kB
KernelStack: 4256 kB
PageTables: 17344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4782548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1439744 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: 408276 kB
DirectMap2M: 48648192 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC024 at 2024-07-27 12:22:19