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: 63837 MiB (62966 MiB free)
memory of node 1: 64465 MiB (63588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497761-1751380508/watcher-4497761-1751380508 -o /tmp/evaluation-result-4497761-1751380508/solver-4497761-1751380508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751371805-46592 --watchdog 3760 HOME/opbsolver HOME/instance-4497761-1751380508.opb 3600 31000 HOME HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=48280, runsolver pid=48277
[startup+0.100102 s]*
/proc/loadavg: 4.09 4.13 4.12 5/255 48284
/proc/meminfo: memFree=129584280/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=36312 memory=25344 CPUtime=0.07 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 4553 0 0 0 6 1 0 0 20 0 1 0 53729628 37183488 6336 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 9078 6336 2016 2826 0 5690 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 28416 KiB
[startup+0.213453 s]*
/proc/loadavg: 4.09 4.13 4.12 5/255 48284
/proc/meminfo: memFree=129552024/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=64396 memory=52608 CPUtime=0.18 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 11014 0 0 0 15 3 0 0 20 0 1 0 53729628 65941504 13152 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 16099 13152 2400 2826 0 12711 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68588 KiB
Current children cumulated memory: 55680 KiB
[startup+0.313384 s]*
/proc/loadavg: 4.09 4.13 4.12 5/255 48284
/proc/meminfo: memFree=129543960/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=70912 memory=59648 CPUtime=0.28 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 12756 0 0 0 24 4 0 0 20 0 1 0 53729628 72613888 14912 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 17728 14912 2400 2826 0 14340 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75104 KiB
Current children cumulated memory: 62720 KiB
[startup+0.700415 s]
/proc/loadavg: 4.09 4.13 4.12 5/255 48284
/proc/meminfo: memFree=129540180/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=104492 memory=84704 CPUtime=0.66 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 19460 0 0 0 60 6 0 0 20 0 1 0 53729628 106999808 21176 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 26123 21176 2560 2826 0 22735 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 108684 KiB
Current children cumulated memory: 87776 KiB
[startup+1.50044 s]
/proc/loadavg: 4.09 4.13 4.12 5/255 48284
/proc/meminfo: memFree=129512432/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=157520 memory=136212 CPUtime=1.45 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 33618 0 0 0 136 9 0 0 20 0 1 0 53729628 161300480 34053 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 39380 34053 2688 2826 0 35992 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 139284 KiB
[startup+3.11303 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 48284
/proc/meminfo: memFree=129462380/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=168780 memory=148500 CPUtime=3.05 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 36738 0 0 0 296 9 0 0 20 0 1 0 53729628 172830720 37125 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 42195 37125 2688 2826 0 38807 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 172972 KiB
Current children cumulated memory: 151572 KiB
[startup+6.30044 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 48284
/proc/meminfo: memFree=129420076/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=214912 memory=180500 CPUtime=6.24 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 44708 0 0 0 612 12 0 0 20 0 1 0 53729628 220069888 45125 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 53728 45125 2688 2826 0 50340 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 219104 KiB
Current children cumulated memory: 183572 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.14 4.13 5/255 48284
/proc/meminfo: memFree=129415996/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=222692 memory=185748 CPUtime=12.62 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 46049 0 0 0 1250 12 0 0 20 0 1 0 53729628 228036608 46437 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 55673 46437 2688 2826 0 52285 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 226884 KiB
Current children cumulated memory: 188820 KiB
[startup+25.5005 s]
/proc/loadavg: 4.12 4.13 4.12 5/255 48285
/proc/meminfo: memFree=129357088/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=260208 memory=223508 CPUtime=25.38 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 55494 0 0 0 2524 14 0 0 20 0 1 0 53729628 266452992 55877 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 65052 55877 2688 2826 0 61664 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 264400 KiB
Current children cumulated memory: 226580 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 48285
/proc/meminfo: memFree=129348496/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=260208 memory=223636 CPUtime=50.93 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 55538 0 0 0 5079 14 0 0 20 0 1 0 53729628 266452992 55909 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 65052 55909 2688 2826 0 61664 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 264400 KiB
Current children cumulated memory: 226708 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/255 48287
/proc/meminfo: memFree=129275524/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=260208 memory=223764 CPUtime=101.98 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 55576 0 0 0 10183 15 0 0 20 0 1 0 53729628 266452992 55941 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 65052 55941 2688 2826 0 61664 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 264400 KiB
Current children cumulated memory: 226836 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/255 48289
/proc/meminfo: memFree=129250596/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=278084 memory=226068 CPUtime=161.82 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 56151 0 0 0 16167 15 0 0 20 0 1 0 53729628 284758016 56517 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 69521 56517 2688 2826 0 66133 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 282276 KiB
Current children cumulated memory: 229140 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/255 48291
/proc/meminfo: memFree=129227892/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 261 233 0 0 0 0 0 0 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48284] ppid=48280 vsize=294980 memory=230932 CPUtime=221.66 cores=4,6
/proc/48284/stat : 48284 (pbcpreprocessor) R 48280 48280 46581 0 -1 4194304 57317 0 0 0 22150 16 0 0 20 0 1 0 53729628 302059520 57733 18446744073709551615 4198400 15773533 140727980678432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 32301056 140727980681540 140727980681694 140727980681694 140727980687301 0
/proc/48284/statm: 73745 57733 2720 2826 0 70357 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 20723 0 0 0 38062 27 0 0 20 0 1 0 53779667 135520256 32052 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 33086 32052 448 424 0 32541 0
Current children cumulated CPU time: 879.9 s
Current children cumulated vsize: 136536 KiB
Current children cumulated memory: 131280 KiB
[startup+942.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/254 48332
/proc/meminfo: memFree=129211584/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141272 CPUtime=440.73 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 22422 0 0 0 44042 31 0 0 20 0 1 0 53779667 148844544 35318 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35318 448 424 0 35794 0
Current children cumulated CPU time: 939.74 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144344 KiB
[startup+1002.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/253 48334
/proc/meminfo: memFree=129199568/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141272 CPUtime=500.56 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 22959 0 0 0 50024 32 0 0 20 0 1 0 53779667 148844544 35318 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35318 448 424 0 35794 0
Current children cumulated CPU time: 999.57 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144344 KiB
[startup+1062.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 48336
/proc/meminfo: memFree=129201580/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141400 CPUtime=560.37 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 22974 0 0 0 56003 34 0 0 20 0 1 0 53779667 148844544 35350 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35350 448 424 0 35794 0
Current children cumulated CPU time: 1059.38 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144472 KiB
[startup+1122.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 48341
/proc/meminfo: memFree=129159948/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=620.22 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 61987 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1119.23 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1145.88 s]
# the end of solver process 48280 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1142.17 s, system=0.618092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 48341
/proc/meminfo: memFree=129159948/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=624.31 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 62396 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1123.32 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1139.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 48342
/proc/meminfo: memFree=129182252/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=637.08 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 63673 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1136.09 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1142.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 48347
/proc/meminfo: memFree=129165632/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=640.27 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 63992 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1139.28 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1144 s]*
/proc/loadavg: 4.13 4.12 4.09 5/254 48347
/proc/meminfo: memFree=129157192/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=641.88 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 64153 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1140.89 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1144.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 48347
/proc/meminfo: memFree=129157192/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=642.67 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 64232 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1141.68 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1145.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 48347
/proc/meminfo: memFree=129157192/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=643.47 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 64312 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1142.48 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
[startup+1145.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 48347
/proc/meminfo: memFree=129157192/131382120 swapFree=33010416/33010684
[pid=48280] ppid=48277 vsize=4192 memory=3072 CPUtime=499.01 cores=4,6
/proc/48280/stat : 48280 (opbsolver) S 48277 48280 46581 0 -1 4194304 408 80136 0 0 0 0 49877 24 20 0 1 0 53729624 4292608 768 18446744073709551615 93993286578176 93993287472709 140735662661536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93993287711760 93993287759504 93993296297984 140735662668062 140735662668265 140735662668265 140735662673867 0
/proc/48280/statm: 1048 768 704 219 0 110 0
[pid=48311] ppid=48280 vsize=145356 memory=141656 CPUtime=643.67 cores=4,6
/proc/48311/stat : 48311 (wmaxcdcl) R 48280 48280 46581 0 -1 4194304 23019 0 0 0 64332 35 0 0 20 0 1 0 53779667 148844544 35414 18446744073709551615 4198400 5932793 140722215105696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 33480704 140722215106907 140722215107052 140722215107052 140722215112652 0
/proc/48311/statm: 36339 35414 448 424 0 35794 0
Current children cumulated CPU time: 1142.68 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 144728 KiB
Child status: 0
Real time (s): 1145.88
CPU time (s): 1142.78
CPU user time (s): 1142.17
CPU system time (s): 0.618092
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 394652
Max. memory (cumulated for all children) (KiB): 352916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1142.17
system time used= 0.618092
maximum resident set size= 349844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 508
involuntary context switches= 841
# summary of solver processes directly reported to runsolver:
# pid: 48280
# total CPU time (s): 1142.78
# total CPU user time (s): 1142.17
# total CPU system time (s): 0.618092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02229 second user time and 11.8729 second system time
The end
Begin job on nodeC002 at 2025-07-01 16:35:08
IDJOB=4497761
IDBENCH=148192
IDSOLVER=3374
FILE ID=nodeC002/4497761-1751380508
RUNJOBID= nodeC002-1751371805-46592
SLURM_JOB_ID= 9598199
Free space on /tmp= 432984 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497761-1751380508/watcher-4497761-1751380508 -o /tmp/evaluation-result-4497761-1751380508/solver-4497761-1751380508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751371805-46592 --watchdog 3760 HOME/opbsolver HOME/instance-4497761-1751380508.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=125831140
nodeC002 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 : 0xb00001f
cpu MHz : 3661.432
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3691.430
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.555
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3691.411
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129592188 kB
MemAvailable: 129469228 kB
Buffers: 2128 kB
Cached: 686120 kB
SwapCached: 28 kB
Active: 877052 kB
Inactive: 384200 kB
Active(anon): 584532 kB
Inactive(anon): 6404 kB
Active(file): 292520 kB
Inactive(file): 377796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21124 kB
Writeback: 0 kB
AnonPages: 576052 kB
Mapped: 108492 kB
Shmem: 17932 kB
KReclaimable: 92700 kB
Slab: 176468 kB
SReclaimable: 92700 kB
SUnreclaim: 83768 kB
KernelStack: 4096 kB
PageTables: 4212 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 974244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 331776 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC002 at 2025-07-01 16:54:14