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 (63003 MiB free)
memory of node 1: 64465 MiB (63993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492030-1751133693/watcher-4492030-1751133693 -o /tmp/evaluation-result-4492030-1751133693/solver-4492030-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11753 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4492030-1751133693.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=12538, runsolver pid=12535
[startup+0.100059 s]*
/proc/loadavg: 2.79 0.89 0.37 4/271 12546
/proc/meminfo: memFree=130024608/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=36184 memory=17664 CPUtime=0.07 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 3763 0 0 0 7 0 0 0 20 0 1 0 29043893 37052416 4416 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 9046 4416 736 2416 0 6148 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 22016 KiB
[startup+0.20534 s]*
/proc/loadavg: 2.79 0.89 0.37 5/272 12556
/proc/meminfo: memFree=129991204/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=55720 memory=39128 CPUtime=0.18 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 9000 0 0 0 17 1 0 0 20 0 1 0 29043893 57057280 9782 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 13930 9782 768 2416 0 11032 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62704 KiB
Current children cumulated memory: 43480 KiB
[startup+0.305748 s]*
/proc/loadavg: 2.79 0.89 0.37 4/271 12556
/proc/meminfo: memFree=129987676/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=55036 memory=39280 CPUtime=0.27 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 10106 0 0 0 26 1 0 0 20 0 1 0 29043893 56356864 9820 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 13759 9820 768 2416 0 10861 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 62020 KiB
Current children cumulated memory: 43632 KiB
[startup+0.700207 s]
/proc/loadavg: 2.79 0.89 0.37 4/271 12571
/proc/meminfo: memFree=129975572/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=63708 memory=44808 CPUtime=0.66 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 11612 0 0 0 64 2 0 0 20 0 1 0 29043893 65236992 11202 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 15927 11202 800 2416 0 13029 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70692 KiB
Current children cumulated memory: 49160 KiB
[startup+1.5002 s]
/proc/loadavg: 2.79 0.89 0.37 5/275 12590
/proc/meminfo: memFree=129943468/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=70848 memory=55940 CPUtime=1.46 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 12356 0 0 0 144 2 0 0 20 0 1 0 29043893 72548352 13985 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 17712 13985 800 2416 0 14814 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 77832 KiB
Current children cumulated memory: 60292 KiB
[startup+3.10556 s]
/proc/loadavg: 2.79 0.89 0.37 5/275 12640
/proc/meminfo: memFree=129925192/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=70848 memory=55940 CPUtime=3.06 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 12362 0 0 0 304 2 0 0 20 0 1 0 29043893 72548352 13985 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 17712 13985 800 2416 0 14814 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77832 KiB
Current children cumulated memory: 60292 KiB
[startup+6.30019 s]
/proc/loadavg: 2.97 0.96 0.39 5/275 12640
/proc/meminfo: memFree=129917100/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=70848 memory=55940 CPUtime=6.25 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 12368 0 0 0 623 2 0 0 20 0 1 0 29043893 72548352 13985 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 17712 13985 800 2416 0 14814 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 77832 KiB
Current children cumulated memory: 60292 KiB
[startup+12.7002 s]
/proc/loadavg: 3.05 1.01 0.41 5/275 12640
/proc/meminfo: memFree=129903296/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=75488 memory=60096 CPUtime=12.63 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 13299 0 0 0 1261 2 0 0 20 0 1 0 29043893 77299712 15024 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 18872 15024 800 2416 0 15974 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 82472 KiB
Current children cumulated memory: 64448 KiB
[startup+25.5002 s]
/proc/loadavg: 3.26 1.16 0.47 5/275 12641
/proc/meminfo: memFree=129829036/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=106128 memory=88764 CPUtime=25.41 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 15035 0 0 0 2537 4 0 0 20 0 1 0 29043893 108675072 22191 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 26532 22191 800 2416 0 23634 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 113112 KiB
Current children cumulated memory: 93116 KiB
[startup+51.1056 s]
/proc/loadavg: 3.59 1.40 0.57 5/275 12641
/proc/meminfo: memFree=129762628/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=114772 memory=99952 CPUtime=50.94 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 15815 0 0 0 5090 4 0 0 20 0 1 0 29043893 117526528 24988 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 28693 24988 800 2416 0 25795 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 121756 KiB
Current children cumulated memory: 104304 KiB
[startup+91.3649 s]
# the end of solver process 12538 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=91.0517 s, system=0.061751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.59 1.40 0.57 5/275 12641
/proc/meminfo: memFree=129762628/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=114772 memory=99952 CPUtime=51.04 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 15815 0 0 0 5100 4 0 0 20 0 1 0 29043893 117526528 24988 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 28693 24988 800 2416 0 25795 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 121756 KiB
Current children cumulated memory: 104304 KiB
[startup+76.8002 s]
/proc/loadavg: 3.73 1.61 0.66 5/275 12643
/proc/meminfo: memFree=129704368/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=76.57 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17317 0 0 0 7653 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+83.2001 s]
/proc/loadavg: 3.76 1.65 0.68 5/275 12643
/proc/meminfo: memFree=129703864/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=82.96 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17317 0 0 0 8292 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+86.4002 s]
/proc/loadavg: 3.78 1.69 0.70 5/275 12643
/proc/meminfo: memFree=129703864/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=86.15 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17317 0 0 0 8611 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 86.15 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+89.6002 s]
/proc/loadavg: 3.78 1.69 0.70 5/275 12643
/proc/meminfo: memFree=129695924/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=89.34 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17319 0 0 0 8930 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 89.34 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+90.4002 s]
/proc/loadavg: 3.79 1.73 0.72 5/275 12643
/proc/meminfo: memFree=129695924/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=90.14 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17319 0 0 0 9010 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 90.14 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+90.8002 s]
/proc/loadavg: 3.79 1.73 0.72 5/275 12643
/proc/meminfo: memFree=129695924/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=90.54 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17319 0 0 0 9050 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 90.54 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+91.2001 s]
/proc/loadavg: 3.79 1.73 0.72 5/275 12643
/proc/meminfo: memFree=129696176/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=90.94 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17319 0 0 0 9090 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 90.94 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
[startup+91.3002 s]
/proc/loadavg: 3.79 1.73 0.72 5/275 12643
/proc/meminfo: memFree=129696176/131249992 swapFree=33010684/33010684
[pid=12538] ppid=12535 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/12538/stat : 12538 (Hybrid-CASHWMax) S 12535 12538 11736 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043891 4427776 736 18446744073709551615 94391083819008 94391084713541 140724943006480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94391084952592 94391085000336 94391106637824 140724943014231 140724943014385 140724943014385 140724943019987 0
/proc/12538/statm: 1081 736 672 219 0 143 0
[pid=12541] ppid=12538 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/12541/stat : 12541 (timeout) S 12538 12541 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29043893 2723840 352 18446744073709551615 94112058851328 94112058867841 140731473942112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94112058882608 94112058884696 94112071954432 140731473947040 140731473947170 140731473947170 140731473952743 0
/proc/12541/statm: 665 352 352 5 0 90 0
[pid=12542] ppid=12541 vsize=145172 memory=130440 CPUtime=91.04 cores=1,3
/proc/12542/stat : 12542 (CASHWMaxSAT-Dis) R 12541 12541 11736 0 -1 4194304 17319 0 0 0 9100 4 0 0 20 0 1 0 29043893 148656128 32610 18446744073709551615 4198400 14093885 140727593607888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38756352 140727593609638 140727593609755 140727593609755 140727593615328 0
/proc/12542/statm: 36293 32610 800 2416 0 33395 0
Current children cumulated CPU time: 91.04 s
Current children cumulated vsize: 152156 KiB
Current children cumulated memory: 134792 KiB
Child status: 0
Real time (s): 91.365
CPU time (s): 91.1134
CPU user time (s): 91.0517
CPU system time (s): 0.061751
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 152156
Max. memory (cumulated for all children) (KiB): 134792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.0517
system time used= 0.061751
maximum resident set size= 130440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 12538
# total CPU time (s): 91.1134
# total CPU user time (s): 91.0517
# total CPU system time (s): 0.061751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.219109 second user time and 0.410092 second system time
The end
Begin job on nodeC035 at 2025-06-28 20:01:33
IDJOB=4492030
IDBENCH=147757
IDSOLVER=3331
FILE ID=nodeC035/4492030-1751133693
RUNJOBID= nodeC035-1751133631-11753
SLURM_JOB_ID= 9587435
Free space on /tmp= 433008 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492030-1751133693/watcher-4492030-1751133693 -o /tmp/evaluation-result-4492030-1751133693/solver-4492030-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11753 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4492030-1751133693.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1132775857
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 : 3569.889
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 : 3596.086
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 : 3599.781
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 : 3599.259
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 : 3599.757
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.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.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 : 3600.559
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 : 3598.882
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: 130052244 kB
MemAvailable: 129659680 kB
Buffers: 3280 kB
Cached: 399392 kB
SwapCached: 0 kB
Active: 441484 kB
Inactive: 192780 kB
Active(anon): 249664 kB
Inactive(anon): 0 kB
Active(file): 191820 kB
Inactive(file): 192780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 71548 kB
Writeback: 4 kB
AnonPages: 235064 kB
Mapped: 109604 kB
Shmem: 18064 kB
KReclaimable: 65628 kB
Slab: 147484 kB
SReclaimable: 65628 kB
SUnreclaim: 81856 kB
KernelStack: 4336 kB
PageTables: 3604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 591588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 51200 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= 432992 MiB
End job on nodeC035 at 2025-06-28 20:03:05