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: 63794 MiB (63069 MiB free)
memory of node 1: 64507 MiB (63739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490915-1751382611/watcher-4490915-1751382611 -o /tmp/evaluation-result-4490915-1751382611/solver-4490915-1751382611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751373005-54823 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490915-1751382611.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
solver pid=56062, runsolver pid=56055
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.18 4.19 4.18 6/259 56069
/proc/meminfo: memFree=129850964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=20728 memory=6528 CPUtime=0.07 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 657 0 0 0 7 0 0 0 20 0 1 0 53940814 21225472 1632 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 5182 1632 1152 2752 0 1835 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 11008 KiB
[startup+0.213748 s]*
/proc/loadavg: 4.18 4.19 4.18 6/259 56069
/proc/meminfo: memFree=129850208/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=20728 memory=6528 CPUtime=0.18 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 657 0 0 0 18 0 0 0 20 0 1 0 53940814 21225472 1632 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 5182 1632 1152 2752 0 1835 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 11008 KiB
[startup+0.313412 s]*
/proc/loadavg: 4.18 4.19 4.18 6/259 56069
/proc/meminfo: memFree=129840380/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=31808 memory=22400 CPUtime=0.27 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 3282 0 0 0 27 0 0 0 20 0 1 0 53940814 32571392 5600 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 7952 5600 2688 2752 0 4605 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 26880 KiB
[startup+0.700388 s]
/proc/loadavg: 4.18 4.19 4.18 5/259 56069
/proc/meminfo: memFree=129832316/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=35348 memory=26112 CPUtime=0.65 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 4201 0 0 0 64 1 0 0 20 0 1 0 53940814 36196352 6528 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 8837 6528 2784 2752 0 5490 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 42332 KiB
Current children cumulated memory: 30592 KiB
[startup+1.50043 s]
/proc/loadavg: 4.18 4.19 4.18 6/259 56069
/proc/meminfo: memFree=129797468/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=81404 memory=71936 CPUtime=1.44 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 16564 0 0 0 141 3 0 0 20 0 1 0 53940814 83357696 17984 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 20351 17984 2816 2752 0 17004 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 88388 KiB
Current children cumulated memory: 76416 KiB
[startup+3.11379 s]
/proc/loadavg: 4.18 4.19 4.18 6/259 56128
/proc/meminfo: memFree=129543496/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=182136 memory=171148 CPUtime=3.04 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 41662 0 0 0 297 7 0 0 20 0 1 0 53940814 186507264 42787 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 45534 42787 2816 2752 0 42187 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 189120 KiB
Current children cumulated memory: 175628 KiB
[startup+6.30036 s]
/proc/loadavg: 4.16 4.18 4.18 6/259 56187
/proc/meminfo: memFree=129475580/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=189784 memory=181064 CPUtime=6.23 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 51519 0 0 0 614 9 0 0 20 0 1 0 53940814 194338816 45266 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 47446 45266 2848 2752 0 44099 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 196768 KiB
Current children cumulated memory: 185544 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.18 4.17 6/259 56188
/proc/meminfo: memFree=129451512/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=189784 memory=181064 CPUtime=12.61 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 51519 0 0 0 1252 9 0 0 20 0 1 0 53940814 194338816 45266 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 47446 45266 2848 2752 0 44099 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 196768 KiB
Current children cumulated memory: 185544 KiB
[startup+25.5004 s]
/proc/loadavg: 4.34 4.22 4.19 6/259 56188
/proc/meminfo: memFree=129461052/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=189784 memory=181064 CPUtime=25.38 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 51519 0 0 0 2529 9 0 0 20 0 1 0 53940814 194338816 45266 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 47446 45266 2848 2752 0 44099 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 196768 KiB
Current children cumulated memory: 185544 KiB
[startup+51.113 s]
/proc/loadavg: 4.55 4.28 4.21 6/259 56188
/proc/meminfo: memFree=129426908/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56068/stat : 56068 (timeout) S 56062 56068 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53940813 2723840 352 18446744073709551615 94380791582720 94380791599233 140735420333392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94380791614000 94380791616088 94380797968384 140735420340656 140735420340770 140735420340770 140735420346343 0
/proc/56068/statm: 665 352 352 5 0 90 0
[pid=56069] ppid=56068 vsize=189784 memory=181320 CPUtime=50.94 cores=0,2
/proc/56069/stat : 56069 (NuPBO-DeepOptS+) R 56068 56068 54813 0 -1 4194304 51527 0 0 0 5085 9 0 0 20 0 1 0 53940814 194338816 45330 18446744073709551615 4198400 15468185 140733120880848 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27197440 140733120883132 140733120883233 140733120883233 140733120888806 0
/proc/56069/statm: 47446 45330 2848 2752 0 44099 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 196768 KiB
Current children cumulated memory: 185800 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.24 4.20 6/259 56190
/proc/meminfo: memFree=129431652/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56068] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=189428 memory=161200 CPUtime=1001.57 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 25097 0 0 0 99577 580 0 0 20 0 1 0 54180616 193974272 40300 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 47357 40300 1920 2271 0 41995 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 196412 KiB
Current children cumulated memory: 165680 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.16 2.74 4/244 56459
/proc/meminfo: memFree=129667060/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=190436 memory=162224 CPUtime=1061.42 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 25353 0 0 0 105528 614 0 0 20 0 1 0 54180616 195006464 40556 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 47609 40556 1920 2271 0 42247 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 197420 KiB
Current children cumulated memory: 166704 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.16 2.70 4/243 56461
/proc/meminfo: memFree=129659004/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=193124 memory=164272 CPUtime=1121.27 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 25875 0 0 0 111480 647 0 0 20 0 1 0 54180616 197758976 41068 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48281 41068 1920 2271 0 42919 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 200108 KiB
Current children cumulated memory: 168752 KiB
[startup+3582.3 s]
/proc/loadavg: 2.05 2.13 2.65 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=193636 memory=165296 CPUtime=1181.12 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26019 0 0 0 117427 685 0 0 20 0 1 0 54180616 198283264 41324 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48409 41324 1920 2271 0 43047 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 200620 KiB
Current children cumulated memory: 169776 KiB
[startup+3596.26 s]
# the end of solver process 56062 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.87 s, system=7.08166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.05 2.13 2.65 5/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=193636 memory=165296 CPUtime=1182.82 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26019 0 0 0 117597 685 0 0 20 0 1 0 54180616 198283264 41324 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48409 41324 1920 2271 0 43047 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 200620 KiB
Current children cumulated memory: 169776 KiB
[startup+3590.4 s]
/proc/loadavg: 2.05 2.13 2.65 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=193636 memory=165424 CPUtime=1189.2 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26050 0 0 0 118232 688 0 0 20 0 1 0 54180616 198283264 41356 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48409 41356 1920 2271 0 43047 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 200620 KiB
Current children cumulated memory: 169904 KiB
[startup+3593.6 s]
/proc/loadavg: 2.04 2.12 2.65 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=194404 memory=166064 CPUtime=1192.39 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26210 0 0 0 118549 690 0 0 20 0 1 0 54180616 199069696 41516 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48601 41516 1920 2271 0 43239 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 201388 KiB
Current children cumulated memory: 170544 KiB
[startup+3595.2 s]
/proc/loadavg: 2.04 2.12 2.65 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=194404 memory=166064 CPUtime=1193.98 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26210 0 0 0 118707 691 0 0 20 0 1 0 54180616 199069696 41516 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48601 41516 1920 2271 0 43239 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 201388 KiB
Current children cumulated memory: 170544 KiB
[startup+3596 s]*
/proc/loadavg: 2.04 2.12 2.64 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=2392.01 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 279 51799 0 0 0 0 239191 10 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
[pid=56305] ppid=56062 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/56305/stat : 56305 (timeout) S 56062 56305 54813 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54180614 2723840 352 18446744073709551615 94770129199104 94770129215617 140721003672768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94770129230384 94770129232472 94770131394560 140721003682179 140721003682338 140721003682338 140721003687911 0
/proc/56305/statm: 665 352 352 5 0 90 0
[pid=56307] ppid=56305 vsize=194404 memory=166064 CPUtime=1194.8 cores=0,2
/proc/56307/stat : 56307 (ExactPR-nols) R 56305 56305 54813 0 -1 4194304 26210 0 0 0 118788 692 0 0 20 0 1 0 54180616 199069696 41516 18446744073709551615 94104611516416 94104620816069 140734653412064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94104622602560 94104622641640 94104632528896 140734653413784 140734653413924 140734653413924 140734653419497 0
/proc/56307/statm: 48601 41516 1920 2271 0 43239 0
Current children cumulated CPU time: 3586.81 s
Current children cumulated vsize: 201388 KiB
Current children cumulated memory: 170544 KiB
[startup+3596.2 s]
/proc/loadavg: 2.04 2.12 2.64 4/242 56463
/proc/meminfo: memFree=129654964/131382116 swapFree=33010684/33010684
[pid=56062] ppid=56055 vsize=4324 memory=3072 CPUtime=3586.91 cores=0,2
/proc/56062/stat : 56062 (Hybrid-NuPBODee) S 56055 56062 54813 0 -1 4194304 391 79833 0 0 0 0 357985 706 20 0 1 0 53940810 4427776 768 18446744073709551615 94176697901056 94176698795589 140732631415040 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94176699034640 94176699082384 94176730259456 140732631423323 140732631423475 140732631423475 140732631429077 0
/proc/56062/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 3596.26
CPU time (s): 3586.95
CPU user time (s): 3579.87
CPU system time (s): 7.08166
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 227572
Max. memory (cumulated for all children) (KiB): 213004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.87
system time used= 7.08166
maximum resident set size= 208524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2246
involuntary context switches= 7917
# summary of solver processes directly reported to runsolver:
# pid: 56062
# total CPU time (s): 3586.95
# total CPU user time (s): 3579.87
# total CPU system time (s): 7.08166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4403 second user time and 35.6359 second system time
The end
Begin job on nodeC011 at 2025-07-01 17:10:11
IDJOB=4490915
IDBENCH=147636
IDSOLVER=3332
FILE ID=nodeC011/4490915-1751382611
RUNJOBID= nodeC011-1751373005-54823
SLURM_JOB_ID= 9598205
Free space on /tmp= 433004 MiB
SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490915-1751382611/watcher-4490915-1751382611 -o /tmp/evaluation-result-4490915-1751382611/solver-4490915-1751382611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751373005-54823 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490915-1751382611.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=204454098
nodeC011 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 : 0xb00001f
cpu MHz : 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3591.704
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.518
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.222
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3662.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.191
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.460
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.295
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129857168 kB
MemAvailable: 129924504 kB
Buffers: 3280 kB
Cached: 874596 kB
SwapCached: 0 kB
Active: 407648 kB
Inactive: 575520 kB
Active(anon): 123252 kB
Inactive(anon): 0 kB
Active(file): 284396 kB
Inactive(file): 575520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57780 kB
Writeback: 4 kB
AnonPages: 108364 kB
Mapped: 109928 kB
Shmem: 17960 kB
KReclaimable: 93708 kB
Slab: 174532 kB
SReclaimable: 93708 kB
SUnreclaim: 80824 kB
KernelStack: 4032 kB
PageTables: 3236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 455396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC011 at 2025-07-01 18:10:07