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: 63665 MiB (62256 MiB free)
memory of node 1: 64507 MiB (63684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499459-1751410359/watcher-4499459-1751410359 -o /tmp/evaluation-result-4499459-1751410359/solver-4499459-1751410359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62671 --watchdog 3760 HOME/opbsolver HOME/instance-4499459-1751410359.opb 3600 31000 HOME HOME
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63151, runsolver pid=63144
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128916120/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=59680 memory=49644 CPUtime=0.07 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 10442 0 0 0 6 1 0 0 20 0 1 0 56716137 61112320 12411 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 14920 12411 2336 2826 0 11532 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63872 KiB
Current children cumulated memory: 52716 KiB
[startup+0.205099 s]*
/proc/loadavg: 4.12 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128876304/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=77824 memory=65516 CPUtime=0.17 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 14375 0 0 0 16 1 0 0 20 0 1 0 56716137 79691776 16379 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 19456 16379 2400 2826 0 16068 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 68588 KiB
[startup+0.30503 s]*
/proc/loadavg: 4.12 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128860176/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=81048 memory=69568 CPUtime=0.27 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 16142 0 0 0 25 2 0 0 20 0 1 0 56716137 82993152 17392 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 20262 17392 2400 2826 0 16874 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 85240 KiB
Current children cumulated memory: 72640 KiB
[startup+0.700167 s]
/proc/loadavg: 4.12 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128828520/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=147416 memory=133336 CPUtime=0.65 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 33274 0 0 0 62 3 0 0 20 0 1 0 56716137 150953984 33334 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 36854 33334 2656 2826 0 33466 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 136408 KiB
[startup+1.50013 s]
/proc/loadavg: 4.12 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128772324/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=147416 memory=133464 CPUtime=1.45 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 33294 0 0 0 142 3 0 0 20 0 1 0 56716137 150953984 33366 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 36854 33366 2656 2826 0 33466 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 136536 KiB
[startup+3.10453 s]
/proc/loadavg: 4.11 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128770892/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=147416 memory=133464 CPUtime=3.05 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 33294 0 0 0 302 3 0 0 20 0 1 0 56716137 150953984 33366 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 36854 33366 2656 2826 0 33466 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 136536 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128764132/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=147416 memory=133592 CPUtime=6.24 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 33296 0 0 0 621 3 0 0 20 0 1 0 56716137 150953984 33398 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 36854 33398 2688 2826 0 33466 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 136664 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.09 6/268 63158
/proc/meminfo: memFree=128736016/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=146292 memory=132812 CPUtime=12.62 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 33449 0 0 0 1259 3 0 0 20 0 1 0 56716137 149803008 33203 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 36573 33203 2688 2826 0 33185 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 150484 KiB
Current children cumulated memory: 135884 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.13 4.09 6/268 63159
/proc/meminfo: memFree=128671532/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=172476 memory=153292 CPUtime=25.39 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 38569 0 0 0 2535 4 0 0 20 0 1 0 56716137 176615424 38323 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 43119 38323 2688 2826 0 39731 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 176668 KiB
Current children cumulated memory: 156364 KiB
[startup+51.1047 s]
/proc/loadavg: 4.17 4.14 4.09 6/268 63159
/proc/meminfo: memFree=128574016/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=241432 memory=193868 CPUtime=50.93 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 48723 0 0 0 5087 6 0 0 20 0 1 0 56716137 247226368 48467 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 60358 48467 2688 2826 0 56970 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 245624 KiB
Current children cumulated memory: 196940 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/268 63161
/proc/meminfo: memFree=128540732/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=243756 memory=194380 CPUtime=101.99 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 48853 0 0 0 10193 6 0 0 20 0 1 0 56716137 249606144 48595 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 60939 48595 2688 2826 0 57551 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 247948 KiB
Current children cumulated memory: 197452 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/269 63165
/proc/meminfo: memFree=128486024/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=267788 memory=218052 CPUtime=161.83 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 56031 0 0 0 16176 7 0 0 20 0 1 0 56716137 274214912 54513 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 66947 54513 2688 2826 0 63559 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 271980 KiB
Current children cumulated memory: 221124 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/268 63167
/proc/meminfo: memFree=128466080/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=270076 memory=218692 CPUtime=221.68 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 56199 0 0 0 22160 8 0 0 20 0 1 0 56716137 276557824 54673 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 67519 54673 2688 2826 0 64131 0
################
# More data... #
################
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 56598 0 0 0 28144 8 0 0 20 0 1 0 56716137 291667968 55057 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 71208 55057 2688 2826 0 67820 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 289024 KiB
Current children cumulated memory: 223300 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/268 63176
/proc/meminfo: memFree=128416848/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=298224 memory=223812 CPUtime=341.37 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 57489 0 0 0 34128 9 0 0 20 0 1 0 56716137 305381376 55953 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 74556 55953 2688 2826 0 71168 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 302416 KiB
Current children cumulated memory: 226884 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/268 63178
/proc/meminfo: memFree=128369852/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=346012 memory=239988 CPUtime=401.21 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 61014 0 0 0 40111 10 0 0 20 0 1 0 56716137 354316288 59997 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 86503 59997 2688 2826 0 83115 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 350204 KiB
Current children cumulated memory: 243060 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/267 63230
/proc/meminfo: memFree=128429188/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=365452 memory=246772 CPUtime=461.05 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 62767 0 0 0 46095 10 0 0 20 0 1 0 56716137 374222848 61693 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 91363 61693 2688 2826 0 87975 0
Current children cumulated CPU time: 461.05 s
Current children cumulated vsize: 369644 KiB
Current children cumulated memory: 249844 KiB
[startup+504.757 s]
# the end of solver process 63151 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=503.229 s, system=0.165955 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.09 4.10 4.09 6/267 63230
/proc/meminfo: memFree=128395448/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=365452 memory=246772 CPUtime=485.09 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 62767 0 0 0 48498 11 0 0 20 0 1 0 56716137 374222848 61693 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 91363 61693 2688 2826 0 87975 0
Current children cumulated CPU time: 485.09 s
Current children cumulated vsize: 369644 KiB
Current children cumulated memory: 249844 KiB
[startup+492.8 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 63230
/proc/meminfo: memFree=128392480/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=365452 memory=246772 CPUtime=491.48 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 62768 0 0 0 49137 11 0 0 20 0 1 0 56716137 374222848 61693 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 91363 61693 2688 2826 0 87975 0
Current children cumulated CPU time: 491.48 s
Current children cumulated vsize: 369644 KiB
Current children cumulated memory: 249844 KiB
[startup+499.2 s]
/proc/loadavg: 4.15 4.12 4.09 6/268 63239
/proc/meminfo: memFree=128527700/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 260 239 0 0 0 0 0 0 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63158] ppid=63151 vsize=366364 memory=247796 CPUtime=497.86 cores=5,7
/proc/63158/stat : 63158 (pbcpreprocessor) R 63151 63151 62658 0 -1 4194304 63033 0 0 0 49775 11 0 0 20 0 1 0 56716137 375156736 61949 18446744073709551615 4198400 15773533 140728912392352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 54542336 140728912398660 140728912398814 140728912398814 140728912404421 0
/proc/63158/statm: 91591 61949 2688 2826 0 88203 0
Current children cumulated CPU time: 497.86 s
Current children cumulated vsize: 370556 KiB
Current children cumulated memory: 250868 KiB
[startup+502.4 s]
/proc/loadavg: 4.15 4.12 4.09 6/268 63249
/proc/meminfo: memFree=129106296/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=499.05 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 408 65647 0 0 0 0 49890 15 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63151 vsize=14160 memory=10872 CPUtime=1.97 cores=5,7
/proc/63249/stat : 63249 (wmaxcdcl) R 63151 63151 62658 0 -1 4194304 3147 0 0 0 197 0 0 0 20 0 1 0 56766175 14499840 2718 18446744073709551615 4198400 5932793 140733514424000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 22339584 140733514430811 140733514430956 140733514430956 140733514436556 0
/proc/63249/statm: 3540 2718 448 424 0 2995 0
Current children cumulated CPU time: 501.02 s
Current children cumulated vsize: 18352 KiB
Current children cumulated memory: 13944 KiB
[startup+504 s]*
/proc/loadavg: 4.14 4.11 4.09 5/268 63314
/proc/meminfo: memFree=129007836/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=499.05 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 408 65647 0 0 0 0 49890 15 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63151 vsize=15072 memory=11512 CPUtime=3.58 cores=5,7
/proc/63249/stat : 63249 (wmaxcdcl) R 63151 63151 62658 0 -1 4194304 3307 0 0 0 358 0 0 0 20 0 1 0 56766175 15433728 2878 18446744073709551615 4198400 5932793 140733514424000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 22339584 140733514430811 140733514430956 140733514430956 140733514436556 0
/proc/63249/statm: 3768 2878 448 424 0 3223 0
Current children cumulated CPU time: 502.63 s
Current children cumulated vsize: 19264 KiB
Current children cumulated memory: 14584 KiB
[startup+504.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 63314
/proc/meminfo: memFree=129007836/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=499.05 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 408 65647 0 0 0 0 49890 15 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63151 vsize=15072 memory=11512 CPUtime=3.97 cores=5,7
/proc/63249/stat : 63249 (wmaxcdcl) R 63151 63151 62658 0 -1 4194304 3307 0 0 0 397 0 0 0 20 0 1 0 56766175 15433728 2878 18446744073709551615 4198400 5932793 140733514424000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 22339584 140733514430811 140733514430956 140733514430956 140733514436556 0
/proc/63249/statm: 3768 2878 448 424 0 3223 0
Current children cumulated CPU time: 503.02 s
Current children cumulated vsize: 19264 KiB
Current children cumulated memory: 14584 KiB
[startup+504.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 63314
/proc/meminfo: memFree=129007836/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=499.05 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 408 65647 0 0 0 0 49890 15 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63151 vsize=15072 memory=11640 CPUtime=4.17 cores=5,7
/proc/63249/stat : 63249 (wmaxcdcl) R 63151 63151 62658 0 -1 4194304 3353 0 0 0 417 0 0 0 20 0 1 0 56766175 15433728 2910 18446744073709551615 4198400 5932793 140733514424000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 22339584 140733514430811 140733514430956 140733514430956 140733514436556 0
/proc/63249/statm: 3768 2910 448 424 0 3223 0
Current children cumulated CPU time: 503.22 s
Current children cumulated vsize: 19264 KiB
Current children cumulated memory: 14712 KiB
[startup+504.7 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 63314
/proc/meminfo: memFree=129007836/131250000 swapFree=33010684/33010684
[pid=63151] ppid=63144 vsize=4192 memory=3072 CPUtime=499.05 cores=5,7
/proc/63151/stat : 63151 (opbsolver) S 63144 63151 62658 0 -1 4194304 408 65647 0 0 0 0 49890 15 20 0 1 0 56716134 4292608 768 18446744073709551615 94805411356672 94805412251205 140732392049296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94805412490256 94805412538000 94805416574976 140732392057118 140732392057321 140732392057321 140732392062923 0
/proc/63151/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63151 vsize=15072 memory=11768 CPUtime=4.27 cores=5,7
/proc/63249/stat : 63249 (wmaxcdcl) R 63151 63151 62658 0 -1 4194304 3363 0 0 0 427 0 0 0 20 0 1 0 56766175 15433728 2942 18446744073709551615 4198400 5932793 140733514424000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 22339584 140733514430811 140733514430956 140733514430956 140733514436556 0
/proc/63249/statm: 3768 2942 448 424 0 3223 0
Current children cumulated CPU time: 503.32 s
Current children cumulated vsize: 19264 KiB
Current children cumulated memory: 14840 KiB
Child status: 0
Real time (s): 504.757
CPU time (s): 503.395
CPU user time (s): 503.229
CPU system time (s): 0.165955
CPU usage (%): 99.73
Max. virtual memory (cumulated for all children) (KiB): 370556
Max. memory (cumulated for all children) (KiB): 250868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.229
system time used= 0.165955
maximum resident set size= 247796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 498
involuntary context switches= 369
# summary of solver processes directly reported to runsolver:
# pid: 63151
# total CPU time (s): 503.395
# total CPU user time (s): 503.229
# total CPU system time (s): 0.165955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.898458 second user time and 1.78426 second system time
The end
Begin job on nodeC013 at 2025-07-02 00:52:39
IDJOB=4499459
IDBENCH=148778
IDSOLVER=3374
FILE ID=nodeC013/4499459-1751410359
RUNJOBID= nodeC013-1751406746-62671
SLURM_JOB_ID= 9598299
Free space on /tmp= 432876 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499459-1751410359/watcher-4499459-1751410359 -o /tmp/evaluation-result-4499459-1751410359/solver-4499459-1751410359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62671 --watchdog 3760 HOME/opbsolver HOME/instance-4499459-1751410359.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8cf94521361b1bca646f87c99512416e
RANDOM SEED=66852987
nodeC013 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 : 3599.902
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 : 6999.67
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 : 3599.890
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 : 6999.67
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 : 3609.124
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 : 6999.67
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 : 3435.282
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 : 6999.67
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 : 3599.837
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 : 6999.67
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 : 3608.130
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 : 6999.67
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 : 3597.523
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 : 6999.67
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.840
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128963716 kB
MemAvailable: 129375636 kB
Buffers: 3280 kB
Cached: 1211648 kB
SwapCached: 0 kB
Active: 699356 kB
Inactive: 966840 kB
Active(anon): 464552 kB
Inactive(anon): 0 kB
Active(file): 234804 kB
Inactive(file): 966840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63800 kB
Writeback: 52 kB
AnonPages: 454384 kB
Mapped: 112116 kB
Shmem: 13284 kB
KReclaimable: 98628 kB
Slab: 186828 kB
SReclaimable: 98628 kB
SUnreclaim: 88200 kB
KernelStack: 4208 kB
PageTables: 3936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 789176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 163840 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC013 at 2025-07-02 01:01:04