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.19/0.23 c Converting 21417 PB-constraints to clauses...
0.19/0.25 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.30/0.39 c ============================[ Encoding Statistics ]============================
0.30/0.39 c | Number of variables: 25785 |
0.30/0.39 c | Number of clauses: 109683 |
0.30/0.39 c ===============================================================================
300.45/301.39 c Starting SCIP solver (with time-limit: 900s) ...
1219.47/1222.81 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1837.32/1842.86 c [1mUNKNOWN[0m
1837.32/1842.86 c _______________________________________________________________________________
1837.32/1842.86 c
1837.32/1842.86 c =======================[ UWrMaxSat resources usage ]===========================
1837.32/1842.86 c Memory used : 664.00 MB
1837.32/1842.86 c CPU time : 1836.95 s
1837.32/1842.86 c Constr Enc: Srt/BDD/Add: 175 0 0
1837.32/1842.86 c _______________________________________________________________________________
1837.32/1842.86 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 (61985 MiB free)
memory of node 1: 64465 MiB (63680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507245-1751178101/watcher-4507245-1751178101 -o /tmp/evaluation-result-4507245-1751178101/solver-4507245-1751178101 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20759 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4507245-1751178101.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21561, runsolver pid=21558
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128678160/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=41004 memory=24768 CPUtime=0.09 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 5568 0 0 0 8 1 0 0 20 0 1 0 33432643 41988096 6192 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 10251 6192 1120 3139 0 6539 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41004 KiB
Current children cumulated memory: 24768 KiB
[startup+0.205537 s]*
/proc/loadavg: 4.14 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128670348/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=54436 memory=38208 CPUtime=0.19 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 8911 0 0 0 18 1 0 0 20 0 1 0 33432643 55742464 9552 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 13609 9552 1120 3139 0 9897 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54436 KiB
Current children cumulated memory: 38208 KiB
[startup+0.305409 s]*
/proc/loadavg: 4.14 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128630280/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=94692 memory=84024 CPUtime=0.3 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 19295 0 0 0 27 3 0 0 20 0 1 0 33432643 96964608 21006 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 23673 21006 2688 3139 0 19961 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94692 KiB
Current children cumulated memory: 84024 KiB
[startup+0.700136 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128614568/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=113996 memory=103036 CPUtime=0.69 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 24298 0 0 0 65 4 0 0 20 0 1 0 33432643 116731904 25759 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 28499 25759 2688 3139 0 24787 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113996 KiB
Current children cumulated memory: 103036 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128610788/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=115708 memory=104804 CPUtime=1.49 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 26662 0 0 0 144 5 0 0 20 0 1 0 33432643 118484992 26201 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 28927 26201 2688 3139 0 25215 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115708 KiB
Current children cumulated memory: 104804 KiB
[startup+3.10533 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128585432/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=143808 memory=132596 CPUtime=3.08 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 33187 0 0 0 302 6 0 0 20 0 1 0 33432643 147259392 33149 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 35952 33149 2688 3139 0 32240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143808 KiB
Current children cumulated memory: 132596 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128582444/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=148524 memory=137460 CPUtime=6.27 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 33878 0 0 0 621 6 0 0 20 0 1 0 33432643 152088576 34365 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 37131 34365 2688 3139 0 33419 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 148524 KiB
Current children cumulated memory: 137460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 21562
/proc/meminfo: memFree=128582420/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=155132 memory=144172 CPUtime=12.66 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 35217 0 0 0 1259 7 0 0 20 0 1 0 33432643 158855168 36043 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 38783 36043 2688 3139 0 35071 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 155132 KiB
Current children cumulated memory: 144172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 21563
/proc/meminfo: memFree=128584020/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=153488 memory=142588 CPUtime=25.42 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 37798 0 0 0 2534 8 0 0 20 0 1 0 33432643 157171712 35647 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 38372 35647 2688 3139 0 34660 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 153488 KiB
Current children cumulated memory: 142588 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 21563
/proc/meminfo: memFree=128544116/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=180924 memory=169960 CPUtime=50.95 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 41008 0 0 0 5086 9 0 0 20 0 1 0 33432643 185266176 42490 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 45231 42490 2688 3139 0 41519 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 180924 KiB
Current children cumulated memory: 169960 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 21566
/proc/meminfo: memFree=128562192/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=214808 memory=194176 CPUtime=102.01 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 50671 0 0 0 10187 14 0 0 20 0 1 0 33432643 219963392 48544 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 53702 48544 2688 3139 0 49990 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 214808 KiB
Current children cumulated memory: 194176 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 21568
/proc/meminfo: memFree=128547176/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=215340 memory=204392 CPUtime=161.84 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 57464 0 0 0 16167 17 0 0 20 0 1 0 33432643 220508160 51098 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 53835 51098 2688 3139 0 50123 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 215340 KiB
Current children cumulated memory: 204392 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 21570
/proc/meminfo: memFree=128503080/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=208392 memory=197480 CPUtime=221.67 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 60514 0 0 0 22149 18 0 0 20 0 1 0 33432643 213393408 49370 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 52098 49370 2688 3139 0 48386 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 208392 KiB
Current children cumulated memory: 197480 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 21575
/proc/meminfo: memFree=128480540/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=216788 memory=205936 CPUtime=281.5 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 64589 0 0 0 28130 20 0 0 20 0 1 0 33432643 221990912 51484 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 54197 51484 2688 3139 0 50485 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 205936 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 21577
/proc/meminfo: memFree=128790420/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=315080 memory=302712 CPUtime=341.34 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 83841 0 0 0 34110 24 0 0 20 0 1 0 33432643 322641920 75678 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 78770 75678 3104 3139 0 75058 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 315080 KiB
Current children cumulated memory: 302712 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 21583
/proc/meminfo: memFree=128657528/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=530628 memory=453480 CPUtime=401.17 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 118338 0 0 0 40087 30 0 0 20 0 1 0 33432643 543363072 113370 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 132657 113370 3264 3139 0 128945 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 530628 KiB
Current children cumulated memory: 453480 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 21630
/proc/meminfo: memFree=128977380/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=531248 memory=453736 CPUtime=461 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 118416 0 0 0 46070 30 0 0 20 0 1 0 33432643 543997952 113434 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 132812 113434 3264 3139 0 129100 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
/proc/loadavg: 4.13 4.11 4.09 5/264 21973
/proc/meminfo: memFree=128896444/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=680576 memory=643772 CPUtime=1119.23 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 135865 0 0 0 111889 34 0 0 20 0 1 0 33432643 696909824 160943 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 170144 160943 3264 3139 0 166432 0
Current children cumulated CPU time: 1119.23 s
Current children cumulated vsize: 680576 KiB
Current children cumulated memory: 643772 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 21975
/proc/meminfo: memFree=128854164/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=680576 memory=643772 CPUtime=1179.09 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 136038 0 0 0 117875 34 0 0 20 0 1 0 33432643 696909824 160943 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 170144 160943 3264 3139 0 166432 0
Current children cumulated CPU time: 1179.09 s
Current children cumulated vsize: 680576 KiB
Current children cumulated memory: 643772 KiB
[startup+1242.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 21977
/proc/meminfo: memFree=129269092/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=223496 memory=215712 CPUtime=1238.9 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 136475 0 0 0 123856 34 0 0 20 0 1 0 33432643 228859904 53928 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 55874 53928 3296 3139 0 52162 0
Current children cumulated CPU time: 1238.9 s
Current children cumulated vsize: 223496 KiB
Current children cumulated memory: 215712 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 21979
/proc/meminfo: memFree=129196120/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=244652 memory=236832 CPUtime=1298.69 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 137408 0 0 0 129834 35 0 0 20 0 1 0 33432643 250523648 59208 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 61163 59208 3296 3139 0 57451 0
Current children cumulated CPU time: 1298.69 s
Current children cumulated vsize: 244652 KiB
Current children cumulated memory: 236832 KiB
[startup+1362.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 21981
/proc/meminfo: memFree=129180572/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=230668 memory=219268 CPUtime=1358.47 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 139114 0 0 0 135810 37 0 0 20 0 1 0 33432643 236204032 54817 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 57667 54817 3296 3139 0 53955 0
Current children cumulated CPU time: 1358.47 s
Current children cumulated vsize: 230668 KiB
Current children cumulated memory: 219268 KiB
[startup+1422.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 21983
/proc/meminfo: memFree=129069932/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=222752 memory=215032 CPUtime=1418.27 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 141879 0 0 0 141788 39 0 0 20 0 1 0 33432643 228098048 53758 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 55688 53758 3296 3139 0 51976 0
Current children cumulated CPU time: 1418.27 s
Current children cumulated vsize: 222752 KiB
Current children cumulated memory: 215032 KiB
[startup+1482.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 21985
/proc/meminfo: memFree=129023560/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=237396 memory=229664 CPUtime=1478.05 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 142914 0 0 0 147766 39 0 0 20 0 1 0 33432643 243093504 57416 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 59349 57416 3296 3139 0 55637 0
Current children cumulated CPU time: 1478.05 s
Current children cumulated vsize: 237396 KiB
Current children cumulated memory: 229664 KiB
[startup+1542.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 21991
/proc/meminfo: memFree=128973348/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=292112 memory=283800 CPUtime=1537.84 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 146754 0 0 0 153743 41 0 0 20 0 1 0 33432643 299122688 70950 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 73028 70950 3296 3139 0 69316 0
Current children cumulated CPU time: 1537.84 s
Current children cumulated vsize: 292112 KiB
Current children cumulated memory: 283800 KiB
[startup+1602.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 21993
/proc/meminfo: memFree=128938876/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=316760 memory=309024 CPUtime=1597.61 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 147936 0 0 0 159720 41 0 0 20 0 1 0 33432643 324362240 77256 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 79190 77256 3296 3139 0 75478 0
Current children cumulated CPU time: 1597.61 s
Current children cumulated vsize: 316760 KiB
Current children cumulated memory: 309024 KiB
[startup+1662.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 22000
/proc/meminfo: memFree=128973752/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=293952 memory=286112 CPUtime=1657.39 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 149394 0 0 0 165697 42 0 0 20 0 1 0 33432643 301006848 71528 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 73488 71528 3296 3139 0 69776 0
Current children cumulated CPU time: 1657.39 s
Current children cumulated vsize: 293952 KiB
Current children cumulated memory: 286112 KiB
[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 22003
/proc/meminfo: memFree=128954012/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=308952 memory=301340 CPUtime=1717.16 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 149678 0 0 0 171674 42 0 0 20 0 1 0 33432643 316366848 75335 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 77238 75335 3296 3139 0 73526 0
Current children cumulated CPU time: 1717.16 s
Current children cumulated vsize: 308952 KiB
Current children cumulated memory: 301340 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 22006
/proc/meminfo: memFree=128983240/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=252880 memory=245160 CPUtime=1776.99 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 151294 0 0 0 177654 45 0 0 20 0 1 0 33432643 258949120 61290 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 63220 61290 3296 3139 0 59508 0
Current children cumulated CPU time: 1776.99 s
Current children cumulated vsize: 252880 KiB
Current children cumulated memory: 245160 KiB
[startup+1842.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 22008
/proc/meminfo: memFree=129087732/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=275760 memory=267936 CPUtime=1836.82 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 151993 0 0 0 183637 45 0 0 20 0 1 0 33432643 282378240 66984 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 68940 66984 3296 3139 0 65228 0
Current children cumulated CPU time: 1836.82 s
Current children cumulated vsize: 275760 KiB
Current children cumulated memory: 267936 KiB
[startup+1842.87 s]
# the end of solver process 21561 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1836.95 s, system=0.45651 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1842.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 22008
/proc/meminfo: memFree=129087732/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=275760 memory=267936 CPUtime=1836.92 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 151993 0 0 0 183647 45 0 0 20 0 1 0 33432643 282378240 66984 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 68940 66984 3296 3139 0 65228 0
Current children cumulated CPU time: 1836.92 s
Current children cumulated vsize: 275760 KiB
Current children cumulated memory: 267936 KiB
[startup+1842.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 22008
/proc/meminfo: memFree=129087732/131250000 swapFree=33010684/33010684
[pid=21561] ppid=21558 vsize=275760 memory=267936 CPUtime=1837.32 cores=1,3
/proc/21561/stat : 21561 (uwrmaxsat-scip) R 21558 21561 20747 0 -1 4194304 152006 0 0 0 183687 45 0 0 20 0 1 0 33432643 282378240 66984 18446744073709551615 4198400 17051741 140724233622656 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 31367168 140724233627962 140724233628132 140724233628132 140724233633734 0
/proc/21561/statm: 68940 66984 3296 3139 0 65228 0
Current children cumulated CPU time: 1837.32 s
Current children cumulated vsize: 275760 KiB
Current children cumulated memory: 267936 KiB
Child status: 0
Real time (s): 1842.87
CPU time (s): 1837.4
CPU user time (s): 1836.95
CPU system time (s): 0.45651
CPU usage (%): 99.7033
Max. virtual memory (cumulated for all children) (KiB): 680576
Max. memory (cumulated for all children) (KiB): 643772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.95
system time used= 0.45651
maximum resident set size= 643772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152006
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= 32
involuntary context switches= 2883
# summary of solver processes directly reported to runsolver:
# pid: 21561
# total CPU time (s): 1837.4
# total CPU user time (s): 1836.95
# total CPU system time (s): 0.45651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48267 second user time and 7.61764 second system time
The end
Begin job on nodeC028 at 2025-06-29 08:21:41
IDJOB=4507245
IDBENCH=158331
IDSOLVER=3373
FILE ID=nodeC028/4507245-1751178101
RUNJOBID= nodeC028-1751171326-20759
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_K177.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-4507245-1751178101/watcher-4507245-1751178101 -o /tmp/evaluation-result-4507245-1751178101/solver-4507245-1751178101 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20759 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4507245-1751178101.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
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.259
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.290
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.300
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 : 3600.067
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.091
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.081
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 : 3601.541
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 : 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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128681988 kB
MemAvailable: 128385300 kB
Buffers: 3280 kB
Cached: 514156 kB
SwapCached: 0 kB
Active: 1664296 kB
Inactive: 257788 kB
Active(anon): 1422716 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 257788 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18000 kB
Writeback: 20 kB
AnonPages: 1405140 kB
Mapped: 142868 kB
Shmem: 18068 kB
KReclaimable: 86364 kB
Slab: 169660 kB
SReclaimable: 86364 kB
SUnreclaim: 83296 kB
KernelStack: 4288 kB
PageTables: 5772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1792988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1247232 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= 432996 MiB
End job on nodeC028 at 2025-06-29 08:52:24