runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (42038 MiB free)
memory of node 1: 64510 MiB (51150 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463117-1722348074/watcher-4463117-1722348074 -o /tmp/evaluation-result-4463117-1722348074/solver-4463117-1722348074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463117-1722348074 --lp-cut-gomory=0 HOME/instance-4463117-1722348074.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=11982, runsolver pid=11979
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.13 4.18 4.12 3/260 11983
/proc/meminfo: memFree=95423752/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=37376 memory=2476 CPUtime=0 cores=5,7
/proc/11982/stat : 11982 (roundingsat) D 11979 11982 7457 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1408032 38273024 619 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205057 s]*
/proc/loadavg: 4.13 4.18 4.12 6/260 11983
/proc/meminfo: memFree=95409888/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=37376 memory=2476 CPUtime=0 cores=5,7
/proc/11982/stat : 11982 (roundingsat) D 11979 11982 7457 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 1408032 38273024 619 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.304093 s]*
/proc/loadavg: 4.13 4.18 4.12 5/260 11983
/proc/meminfo: memFree=95334348/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=64232 memory=34880 CPUtime=0.09 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 7645 0 0 0 8 1 0 0 20 0 1 0 1408032 65773568 8720 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 16058 8720 1349 992 0 7916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 34880 KiB
[startup+0.700223 s]
/proc/loadavg: 4.13 4.18 4.12 5/260 11983
/proc/meminfo: memFree=95206412/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=245792 memory=180896 CPUtime=0.47 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 21202 0 0 0 41 6 0 0 20 0 1 0 1408032 251691008 45224 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 61448 45224 1349 992 0 53306 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 245792 KiB
Current children cumulated memory: 180896 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.18 4.12 5/260 11983
/proc/meminfo: memFree=94967452/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=462168 memory=381636 CPUtime=1.27 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 29532 0 0 0 113 14 0 0 20 0 1 0 1408032 473260032 95409 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 115542 95409 1349 992 0 107400 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 462168 KiB
Current children cumulated memory: 381636 KiB
[startup+3.10547 s]
/proc/loadavg: 4.12 4.17 4.12 5/260 11983
/proc/meminfo: memFree=93931508/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=897808 memory=707144 CPUtime=2.88 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 42648 0 0 0 258 30 0 0 20 0 1 0 1408032 919355392 176786 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 224452 176786 1349 992 0 216310 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 897808 KiB
Current children cumulated memory: 707144 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.17 4.12 5/260 11983
/proc/meminfo: memFree=93571712/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=971168 memory=759460 CPUtime=6.06 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 49816 0 0 0 565 41 0 0 20 0 1 0 1408032 994476032 189865 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 242792 189865 1349 992 0 234650 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 971168 KiB
Current children cumulated memory: 759460 KiB
[startup+12.7001 s]
/proc/loadavg: 4.19 4.19 4.12 5/261 11985
/proc/meminfo: memFree=91861776/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=2498680 memory=2199620 CPUtime=12.45 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 126781 0 0 0 1124 121 0 0 20 0 1 0 1408032 2558648320 549905 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 624670 549905 1700 992 0 616528 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 2498680 KiB
Current children cumulated memory: 2199620 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.19 4.12 4/260 11987
/proc/meminfo: memFree=91304084/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=2771432 memory=2415864 CPUtime=25.22 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 131555 0 0 0 2148 374 0 0 20 0 1 0 1408032 2837946368 603966 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 692858 603966 1730 992 0 684716 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 2771432 KiB
Current children cumulated memory: 2415864 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.18 4.12 5/263 12163
/proc/meminfo: memFree=125959116/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3118616 memory=2640932 CPUtime=50.78 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 133484 0 0 0 4572 506 0 0 20 0 1 0 1408032 3193462784 660233 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 779654 660233 1745 992 0 771512 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 3118616 KiB
Current children cumulated memory: 2640932 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/264 12172
/proc/meminfo: memFree=124946164/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3481856 memory=2900920 CPUtime=101.83 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 135996 0 0 0 9376 807 0 0 20 0 1 0 1408032 3565420544 725230 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 870464 725230 1834 992 0 862322 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2900920 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/262 12182
/proc/meminfo: memFree=123766292/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3481856 memory=2981016 CPUtime=161.69 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 136992 0 0 0 14825 1344 0 0 20 0 1 0 1408032 3565420544 745254 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 870464 745254 1834 992 0 862322 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2981016 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/262 12193
/proc/meminfo: memFree=121967700/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3481856 memory=3192204 CPUtime=221.53 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 137669 0 0 0 20753 1400 0 0 20 0 1 0 1408032 3565420544 798051 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 870464 798051 1834 992 0 862322 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3192204 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/260 12203
/proc/meminfo: memFree=120524072/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3481856 memory=3194252 CPUtime=281.38 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 138523 0 0 0 26640 1498 0 0 20 0 1 0 1408032 3565420544 798563 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 870464 798563 1834 992 0 862322 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3194252 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 12213
/proc/meminfo: memFree=119418488/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3492096 memory=3204492 CPUtime=341.23 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 139338 0 0 0 32623 1500 0 0 20 0 1 0 1408032 3575906304 801123 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 873024 801123 1834 992 0 864882 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3204492 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 12225
/proc/meminfo: memFree=118700900/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=3492096 memory=3204492 CPUtime=401.09 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 139739 0 0 0 38607 1502 0 0 20 0 1 0 1408032 3575906304 801123 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 873024 801123 1834 992 0 864882 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3204492 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 12235
/proc/meminfo: memFree=117719248/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=4059624 memory=3273004 CPUtime=460.93 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 140727 0 0 0 44576 1517 0 0 20 0 1 0 1408032 4157054976 818251 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1014906 818251 1834 992 0 1006764 0
################
# More data... #
################
Current children cumulated memory: 5006556 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/259 13314
/proc/meminfo: memFree=91794388/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=2974.45 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 327045 0 0 0 294724 2721 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/259 13324
/proc/meminfo: memFree=91538304/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3034.3 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 327585 0 0 0 300708 2722 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/259 13334
/proc/meminfo: memFree=91348428/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3094.14 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 328123 0 0 0 306691 2723 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/260 13345
/proc/meminfo: memFree=90935832/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3153.99 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 329006 0 0 0 312672 2727 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/260 13356
/proc/meminfo: memFree=90429820/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3213.83 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 329433 0 0 0 318641 2742 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/259 13749
/proc/meminfo: memFree=89735352/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3273.66 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 330271 0 0 0 324611 2755 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/259 13759
/proc/meminfo: memFree=89018784/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5708084 memory=5006556 CPUtime=3333.5 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 331180 0 0 0 330565 2785 0 0 20 0 1 0 1408032 5845078016 1251639 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1427021 1251639 1834 992 0 1418879 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5006556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 13771
/proc/meminfo: memFree=88179304/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5713112 memory=5013232 CPUtime=3393.34 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 333583 0 0 0 336529 2805 0 0 20 0 1 0 1408032 5850226688 1253308 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1428278 1253308 1834 992 0 1420136 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 5713112 KiB
Current children cumulated memory: 5013232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/260 13950
/proc/meminfo: memFree=87369192/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5717436 memory=5066828 CPUtime=3453.18 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 336054 0 0 0 342495 2823 0 0 20 0 1 0 1408032 5854654464 1266707 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1429359 1266707 1834 992 0 1421217 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 5717436 KiB
Current children cumulated memory: 5066828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/261 13961
/proc/meminfo: memFree=86347292/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5741856 memory=5402336 CPUtime=3513.02 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 343221 0 0 0 348444 2858 0 0 20 0 1 0 1408032 5879660544 1350584 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1435464 1350584 1834 992 0 1427322 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 5741856 KiB
Current children cumulated memory: 5402336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/261 13975
/proc/meminfo: memFree=85447060/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=7256464 memory=5698348 CPUtime=3572.85 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 348256 0 0 0 354404 2881 0 0 20 0 1 0 1408032 7430619136 1424587 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1814116 1424587 1834 992 0 1805974 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 7256464 KiB
Current children cumulated memory: 5698348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.19 4.16 4.15 4/255 14017
/proc/meminfo: memFree=98224576/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=7284456 memory=5851488 CPUtime=3600.08 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 355111 0 0 0 357118 2890 0 0 20 0 1 0 1408032 7459282944 1462872 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1821114 1462872 1834 992 0 1812972 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7284456 KiB
Current children cumulated memory: 5851488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.27 s]
# the end of solver process 11982 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.67 s, system=29.0136 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.19 4.16 4.15 4/255 14023
/proc/meminfo: memFree=114052416/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=6662388 memory=5255812 CPUtime=3600.41 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 355711 0 0 0 357148 2893 0 0 20 0 1 0 1408032 6822285312 1313953 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 13 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1665597 1313953 1920 992 0 1657455 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 6662388 KiB
Current children cumulated memory: 5255812 KiB
[startup+3610.2 s]
/proc/loadavg: 4.19 4.16 4.15 4/255 14023
/proc/meminfo: memFree=114052416/131524600 swapFree=131071996/131071996
[pid=11982] ppid=11979 vsize=5988328 memory=4575936 CPUtime=3600.6 cores=5,7
/proc/11982/stat : 11982 (roundingsat) R 11979 11982 7457 0 -1 4194304 356253 0 0 0 357167 2893 0 0 20 0 1 0 1408032 6132047872 1143984 134679101440 4194304 8255733 140726267823408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 13 0 0 9037040 9046032 18321408 140726267831134 140726267831396 140726267831396 140726267838409 0
/proc/11982/statm: 1497082 1143984 1920 992 0 1488940 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 5988328 KiB
Current children cumulated memory: 4575936 KiB
Child status: 0
Real time (s): 3610.28
CPU time (s): 3600.69
CPU user time (s): 3571.67
CPU system time (s): 29.0136
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 7284456
Max. memory (cumulated for all children) (KiB): 5851488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.67
system time used= 29.0136
maximum resident set size= 5851488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10179624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2163
involuntary context switches= 2537
# summary of solver processes directly reported to runsolver:
# pid: 11982
# total CPU time (s): 3600.69
# total CPU user time (s): 3571.67
# total CPU system time (s): 29.0136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94879 second user time and 16.4368 second system time
The end
Begin job on nodeC027 at 2024-07-30 16:01:15
IDJOB=4463117
IDBENCH=160493
IDSOLVER=3089
FILE ID=nodeC027/4463117-1722348074
RUNJOBID= nodeC027-1722340763-7471
SLURM_JOB_ID= 8249000
Free space on /tmp= 889248 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-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-4463117-1722348074/watcher-4463117-1722348074 -o /tmp/evaluation-result-4463117-1722348074/solver-4463117-1722348074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463117-1722348074 --lp-cut-gomory=0 HOME/instance-4463117-1722348074.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94999381e02cae36541ecafb635807a
RANDOM SEED=1131521960
nodeC027.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 : 3697.720
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.88
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 : 3671.516
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 : 7006.31
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 : 3700.209
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.88
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 : 3599.949
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 : 7006.31
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 : 3601.896
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.88
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 : 3601.139
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 : 7006.31
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 : 3613.240
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.88
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.577
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 : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 95426448 kB
MemAvailable: 124640892 kB
Buffers: 51208 kB
Cached: 29957380 kB
SwapCached: 0 kB
Active: 865832 kB
Inactive: 34649060 kB
Active(anon): 1536 kB
Inactive(anon): 5526136 kB
Active(file): 864296 kB
Inactive(file): 29122924 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 713016 kB
Writeback: 0 kB
AnonPages: 5501224 kB
Mapped: 93280 kB
Shmem: 21336 kB
KReclaimable: 133740 kB
Slab: 233696 kB
SReclaimable: 133740 kB
SUnreclaim: 99956 kB
KernelStack: 4192 kB
PageTables: 20232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6137984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2656256 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889948 MiB
End job on nodeC027 at 2024-07-30 17:01:26