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: 63665 MiB (54962 MiB free)
memory of node 1: 64507 MiB (63835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497172-1751390818/watcher-4497172-1751390818 -o /tmp/evaluation-result-4497172-1751390818/solver-4497172-1751390818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751390780-58710 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4497172-1751390818.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=59677, runsolver pid=59674
[startup+0.100069 s]*
/proc/loadavg: 2.49 2.19 2.91 5/274 59681
/proc/meminfo: memFree=121645012/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=27184 memory=13140 CPUtime=0.06 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 2472 0 0 0 6 0 0 0 20 0 1 0 54759674 27836416 3285 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 6796 3285 960 2593 0 3689 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 34168 KiB
Current children cumulated memory: 17492 KiB
[startup+0.206069 s]*
/proc/loadavg: 2.49 2.19 2.91 5/274 59681
/proc/meminfo: memFree=121632284/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=27184 memory=13140 CPUtime=0.16 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 2472 0 0 0 16 0 0 0 20 0 1 0 54759674 27836416 3285 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 6796 3285 960 2593 0 3689 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 34168 KiB
Current children cumulated memory: 17492 KiB
[startup+0.305963 s]*
/proc/loadavg: 2.49 2.19 2.91 5/274 59681
/proc/meminfo: memFree=121632284/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=27184 memory=13140 CPUtime=0.26 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 2472 0 0 0 26 0 0 0 20 0 1 0 54759674 27836416 3285 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 6796 3285 960 2593 0 3689 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 34168 KiB
Current children cumulated memory: 17492 KiB
[startup+0.70025 s]
/proc/loadavg: 2.49 2.19 2.91 5/274 59681
/proc/meminfo: memFree=121620060/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=32216 memory=18068 CPUtime=0.65 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 4260 0 0 0 64 1 0 0 20 0 1 0 54759674 32989184 4517 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 8054 4517 992 2593 0 4947 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 39200 KiB
Current children cumulated memory: 22420 KiB
[startup+1.50023 s]
/proc/loadavg: 2.49 2.19 2.91 5/274 59681
/proc/meminfo: memFree=121599708/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=38208 memory=24008 CPUtime=1.45 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 7277 0 0 0 143 2 0 0 20 0 1 0 54759674 39124992 6002 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 9552 6002 992 2593 0 6445 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 45192 KiB
Current children cumulated memory: 28360 KiB
[startup+3.10601 s]
/proc/loadavg: 2.61 2.22 2.92 5/274 59681
/proc/meminfo: memFree=121592148/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=43672 memory=29268 CPUtime=3.05 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 8819 0 0 0 302 3 0 0 20 0 1 0 54759674 44720128 7317 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 10918 7317 992 2593 0 7811 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 50656 KiB
Current children cumulated memory: 33620 KiB
[startup+6.30024 s]
/proc/loadavg: 2.61 2.22 2.92 5/274 59681
/proc/meminfo: memFree=121565856/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=49544 memory=35168 CPUtime=6.23 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 10054 0 0 0 620 3 0 0 20 0 1 0 54759674 50733056 8792 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 12386 8792 992 2593 0 9279 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 56528 KiB
Current children cumulated memory: 39520 KiB
[startup+12.7002 s]
/proc/loadavg: 2.72 2.25 2.92 5/274 59731
/proc/meminfo: memFree=121594312/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=57520 memory=43136 CPUtime=12.62 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 12075 0 0 0 1258 4 0 0 20 0 1 0 54759674 58900480 10784 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 14380 10784 992 2593 0 11273 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 47488 KiB
[startup+25.5003 s]
/proc/loadavg: 3.01 2.33 2.94 5/274 59881
/proc/meminfo: memFree=121068244/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=71268 memory=56792 CPUtime=25.39 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 14647 0 0 0 2534 5 0 0 20 0 1 0 54759674 72978432 14198 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 17817 14198 992 2593 0 14710 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78252 KiB
Current children cumulated memory: 61144 KiB
[startup+51.1059 s]
/proc/loadavg: 3.40 2.48 2.98 5/274 59882
/proc/meminfo: memFree=121012084/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=63588 memory=49112 CPUtime=50.92 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 16192 0 0 0 5087 5 0 0 20 0 1 0 54759674 65114112 12278 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 15897 12278 992 2593 0 12790 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 70572 KiB
Current children cumulated memory: 53464 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.75 3.04 5/274 59889
/proc/meminfo: memFree=120708904/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/59681/statm: 52127 48282 992 2593 0 49020 0
Current children cumulated CPU time: 1119.03 s
Current children cumulated vsize: 215492 KiB
Current children cumulated memory: 197480 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.09 3.83 5/272 60039
/proc/meminfo: memFree=120066332/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=59680] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/59680/stat : 59680 (timeout) S 59677 59680 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54759674 2723840 352 18446744073709551615 94075985895424 94075985911937 140721001884144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94075985926704 94075985928792 94075987906560 140721001888150 140721001888290 140721001888290 140721001893863 0
/proc/59680/statm: 665 352 352 5 0 90 0
[pid=59681] ppid=59680 vsize=210848 memory=195432 CPUtime=1178.84 cores=5,7
/proc/59681/stat : 59681 (CASHWMaxSAT-Dis) R 59680 59680 58694 0 -1 4194304 40156 0 0 0 117858 26 0 0 20 0 1 0 54759674 215908352 48858 18446744073709551615 4198400 14817773 140723166670848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33652736 140723166677404 140723166677531 140723166677531 140723166683104 0
/proc/59681/statm: 52712 48858 992 2593 0 49605 0
Current children cumulated CPU time: 1178.84 s
Current children cumulated vsize: 217832 KiB
Current children cumulated memory: 199784 KiB
[startup+1216.18 s]
# the end of solver process 59677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1212.22 s, system=0.366303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 4.21 4.12 3.84 5/272 60152
/proc/meminfo: memFree=121341304/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=150712 memory=102620 CPUtime=5.12 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 23100 0 0 0 509 3 0 0 20 0 1 0 54879475 154329088 25655 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 37678 25655 3360 2271 0 32316 0
Current children cumulated CPU time: 1199.64 s
Current children cumulated vsize: 157696 KiB
Current children cumulated memory: 106972 KiB
[startup+1209.6 s]
/proc/loadavg: 4.18 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121300248/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=233372 memory=184584 CPUtime=11.51 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 44386 0 0 0 1144 7 0 0 20 0 1 0 54879475 238972928 46146 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 58343 46146 3360 2271 0 52981 0
Current children cumulated CPU time: 1206.03 s
Current children cumulated vsize: 240356 KiB
Current children cumulated memory: 188936 KiB
[startup+1212.8 s]
/proc/loadavg: 4.18 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121301416/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=244604 memory=195976 CPUtime=14.7 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 47231 0 0 0 1463 7 0 0 20 0 1 0 54879475 250474496 48994 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 61151 48994 3360 2271 0 55789 0
Current children cumulated CPU time: 1209.22 s
Current children cumulated vsize: 251588 KiB
Current children cumulated memory: 200328 KiB
[startup+1214.4 s]
/proc/loadavg: 4.16 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121293484/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=248696 memory=200160 CPUtime=16.29 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 48513 0 0 0 1622 7 0 0 20 0 1 0 54879475 254664704 50040 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 62174 50040 3360 2271 0 56812 0
Current children cumulated CPU time: 1210.81 s
Current children cumulated vsize: 255680 KiB
Current children cumulated memory: 204512 KiB
[startup+1215.2 s]
/proc/loadavg: 4.16 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121293484/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=250744 memory=202208 CPUtime=17.09 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 49033 0 0 0 1702 7 0 0 20 0 1 0 54879475 256761856 50552 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 62686 50552 3360 2271 0 57324 0
Current children cumulated CPU time: 1211.61 s
Current children cumulated vsize: 257728 KiB
Current children cumulated memory: 206560 KiB
[startup+1215.6 s]
/proc/loadavg: 4.16 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121293484/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=250744 memory=202208 CPUtime=17.48 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 49033 0 0 0 1741 7 0 0 20 0 1 0 54879475 256761856 50552 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 62686 50552 3360 2271 0 57324 0
Current children cumulated CPU time: 1212 s
Current children cumulated vsize: 257728 KiB
Current children cumulated memory: 206560 KiB
[startup+1216 s]*
/proc/loadavg: 4.16 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121292728/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=252792 memory=204256 CPUtime=17.9 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 49545 0 0 0 1782 8 0 0 20 0 1 0 54879475 258859008 51064 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 63198 51064 3360 2271 0 57836 0
Current children cumulated CPU time: 1212.42 s
Current children cumulated vsize: 259776 KiB
Current children cumulated memory: 208608 KiB
[startup+1216.11 s]
/proc/loadavg: 4.16 4.11 3.84 5/271 60152
/proc/meminfo: memFree=121292728/131250000 swapFree=33010416/33010684
[pid=59677] ppid=59674 vsize=4324 memory=2944 CPUtime=1194.52 cores=5,7
/proc/59677/stat : 59677 (Hybrid-CASHWMax) S 59674 59677 58694 0 -1 4194304 283 40385 0 0 0 0 119426 26 20 0 1 0 54759671 4427776 736 18446744073709551615 94286115991552 94286116886085 140737368640320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94286117125136 94286117172880 94286129115136 140737368648023 140737368648177 140737368648177 140737368653779 0
/proc/59677/statm: 1081 736 672 219 0 143 0
[pid=60151] ppid=59677 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/60151/stat : 60151 (timeout) S 59677 60151 58694 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 54879474 2723840 352 18446744073709551615 94241613348864 94241613365377 140735463355872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94241613380144 94241613382232 94241616945152 140735463364998 140735463365154 140735463365154 140735463370727 0
/proc/60151/statm: 665 352 352 5 0 90 0
[pid=60152] ppid=60151 vsize=252792 memory=204256 CPUtime=18 cores=5,7
/proc/60152/stat : 60152 (ExactPR-S) R 60151 60151 58694 0 -1 4194304 49545 0 0 0 1792 8 0 0 20 0 1 0 54879475 258859008 51064 18446744073709551615 93897246896128 93897256196165 140727546030992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93897257982272 93897258021352 93897287294976 140727546034590 140727546034727 140727546034727 140727546040300 0
/proc/60152/statm: 63198 51064 3360 2271 0 57836 0
Current children cumulated CPU time: 1212.52 s
Current children cumulated vsize: 259776 KiB
Current children cumulated memory: 208608 KiB
Child status: 0
Real time (s): 1216.18
CPU time (s): 1212.59
CPU user time (s): 1212.22
CPU system time (s): 0.366303
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 259776
Max. memory (cumulated for all children) (KiB): 239076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1212.22
system time used= 0.366303
maximum resident set size= 234724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 798
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 59677
# total CPU time (s): 1212.59
# total CPU user time (s): 1212.22
# total CPU system time (s): 0.366303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83398 second user time and 4.0395 second system time
The end
Begin job on nodeC018 at 2025-07-01 19:26:58
IDJOB=4497172
IDBENCH=148155
IDSOLVER=3327
FILE ID=nodeC018/4497172-1751390818
RUNJOBID= nodeC018-1751390780-58710
SLURM_JOB_ID= 9598253
Free space on /tmp= 432852 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497172-1751390818/watcher-4497172-1751390818 -o /tmp/evaluation-result-4497172-1751390818/solver-4497172-1751390818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751390780-58710 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4497172-1751390818.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=279627272
nodeC018 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.759
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.66
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.853
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.459
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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.871
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.66
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 : 3584.835
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.66
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 : 3579.511
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.66
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.832
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121648788 kB
MemAvailable: 129431676 kB
Buffers: 2128 kB
Cached: 8549820 kB
SwapCached: 32 kB
Active: 686920 kB
Inactive: 8213356 kB
Active(anon): 366084 kB
Inactive(anon): 288 kB
Active(file): 320836 kB
Inactive(file): 8213068 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 81732 kB
Writeback: 0 kB
AnonPages: 351368 kB
Mapped: 115744 kB
Shmem: 18044 kB
KReclaimable: 176048 kB
Slab: 265736 kB
SReclaimable: 176048 kB
SUnreclaim: 89688 kB
KernelStack: 4384 kB
PageTables: 3856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 706716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432824 MiB
End job on nodeC018 at 2025-07-01 19:47:15