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 (60372 MiB free)
memory of node 1: 64465 MiB (62409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484288-1751283273/watcher-4484288-1751283273 -o /tmp/evaluation-result-4484288-1751283273/solver-4484288-1751283273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38111 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484288-1751283273.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=38896, runsolver pid=38893
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.08 5/271 38900
/proc/meminfo: memFree=125724528/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=37404 memory=21592 CPUtime=0.08 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 6104 0 0 0 7 1 0 0 20 0 1 0 44005193 38301696 5398 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 9351 5398 896 2593 0 6244 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44388 KiB
Current children cumulated memory: 26072 KiB
[startup+0.205682 s]*
/proc/loadavg: 4.12 4.12 4.08 5/271 38900
/proc/meminfo: memFree=125722512/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=39228 memory=23640 CPUtime=0.18 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 6548 0 0 0 17 1 0 0 20 0 1 0 44005193 40169472 5910 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 9807 5910 960 2593 0 6700 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 46212 KiB
Current children cumulated memory: 28120 KiB
[startup+0.305636 s]*
/proc/loadavg: 4.12 4.12 4.08 5/271 38900
/proc/meminfo: memFree=125722512/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=39360 memory=23640 CPUtime=0.28 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 6555 0 0 0 27 1 0 0 20 0 1 0 44005193 40304640 5910 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 9840 5910 960 2593 0 6733 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 46344 KiB
Current children cumulated memory: 28120 KiB
[startup+0.700178 s]
/proc/loadavg: 4.12 4.12 4.08 5/271 38900
/proc/meminfo: memFree=125722512/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=39360 memory=23768 CPUtime=0.67 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 6580 0 0 0 65 2 0 0 20 0 1 0 44005193 40304640 5942 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 9840 5942 960 2593 0 6733 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 46344 KiB
Current children cumulated memory: 28248 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.12 4.08 5/271 38900
/proc/meminfo: memFree=125728656/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=39624 memory=23896 CPUtime=1.47 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 6629 0 0 0 145 2 0 0 20 0 1 0 44005193 40574976 5974 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 9906 5974 960 2593 0 6799 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46608 KiB
Current children cumulated memory: 28376 KiB
[startup+3.10542 s]
/proc/loadavg: 4.11 4.12 4.08 5/271 38901
/proc/meminfo: memFree=125719836/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=51336 memory=35288 CPUtime=3.06 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 9469 0 0 0 303 3 0 0 20 0 1 0 44005193 52568064 8822 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 12834 8822 960 2593 0 9727 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 58320 KiB
Current children cumulated memory: 39768 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.08 5/271 38901
/proc/meminfo: memFree=125654936/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=72652 memory=56724 CPUtime=6.25 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 18108 0 0 0 620 5 0 0 20 0 1 0 44005193 74395648 14181 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 18163 14181 992 2593 0 15056 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 79636 KiB
Current children cumulated memory: 61204 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.15 4.09 5/271 38901
/proc/meminfo: memFree=125625960/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=90336 memory=74880 CPUtime=12.64 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 24619 0 0 0 1257 7 0 0 20 0 1 0 44005193 92504064 18720 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 22584 18720 992 2593 0 19477 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 97320 KiB
Current children cumulated memory: 79360 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.09 5/271 38901
/proc/meminfo: memFree=125476436/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=99548 memory=84012 CPUtime=25.4 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 28834 0 0 0 2532 8 0 0 20 0 1 0 44005193 101937152 21003 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 24887 21003 992 2593 0 21780 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 106532 KiB
Current children cumulated memory: 88492 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 38901
/proc/meminfo: memFree=125481804/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=92668 memory=77100 CPUtime=50.93 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 30183 0 0 0 5085 8 0 0 20 0 1 0 44005193 94892032 19275 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 23167 19275 992 2593 0 20060 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 99652 KiB
Current children cumulated memory: 81580 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/274 38906
/proc/meminfo: memFree=125492960/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=428876 memory=414128 CPUtime=1059.22 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 83528 0 0 0 105868 54 0 0 20 0 1 0 44005193 439169024 103532 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 107219 103532 992 2593 0 104112 0
Current children cumulated CPU time: 1059.22 s
Current children cumulated vsize: 435860 KiB
Current children cumulated memory: 418608 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/273 39142
/proc/meminfo: memFree=125823960/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=429136 memory=414388 CPUtime=1119.05 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 84148 0 0 0 111850 55 0 0 20 0 1 0 44005193 439435264 103597 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 107284 103597 992 2593 0 104177 0
Current children cumulated CPU time: 1119.05 s
Current children cumulated vsize: 436120 KiB
Current children cumulated memory: 418868 KiB
[startup+1182.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 39144
/proc/meminfo: memFree=125789064/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=430000 memory=415252 CPUtime=1178.85 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 84555 0 0 0 117829 56 0 0 20 0 1 0 44005193 440320000 103813 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 107500 103813 992 2593 0 104393 0
Current children cumulated CPU time: 1178.85 s
Current children cumulated vsize: 436984 KiB
Current children cumulated memory: 419732 KiB
[startup+1210.61 s]
# the end of solver process 38896 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1206.41 s, system=0.642941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 39144
/proc/meminfo: memFree=125802212/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=38899] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38899/stat : 38899 (timeout) S 38896 38899 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44005193 2723840 352 18446744073709551615 94638301523968 94638301540481 140736113194992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94638301555248 94638301557336 94638323933184 140736113203606 140736113203746 140736113203746 140736113209319 0
/proc/38899/statm: 665 352 352 5 0 90 0
[pid=38900] ppid=38899 vsize=430692 memory=415944 CPUtime=1186.92 cores=1,3
/proc/38900/stat : 38900 (CASHWMaxSAT-Dis) R 38899 38899 38099 0 -1 4194304 85067 0 0 0 118636 56 0 0 20 0 1 0 44005193 441028608 103986 18446744073709551615 4198400 14817773 140724605056848 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49102848 140724605061532 140724605061659 140724605061659 140724605067232 0
/proc/38900/statm: 107673 103986 992 2593 0 104566 0
Current children cumulated CPU time: 1186.92 s
Current children cumulated vsize: 437676 KiB
Current children cumulated memory: 420424 KiB
[startup+1203.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125993540/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1194.52 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 284 85299 0 0 0 0 119395 57 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=39145] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39145/stat : 39145 (timeout) S 38896 39145 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44124994 2723840 352 18446744073709551615 94294483984384 94294484000897 140737323682160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94294484015664 94294484017752 94294514487296 140737323686278 140737323686434 140737323686434 140737323692007 0
/proc/39145/statm: 665 352 352 5 0 90 0
[pid=39146] ppid=39145 vsize=178960 memory=128548 CPUtime=5.13 cores=1,3
/proc/39146/stat : 39146 (ExactPR-S) R 39145 39145 38099 0 -1 4194304 32767 0 0 0 509 4 0 0 20 0 1 0 44124994 183255040 32137 18446744073709551615 94353134690304 94353143990341 140731240058752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94353145776448 94353145815528 94353179209728 140731240065438 140731240065575 140731240065575 140731240071148 0
/proc/39146/statm: 44740 32137 3360 2271 0 39378 0
Current children cumulated CPU time: 1199.65 s
Current children cumulated vsize: 185944 KiB
Current children cumulated memory: 133028 KiB
[startup+1206.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125993984/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1194.52 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 284 85299 0 0 0 0 119395 57 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=39145] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39145/stat : 39145 (timeout) S 38896 39145 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44124994 2723840 352 18446744073709551615 94294483984384 94294484000897 140737323682160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94294484015664 94294484017752 94294514487296 140737323686278 140737323686434 140737323686434 140737323692007 0
/proc/39145/statm: 665 352 352 5 0 90 0
[pid=39146] ppid=39145 vsize=186836 memory=136228 CPUtime=8.33 cores=1,3
/proc/39146/stat : 39146 (ExactPR-S) R 39145 39145 38099 0 -1 4194304 34680 0 0 0 828 5 0 0 20 0 1 0 44124994 191320064 34057 18446744073709551615 94353134690304 94353143990341 140731240058752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94353145776448 94353145815528 94353179209728 140731240065438 140731240065575 140731240065575 140731240071148 0
/proc/39146/statm: 46709 34057 3360 2271 0 41347 0
Current children cumulated CPU time: 1202.85 s
Current children cumulated vsize: 193820 KiB
Current children cumulated memory: 140708 KiB
[startup+1208 s]*
/proc/loadavg: 4.05 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125990204/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1194.52 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 284 85299 0 0 0 0 119395 57 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=39145] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39145/stat : 39145 (timeout) S 38896 39145 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44124994 2723840 352 18446744073709551615 94294483984384 94294484000897 140737323682160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94294484015664 94294484017752 94294514487296 140737323686278 140737323686434 140737323686434 140737323692007 0
/proc/39145/statm: 665 352 352 5 0 90 0
[pid=39146] ppid=39145 vsize=193524 memory=143012 CPUtime=9.93 cores=1,3
/proc/39146/stat : 39146 (ExactPR-S) R 39145 39145 38099 0 -1 4194304 36386 0 0 0 988 5 0 0 20 0 1 0 44124994 198168576 35753 18446744073709551615 94353134690304 94353143990341 140731240058752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94353145776448 94353145815528 94353179209728 140731240065438 140731240065575 140731240065575 140731240071148 0
/proc/39146/statm: 48381 35753 3360 2271 0 43019 0
Current children cumulated CPU time: 1204.45 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147492 KiB
[startup+1209.6 s]
/proc/loadavg: 4.05 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125990204/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1194.52 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 284 85299 0 0 0 0 119395 57 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=39145] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39145/stat : 39145 (timeout) S 38896 39145 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44124994 2723840 352 18446744073709551615 94294483984384 94294484000897 140737323682160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94294484015664 94294484017752 94294514487296 140737323686278 140737323686434 140737323686434 140737323692007 0
/proc/39145/statm: 665 352 352 5 0 90 0
[pid=39146] ppid=39145 vsize=193524 memory=143012 CPUtime=11.52 cores=1,3
/proc/39146/stat : 39146 (ExactPR-S) R 39145 39145 38099 0 -1 4194304 36387 0 0 0 1147 5 0 0 20 0 1 0 44124994 198168576 35753 18446744073709551615 94353134690304 94353143990341 140731240058752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94353145776448 94353145815528 94353179209728 140731240065438 140731240065575 140731240065575 140731240071148 0
/proc/39146/statm: 48381 35753 3360 2271 0 43019 0
Current children cumulated CPU time: 1206.04 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147492 KiB
[startup+1210.4 s]
/proc/loadavg: 4.05 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125990204/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1194.52 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 284 85299 0 0 0 0 119395 57 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
[pid=39145] ppid=38896 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39145/stat : 39145 (timeout) S 38896 39145 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44124994 2723840 352 18446744073709551615 94294483984384 94294484000897 140737323682160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94294484015664 94294484017752 94294514487296 140737323686278 140737323686434 140737323686434 140737323692007 0
/proc/39145/statm: 665 352 352 5 0 90 0
[pid=39146] ppid=39145 vsize=193524 memory=143012 CPUtime=12.32 cores=1,3
/proc/39146/stat : 39146 (ExactPR-S) R 39145 39145 38099 0 -1 4194304 36387 0 0 0 1227 5 0 0 20 0 1 0 44124994 198168576 35753 18446744073709551615 94353134690304 94353143990341 140731240058752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94353145776448 94353145815528 94353179209728 140731240065438 140731240065575 140731240065575 140731240071148 0
/proc/39146/statm: 48381 35753 3360 2271 0 43019 0
Current children cumulated CPU time: 1206.84 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147492 KiB
[startup+1210.6 s]
/proc/loadavg: 4.05 4.10 4.09 5/273 39146
/proc/meminfo: memFree=125990204/131249996 swapFree=33010684/33010684
[pid=38896] ppid=38893 vsize=4324 memory=3072 CPUtime=1207.04 cores=1,3
/proc/38896/stat : 38896 (Hybrid-CASHWMax) S 38893 38896 38099 0 -1 4194304 377 122264 0 0 0 0 120640 64 20 0 1 0 44005192 4427776 768 18446744073709551615 94088369795072 94088370689605 140727618972144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088370928656 94088370976400 94088375279616 140727618976087 140727618976241 140727618976241 140727618981843 0
/proc/38896/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1207.04 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1210.61
CPU time (s): 1207.05
CPU user time (s): 1206.41
CPU system time (s): 0.642941
CPU usage (%): 99.706
Max. virtual memory (cumulated for all children) (KiB): 590684
Max. memory (cumulated for all children) (KiB): 572868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1206.41
system time used= 0.642941
maximum resident set size= 568388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 856
involuntary context switches= 1602
# summary of solver processes directly reported to runsolver:
# pid: 38896
# total CPU time (s): 1207.05
# total CPU user time (s): 1206.41
# total CPU system time (s): 0.642941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5513 second user time and 5.57218 second system time
The end
Begin job on nodeC023 at 2025-06-30 13:34:33
IDJOB=4484288
IDBENCH=146654
IDSOLVER=3327
FILE ID=nodeC023/4484288-1751283273
RUNJOBID= nodeC023-1751279092-38111
SLURM_JOB_ID= 9594208
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484288-1751283273/watcher-4484288-1751283273 -o /tmp/evaluation-result-4484288-1751283273/solver-4484288-1751283273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38111 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484288-1751283273.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996
RANDOM SEED=1053903466
nodeC023 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 : 3599.984
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.78
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.904
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.78
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 : 3566.427
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.78
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 : 3588.348
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.78
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.890
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.78
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.890
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.78
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 : 3599.619
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.78
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 : 3587.838
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125729248 kB
MemAvailable: 127795220 kB
Buffers: 3280 kB
Cached: 2868268 kB
SwapCached: 0 kB
Active: 2330336 kB
Inactive: 2562564 kB
Active(anon): 2039416 kB
Inactive(anon): 0 kB
Active(file): 290920 kB
Inactive(file): 2562564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26204 kB
Writeback: 0 kB
AnonPages: 2023640 kB
Mapped: 114948 kB
Shmem: 18064 kB
KReclaimable: 103456 kB
Slab: 190812 kB
SReclaimable: 103456 kB
SUnreclaim: 87356 kB
KernelStack: 4336 kB
PageTables: 7208 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2449476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1607680 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC023 at 2025-06-30 13:54:44