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.19 c Converting 18150 PB-constraints to clauses...
0.20/0.21 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.30/0.33 c ============================[ Encoding Statistics ]============================
0.30/0.33 c | Number of variables: 21708 |
0.30/0.33 c | Number of clauses: 92349 |
0.30/0.33 c ===============================================================================
300.35/301.33 c Starting SCIP solver (with time-limit: 900s) ...
1197.76/1201.33 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.04/3610.50 c *** TERMINATED by signal 15 ***
3600.04/3610.50 c _______________________________________________________________________________
3600.04/3610.50 c
3600.04/3610.50 c _______________________________________________________________________________
3600.04/3610.50 c
3600.04/3610.50 c =======================[ UWrMaxSat resources usage ]===========================
3600.04/3610.50 c Memory used : 655.00 MB
3600.04/3610.50 c CPU time : 3598.93 s
3600.04/3610.50 c Constr Enc: Srt/BDD/Add: 148 0 0
3600.04/3610.50 c _______________________________________________________________________________
3600.04/3610.50 c _______________________________________________________________________________
3600.04/3610.50 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 (62740 MiB free)
memory of node 1: 64465 MiB (63593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507101-1751175108/watcher-4507101-1751175108 -o /tmp/evaluation-result-4507101-1751175108/solver-4507101-1751175108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20757 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4507101-1751175108.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=21229, runsolver pid=21226
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.14 4.09 5/262 21230
/proc/meminfo: memFree=129357776/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=40984 memory=24796 CPUtime=0.09 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 5568 0 0 0 9 0 0 0 20 0 1 0 33133331 41967616 6199 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 10246 6199 1120 3139 0 6534 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 24796 KiB
[startup+0.205544 s]*
/proc/loadavg: 4.10 4.14 4.09 5/262 21230
/proc/meminfo: memFree=129349964/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=53644 memory=37636 CPUtime=0.2 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 9116 0 0 0 19 1 0 0 20 0 1 0 33133331 54931456 9409 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 13411 9409 1184 3139 0 9699 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53644 KiB
Current children cumulated memory: 37636 KiB
[startup+0.30548 s]*
/proc/loadavg: 4.10 4.14 4.09 5/262 21230
/proc/meminfo: memFree=129301832/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=96900 memory=86020 CPUtime=0.3 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 19796 0 0 0 28 2 0 0 20 0 1 0 33133331 99225600 21505 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 24225 21505 2688 3139 0 20513 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96900 KiB
Current children cumulated memory: 86020 KiB
[startup+0.700163 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 21230
/proc/meminfo: memFree=129301832/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=103240 memory=91348 CPUtime=0.68 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 22443 0 0 0 66 2 0 0 20 0 1 0 33133331 105717760 22837 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 25810 22837 2688 3139 0 22098 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103240 KiB
Current children cumulated memory: 91348 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 21230
/proc/meminfo: memFree=129301832/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=141444 memory=129060 CPUtime=1.49 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 32926 0 0 0 145 4 0 0 20 0 1 0 33133331 144838656 32265 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 35361 32265 2688 3139 0 31649 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 141444 KiB
Current children cumulated memory: 129060 KiB
[startup+3.10534 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 21231
/proc/meminfo: memFree=129261776/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=146276 memory=134876 CPUtime=3.08 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 34546 0 0 0 304 4 0 0 20 0 1 0 33133331 149786624 33719 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 36569 33719 2688 3139 0 32857 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146276 KiB
Current children cumulated memory: 134876 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.14 4.09 5/262 21231
/proc/meminfo: memFree=129260192/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=146276 memory=135132 CPUtime=6.27 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 34593 0 0 0 623 4 0 0 20 0 1 0 33133331 149786624 33783 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 36569 33783 2688 3139 0 32857 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146276 KiB
Current children cumulated memory: 135132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.09 5/262 21231
/proc/meminfo: memFree=129255844/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=148080 memory=136960 CPUtime=12.64 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 36081 0 0 0 1260 4 0 0 20 0 1 0 33133331 151633920 34240 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 37020 34240 2688 3139 0 33308 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 148080 KiB
Current children cumulated memory: 136960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 21231
/proc/meminfo: memFree=129232792/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=167472 memory=156364 CPUtime=25.4 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 39105 0 0 0 2535 5 0 0 20 0 1 0 33133331 171491328 39091 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 41868 39091 2688 3139 0 38156 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 167472 KiB
Current children cumulated memory: 156364 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 21232
/proc/meminfo: memFree=129308984/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=164864 memory=153220 CPUtime=50.94 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 41855 0 0 0 5087 7 0 0 20 0 1 0 33133331 168820736 38305 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 41216 38305 2688 3139 0 37504 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 164864 KiB
Current children cumulated memory: 153220 KiB
[startup+102.3 s]
/proc/loadavg: 4.56 4.24 4.13 5/263 21234
/proc/meminfo: memFree=129175948/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=203596 memory=187544 CPUtime=101.97 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 48959 0 0 0 10187 10 0 0 20 0 1 0 33133331 208482304 46886 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 50899 46886 2688 3139 0 47187 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 203596 KiB
Current children cumulated memory: 187544 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.21 4.12 5/264 21239
/proc/meminfo: memFree=129027844/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=193004 memory=181776 CPUtime=161.79 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 55218 0 0 0 16165 14 0 0 20 0 1 0 33133331 197636096 45444 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 48251 45444 2688 3139 0 44539 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 193004 KiB
Current children cumulated memory: 181776 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/264 21241
/proc/meminfo: memFree=128708272/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=204468 memory=193296 CPUtime=221.6 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 60073 0 0 0 22142 18 0 0 20 0 1 0 33133331 209375232 48324 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 51117 48324 2688 3139 0 47405 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 204468 KiB
Current children cumulated memory: 193296 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/264 21243
/proc/meminfo: memFree=128658664/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=208668 memory=195600 CPUtime=281.42 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 60686 0 0 0 28123 19 0 0 20 0 1 0 33133331 213676032 48900 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 52167 48900 2688 3139 0 48455 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 208668 KiB
Current children cumulated memory: 195600 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/265 21250
/proc/meminfo: memFree=128325748/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=487604 memory=423720 CPUtime=341.23 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 106085 0 0 0 34095 28 0 0 20 0 1 0 33133331 499306496 105930 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 121901 105930 3264 3139 0 118189 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 487604 KiB
Current children cumulated memory: 423720 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 21252
/proc/meminfo: memFree=128311360/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=496708 memory=432552 CPUtime=401.04 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 108304 0 0 0 40075 29 0 0 20 0 1 0 33133331 508628992 108138 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 124177 108138 3264 3139 0 120465 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 496708 KiB
Current children cumulated memory: 432552 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 21254
/proc/meminfo: memFree=128107804/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=497028 memory=433192 CPUtime=460.85 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 108396 0 0 0 46055 30 0 0 20 0 1 0 33133331 508956672 108298 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 124257 108298 3264 3139 0 120545 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 406772 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 21515
/proc/meminfo: memFree=128404232/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=339988 memory=332148 CPUtime=2913.82 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 187971 0 0 0 291300 82 0 0 20 0 1 0 33133331 348147712 83037 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 84997 83037 3296 3139 0 81285 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 339988 KiB
Current children cumulated memory: 332148 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 21517
/proc/meminfo: memFree=128358960/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=387016 memory=379176 CPUtime=2973.65 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 189205 0 0 0 297281 84 0 0 20 0 1 0 33133331 396304384 94794 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 96754 94794 3296 3139 0 93042 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 387016 KiB
Current children cumulated memory: 379176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 21563
/proc/meminfo: memFree=128537960/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=392048 memory=384208 CPUtime=3033.48 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 191113 0 0 0 303259 89 0 0 20 0 1 0 33133331 401457152 96052 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 98012 96052 3296 3139 0 94300 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 392048 KiB
Current children cumulated memory: 384208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 21566
/proc/meminfo: memFree=128550312/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=376100 memory=368260 CPUtime=3093.3 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 192105 0 0 0 309241 89 0 0 20 0 1 0 33133331 385126400 92065 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 94025 92065 3296 3139 0 90313 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 376100 KiB
Current children cumulated memory: 368260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/263 21568
/proc/meminfo: memFree=128522852/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=376184 memory=368344 CPUtime=3153.13 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 193110 0 0 0 315223 90 0 0 20 0 1 0 33133331 385212416 92086 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 94046 92086 3296 3139 0 90334 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 376184 KiB
Current children cumulated memory: 368344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 21570
/proc/meminfo: memFree=128499264/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=386420 memory=369660 CPUtime=3212.96 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 194829 0 0 0 321203 93 0 0 20 0 1 0 33133331 395694080 92415 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 96605 92415 3296 3139 0 92893 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 386420 KiB
Current children cumulated memory: 369660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 21575
/proc/meminfo: memFree=128597312/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=396776 memory=376776 CPUtime=3272.78 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 197330 0 0 0 327183 95 0 0 20 0 1 0 33133331 406298624 94194 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 99194 94194 3296 3139 0 95482 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 396776 KiB
Current children cumulated memory: 376776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 21577
/proc/meminfo: memFree=128790420/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=434460 memory=397472 CPUtime=3332.61 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 199675 0 0 0 333163 98 0 0 20 0 1 0 33133331 444887040 99368 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 108615 99368 3296 3139 0 104903 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 434460 KiB
Current children cumulated memory: 397472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 21583
/proc/meminfo: memFree=128656772/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=395764 memory=375764 CPUtime=3392.44 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 202314 0 0 0 339142 102 0 0 20 0 1 0 33133331 405262336 93941 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 98941 93941 3296 3139 0 95229 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 395764 KiB
Current children cumulated memory: 375764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/263 21630
/proc/meminfo: memFree=128976624/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=395936 memory=377728 CPUtime=3452.26 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 204198 0 0 0 345121 105 0 0 20 0 1 0 33133331 405438464 94432 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 98984 94432 3296 3139 0 95272 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 395936 KiB
Current children cumulated memory: 377728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 21678
/proc/meminfo: memFree=128867108/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=396604 memory=378396 CPUtime=3512.09 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 206117 0 0 0 351102 107 0 0 20 0 1 0 33133331 406122496 94599 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 99151 94599 3296 3139 0 95439 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 396604 KiB
Current children cumulated memory: 378396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 21724
/proc/meminfo: memFree=128875352/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=398752 memory=380544 CPUtime=3571.92 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 207506 0 0 0 357082 110 0 0 20 0 1 0 33133331 408322048 95136 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 99688 95136 3296 3139 0 95976 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 398752 KiB
Current children cumulated memory: 380544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 21725
/proc/meminfo: memFree=128761724/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=396840 memory=378632 CPUtime=3600.04 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 209111 0 0 0 359893 111 0 0 20 0 1 0 33133331 406364160 94658 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 99210 94658 3296 3139 0 95498 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 396840 KiB
Current children cumulated memory: 378632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 21229 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.93 s, system=1.12046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 21725
/proc/meminfo: memFree=128761724/131250000 swapFree=33010684/33010684
[pid=21229] ppid=21226 vsize=396840 memory=378632 CPUtime=3600.04 cores=0,2
/proc/21229/stat : 21229 (uwrmaxsat-scip) R 21226 21229 20747 0 -1 4194304 209111 0 0 0 359893 111 0 0 20 0 1 0 33133331 406364160 94658 18446744073709551615 4198400 17051741 140726205806048 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48099328 140726205811002 140726205811172 140726205811172 140726205816774 0
/proc/21229/statm: 99210 94658 3296 3139 0 95498 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 396840 KiB
Current children cumulated memory: 378632 KiB
Child status: 0
Real time (s): 3610.5
CPU time (s): 3600.05
CPU user time (s): 3598.93
CPU system time (s): 1.12046
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 671692
Max. memory (cumulated for all children) (KiB): 638736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.12046
maximum resident set size= 638736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209111
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= 41
involuntary context switches= 5162
# summary of solver processes directly reported to runsolver:
# pid: 21229
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.93
# total CPU system time (s): 1.12046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94035 second user time and 15.9007 second system time
The end
Begin job on nodeC028 at 2025-06-29 07:31:48
IDJOB=4507101
IDBENCH=158322
IDSOLVER=3373
FILE ID=nodeC028/4507101-1751175108
RUNJOBID= nodeC028-1751171326-20757
SLURM_JOB_ID= 9587534
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.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-4507101-1751175108/watcher-4507101-1751175108 -o /tmp/evaluation-result-4507101-1751175108/solver-4507101-1751175108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20757 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4507101-1751175108.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=656606470
nodeC028 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 : 3600.386
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 : 7000.16
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.088
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.144
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 : 7000.16
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 : 3545.262
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 : 7000.16
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 : 3600.077
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 : 7000.16
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 : 3600.006
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 : 7000.16
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 : 3588.235
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 : 7000.16
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 : 3591.336
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129365588 kB
MemAvailable: 129066824 kB
Buffers: 3280 kB
Cached: 512124 kB
SwapCached: 0 kB
Active: 991764 kB
Inactive: 255756 kB
Active(anon): 750184 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 255756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17544 kB
Writeback: 0 kB
AnonPages: 731360 kB
Mapped: 137840 kB
Shmem: 18068 kB
KReclaimable: 86280 kB
Slab: 169176 kB
SReclaimable: 86280 kB
SUnreclaim: 82896 kB
KernelStack: 4272 kB
PageTables: 4512 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1083216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 440320 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC028 at 2025-06-29 08:31:59