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 (61483 MiB free)
memory of node 1: 64465 MiB (62848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518758-1751540946/watcher-4518758-1751540946 -o /tmp/evaluation-result-4518758-1751540946/solver-4518758-1751540946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751540946-75771 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518758-1751540946.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75820, runsolver pid=75811
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.65 1.57 2.76 6/281 75841
/proc/meminfo: memFree=127279016/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=25208 memory=10676 CPUtime=0.05 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 1970 0 0 0 5 0 0 0 20 0 1 0 69773281 25812992 2669 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 6302 2669 960 2593 0 3195 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 14900 KiB
[startup+0.206044 s]*
/proc/loadavg: 0.65 1.57 2.76 7/281 75841
/proc/meminfo: memFree=127276748/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=25340 memory=10856 CPUtime=0.15 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 2181 0 0 0 15 0 0 0 20 0 1 0 69773281 25948160 2714 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 6335 2714 960 2593 0 3228 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 32324 KiB
Current children cumulated memory: 15080 KiB
[startup+0.305563 s]*
/proc/loadavg: 0.65 1.57 2.76 6/281 75841
/proc/meminfo: memFree=127275992/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=25796 memory=11324 CPUtime=0.25 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 2505 0 0 0 25 0 0 0 20 0 1 0 69773281 26415104 2831 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 6449 2831 960 2593 0 3342 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 32780 KiB
Current children cumulated memory: 15548 KiB
[startup+0.70017 s]
/proc/loadavg: 0.65 1.57 2.76 6/281 75841
/proc/meminfo: memFree=127274984/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=28128 memory=13704 CPUtime=0.64 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 3756 0 0 0 64 0 0 0 20 0 1 0 69773281 28803072 3426 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 7032 3426 992 2593 0 3925 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 35112 KiB
Current children cumulated memory: 17928 KiB
[startup+1.50019 s]
/proc/loadavg: 0.65 1.57 2.76 6/281 75841
/proc/meminfo: memFree=127267172/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=28696 memory=14188 CPUtime=1.44 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 5640 0 0 0 143 1 0 0 20 0 1 0 69773281 29384704 3547 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 7174 3547 992 2593 0 4067 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 18412 KiB
[startup+3.10584 s]
/proc/loadavg: 0.92 1.61 2.76 6/280 75841
/proc/meminfo: memFree=127244144/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=34192 memory=19804 CPUtime=3.04 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 8441 0 0 0 302 2 0 0 20 0 1 0 69773281 35012608 4951 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 8548 4951 992 2593 0 5441 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 41176 KiB
Current children cumulated memory: 24028 KiB
[startup+6.30021 s]
/proc/loadavg: 0.92 1.61 2.76 6/280 75841
/proc/meminfo: memFree=127242524/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=37392 memory=23092 CPUtime=6.22 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 9815 0 0 0 620 2 0 0 20 0 1 0 69773281 38289408 5773 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 9348 5773 992 2593 0 6241 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 44376 KiB
Current children cumulated memory: 27316 KiB
[startup+12.7002 s]
/proc/loadavg: 1.47 1.71 2.78 6/280 75841
/proc/meminfo: memFree=127154704/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=61736 memory=47472 CPUtime=12.6 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 14195 0 0 0 1257 3 0 0 20 0 1 0 69773281 63217664 11868 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 15434 11868 992 2593 0 12327 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 51696 KiB
[startup+25.5002 s]
/proc/loadavg: 1.86 1.79 2.80 6/280 75841
/proc/meminfo: memFree=127153236/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=61736 memory=47472 CPUtime=25.36 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 14203 0 0 0 2533 3 0 0 20 0 1 0 69773281 63217664 11868 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 15434 11868 992 2593 0 12327 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 51696 KiB
[startup+51.1058 s]
/proc/loadavg: 2.59 1.97 2.83 6/280 75842
/proc/meminfo: memFree=126975416/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75834/stat : 75834 (timeout) S 75820 75834 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 320 18446744073709551615 93850319618048 93850319634561 140729596966432 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93850319649328 93850319651416 93850341978112 140729596971414 140729596971554 140729596971554 140729596977127 0
/proc/75834/statm: 665 320 320 5 0 90 0
[pid=75838] ppid=75834 vsize=126180 memory=111856 CPUtime=50.9 cores=4,6
/proc/75838/stat : 75838 (CASHWMaxSAT-Dis) R 75834 75834 75760 0 -1 4194304 19484 0 0 0 5083 7 0 0 20 0 1 0 69773281 129208320 27964 18446744073709551615 4198400 14817773 140736212724096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33488896 140736212728220 140736212728347 140736212728347 140736212733920 0
/proc/75838/statm: 31545 27964 992 2593 0 28438 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 133164 KiB
Current children cumulated memory: 116080 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.33 2.90 6/281 75848
/proc/meminfo: memFree=126988404/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75834] ppid=75820 vsize=2660 memory=1280 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/75838/statm: 66713 63116 992 2593 0 63606 0
Current children cumulated CPU time: 1179.28 s
Current children cumulated vsize: 273836 KiB
Current children cumulated memory: 256688 KiB
[startup+1242.3 s]
/proc/loadavg: 4.11 4.17 3.86 6/271 75906
/proc/meminfo: memFree=126705036/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=196872 memory=158916 CPUtime=44.07 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 38254 0 0 0 4400 7 0 0 20 0 1 0 69893081 201596928 39729 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 49218 39729 3360 2271 0 43856 0
Current children cumulated CPU time: 1239.06 s
Current children cumulated vsize: 203856 KiB
Current children cumulated memory: 163268 KiB
[startup+1274.59 s]
# the end of solver process 75820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1269.54 s, system=1.70439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.08 4.17 3.86 6/271 75906
/proc/meminfo: memFree=126663788/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=209388 memory=172764 CPUtime=56.12 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 41971 0 0 0 5605 7 0 0 20 0 1 0 69893081 214413312 43191 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 52347 43191 3360 2271 0 46985 0
Current children cumulated CPU time: 1251.11 s
Current children cumulated vsize: 216372 KiB
Current children cumulated memory: 177116 KiB
[startup+1267.2 s]
/proc/loadavg: 4.14 4.18 3.87 6/272 75912
/proc/meminfo: memFree=126631200/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=224992 memory=188124 CPUtime=68.88 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45822 0 0 0 6880 8 0 0 20 0 1 0 69893081 230391808 47031 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56248 47031 3360 2271 0 50886 0
Current children cumulated CPU time: 1263.87 s
Current children cumulated vsize: 231976 KiB
Current children cumulated memory: 192476 KiB
[startup+1270.4 s]
/proc/loadavg: 4.13 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126624004/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=72.07 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45910 0 0 0 7199 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1267.06 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
[startup+1272 s]*
/proc/loadavg: 4.13 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126602388/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=73.67 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45925 0 0 0 7359 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1268.66 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
[startup+1273.6 s]
/proc/loadavg: 4.12 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126618828/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=75.26 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45932 0 0 0 7518 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1270.25 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
[startup+1274 s]*
/proc/loadavg: 4.12 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126619080/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=75.66 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45933 0 0 0 7558 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1270.65 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
[startup+1274.4 s]
/proc/loadavg: 4.12 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126619080/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=76.06 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45933 0 0 0 7598 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1271.05 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
[startup+1274.5 s]
/proc/loadavg: 4.12 4.17 3.87 6/272 75912
/proc/meminfo: memFree=126619080/131250000 swapFree=33010672/33010684
[pid=75820] ppid=75811 vsize=4324 memory=2944 CPUtime=1194.99 cores=4,6
/proc/75820/stat : 75820 (Hybrid-CASHWMax) S 75811 75820 75760 0 -1 4194304 282 122734 0 0 0 0 119340 159 20 0 1 0 69773276 4427776 736 18446744073709551615 94050805960704 94050806855237 140728136573264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94050807094288 94050807142032 94050826674176 140728136579415 140728136579569 140728136579569 140728136585171 0
/proc/75820/statm: 1081 736 672 219 0 143 0
[pid=75897] ppid=75820 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75897/stat : 75897 (timeout) S 75820 75897 75760 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94129498316800 94129498333313 140735906856480 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94129498348080 94129498350168 94129516023808 140735906863494 140735906863650 140735906863650 140735906869223 0
/proc/75897/statm: 665 352 352 5 0 90 0
[pid=75898] ppid=75897 vsize=227040 memory=188508 CPUtime=76.16 cores=4,6
/proc/75898/stat : 75898 (ExactPR-S) R 75897 75897 75760 0 -1 4194304 45933 0 0 0 7608 8 0 0 20 0 1 0 69893081 232488960 47127 18446744073709551615 94192253206528 94192262506565 140723604410384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94192264292672 94192264331752 94192281350144 140723604412830 140723604412967 140723604412967 140723604418540 0
/proc/75898/statm: 56760 47127 3360 2271 0 51398 0
Current children cumulated CPU time: 1271.15 s
Current children cumulated vsize: 234024 KiB
Current children cumulated memory: 192860 KiB
Child status: 0
Real time (s): 1274.59
CPU time (s): 1271.24
CPU user time (s): 1269.54
CPU system time (s): 1.70439
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 467288
Max. memory (cumulated for all children) (KiB): 438128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1269.54
system time used= 1.70438
maximum resident set size= 445636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169812
page faults= 1
swaps= 0
block input operations= 32
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 891
involuntary context switches= 1003
# summary of solver processes directly reported to runsolver:
# pid: 75820
# total CPU time (s): 1271.24
# total CPU user time (s): 1269.54
# total CPU system time (s): 1.70439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.66256 second user time and 6.34532 second system time
The end
Begin job on nodeC026 at 2025-07-03 13:09:06
IDJOB=4518758
IDBENCH=177075
IDSOLVER=3327
FILE ID=nodeC026/4518758-1751540946
RUNJOBID= nodeC026-1751540946-75771
SLURM_JOB_ID= 9598700
Free space on /tmp= 430584 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518758-1751540946/watcher-4518758-1751540946 -o /tmp/evaluation-result-4518758-1751540946/solver-4518758-1751540946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751540946-75771 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518758-1751540946.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19
RANDOM SEED=2137926240
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.734
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.815
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 : 3604.189
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 : 3601.058
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.787
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 : 3601.196
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 : 3535.566
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.802
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: 127316824 kB
MemAvailable: 129600012 kB
Buffers: 2128 kB
Cached: 2912720 kB
SwapCached: 4 kB
Active: 738996 kB
Inactive: 2242608 kB
Active(anon): 75468 kB
Inactive(anon): 9688 kB
Active(file): 663528 kB
Inactive(file): 2232920 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 103356 kB
Writeback: 0 kB
AnonPages: 70164 kB
Mapped: 103936 kB
Shmem: 18076 kB
KReclaimable: 447540 kB
Slab: 546688 kB
SReclaimable: 447540 kB
SUnreclaim: 99148 kB
KernelStack: 4168 kB
PageTables: 2384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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= 430480 MiB
End job on nodeC026 at 2025-07-03 13:30:21