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-4499413-1751410359/watcher-4499413-1751410359 -o /tmp/evaluation-result-4499413-1751410359/solver-4499413-1751410359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62670 --watchdog 3760 HOME/opbsolver HOME/instance-4499413-1751410359.opb 3600 31000 HOME HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63147, runsolver pid=63143
[startup+0.100069 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128924184/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=59488 memory=49104 CPUtime=0.06 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 10309 0 0 0 5 1 0 0 20 0 1 0 56716136 60915712 12276 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 14872 12276 2336 2826 0 11484 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63680 KiB
Current children cumulated memory: 52048 KiB
[startup+0.205848 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128876304/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=78048 memory=66384 CPUtime=0.17 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 14562 0 0 0 15 2 0 0 20 0 1 0 56716136 79921152 16596 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 19512 16596 2400 2826 0 16124 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82240 KiB
Current children cumulated memory: 69328 KiB
[startup+0.305722 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128860176/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=82460 memory=71076 CPUtime=0.27 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 16266 0 0 0 25 2 0 0 20 0 1 0 56716136 84439040 17769 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 20615 17769 2400 2826 0 17227 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86652 KiB
Current children cumulated memory: 74020 KiB
[startup+0.700209 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128828520/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=120424 memory=107504 CPUtime=0.66 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 26747 0 0 0 62 4 0 0 20 0 1 0 56716136 123314176 26876 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 30106 26876 2656 2826 0 26718 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 124616 KiB
Current children cumulated memory: 110448 KiB
[startup+1.50014 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128772324/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=120784 memory=107760 CPUtime=1.46 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 26816 0 0 0 142 4 0 0 20 0 1 0 56716136 123682816 26940 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 30196 26940 2656 2826 0 26808 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 124976 KiB
Current children cumulated memory: 110704 KiB
[startup+3.10546 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128770892/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=121272 memory=108016 CPUtime=3.06 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 26887 0 0 0 302 4 0 0 20 0 1 0 56716136 124182528 27004 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 30318 27004 2656 2826 0 26930 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 125464 KiB
Current children cumulated memory: 110960 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128764132/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=122052 memory=108656 CPUtime=6.24 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 27013 0 0 0 620 4 0 0 20 0 1 0 56716136 124981248 27164 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 30513 27164 2688 2826 0 27125 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 126244 KiB
Current children cumulated memory: 111600 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 63158
/proc/meminfo: memFree=128736016/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=144852 memory=125376 CPUtime=12.63 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 31485 0 0 0 1258 5 0 0 20 0 1 0 56716136 148328448 31344 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 36213 31344 2688 2826 0 32825 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 149044 KiB
Current children cumulated memory: 128320 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.13 4.09 5/268 63159
/proc/meminfo: memFree=128671532/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=172840 memory=148672 CPUtime=25.39 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 37307 0 0 0 2534 5 0 0 20 0 1 0 56716136 176988160 37168 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 43210 37168 2688 2826 0 39822 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 151616 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.14 4.09 5/268 63159
/proc/meminfo: memFree=128574016/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=231008 memory=191424 CPUtime=50.92 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 48002 0 0 0 5085 7 0 0 20 0 1 0 56716136 236552192 47856 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 57752 47856 2688 2826 0 54364 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 235200 KiB
Current children cumulated memory: 194368 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/268 63161
/proc/meminfo: memFree=128540732/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=251476 memory=192960 CPUtime=101.99 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 48364 0 0 0 10191 8 0 0 20 0 1 0 56716136 257511424 48240 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 62869 48240 2688 2826 0 59481 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 255668 KiB
Current children cumulated memory: 195904 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 63165
/proc/meminfo: memFree=128486024/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=276592 memory=217748 CPUtime=161.82 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 55917 0 0 0 16173 9 0 0 20 0 1 0 56716136 283230208 54437 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 69148 54437 2688 2826 0 65760 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 280784 KiB
Current children cumulated memory: 220692 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 63167
/proc/meminfo: memFree=128466080/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=278944 memory=219156 CPUtime=221.66 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 56246 0 0 0 22156 10 0 0 20 0 1 0 56716136 285638656 54789 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 69736 54789 2688 2826 0 66348 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 283136 KiB
Current children cumulated memory: 222100 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 63170
/proc/meminfo: memFree=128454244/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=285996 memory=221356 CPUtime=281.46 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 56287 0 0 0 28136 10 0 0 20 0 1 0 56716136 292859904 55339 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 71499 55339 2688 2826 0 68111 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 290188 KiB
Current children cumulated memory: 224300 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 63176
/proc/meminfo: memFree=128416848/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=306212 memory=229292 CPUtime=341.29 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 57688 0 0 0 34118 11 0 0 20 0 1 0 56716136 313561088 57323 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 76553 57323 2688 2826 0 73165 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 310404 KiB
Current children cumulated memory: 232236 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 63178
/proc/meminfo: memFree=128369852/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=332212 memory=256556 CPUtime=401.12 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 60453 0 0 0 40101 11 0 0 20 0 1 0 56716136 340185088 64139 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 83053 64139 2688 2826 0 79665 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 336404 KiB
Current children cumulated memory: 259500 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 63230
/proc/meminfo: memFree=128429188/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=376148 memory=316972 CPUtime=460.96 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 66827 0 0 0 46084 12 0 0 20 0 1 0 56716136 385175552 79243 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 94037 79243 2688 2826 0 90649 0
Current children cumulated CPU time: 460.96 s
Current children cumulated vsize: 380340 KiB
Current children cumulated memory: 319916 KiB
[startup+502.092 s]
# the end of solver process 63147 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=500.464 s, system=0.176614 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 5/267 63230
/proc/meminfo: memFree=128395448/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=378192 memory=341676 CPUtime=485 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 67647 0 0 0 48487 13 0 0 20 0 1 0 56716136 387268608 85419 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 94548 85419 2688 2826 0 91160 0
Current children cumulated CPU time: 485 s
Current children cumulated vsize: 382384 KiB
Current children cumulated memory: 344620 KiB
[startup+492.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 63230
/proc/meminfo: memFree=128392480/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=379588 memory=342060 CPUtime=491.38 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 67757 0 0 0 49125 13 0 0 20 0 1 0 56716136 388698112 85515 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 94897 85515 2688 2826 0 91509 0
Current children cumulated CPU time: 491.38 s
Current children cumulated vsize: 383780 KiB
Current children cumulated memory: 345004 KiB
[startup+496 s]*
/proc/loadavg: 4.07 4.10 4.09 5/268 63234
/proc/meminfo: memFree=128386204/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=379588 memory=351276 CPUtime=494.58 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 67757 0 0 0 49445 13 0 0 20 0 1 0 56716136 388698112 87819 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 94897 87819 2688 2826 0 91509 0
Current children cumulated CPU time: 494.58 s
Current children cumulated vsize: 383780 KiB
Current children cumulated memory: 354220 KiB
[startup+499.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 63239
/proc/meminfo: memFree=128527700/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 258 231 0 0 0 0 0 0 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63157] ppid=63147 vsize=380268 memory=351916 CPUtime=497.77 cores=1,3
/proc/63157/stat : 63157 (pbcpreprocessor) R 63147 63147 62658 0 -1 4194304 67935 0 0 0 49764 13 0 0 20 0 1 0 56716136 389394432 87979 18446744073709551615 4198400 15773533 140723284463552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 35184640 140723284465988 140723284466142 140723284466142 140723284471749 0
/proc/63157/statm: 95067 87979 2688 2826 0 91679 0
Current children cumulated CPU time: 497.77 s
Current children cumulated vsize: 384460 KiB
Current children cumulated memory: 354860 KiB
[startup+500.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 63239
/proc/meminfo: memFree=128527756/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=498.89 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 404 70733 0 0 0 0 49873 16 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 498.89 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+501.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 63249
/proc/meminfo: memFree=129106296/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=498.89 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 404 70733 0 0 0 0 49873 16 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63247] ppid=63147 vsize=14288 memory=10812 CPUtime=1.25 cores=1,3
/proc/63247/stat : 63247 (wmaxcdcl) R 63147 63147 62658 0 -1 4194304 2755 0 0 0 125 0 0 0 20 0 1 0 56766167 14630912 2703 18446744073709551615 4198400 5932793 140729173955296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 40050688 140729173961051 140729173961196 140729173961196 140729173966796 0
/proc/63247/statm: 3572 2703 448 424 0 3027 0
Current children cumulated CPU time: 500.14 s
Current children cumulated vsize: 18480 KiB
Current children cumulated memory: 13756 KiB
[startup+502 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 63249
/proc/meminfo: memFree=129106296/131250000 swapFree=33010684/33010684
[pid=63147] ppid=63143 vsize=4192 memory=2944 CPUtime=498.89 cores=1,3
/proc/63147/stat : 63147 (opbsolver) S 63143 63147 62658 0 -1 4194304 404 70733 0 0 0 0 49873 16 20 0 1 0 56716133 4292608 736 18446744073709551615 94568383795200 94568384689733 140732570489712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94568384928784 94568384976528 94568418279424 140732570491166 140732570491369 140732570491369 140732570496971 0
/proc/63147/statm: 1048 736 672 219 0 110 0
[pid=63247] ppid=63147 vsize=15520 memory=11708 CPUtime=1.65 cores=1,3
/proc/63247/stat : 63247 (wmaxcdcl) R 63147 63147 62658 0 -1 4194304 2979 0 0 0 165 0 0 0 20 0 1 0 56766167 15892480 2927 18446744073709551615 4198400 5932793 140729173955296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 40050688 140729173961051 140729173961196 140729173961196 140729173966796 0
/proc/63247/statm: 3880 2927 448 424 0 3335 0
Current children cumulated CPU time: 500.54 s
Current children cumulated vsize: 19712 KiB
Current children cumulated memory: 14652 KiB
Child status: 0
Real time (s): 502.092
CPU time (s): 500.641
CPU user time (s): 500.464
CPU system time (s): 0.176614
CPU usage (%): 99.711
Max. virtual memory (cumulated for all children) (KiB): 385076
Max. memory (cumulated for all children) (KiB): 355500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.464
system time used= 0.176614
maximum resident set size= 352556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 524
involuntary context switches= 895
# summary of solver processes directly reported to runsolver:
# pid: 63147
# total CPU time (s): 500.641
# total CPU user time (s): 500.464
# total CPU system time (s): 0.176614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.914698 second user time and 2.22839 second system time
The end
Begin job on nodeC013 at 2025-07-02 00:52:39
IDJOB=4499413
IDBENCH=148777
IDSOLVER=3374
FILE ID=nodeC013/4499413-1751410359
RUNJOBID= nodeC013-1751406746-62670
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-3000opt.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499413-1751410359/watcher-4499413-1751410359 -o /tmp/evaluation-result-4499413-1751410359/solver-4499413-1751410359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751406746-62670 --watchdog 3760 HOME/opbsolver HOME/instance-4499413-1751410359.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6eae32b6901f02a4256282b54a63d708
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.741
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 : 3598.990
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 : 3601.503
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 : 3599.817
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.823
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 : 3598.265
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.805
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: 128963380 kB
MemAvailable: 129375300 kB
Buffers: 3280 kB
Cached: 1211648 kB
SwapCached: 0 kB
Active: 699032 kB
Inactive: 966840 kB
Active(anon): 464228 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: 454060 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: 787908 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:01