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: 63708 MiB (61521 MiB free)
memory of node 1: 64465 MiB (62667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517553-1751528966/watcher-4517553-1751528966 -o /tmp/evaluation-result-4517553-1751528966/solver-4517553-1751528966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751525281-76241 --watchdog 3760 HOME/opbsolver HOME/instance-4517553-1751528966.opb 3600 31000 HOME HOME
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77146, runsolver pid=77143
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.18 4.10 4.07 5/269 77150
/proc/meminfo: memFree=127123696/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=58472 memory=48040 CPUtime=0.08 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 10020 0 0 0 7 1 0 0 20 0 1 0 68519127 59875328 12010 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 14618 12010 2336 2826 0 11230 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 50984 KiB
[startup+0.205658 s]*
/proc/loadavg: 4.18 4.10 4.07 5/269 77150
/proc/meminfo: memFree=127083628/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=98188 memory=86056 CPUtime=0.19 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 19438 0 0 0 16 3 0 0 20 0 1 0 68519127 100544512 21514 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 24547 21514 2400 2826 0 21159 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102380 KiB
Current children cumulated memory: 89000 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.18 4.10 4.07 5/269 77150
/proc/meminfo: memFree=127059436/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=110844 memory=98428 CPUtime=0.28 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 24319 0 0 0 25 3 0 0 20 0 1 0 68519127 113504256 24607 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 27711 24607 2432 2826 0 24323 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 115036 KiB
Current children cumulated memory: 101372 KiB
[startup+0.70023 s]
/proc/loadavg: 4.18 4.10 4.07 5/269 77150
/proc/meminfo: memFree=127010228/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=254176 memory=222872 CPUtime=0.67 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 42154 0 0 0 60 7 0 0 20 0 1 0 68519127 260276224 55718 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 63544 55718 2496 2826 0 60156 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 258368 KiB
Current children cumulated memory: 225816 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.10 4.07 5/269 77150
/proc/meminfo: memFree=126913580/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=289736 memory=264296 CPUtime=1.46 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 54523 0 0 0 137 9 0 0 20 0 1 0 68519127 296689664 66074 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 72434 66074 2656 2826 0 69046 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 293928 KiB
Current children cumulated memory: 267240 KiB
[startup+3.10567 s]
/proc/loadavg: 4.16 4.10 4.07 5/269 77150
/proc/meminfo: memFree=126905968/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=306844 memory=276168 CPUtime=3.07 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 56998 0 0 0 297 10 0 0 20 0 1 0 68519127 314208256 69042 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 76711 69042 2656 2826 0 73323 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 311036 KiB
Current children cumulated memory: 279112 KiB
[startup+6.30019 s]
/proc/loadavg: 4.15 4.10 4.07 5/269 77150
/proc/meminfo: memFree=126879004/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=349636 memory=296392 CPUtime=6.25 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 62045 0 0 0 614 11 0 0 20 0 1 0 68519127 358027264 74098 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 87409 74098 2656 2826 0 84021 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 353828 KiB
Current children cumulated memory: 299336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.07 5/269 77150
/proc/meminfo: memFree=126796416/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=441380 memory=364488 CPUtime=12.63 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 79076 0 0 0 1248 15 0 0 20 0 1 0 68519127 451973120 91122 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 110345 91122 2656 2826 0 106957 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 445572 KiB
Current children cumulated memory: 367432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.07 5/269 77150
/proc/meminfo: memFree=126773484/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=449560 memory=365640 CPUtime=25.39 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 79414 0 0 0 2524 15 0 0 20 0 1 0 68519127 460349440 91410 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 112390 91410 2656 2826 0 109002 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 453752 KiB
Current children cumulated memory: 368584 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.07 5/270 77152
/proc/meminfo: memFree=126678596/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=496652 memory=401076 CPUtime=50.91 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 93601 0 0 0 5074 17 0 0 20 0 1 0 68519127 508571648 100269 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 124163 100269 2656 2826 0 120775 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 500844 KiB
Current children cumulated memory: 404020 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 77205
/proc/meminfo: memFree=126503060/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=519248 memory=425532 CPUtime=101.91 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 103300 0 0 0 10172 19 0 0 20 0 1 0 68519127 531709952 106383 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 129812 106383 2656 2826 0 126424 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 523440 KiB
Current children cumulated memory: 428476 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/269 77212
/proc/meminfo: memFree=126895336/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 259 236 0 0 0 0 0 0 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77150] ppid=77146 vsize=516788 memory=423092 CPUtime=161.7 cores=0,2
/proc/77150/stat : 77150 (pbcpreprocessor) R 77146 77146 76231 0 -1 4194304 117114 0 0 0 16148 22 0 0 20 0 1 0 68519127 529190912 105773 18446744073709551615 4198400 15773533 140730282214192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 43851776 140730282215748 140730282215902 140730282215902 140730282221509 0
/proc/77150/statm: 129197 105773 2656 2826 0 125809 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 520980 KiB
Current children cumulated memory: 426036 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/269 77218
/proc/meminfo: memFree=127174584/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=36500 memory=33512 CPUtime=23.79 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 6580 0 0 0 2378 1 0 0 20 0 1 0 68538968 37376000 8378 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 9125 8378 448 424 0 8580 0
################
# More data... #
################
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 29074 0 0 0 92093 36 0 0 20 0 1 0 68538968 215072768 51153 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 52508 51153 448 424 0 51963 0
Current children cumulated CPU time: 1118.96 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 207556 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/269 77339
/proc/meminfo: memFree=126893016/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=240852 memory=211024 CPUtime=981.13 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 30688 0 0 0 98074 39 0 0 20 0 1 0 68538968 246632448 52756 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 60213 52756 448 424 0 59668 0
Current children cumulated CPU time: 1178.8 s
Current children cumulated vsize: 245044 KiB
Current children cumulated memory: 213968 KiB
[startup+1242.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/268 77341
/proc/meminfo: memFree=126761572/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=210032 memory=200516 CPUtime=1040.95 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 31142 0 0 0 104055 40 0 0 20 0 1 0 68538968 215072768 50129 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 52508 50129 448 424 0 51963 0
Current children cumulated CPU time: 1238.62 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 203460 KiB
[startup+1302.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 77348
/proc/meminfo: memFree=127238968/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=240852 memory=227408 CPUtime=1100.77 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 31733 0 0 0 110036 41 0 0 20 0 1 0 68538968 246632448 56852 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 60213 56852 448 424 0 59668 0
Current children cumulated CPU time: 1298.44 s
Current children cumulated vsize: 245044 KiB
Current children cumulated memory: 230352 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/268 77350
/proc/meminfo: memFree=127240340/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=210032 memory=206660 CPUtime=1160.6 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 32189 0 0 0 116017 43 0 0 20 0 1 0 68538968 215072768 51665 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 52508 51665 448 424 0 51963 0
Current children cumulated CPU time: 1358.27 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 209604 KiB
[startup+1422.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127213900/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=210032 memory=194372 CPUtime=1220.43 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33287 0 0 0 121997 46 0 0 20 0 1 0 68538968 215072768 48593 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 52508 48593 448 424 0 51963 0
Current children cumulated CPU time: 1418.1 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 197316 KiB
[startup+1436.89 s]
# the end of solver process 77146 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1431.88 s, system=0.788748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1427.2 s]
/proc/loadavg: 4.44 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127213900/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=210032 memory=198468 CPUtime=1225.31 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33290 0 0 0 122485 46 0 0 20 0 1 0 68538968 215072768 49617 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 52508 49617 448 424 0 51963 0
Current children cumulated CPU time: 1422.98 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 201412 KiB
[startup+1433.6 s]
/proc/loadavg: 4.41 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127254860/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=177768 memory=168268 CPUtime=1231.69 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33351 0 0 0 123123 46 0 0 20 0 1 0 68538968 182034432 42067 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 44442 42067 448 424 0 43897 0
Current children cumulated CPU time: 1429.36 s
Current children cumulated vsize: 181960 KiB
Current children cumulated memory: 171212 KiB
[startup+1435.2 s]
/proc/loadavg: 4.41 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127250772/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=177768 memory=168268 CPUtime=1233.29 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33351 0 0 0 123283 46 0 0 20 0 1 0 68538968 182034432 42067 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 44442 42067 448 424 0 43897 0
Current children cumulated CPU time: 1430.96 s
Current children cumulated vsize: 181960 KiB
Current children cumulated memory: 171212 KiB
[startup+1436 s]*
/proc/loadavg: 4.41 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127250772/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=177768 memory=168268 CPUtime=1234.09 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33351 0 0 0 123363 46 0 0 20 0 1 0 68538968 182034432 42067 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 44442 42067 448 424 0 43897 0
Current children cumulated CPU time: 1431.76 s
Current children cumulated vsize: 181960 KiB
Current children cumulated memory: 171212 KiB
[startup+1436.4 s]
/proc/loadavg: 4.41 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127250772/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=177768 memory=168268 CPUtime=1234.48 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33351 0 0 0 123402 46 0 0 20 0 1 0 68538968 182034432 42067 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 44442 42067 448 424 0 43897 0
Current children cumulated CPU time: 1432.15 s
Current children cumulated vsize: 181960 KiB
Current children cumulated memory: 171212 KiB
[startup+1436.8 s]
/proc/loadavg: 4.41 4.21 4.12 5/268 77352
/proc/meminfo: memFree=127250772/131250000 swapFree=33010684/33010684
[pid=77146] ppid=77143 vsize=4192 memory=2944 CPUtime=197.67 cores=0,2
/proc/77146/stat : 77146 (opbsolver) S 77143 77146 76231 0 -1 4194304 406 129454 0 0 0 0 19737 30 20 0 1 0 68519126 4292608 736 18446744073709551615 94549607751680 94549608646213 140734585328480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549608885264 94549608933008 94549631729664 140734585329950 140734585330153 140734585330153 140734585335755 0
/proc/77146/statm: 1048 736 672 219 0 110 0
[pid=77218] ppid=77146 vsize=177768 memory=168268 CPUtime=1234.88 cores=0,2
/proc/77218/stat : 77218 (wmaxcdcl) R 77146 77146 76231 0 -1 4194304 33351 0 0 0 123442 46 0 0 20 0 1 0 68538968 182034432 42067 18446744073709551615 4198400 5932793 140733328422272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34578432 140733328427355 140733328427500 140733328427500 140733328433100 0
/proc/77218/statm: 44442 42067 448 424 0 43897 0
Current children cumulated CPU time: 1432.55 s
Current children cumulated vsize: 181960 KiB
Current children cumulated memory: 171212 KiB
Child status: 0
Real time (s): 1436.89
CPU time (s): 1432.67
CPU user time (s): 1431.88
CPU system time (s): 0.788748
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 588548
Max. memory (cumulated for all children) (KiB): 490268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1431.88
system time used= 0.788748
maximum resident set size= 487324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 475
involuntary context switches= 2070
# summary of solver processes directly reported to runsolver:
# pid: 77146
# total CPU time (s): 1432.67
# total CPU user time (s): 1431.88
# total CPU system time (s): 0.788748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.86139 second user time and 6.50695 second system time
The end
Begin job on nodeC028 at 2025-07-03 09:49:26
IDJOB=4517553
IDBENCH=176113
IDSOLVER=3374
FILE ID=nodeC028/4517553-1751528966
RUNJOBID= nodeC028-1751525281-76241
SLURM_JOB_ID= 9598655
Free space on /tmp= 431432 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517553-1751528966/watcher-4517553-1751528966 -o /tmp/evaluation-result-4517553-1751528966/solver-4517553-1751528966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751525281-76241 --watchdog 3760 HOME/opbsolver HOME/instance-4517553-1751528966.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c
RANDOM SEED=127423567
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.041
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.080
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3633.313
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.218
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.030
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.046
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3591.113
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3715.583
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127169308 kB
MemAvailable: 129059208 kB
Buffers: 3280 kB
Cached: 2691984 kB
SwapCached: 0 kB
Active: 1069948 kB
Inactive: 2382736 kB
Active(anon): 775488 kB
Inactive(anon): 0 kB
Active(file): 294460 kB
Inactive(file): 2382736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22064 kB
Writeback: 4 kB
AnonPages: 760544 kB
Mapped: 127504 kB
Shmem: 18068 kB
KReclaimable: 103884 kB
Slab: 192564 kB
SReclaimable: 103884 kB
SUnreclaim: 88680 kB
KernelStack: 4320 kB
PageTables: 4588 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1231932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 92160 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431412 MiB
End job on nodeC028 at 2025-07-03 10:13:23