runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (45233 MiB free)
memory of node 1: 64510 MiB (25072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457149-1721825736/watcher-4457149-1721825736 -o /tmp/evaluation-result-4457149-1721825736/solver-4457149-1721825736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191709 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457149-1721825736 --lp-cut-gomory=0 HOME/instance-4457149-1721825736.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
Current StackSize limit: 8192 KiB
solver pid=196860, runsolver pid=196857
[startup+0.100092 s]*
/proc/loadavg: 4.13 4.19 4.13 5/264 196861
/proc/meminfo: memFree=71925240/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=130756 memory=84188 CPUtime=0.09 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 9963 0 0 0 7 2 0 0 20 0 1 0 19097191 133894144 21047 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 32689 21047 1303 992 0 24547 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130756 KiB
Current children cumulated memory: 84188 KiB
[startup+0.205869 s]*
/proc/loadavg: 4.13 4.19 4.13 6/264 196861
/proc/meminfo: memFree=71893964/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=153936 memory=96516 CPUtime=0.2 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 11193 0 0 0 16 4 0 0 20 0 1 0 19097191 157630464 24129 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 38484 24129 1367 992 0 30342 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 96516 KiB
[startup+0.304896 s]*
/proc/loadavg: 4.13 4.19 4.13 5/264 196861
/proc/meminfo: memFree=71890492/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=153936 memory=99620 CPUtime=0.3 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 11444 0 0 0 23 7 0 0 20 0 1 0 19097191 157630464 24905 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 38484 24905 1367 992 0 30342 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 99620 KiB
[startup+0.700196 s]
/proc/loadavg: 4.13 4.19 4.13 5/264 196861
/proc/meminfo: memFree=71881616/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=165232 memory=108124 CPUtime=0.69 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 13541 0 0 0 57 12 0 0 20 0 1 0 19097191 169197568 27031 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 41308 27031 1367 992 0 33166 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165232 KiB
Current children cumulated memory: 108124 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.19 4.13 5/264 196861
/proc/meminfo: memFree=71863052/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=188524 memory=125424 CPUtime=1.49 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 15841 0 0 0 119 30 0 0 20 0 1 0 19097191 193048576 31356 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 47131 31356 1367 992 0 38989 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 188524 KiB
Current children cumulated memory: 125424 KiB
[startup+3.10585 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 196861
/proc/meminfo: memFree=71333552/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=682048 memory=596380 CPUtime=3.08 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 63149 0 0 0 261 47 0 0 20 0 1 0 19097191 698417152 149095 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 170512 149095 1780 992 0 162370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 596380 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 196861
/proc/meminfo: memFree=71187788/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=682048 memory=596416 CPUtime=6.27 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 63230 0 0 0 579 48 0 0 20 0 1 0 19097191 698417152 149104 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 170512 149104 1780 992 0 162370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 596416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.19 4.14 5/264 196862
/proc/meminfo: memFree=70642124/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=802216 memory=706272 CPUtime=12.65 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 72899 0 0 0 1165 100 0 0 20 0 1 0 19097191 821469184 176568 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 200554 176568 1826 992 0 192412 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 802216 KiB
Current children cumulated memory: 706272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.19 4.14 5/264 196864
/proc/meminfo: memFree=69792200/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=938580 memory=800636 CPUtime=25.41 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 75575 0 0 0 2424 117 0 0 20 0 1 0 19097191 961105920 200159 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 234645 200159 1826 992 0 226503 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 800636 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.17 4.13 5/265 196869
/proc/meminfo: memFree=69035552/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=938580 memory=800680 CPUtime=50.94 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 75617 0 0 0 4976 118 0 0 20 0 1 0 19097191 961105920 200170 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 234645 200170 1826 992 0 226503 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 800680 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/266 196880
/proc/meminfo: memFree=67520132/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=938580 memory=800680 CPUtime=101.98 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 75672 0 0 0 10080 118 0 0 20 0 1 0 19097191 961105920 200170 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 234645 200170 1826 992 0 226503 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 800680 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/267 197061
/proc/meminfo: memFree=65330764/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=938580 memory=800680 CPUtime=161.75 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 75702 0 0 0 16053 122 0 0 20 0 1 0 19097191 961105920 200170 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 234645 200170 1826 992 0 226503 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 938580 KiB
Current children cumulated memory: 800680 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/267 197071
/proc/meminfo: memFree=63576364/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=940628 memory=802064 CPUtime=221.51 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 76090 0 0 0 22023 128 0 0 20 0 1 0 19097191 963203072 200516 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 235157 200516 1826 992 0 227015 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 940628 KiB
Current children cumulated memory: 802064 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 197083
/proc/meminfo: memFree=60140144/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=2052044 memory=1680968 CPUtime=281.24 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 168220 0 0 0 27548 576 0 0 20 0 1 0 19097191 2101293056 420242 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 513011 420242 1826 992 0 504869 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 2052044 KiB
Current children cumulated memory: 1680968 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/263 197106
/proc/meminfo: memFree=57949108/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=3292892 memory=2632136 CPUtime=341 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 321230 0 0 0 32989 1111 0 0 20 0 1 0 19097191 3371921408 658034 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 823223 658034 1826 992 0 815081 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 3292892 KiB
Current children cumulated memory: 2632136 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.22 4.14 5/261 197117
/proc/meminfo: memFree=55397348/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=3394576 memory=2696072 CPUtime=400.77 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 323541 0 0 0 38911 1166 0 0 20 0 1 0 19097191 3476045824 674018 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 848644 674018 1826 992 0 840502 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 3394576 KiB
Current children cumulated memory: 2696072 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.19 4.14 5/260 197129
/proc/meminfo: memFree=52361580/131524600 swapFree=131057308/131071996
[pid=196860] ppid=196857 vsize=3378928 memory=2674532 CPUtime=460.47 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 323843 0 0 0 44836 1211 0 0 20 0 1 0 19097191 3460022272 668633 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 844732 668633 1882 992 0 836590 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.10 3.21 3.54 4/251 198374
/proc/meminfo: memFree=57875904/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19010880 memory=17023648 CPUtime=3089.16 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2519739 0 0 0 304778 4138 0 0 20 0 1 0 19097191 19467141120 4255912 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4752720 4255912 1882 992 0 4744578 0
Current children cumulated CPU time: 3089.16 s
Current children cumulated vsize: 19010880 KiB
Current children cumulated memory: 17023648 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.18 3.52 4/251 198384
/proc/meminfo: memFree=56426632/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037908 CPUtime=3148.94 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2522264 0 0 0 310657 4237 0 0 20 0 1 0 19097191 19477344256 4259477 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259477 1882 992 0 4747069 0
Current children cumulated CPU time: 3148.94 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037908 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.16 3.49 4/251 198394
/proc/meminfo: memFree=55639332/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037908 CPUtime=3208.76 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2522715 0 0 0 316422 4454 0 0 20 0 1 0 19097191 19477344256 4259477 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259477 1882 992 0 4747069 0
Current children cumulated CPU time: 3208.76 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037908 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.16 3.46 4/253 198409
/proc/meminfo: memFree=55003636/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037908 CPUtime=3268.56 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2523519 0 0 0 322287 4569 0 0 20 0 1 0 19097191 19477344256 4259477 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259477 1882 992 0 4747069 0
Current children cumulated CPU time: 3268.56 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037908 KiB
[startup+3342.3 s]
/proc/loadavg: 3.05 3.13 3.43 4/253 198420
/proc/meminfo: memFree=54907120/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037908 CPUtime=3328.39 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2526274 0 0 0 326537 6302 0 0 20 0 1 0 19097191 19477344256 4259477 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259477 1882 992 0 4747069 0
Current children cumulated CPU time: 3328.39 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037908 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.13 3.41 4/253 198431
/proc/meminfo: memFree=54068992/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037908 CPUtime=3388.18 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2527604 0 0 0 332379 6439 0 0 20 0 1 0 19097191 19477344256 4259477 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259477 1882 992 0 4747069 0
Current children cumulated CPU time: 3388.18 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037908 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.12 3.39 4/252 198458
/proc/meminfo: memFree=57882532/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17037960 CPUtime=3447.98 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2528253 0 0 0 338316 6482 0 0 20 0 1 0 19097191 19477344256 4259490 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4259490 1882 992 0 4747069 0
Current children cumulated CPU time: 3447.98 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17037960 KiB
[startup+3522.3 s]
/proc/loadavg: 2.49 2.94 3.31 3/248 198485
/proc/meminfo: memFree=86465964/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040012 CPUtime=3507.77 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2528926 0 0 0 344275 6502 0 0 20 0 1 0 19097191 19477344256 4260003 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260003 1882 992 0 4747069 0
Current children cumulated CPU time: 3507.77 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040012 KiB
[startup+3582.3 s]
/proc/loadavg: 2.24 2.79 3.23 3/247 198879
/proc/meminfo: memFree=86407812/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040124 CPUtime=3567.56 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2529657 0 0 0 350232 6524 0 0 20 0 1 0 19097191 19477344256 4260031 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260031 1882 992 0 4747069 0
Current children cumulated CPU time: 3567.56 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.9 s]
/proc/loadavg: 2.15 2.71 3.19 3/247 198885
/proc/meminfo: memFree=86319872/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040144 CPUtime=3600.04 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2530160 0 0 0 353469 6535 0 0 20 0 1 0 19097191 19477344256 4260036 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260036 1882 992 0 4747069 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3617.29 s]
# the end of solver process 196860 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3536.69 s, system=65.7401 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3616 s]*
/proc/loadavg: 2.15 2.71 3.19 3/247 198885
/proc/meminfo: memFree=86318416/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040148 CPUtime=3601.14 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2530174 0 0 0 353579 6535 0 0 20 0 1 0 19097191 19477344256 4260037 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260037 1882 992 0 4747069 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040148 KiB
[startup+3616.4 s]
/proc/loadavg: 2.15 2.71 3.19 3/247 198885
/proc/meminfo: memFree=86318416/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040148 CPUtime=3601.53 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2530174 0 0 0 353618 6535 0 0 20 0 1 0 19097191 19477344256 4260037 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260037 1882 992 0 4747069 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040148 KiB
[startup+3616.8 s]
/proc/loadavg: 2.15 2.71 3.19 3/247 198885
/proc/meminfo: memFree=86318416/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040148 CPUtime=3601.93 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2530176 0 0 0 353658 6535 0 0 20 0 1 0 19097191 19477344256 4260037 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260037 1882 992 0 4747069 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040148 KiB
[startup+3616.9 s]
/proc/loadavg: 2.15 2.71 3.19 3/247 198885
/proc/meminfo: memFree=86318416/131524600 swapFree=131057052/131071996
[pid=196860] ppid=196857 vsize=19020844 memory=17040148 CPUtime=3602.03 cores=0,2
/proc/196860/stat : 196860 (roundingsat) R 196857 196860 191699 0 -1 4194304 2530176 0 0 0 353668 6535 0 0 20 0 1 0 19097191 19477344256 4260037 134679101440 4194304 8254037 140727700196256 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39886848 140727700202332 140727700202594 140727700202594 140727700209609 0
/proc/196860/statm: 4755211 4260037 1882 992 0 4747069 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 19020844 KiB
Current children cumulated memory: 17040148 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.29
CPU time (s): 3602.43
CPU user time (s): 3536.69
CPU system time (s): 65.7401
CPU usage (%): 99.5892
Max. virtual memory (cumulated for all children) (KiB): 19020844
Max. memory (cumulated for all children) (KiB): 17040148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3536.69
system time used= 65.7401
maximum resident set size= 17040148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2530176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36935168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 24804
# summary of solver processes directly reported to runsolver:
# pid: 196860
# total CPU time (s): 3602.43
# total CPU user time (s): 3536.69
# total CPU system time (s): 65.7401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86426 second user time and 16.4605 second system time
The end
Begin job on nodeC032 at 2024-07-24 14:55:36
IDJOB=4457149
IDBENCH=158125
IDSOLVER=3085
FILE ID=nodeC032/4457149-1721825736
RUNJOBID= nodeC032-1721817188-191709
SLURM_JOB_ID= 7816896
Free space on /tmp= 889888 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.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-4457149-1721825736/watcher-4457149-1721825736 -o /tmp/evaluation-result-4457149-1721825736/solver-4457149-1721825736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191709 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457149-1721825736 --lp-cut-gomory=0 HOME/instance-4457149-1721825736.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=70285440
nodeC032.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 : 3669.465
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.31
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.690
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.79
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 : 3631.053
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.898
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.79
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 : 3672.896
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.31
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.699
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.79
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 : 3604.990
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.905
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 71992960 kB
MemAvailable: 116437380 kB
Buffers: 242748 kB
Cached: 44919580 kB
SwapCached: 20 kB
Active: 2705768 kB
Inactive: 55960236 kB
Active(anon): 2356 kB
Inactive(anon): 13554896 kB
Active(file): 2703412 kB
Inactive(file): 42405340 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057308 kB
Dirty: 162172 kB
Writeback: 0 kB
AnonPages: 13499288 kB
Mapped: 127668 kB
Shmem: 53528 kB
KReclaimable: 350628 kB
Slab: 476644 kB
SReclaimable: 350628 kB
SUnreclaim: 126016 kB
KernelStack: 4256 kB
PageTables: 36252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 15378536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5238784 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: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC032 at 2024-07-24 15:55:53