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...
5.16/5.20 c Converting 628731 PB-constraints to clauses...
5.57/5.66 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
14.24/14.37 c ============================[ Encoding Statistics ]============================
14.24/14.37 c | Number of variables: 1126517 |
14.24/14.37 c | Number of clauses: 1857814 |
14.24/14.37 c ===============================================================================
314.30/315.40 c Starting SCIP solver (with time-limit: 900s) ...
1211.39/1215.85 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
2770.82/2779.99 c [1mUNKNOWN[0m
2770.82/2779.99 c _______________________________________________________________________________
2770.82/2779.99 c
2770.82/2779.99 c =======================[ UWrMaxSat resources usage ]===========================
2770.82/2779.99 c Memory used : 8855.00 MB
2770.82/2779.99 c CPU time : 2763.01 s
2770.82/2779.99 c Constr Enc: Srt/BDD/Add: 602863 0 0
2770.82/2779.99 c _______________________________________________________________________________
2770.82/2779.99 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 (60462 MiB free)
memory of node 1: 64465 MiB (62196 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545092-1753225217/watcher-4545092-1753225217 -o /tmp/evaluation-result-4545092-1753225217/solver-4545092-1753225217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753222581-169399 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4545092-1753225217.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=171956, runsolver pid=171953
[startup+0.100067 s]*
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125586824/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=39320 memory=23388 CPUtime=0.09 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 5018 0 0 0 9 0 0 0 20 0 1 0 238198297 40263680 5847 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 9830 5847 1120 3139 0 6118 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 23388 KiB
[startup+0.205782 s]*
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125562884/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=56348 memory=40184 CPUtime=0.19 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 9434 0 0 0 18 1 0 0 20 0 1 0 238198297 57700352 10046 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 14087 10046 1120 3139 0 10375 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56348 KiB
Current children cumulated memory: 40184 KiB
[startup+0.305569 s]*
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125538944/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=76268 memory=59704 CPUtime=0.29 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 14676 0 0 0 27 2 0 0 20 0 1 0 238198297 78098432 14926 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 19067 14926 1120 3139 0 15355 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76268 KiB
Current children cumulated memory: 59704 KiB
[startup+0.700186 s]
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125510972/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=142712 memory=124488 CPUtime=0.68 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 30122 0 0 0 64 4 0 0 20 0 1 0 238198297 146137088 31122 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 35678 31122 1120 3139 0 31966 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142712 KiB
Current children cumulated memory: 124488 KiB
[startup+1.50018 s]
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125442680/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=275620 memory=253680 CPUtime=1.47 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 59854 0 0 0 138 9 0 0 20 0 1 0 238198297 282234880 63420 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 68905 63420 1120 3139 0 65193 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275620 KiB
Current children cumulated memory: 253680 KiB
[startup+3.10551 s]
/proc/loadavg: 4.04 4.08 4.01 5/265 171957
/proc/meminfo: memFree=125104104/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=545168 memory=512292 CPUtime=3.08 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 113801 0 0 0 287 21 0 0 20 0 1 0 238198297 558252032 128073 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 136292 128073 1120 3139 0 132580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 545168 KiB
Current children cumulated memory: 512292 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.10 4.02 5/265 171958
/proc/meminfo: memFree=124583636/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=1175712 memory=1131004 CPUtime=6.26 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 242738 0 0 0 581 45 0 0 20 0 1 0 238198297 1203929088 282751 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 293928 282751 2688 3139 0 290216 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1175712 KiB
Current children cumulated memory: 1131004 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.02 5/265 171958
/proc/meminfo: memFree=123489072/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2244364 memory=2184304 CPUtime=12.65 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 433865 0 0 0 1184 81 0 0 20 0 1 0 238198297 2298228736 546076 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 561091 546076 2688 3139 0 557379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2244364 KiB
Current children cumulated memory: 2184304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.02 5/265 171958
/proc/meminfo: memFree=122999536/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2595412 memory=2504060 CPUtime=25.4 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 446922 0 0 0 2439 101 0 0 20 0 1 0 238198297 2657701888 626015 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 648853 626015 2688 3139 0 645141 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2595412 KiB
Current children cumulated memory: 2504060 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.10 4.02 5/264 171973
/proc/meminfo: memFree=123162892/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2476356 memory=2382416 CPUtime=50.91 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 460212 0 0 0 4965 126 0 0 20 0 1 0 238198297 2535788544 595604 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 619089 595604 2688 3139 0 615377 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2476356 KiB
Current children cumulated memory: 2382416 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.02 5/264 171980
/proc/meminfo: memFree=123067816/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2477264 memory=2389476 CPUtime=101.93 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 468843 0 0 0 10042 151 0 0 20 0 1 0 238198297 2536718336 597369 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 619316 597369 2688 3139 0 615604 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2477264 KiB
Current children cumulated memory: 2389476 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/264 171982
/proc/meminfo: memFree=122829724/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2536476 memory=2449076 CPUtime=161.73 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 474016 0 0 0 16004 169 0 0 20 0 1 0 238198297 2597351424 612269 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 634119 612269 2688 3139 0 630407 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2536476 KiB
Current children cumulated memory: 2449076 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/264 171984
/proc/meminfo: memFree=122454800/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2494140 memory=2411156 CPUtime=221.52 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 484689 0 0 0 21963 189 0 0 20 0 1 0 238198297 2553999360 602789 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 623535 602789 2688 3139 0 619823 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2494140 KiB
Current children cumulated memory: 2411156 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/264 171986
/proc/meminfo: memFree=122202692/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2498952 memory=2416008 CPUtime=281.31 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 489256 0 0 0 27931 200 0 0 20 0 1 0 238198297 2558926848 604002 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 624738 604002 2688 3139 0 621026 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2498952 KiB
Current children cumulated memory: 2416008 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/263 171988
/proc/meminfo: memFree=118662748/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=5981808 memory=5833676 CPUtime=341.11 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1126031 0 0 0 33790 321 0 0 20 0 1 0 238198297 6125371392 1458419 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 1495452 1458419 3072 3139 0 1491740 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 5981808 KiB
Current children cumulated memory: 5833676 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/262 171992
/proc/meminfo: memFree=117751584/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=7470528 memory=6572540 CPUtime=400.85 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1148027 0 0 0 39747 338 0 0 20 0 1 0 238198297 7649820672 1643135 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 1867632 1643135 3104 3139 0 1863920 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 7470528 KiB
Current children cumulated memory: 6572540 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/262 171994
/proc/meminfo: memFree=115690568/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=8872232 memory=8347376 CPUtime=460.63 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1387503 0 0 0 45660 403 0 0 20 0 1 0 238198297 9085165568 2086844 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 2218058 2086844 3264 3139 0 2214346 0
Current children cumulated CPU time: 460.63 s
################
# More data... #
################
Current children cumulated memory: 2284584 KiB
[startup+2322.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/265 172085
/proc/meminfo: memFree=124524468/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2353284 memory=2286504 CPUtime=2314.62 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1635422 0 0 0 230686 776 0 0 20 0 1 0 238198297 2409762816 571626 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 588321 571626 3264 3139 0 584609 0
Current children cumulated CPU time: 2314.62 s
Current children cumulated vsize: 2353284 KiB
Current children cumulated memory: 2286504 KiB
[startup+2382.3 s]
/proc/loadavg: 4.49 4.20 4.10 5/265 172087
/proc/meminfo: memFree=124500092/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2353284 memory=2289064 CPUtime=2374.44 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1635721 0 0 0 236668 776 0 0 20 0 1 0 238198297 2409762816 572266 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 588321 572266 3264 3139 0 584609 0
Current children cumulated CPU time: 2374.44 s
Current children cumulated vsize: 2353284 KiB
Current children cumulated memory: 2289064 KiB
[startup+2442.3 s]
/proc/loadavg: 4.24 4.17 4.09 5/265 172089
/proc/meminfo: memFree=124308772/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2602420 memory=2542448 CPUtime=2434.25 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1636825 0 0 0 242643 782 0 0 20 0 1 0 238198297 2664878080 635612 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 650605 635612 3264 3139 0 646893 0
Current children cumulated CPU time: 2434.25 s
Current children cumulated vsize: 2602420 KiB
Current children cumulated memory: 2542448 KiB
[startup+2502.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/264 172095
/proc/meminfo: memFree=124306688/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2602420 memory=2544240 CPUtime=2494.05 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1637172 0 0 0 248623 782 0 0 20 0 1 0 238198297 2664878080 636060 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 650605 636060 3264 3139 0 646893 0
Current children cumulated CPU time: 2494.05 s
Current children cumulated vsize: 2602420 KiB
Current children cumulated memory: 2544240 KiB
[startup+2562.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/264 172097
/proc/meminfo: memFree=124512448/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2353284 memory=2298196 CPUtime=2553.87 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1637607 0 0 0 254604 783 0 0 20 0 1 0 238198297 2409762816 574549 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 588321 574549 3264 3139 0 584609 0
Current children cumulated CPU time: 2553.87 s
Current children cumulated vsize: 2353284 KiB
Current children cumulated memory: 2298196 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 172099
/proc/meminfo: memFree=124283392/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2590524 memory=2536312 CPUtime=2613.69 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1638839 0 0 0 260582 787 0 0 20 0 1 0 238198297 2652696576 634078 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 647631 634078 3264 3139 0 643919 0
Current children cumulated CPU time: 2613.69 s
Current children cumulated vsize: 2590524 KiB
Current children cumulated memory: 2536312 KiB
[startup+2682.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 172103
/proc/meminfo: memFree=124267024/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2590524 memory=2536312 CPUtime=2673.5 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1639159 0 0 0 266563 787 0 0 20 0 1 0 238198297 2652696576 634078 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 647631 634078 3264 3139 0 643919 0
Current children cumulated CPU time: 2673.5 s
Current children cumulated vsize: 2590524 KiB
Current children cumulated memory: 2536312 KiB
[startup+2742.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 172105
/proc/meminfo: memFree=124305484/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2733.33 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640592 0 0 0 272542 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2733.33 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2780.03 s]
# the end of solver process 171956 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2763.01 s, system=7.94863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2764.8 s]
/proc/loadavg: 4.36 4.19 4.11 5/265 172109
/proc/meminfo: memFree=124296668/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2755.76 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 274785 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2755.76 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2771.2 s]
/proc/loadavg: 4.49 4.22 4.12 5/265 172110
/proc/meminfo: memFree=124323288/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2762.14 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 275423 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2762.14 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2774.4 s]
/proc/loadavg: 4.45 4.21 4.12 5/265 172110
/proc/meminfo: memFree=124327660/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2765.33 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 275742 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2765.33 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2777.6 s]
/proc/loadavg: 4.45 4.21 4.12 5/265 172110
/proc/meminfo: memFree=124323864/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2768.52 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 276061 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2768.52 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2779.2 s]
/proc/loadavg: 4.42 4.21 4.12 5/265 172110
/proc/meminfo: memFree=124323864/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2770.12 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 276221 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2770.12 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2779.6 s]
/proc/loadavg: 4.42 4.21 4.12 5/265 172110
/proc/meminfo: memFree=124323864/131250000 swapFree=33008356/33010684
[pid=171956] ppid=171953 vsize=2571936 memory=2517724 CPUtime=2770.52 cores=0,2
/proc/171956/stat : 171956 (uwrmaxsat-scip) R 171953 171956 169389 0 -1 4194304 1640610 0 0 0 276261 791 0 0 20 0 1 0 238198297 2633662464 629431 18446744073709551615 4198400 17051741 140724853330112 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 43761664 140724853332280 140724853332450 140724853332450 140724853338054 0
/proc/171956/statm: 642984 629431 3264 3139 0 639272 0
Current children cumulated CPU time: 2770.52 s
Current children cumulated vsize: 2571936 KiB
Current children cumulated memory: 2517724 KiB
[startup+2780 s]*
/proc/loadavg: 4.42 4.21 4.12 5/265 172110
/proc/meminfo: memFree=125472724/131250000 swapFree=33008356/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2780.03
CPU time (s): 2770.96
CPU user time (s): 2763.01
CPU system time (s): 7.94863
CPU usage (%): 99.6737
Max. virtual memory (cumulated for all children) (KiB): 9067316
Max. memory (cumulated for all children) (KiB): 8523596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2763.01
system time used= 7.94863
maximum resident set size= 8523596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1640622
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= 262
involuntary context switches= 3578
# summary of solver processes directly reported to runsolver:
# pid: 171956
# total CPU time (s): 2770.96
# total CPU user time (s): 2763.01
# total CPU system time (s): 7.94863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4758 second user time and 12.24 second system time
The end
Begin job on nodeC014 at 2025-07-23 01:00:17
IDJOB=4545092
IDBENCH=180703
IDSOLVER=3373
FILE ID=nodeC014/4545092-1753225217
RUNJOBID= nodeC014-1753222581-169399
SLURM_JOB_ID= 9687821
Free space on /tmp= 432752 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.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-4545092-1753225217/watcher-4545092-1753225217 -o /tmp/evaluation-result-4545092-1753225217/solver-4545092-1753225217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753222581-169399 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4545092-1753225217.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=1243336213
nodeC014 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 : 3598.087
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.23
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.147
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.23
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.150
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.23
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 : 3600.585
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.23
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.114
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.23
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.090
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.23
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 : 3700.000
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.23
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 : 3602.621
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125602196 kB
MemAvailable: 126167436 kB
Buffers: 696 kB
Cached: 1310296 kB
SwapCached: 1624 kB
Active: 4353896 kB
Inactive: 490288 kB
Active(anon): 3532108 kB
Inactive(anon): 25696 kB
Active(file): 821788 kB
Inactive(file): 464592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49672 kB
Writeback: 4 kB
AnonPages: 3534628 kB
Mapped: 144096 kB
Shmem: 24612 kB
KReclaimable: 236200 kB
Slab: 332080 kB
SReclaimable: 236200 kB
SUnreclaim: 95880 kB
KernelStack: 4272 kB
PageTables: 10040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3921648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1021952 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432736 MiB
End job on nodeC014 at 2025-07-23 01:46:37