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 (61460 MiB free)
memory of node 1: 64465 MiB (62698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519221-1751556669/watcher-4519221-1751556669 -o /tmp/evaluation-result-4519221-1751556669/solver-4519221-1751556669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751554269-77303 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4519221-1751556669.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=77562, runsolver pid=77559
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127138676/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=0.08 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 546 0 0 0 8 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+0.205461 s]*
/proc/loadavg: 4.15 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127138676/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=0.18 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 18 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+0.304822 s]*
/proc/loadavg: 4.15 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127138676/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=0.28 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 28 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+0.700161 s]
/proc/loadavg: 4.15 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127135652/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=0.67 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 67 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+1.50016 s]
/proc/loadavg: 4.15 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127131588/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=1.47 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 147 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+3.10536 s]
/proc/loadavg: 4.13 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127126096/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=3.07 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 307 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127103096/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=6.26 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 626 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.04 5/271 77566
/proc/meminfo: memFree=127057308/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=12.64 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 1264 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.04 5/271 77566
/proc/meminfo: memFree=127013520/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=25.41 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 2541 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+51.1051 s]
/proc/loadavg: 4.06 4.08 4.04 5/271 77566
/proc/meminfo: memFree=126953272/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77565/stat : 77565 (timeout) S 77562 77565 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71345593 2723840 352 18446744073709551615 94265058918400 94265058934913 140730353973776 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94265058949680 94265058951768 94265065062400 140730353981872 140730353981986 140730353981986 140730353987559 0
/proc/77565/statm: 665 352 352 5 0 90 0
[pid=77566] ppid=77565 vsize=20716 memory=6144 CPUtime=50.96 cores=0,2
/proc/77566/stat : 77566 (NuPBO-DeepOptS+) R 77565 77565 77249 0 -1 4194304 552 0 0 0 5096 0 0 0 20 0 1 0 71345593 21213184 1536 18446744073709551615 4198400 15468185 140723737880240 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34189312 140723737889212 140723737889313 140723737889313 140723737894886 0
/proc/77566/statm: 5179 1536 1088 2752 0 1832 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 10496 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/271 77568
/proc/meminfo: memFree=126941232/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77565] ppid=77562 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=112460 memory=86264 CPUtime=1061.32 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17166 0 0 0 105472 660 0 0 20 0 1 0 71585394 115159040 21566 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28115 21566 2016 2271 0 22753 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 119444 KiB
Current children cumulated memory: 90488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 77954
/proc/meminfo: memFree=118248200/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=112788 memory=86392 CPUtime=1121.16 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17220 0 0 0 111408 708 0 0 20 0 1 0 71585394 115494912 21598 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28197 21598 2016 2271 0 22835 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 119772 KiB
Current children cumulated memory: 90616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 77957
/proc/meminfo: memFree=118247428/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1181 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 117349 751 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3596.12 s]
# the end of solver process 77562 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.88 s, system=7.65743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.12 4.09 5/271 77957
/proc/meminfo: memFree=118247680/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1182.69 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 117518 751 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3574.48 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 77957
/proc/meminfo: memFree=118247680/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1189.08 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 118154 754 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3580.87 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 77957
/proc/meminfo: memFree=118249072/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1192.26 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 118471 755 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 77957
/proc/meminfo: memFree=118249072/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1193.86 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 118631 755 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3595.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 77957
/proc/meminfo: memFree=118249072/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1194.26 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 118671 755 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.11 4.09 4/267 77975
/proc/meminfo: memFree=119059704/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=2391.79 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 281 782 0 0 0 0 239173 6 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
[pid=77900] ppid=77562 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77900/stat : 77900 (timeout) S 77562 77900 77249 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71585393 2723840 320 18446744073709551615 94413466226688 94413466243201 140730816144400 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94413466257968 94413466260056 94413472661504 140730816149891 140730816150050 140730816150050 140730816155623 0
/proc/77900/statm: 665 320 320 5 0 90 0
[pid=77901] ppid=77900 vsize=113656 memory=87288 CPUtime=1194.66 cores=0,2
/proc/77901/stat : 77901 (ExactPR-nols) R 77900 77900 77249 0 -1 4194304 17449 0 0 0 118710 756 0 0 20 0 1 0 71585394 116383744 21822 18446744073709551615 94899106463744 94899115763397 140737391892768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94899117549888 94899117588968 94899157659648 140737391901080 140737391901220 140737391901220 140737391906793 0
/proc/77901/statm: 28414 21822 2016 2271 0 23052 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 91512 KiB
[startup+3596.11 s]
/proc/loadavg: 4.07 4.11 4.09 4/267 77975
/proc/meminfo: memFree=119059704/131250000 swapFree=33010672/33010684
[pid=77562] ppid=77559 vsize=4324 memory=2944 CPUtime=3586.52 cores=0,2
/proc/77562/stat : 77562 (Hybrid-NuPBODee) S 77559 77562 77249 0 -1 4194304 468 20946 0 0 0 0 357887 765 20 0 1 0 71345592 4427776 736 18446744073709551615 94874612707328 94874613601861 140728406775280 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94874613840912 94874613888656 94874630340608 140728406784347 140728406784499 140728406784499 140728406790101 0
/proc/77562/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 3596.12
CPU time (s): 3586.54
CPU user time (s): 3578.88
CPU system time (s): 7.65743
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 120640
Max. memory (cumulated for all children) (KiB): 91512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.88
system time used= 7.65743
maximum resident set size= 87416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21765
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= 1921
involuntary context switches= 7912
# summary of solver processes directly reported to runsolver:
# pid: 77562
# total CPU time (s): 3586.54
# total CPU user time (s): 3578.88
# total CPU system time (s): 7.65743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36573 second user time and 14.6653 second system time
The end
Begin job on nodeC026 at 2025-07-03 17:31:09
IDJOB=4519221
IDBENCH=177196
IDSOLVER=3332
FILE ID=nodeC026/4519221-1751556669
RUNJOBID= nodeC026-1751554269-77303
SLURM_JOB_ID= 9598742
Free space on /tmp= 430480 MiB
SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519221-1751556669/watcher-4519221-1751556669 -o /tmp/evaluation-result-4519221-1751556669/solver-4519221-1751556669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751554269-77303 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4519221-1751556669.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa2358c675fac141ded392b1a236afa
RANDOM SEED=1500123104
nodeC026 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.823
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.59
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.961
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.59
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.948
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.59
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.59
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.775
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.59
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.614
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.59
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 : 3658.641
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.59
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 : 3599.795
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127138676 kB
MemAvailable: 129494984 kB
Buffers: 2128 kB
Cached: 2985308 kB
SwapCached: 4 kB
Active: 844852 kB
Inactive: 2315208 kB
Active(anon): 181012 kB
Inactive(anon): 9688 kB
Active(file): 663840 kB
Inactive(file): 2305520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28560 kB
Writeback: 0 kB
AnonPages: 175792 kB
Mapped: 115392 kB
Shmem: 18076 kB
KReclaimable: 447748 kB
Slab: 547524 kB
SReclaimable: 447748 kB
SUnreclaim: 99776 kB
KernelStack: 4336 kB
PageTables: 3620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 571840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430400 MiB
End job on nodeC026 at 2025-07-03 18:31:06