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.00/0.07 c Converting 9408 PB-constraints to clauses...
0.00/0.07 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.09/0.16 c ============================[ Encoding Statistics ]============================
0.09/0.16 c | Number of variables: 17519 |
0.09/0.16 c | Number of clauses: 70418 |
0.09/0.16 c ===============================================================================
300.21/301.16 c Starting SCIP solver (with time-limit: 900s) ...
1198.33/1201.56 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.08/3609.80 c *** TERMINATED by signal 15 ***
3600.08/3609.80 c _______________________________________________________________________________
3600.08/3609.80 c
3600.08/3609.80 c _______________________________________________________________________________
3600.08/3609.80 c
3600.08/3609.80 c =======================[ UWrMaxSat resources usage ]===========================
3600.08/3609.80 c Memory used : 386.00 MB
3600.08/3609.80 c CPU time : 3598.82 s
3600.08/3609.80 c Constr Enc: Srt/BDD/Add: 936 0 0
3600.08/3609.80 c _______________________________________________________________________________
3600.08/3609.80 c _______________________________________________________________________________
3600.08/3609.80 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: 63665 MiB (62476 MiB free)
memory of node 1: 64507 MiB (63799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512987-1751199627/watcher-4512987-1751199627 -o /tmp/evaluation-result-4512987-1751199627/solver-4512987-1751199627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512987-1751199627.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27271, runsolver pid=27268
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.15 4.11 5/263 27272
/proc/meminfo: memFree=129306820/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=46536 memory=36284 CPUtime=0.09 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 6777 0 0 0 9 0 0 0 20 0 1 0 35642944 47652864 9071 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 11634 9071 2688 3139 0 7922 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46536 KiB
Current children cumulated memory: 36284 KiB
[startup+0.205551 s]*
/proc/loadavg: 4.12 4.15 4.11 5/263 27272
/proc/meminfo: memFree=129291196/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=59860 memory=48180 CPUtime=0.2 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 10753 0 0 0 19 1 0 0 20 0 1 0 35642944 61296640 12045 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 14965 12045 2688 3139 0 11253 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59860 KiB
Current children cumulated memory: 48180 KiB
[startup+0.305498 s]*
/proc/loadavg: 4.12 4.15 4.11 5/263 27272
/proc/meminfo: memFree=129287100/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=63332 memory=51668 CPUtime=0.3 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 11111 0 0 0 29 1 0 0 20 0 1 0 35642944 64851968 12917 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 15833 12917 2688 3139 0 12121 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63332 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700164 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 27272
/proc/meminfo: memFree=129287100/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=64252 memory=52668 CPUtime=0.69 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 12034 0 0 0 68 1 0 0 20 0 1 0 35642944 65794048 13167 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 16063 13167 2688 3139 0 12351 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64252 KiB
Current children cumulated memory: 52668 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 27272
/proc/meminfo: memFree=129283320/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=66752 memory=55448 CPUtime=1.48 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 14430 0 0 0 147 1 0 0 20 0 1 0 35642944 68354048 13862 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 16688 13862 2720 3139 0 12976 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66752 KiB
Current children cumulated memory: 55448 KiB
[startup+3.10533 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 27272
/proc/meminfo: memFree=129263324/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=67984 memory=56600 CPUtime=3.08 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 14739 0 0 0 307 1 0 0 20 0 1 0 35642944 69615616 14150 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 16996 14150 2720 3139 0 13284 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67984 KiB
Current children cumulated memory: 56600 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 27272
/proc/meminfo: memFree=129257748/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=73764 memory=62464 CPUtime=6.27 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 16460 0 0 0 625 2 0 0 20 0 1 0 35642944 75534336 15616 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 18441 15616 2720 3139 0 14729 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73764 KiB
Current children cumulated memory: 62464 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.11 5/263 27273
/proc/meminfo: memFree=129245468/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=71480 memory=60324 CPUtime=12.65 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 17980 0 0 0 1263 2 0 0 20 0 1 0 35642944 73195520 15081 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 17870 15081 2720 3139 0 14158 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 60324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 27273
/proc/meminfo: memFree=129201836/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=85268 memory=74048 CPUtime=25.41 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 21394 0 0 0 2537 4 0 0 20 0 1 0 35642944 87314432 18512 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 21317 18512 2720 3139 0 17605 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85268 KiB
Current children cumulated memory: 74048 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 27273
/proc/meminfo: memFree=129192868/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=84948 memory=73780 CPUtime=50.94 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 22876 0 0 0 5089 5 0 0 20 0 1 0 35642944 86986752 18445 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 21237 18445 2720 3139 0 17525 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 84948 KiB
Current children cumulated memory: 73780 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 27275
/proc/meminfo: memFree=129108148/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=117572 memory=106560 CPUtime=101.99 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 28781 0 0 0 10192 7 0 0 20 0 1 0 35642944 120393728 26640 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 29393 26640 2720 3139 0 25681 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 117572 KiB
Current children cumulated memory: 106560 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 27277
/proc/meminfo: memFree=129100580/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=100892 memory=89920 CPUtime=161.82 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 32258 0 0 0 16173 9 0 0 20 0 1 0 35642944 103313408 22480 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 25223 22480 2720 3139 0 21511 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 100892 KiB
Current children cumulated memory: 89920 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 27282
/proc/meminfo: memFree=129045064/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=108072 memory=97088 CPUtime=221.64 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 34060 0 0 0 22155 9 0 0 20 0 1 0 35642944 110665728 24272 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 27018 24272 2720 3139 0 23306 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 108072 KiB
Current children cumulated memory: 97088 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 27284
/proc/meminfo: memFree=129018916/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=140060 memory=129104 CPUtime=281.46 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 36864 0 0 0 28134 12 0 0 20 0 1 0 35642944 143421440 32276 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 35015 32276 2720 3139 0 31303 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 140060 KiB
Current children cumulated memory: 129104 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 27289
/proc/meminfo: memFree=128917116/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=214884 memory=203244 CPUtime=341.28 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 53365 0 0 0 34112 16 0 0 20 0 1 0 35642944 220041216 50811 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 53721 50811 3296 3139 0 50009 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 214884 KiB
Current children cumulated memory: 203244 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/265 27293
/proc/meminfo: memFree=128900332/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=229080 memory=220908 CPUtime=401.11 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 57382 0 0 0 40094 17 0 0 20 0 1 0 35642944 234577920 55227 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 57270 55227 3296 3139 0 53558 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 229080 KiB
Current children cumulated memory: 220908 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129199704/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=229080 memory=220908 CPUtime=460.96 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 57382 0 0 0 46079 17 0 0 20 0 1 0 35642944 234577920 55227 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 57270 55227 3296 3139 0 53558 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 186552 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 27464
/proc/meminfo: memFree=128994320/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=196648 memory=188472 CPUtime=2854.61 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 95778 0 0 0 285369 92 0 0 20 0 1 0 35642944 201367552 47118 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49162 47118 3296 3139 0 45450 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 196648 KiB
Current children cumulated memory: 188472 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 27467
/proc/meminfo: memFree=128994988/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=197676 memory=189496 CPUtime=2914.44 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96035 0 0 0 291352 92 0 0 20 0 1 0 35642944 202420224 47374 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49419 47374 3296 3139 0 45707 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 197676 KiB
Current children cumulated memory: 189496 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 27469
/proc/meminfo: memFree=128996496/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=198528 memory=190392 CPUtime=2974.28 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96317 0 0 0 297335 93 0 0 20 0 1 0 35642944 203292672 47598 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49632 47598 3296 3139 0 45920 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 198528 KiB
Current children cumulated memory: 190392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/264 27471
/proc/meminfo: memFree=128915316/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=198528 memory=190392 CPUtime=3034.12 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96330 0 0 0 303319 93 0 0 20 0 1 0 35642944 203292672 47598 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49632 47598 3296 3139 0 45920 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 198528 KiB
Current children cumulated memory: 190392 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/265 27473
/proc/meminfo: memFree=128911068/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=199468 memory=191288 CPUtime=3093.95 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96565 0 0 0 309302 93 0 0 20 0 1 0 35642944 204255232 47822 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49867 47822 3296 3139 0 46155 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 199468 KiB
Current children cumulated memory: 191288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 27474
/proc/meminfo: memFree=128911140/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=199468 memory=191288 CPUtime=3153.79 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96565 0 0 0 315286 93 0 0 20 0 1 0 35642944 204255232 47822 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49867 47822 3296 3139 0 46155 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 199468 KiB
Current children cumulated memory: 191288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 27476
/proc/meminfo: memFree=128835880/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=199468 memory=191288 CPUtime=3213.64 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96565 0 0 0 321270 94 0 0 20 0 1 0 35642944 204255232 47822 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49867 47822 3296 3139 0 46155 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 199468 KiB
Current children cumulated memory: 191288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 27480
/proc/meminfo: memFree=128820224/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=199468 memory=191288 CPUtime=3273.48 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 96636 0 0 0 327254 94 0 0 20 0 1 0 35642944 204255232 47822 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 49867 47822 3296 3139 0 46155 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 199468 KiB
Current children cumulated memory: 191288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 27483
/proc/meminfo: memFree=128740308/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=271488 memory=263376 CPUtime=3333.31 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 98426 0 0 0 333232 99 0 0 20 0 1 0 35642944 278003712 65844 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 67872 65844 3296 3139 0 64160 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 271488 KiB
Current children cumulated memory: 263376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 27533
/proc/meminfo: memFree=128954828/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=306560 memory=298572 CPUtime=3393.15 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 100983 0 0 0 339208 107 0 0 20 0 1 0 35642944 313917440 74643 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 76640 74643 3296 3139 0 72928 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 306560 KiB
Current children cumulated memory: 298572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 27537
/proc/meminfo: memFree=128928600/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=275280 memory=267292 CPUtime=3452.98 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 102614 0 0 0 345186 112 0 0 20 0 1 0 35642944 281886720 66823 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 68820 66823 3296 3139 0 65108 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 275280 KiB
Current children cumulated memory: 267292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 27583
/proc/meminfo: memFree=129215980/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=353392 memory=345160 CPUtime=3512.82 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 104589 0 0 0 351162 120 0 0 20 0 1 0 35642944 361873408 86290 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 88348 86290 3296 3139 0 84636 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 353392 KiB
Current children cumulated memory: 345160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 27585
/proc/meminfo: memFree=129160556/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=284548 memory=276560 CPUtime=3572.65 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 106317 0 0 0 357142 123 0 0 20 0 1 0 35642944 291377152 69140 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 71137 69140 3296 3139 0 67425 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 284548 KiB
Current children cumulated memory: 276560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 27586
/proc/meminfo: memFree=129144120/131250000 swapFree=33010684/33010684
[pid=27271] ppid=27268 vsize=290928 memory=282816 CPUtime=3600.08 cores=4,6
/proc/27271/stat : 27271 (uwrmaxsat-scip) R 27268 27271 25867 0 -1 4194304 106698 0 0 0 359882 126 0 0 20 0 1 0 35642944 297910272 70704 18446744073709551615 4198400 17051741 140726973168768 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 53342208 140726973176122 140726973176292 140726973176292 140726973181894 0
/proc/27271/statm: 72732 70704 3296 3139 0 69020 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 282816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 27271 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.82 s, system=1.26553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.09
CPU user time (s): 3598.82
CPU system time (s): 1.26553
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 396124
Max. memory (cumulated for all children) (KiB): 375024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.26553
maximum resident set size= 387980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106698
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= 52
involuntary context switches= 1943
# summary of solver processes directly reported to runsolver:
# pid: 27271
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.82
# total CPU system time (s): 1.26553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28577 second user time and 12.4699 second system time
The end
Begin job on nodeC013 at 2025-06-29 14:20:27
IDJOB=4512987
IDBENCH=162230
IDSOLVER=3373
FILE ID=nodeC013/4512987-1751199627
RUNJOBID= nodeC013-1751194426-25878
SLURM_JOB_ID= 9587597
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round23-5.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-4512987-1751199627/watcher-4512987-1751199627 -o /tmp/evaluation-result-4512987-1751199627/solver-4512987-1751199627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4512987-1751199627.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86944514b434ff8020a355b19ddc8d04
RANDOM SEED=325979116
nodeC013 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.856
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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.67
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 : 3597.986
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.67
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.909
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.67
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.841
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.67
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.795
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.67
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 : 3531.347
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.67
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 : 3700.000
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129306820 kB
MemAvailable: 129224324 kB
Buffers: 3280 kB
Cached: 721176 kB
SwapCached: 0 kB
Active: 814596 kB
Inactive: 512352 kB
Active(anon): 615776 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 512352 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16992 kB
Writeback: 12 kB
AnonPages: 603432 kB
Mapped: 133324 kB
Shmem: 13284 kB
KReclaimable: 90744 kB
Slab: 176716 kB
SReclaimable: 90744 kB
SUnreclaim: 85972 kB
KernelStack: 4224 kB
PageTables: 4180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 940912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC013 at 2025-06-29 15:20:37