runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (45215 MiB free)
memory of node 1: 64465 MiB (62658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499275-1751407849/watcher-4499275-1751407849 -o /tmp/evaluation-result-4499275-1751407849/solver-4499275-1751407849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52553 --watchdog 3760 HOME/opbsolver HOME/instance-4499275-1751407849.opb 3600 31000 HOME HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=53102, runsolver pid=53099
[startup+0.100066 s]*
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110450728/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=47288 memory=35968 CPUtime=0.07 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 6768 0 0 0 7 0 0 0 20 0 1 0 56462441 48422912 8992 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 11822 8992 2496 2826 0 8434 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 51480 KiB
Current children cumulated memory: 38912 KiB
[startup+0.205866 s]*
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110450728/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=57752 memory=41472 CPUtime=0.18 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 8136 0 0 0 18 0 0 0 20 0 1 0 56462441 59138048 10368 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 14438 10368 2528 2826 0 11050 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61944 KiB
Current children cumulated memory: 44416 KiB
[startup+0.305774 s]*
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110450728/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=58776 memory=42496 CPUtime=0.28 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 8390 0 0 0 28 0 0 0 20 0 1 0 56462441 60186624 10624 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 14694 10624 2528 2826 0 11306 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62968 KiB
Current children cumulated memory: 45440 KiB
[startup+0.700213 s]
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110450980/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=59800 memory=44288 CPUtime=0.67 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 8846 0 0 0 66 1 0 0 20 0 1 0 56462441 61235200 11072 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 14950 11072 2528 2826 0 11562 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63992 KiB
Current children cumulated memory: 47232 KiB
[startup+1.50021 s]
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110422944/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=79288 memory=62992 CPUtime=1.47 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 13885 0 0 0 145 2 0 0 20 0 1 0 56462441 81190912 15748 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 19822 15748 2528 2826 0 16434 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 83480 KiB
Current children cumulated memory: 65936 KiB
[startup+3.10563 s]
/proc/loadavg: 4.28 4.08 3.39 5/271 53106
/proc/meminfo: memFree=110368700/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=129136 memory=111640 CPUtime=3.07 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 28478 0 0 0 303 4 0 0 20 0 1 0 56462441 132235264 27910 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 32284 27910 2688 2826 0 28896 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 133328 KiB
Current children cumulated memory: 114584 KiB
[startup+6.3002 s]
/proc/loadavg: 4.33 4.09 3.40 5/271 53106
/proc/meminfo: memFree=110418612/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=139780 memory=122700 CPUtime=6.25 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 32602 0 0 0 620 5 0 0 20 0 1 0 56462441 143134720 30675 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 34945 30675 2688 2826 0 31557 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 143972 KiB
Current children cumulated memory: 125644 KiB
[startup+12.7002 s]
/proc/loadavg: 4.39 4.11 3.41 5/271 53107
/proc/meminfo: memFree=110419116/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=142852 memory=126668 CPUtime=12.63 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 33610 0 0 0 1258 5 0 0 20 0 1 0 56462441 146280448 31667 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 35713 31667 2688 2826 0 32325 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 147044 KiB
Current children cumulated memory: 129612 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.14 3.43 5/270 53107
/proc/meminfo: memFree=110353896/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=158460 memory=142032 CPUtime=25.39 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 37729 0 0 0 2533 6 0 0 20 0 1 0 56462441 162263040 35508 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 39615 35508 2688 2826 0 36227 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162652 KiB
Current children cumulated memory: 144976 KiB
[startup+51.1057 s]
/proc/loadavg: 4.36 4.14 3.45 5/269 53108
/proc/meminfo: memFree=110352404/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=175100 memory=158936 CPUtime=50.91 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 46153 0 0 0 5083 8 0 0 20 0 1 0 56462441 179302400 39734 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 43775 39734 2688 2826 0 40387 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 179292 KiB
Current children cumulated memory: 161880 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.13 3.49 5/269 53110
/proc/meminfo: memFree=110332836/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=188104 memory=172052 CPUtime=101.94 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 59038 0 0 0 10183 11 0 0 20 0 1 0 56462441 192618496 43013 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 47026 43013 2688 2826 0 43638 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 192296 KiB
Current children cumulated memory: 174996 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 3.52 5/269 53112
/proc/meminfo: memFree=110336948/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=201184 memory=185172 CPUtime=161.74 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 65300 0 0 0 16162 12 0 0 20 0 1 0 56462441 206012416 46293 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 50296 46293 2688 2826 0 46908 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 205376 KiB
Current children cumulated memory: 188116 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 3.57 5/269 53114
/proc/meminfo: memFree=110292840/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=209392 memory=193376 CPUtime=221.54 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 76403 0 0 0 22139 15 0 0 20 0 1 0 56462441 214417408 48344 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 52348 48344 2688 2826 0 48960 0
Current children cumulated CPU time: 221.54 s
################
# More data... #
################
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=226552 memory=209172 CPUtime=400.94 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 110953 0 0 0 40071 23 0 0 20 0 1 0 56462441 231989248 52293 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 56638 52293 2688 2826 0 53250 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 230744 KiB
Current children cumulated memory: 212116 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 3.70 5/268 53125
/proc/meminfo: memFree=110051520/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 258 235 0 0 0 0 0 0 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53106] ppid=53102 vsize=225804 memory=209812 CPUtime=460.75 cores=0,2
/proc/53106/stat : 53106 (pbcpreprocessor) R 53102 53102 52543 0 -1 4194304 111867 0 0 0 46051 24 0 0 20 0 1 0 56462441 231223296 52453 18446744073709551615 4198400 15773533 140722896637520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 37679104 140722896644420 140722896644574 140722896644574 140722896650181 0
/proc/53106/statm: 56451 52453 2688 2826 0 53063 0
Current children cumulated CPU time: 460.75 s
Current children cumulated vsize: 229996 KiB
Current children cumulated memory: 212756 KiB
[startup+522.3 s]
/proc/loadavg: 4.14 4.12 3.73 5/268 53132
/proc/meminfo: memFree=109769952/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=294544 memory=259444 CPUtime=21.06 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 57848 0 0 0 2094 12 0 0 20 0 1 0 56512555 301613056 64861 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 73636 64861 448 424 0 73091 0
Current children cumulated CPU time: 520.52 s
Current children cumulated vsize: 298736 KiB
Current children cumulated memory: 262388 KiB
[startup+574.12 s]
# the end of solver process 53102 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=571.372 s, system=0.827249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.11 4.11 3.74 5/268 53133
/proc/meminfo: memFree=109951920/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=294544 memory=259444 CPUtime=36.31 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 57848 0 0 0 3619 12 0 0 20 0 1 0 56512555 301613056 64861 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 73636 64861 448 424 0 73091 0
Current children cumulated CPU time: 535.77 s
Current children cumulated vsize: 298736 KiB
Current children cumulated memory: 262388 KiB
[startup+550.4 s]
/proc/loadavg: 4.08 4.10 3.74 5/268 53138
/proc/meminfo: memFree=109882488/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=275572 memory=238668 CPUtime=49.08 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 58303 0 0 0 4895 13 0 0 20 0 1 0 56512555 282185728 59667 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 68893 59667 448 424 0 68348 0
Current children cumulated CPU time: 548.54 s
Current children cumulated vsize: 279764 KiB
Current children cumulated memory: 241612 KiB
[startup+563.2 s]
/proc/loadavg: 4.15 4.12 3.75 5/268 53138
/proc/meminfo: memFree=109980628/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=275572 memory=238668 CPUtime=61.84 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 58303 0 0 0 6171 13 0 0 20 0 1 0 56512555 282185728 59667 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 68893 59667 448 424 0 68348 0
Current children cumulated CPU time: 561.3 s
Current children cumulated vsize: 279764 KiB
Current children cumulated memory: 241612 KiB
[startup+569.6 s]
/proc/loadavg: 4.13 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109911772/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=285924 memory=249844 CPUtime=68.22 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 60932 0 0 0 6808 14 0 0 20 0 1 0 56512555 292786176 62461 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 71481 62461 448 424 0 70936 0
Current children cumulated CPU time: 567.68 s
Current children cumulated vsize: 290116 KiB
Current children cumulated memory: 252788 KiB
[startup+571.2 s]
/proc/loadavg: 4.13 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109913788/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=285924 memory=251892 CPUtime=69.81 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 60933 0 0 0 6967 14 0 0 20 0 1 0 56512555 292786176 62973 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 71481 62973 448 424 0 70936 0
Current children cumulated CPU time: 569.27 s
Current children cumulated vsize: 290116 KiB
Current children cumulated memory: 254836 KiB
[startup+572.8 s]
/proc/loadavg: 4.13 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109909692/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=285924 memory=255988 CPUtime=71.41 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 60935 0 0 0 7127 14 0 0 20 0 1 0 56512555 292786176 63997 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 71481 63997 448 424 0 70936 0
Current children cumulated CPU time: 570.87 s
Current children cumulated vsize: 290116 KiB
Current children cumulated memory: 258932 KiB
[startup+573.6 s]
/proc/loadavg: 4.13 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109901500/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=335244 memory=288916 CPUtime=72.21 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 60991 0 0 0 7206 15 0 0 20 0 1 0 56512555 343289856 72229 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 83811 72229 448 424 0 83266 0
Current children cumulated CPU time: 571.67 s
Current children cumulated vsize: 339436 KiB
Current children cumulated memory: 291860 KiB
[startup+574 s]*
/proc/loadavg: 4.12 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109864636/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=499.46 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 407 126925 0 0 0 0 49881 65 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
[pid=53132] ppid=53102 vsize=335244 memory=288916 CPUtime=72.61 cores=0,2
/proc/53132/stat : 53132 (wmaxcdcl) R 53102 53102 52543 0 -1 4194304 60991 0 0 0 7246 15 0 0 20 0 1 0 56512555 343289856 72229 18446744073709551615 4198400 5932793 140725441676032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 12304384 140725441677659 140725441677804 140725441677804 140725441683404 0
/proc/53132/statm: 83811 72229 448 424 0 83266 0
Current children cumulated CPU time: 572.07 s
Current children cumulated vsize: 339436 KiB
Current children cumulated memory: 291860 KiB
[startup+574.106 s]
/proc/loadavg: 4.12 4.11 3.75 5/268 53138
/proc/meminfo: memFree=109864636/131250000 swapFree=33007332/33010684
[pid=53102] ppid=53099 vsize=4192 memory=2944 CPUtime=572.18 cores=0,2
/proc/53102/stat : 53102 (opbsolver) S 53099 53102 52543 0 -1 4194304 436 187918 0 0 0 0 57136 82 20 0 1 0 56462439 4292608 736 18446744073709551615 94236008050688 94236008945221 140731338419920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94236009184272 94236009232016 94236030259200 140731338426654 140731338426857 140731338426857 140731338432459 0
/proc/53102/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 572.18 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 574.12
CPU time (s): 572.199
CPU user time (s): 571.372
CPU system time (s): 0.827249
CPU usage (%): 99.6655
Max. virtual memory (cumulated for all children) (KiB): 339436
Max. memory (cumulated for all children) (KiB): 291860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.372
system time used= 0.827249
maximum resident set size= 288916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 462
involuntary context switches= 764
# summary of solver processes directly reported to runsolver:
# pid: 53102
# total CPU time (s): 572.199
# total CPU user time (s): 571.372
# total CPU system time (s): 0.827249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16868 second user time and 2.72111 second system time
The end
Begin job on nodeC019 at 2025-07-02 00:10:49
IDJOB=4499275
IDBENCH=148774
IDSOLVER=3374
FILE ID=nodeC019/4499275-1751407849
RUNJOBID= nodeC019-1751406746-52553
SLURM_JOB_ID= 9598300
Free space on /tmp= 430868 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499275-1751407849/watcher-4499275-1751407849 -o /tmp/evaluation-result-4499275-1751407849/solver-4499275-1751407849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52553 --watchdog 3760 HOME/opbsolver HOME/instance-4499275-1751407849.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27eb6e8556144c078dca5501dcfcfe75
RANDOM SEED=2055805346
nodeC019 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 : 3596.319
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.37
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.683
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.37
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 : 3599.678
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.37
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 : 3589.986
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.37
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.680
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.37
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 : 3599.741
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.37
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 : 3601.111
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.37
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 : 3600.929
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 110462572 kB
MemAvailable: 112432060 kB
Buffers: 904 kB
Cached: 2773908 kB
SwapCached: 440 kB
Active: 17472760 kB
Inactive: 2639068 kB
Active(anon): 17324416 kB
Inactive(anon): 27792 kB
Active(file): 148344 kB
Inactive(file): 2611276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20864 kB
Writeback: 36 kB
AnonPages: 17338892 kB
Mapped: 108780 kB
Shmem: 15192 kB
KReclaimable: 98216 kB
Slab: 184900 kB
SReclaimable: 98216 kB
SUnreclaim: 86684 kB
KernelStack: 4352 kB
PageTables: 37424 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20770576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4290560 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430848 MiB
End job on nodeC019 at 2025-07-02 00:20:24