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 (59769 MiB free)
memory of node 1: 64465 MiB (59330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522438-1751587848/watcher-4522438-1751587848 -o /tmp/evaluation-result-4522438-1751587848/solver-4522438-1751587848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82778 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4522438-1751587848.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=83155, runsolver pid=83152
[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.02 5/272 83159
/proc/meminfo: memFree=121958016/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=37500 memory=21884 CPUtime=0.08 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 5280 0 0 0 7 1 0 0 20 0 1 0 74459307 38400000 5471 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 9375 5471 960 2593 0 6268 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 26236 KiB
[startup+0.205758 s]*
/proc/loadavg: 4.09 4.09 4.02 5/272 83159
/proc/meminfo: memFree=121977456/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=38508 memory=22768 CPUtime=0.18 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 5631 0 0 0 17 1 0 0 20 0 1 0 74459307 39432192 5692 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 9627 5692 960 2593 0 6520 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45492 KiB
Current children cumulated memory: 27120 KiB
[startup+0.305586 s]*
/proc/loadavg: 4.09 4.09 4.02 5/272 83159
/proc/meminfo: memFree=121977456/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=41644 memory=25832 CPUtime=0.28 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 5905 0 0 0 27 1 0 0 20 0 1 0 74459307 42643456 6458 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 10411 6458 960 2593 0 7304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48628 KiB
Current children cumulated memory: 30184 KiB
[startup+0.700235 s]
/proc/loadavg: 4.09 4.09 4.02 5/272 83159
/proc/meminfo: memFree=121977456/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=41396 memory=25860 CPUtime=0.67 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 7636 0 0 0 66 1 0 0 20 0 1 0 74459307 42389504 6465 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 10349 6465 960 2593 0 7242 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 30212 KiB
[startup+1.50025 s]
/proc/loadavg: 4.16 4.10 4.03 5/272 83159
/proc/meminfo: memFree=121985172/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=46768 memory=31556 CPUtime=1.46 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 9071 0 0 0 145 1 0 0 20 0 1 0 74459307 47890432 7889 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 11692 7889 992 2593 0 8585 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 53752 KiB
Current children cumulated memory: 35908 KiB
[startup+3.10542 s]
/proc/loadavg: 4.16 4.10 4.03 5/272 83159
/proc/meminfo: memFree=122000860/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=46768 memory=31684 CPUtime=3.07 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 9116 0 0 0 305 2 0 0 20 0 1 0 74459307 47890432 7921 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 11692 7921 992 2593 0 8585 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 53752 KiB
Current children cumulated memory: 36036 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.10 4.03 5/272 83159
/proc/meminfo: memFree=122025344/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=46768 memory=31684 CPUtime=6.26 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 9119 0 0 0 624 2 0 0 20 0 1 0 74459307 47890432 7921 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 11692 7921 992 2593 0 8585 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53752 KiB
Current children cumulated memory: 36036 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.03 5/272 83159
/proc/meminfo: memFree=121772096/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=53080 memory=37984 CPUtime=12.64 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 12263 0 0 0 1261 3 0 0 20 0 1 0 74459307 54353920 9496 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 13270 9496 992 2593 0 10163 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 60064 KiB
Current children cumulated memory: 42336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.03 5/272 83160
/proc/meminfo: memFree=121925412/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=47308 memory=32280 CPUtime=25.4 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 17056 0 0 0 2536 4 0 0 20 0 1 0 74459307 48443392 8070 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 11827 8070 992 2593 0 8720 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 54292 KiB
Current children cumulated memory: 36632 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.10 4.03 5/271 83160
/proc/meminfo: memFree=122204640/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=75784 memory=60660 CPUtime=50.93 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 25288 0 0 0 5085 8 0 0 20 0 1 0 74459307 77602816 15165 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 18946 15165 992 2593 0 15839 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 65012 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/271 83162
/proc/meminfo: memFree=122469468/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
################
# More data... #
################
[pid=83159] ppid=83158 vsize=178152 memory=163168 CPUtime=999.48 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 83593 0 0 0 99868 80 0 0 20 0 1 0 74459307 182427648 40792 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 44538 40792 992 2593 0 41431 0
Current children cumulated CPU time: 999.48 s
Current children cumulated vsize: 185136 KiB
Current children cumulated memory: 167520 KiB
[startup+1062.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/270 83207
/proc/meminfo: memFree=124031516/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=178432 memory=162956 CPUtime=1059.32 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 88115 0 0 0 105843 89 0 0 20 0 1 0 74459307 182714368 40739 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 44608 40739 992 2593 0 41501 0
Current children cumulated CPU time: 1059.32 s
Current children cumulated vsize: 185416 KiB
Current children cumulated memory: 167308 KiB
[startup+1122.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/270 83209
/proc/meminfo: memFree=124030420/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=180516 memory=165040 CPUtime=1119.14 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 90560 0 0 0 111821 93 0 0 20 0 1 0 74459307 184848384 41260 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 45129 41260 992 2593 0 42022 0
Current children cumulated CPU time: 1119.14 s
Current children cumulated vsize: 187500 KiB
Current children cumulated memory: 169392 KiB
[startup+1182.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 83265
/proc/meminfo: memFree=124021852/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=182776 memory=167372 CPUtime=1178.97 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 92535 0 0 0 117800 97 0 0 20 0 1 0 74459307 187162624 41843 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 45694 41843 992 2593 0 42587 0
Current children cumulated CPU time: 1178.97 s
Current children cumulated vsize: 189760 KiB
Current children cumulated memory: 171724 KiB
[startup+1198.75 s]
# the end of solver process 83155 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.34 s, system=1.0246 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 83270
/proc/meminfo: memFree=124021728/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=184576 memory=169260 CPUtime=1187.05 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 93187 0 0 0 118607 98 0 0 20 0 1 0 74459307 189005824 42315 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 46144 42315 992 2593 0 43037 0
Current children cumulated CPU time: 1187.05 s
Current children cumulated vsize: 191560 KiB
Current children cumulated memory: 173612 KiB
[startup+1193.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021560/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=184576 memory=169260 CPUtime=1190.24 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 93187 0 0 0 118926 98 0 0 20 0 1 0 74459307 189005824 42315 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 46144 42315 992 2593 0 43037 0
Current children cumulated CPU time: 1190.24 s
Current children cumulated vsize: 191560 KiB
Current children cumulated memory: 173612 KiB
[startup+1196.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021752/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=184576 memory=169260 CPUtime=1193.43 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 93187 0 0 0 119245 98 0 0 20 0 1 0 74459307 189005824 42315 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 46144 42315 992 2593 0 43037 0
Current children cumulated CPU time: 1193.43 s
Current children cumulated vsize: 191560 KiB
Current children cumulated memory: 173612 KiB
[startup+1197.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021752/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
[pid=83158] ppid=83155 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83158/stat : 83158 (timeout) S 83155 83158 82768 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74459306 2723840 352 18446744073709551615 94231630508032 94231630524545 140735131112864 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94231630539312 94231630541400 94231635484672 140735131117974 140735131118114 140735131118114 140735131123687 0
/proc/83158/statm: 665 352 352 5 0 90 0
[pid=83159] ppid=83158 vsize=184576 memory=169260 CPUtime=1194.23 cores=0,2
/proc/83159/stat : 83159 (CASHWMaxSAT-Dis) R 83158 83158 82768 0 -1 4194304 93187 0 0 0 119325 98 0 0 20 0 1 0 74459307 189005824 42315 18446744073709551615 4198400 14817773 140736807701472 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36511744 140736807704988 140736807705115 140736807705115 140736807710688 0
/proc/83159/statm: 46144 42315 992 2593 0 43037 0
Current children cumulated CPU time: 1194.23 s
Current children cumulated vsize: 191560 KiB
Current children cumulated memory: 173612 KiB
[startup+1198.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021752/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=1194.66 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 282 93409 0 0 0 0 119367 99 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1198.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021752/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=1194.66 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 282 93409 0 0 0 0 119367 99 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1198.7 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83271
/proc/meminfo: memFree=124021752/131249992 swapFree=33009392/33010684
[pid=83155] ppid=83152 vsize=4324 memory=2944 CPUtime=1194.66 cores=0,2
/proc/83155/stat : 83155 (Hybrid-CASHWMax) S 83152 83155 82768 0 -1 4194304 282 93409 0 0 0 0 119367 99 20 0 1 0 74459305 4427776 736 18446744073709551615 94394657566720 94394658461253 140721815331968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394658700304 94394658748048 94394686279680 140721815333207 140721815333361 140721815333361 140721815338963 0
/proc/83155/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 1198.75
CPU time (s): 1195.37
CPU user time (s): 1194.34
CPU system time (s): 1.0246
CPU usage (%): 99.7177
Max. virtual memory (cumulated for all children) (KiB): 256224
Max. memory (cumulated for all children) (KiB): 235572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.34
system time used= 1.02459
maximum resident set size= 233596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 803
involuntary context switches= 2854
# summary of solver processes directly reported to runsolver:
# pid: 83155
# total CPU time (s): 1195.37
# total CPU user time (s): 1194.34
# total CPU system time (s): 1.0246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47615 second user time and 5.65642 second system time
The end
Begin job on nodeC035 at 2025-07-04 02:10:48
IDJOB=4522438
IDBENCH=178829
IDSOLVER=3327
FILE ID=nodeC035/4522438-1751587848
RUNJOBID= nodeC035-1751586016-82778
SLURM_JOB_ID= 9598833
Free space on /tmp= 432736 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522438-1751587848/watcher-4522438-1751587848 -o /tmp/evaluation-result-4522438-1751587848/solver-4522438-1751587848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82778 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4522438-1751587848.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=804372804
nodeC035 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 : 3608.649
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.51
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.743
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.51
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.741
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.51
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 : 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 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.51
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.750
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.51
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.754
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.51
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 : 3602.492
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.51
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 : 3591.657
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 121958256 kB
MemAvailable: 124551476 kB
Buffers: 664 kB
Cached: 3343844 kB
SwapCached: 332 kB
Active: 4400052 kB
Inactive: 3041496 kB
Active(anon): 4093688 kB
Inactive(anon): 21052 kB
Active(file): 306364 kB
Inactive(file): 3020444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26008 kB
Writeback: 12 kB
AnonPages: 4099744 kB
Mapped: 127432 kB
Shmem: 17700 kB
KReclaimable: 211300 kB
Slab: 302668 kB
SReclaimable: 211300 kB
SUnreclaim: 91368 kB
KernelStack: 4352 kB
PageTables: 11476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4829044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2121728 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432708 MiB
End job on nodeC035 at 2025-07-04 02:30:47