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 (61897 MiB free)
memory of node 1: 64465 MiB (63856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487555-1751329740/watcher-4487555-1751329740 -o /tmp/evaluation-result-4487555-1751329740/solver-4487555-1751329740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42698 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4487555-1751329740.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
Current StackSize limit: 8192 KiB
solver pid=44059, runsolver pid=44054
[startup+0.100059 s]*
/proc/loadavg: 4.04 4.08 4.08 4/266 44063
/proc/meminfo: memFree=128768136/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=24720 memory=10752 CPUtime=0.07 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 2021 0 0 0 7 0 0 0 20 0 1 0 48596582 25313280 2688 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 6180 2688 768 2416 0 3282 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31704 KiB
Current children cumulated memory: 15232 KiB
[startup+0.204613 s]*
/proc/loadavg: 4.04 4.08 4.08 4/266 44075
/proc/meminfo: memFree=128768100/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=30824 memory=16176 CPUtime=0.16 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 2891 0 0 0 16 0 0 0 20 0 1 0 48596582 31563776 4044 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 7706 4044 768 2416 0 4808 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 37808 KiB
Current children cumulated memory: 20656 KiB
[startup+0.305199 s]*
/proc/loadavg: 4.04 4.08 4.08 4/265 44081
/proc/meminfo: memFree=128783864/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=31672 memory=17200 CPUtime=0.26 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 3128 0 0 0 26 0 0 0 20 0 1 0 48596582 32432128 4300 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 7918 4300 768 2416 0 5020 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 38656 KiB
Current children cumulated memory: 21680 KiB
[startup+0.700194 s]
/proc/loadavg: 4.04 4.08 4.08 4/265 44090
/proc/meminfo: memFree=128755728/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=43168 memory=27320 CPUtime=0.65 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 4094 0 0 0 65 0 0 0 20 0 1 0 48596582 44204032 6830 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 10792 6830 800 2416 0 7894 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 50152 KiB
Current children cumulated memory: 31800 KiB
[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.08 4/266 44122
/proc/meminfo: memFree=128751156/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=50244 memory=35088 CPUtime=1.45 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 4820 0 0 0 144 1 0 0 20 0 1 0 48596582 51449856 8772 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 12561 8772 800 2416 0 9663 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 57228 KiB
Current children cumulated memory: 39568 KiB
[startup+3.10524 s]
/proc/loadavg: 4.12 4.09 4.09 4/267 44225
/proc/meminfo: memFree=128754796/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=50240 memory=36360 CPUtime=3.05 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 5720 0 0 0 304 1 0 0 20 0 1 0 48596582 51445760 9090 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 12560 9090 800 2416 0 9662 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 40840 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.09 4.09 4/261 44318
/proc/meminfo: memFree=129748584/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=71980 memory=52516 CPUtime=6.24 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 6314 0 0 0 622 2 0 0 20 0 1 0 48596582 73707520 13129 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 17995 13129 800 2416 0 15097 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78964 KiB
Current children cumulated memory: 56996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 44754
/proc/meminfo: memFree=129451612/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=71980 memory=56176 CPUtime=12.63 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 6730 0 0 0 1261 2 0 0 20 0 1 0 48596582 73707520 14044 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 17995 14044 800 2416 0 15097 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 78964 KiB
Current children cumulated memory: 60656 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 44755
/proc/meminfo: memFree=129273728/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=71980 memory=56176 CPUtime=25.39 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 6753 0 0 0 2537 2 0 0 20 0 1 0 48596582 73707520 14044 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 17995 14044 800 2416 0 15097 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78964 KiB
Current children cumulated memory: 60656 KiB
[startup+51.1056 s]
/proc/loadavg: 4.19 4.11 4.10 5/271 44755
/proc/meminfo: memFree=128151216/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=71980 memory=58224 CPUtime=50.93 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 6803 0 0 0 5091 2 0 0 20 0 1 0 48596582 73707520 14556 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 17995 14556 800 2416 0 15097 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78964 KiB
Current children cumulated memory: 62704 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 44763
/proc/meminfo: memFree=127201308/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/44063/statm: 30344 26905 800 2416 0 27446 0
Current children cumulated CPU time: 1059.59 s
Current children cumulated vsize: 128360 KiB
Current children cumulated memory: 112100 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 45155
/proc/meminfo: memFree=127114800/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=121376 memory=107620 CPUtime=1119.43 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 10793 0 0 0 111938 5 0 0 20 0 1 0 48596582 124289024 26905 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 30344 26905 800 2416 0 27446 0
Current children cumulated CPU time: 1119.43 s
Current children cumulated vsize: 128360 KiB
Current children cumulated memory: 112100 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 45157
/proc/meminfo: memFree=127143996/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=121376 memory=107620 CPUtime=1179.28 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 10794 0 0 0 117923 5 0 0 20 0 1 0 48596582 124289024 26905 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 30344 26905 800 2416 0 27446 0
Current children cumulated CPU time: 1179.28 s
Current children cumulated vsize: 128360 KiB
Current children cumulated memory: 112100 KiB
[startup+1206.1 s]
# the end of solver process 44059 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1202.8 s, system=0.172735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 45157
/proc/meminfo: memFree=127147544/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=121376 memory=107620 CPUtime=1187.36 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 10794 0 0 0 118731 5 0 0 20 0 1 0 48596582 124289024 26905 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 30344 26905 800 2416 0 27446 0
Current children cumulated CPU time: 1187.36 s
Current children cumulated vsize: 128360 KiB
Current children cumulated memory: 112100 KiB
[startup+1196.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 45157
/proc/meminfo: memFree=127144564/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=44062] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44062/stat : 44062 (timeout) S 44059 44062 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48596582 2723840 352 18446744073709551615 94456841211904 94456841228417 140731933248880 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94456841243184 94456841245272 94456860073984 140731933251990 140731933252130 140731933252130 140731933257703 0
/proc/44062/statm: 665 352 352 5 0 90 0
[pid=44063] ppid=44062 vsize=121376 memory=107620 CPUtime=1193.74 cores=1,3
/proc/44063/stat : 44063 (CASHWMaxSAT-Dis) R 44062 44062 42686 0 -1 4194304 10794 0 0 0 119369 5 0 0 20 0 1 0 48596582 124289024 26905 18446744073709551615 4198400 14093885 140725745862816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 30404608 140725745867164 140725745867291 140725745867291 140725745872864 0
/proc/44063/statm: 30344 26905 800 2416 0 27446 0
Current children cumulated CPU time: 1193.74 s
Current children cumulated vsize: 128360 KiB
Current children cumulated memory: 112100 KiB
[startup+1200 s]*
/proc/loadavg: 4.08 4.08 4.09 5/272 45159
/proc/meminfo: memFree=127137448/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=1194.97 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 284 11016 0 0 0 0 119492 5 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=45158] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45158/stat : 45158 (timeout) S 44059 45158 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48716382 2723840 352 18446744073709551615 94450031550464 94450031566977 140724281072400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94450031581744 94450031583832 94450043691008 140724281076102 140724281076258 140724281076258 140724281081831 0
/proc/45158/statm: 665 352 352 5 0 90 0
[pid=45159] ppid=45158 vsize=158492 memory=118616 CPUtime=1.94 cores=1,3
/proc/45159/stat : 45159 (ExactPR-S) R 45158 45158 42686 0 -1 4194304 28792 0 0 0 190 4 0 0 20 0 1 0 48716383 162295808 29654 18446744073709551615 94283049607168 94283058907205 140728455251792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283060693312 94283060732392 94283073159168 140728455256478 140728455256615 140728455256615 140728455262188 0
/proc/45159/statm: 39623 29654 3424 2271 0 34261 0
Current children cumulated CPU time: 1196.91 s
Current children cumulated vsize: 165476 KiB
Current children cumulated memory: 123096 KiB
[startup+1203.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 45161
/proc/meminfo: memFree=127071996/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=1194.97 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 284 11016 0 0 0 0 119492 5 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=45158] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45158/stat : 45158 (timeout) S 44059 45158 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48716382 2723840 352 18446744073709551615 94450031550464 94450031566977 140724281072400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94450031581744 94450031583832 94450043691008 140724281076102 140724281076258 140724281076258 140724281081831 0
/proc/45158/statm: 665 352 352 5 0 90 0
[pid=45159] ppid=45158 vsize=248164 memory=204176 CPUtime=5.13 cores=1,3
/proc/45159/stat : 45159 (ExactPR-S) R 45158 45158 42686 0 -1 4194304 50352 0 0 0 504 9 0 0 20 0 1 0 48716383 254119936 51044 18446744073709551615 94283049607168 94283058907205 140728455251792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283060693312 94283060732392 94283073159168 140728455256478 140728455256615 140728455256615 140728455262188 0
/proc/45159/statm: 62041 51044 3424 2271 0 56679 0
Current children cumulated CPU time: 1200.1 s
Current children cumulated vsize: 255148 KiB
Current children cumulated memory: 208656 KiB
[startup+1204.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 45161
/proc/meminfo: memFree=127062304/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=1194.97 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 284 11016 0 0 0 0 119492 5 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=45158] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45158/stat : 45158 (timeout) S 44059 45158 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48716382 2723840 352 18446744073709551615 94450031550464 94450031566977 140724281072400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94450031581744 94450031583832 94450043691008 140724281076102 140724281076258 140724281076258 140724281081831 0
/proc/45158/statm: 665 352 352 5 0 90 0
[pid=45159] ppid=45158 vsize=250100 memory=206040 CPUtime=6.72 cores=1,3
/proc/45159/stat : 45159 (ExactPR-S) R 45158 45158 42686 0 -1 4194304 53108 0 0 0 663 9 0 0 20 0 1 0 48716383 256102400 51510 18446744073709551615 94283049607168 94283058907205 140728455251792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283060693312 94283060732392 94283073159168 140728455256478 140728455256615 140728455256615 140728455262188 0
/proc/45159/statm: 62525 51510 3424 2271 0 57163 0
Current children cumulated CPU time: 1201.69 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 210520 KiB
[startup+1205.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 45161
/proc/meminfo: memFree=127063760/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=1194.97 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 284 11016 0 0 0 0 119492 5 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=45158] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45158/stat : 45158 (timeout) S 44059 45158 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48716382 2723840 352 18446744073709551615 94450031550464 94450031566977 140724281072400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94450031581744 94450031583832 94450043691008 140724281076102 140724281076258 140724281076258 140724281081831 0
/proc/45158/statm: 665 352 352 5 0 90 0
[pid=45159] ppid=45158 vsize=250100 memory=206296 CPUtime=7.52 cores=1,3
/proc/45159/stat : 45159 (ExactPR-S) R 45158 45158 42686 0 -1 4194304 53200 0 0 0 743 9 0 0 20 0 1 0 48716383 256102400 51574 18446744073709551615 94283049607168 94283058907205 140728455251792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283060693312 94283060732392 94283073159168 140728455256478 140728455256615 140728455256615 140728455262188 0
/proc/45159/statm: 62525 51574 3424 2271 0 57163 0
Current children cumulated CPU time: 1202.49 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 210776 KiB
[startup+1206 s]*
/proc/loadavg: 4.08 4.08 4.09 5/272 45161
/proc/meminfo: memFree=127063760/131250000 swapFree=33010684/33010684
[pid=44059] ppid=44054 vsize=4324 memory=3072 CPUtime=1194.97 cores=1,3
/proc/44059/stat : 44059 (Hybrid-CASHWMax) S 44054 44059 42686 0 -1 4194304 284 11016 0 0 0 0 119492 5 20 0 1 0 48596580 4427776 768 18446744073709551615 94662911934464 94662912828997 140726374393616 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94662913068048 94662913115792 94662921236480 140726374402391 140726374402545 140726374402545 140726374408147 0
/proc/44059/statm: 1081 768 704 219 0 143 0
[pid=45158] ppid=44059 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45158/stat : 45158 (timeout) S 44059 45158 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48716382 2723840 352 18446744073709551615 94450031550464 94450031566977 140724281072400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94450031581744 94450031583832 94450043691008 140724281076102 140724281076258 140724281076258 140724281081831 0
/proc/45158/statm: 665 352 352 5 0 90 0
[pid=45159] ppid=45158 vsize=250100 memory=206680 CPUtime=7.92 cores=1,3
/proc/45159/stat : 45159 (ExactPR-S) R 45158 45158 42686 0 -1 4194304 53296 0 0 0 783 9 0 0 20 0 1 0 48716383 256102400 51670 18446744073709551615 94283049607168 94283058907205 140728455251792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283060693312 94283060732392 94283073159168 140728455256478 140728455256615 140728455256615 140728455262188 0
/proc/45159/statm: 62525 51670 3424 2271 0 57163 0
Current children cumulated CPU time: 1202.89 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 211160 KiB
Child status: 0
Real time (s): 1206.1
CPU time (s): 1202.97
CPU user time (s): 1202.8
CPU system time (s): 0.172735
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 266260
Max. memory (cumulated for all children) (KiB): 219664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1202.8
system time used= 0.172735
maximum resident set size= 215184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 808
involuntary context switches= 1550
# summary of solver processes directly reported to runsolver:
# pid: 44059
# total CPU time (s): 1202.97
# total CPU user time (s): 1202.8
# total CPU system time (s): 0.172735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16249 second user time and 6.14343 second system time
The end
Begin job on nodeC028 at 2025-07-01 02:29:01
IDJOB=4487555
IDBENCH=147199
IDSOLVER=3329
FILE ID=nodeC028/4487555-1751329740
RUNJOBID= nodeC028-1751326134-42698
SLURM_JOB_ID= 9594358
Free space on /tmp= 432988 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487555-1751329740/watcher-4487555-1751329740 -o /tmp/evaluation-result-4487555-1751329740/solver-4487555-1751329740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42698 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4487555-1751329740.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5095349793dd868b1b37aa3a48faf31c
RANDOM SEED=127814865
nodeC028 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 : 3600.084
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 : 7000.16
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 : 3600.062
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 : 7000.16
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 : 3602.882
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 : 7000.16
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 : 3600.933
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 : 7000.16
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 : 3600.059
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 : 7000.16
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 : 3600.100
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 : 7000.16
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 : 3600.326
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.212
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128771736 kB
MemAvailable: 128692520 kB
Buffers: 3280 kB
Cached: 728668 kB
SwapCached: 0 kB
Active: 1328352 kB
Inactive: 471992 kB
Active(anon): 1086464 kB
Inactive(anon): 0 kB
Active(file): 241888 kB
Inactive(file): 471992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50448 kB
Writeback: 48 kB
AnonPages: 1070040 kB
Mapped: 123008 kB
Shmem: 18068 kB
KReclaimable: 92288 kB
Slab: 178424 kB
SReclaimable: 92288 kB
SUnreclaim: 86136 kB
KernelStack: 4304 kB
PageTables: 5252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1506640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1005568 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: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC028 at 2025-07-01 02:49:07