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 (61176 MiB free)
memory of node 1: 64465 MiB (62480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484518-1751285200/watcher-4484518-1751285200 -o /tmp/evaluation-result-4484518-1751285200/solver-4484518-1751285200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38110 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484518-1751285200.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=39299, runsolver pid=39296
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 39303
/proc/meminfo: memFree=126618920/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=41480 memory=25616 CPUtime=0.07 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 5920 0 0 0 7 0 0 0 20 0 1 0 44197826 42475520 6404 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 10370 6404 896 2593 0 7263 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 29840 KiB
[startup+0.206055 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 39303
/proc/meminfo: memFree=126616904/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=40800 memory=25032 CPUtime=0.19 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 6383 0 0 0 18 1 0 0 20 0 1 0 44197826 41779200 6258 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 10200 6258 960 2593 0 7093 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47784 KiB
Current children cumulated memory: 29256 KiB
[startup+0.30594 s]*
/proc/loadavg: 4.17 4.10 4.09 5/273 39303
/proc/meminfo: memFree=126616904/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=40932 memory=25032 CPUtime=0.29 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 6390 0 0 0 28 1 0 0 20 0 1 0 44197826 41914368 6258 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 10233 6258 960 2593 0 7126 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47916 KiB
Current children cumulated memory: 29256 KiB
[startup+0.70025 s]
/proc/loadavg: 4.17 4.10 4.09 5/273 39303
/proc/meminfo: memFree=126616904/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=40932 memory=25160 CPUtime=0.67 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 6420 0 0 0 66 1 0 0 20 0 1 0 44197826 41914368 6290 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 10233 6290 960 2593 0 7126 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 47916 KiB
Current children cumulated memory: 29384 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.10 4.09 5/273 39303
/proc/meminfo: memFree=126616904/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=41196 memory=25416 CPUtime=1.47 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 6477 0 0 0 146 1 0 0 20 0 1 0 44197826 42184704 6354 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 10299 6354 960 2593 0 7192 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48180 KiB
Current children cumulated memory: 29640 KiB
[startup+3.10574 s]
/proc/loadavg: 4.17 4.10 4.09 5/272 39303
/proc/meminfo: memFree=126601228/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=53936 memory=37704 CPUtime=3.07 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 9561 0 0 0 305 2 0 0 20 0 1 0 44197826 55230464 9426 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 13484 9426 960 2593 0 10377 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 60920 KiB
Current children cumulated memory: 41928 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 39303
/proc/meminfo: memFree=126583356/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=73308 memory=57520 CPUtime=6.25 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 21811 0 0 0 620 5 0 0 20 0 1 0 44197826 75067392 14380 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 18327 14380 992 2593 0 15220 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80292 KiB
Current children cumulated memory: 61744 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 39303
/proc/meminfo: memFree=126572996/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=79124 memory=62348 CPUtime=12.63 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 28609 0 0 0 1256 7 0 0 20 0 1 0 44197826 81022976 15587 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 19781 15587 992 2593 0 16674 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 86108 KiB
Current children cumulated memory: 66572 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.11 4.10 5/272 39357
/proc/meminfo: memFree=126625260/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=88640 memory=72648 CPUtime=25.37 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 34109 0 0 0 2524 13 0 0 20 0 1 0 44197826 90767360 18162 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 22160 18162 992 2593 0 19053 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 95624 KiB
Current children cumulated memory: 76872 KiB
[startup+51.1059 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 39358
/proc/meminfo: memFree=126454332/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=104860 memory=89020 CPUtime=50.9 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 36885 0 0 0 5076 14 0 0 20 0 1 0 44197826 107376640 22255 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 26215 22255 992 2593 0 23108 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 111844 KiB
Current children cumulated memory: 93244 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 39359
/proc/meminfo: memFree=126380992/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/39303/statm: 98660 91656 992 2593 0 95553 0
Current children cumulated CPU time: 1119.26 s
Current children cumulated vsize: 401624 KiB
Current children cumulated memory: 370848 KiB
[startup+1182.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 39523
/proc/meminfo: memFree=126113716/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=395756 memory=367720 CPUtime=1179.12 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 85651 0 0 0 117849 63 0 0 20 0 1 0 44197826 405254144 91930 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 98939 91930 992 2593 0 95832 0
Current children cumulated CPU time: 1179.12 s
Current children cumulated vsize: 402740 KiB
Current children cumulated memory: 371944 KiB
[startup+1210.35 s]
# the end of solver process 39299 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1206.36 s, system=0.734845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 39523
/proc/meminfo: memFree=126122604/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39302] ppid=39299 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/39302/stat : 39302 (timeout) S 39299 39302 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44197825 2723840 352 18446744073709551615 94917329375232 94917329391745 140720760058560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94917329406512 94917329408600 94917333630976 140720760064406 140720760064546 140720760064546 140720760070119 0
/proc/39302/statm: 665 352 352 5 0 90 0
[pid=39303] ppid=39302 vsize=395756 memory=367720 CPUtime=1187.2 cores=4,6
/proc/39303/stat : 39303 (CASHWMaxSAT-Dis) R 39302 39302 38099 0 -1 4194304 85752 0 0 0 118657 63 0 0 20 0 1 0 44197826 405254144 91930 18446744073709551615 4198400 14817773 140726217166960 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53587968 140726217169308 140726217169435 140726217169435 140726217175008 0
/proc/39303/statm: 98939 91930 992 2593 0 95832 0
Current children cumulated CPU time: 1187.2 s
Current children cumulated vsize: 402740 KiB
Current children cumulated memory: 371944 KiB
[startup+1203.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126396124/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=177208 memory=126840 CPUtime=5.15 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 32141 0 0 0 509 6 0 0 20 0 1 0 44317627 181460992 31710 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 44302 31710 3392 2271 0 38940 0
Current children cumulated CPU time: 1199.95 s
Current children cumulated vsize: 184192 KiB
Current children cumulated memory: 130936 KiB
[startup+1206.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391708/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=180880 memory=131960 CPUtime=8.33 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33400 0 0 0 827 6 0 0 20 0 1 0 44317627 185221120 32990 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45220 32990 3392 2271 0 39858 0
Current children cumulated CPU time: 1203.13 s
Current children cumulated vsize: 187864 KiB
Current children cumulated memory: 136056 KiB
[startup+1208 s]*
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391724/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=181924 memory=133112 CPUtime=9.93 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33707 0 0 0 987 6 0 0 20 0 1 0 44317627 186290176 33278 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45481 33278 3392 2271 0 40119 0
Current children cumulated CPU time: 1204.73 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137208 KiB
[startup+1209.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391724/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=181924 memory=133112 CPUtime=11.53 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33707 0 0 0 1147 6 0 0 20 0 1 0 44317627 186290176 33278 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45481 33278 3392 2271 0 40119 0
Current children cumulated CPU time: 1206.33 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137208 KiB
[startup+1210 s]*
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391724/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=181924 memory=133112 CPUtime=11.93 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33707 0 0 0 1187 6 0 0 20 0 1 0 44317627 186290176 33278 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45481 33278 3392 2271 0 40119 0
Current children cumulated CPU time: 1206.73 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137208 KiB
[startup+1210.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391724/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=181924 memory=133112 CPUtime=12.12 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33707 0 0 0 1206 6 0 0 20 0 1 0 44317627 186290176 33278 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45481 33278 3392 2271 0 40119 0
Current children cumulated CPU time: 1206.92 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137208 KiB
[startup+1210.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 39526
/proc/meminfo: memFree=126391724/131249996 swapFree=33010684/33010684
[pid=39299] ppid=39296 vsize=4324 memory=2816 CPUtime=1194.8 cores=4,6
/proc/39299/stat : 39299 (Hybrid-CASHWMax) S 39296 39299 38099 0 -1 4194304 283 86514 0 0 0 0 119415 65 20 0 1 0 44197824 4427776 704 18446744073709551615 93971947507712 93971948402245 140733475946512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93971948641296 93971948689040 93971957329920 140733475948887 140733475949041 140733475949041 140733475954643 0
/proc/39299/statm: 1081 704 672 219 0 143 0
[pid=39524] ppid=39299 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/39524/stat : 39524 (timeout) S 39299 39524 38099 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44317626 2723840 320 18446744073709551615 94243887644672 94243887661185 140724441383520 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94243887675952 94243887678040 94243895226368 140724441389446 140724441389602 140724441389602 140724441395175 0
/proc/39524/statm: 665 320 320 5 0 90 0
[pid=39525] ppid=39524 vsize=181924 memory=133112 CPUtime=12.22 cores=4,6
/proc/39525/stat : 39525 (ExactPR-S) R 39524 39524 38099 0 -1 4194304 33707 0 0 0 1216 6 0 0 20 0 1 0 44317627 186290176 33278 18446744073709551615 93957560152064 93957569452101 140733556845840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93957571238208 93957571277288 93957603495936 140733556853150 140733556853287 140733556853287 140733556858860 0
/proc/39525/statm: 45481 33278 3392 2271 0 40119 0
Current children cumulated CPU time: 1207.02 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137208 KiB
Child status: 0
Real time (s): 1210.35
CPU time (s): 1207.09
CPU user time (s): 1206.36
CPU system time (s): 0.734845
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 504732
Max. memory (cumulated for all children) (KiB): 479208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1206.36
system time used= 0.734845
maximum resident set size= 474984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121386
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 857
involuntary context switches= 601
# summary of solver processes directly reported to runsolver:
# pid: 39299
# total CPU time (s): 1207.09
# total CPU user time (s): 1206.36
# total CPU system time (s): 0.734845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.66245 second user time and 6.09974 second system time
The end
Begin job on nodeC023 at 2025-06-30 14:06:40
IDJOB=4484518
IDBENCH=146659
IDSOLVER=3327
FILE ID=nodeC023/4484518-1751285200
RUNJOBID= nodeC023-1751279092-38110
SLURM_JOB_ID= 9594208
Free space on /tmp= 432988 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484518-1751285200/watcher-4484518-1751285200 -o /tmp/evaluation-result-4484518-1751285200/solver-4484518-1751285200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38110 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484518-1751285200.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=2019619606
nodeC023 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.964
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.78
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.854
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.78
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 : 3598.984
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.78
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 : 3599.920
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.78
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.867
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
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.78
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 : 3632.092
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.78
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 : 3600.472
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126624968 kB
MemAvailable: 128690080 kB
Buffers: 3280 kB
Cached: 2867364 kB
SwapCached: 0 kB
Active: 1458104 kB
Inactive: 2561660 kB
Active(anon): 1167184 kB
Inactive(anon): 0 kB
Active(file): 290920 kB
Inactive(file): 2561660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26196 kB
Writeback: 12 kB
AnonPages: 1146928 kB
Mapped: 120784 kB
Shmem: 18064 kB
KReclaimable: 103540 kB
Slab: 191108 kB
SReclaimable: 103540 kB
SUnreclaim: 87568 kB
KernelStack: 4368 kB
PageTables: 5476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1543296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 763904 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC023 at 2025-06-30 14:26:50