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: 63794 MiB (62726 MiB free)
memory of node 1: 64507 MiB (61904 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509165-1751514983/watcher-4509165-1751514983 -o /tmp/evaluation-result-4509165-1751514983/solver-4509165-1751514983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751511362-75742 --watchdog 3760 HOME/opbsolver HOME/instance-4509165-1751514983.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=76910, runsolver pid=76906
[startup+0.100092 s]*
/proc/loadavg: 4.16 4.12 4.05 5/252 76919
/proc/meminfo: memFree=127619176/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=37732 memory=26752 CPUtime=0.07 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 4502 0 0 0 6 1 0 0 20 0 1 0 67177999 38637568 6688 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 9433 6688 2432 2826 0 6045 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41924 KiB
Current children cumulated memory: 29696 KiB
[startup+0.21444 s]*
/proc/loadavg: 4.16 4.12 4.05 5/251 76920
/proc/meminfo: memFree=127623968/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=45224 memory=34304 CPUtime=0.18 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 6312 0 0 0 16 2 0 0 20 0 1 0 67177999 46309376 8576 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 11306 8576 2496 2826 0 7918 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 49416 KiB
Current children cumulated memory: 37248 KiB
[startup+0.314481 s]*
/proc/loadavg: 4.16 4.12 4.05 5/250 76920
/proc/meminfo: memFree=127607900/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=47040 memory=36096 CPUtime=0.28 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 6755 0 0 0 26 2 0 0 20 0 1 0 67177999 48168960 9024 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 11760 9024 2496 2826 0 8372 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 51232 KiB
Current children cumulated memory: 39040 KiB
[startup+0.700348 s]
/proc/loadavg: 4.16 4.12 4.05 5/256 76935
/proc/meminfo: memFree=127603552/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=47612 memory=36608 CPUtime=0.65 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 6898 0 0 0 63 2 0 0 20 0 1 0 67177999 48754688 9152 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 11903 9152 2496 2826 0 8515 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 51804 KiB
Current children cumulated memory: 39552 KiB
[startup+1.50042 s]
/proc/loadavg: 4.16 4.12 4.05 5/256 76935
/proc/meminfo: memFree=127603308/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=97800 memory=77960 CPUtime=1.45 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 20061 0 0 0 140 5 0 0 20 0 1 0 67177999 100147200 19490 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 24450 19490 2688 2826 0 21062 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 101992 KiB
Current children cumulated memory: 80904 KiB
[startup+3.11352 s]
/proc/loadavg: 4.16 4.12 4.05 5/256 76935
/proc/meminfo: memFree=127546892/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=126900 memory=104712 CPUtime=3.06 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 26782 0 0 0 299 7 0 0 20 0 1 0 67177999 129945600 26178 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 31725 26178 2688 2826 0 28337 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 107656 KiB
[startup+6.30035 s]
/proc/loadavg: 4.14 4.12 4.05 5/256 76935
/proc/meminfo: memFree=127506824/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=126900 memory=104840 CPUtime=6.24 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 26807 0 0 0 617 7 0 0 20 0 1 0 67177999 129945600 26210 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 31725 26210 2688 2826 0 28337 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 107784 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.05 5/256 76935
/proc/meminfo: memFree=127458444/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=126900 memory=105096 CPUtime=12.62 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 26851 0 0 0 1255 7 0 0 20 0 1 0 67177999 129945600 26274 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 31725 26274 2688 2826 0 28337 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 108040 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 4.05 5/256 76935
/proc/meminfo: memFree=127313292/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=155040 memory=116232 CPUtime=25.38 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 29653 0 0 0 2531 7 0 0 20 0 1 0 67177999 158760960 29058 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 38760 29058 2688 2826 0 35372 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 159232 KiB
Current children cumulated memory: 119176 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.12 4.05 5/256 76936
/proc/meminfo: memFree=127240308/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=207872 memory=149980 CPUtime=50.94 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 38426 0 0 0 5085 9 0 0 20 0 1 0 67177999 212860928 37495 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 51968 37495 2688 2826 0 48580 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 212064 KiB
Current children cumulated memory: 152924 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/256 76939
/proc/meminfo: memFree=127167980/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=304420 memory=203356 CPUtime=101.98 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 51763 0 0 0 10187 11 0 0 20 0 1 0 67177999 311726080 50839 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 76105 50839 2688 2826 0 72717 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 206300 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/255 76945
/proc/meminfo: memFree=127120028/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=364588 memory=237020 CPUtime=161.84 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 60185 0 0 0 16170 14 0 0 20 0 1 0 67177999 373338112 59255 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 91147 59255 2688 2826 0 87759 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 368780 KiB
Current children cumulated memory: 239964 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/257 76950
/proc/meminfo: memFree=127088892/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=427752 memory=272732 CPUtime=221.67 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 69108 0 0 0 22152 15 0 0 20 0 1 0 67177999 438018048 68183 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 106938 68183 2688 2826 0 103550 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 275676 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/257 76963
/proc/meminfo: memFree=127021196/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=470760 memory=298588 CPUtime=281.53 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 75553 0 0 0 28136 17 0 0 20 0 1 0 67177999 482058240 74647 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 117690 74647 2688 2826 0 114302 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 474952 KiB
Current children cumulated memory: 301532 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/256 76965
/proc/meminfo: memFree=126962960/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=520704 memory=339804 CPUtime=341.37 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 80518 0 0 0 34118 19 0 0 20 0 1 0 67177999 533200896 84951 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 130176 84951 2688 2826 0 126788 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 524896 KiB
Current children cumulated memory: 342748 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.14 4.08 5/256 76967
/proc/meminfo: memFree=126913028/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=548492 memory=403548 CPUtime=401.21 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 83770 0 0 0 40101 20 0 0 20 0 1 0 67177999 561655808 100887 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 137123 100887 2688 2826 0 133735 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 552684 KiB
Current children cumulated memory: 406492 KiB
[startup+419.895 s]
# the end of solver process 76910 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=418.538 s, system=0.232021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.32 4.16 4.08 5/255 76968
/proc/meminfo: memFree=126913552/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=549604 memory=411996 CPUtime=408.49 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84038 0 0 0 40829 20 0 0 20 0 1 0 67177999 562794496 102999 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 137401 102999 2688 2826 0 134013 0
Current children cumulated CPU time: 408.49 s
Current children cumulated vsize: 553796 KiB
Current children cumulated memory: 414940 KiB
[startup+416 s]*
/proc/loadavg: 4.58 4.22 4.11 5/255 76968
/proc/meminfo: memFree=126897676/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=550528 memory=413020 CPUtime=414.89 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84282 0 0 0 41469 20 0 0 20 0 1 0 67177999 563740672 103255 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 137632 103255 2688 2826 0 134244 0
Current children cumulated CPU time: 414.89 s
Current children cumulated vsize: 554720 KiB
Current children cumulated memory: 415964 KiB
[startup+417.6 s]
/proc/loadavg: 4.58 4.22 4.11 5/255 76968
/proc/meminfo: memFree=126897676/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=551520 memory=413916 CPUtime=416.47 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84514 0 0 0 41627 20 0 0 20 0 1 0 67177999 564756480 103479 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 137880 103479 2688 2826 0 134492 0
Current children cumulated CPU time: 416.47 s
Current children cumulated vsize: 555712 KiB
Current children cumulated memory: 416860 KiB
[startup+419.2 s]
/proc/loadavg: 4.58 4.22 4.11 5/255 76968
/proc/meminfo: memFree=126906008/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=552508 memory=414940 CPUtime=418.06 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84761 0 0 0 41786 20 0 0 20 0 1 0 67177999 565768192 103735 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 138127 103735 2688 2826 0 134739 0
Current children cumulated CPU time: 418.06 s
Current children cumulated vsize: 556700 KiB
Current children cumulated memory: 417884 KiB
[startup+419.6 s]
/proc/loadavg: 4.58 4.22 4.11 5/255 76968
/proc/meminfo: memFree=126906008/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=552508 memory=414940 CPUtime=418.46 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84761 0 0 0 41826 20 0 0 20 0 1 0 67177999 565768192 103735 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 138127 103735 2688 2826 0 134739 0
Current children cumulated CPU time: 418.46 s
Current children cumulated vsize: 556700 KiB
Current children cumulated memory: 417884 KiB
[startup+419.8 s]
/proc/loadavg: 4.58 4.22 4.11 5/255 76968
/proc/meminfo: memFree=126906008/131382116 swapFree=33010684/33010684
[pid=76910] ppid=76906 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76910/stat : 76910 (opbsolver) S 76906 76910 75730 0 -1 4194304 261 242 0 0 0 0 0 0 20 0 1 0 67177996 4292608 736 18446744073709551615 94450816507904 94450817402437 140732315610448 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94450817641488 94450817689232 94450847719424 140732315613470 140732315613673 140732315613673 140732315619275 0
/proc/76910/statm: 1048 736 672 219 0 110 0
[pid=76915] ppid=76910 vsize=552508 memory=422492 CPUtime=418.66 cores=1,3
/proc/76915/stat : 76915 (pbcpreprocessor) R 76910 76910 75730 0 -1 4194304 84761 0 0 0 41846 20 0 0 20 0 1 0 67177999 565768192 105623 18446744073709551615 4198400 15773533 140724602008704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 48050176 140724602009924 140724602010078 140724602010078 140724602015685 0
/proc/76915/statm: 138127 105623 2688 2826 0 134739 0
Current children cumulated CPU time: 418.66 s
Current children cumulated vsize: 556700 KiB
Current children cumulated memory: 425436 KiB
Child status: 0
Real time (s): 419.895
CPU time (s): 418.77
CPU user time (s): 418.538
CPU system time (s): 0.232021
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 556700
Max. memory (cumulated for all children) (KiB): 425436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 418.538
system time used= 0.232021
maximum resident set size= 422492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 556
# summary of solver processes directly reported to runsolver:
# pid: 76910
# total CPU time (s): 418.77
# total CPU user time (s): 418.538
# total CPU system time (s): 0.232021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1519 second user time and 4.48826 second system time
The end
Begin job on nodeC011 at 2025-07-03 05:56:23
IDJOB=4509165
IDBENCH=158598
IDSOLVER=3374
FILE ID=nodeC011/4509165-1751514983
RUNJOBID= nodeC011-1751511362-75742
SLURM_JOB_ID= 9598613
Free space on /tmp= 430468 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509165-1751514983/watcher-4509165-1751514983 -o /tmp/evaluation-result-4509165-1751514983/solver-4509165-1751514983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751511362-75742 --watchdog 3760 HOME/opbsolver HOME/instance-4509165-1751514983.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=802202560
nodeC011 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.359
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 : 6984.20
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 : 1197.288
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 : 6984.20
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.618
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 : 6984.20
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 : 1197.249
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 : 6984.20
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 : 3661.314
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 : 6984.20
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 : 1197.207
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 : 6984.20
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 : 1197.640
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 : 6984.20
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 : 3492.054
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127623532 kB
MemAvailable: 129711608 kB
Buffers: 3276 kB
Cached: 2889716 kB
SwapCached: 0 kB
Active: 716740 kB
Inactive: 2450628 kB
Active(anon): 290236 kB
Inactive(anon): 2104 kB
Active(file): 426504 kB
Inactive(file): 2448524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 75372 kB
Writeback: 4 kB
AnonPages: 277492 kB
Mapped: 107140 kB
Shmem: 17960 kB
KReclaimable: 104964 kB
Slab: 189916 kB
SReclaimable: 104964 kB
SUnreclaim: 84952 kB
KernelStack: 4032 kB
PageTables: 3596 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 619188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430444 MiB
End job on nodeC011 at 2025-07-03 06:03:23