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 (62043 MiB free)
memory of node 1: 64465 MiB (63644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518760-1751533018/watcher-4518760-1751533018 -o /tmp/evaluation-result-4518760-1751533018/solver-4518760-1751533018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82960 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518760-1751533018.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=85686, runsolver pid=85683
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128704292/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=24300 memory=9736 CPUtime=0.08 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 2053 0 0 0 8 0 0 0 20 0 1 0 68980546 24883200 2434 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 6075 2434 800 2416 0 3177 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31284 KiB
Current children cumulated memory: 14088 KiB
[startup+0.205655 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128700196/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=26988 memory=11784 CPUtime=0.18 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 2566 0 0 0 18 0 0 0 20 0 1 0 68980546 27635712 2946 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 6747 2946 800 2416 0 3849 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 16136 KiB
[startup+0.305587 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128700196/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=31540 memory=15724 CPUtime=0.28 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 3548 0 0 0 28 0 0 0 20 0 1 0 68980546 32296960 3931 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 7885 3931 800 2416 0 4987 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38524 KiB
Current children cumulated memory: 20076 KiB
[startup+0.700233 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128696308/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=45752 memory=28688 CPUtime=0.67 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 4767 0 0 0 67 0 0 0 20 0 1 0 68980546 46850048 7172 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 11438 7172 800 2416 0 8540 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 52736 KiB
Current children cumulated memory: 33040 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128712692/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=38680 memory=24492 CPUtime=1.47 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 5491 0 0 0 146 1 0 0 20 0 1 0 68980546 39608320 6123 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 9670 6123 800 2416 0 6772 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45664 KiB
Current children cumulated memory: 28844 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128682296/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=57356 memory=43040 CPUtime=3.07 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 6051 0 0 0 306 1 0 0 20 0 1 0 68980546 58732544 10760 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 14339 10760 800 2416 0 11441 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64340 KiB
Current children cumulated memory: 47392 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128713268/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=76056 memory=50396 CPUtime=6.25 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 6369 0 0 0 624 1 0 0 20 0 1 0 68980546 77881344 12599 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 19014 12599 800 2416 0 16116 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 83040 KiB
Current children cumulated memory: 54748 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 6/272 85690
/proc/meminfo: memFree=128632416/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=94908 memory=80476 CPUtime=12.63 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 7479 0 0 0 1261 2 0 0 20 0 1 0 68980546 97185792 20119 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 23727 20119 800 2416 0 20829 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 101892 KiB
Current children cumulated memory: 84828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 85690
/proc/meminfo: memFree=128665244/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=94908 memory=80468 CPUtime=25.4 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 9136 0 0 0 2536 4 0 0 20 0 1 0 68980546 97185792 20117 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 23727 20117 800 2416 0 20829 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 101892 KiB
Current children cumulated memory: 84820 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85690
/proc/meminfo: memFree=128582592/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/85689/stat : 85689 (timeout) S 85686 85689 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68980545 2723840 352 18446744073709551615 94194980093952 94194980110465 140727052672624 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94194980125232 94194980127320 94194986766336 140727052675480 140727052675618 140727052675618 140727052681191 0
/proc/85689/statm: 665 352 352 5 0 90 0
[pid=85690] ppid=85689 vsize=94920 memory=80604 CPUtime=50.94 cores=4,6
/proc/85690/stat : 85690 (CASHWMaxSAT-Dis) R 85689 85689 82945 0 -1 4194304 12906 0 0 0 5086 8 0 0 20 0 1 0 68980546 97198080 20151 18446744073709551615 4198400 14093885 140723374539440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24391680 140723374541213 140723374541339 140723374541339 140723374546912 0
/proc/85690/statm: 23730 20151 800 2416 0 20832 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 84956 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 85692
/proc/meminfo: memFree=128571772/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85689] ppid=85686 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/85690/statm: 46831 38719 800 2416 0 43933 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 194308 KiB
Current children cumulated memory: 159228 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 85752
/proc/meminfo: memFree=127495788/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=194532 memory=155304 CPUtime=43.07 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 39129 0 0 0 4300 7 0 0 20 0 1 0 69070446 199200768 38826 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 48633 38826 3392 2271 0 43271 0
Current children cumulated CPU time: 939.62 s
Current children cumulated vsize: 201516 KiB
Current children cumulated memory: 159528 KiB
[startup+975.083 s]
# the end of solver process 85686 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=970.317 s, system=1.94724 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 85752
/proc/meminfo: memFree=127481928/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=199276 memory=160168 CPUtime=47.95 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 40320 0 0 0 4788 7 0 0 20 0 1 0 69070446 204058624 40042 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 49819 40042 3392 2271 0 44457 0
Current children cumulated CPU time: 944.5 s
Current children cumulated vsize: 206260 KiB
Current children cumulated memory: 164392 KiB
[startup+960 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 85752
/proc/meminfo: memFree=127434520/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=211412 memory=172508 CPUtime=60.7 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 43706 0 0 0 6062 8 0 0 20 0 1 0 69070446 216485888 43127 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 52853 43127 3392 2271 0 47491 0
Current children cumulated CPU time: 957.25 s
Current children cumulated vsize: 218396 KiB
Current children cumulated memory: 176732 KiB
[startup+966.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 85753
/proc/meminfo: memFree=127411380/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=217684 memory=178780 CPUtime=67.06 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 45284 0 0 0 6698 8 0 0 20 0 1 0 69070446 222908416 44695 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 54421 44695 3392 2271 0 49059 0
Current children cumulated CPU time: 963.61 s
Current children cumulated vsize: 224668 KiB
Current children cumulated memory: 183004 KiB
[startup+969.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 85753
/proc/meminfo: memFree=127387632/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=225012 memory=185948 CPUtime=70.26 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 47067 0 0 0 7017 9 0 0 20 0 1 0 69070446 230412288 46487 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 56253 46487 3392 2271 0 50891 0
Current children cumulated CPU time: 966.81 s
Current children cumulated vsize: 231996 KiB
Current children cumulated memory: 190172 KiB
[startup+972.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 85753
/proc/meminfo: memFree=127374688/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=227060 memory=186332 CPUtime=73.44 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 47159 0 0 0 7335 9 0 0 20 0 1 0 69070446 232509440 46583 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 56765 46583 3392 2271 0 51403 0
Current children cumulated CPU time: 969.99 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 190556 KiB
[startup+974.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 85754
/proc/meminfo: memFree=127374824/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=227060 memory=186332 CPUtime=75.03 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 47168 0 0 0 7494 9 0 0 20 0 1 0 69070446 232509440 46583 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 56765 46583 3392 2271 0 51403 0
Current children cumulated CPU time: 971.58 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 190556 KiB
[startup+974.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 85754
/proc/meminfo: memFree=127374824/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=227060 memory=186460 CPUtime=75.43 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 47179 0 0 0 7534 9 0 0 20 0 1 0 69070446 232509440 46615 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 56765 46615 3392 2271 0 51403 0
Current children cumulated CPU time: 971.98 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 190684 KiB
[startup+975 s]*
/proc/loadavg: 4.07 4.08 4.09 5/271 85754
/proc/meminfo: memFree=127374824/131249992 swapFree=33010160/33010684
[pid=85686] ppid=85683 vsize=4324 memory=2944 CPUtime=896.55 cores=4,6
/proc/85686/stat : 85686 (Hybrid-CASHWMax) S 85683 85686 82945 0 -1 4194304 284 98122 0 0 0 0 89472 183 20 0 1 0 68980544 4427776 736 18446744073709551615 94212137283584 94212138178117 140734909182336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212138417168 94212138464912 94212138528768 140734909188437 140734909188592 140734909188592 140734909194194 0
/proc/85686/statm: 1081 736 672 219 0 143 0
[pid=85746] ppid=85686 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/85746/stat : 85746 (timeout) S 85686 85746 82945 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69070446 2723840 320 18446744073709551615 93971191398400 93971191414913 140725005742032 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93971191429680 93971191431768 93971218214912 140725005748613 140725005748770 140725005748770 140725005754343 0
/proc/85746/statm: 665 320 320 5 0 90 0
[pid=85747] ppid=85746 vsize=227060 memory=186460 CPUtime=75.64 cores=4,6
/proc/85747/stat : 85747 (ExactPR-S9) R 85746 85746 82945 0 -1 4194304 47180 0 0 0 7555 9 0 0 20 0 1 0 69070446 232509440 46615 18446744073709551615 94062952177664 94062961477765 140730495280112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94062963263808 94062963302888 94062984572928 140730495281564 140730495281702 140730495281702 140730495287275 0
/proc/85747/statm: 56765 46615 3392 2271 0 51403 0
Current children cumulated CPU time: 972.19 s
Current children cumulated vsize: 234044 KiB
Current children cumulated memory: 190684 KiB
Child status: 0
Real time (s): 975.083
CPU time (s): 972.265
CPU user time (s): 970.317
CPU system time (s): 1.94724
CPU usage (%): 99.711
Max. virtual memory (cumulated for all children) (KiB): 234044
Max. memory (cumulated for all children) (KiB): 190684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 970.317
system time used= 1.94724
maximum resident set size= 193000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 789
involuntary context switches= 5475
# summary of solver processes directly reported to runsolver:
# pid: 85686
# total CPU time (s): 972.265
# total CPU user time (s): 970.317
# total CPU system time (s): 1.94724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01403 second user time and 4.4732 second system time
The end
Begin job on nodeC025 at 2025-07-03 10:56:58
IDJOB=4518760
IDBENCH=177075
IDSOLVER=3330
FILE ID=nodeC025/4518760-1751533018
RUNJOBID= nodeC025-1751523362-82960
SLURM_JOB_ID= 9598650
Free space on /tmp= 432904 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518760-1751533018/watcher-4518760-1751533018 -o /tmp/evaluation-result-4518760-1751533018/solver-4518760-1751533018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82960 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518760-1751533018.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19
RANDOM SEED=337685793
nodeC025 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.811
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.67
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.836
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.67
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 : 3600.308
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.67
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 : 3632.766
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.67
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.015
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.67
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.830
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.67
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.502
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.67
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 128704292 kB
MemAvailable: 129277248 kB
Buffers: 2128 kB
Cached: 1364584 kB
SwapCached: 200 kB
Active: 704204 kB
Inactive: 1117944 kB
Active(anon): 451676 kB
Inactive(anon): 21616 kB
Active(file): 252528 kB
Inactive(file): 1096328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50152 kB
Writeback: 0 kB
AnonPages: 455784 kB
Mapped: 113036 kB
Shmem: 17856 kB
KReclaimable: 126680 kB
Slab: 215864 kB
SReclaimable: 126680 kB
SUnreclaim: 89184 kB
KernelStack: 4352 kB
PageTables: 4048 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 814296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 362496 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432880 MiB
End job on nodeC025 at 2025-07-03 11:13:13