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 (59617 MiB free)
memory of node 1: 64465 MiB (59250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518207-1751533593/watcher-4518207-1751533593 -o /tmp/evaluation-result-4518207-1751533593/solver-4518207-1751533593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74616 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518207-1751533593.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
Current StackSize limit: 8192 KiB
solver pid=75605, runsolver pid=75602
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121720636/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=23408 memory=5120 CPUtime=0.08 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 601 0 0 0 8 0 0 0 20 0 1 0 69033845 23969792 1280 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9472 KiB
[startup+0.20578 s]*
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121720636/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=23408 memory=5120 CPUtime=0.18 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 601 0 0 0 18 0 0 0 20 0 1 0 69033845 23969792 1280 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9472 KiB
[startup+0.305661 s]*
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121720636/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=23408 memory=5120 CPUtime=0.27 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 601 0 0 0 27 0 0 0 20 0 1 0 69033845 23969792 1280 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9472 KiB
[startup+0.700238 s]
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121712612/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=123052 memory=103112 CPUtime=0.66 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 22785 0 0 0 63 3 0 0 20 0 1 0 69033845 126005248 25778 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 30763 25778 768 2416 0 27865 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 130036 KiB
Current children cumulated memory: 107464 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121700452/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=171384 memory=140340 CPUtime=1.45 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 32353 0 0 0 140 5 0 0 20 0 1 0 69033845 175497216 35085 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 42846 35085 768 2416 0 39948 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 178368 KiB
Current children cumulated memory: 144692 KiB
[startup+3.10553 s]
/proc/loadavg: 4.13 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121668088/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=191804 memory=160900 CPUtime=3.05 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 34621 0 0 0 299 6 0 0 20 0 1 0 69033845 196407296 40225 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 47951 40225 768 2416 0 45053 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 198788 KiB
Current children cumulated memory: 165252 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.13 4.08 5/272 75609
/proc/meminfo: memFree=121668088/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=191804 memory=160900 CPUtime=6.23 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 34631 0 0 0 617 6 0 0 20 0 1 0 69033845 196407296 40225 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 47951 40225 768 2416 0 45053 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 198788 KiB
Current children cumulated memory: 165252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.08 5/272 75609
/proc/meminfo: memFree=121691564/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=191804 memory=160900 CPUtime=12.62 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 34641 0 0 0 1255 7 0 0 20 0 1 0 69033845 196407296 40225 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 47951 40225 768 2416 0 45053 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 198788 KiB
Current children cumulated memory: 165252 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.08 5/272 75609
/proc/meminfo: memFree=121669340/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=191804 memory=160900 CPUtime=25.38 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 34682 0 0 0 2531 7 0 0 20 0 1 0 69033845 196407296 40225 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 47951 40225 768 2416 0 45053 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 198788 KiB
Current children cumulated memory: 165252 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.08 5/272 75610
/proc/meminfo: memFree=121631872/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=191804 memory=161028 CPUtime=50.91 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 34705 0 0 0 5083 8 0 0 20 0 1 0 69033845 196407296 40257 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 47951 40257 768 2416 0 45053 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 198788 KiB
Current children cumulated memory: 165380 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/272 75615
/proc/meminfo: memFree=121587600/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 4.20 4.22 4.14 5/273 75841
/proc/meminfo: memFree=119956688/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=486828 memory=448448 CPUtime=1059.09 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 74313 0 0 0 105854 55 0 0 20 0 1 0 69033845 498511872 112112 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 121707 112112 800 2416 0 118809 0
Current children cumulated CPU time: 1059.09 s
Current children cumulated vsize: 493812 KiB
Current children cumulated memory: 452800 KiB
[startup+1122.3 s]
/proc/loadavg: 4.50 4.29 4.17 5/272 75844
/proc/meminfo: memFree=119913568/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=495628 memory=446532 CPUtime=1118.92 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 78477 0 0 0 111832 60 0 0 20 0 1 0 69033845 507523072 111633 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 123907 111633 800 2416 0 121009 0
Current children cumulated CPU time: 1118.92 s
Current children cumulated vsize: 502612 KiB
Current children cumulated memory: 450884 KiB
[startup+1182.3 s]
/proc/loadavg: 4.23 4.25 4.16 5/272 75846
/proc/meminfo: memFree=119906616/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500520 memory=460992 CPUtime=1178.71 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 80864 0 0 0 117808 63 0 0 20 0 1 0 69033845 512532480 115248 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125130 115248 800 2416 0 122232 0
Current children cumulated CPU time: 1178.71 s
Current children cumulated vsize: 507504 KiB
Current children cumulated memory: 465344 KiB
[startup+1198.36 s]
# the end of solver process 75605 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.03 s, system=0.680743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.27 4.26 4.17 5/272 75846
/proc/meminfo: memFree=119906616/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500520 memory=465264 CPUtime=1186.79 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 80913 0 0 0 118616 63 0 0 20 0 1 0 69033845 512532480 116316 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125130 116316 800 2416 0 122232 0
Current children cumulated CPU time: 1186.79 s
Current children cumulated vsize: 507504 KiB
Current children cumulated memory: 469616 KiB
[startup+1193.6 s]
/proc/loadavg: 4.27 4.26 4.17 5/272 75846
/proc/meminfo: memFree=119906684/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500660 memory=453260 CPUtime=1189.98 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 81008 0 0 0 118934 64 0 0 20 0 1 0 69033845 512675840 113315 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125165 113315 800 2416 0 122267 0
Current children cumulated CPU time: 1189.98 s
Current children cumulated vsize: 507644 KiB
Current children cumulated memory: 457612 KiB
[startup+1196.8 s]
/proc/loadavg: 4.25 4.26 4.16 5/272 75847
/proc/meminfo: memFree=119906684/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500876 memory=455600 CPUtime=1193.17 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 81069 0 0 0 119253 64 0 0 20 0 1 0 69033845 512897024 113900 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125219 113900 800 2416 0 122321 0
Current children cumulated CPU time: 1193.17 s
Current children cumulated vsize: 507860 KiB
Current children cumulated memory: 459952 KiB
[startup+1197.6 s]
/proc/loadavg: 4.25 4.26 4.16 5/272 75847
/proc/meminfo: memFree=119906684/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500876 memory=455600 CPUtime=1193.97 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 81069 0 0 0 119333 64 0 0 20 0 1 0 69033845 512897024 113900 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125219 113900 800 2416 0 122321 0
Current children cumulated CPU time: 1193.97 s
Current children cumulated vsize: 507860 KiB
Current children cumulated memory: 459952 KiB
[startup+1198 s]*
/proc/loadavg: 4.25 4.26 4.16 5/272 75847
/proc/meminfo: memFree=119906708/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
[pid=75608] ppid=75605 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/75608/stat : 75608 (timeout) S 75605 75608 74605 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 69033845 2723840 320 18446744073709551615 94127037243392 94127037259905 140735618057040 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94127037274672 94127037276760 94127056801792 140735618062742 140735618062882 140735618062882 140735618068455 0
/proc/75608/statm: 665 320 320 5 0 90 0
[pid=75609] ppid=75608 vsize=500876 memory=455600 CPUtime=1194.37 cores=4,6
/proc/75609/stat : 75609 (CASHWMaxSAT-Dis) R 75608 75608 74605 0 -1 4194304 81069 0 0 0 119373 64 0 0 20 0 1 0 69033845 512897024 113900 18446744073709551615 4198400 14093885 140725430378576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31297536 140725430380956 140725430381083 140725430381083 140725430386656 0
/proc/75609/statm: 125219 113900 800 2416 0 122321 0
Current children cumulated CPU time: 1194.37 s
Current children cumulated vsize: 507860 KiB
Current children cumulated memory: 459952 KiB
[startup+1198.2 s]
/proc/loadavg: 4.25 4.26 4.16 5/272 75847
/proc/meminfo: memFree=119906708/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=1194.39 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 283 81294 0 0 0 0 119375 64 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.3 s]
/proc/loadavg: 4.25 4.26 4.16 5/272 75847
/proc/meminfo: memFree=119906708/131249992 swapFree=33010160/33010684
[pid=75605] ppid=75602 vsize=4324 memory=3072 CPUtime=1194.39 cores=4,6
/proc/75605/stat : 75605 (Hybrid-CASHWMax) S 75602 75605 74605 0 -1 4194304 283 81294 0 0 0 0 119375 64 20 0 1 0 69033844 4427776 768 18446744073709551615 94470800084992 94470800979525 140724625900288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94470801218576 94470801266320 94470827184128 140724625901911 140724625902065 140724625902065 140724625907667 0
/proc/75605/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1198.36
CPU time (s): 1194.71
CPU user time (s): 1194.03
CPU system time (s): 0.680743
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 587644
Max. memory (cumulated for all children) (KiB): 480660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.03
system time used= 0.680743
maximum resident set size= 516684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 908
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 75605
# total CPU time (s): 1194.71
# total CPU user time (s): 1194.03
# total CPU system time (s): 0.680743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.59353 second user time and 5.62721 second system time
The end
Begin job on nodeC035 at 2025-07-03 11:06:33
IDJOB=4518207
IDBENCH=176692
IDSOLVER=3329
FILE ID=nodeC035/4518207-1751533593
RUNJOBID= nodeC035-1751529663-74616
SLURM_JOB_ID= 9598669
Free space on /tmp= 432748 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_500_10000_2_-399276.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518207-1751533593/watcher-4518207-1751533593 -o /tmp/evaluation-result-4518207-1751533593/solver-4518207-1751533593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74616 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518207-1751533593.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=900057864
nodeC035 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.750
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.51
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.743
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.51
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 : 3675.607
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.51
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 : 3595.413
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.51
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 : 3700.000
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.51
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.743
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.51
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 : 3599.750
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.51
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 : 3644.778
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 121720636 kB
MemAvailable: 127192092 kB
Buffers: 1840 kB
Cached: 6222016 kB
SwapCached: 8 kB
Active: 2699992 kB
Inactive: 5929816 kB
Active(anon): 2412412 kB
Inactive(anon): 11588 kB
Active(file): 287580 kB
Inactive(file): 5918228 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25092 kB
Writeback: 28 kB
AnonPages: 2409052 kB
Mapped: 113932 kB
Shmem: 18048 kB
KReclaimable: 209772 kB
Slab: 299928 kB
SReclaimable: 209772 kB
SUnreclaim: 90156 kB
KernelStack: 4416 kB
PageTables: 8192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2938924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1200128 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432720 MiB
End job on nodeC035 at 2025-07-03 11:26:32