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 (63044 MiB free)
memory of node 1: 64473 MiB (64166 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462475-1722340763/watcher-4462475-1722340763 -o /tmp/evaluation-result-4462475-1722340763/solver-4462475-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462475-1722340763 --lp-cut-gomory=0 HOME/instance-4462475-1722340763.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=6827, runsolver pid=6813
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 0.16 0.10 0.09 4/260 6833
/proc/meminfo: memFree=130261716/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=37376 memory=2532 CPUtime=0 cores=5,7
/proc/6827/stat : 6827 (roundingsat) D 6813 6827 6759 0 -1 1077936128 215 0 1 0 0 0 0 0 20 0 1 0 673349 38273024 633 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB
[startup+0.206539 s]*
/proc/loadavg: 0.16 0.10 0.09 4/260 6833
/proc/meminfo: memFree=130260732/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=37376 memory=2532 CPUtime=0 cores=5,7
/proc/6827/stat : 6827 (roundingsat) D 6813 6827 6759 0 -1 1077936128 215 0 1 0 0 0 0 0 20 0 1 0 673349 38273024 633 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB
[startup+0.305585 s]*
/proc/loadavg: 0.16 0.10 0.09 3/260 6833
/proc/meminfo: memFree=130259264/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=37376 memory=2532 CPUtime=0 cores=5,7
/proc/6827/stat : 6827 (roundingsat) D 6813 6827 6759 0 -1 1077936128 215 0 1 0 0 0 0 0 20 0 1 0 673349 38273024 633 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB
[startup+0.700144 s]
/proc/loadavg: 0.16 0.10 0.09 4/260 6833
/proc/meminfo: memFree=130246548/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=55828 memory=24132 CPUtime=0.29 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 4758 0 1 0 22 7 0 0 20 0 1 0 673349 57167872 6033 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 13957 6033 1348 992 0 5815 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55828 KiB
Current children cumulated memory: 24132 KiB
[startup+1.50023 s]
/proc/loadavg: 0.16 0.10 0.09 3/260 6833
/proc/meminfo: memFree=130233472/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=217840 memory=180432 CPUtime=1.09 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 38493 0 1 0 81 28 0 0 20 0 1 0 673349 223068160 45108 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 54460 45108 1713 992 0 46318 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 180432 KiB
[startup+3.10667 s]
/proc/loadavg: 0.47 0.17 0.12 8/260 6835
/proc/meminfo: memFree=129641876/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=215232 memory=176232 CPUtime=2.7 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 39619 0 1 0 233 37 0 0 20 0 1 0 673349 220397568 44058 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 53808 44058 1792 992 0 45666 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 215232 KiB
Current children cumulated memory: 176232 KiB
[startup+6.30021 s]
/proc/loadavg: 0.47 0.17 0.12 8/260 6835
/proc/meminfo: memFree=129311792/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=220044 memory=181200 CPUtime=5.88 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 40877 0 1 0 538 50 0 0 20 0 1 0 673349 225325056 45300 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 55011 45300 1792 992 0 46869 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 220044 KiB
Current children cumulated memory: 181200 KiB
[startup+12.7002 s]
/proc/loadavg: 0.75 0.23 0.14 8/262 6838
/proc/meminfo: memFree=128945732/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=227284 memory=196464 CPUtime=12.26 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 43121 0 1 0 1155 71 0 0 20 0 1 0 673349 232738816 49116 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 56821 49116 1850 992 0 48679 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 227284 KiB
Current children cumulated memory: 196464 KiB
[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 8/262 6840
/proc/meminfo: memFree=127978752/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=296064 memory=260724 CPUtime=25.03 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 52694 0 1 0 2405 98 0 0 20 0 1 0 673349 303169536 65181 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 74016 65181 1850 992 0 65874 0
Current children cumulated CPU time: 25.03 s
Current children cumulated vsize: 296064 KiB
Current children cumulated memory: 260724 KiB
[startup+51.1067 s]
/proc/loadavg: 2.41 0.72 0.31 8/262 6843
/proc/meminfo: memFree=126817896/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=306260 memory=272912 CPUtime=50.55 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 55236 0 1 0 4948 107 0 0 20 0 1 0 673349 313610240 68228 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 76565 68228 1850 992 0 68423 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 306260 KiB
Current children cumulated memory: 272912 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.25 0.51 8/261 6868
/proc/meminfo: memFree=125351216/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=306260 memory=273524 CPUtime=101.62 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 55440 0 1 0 10043 119 0 0 20 0 1 0 673349 313610240 68381 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 76565 68381 1850 992 0 68423 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 306260 KiB
Current children cumulated memory: 273524 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.79 0.75 7/257 6907
/proc/meminfo: memFree=123687452/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=309016 memory=275536 CPUtime=161.48 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 55996 0 1 0 15995 153 0 0 20 0 1 0 673349 316432384 68884 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 77254 68884 1850 992 0 69112 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 309016 KiB
Current children cumulated memory: 275536 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.21 0.96 7/258 6919
/proc/meminfo: memFree=121094608/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=531264 memory=449540 CPUtime=221.34 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 79927 0 1 0 21893 241 0 0 20 0 1 0 673349 544014336 112385 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 132816 112385 1866 992 0 124674 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 531264 KiB
Current children cumulated memory: 449540 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.56 1.16 7/262 6948
/proc/meminfo: memFree=118748600/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=733612 memory=640720 CPUtime=281.19 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 106122 0 1 0 27829 290 0 0 20 0 1 0 673349 751218688 160180 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 183403 160180 1866 992 0 175261 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 733612 KiB
Current children cumulated memory: 640720 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 2.84 1.34 7/262 6959
/proc/meminfo: memFree=114748060/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=737844 memory=662896 CPUtime=341.05 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 107369 0 1 0 33808 297 0 0 20 0 1 0 673349 755552256 165724 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 184461 165724 1866 992 0 176319 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 737844 KiB
Current children cumulated memory: 662896 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.52 7/260 6971
/proc/meminfo: memFree=110231016/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=738964 memory=663944 CPUtime=400.92 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 107726 0 1 0 39789 303 0 0 20 0 1 0 673349 756699136 165986 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 184741 165986 1866 992 0 176599 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 738964 KiB
Current children cumulated memory: 663944 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.27 1.68 7/260 6982
/proc/meminfo: memFree=106547256/131524600 swapFree=131071996/131071996
[pid=6827] ppid=6813 vsize=738964 memory=663960 CPUtime=460.78 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 108015 0 1 0 45745 333 0 0 20 0 1 0 673349 756699136 165990 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 184741 165990 1866 992 0 176599 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.03 6/263 8147
/proc/meminfo: memFree=600008/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1456524 memory=1199532 CPUtime=3033.74 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 192625 0 1 0 301937 1437 0 0 20 0 1 0 673349 1491480576 299883 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364131 299883 1882 992 0 355989 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 1456524 KiB
Current children cumulated memory: 1199532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.04 6/262 8161
/proc/meminfo: memFree=570540/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1199628 CPUtime=3093.57 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 192875 0 1 0 307868 1489 0 0 20 0 1 0 673349 1493364736 299907 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 299907 1882 992 0 356449 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1199628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.04 6/263 8174
/proc/meminfo: memFree=465868/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1199628 CPUtime=3153.39 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 193146 0 1 0 313755 1584 0 0 20 0 1 0 673349 1493364736 299907 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 299907 1882 992 0 356449 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1199628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.04 6/263 8184
/proc/meminfo: memFree=532100/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1199628 CPUtime=3213.21 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 193411 0 1 0 319644 1677 0 0 20 0 1 0 673349 1493364736 299907 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 299907 1882 992 0 356449 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1199628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/261 8195
/proc/meminfo: memFree=529728/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1199628 CPUtime=3273.04 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 193595 0 1 0 325558 1746 0 0 20 0 1 0 673349 1493364736 299907 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 299907 1882 992 0 356449 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1199628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/262 8207
/proc/meminfo: memFree=570384/131524600 swapFree=131071728/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1200432 CPUtime=3332.87 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 193972 0 1 0 331516 1771 0 0 20 0 1 0 673349 1493364736 300108 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300108 1882 992 0 356449 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1200432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.04 6/264 8605
/proc/meminfo: memFree=560400/131524600 swapFree=131071472/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1200516 CPUtime=3392.7 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194220 0 1 0 337493 1777 0 0 20 0 1 0 673349 1493364736 300129 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300129 1882 992 0 356449 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1200516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/264 8616
/proc/meminfo: memFree=529096/131524600 swapFree=131071472/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1200560 CPUtime=3452.52 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194358 0 1 0 343471 1781 0 0 20 0 1 0 673349 1493364736 300140 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300140 1882 992 0 356449 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1200560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.13 4.05 6/264 8628
/proc/meminfo: memFree=558236/131524600 swapFree=131071472/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201324 CPUtime=3512.36 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194707 0 1 0 349449 1787 0 0 20 0 1 0 673349 1493364736 300331 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300331 1866 992 0 356449 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.16 4.07 6/265 8808
/proc/meminfo: memFree=627772/131524600 swapFree=131071216/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201344 CPUtime=3572.19 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194857 0 1 0 355427 1792 0 0 20 0 1 0 673349 1493364736 300336 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300336 1866 992 0 356449 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.23 4.16 4.07 4/263 8812
/proc/meminfo: memFree=525004/131524600 swapFree=131071216/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201352 CPUtime=3600.02 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194953 0 1 0 358207 1795 0 0 20 0 1 0 673349 1493364736 300338 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300338 1866 992 0 356449 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.52 s]
# the end of solver process 6827 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.07 s, system=17.97 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.23 4.16 4.07 4/260 8826
/proc/meminfo: memFree=2176916/131524600 swapFree=131071216/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201352 CPUtime=3601.01 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194953 0 1 0 358306 1795 0 0 20 0 1 0 673349 1493364736 300338 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300338 1866 992 0 356449 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201352 KiB
[startup+3612 s]*
/proc/loadavg: 4.23 4.16 4.07 4/257 8840
/proc/meminfo: memFree=2105072/131524600 swapFree=131071216/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201352 CPUtime=3601.81 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194953 0 1 0 358386 1795 0 0 20 0 1 0 673349 1493364736 300338 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300338 1866 992 0 356449 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201352 KiB
[startup+3612.2 s]
/proc/loadavg: 4.23 4.16 4.07 4/257 8840
/proc/meminfo: memFree=2105072/131524600 swapFree=131071216/131071996
[pid=6827] ppid=6813 vsize=1458364 memory=1201352 CPUtime=3602.01 cores=5,7
/proc/6827/stat : 6827 (roundingsat) R 6813 6827 6759 0 -1 4194304 194953 0 1 0 358406 1795 0 0 20 0 1 0 673349 1493364736 300338 134679101440 4194304 8255733 140721522357136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23228416 140721522361182 140721522361444 140721522361444 140721522368457 0
/proc/6827/statm: 364591 300338 1866 992 0 356449 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 1458364 KiB
Current children cumulated memory: 1201352 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.52
CPU time (s): 3602.04
CPU user time (s): 3584.07
CPU system time (s): 17.97
CPU usage (%): 99.6546
Max. virtual memory (cumulated for all children) (KiB): 1458364
Max. memory (cumulated for all children) (KiB): 1201368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.07
system time used= 17.97
maximum resident set size= 1204484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194953
page faults= 1
swaps= 0
block input operations= 16
block output operations= 15424080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 3230
# summary of solver processes directly reported to runsolver:
# pid: 6827
# total CPU time (s): 3602.04
# total CPU user time (s): 3584.07
# total CPU system time (s): 17.97
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73684 second user time and 20.0858 second system time
The end
Begin job on nodeC017 at 2024-07-30 13:59:23
IDJOB=4462475
IDBENCH=144784
IDSOLVER=3089
FILE ID=nodeC017/4462475-1722340763
RUNJOBID= nodeC017-1722340763-6772
SLURM_JOB_ID= 8248980
Free space on /tmp= 890044 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.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-4462475-1722340763/watcher-4462475-1722340763 -o /tmp/evaluation-result-4462475-1722340763/solver-4462475-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462475-1722340763 --lp-cut-gomory=0 HOME/instance-4462475-1722340763.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 76d4374776c44997889e9fdaf7321aa0
RANDOM SEED=727532140
nodeC017.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 : 3811.420
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.82
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 : 3773.729
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.29
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 : 3641.961
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.82
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 : 3750.682
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.29
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 : 3799.902
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.82
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 : 3768.291
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.29
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.860
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.82
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 : 3611.619
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130264572 kB
MemAvailable: 129864952 kB
Buffers: 45040 kB
Cached: 369536 kB
SwapCached: 0 kB
Active: 132276 kB
Inactive: 670436 kB
Active(anon): 1340 kB
Inactive(anon): 408152 kB
Active(file): 130936 kB
Inactive(file): 262284 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 44404 kB
Writeback: 0 kB
AnonPages: 387548 kB
Mapped: 87344 kB
Shmem: 21336 kB
KReclaimable: 44012 kB
Slab: 118288 kB
SReclaimable: 44012 kB
SUnreclaim: 74276 kB
KernelStack: 3928 kB
PageTables: 9988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 684932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 268288 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: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC017 at 2024-07-30 14:59:38