0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
0.09/0.20 c Converting 43180 PB-constraints to clauses...
0.09/0.20 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.30/0.32 c ============================[ Encoding Statistics ]============================
0.30/0.32 c | Number of variables: 1020 |
0.30/0.32 c | Number of clauses: 45560 |
0.30/0.32 c ===============================================================================
300.43/301.32 c Starting SCIP solver (with time-limit: 900s) ...
1198.00/1201.33 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.02/3610.60 c *** TERMINATED by signal 15 ***
3600.02/3610.60 c _______________________________________________________________________________
3600.02/3610.60 c
3600.02/3610.60 c _______________________________________________________________________________
3600.02/3610.60 c
3600.02/3610.60 c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3610.60 c Memory used : 725.00 MB
3600.02/3610.60 c CPU time : 3599.62 s
3600.02/3610.60 c Constr Enc: Srt/BDD/Add: 170 0 0
3600.02/3610.60 c _______________________________________________________________________________
3600.02/3610.60 c _______________________________________________________________________________
3600.02/3610.60 s UNKNOWN
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 (57179 MiB free)
memory of node 1: 64465 MiB (63091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494469-1751150018/watcher-4494469-1751150018 -o /tmp/evaluation-result-4494469-1751150018/solver-4494469-1751150018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13298 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4494469-1751150018.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=17324, runsolver pid=17321
[startup+0.100063 s]*
/proc/loadavg: 4.24 4.16 4.11 5/266 17325
/proc/meminfo: memFree=123132884/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=38496 memory=22656 CPUtime=0.09 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 4689 0 0 0 9 0 0 0 20 0 1 0 30680485 39419904 5664 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 3 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 9624 5664 1120 3139 0 5912 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38496 KiB
Current children cumulated memory: 22656 KiB
[startup+0.205676 s]*
/proc/loadavg: 4.24 4.16 4.11 5/266 17325
/proc/meminfo: memFree=123108564/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=59704 memory=49792 CPUtime=0.19 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 10047 0 0 0 19 0 0 0 20 0 1 0 30680485 61136896 12448 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 14926 12448 2688 3139 0 11214 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 49792 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.24 4.16 4.11 5/266 17325
/proc/meminfo: memFree=123100372/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=94132 memory=83328 CPUtime=0.3 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 18451 0 0 0 28 2 0 0 20 0 1 0 30680485 96391168 20832 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 23533 20832 2688 3139 0 19821 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94132 KiB
Current children cumulated memory: 83328 KiB
[startup+0.700174 s]
/proc/loadavg: 4.24 4.16 4.11 5/266 17325
/proc/meminfo: memFree=123000812/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=103804 memory=92584 CPUtime=0.68 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 23143 0 0 0 65 3 0 0 20 0 1 0 30680485 106295296 23146 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 25951 23146 2688 3139 0 22239 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103804 KiB
Current children cumulated memory: 92584 KiB
[startup+1.50018 s]
/proc/loadavg: 4.24 4.16 4.11 5/266 17325
/proc/meminfo: memFree=122943472/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=103388 memory=92512 CPUtime=1.48 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 26036 0 0 0 145 3 0 0 20 0 1 0 30680485 105869312 23128 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 25847 23128 2688 3139 0 22135 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103388 KiB
Current children cumulated memory: 92512 KiB
[startup+3.10536 s]
/proc/loadavg: 4.22 4.16 4.11 5/266 17325
/proc/meminfo: memFree=122872376/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=104324 memory=93472 CPUtime=3.08 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 29745 0 0 0 304 4 0 0 20 0 1 0 30680485 106827776 23368 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 26081 23368 2688 3139 0 22369 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104324 KiB
Current children cumulated memory: 93472 KiB
[startup+6.30015 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 17339
/proc/meminfo: memFree=128310924/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=104800 memory=93568 CPUtime=6.27 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 34227 0 0 0 622 5 0 0 20 0 1 0 30680485 107315200 23392 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 26200 23392 2688 3139 0 22488 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104800 KiB
Current children cumulated memory: 93568 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.11 5/265 17339
/proc/meminfo: memFree=128415928/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=110328 memory=99600 CPUtime=12.65 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 38937 0 0 0 1259 6 0 0 20 0 1 0 30680485 112975872 24900 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 27582 24900 2688 3139 0 23870 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110328 KiB
Current children cumulated memory: 99600 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.18 4.12 5/266 17370
/proc/meminfo: memFree=127880264/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=106156 memory=95436 CPUtime=25.41 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 42818 0 0 0 2534 7 0 0 20 0 1 0 30680485 108703744 23859 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 26539 23859 2688 3139 0 22827 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106156 KiB
Current children cumulated memory: 95436 KiB
[startup+51.1054 s]
/proc/loadavg: 4.28 4.18 4.12 5/266 17371
/proc/meminfo: memFree=128178516/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=125980 memory=115092 CPUtime=50.95 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 47869 0 0 0 5085 10 0 0 20 0 1 0 30680485 129003520 28773 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 31495 28773 2688 3139 0 27783 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 125980 KiB
Current children cumulated memory: 115092 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/266 17418
/proc/meminfo: memFree=128413056/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=110644 memory=99796 CPUtime=102 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 55106 0 0 0 10187 13 0 0 20 0 1 0 30680485 113299456 24949 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 27661 24949 2688 3139 0 23949 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 110644 KiB
Current children cumulated memory: 99796 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.11 4/262 17428
/proc/meminfo: memFree=129318908/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=115672 memory=104952 CPUtime=161.83 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 61841 0 0 0 16165 18 0 0 20 0 1 0 30680485 118448128 26238 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 28918 26238 2688 3139 0 25206 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 115672 KiB
Current children cumulated memory: 104952 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/266 18009
/proc/meminfo: memFree=128939956/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=134456 memory=123624 CPUtime=221.65 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 67454 0 0 0 22144 21 0 0 20 0 1 0 30680485 137682944 30906 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 33614 30906 2688 3139 0 29902 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 134456 KiB
Current children cumulated memory: 123624 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/264 18910
/proc/meminfo: memFree=129270216/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=159644 memory=148756 CPUtime=281.48 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 69947 0 0 0 28125 23 0 0 20 0 1 0 30680485 163475456 37189 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 39911 37189 2688 3139 0 36199 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 159644 KiB
Current children cumulated memory: 148756 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 18960
/proc/meminfo: memFree=129075168/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=580628 memory=508376 CPUtime=341.32 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 123951 0 0 0 34098 34 0 0 20 0 1 0 30680485 594563072 127094 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 145157 127094 3296 3139 0 141445 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 580628 KiB
Current children cumulated memory: 508376 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 19051
/proc/meminfo: memFree=129079864/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=604816 memory=533592 CPUtime=401.14 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 130269 0 0 0 40080 34 0 0 20 0 1 0 30680485 619331584 133398 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 151204 133398 3296 3139 0 147492 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 604816 KiB
Current children cumulated memory: 533592 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 19142
/proc/meminfo: memFree=129044516/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=608740 memory=533976 CPUtime=460.97 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 130413 0 0 0 46063 34 0 0 20 0 1 0 30680485 623349760 133494 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 152185 133494 3296 3139 0 148473 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 504708 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/264 19496
/proc/meminfo: memFree=128900928/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=2854.25 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164221 0 0 0 285384 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/264 19497
/proc/meminfo: memFree=128856528/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=2914.05 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164255 0 0 0 291364 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/264 19499
/proc/meminfo: memFree=128770848/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=2973.84 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164333 0 0 0 297343 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/265 19502
/proc/meminfo: memFree=128721900/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3033.63 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164353 0 0 0 303322 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/264 19504
/proc/meminfo: memFree=128642512/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3093.42 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164435 0 0 0 309301 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/263 19506
/proc/meminfo: memFree=128606692/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3153.21 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164457 0 0 0 315280 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/264 19509
/proc/meminfo: memFree=128555380/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3213 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164538 0 0 0 321259 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 19511
/proc/meminfo: memFree=129000196/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3272.8 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164559 0 0 0 327239 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/263 19513
/proc/meminfo: memFree=128956584/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3332.6 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164643 0 0 0 333219 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19518
/proc/meminfo: memFree=128914972/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3392.4 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164665 0 0 0 339199 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 19525
/proc/meminfo: memFree=128909304/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3452.2 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164730 0 0 0 345179 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 19527
/proc/meminfo: memFree=128891748/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3511.99 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164773 0 0 0 351158 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 19530
/proc/meminfo: memFree=129304908/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3571.81 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164862 0 0 0 357140 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 19532
/proc/meminfo: memFree=129308560/131250000 swapFree=33010684/33010684
[pid=17324] ppid=17321 vsize=520024 memory=504708 CPUtime=3600.02 cores=1,3
/proc/17324/stat : 17324 (uwrmaxsat-scip) R 17321 17324 13281 0 -1 4194304 164884 0 0 0 359961 41 0 0 20 0 1 0 30680485 532504576 126177 18446744073709551615 4198400 17051741 140736968500528 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 38895616 140736968505658 140736968505828 140736968505828 140736968511430 0
/proc/17324/statm: 130006 126177 3296 3139 0 126294 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 520024 KiB
Current children cumulated memory: 504708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 17324 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.419451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3599.62
CPU system time (s): 0.419451
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 742720
Max. memory (cumulated for all children) (KiB): 692696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.419451
maximum resident set size= 692696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 1380
# summary of solver processes directly reported to runsolver:
# pid: 17324
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.419451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35621 second user time and 14.8178 second system time
The end
Begin job on nodeC026 at 2025-06-29 00:33:38
IDJOB=4494469
IDBENCH=147891
IDSOLVER=3373
FILE ID=nodeC026/4494469-1751150018
RUNJOBID= nodeC026-1751144206-13298
SLURM_JOB_ID= 9587438
Free space on /tmp= 432920 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494469-1751150018/watcher-4494469-1751150018 -o /tmp/evaluation-result-4494469-1751150018/solver-4494469-1751150018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13298 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4494469-1751150018.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=1905517192
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.281
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3586.873
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.805
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3641.154
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123165528 kB
MemAvailable: 122920584 kB
Buffers: 3280 kB
Cached: 566132 kB
SwapCached: 0 kB
Active: 6753812 kB
Inactive: 359400 kB
Active(anon): 6561880 kB
Inactive(anon): 0 kB
Active(file): 191932 kB
Inactive(file): 359400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17768 kB
Writeback: 0 kB
AnonPages: 6546204 kB
Mapped: 140416 kB
Shmem: 18080 kB
KReclaimable: 85924 kB
Slab: 168588 kB
SReclaimable: 85924 kB
SUnreclaim: 82664 kB
KernelStack: 4304 kB
PageTables: 15984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7036684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1652736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-29 01:33:49