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 (2960 MiB free)
memory of node 1: 64473 MiB (17007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460470-1722072060/watcher-4460470-1722072060 -o /tmp/evaluation-result-4460470-1722072060/solver-4460470-1722072060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369842 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460470-1722072060 --lp-cut-gomory=0 HOME/instance-4460470-1722072060.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=374072, runsolver pid=374069
[startup+0.100095 s]*
/proc/loadavg: 4.10 4.13 4.11 5/264 374073
/proc/meminfo: memFree=20422020/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=63264 memory=30492 CPUtime=0.06 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 6784 0 2 0 5 1 0 0 20 0 1 0 43728875 64782336 7623 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 15816 7623 1372 992 0 7674 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 30492 KiB
[startup+0.206081 s]*
/proc/loadavg: 4.10 4.13 4.11 5/264 374073
/proc/meminfo: memFree=20390328/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=88876 memory=55792 CPUtime=0.17 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 10064 0 2 0 15 2 0 0 20 0 1 0 43728875 91009024 13948 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 22219 13948 1372 992 0 14077 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 88876 KiB
Current children cumulated memory: 55792 KiB
[startup+0.369872 s]*
/proc/loadavg: 4.10 4.13 4.11 5/264 374073
/proc/meminfo: memFree=20377444/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=89280 memory=56316 CPUtime=0.34 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 10184 0 2 0 31 3 0 0 20 0 1 0 43728875 91422720 14079 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 22320 14079 1372 992 0 14178 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 89280 KiB
Current children cumulated memory: 56316 KiB
[startup+0.700246 s]
/proc/loadavg: 4.10 4.13 4.11 5/264 374073
/proc/meminfo: memFree=20332648/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=208020 memory=173208 CPUtime=0.65 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 28336 0 2 0 58 7 0 0 20 0 1 0 43728875 213012480 43302 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 52005 43302 1785 992 0 43863 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 208020 KiB
Current children cumulated memory: 173208 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.13 4.11 5/264 374073
/proc/meminfo: memFree=20248796/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=208020 memory=174000 CPUtime=1.45 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 28570 0 2 0 137 8 0 0 20 0 1 0 43728875 213012480 43500 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 52005 43500 1785 992 0 43863 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 208020 KiB
Current children cumulated memory: 174000 KiB
[startup+3.10601 s]
/proc/loadavg: 4.10 4.13 4.11 5/263 374088
/proc/meminfo: memFree=21355704/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=210580 memory=176904 CPUtime=3.06 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 29265 0 2 0 298 8 0 0 20 0 1 0 43728875 215633920 44226 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 52645 44226 1785 992 0 44503 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 210580 KiB
Current children cumulated memory: 176904 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.13 4.11 6/265 374167
/proc/meminfo: memFree=23846452/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=243412 memory=205556 CPUtime=6.24 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 32370 0 2 0 560 64 0 0 20 0 1 0 43728875 249253888 51389 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 60853 51389 1817 992 0 52711 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 243412 KiB
Current children cumulated memory: 205556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.11 5/265 374168
/proc/meminfo: memFree=23448416/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=304252 memory=260292 CPUtime=12.62 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 36299 0 2 0 1162 100 0 0 20 0 1 0 43728875 311554048 65073 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 76063 65073 1912 992 0 67921 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 304252 KiB
Current children cumulated memory: 260292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.11 5/265 374170
/proc/meminfo: memFree=22908952/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=457564 memory=408056 CPUtime=25.4 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 68702 0 2 0 2372 168 0 0 20 0 1 0 43728875 468545536 102014 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 114391 102014 1928 992 0 106249 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 457564 KiB
Current children cumulated memory: 408056 KiB
[startup+51.1061 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 374174
/proc/meminfo: memFree=21918620/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=983264 memory=738852 CPUtime=50.94 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 162572 0 2 0 4885 209 0 0 20 0 1 0 43728875 1006862336 184713 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 245816 184713 1928 992 0 237674 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 983264 KiB
Current children cumulated memory: 738852 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.20 4.13 5/266 374232
/proc/meminfo: memFree=112010456/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=1464984 memory=1103912 CPUtime=102.02 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 289857 0 2 0 9846 356 0 0 20 0 1 0 43728875 1500143616 275978 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 366246 275978 1928 992 0 358104 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1464984 KiB
Current children cumulated memory: 1103912 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.22 4.14 7/266 374480
/proc/meminfo: memFree=121959380/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=2270120 memory=1958796 CPUtime=161.87 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 362570 0 2 0 15734 453 0 0 20 0 1 0 43728875 2324602880 489699 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 567530 489699 1928 992 0 559388 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2270120 KiB
Current children cumulated memory: 1958796 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/269 374539
/proc/meminfo: memFree=119635540/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=3649872 memory=2750728 CPUtime=221.73 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 455227 0 2 0 21608 565 0 0 20 0 1 0 43728875 3737468928 687682 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 912468 687682 1928 992 0 904326 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 3649872 KiB
Current children cumulated memory: 2750728 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 374934
/proc/meminfo: memFree=117696856/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=3651604 memory=2915416 CPUtime=281.6 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 465185 0 2 0 27549 611 0 0 20 0 1 0 43728875 3739242496 728854 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 912901 728854 1928 992 0 904759 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 3651604 KiB
Current children cumulated memory: 2915416 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.17 4.13 7/270 374991
/proc/meminfo: memFree=117977720/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=3655852 memory=2919572 CPUtime=341.46 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 466578 0 2 0 33516 630 0 0 20 0 1 0 43728875 3743592448 729893 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 913963 729893 1928 992 0 905821 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 3655852 KiB
Current children cumulated memory: 2919572 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/273 375005
/proc/meminfo: memFree=116543968/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=3674772 memory=2938276 CPUtime=401.34 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 471967 0 2 0 39458 676 0 0 20 0 1 0 43728875 3762966528 734569 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 918693 734569 1928 992 0 910551 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 3674772 KiB
Current children cumulated memory: 2938276 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.12 8/273 375015
/proc/meminfo: memFree=114765628/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=3778500 memory=3104608 CPUtime=461.2 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 501413 0 2 0 45332 788 0 0 20 0 1 0 43728875 3869184000 776152 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 944625 776152 1928 992 0 936483 0
################
# More data... #
################
Current children cumulated memory: 7310184 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.25 3.63 4/261 376313
/proc/meminfo: memFree=69738056/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=7977964 memory=7487596 CPUtime=2915.05 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1544008 0 2 0 285225 6280 0 0 20 0 1 0 43728875 8169435136 1871899 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 1994491 1871899 2001 992 0 1986349 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 7977964 KiB
Current children cumulated memory: 7487596 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.22 3.60 6/258 376324
/proc/meminfo: memFree=68982372/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=7980604 memory=7490248 CPUtime=2974.92 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1547559 0 2 0 291185 6307 0 0 20 0 1 0 43728875 8172138496 1872562 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 1995151 1872562 2001 992 0 1987009 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 7980604 KiB
Current children cumulated memory: 7490248 KiB
[startup+3042.3 s]
/proc/loadavg: 3.21 3.22 3.57 4/261 376339
/proc/meminfo: memFree=68018116/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=7981400 memory=7490816 CPUtime=3034.77 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1550597 0 2 0 297156 6321 0 0 20 0 1 0 43728875 8172953600 1872704 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 1995350 1872704 2001 992 0 1987208 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 7981400 KiB
Current children cumulated memory: 7490816 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.20 3.54 6/259 376350
/proc/meminfo: memFree=67100316/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=8010980 memory=7520516 CPUtime=3094.64 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1561183 0 2 0 303119 6345 0 0 20 0 1 0 43728875 8203243520 1880129 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2002745 1880129 2001 992 0 1994603 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 8010980 KiB
Current children cumulated memory: 7520516 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.18 3.51 4/259 376361
/proc/meminfo: memFree=65888624/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=8035776 memory=7545172 CPUtime=3154.49 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1570715 0 2 0 309061 6388 0 0 20 0 1 0 43728875 8228634624 1886293 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2008944 1886293 2001 992 0 2000802 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 8035776 KiB
Current children cumulated memory: 7545172 KiB
[startup+3222.3 s]
/proc/loadavg: 3.19 3.18 3.49 6/260 376372
/proc/meminfo: memFree=64759528/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9618416 memory=8011712 CPUtime=3214.35 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1595414 0 2 0 315003 6432 0 0 20 0 1 0 43728875 9849257984 2002928 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2404604 2002928 2001 992 0 2396462 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 9618416 KiB
Current children cumulated memory: 8011712 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.17 3.46 4/260 376382
/proc/meminfo: memFree=63926828/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9661028 memory=8256364 CPUtime=3274.2 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1608965 0 2 0 320941 6479 0 0 20 0 1 0 43728875 9892892672 2064091 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2415257 2064091 2001 992 0 2407115 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 9661028 KiB
Current children cumulated memory: 8256364 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.15 3.44 6/260 376394
/proc/meminfo: memFree=62664284/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9666384 memory=8261740 CPUtime=3334.04 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1613326 0 2 0 326887 6517 0 0 20 0 1 0 43728875 9898377216 2065435 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2416596 2065435 2001 992 0 2408454 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 9666384 KiB
Current children cumulated memory: 8261740 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.15 3.42 4/261 376409
/proc/meminfo: memFree=61138216/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9684492 memory=8279852 CPUtime=3393.89 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1620961 0 2 0 332828 6561 0 0 20 0 1 0 43728875 9916919808 2069963 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2421123 2069963 2001 992 0 2412981 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 9684492 KiB
Current children cumulated memory: 8279852 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.14 3.40 5/262 376420
/proc/meminfo: memFree=59932244/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9695788 memory=8291180 CPUtime=3453.73 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1626552 0 2 0 338666 6707 0 0 20 0 1 0 43728875 9928486912 2072795 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2423947 2072795 2001 992 0 2415805 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 9695788 KiB
Current children cumulated memory: 8291180 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.14 3.38 4/262 376430
/proc/meminfo: memFree=59024968/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9699636 memory=8295028 CPUtime=3513.58 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1630498 0 2 0 344455 6903 0 0 20 0 1 0 43728875 9932427264 2073757 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2424909 2073757 2001 992 0 2416767 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 9699636 KiB
Current children cumulated memory: 8295028 KiB
[startup+3582.3 s]
/proc/loadavg: 3.05 3.11 3.35 6/265 376446
/proc/meminfo: memFree=58419500/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9699636 memory=8295028 CPUtime=3573.43 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1634680 0 2 0 350339 7004 0 0 20 0 1 0 43728875 9932427264 2073757 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2424909 2073757 2001 992 0 2416767 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 9699636 KiB
Current children cumulated memory: 8295028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.09 3.12 3.35 4/264 376451
/proc/meminfo: memFree=58112172/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9699636 memory=8295028 CPUtime=3600.07 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1636021 0 2 0 352960 7047 0 0 20 0 1 0 43728875 9932427264 2073757 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2424909 2073757 2001 992 0 2416767 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 9699636 KiB
Current children cumulated memory: 8295028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.27 s]
# the end of solver process 374072 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3529.68 s, system=70.6019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 3.09 3.12 3.35 4/264 376451
/proc/meminfo: memFree=58112172/131524600 swapFree=131056028/131071996
[pid=374072] ppid=374069 vsize=9664108 memory=6942652 CPUtime=3600.2 cores=4,6
/proc/374072/stat : 374072 (roundingsat) R 374069 374072 369827 0 -1 4194304 1636081 0 2 0 352967 7053 0 0 20 0 1 0 43728875 9896046592 1735663 134679101440 4194304 8254357 140731039654032 0 0 0 0 0 25182210 0 0 0 17 6 0 0 11 0 0 9037040 9046032 15958016 140731039662939 140731039663201 140731039663201 140731039670217 0
/proc/374072/statm: 2416027 1735663 2063 992 0 2407885 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 9664108 KiB
Current children cumulated memory: 6942652 KiB
Child status: 0
Real time (s): 3609.27
CPU time (s): 3600.28
CPU user time (s): 3529.68
CPU system time (s): 70.6019
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 9699636
Max. memory (cumulated for all children) (KiB): 8295028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.68
system time used= 70.6019
maximum resident set size= 8295028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1636089
page faults= 2
swaps= 0
block input operations= 1024
block output operations= 54239672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2396
involuntary context switches= 4843
# summary of solver processes directly reported to runsolver:
# pid: 374072
# total CPU time (s): 3600.28
# total CPU user time (s): 3529.68
# total CPU system time (s): 70.6019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7427 second user time and 17.9647 second system time
The end
Begin job on nodeC015 at 2024-07-27 11:21:00
IDJOB=4460470
IDBENCH=158606
IDSOLVER=3086
FILE ID=nodeC015/4460470-1722072060
RUNJOBID= nodeC015-1722064836-369842
SLURM_JOB_ID= 8248085
Free space on /tmp= 889992 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460470-1722072060/watcher-4460470-1722072060 -o /tmp/evaluation-result-4460470-1722072060/solver-4460470-1722072060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369842 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460470-1722072060 --lp-cut-gomory=0 HOME/instance-4460470-1722072060.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1994572972
nodeC015.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 : 3668.457
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.37
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.506
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.17
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 : 3604.256
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.37
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.029
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.17
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 : 3669.176
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.37
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 : 3688.552
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.17
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 : 3653.234
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
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.17
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 20447056 kB
MemAvailable: 111975608 kB
Buffers: 382048 kB
Cached: 91625520 kB
SwapCached: 232 kB
Active: 1357464 kB
Inactive: 108554224 kB
Active(anon): 4436 kB
Inactive(anon): 17952312 kB
Active(file): 1353028 kB
Inactive(file): 90601912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 510800 kB
Writeback: 0 kB
AnonPages: 17903164 kB
Mapped: 105840 kB
Shmem: 52516 kB
KReclaimable: 635020 kB
Slab: 777760 kB
SReclaimable: 635020 kB
SUnreclaim: 142740 kB
KernelStack: 4272 kB
PageTables: 45768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 19715992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7372800 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: 367316 kB
DirectMap2M: 43446272 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC015 at 2024-07-27 12:21:09