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 (61734 MiB free)
memory of node 1: 64465 MiB (62997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484473-1751285116/watcher-4484473-1751285116 -o /tmp/evaluation-result-4484473-1751285116/solver-4484473-1751285116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44983 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484473-1751285116.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46111, runsolver pid=46108
[startup+0.100058 s]*
/proc/loadavg: 4.18 4.13 4.10 5/272 46115
/proc/meminfo: memFree=127725484/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=21944 memory=7796 CPUtime=0.08 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 1578 0 0 0 8 0 0 0 20 0 1 0 44189192 22470656 1949 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 5486 1949 768 2416 0 2588 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 12148 KiB
[startup+0.20574 s]*
/proc/loadavg: 4.18 4.13 4.10 5/272 46115
/proc/meminfo: memFree=127725484/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=25024 memory=10484 CPUtime=0.18 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 2246 0 0 0 18 0 0 0 20 0 1 0 44189192 25624576 2621 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 6256 2621 768 2416 0 3358 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 14836 KiB
[startup+0.30519 s]*
/proc/loadavg: 4.18 4.13 4.10 5/272 46115
/proc/meminfo: memFree=127725484/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=27700 memory=11124 CPUtime=0.28 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 2412 0 0 0 28 0 0 0 20 0 1 0 44189192 28364800 2781 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 6925 2781 768 2416 0 4027 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 15476 KiB
[startup+0.700183 s]
/proc/loadavg: 4.18 4.13 4.10 5/272 46115
/proc/meminfo: memFree=127721388/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=34940 memory=16684 CPUtime=0.67 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 3308 0 0 0 67 0 0 0 20 0 1 0 44189192 35778560 4171 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 8735 4171 768 2416 0 5837 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41924 KiB
Current children cumulated memory: 21036 KiB
[startup+1.50019 s]
/proc/loadavg: 4.18 4.13 4.10 5/272 46115
/proc/meminfo: memFree=127721136/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=39336 memory=23744 CPUtime=1.47 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 4022 0 0 0 147 0 0 0 20 0 1 0 44189192 40280064 5936 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 9834 5936 768 2416 0 6936 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 28096 KiB
[startup+3.10587 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 46115
/proc/meminfo: memFree=127717120/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=39336 memory=23872 CPUtime=3.07 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 4066 0 0 0 307 0 0 0 20 0 1 0 44189192 40280064 5968 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 9834 5968 768 2416 0 6936 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 28224 KiB
[startup+6.30019 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 46115
/proc/meminfo: memFree=127715356/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=39816 memory=25024 CPUtime=6.25 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 4364 0 0 0 625 0 0 0 20 0 1 0 44189192 40771584 6256 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 9954 6256 768 2416 0 7056 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 46800 KiB
Current children cumulated memory: 29376 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 46115
/proc/meminfo: memFree=127684456/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=50368 memory=34496 CPUtime=12.64 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 5927 0 0 0 1263 1 0 0 20 0 1 0 44189192 51576832 8624 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 12592 8624 768 2416 0 9694 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57352 KiB
Current children cumulated memory: 38848 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 46115
/proc/meminfo: memFree=127690988/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=54788 memory=40124 CPUtime=25.4 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 6305 0 0 0 2539 1 0 0 20 0 1 0 44189192 56102912 10031 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 13697 10031 768 2416 0 10799 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 44476 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 46117
/proc/meminfo: memFree=128019536/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=54788 memory=40124 CPUtime=50.94 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 6314 0 0 0 5093 1 0 0 20 0 1 0 44189192 56102912 10031 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 13697 10031 768 2416 0 10799 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 44476 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 46127
/proc/meminfo: memFree=127937556/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=190756 memory=176632 CPUtime=1059.34 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 32120 0 0 0 105867 67 0 0 20 0 1 0 44189192 195334144 44158 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 47689 44158 800 2416 0 44791 0
Current children cumulated CPU time: 1059.34 s
Current children cumulated vsize: 197740 KiB
Current children cumulated memory: 180984 KiB
[startup+1122.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 46284
/proc/meminfo: memFree=127214116/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=190756 memory=176692 CPUtime=1119.18 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 35007 0 0 0 111840 78 0 0 20 0 1 0 44189192 195334144 44173 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 47689 44173 800 2416 0 44791 0
Current children cumulated CPU time: 1119.18 s
Current children cumulated vsize: 197740 KiB
Current children cumulated memory: 181044 KiB
[startup+1182.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 46288
/proc/meminfo: memFree=127635000/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=240076 memory=211836 CPUtime=1179 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 36334 0 0 0 117813 87 0 0 20 0 1 0 44189192 245837824 52959 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 60019 52959 800 2416 0 57121 0
Current children cumulated CPU time: 1179 s
Current children cumulated vsize: 247060 KiB
Current children cumulated memory: 216188 KiB
[startup+1200.57 s]
# the end of solver process 46111 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1196.24 s, system=0.962068 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 46289
/proc/meminfo: memFree=127597916/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=190756 memory=176704 CPUtime=1187.09 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 36334 0 0 0 118621 88 0 0 20 0 1 0 44189192 195334144 44176 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 47689 44176 800 2416 0 44791 0
Current children cumulated CPU time: 1187.09 s
Current children cumulated vsize: 197740 KiB
Current children cumulated memory: 181056 KiB
[startup+1196.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 46289
/proc/meminfo: memFree=127608864/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46114] ppid=46111 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/46114/stat : 46114 (timeout) S 46111 46114 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44189192 2723840 320 18446744073709551615 94567563038720 94567563055233 140728843621232 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94567563070000 94567563072088 94567567282176 140728843622806 140728843622946 140728843622946 140728843628519 0
/proc/46114/statm: 665 320 320 5 0 90 0
[pid=46115] ppid=46114 vsize=190756 memory=176704 CPUtime=1193.47 cores=4,6
/proc/46115/stat : 46115 (CASHWMaxSAT-Dis) R 46114 46114 44972 0 -1 4194304 36334 0 0 0 119259 88 0 0 20 0 1 0 44189192 195334144 44176 18446744073709551615 4198400 14093885 140731167636064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39735296 140731167639964 140731167640091 140731167640091 140731167645664 0
/proc/46115/statm: 47689 44176 800 2416 0 44791 0
Current children cumulated CPU time: 1193.47 s
Current children cumulated vsize: 197740 KiB
Current children cumulated memory: 181056 KiB
[startup+1198.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 46289
/proc/meminfo: memFree=127604768/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=1194.68 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 284 36558 0 0 0 0 119380 88 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.68 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1199.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 46291
/proc/meminfo: memFree=127704212/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=1194.68 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 284 36558 0 0 0 0 119380 88 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46290] ppid=46111 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46290/stat : 46290 (timeout) S 46111 46290 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44308992 2723840 352 18446744073709551615 94336880517120 94336880533633 140731264958688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336880548400 94336880550488 94336911249408 140731264960902 140731264961058 140731264961058 140731264966631 0
/proc/46290/statm: 665 352 352 5 0 90 0
[pid=46291] ppid=46290 vsize=130224 memory=91232 CPUtime=1.15 cores=4,6
/proc/46291/stat : 46291 (ExactPR-S) R 46290 46290 44972 0 -1 4194304 20852 0 0 0 111 4 0 0 20 0 1 0 44308993 133349376 22808 18446744073709551615 94293801816064 94293811116101 140731617287392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293812902208 94293812941288 94293837307904 140731617290654 140731617290791 140731617290791 140731617296364 0
/proc/46291/statm: 32556 22808 3360 2271 0 27194 0
Current children cumulated CPU time: 1195.83 s
Current children cumulated vsize: 137208 KiB
Current children cumulated memory: 95712 KiB
[startup+1200 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 46291
/proc/meminfo: memFree=127655828/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=1194.68 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 284 36558 0 0 0 0 119380 88 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46290] ppid=46111 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46290/stat : 46290 (timeout) S 46111 46290 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44308992 2723840 352 18446744073709551615 94336880517120 94336880533633 140731264958688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336880548400 94336880550488 94336911249408 140731264960902 140731264961058 140731264961058 140731264966631 0
/proc/46290/statm: 665 352 352 5 0 90 0
[pid=46291] ppid=46290 vsize=173768 memory=132960 CPUtime=1.96 cores=4,6
/proc/46291/stat : 46291 (ExactPR-S) R 46290 46290 44972 0 -1 4194304 31263 0 0 0 190 6 0 0 20 0 1 0 44308993 177938432 33240 18446744073709551615 94293801816064 94293811116101 140731617287392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293812902208 94293812941288 94293837307904 140731617290654 140731617290791 140731617290791 140731617296364 0
/proc/46291/statm: 43442 33240 3360 2271 0 38080 0
Current children cumulated CPU time: 1196.64 s
Current children cumulated vsize: 180752 KiB
Current children cumulated memory: 137440 KiB
[startup+1200.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 46291
/proc/meminfo: memFree=127655828/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=1194.68 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 284 36558 0 0 0 0 119380 88 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46290] ppid=46111 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46290/stat : 46290 (timeout) S 46111 46290 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44308992 2723840 352 18446744073709551615 94336880517120 94336880533633 140731264958688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336880548400 94336880550488 94336911249408 140731264960902 140731264961058 140731264961058 140731264966631 0
/proc/46290/statm: 665 352 352 5 0 90 0
[pid=46291] ppid=46290 vsize=183604 memory=142944 CPUtime=2.35 cores=4,6
/proc/46291/stat : 46291 (ExactPR-S) R 46290 46290 44972 0 -1 4194304 33772 0 0 0 229 6 0 0 20 0 1 0 44308993 188010496 35736 18446744073709551615 94293801816064 94293811116101 140731617287392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293812902208 94293812941288 94293837307904 140731617290654 140731617290791 140731617290791 140731617296364 0
/proc/46291/statm: 45901 35736 3360 2271 0 40539 0
Current children cumulated CPU time: 1197.03 s
Current children cumulated vsize: 190588 KiB
Current children cumulated memory: 147424 KiB
[startup+1200.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 46291
/proc/meminfo: memFree=127655828/131250000 swapFree=33010684/33010684
[pid=46111] ppid=46108 vsize=4324 memory=3072 CPUtime=1194.68 cores=4,6
/proc/46111/stat : 46111 (Hybrid-CASHWMax) S 46108 46111 44972 0 -1 4194304 284 36558 0 0 0 0 119380 88 20 0 1 0 44189190 4427776 768 18446744073709551615 94345814523904 94345815418437 140724184832288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94345815657488 94345815705232 94345833156608 140724184840535 140724184840689 140724184840689 140724184846291 0
/proc/46111/statm: 1081 768 704 219 0 143 0
[pid=46290] ppid=46111 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46290/stat : 46290 (timeout) S 46111 46290 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44308992 2723840 352 18446744073709551615 94336880517120 94336880533633 140731264958688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336880548400 94336880550488 94336911249408 140731264960902 140731264961058 140731264961058 140731264966631 0
/proc/46290/statm: 665 352 352 5 0 90 0
[pid=46291] ppid=46290 vsize=183804 memory=143200 CPUtime=2.45 cores=4,6
/proc/46291/stat : 46291 (ExactPR-S) R 46290 46290 44972 0 -1 4194304 33824 0 0 0 239 6 0 0 20 0 1 0 44308993 188215296 35800 18446744073709551615 94293801816064 94293811116101 140731617287392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293812902208 94293812941288 94293837307904 140731617290654 140731617290791 140731617290791 140731617296364 0
/proc/46291/statm: 45951 35800 3360 2271 0 40589 0
Current children cumulated CPU time: 1197.13 s
Current children cumulated vsize: 190788 KiB
Current children cumulated memory: 147680 KiB
Child status: 0
Real time (s): 1200.57
CPU time (s): 1197.2
CPU user time (s): 1196.24
CPU system time (s): 0.962068
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 296380
Max. memory (cumulated for all children) (KiB): 257620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.24
system time used= 0.962068
maximum resident set size= 260924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 772
involuntary context switches= 1157
# summary of solver processes directly reported to runsolver:
# pid: 46111
# total CPU time (s): 1197.2
# total CPU user time (s): 1196.24
# total CPU system time (s): 0.962068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.39459 second user time and 5.82694 second system time
The end
Begin job on nodeC016 at 2025-06-30 14:05:16
IDJOB=4484473
IDBENCH=146658
IDSOLVER=3329
FILE ID=nodeC016/4484473-1751285116
RUNJOBID= nodeC016-1751279092-44983
SLURM_JOB_ID= 9594205
Free space on /tmp= 432988 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484473-1751285116/watcher-4484473-1751285116 -o /tmp/evaluation-result-4484473-1751285116/solver-4484473-1751285116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44983 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484473-1751285116.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=607678995
nodeC016 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.749
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.48
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.739
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.591
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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.735
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.48
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.737
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.48
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.494
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.48
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 : 3700.000
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127725484 kB
MemAvailable: 128569856 kB
Buffers: 3280 kB
Cached: 1648068 kB
SwapCached: 0 kB
Active: 1455728 kB
Inactive: 1390708 kB
Active(anon): 1213160 kB
Inactive(anon): 0 kB
Active(file): 242568 kB
Inactive(file): 1390708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25064 kB
Writeback: 0 kB
AnonPages: 1194624 kB
Mapped: 113032 kB
Shmem: 18072 kB
KReclaimable: 100672 kB
Slab: 187980 kB
SReclaimable: 100672 kB
SUnreclaim: 87308 kB
KernelStack: 4352 kB
PageTables: 5568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1643876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 917504 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC016 at 2025-06-30 14:25:17