runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61800 MiB free)
memory of node 1: 64465 MiB (61565 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519954-1751561412/watcher-4519954-1751561412 -o /tmp/evaluation-result-4519954-1751561412/solver-4519954-1751561412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751560212-81256 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519954-1751561412.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=81518, runsolver pid=81514
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.06 3.44 3/248 81529
/proc/meminfo: memFree=126343256/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=21848 memory=7552 CPUtime=0.06 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 1104 0 0 0 6 0 0 0 20 0 1 0 71820681 22372352 1888 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 5462 1888 960 2593 0 2355 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28832 KiB
Current children cumulated memory: 12032 KiB
[startup+0.213977 s]*
/proc/loadavg: 4.10 4.06 3.44 4/248 81529
/proc/meminfo: memFree=126339476/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=21848 memory=7552 CPUtime=0.17 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 1104 0 0 0 17 0 0 0 20 0 1 0 71820681 22372352 1888 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 5462 1888 960 2593 0 2355 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28832 KiB
Current children cumulated memory: 12032 KiB
[startup+0.313144 s]*
/proc/loadavg: 4.10 4.06 3.44 4/248 81529
/proc/meminfo: memFree=126338468/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=21848 memory=7552 CPUtime=0.27 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 1104 0 0 0 27 0 0 0 20 0 1 0 71820681 22372352 1888 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 5462 1888 960 2593 0 2355 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 28832 KiB
Current children cumulated memory: 12032 KiB
[startup+0.700378 s]
/proc/loadavg: 4.10 4.06 3.44 3/252 81539
/proc/meminfo: memFree=126336976/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=25072 memory=10880 CPUtime=0.65 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 1950 0 0 0 63 2 0 0 20 0 1 0 71820681 25673728 2720 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 6268 2720 960 2593 0 3161 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 15360 KiB
[startup+1.50041 s]
/proc/loadavg: 4.10 4.06 3.44 5/247 81583
/proc/meminfo: memFree=126347436/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=28312 memory=14212 CPUtime=1.44 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 3494 0 0 0 141 3 0 0 20 0 1 0 71820681 28991488 3553 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 7078 3553 992 2593 0 3971 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 18692 KiB
[startup+3.11386 s]
/proc/loadavg: 4.09 4.06 3.45 5/260 81609
/proc/meminfo: memFree=126133016/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=29132 memory=15136 CPUtime=3.04 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 6196 0 0 0 301 3 0 0 20 0 1 0 71820681 29831168 3784 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 7283 3784 992 2593 0 4176 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 19616 KiB
[startup+6.3005 s]
/proc/loadavg: 4.09 4.06 3.45 5/260 81609
/proc/meminfo: memFree=126078456/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=35416 memory=21268 CPUtime=6.22 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 11769 0 0 0 618 4 0 0 20 0 1 0 71820681 36265984 5317 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 8854 5317 992 2593 0 5747 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 42400 KiB
Current children cumulated memory: 25748 KiB
[startup+12.7005 s]
/proc/loadavg: 4.08 4.05 3.45 5/260 81609
/proc/meminfo: memFree=125968844/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=38048 memory=23924 CPUtime=12.6 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 15752 0 0 0 1255 5 0 0 20 0 1 0 71820681 38961152 5981 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 9512 5981 992 2593 0 6405 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 45032 KiB
Current children cumulated memory: 28404 KiB
[startup+25.5005 s]
/proc/loadavg: 4.15 4.07 3.46 5/260 81659
/proc/meminfo: memFree=125880800/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=42108 memory=28112 CPUtime=25.36 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 21949 0 0 0 2530 6 0 0 20 0 1 0 71820681 43118592 7028 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 10527 7028 992 2593 0 7420 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 49092 KiB
Current children cumulated memory: 32592 KiB
[startup+51.1139 s]
/proc/loadavg: 4.10 4.06 3.48 5/260 81661
/proc/meminfo: memFree=125865280/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=41344 memory=27476 CPUtime=50.91 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 28477 0 0 0 5083 8 0 0 20 0 1 0 71820681 42336256 6869 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 10336 6869 992 2593 0 7229 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 48328 KiB
Current children cumulated memory: 31956 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.07 3.52 5/260 81662
/proc/meminfo: memFree=125003056/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 4.19 4.17 3.99 5/259 82165
/proc/meminfo: memFree=118330572/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=97256 memory=83056 CPUtime=1059.06 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 87939 0 0 0 105875 31 0 0 20 0 1 0 71820681 99590144 20764 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 24314 20764 992 2593 0 21207 0
Current children cumulated CPU time: 1059.06 s
Current children cumulated vsize: 104240 KiB
Current children cumulated memory: 87536 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.16 4.00 5/259 82172
/proc/meminfo: memFree=117828100/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1118.87 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 111854 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1118.87 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1182.3 s]
/proc/loadavg: 4.22 4.17 4.01 5/258 82174
/proc/meminfo: memFree=117303136/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1178.68 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 117835 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1178.68 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1198.37 s]
# the end of solver process 81518 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.3 s, system=0.378257 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.19 4.17 4.01 5/258 82174
/proc/meminfo: memFree=117199576/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1186.75 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 118642 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1186.75 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1193.6 s]
/proc/loadavg: 4.17 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117188044/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1189.94 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 118961 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1189.94 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1196.8 s]
/proc/loadavg: 4.17 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117163576/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1193.13 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 119280 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1193.13 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1197.6 s]
/proc/loadavg: 4.17 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117164332/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1193.93 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 119360 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1193.93 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1198 s]*
/proc/loadavg: 4.16 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117171620/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
[pid=81525] ppid=81518 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81525/stat : 81525 (timeout) S 81518 81525 81245 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71820680 2723840 352 18446744073709551615 94810160984064 94810161000577 140729582455648 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94810161015344 94810161017432 94810168397824 140729582463382 140729582463522 140729582463522 140729582469095 0
/proc/81525/statm: 665 352 352 5 0 90 0
[pid=81526] ppid=81525 vsize=113100 memory=99064 CPUtime=1194.34 cores=4,6
/proc/81526/stat : 81526 (CASHWMaxSAT-Dis) R 81525 81525 81245 0 -1 4194304 89771 0 0 0 119401 33 0 0 20 0 1 0 71820681 115814400 24766 18446744073709551615 4198400 14817773 140723692225600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28958720 140723692231068 140723692231195 140723692231195 140723692236768 0
/proc/81526/statm: 28275 24766 992 2593 0 25168 0
Current children cumulated CPU time: 1194.34 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 103544 KiB
[startup+1198.2 s]
/proc/loadavg: 4.16 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117171620/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=1194.38 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 283 89994 0 0 0 0 119404 34 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.38 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.3 s]
/proc/loadavg: 4.16 4.16 4.01 5/258 82174
/proc/meminfo: memFree=117171620/131382116 swapFree=33009904/33010684
[pid=81518] ppid=81514 vsize=4324 memory=3072 CPUtime=1194.38 cores=4,6
/proc/81518/stat : 81518 (Hybrid-CASHWMax) S 81514 81518 81245 0 -1 4194304 283 89994 0 0 0 0 119404 34 20 0 1 0 71820676 4427776 768 18446744073709551615 93826140028928 93826140923461 140729049344768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93826141162512 93826141210256 93826142629888 140729049348439 140729049348593 140729049348593 140729049354195 0
/proc/81518/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.38 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1198.37
CPU time (s): 1194.67
CPU user time (s): 1194.3
CPU system time (s): 0.378257
CPU usage (%): 99.6917
Max. virtual memory (cumulated for all children) (KiB): 124612
Max. memory (cumulated for all children) (KiB): 108076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.3
system time used= 0.378257
maximum resident set size= 107388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99077
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= 783
involuntary context switches= 1070
# summary of solver processes directly reported to runsolver:
# pid: 81518
# total CPU time (s): 1194.67
# total CPU user time (s): 1194.3
# total CPU system time (s): 0.378257
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85442 second user time and 13.3542 second system time
The end
Begin job on nodeC010 at 2025-07-03 18:50:13
IDJOB=4519954
IDBENCH=177591
IDSOLVER=3327
FILE ID=nodeC010/4519954-1751561412
RUNJOBID= nodeC010-1751560212-81256
SLURM_JOB_ID= 9598758
Free space on /tmp= 429948 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519954-1751561412/watcher-4519954-1751561412 -o /tmp/evaluation-result-4519954-1751561412/solver-4519954-1751561412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751560212-81256 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519954-1751561412.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 352d46e2b577dcfb3a10b12d10bca5f2
RANDOM SEED=231503887
nodeC010 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 : 1197.276
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.009
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.209
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.455
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 1197.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126327140 kB
MemAvailable: 129714160 kB
Buffers: 2128 kB
Cached: 4185776 kB
SwapCached: 24 kB
Active: 653516 kB
Inactive: 3599748 kB
Active(anon): 77036 kB
Inactive(anon): 6336 kB
Active(file): 576480 kB
Inactive(file): 3593412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52272 kB
Writeback: 0 kB
AnonPages: 66256 kB
Mapped: 104192 kB
Shmem: 17936 kB
KReclaimable: 113508 kB
Slab: 196800 kB
SReclaimable: 113508 kB
SUnreclaim: 83292 kB
KernelStack: 3856 kB
PageTables: 2996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 341956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 429896 MiB
End job on nodeC010 at 2025-07-03 19:10:11