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 (63028 MiB free)
memory of node 1: 64473 MiB (63785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463277-1722348186/watcher-4463277-1722348186 -o /tmp/evaluation-result-4463277-1722348186/solver-4463277-1722348186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6567 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463277-1722348186 --lp-cut-gomory=0 HOME/instance-4463277-1722348186.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=11020, runsolver pid=11017
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.07 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129823852/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=69004 memory=38636 CPUtime=0.09 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 9006 0 0 0 8 1 0 0 20 0 1 0 1419749 70660096 9659 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 17251 9659 1698 992 0 9109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 38636 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.07 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129822676/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=69004 memory=38636 CPUtime=0.2 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 9010 0 0 0 19 1 0 0 20 0 1 0 1419749 70660096 9659 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 17251 9659 1698 992 0 9109 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 38636 KiB
[startup+0.304469 s]*
/proc/loadavg: 4.07 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129821380/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=69004 memory=38636 CPUtime=0.3 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 9012 0 0 0 29 1 0 0 20 0 1 0 1419749 70660096 9659 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 17251 9659 1698 992 0 9109 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 38636 KiB
[startup+0.700146 s]
/proc/loadavg: 4.06 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129820568/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=69248 memory=38900 CPUtime=0.69 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 9075 0 0 0 68 1 0 0 20 0 1 0 1419749 70909952 9725 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 17312 9725 1698 992 0 9170 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69248 KiB
Current children cumulated memory: 38900 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129815836/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=71512 memory=41128 CPUtime=1.48 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 9572 0 0 0 109 39 0 0 20 0 1 0 1419749 73228288 10282 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 17878 10282 1729 992 0 9736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 41128 KiB
[startup+3.10538 s]
/proc/loadavg: 4.06 4.11 4.15 5/263 11021
/proc/meminfo: memFree=129780608/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=84996 memory=55164 CPUtime=3.09 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 11975 0 0 0 242 67 0 0 20 0 1 0 1419749 87035904 13791 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 21249 13791 1834 992 0 13107 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84996 KiB
Current children cumulated memory: 55164 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.13 4.16 5/263 11021
/proc/meminfo: memFree=129723928/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=96448 memory=65236 CPUtime=6.28 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 13513 0 0 0 530 98 0 0 20 0 1 0 1419749 98762752 16309 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 24112 16309 1834 992 0 15970 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 96448 KiB
Current children cumulated memory: 65236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.16 5/263 11022
/proc/meminfo: memFree=129617420/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=121516 memory=87316 CPUtime=12.66 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 16426 0 0 0 1083 183 0 0 20 0 1 0 1419749 124432384 21829 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 30379 21829 1834 992 0 22237 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 121516 KiB
Current children cumulated memory: 87316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.16 5/263 11024
/proc/meminfo: memFree=129399620/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=158960 memory=116440 CPUtime=25.43 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 21684 0 0 0 2213 330 0 0 20 0 1 0 1419749 162775040 29110 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 39740 29110 1834 992 0 31598 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158960 KiB
Current children cumulated memory: 116440 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.16 5/263 11028
/proc/meminfo: memFree=128653276/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=430232 memory=388376 CPUtime=50.98 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 49878 0 0 0 4665 433 0 0 20 0 1 0 1419749 440557568 97094 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 107558 97094 1834 992 0 99416 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 430232 KiB
Current children cumulated memory: 388376 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/261 11038
/proc/meminfo: memFree=127929448/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=484492 memory=442980 CPUtime=102.07 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 63599 0 0 0 9569 638 0 0 20 0 1 0 1419749 496119808 110745 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 121123 110745 1834 992 0 112981 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 484492 KiB
Current children cumulated memory: 442980 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/260 11048
/proc/meminfo: memFree=127011540/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=566964 memory=523872 CPUtime=161.94 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 83911 0 0 0 15114 1080 0 0 20 0 1 0 1419749 580571136 130968 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 141741 130968 1834 992 0 133599 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 566964 KiB
Current children cumulated memory: 523872 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/258 11058
/proc/meminfo: memFree=125943568/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=590276 memory=547488 CPUtime=221.8 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 89821 0 0 0 20941 1239 0 0 20 0 1 0 1419749 604442624 136872 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 147569 136872 1834 992 0 139427 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 590276 KiB
Current children cumulated memory: 547488 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/258 11070
/proc/meminfo: memFree=124971276/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=646928 memory=604508 CPUtime=281.66 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 103982 0 0 0 26699 1467 0 0 20 0 1 0 1419749 662454272 151127 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 161732 151127 1834 992 0 153590 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 646928 KiB
Current children cumulated memory: 604508 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/257 11080
/proc/meminfo: memFree=124009620/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=831708 memory=683412 CPUtime=341.51 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 115012 0 0 0 32386 1765 0 0 20 0 1 0 1419749 851668992 170853 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 207927 170853 1834 992 0 199785 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 831708 KiB
Current children cumulated memory: 683412 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/257 11090
/proc/meminfo: memFree=123402544/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=889272 memory=741732 CPUtime=401.37 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 129529 0 0 0 38110 2027 0 0 20 0 1 0 1419749 910614528 185433 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 222318 185433 1834 992 0 214176 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 889272 KiB
Current children cumulated memory: 741732 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/259 11104
/proc/meminfo: memFree=122924196/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=959444 memory=804528 CPUtime=461.23 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 145032 0 0 0 43981 2142 0 0 20 0 1 0 1419749 982470656 201132 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 239861 201132 1834 992 0 231719 0
################
# More data... #
################
Current children cumulated memory: 1525384 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.13 3.35 4/254 12205
/proc/meminfo: memFree=112210104/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1581664 memory=1525384 CPUtime=2915.46 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 304048 0 0 0 285576 5970 0 0 20 0 1 0 1419749 1619623936 381346 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 395416 381346 1834 992 0 387274 0
Current children cumulated CPU time: 2915.46 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1525384 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.12 3.34 4/254 12215
/proc/meminfo: memFree=112015664/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1581664 memory=1525384 CPUtime=2975.31 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 304599 0 0 0 291478 6053 0 0 20 0 1 0 1419749 1619623936 381346 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 395416 381346 1834 992 0 387274 0
Current children cumulated CPU time: 2975.31 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1525384 KiB
[startup+3042.3 s]
/proc/loadavg: 3.08 3.11 3.32 4/254 12225
/proc/meminfo: memFree=111654016/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1581812 memory=1529048 CPUtime=3035.16 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 305220 0 0 0 297312 6204 0 0 20 0 1 0 1419749 1619775488 382262 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 395453 382262 1834 992 0 387311 0
Current children cumulated CPU time: 3035.16 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1529048 KiB
[startup+3102.3 s]
/proc/loadavg: 3.07 3.10 3.30 4/254 12236
/proc/meminfo: memFree=111358872/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1581812 memory=1539440 CPUtime=3095.04 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 305748 0 0 0 303217 6287 0 0 20 0 1 0 1419749 1619775488 384860 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 395453 384860 1834 992 0 387311 0
Current children cumulated CPU time: 3095.04 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1539440 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.11 3.29 4/254 12632
/proc/meminfo: memFree=111048696/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1582020 memory=1541800 CPUtime=3154.91 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 306451 0 0 0 309153 6338 0 0 20 0 1 0 1419749 1619988480 385450 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 395505 385450 1834 992 0 387363 0
Current children cumulated CPU time: 3154.91 s
Current children cumulated vsize: 1582020 KiB
Current children cumulated memory: 1541800 KiB
[startup+3222.3 s]
/proc/loadavg: 3.04 3.09 3.27 4/254 12642
/proc/meminfo: memFree=110845272/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1584188 memory=1543664 CPUtime=3214.79 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 307567 0 0 0 315110 6369 0 0 20 0 1 0 1419749 1622208512 385916 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 396047 385916 1834 992 0 387905 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 1584188 KiB
Current children cumulated memory: 1543664 KiB
[startup+3282.3 s]
/proc/loadavg: 3.46 3.18 3.29 4/254 12654
/proc/meminfo: memFree=110648892/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1614164 memory=1568128 CPUtime=3274.67 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 314355 0 0 0 321055 6412 0 0 20 0 1 0 1419749 1652903936 392032 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 403541 392032 1834 992 0 395399 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 1614164 KiB
Current children cumulated memory: 1568128 KiB
[startup+3342.3 s]
/proc/loadavg: 3.26 3.18 3.28 4/255 12833
/proc/meminfo: memFree=110487556/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1625732 memory=1579452 CPUtime=3334.55 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 317657 0 0 0 326998 6457 0 0 20 0 1 0 1419749 1664749568 394863 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 406433 394863 1834 992 0 398291 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 1625732 KiB
Current children cumulated memory: 1579452 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.16 3.26 4/255 12843
/proc/meminfo: memFree=110236556/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644616 memory=1607492 CPUtime=3394.43 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 322316 0 0 0 332842 6601 0 0 20 0 1 0 1419749 1684086784 401873 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411154 401873 1834 992 0 403012 0
Current children cumulated CPU time: 3394.43 s
Current children cumulated vsize: 1644616 KiB
Current children cumulated memory: 1607492 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.14 3.25 4/258 12858
/proc/meminfo: memFree=109978848/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644616 memory=1607504 CPUtime=3454.32 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 322995 0 0 0 338722 6710 0 0 20 0 1 0 1419749 1684086784 401876 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411154 401876 1834 992 0 403012 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 1644616 KiB
Current children cumulated memory: 1607504 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.13 3.24 4/256 12880
/proc/meminfo: memFree=109689660/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644768 memory=1607652 CPUtime=3514.19 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 323728 0 0 0 344542 6877 0 0 20 0 1 0 1419749 1684242432 401913 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411192 401913 1834 992 0 403050 0
Current children cumulated CPU time: 3514.19 s
Current children cumulated vsize: 1644768 KiB
Current children cumulated memory: 1607652 KiB
[startup+3582.3 s]
/proc/loadavg: 2.03 2.83 3.13 2/243 12952
/proc/meminfo: memFree=117449996/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644768 memory=1607668 CPUtime=3574.06 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 324299 0 0 0 350431 6975 0 0 20 0 1 0 1419749 1684242432 401917 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411192 401917 1834 992 0 403050 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 1644768 KiB
Current children cumulated memory: 1607668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 1.68 2.68 3.07 2/243 12957
/proc/meminfo: memFree=117313164/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644768 memory=1607668 CPUtime=3600.01 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 324759 0 0 0 352946 7055 0 0 20 0 1 0 1419749 1684242432 401917 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411192 401917 1834 992 0 403050 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1644768 KiB
Current children cumulated memory: 1607668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.39 s]
# the end of solver process 11020 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3529.47 s, system=70.5691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 1.68 2.68 3.07 2/243 12957
/proc/meminfo: memFree=117313164/131524600 swapFree=131063756/131071996
[pid=11020] ppid=11017 vsize=1644768 memory=1607668 CPUtime=3600.01 cores=4,6
/proc/11020/stat : 11020 (roundingsat) R 11017 11020 6556 0 -1 4194304 324759 0 0 0 352946 7055 0 0 20 0 1 0 1419749 1684242432 401917 134679101440 4194304 8255733 140731567256176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18173952 140731567260510 140731567260772 140731567260772 140731567267785 0
/proc/11020/statm: 411192 401917 1834 992 0 403050 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1644768 KiB
Current children cumulated memory: 1607668 KiB
Child status: 0
Real time (s): 3608.39
CPU time (s): 3600.04
CPU user time (s): 3529.47
CPU system time (s): 70.5691
CPU usage (%): 99.7686
Max. virtual memory (cumulated for all children) (KiB): 1644768
Max. memory (cumulated for all children) (KiB): 1607668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.47
system time used= 70.5691
maximum resident set size= 1607668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22359128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 937
involuntary context switches= 4812
# summary of solver processes directly reported to runsolver:
# pid: 11020
# total CPU time (s): 3600.04
# total CPU user time (s): 3529.47
# total CPU system time (s): 70.5691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73046 second user time and 13.5445 second system time
The end
Begin job on nodeC029 at 2024-07-30 16:03:06
IDJOB=4463277
IDBENCH=164400
IDSOLVER=3089
FILE ID=nodeC029/4463277-1722348186
RUNJOBID= nodeC029-1722340763-6567
SLURM_JOB_ID= 8249002
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4463277-1722348186/watcher-4463277-1722348186 -o /tmp/evaluation-result-4463277-1722348186/solver-4463277-1722348186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6567 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463277-1722348186 --lp-cut-gomory=0 HOME/instance-4463277-1722348186.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=660769194
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.592
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 : 7000.02
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 : 3686.466
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.75
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 : 3611.672
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 : 7000.02
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.680
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.75
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 : 3632.022
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 : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.554
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.75
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 : 3650.559
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 : 7000.02
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.416
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129857152 kB
MemAvailable: 129790036 kB
Buffers: 43528 kB
Cached: 730108 kB
SwapCached: 12 kB
Active: 153940 kB
Inactive: 1053912 kB
Active(anon): 2028 kB
Inactive(anon): 453344 kB
Active(file): 151912 kB
Inactive(file): 600568 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 62724 kB
Writeback: 0 kB
AnonPages: 433272 kB
Mapped: 96592 kB
Shmem: 21024 kB
KReclaimable: 40456 kB
Slab: 121372 kB
SReclaimable: 40456 kB
SUnreclaim: 80916 kB
KernelStack: 4176 kB
PageTables: 9736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 759420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 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: 185044 kB
DirectMap2M: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC029 at 2024-07-30 17:03:15