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: 64059 MiB (62695 MiB free)
memory of node 1: 64510 MiB (61020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455865-1721467977/watcher-4455865-1721467977 -o /tmp/evaluation-result-4455865-1721467977/solver-4455865-1721467977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455865-1721467977.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1051011, runsolver pid=1051008
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.17 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126665496/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=51792 memory=20028 CPUtime=0.1 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 5731 0 0 0 9 1 0 0 20 0 1 0 198954145 53035008 5007 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 12948 5007 1265 922 0 4900 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51792 KiB
Current children cumulated memory: 20028 KiB
[startup+0.212798 s]*
/proc/loadavg: 4.17 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126666032/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=51792 memory=21080 CPUtime=0.21 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 5996 0 0 0 20 1 0 0 20 0 1 0 198954145 53035008 5270 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 12948 5270 1265 922 0 4900 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51792 KiB
Current children cumulated memory: 21080 KiB
[startup+0.312534 s]*
/proc/loadavg: 4.17 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126663120/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=51936 memory=23388 CPUtime=0.31 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 6061 0 0 0 30 1 0 0 20 0 1 0 198954145 53182464 5847 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 12984 5847 1265 922 0 4936 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51936 KiB
Current children cumulated memory: 23388 KiB
[startup+0.700292 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126653112/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=103068 memory=76092 CPUtime=0.69 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 18375 0 0 0 64 5 0 0 20 0 1 0 198954145 105541632 19023 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 25767 19023 1583 922 0 17719 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103068 KiB
Current children cumulated memory: 76092 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126609152/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=105556 memory=78560 CPUtime=1.48 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 18946 0 0 0 143 5 0 0 20 0 1 0 198954145 108089344 19640 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 26389 19640 1679 922 0 18341 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105556 KiB
Current children cumulated memory: 78560 KiB
[startup+3.11239 s]
/proc/loadavg: 4.16 4.15 4.16 5/245 1051012
/proc/meminfo: memFree=126604868/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=105556 memory=78560 CPUtime=3.09 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 18956 0 0 0 304 5 0 0 20 0 1 0 198954145 108089344 19640 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 26389 19640 1679 922 0 18341 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105556 KiB
Current children cumulated memory: 78560 KiB
[startup+6.30029 s]
/proc/loadavg: 4.16 4.15 4.16 5/245 1051014
/proc/meminfo: memFree=126545820/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=185312 memory=142928 CPUtime=6.27 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 23252 0 0 0 613 14 0 0 20 0 1 0 198954145 189759488 35732 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 46328 35732 1709 922 0 38280 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185312 KiB
Current children cumulated memory: 142928 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.14 4.16 5/245 1051014
/proc/meminfo: memFree=126434176/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=336948 memory=266160 CPUtime=12.65 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 29594 0 0 0 1217 48 0 0 20 0 1 0 198954145 345034752 66540 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 84237 66540 1709 922 0 76189 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 336948 KiB
Current children cumulated memory: 266160 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.15 4.17 7/245 1051016
/proc/meminfo: memFree=126196700/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=510196 memory=477280 CPUtime=25.42 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 40534 0 0 0 2453 89 0 0 20 0 1 0 198954145 522440704 119320 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 127549 119320 1725 922 0 119501 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 510196 KiB
Current children cumulated memory: 477280 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 1051020
/proc/meminfo: memFree=125908560/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=767904 memory=626232 CPUtime=50.94 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 51721 0 0 0 4963 131 0 0 20 0 1 0 198954145 786333696 156558 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 191976 156558 1797 922 0 183928 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 767904 KiB
Current children cumulated memory: 626232 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/244 1051028
/proc/meminfo: memFree=125558948/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=1194208 memory=961552 CPUtime=101.95 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 71808 0 0 0 9973 222 0 0 20 0 1 0 198954145 1222868992 240388 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 298552 240388 1797 922 0 290504 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1194208 KiB
Current children cumulated memory: 961552 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/244 1051040
/proc/meminfo: memFree=125327876/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=1339852 memory=1170420 CPUtime=161.74 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 107387 0 0 0 15887 287 0 0 20 0 1 0 198954145 1372008448 292605 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 334963 292605 1797 922 0 326915 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1339852 KiB
Current children cumulated memory: 1170420 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 1051051
/proc/meminfo: memFree=125099820/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=1440660 memory=1336192 CPUtime=221.52 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 132215 0 0 0 21722 430 0 0 20 0 1 0 198954145 1475235840 334048 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 360165 334048 1797 922 0 352117 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1440660 KiB
Current children cumulated memory: 1336192 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 1051061
/proc/meminfo: memFree=124508980/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=2063524 memory=1683040 CPUtime=281.3 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 146988 0 0 0 27581 549 0 0 20 0 1 0 198954145 2113048576 420760 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 515881 420760 1797 922 0 507833 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 2063524 KiB
Current children cumulated memory: 1683040 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.14 4.15 5/241 1051071
/proc/meminfo: memFree=124358704/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=2138184 memory=1819904 CPUtime=341.1 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 165571 0 0 0 33502 608 0 0 20 0 1 0 198954145 2189500416 454976 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 534546 454976 1797 922 0 526498 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 2138184 KiB
Current children cumulated memory: 1819904 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/241 1051082
/proc/meminfo: memFree=124267768/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=2163024 memory=1845616 CPUtime=400.88 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 172248 0 0 0 39461 627 0 0 20 0 1 0 198954145 2214936576 461404 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 540756 461404 1797 922 0 532708 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 2163024 KiB
Current children cumulated memory: 1845616 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 1051098
/proc/meminfo: memFree=124000552/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=2219584 memory=2103008 CPUtime=460.67 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 187023 0 0 0 45372 695 0 0 20 0 1 0 198954145 2272854016 525752 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 554896 525752 1797 922 0 546848 0
################
# More data... #
################
Current children cumulated memory: 4003492 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/244 1052098
/proc/meminfo: memFree=120940292/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4275264 memory=4017056 CPUtime=2853.01 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 510805 0 0 0 282992 2309 0 0 20 0 1 0 198954145 4377870336 1004264 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1068816 1004264 1813 922 0 1060768 0
Current children cumulated CPU time: 2853.01 s
Current children cumulated vsize: 4275264 KiB
Current children cumulated memory: 4017056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/244 1052108
/proc/meminfo: memFree=120934476/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4282256 memory=4024040 CPUtime=2912.83 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 513911 0 0 0 288912 2371 0 0 20 0 1 0 198954145 4385030144 1006010 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1070564 1006010 1813 922 0 1062516 0
Current children cumulated CPU time: 2912.83 s
Current children cumulated vsize: 4282256 KiB
Current children cumulated memory: 4024040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/244 1052119
/proc/meminfo: memFree=120925592/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4290788 memory=4032440 CPUtime=2972.64 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 517287 0 0 0 294860 2404 0 0 20 0 1 0 198954145 4393766912 1008110 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1072697 1008110 1813 922 0 1064649 0
Current children cumulated CPU time: 2972.64 s
Current children cumulated vsize: 4290788 KiB
Current children cumulated memory: 4032440 KiB
[startup+3042.31 s]
/proc/loadavg: 4.05 4.11 4.12 4/237 1052160
/proc/meminfo: memFree=121529628/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4306688 memory=4048296 CPUtime=3032.46 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 522520 0 0 0 300822 2424 0 0 20 0 1 0 198954145 4410048512 1012074 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1076672 1012074 1813 922 0 1068624 0
Current children cumulated CPU time: 3032.46 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 4048296 KiB
[startup+3102.3 s]
/proc/loadavg: 3.48 3.94 4.06 4/237 1052172
/proc/meminfo: memFree=121505952/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4330308 memory=4072020 CPUtime=3092.28 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 529829 0 0 0 306784 2444 0 0 20 0 1 0 198954145 4434235392 1018005 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1082577 1018005 1813 922 0 1074529 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 4330308 KiB
Current children cumulated memory: 4072020 KiB
[startup+3162.3 s]
/proc/loadavg: 3.56 3.86 4.02 4/237 1052566
/proc/meminfo: memFree=121490008/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4345000 memory=4086788 CPUtime=3152.1 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 534235 0 0 0 312738 2472 0 0 20 0 1 0 198954145 4449280000 1021697 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1086250 1021697 1813 922 0 1078202 0
Current children cumulated CPU time: 3152.1 s
Current children cumulated vsize: 4345000 KiB
Current children cumulated memory: 4086788 KiB
[startup+3222.3 s]
/proc/loadavg: 3.59 3.84 4.00 4/235 1052576
/proc/meminfo: memFree=121490192/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4345000 memory=4086788 CPUtime=3211.92 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 535538 0 0 0 318715 2477 0 0 20 0 1 0 198954145 4449280000 1021697 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1086250 1021697 1813 922 0 1078202 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 4345000 KiB
Current children cumulated memory: 4086788 KiB
[startup+3282.3 s]
/proc/loadavg: 3.27 3.70 3.94 4/235 1052586
/proc/meminfo: memFree=121453788/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4376916 memory=4118708 CPUtime=3271.74 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 540446 0 0 0 324689 2485 0 0 20 0 1 0 198954145 4481961984 1029677 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1094229 1029677 1813 922 0 1086181 0
Current children cumulated CPU time: 3271.74 s
Current children cumulated vsize: 4376916 KiB
Current children cumulated memory: 4118708 KiB
[startup+3342.3 s]
/proc/loadavg: 3.21 3.60 3.89 4/236 1052766
/proc/meminfo: memFree=121424344/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4405396 memory=4146936 CPUtime=3331.56 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 548583 0 0 0 330667 2489 0 0 20 0 1 0 198954145 4511125504 1036734 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1101349 1036734 1813 922 0 1093301 0
Current children cumulated CPU time: 3331.56 s
Current children cumulated vsize: 4405396 KiB
Current children cumulated memory: 4146936 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.50 3.84 4/236 1052778
/proc/meminfo: memFree=121416984/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4412564 memory=4154252 CPUtime=3391.37 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 551510 0 0 0 336645 2492 0 0 20 0 1 0 198954145 4518465536 1038563 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1103141 1038563 1813 922 0 1095093 0
Current children cumulated CPU time: 3391.37 s
Current children cumulated vsize: 4412564 KiB
Current children cumulated memory: 4154252 KiB
[startup+3462.3 s]
/proc/loadavg: 3.24 3.46 3.80 4/238 1052846
/proc/meminfo: memFree=121387620/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=4440716 memory=4182228 CPUtime=3451.19 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 560042 0 0 0 342613 2506 0 0 20 0 1 0 198954145 4547293184 1045557 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1110179 1045557 1813 922 0 1102131 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 4440716 KiB
Current children cumulated memory: 4182228 KiB
[startup+3522.3 s]
/proc/loadavg: 3.22 3.42 3.76 4/237 1052856
/proc/meminfo: memFree=121063912/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=5961060 memory=4488520 CPUtime=3511.01 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 567563 0 0 0 348540 2561 0 0 20 0 1 0 198954145 6104125440 1122130 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1490265 1122130 1813 922 0 1482217 0
Current children cumulated CPU time: 3511.01 s
Current children cumulated vsize: 5961060 KiB
Current children cumulated memory: 4488520 KiB
[startup+3582.3 s]
/proc/loadavg: 2.00 3.04 3.61 2/223 1052928
/proc/meminfo: memFree=122924072/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=5963472 memory=4515472 CPUtime=3570.85 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 569274 0 0 0 354407 2678 0 0 20 0 1 0 198954145 6106595328 1128868 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1490868 1128868 1813 922 0 1482820 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 5963472 KiB
Current children cumulated memory: 4515472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 1.67 2.86 3.53 2/223 1052934
/proc/meminfo: memFree=122923924/131655788 swapFree=131071996/131071996
[pid=1051011] ppid=1051008 vsize=5963472 memory=4515704 CPUtime=3600.08 cores=0,2
/proc/1051011/stat : 1051011 (roundingsat) R 1051008 1051011 1046564 0 -1 4194304 569949 0 0 0 357282 2726 0 0 20 0 1 0 198954145 6106595328 1128926 134679101440 4194304 7968373 140734238872752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38551552 140734238876604 140734238876768 140734238876768 140734238883785 0
/proc/1051011/statm: 1490868 1128926 1813 922 0 1482820 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 5963472 KiB
Current children cumulated memory: 4515704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.67 s]
# the end of solver process 1051011 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.84 s, system=27.3189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.67
CPU time (s): 3600.16
CPU user time (s): 3572.84
CPU system time (s): 27.3189
CPU usage (%): 99.681
Max. virtual memory (cumulated for all children) (KiB): 5963472
Max. memory (cumulated for all children) (KiB): 4515704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.84
system time used= 27.3189
maximum resident set size= 4515704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63
involuntary context switches= 24651
# summary of solver processes directly reported to runsolver:
# pid: 1051011
# total CPU time (s): 3600.16
# total CPU user time (s): 3572.84
# total CPU system time (s): 27.3189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0242 second user time and 33.6758 second system time
The end
Begin job on nodeC008 at 2024-07-20 11:33:09
IDJOB=4455865
IDBENCH=164221
IDSOLVER=3084
FILE ID=nodeC008/4455865-1721467977
RUNJOBID= nodeC008-1721460659-1046574
SLURM_JOB_ID= 7545711
Free space on /tmp= 723736 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455865-1721467977/watcher-4455865-1721467977 -o /tmp/evaluation-result-4455865-1721467977/solver-4455865-1721467977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455865-1721467977.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=1572009433
nodeC008.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 : 0xb00001f
cpu MHz : 3402.228
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 3673.050
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.243
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 1197.373
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3665.643
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 3672.065
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.416
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126684864 kB
MemAvailable: 129168412 kB
Buffers: 601556 kB
Cached: 2707164 kB
SwapCached: 0 kB
Active: 1145112 kB
Inactive: 3225288 kB
Active(anon): 1500 kB
Inactive(anon): 1106116 kB
Active(file): 1143612 kB
Inactive(file): 2119172 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11200 kB
Writeback: 0 kB
AnonPages: 1061820 kB
Mapped: 116096 kB
Shmem: 45896 kB
KReclaimable: 121592 kB
Slab: 227756 kB
SReclaimable: 121592 kB
SUnreclaim: 106164 kB
KernelStack: 3864 kB
PageTables: 11456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1461580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 203592 kB
DirectMap2M: 24866816 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-20 12:33:21