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.10/0.14 c Converting 2383 PB-constraints to clauses...
0.10/0.16 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.31/0.33 c ============================[ Encoding Statistics ]============================
0.31/0.33 c | Number of variables: 17445 |
0.31/0.33 c | Number of clauses: 70070 |
0.31/0.33 c ===============================================================================
300.38/301.33 c Starting SCIP solver (with time-limit: 900s) ...
1197.41/1201.33 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1694.43/1700.05 c [1mUNSATISFIABLE[0m
1694.43/1700.05 c _______________________________________________________________________________
1694.43/1700.05 c
1694.43/1700.05 c =======================[ UWrMaxSat resources usage ]===========================
1694.43/1700.05 c Memory used : 423.00 MB
1694.43/1700.05 c CPU time : 1694.02 s
1694.43/1700.05 c Constr Enc: Srt/BDD/Add: 1146 0 0
1694.43/1700.05 c _______________________________________________________________________________
1694.43/1700.05 s UNSATISFIABLE
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: 63794 MiB (46132 MiB free)
memory of node 1: 64507 MiB (50513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542401-1753216159/watcher-4542401-1753216159 -o /tmp/evaluation-result-4542401-1753216159/solver-4542401-1753216159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542401-1753216159.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=183073, runsolver pid=183070
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98955816/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=27928 memory=12012 CPUtime=0.1 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 2167 0 0 0 10 0 0 0 20 0 1 0 237295641 28598272 3003 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 6982 3003 1120 3139 0 3270 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27928 KiB
Current children cumulated memory: 12012 KiB
[startup+0.214119 s]*
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98936160/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=47244 memory=37072 CPUtime=0.22 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 9588 0 0 0 19 3 0 0 20 0 1 0 237295641 48377856 9268 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 11811 9268 2688 3139 0 8099 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47244 KiB
Current children cumulated memory: 37072 KiB
[startup+0.313786 s]*
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98928096/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=57472 memory=45780 CPUtime=0.31 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 12260 0 0 0 28 3 0 0 20 0 1 0 237295641 58851328 11445 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 14368 11445 2688 3139 0 10656 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57472 KiB
Current children cumulated memory: 45780 KiB
[startup+0.700342 s]
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98920776/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=63164 memory=51780 CPUtime=0.68 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 15323 0 0 0 64 4 0 0 20 0 1 0 237295641 64679936 12945 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 15791 12945 2720 3139 0 12079 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63164 KiB
Current children cumulated memory: 51780 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98915232/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=65316 memory=54024 CPUtime=1.49 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 21300 0 0 0 143 6 0 0 20 0 1 0 237295641 66883584 13506 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 16329 13506 2720 3139 0 12617 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65316 KiB
Current children cumulated memory: 54024 KiB
[startup+3.11343 s]
/proc/loadavg: 4.15 4.21 4.18 5/250 183074
/proc/meminfo: memFree=98913540/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=63288 memory=52128 CPUtime=3.09 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 26660 0 0 0 302 7 0 0 20 0 1 0 237295641 64806912 13032 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 15822 13032 2720 3139 0 12110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 52128 KiB
[startup+6.30034 s]
/proc/loadavg: 4.13 4.20 4.18 5/250 183074
/proc/meminfo: memFree=98913540/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=69964 memory=58680 CPUtime=6.27 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 30455 0 0 0 619 8 0 0 20 0 1 0 237295641 71643136 14670 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 17491 14670 2720 3139 0 13779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69964 KiB
Current children cumulated memory: 58680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.20 4.18 5/250 183074
/proc/meminfo: memFree=98917184/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=76336 memory=65064 CPUtime=12.65 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 34368 0 0 0 1256 9 0 0 20 0 1 0 237295641 78168064 16266 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 19084 16266 2720 3139 0 15372 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 76336 KiB
Current children cumulated memory: 65064 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.19 4.17 5/250 183075
/proc/meminfo: memFree=98920448/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=67588 memory=57596 CPUtime=25.4 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 39552 0 0 0 2529 11 0 0 20 0 1 0 237295641 69210112 14399 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 16897 14399 2720 3139 0 13185 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67588 KiB
Current children cumulated memory: 57596 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.19 4.18 5/249 183075
/proc/meminfo: memFree=98886144/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=72896 memory=62732 CPUtime=50.93 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 53808 0 0 0 5078 15 0 0 20 0 1 0 237295641 74645504 15683 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 18224 15683 2720 3139 0 14512 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 72896 KiB
Current children cumulated memory: 62732 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.16 4.17 5/249 183077
/proc/meminfo: memFree=98900736/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=92148 memory=78648 CPUtime=101.96 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 67190 0 0 0 10176 20 0 0 20 0 1 0 237295641 94359552 19662 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 23037 19662 2720 3139 0 19325 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 78648 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/250 183080
/proc/meminfo: memFree=98889816/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=88880 memory=78996 CPUtime=161.79 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 76668 0 0 0 16155 24 0 0 20 0 1 0 237295641 91013120 19749 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 22220 19749 2720 3139 0 18508 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 88880 KiB
Current children cumulated memory: 78996 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.20 4.18 5/250 183082
/proc/meminfo: memFree=98904120/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=96960 memory=87480 CPUtime=221.62 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 82572 0 0 0 22134 28 0 0 20 0 1 0 237295641 99287040 21870 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 24240 21870 2720 3139 0 20528 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 96960 KiB
Current children cumulated memory: 87480 KiB
[startup+282.3 s]
/proc/loadavg: 4.49 4.29 4.21 5/250 183084
/proc/meminfo: memFree=98873108/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=123348 memory=113720 CPUtime=281.43 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 88203 0 0 0 28112 31 0 0 20 0 1 0 237295641 126308352 28430 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 30837 28430 2720 3139 0 27125 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 123348 KiB
Current children cumulated memory: 113720 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 4.28 4.21 5/250 183086
/proc/meminfo: memFree=98519636/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=414512 memory=385684 CPUtime=341.25 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 160303 0 0 0 34080 45 0 0 20 0 1 0 237295641 424460288 96421 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 103628 96421 3296 3139 0 99916 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 414512 KiB
Current children cumulated memory: 385684 KiB
[startup+402.3 s]
/proc/loadavg: 4.30 4.29 4.22 5/251 183095
/proc/meminfo: memFree=98527276/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=418756 memory=388884 CPUtime=401.04 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 161155 0 0 0 40059 45 0 0 20 0 1 0 237295641 428806144 97221 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 104689 97221 3296 3139 0 100977 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 418756 KiB
Current children cumulated memory: 388884 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.26 4.21 5/250 183097
/proc/meminfo: memFree=98511376/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=427016 memory=396308 CPUtime=460.83 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 163014 0 0 0 46038 45 0 0 20 0 1 0 237295641 437264384 99077 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106754 99077 3296 3139 0 103042 0
################
# More data... #
################
/proc/loadavg: 4.17 4.13 4.15 5/251 183268
/proc/meminfo: memFree=74857692/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=415948 CPUtime=1298.09 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165657 0 0 0 129764 45 0 0 20 0 1 0 237295641 435896320 103987 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 103987 3296 3139 0 102708 0
Current children cumulated CPU time: 1298.09 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 415948 KiB
[startup+1362.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 183270
/proc/meminfo: memFree=70437772/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=415948 CPUtime=1357.88 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165665 0 0 0 135743 45 0 0 20 0 1 0 237295641 435896320 103987 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 103987 3296 3139 0 102708 0
Current children cumulated CPU time: 1357.88 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 415948 KiB
[startup+1422.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 183272
/proc/meminfo: memFree=68773844/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1417.68 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165669 0 0 0 141722 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1417.68 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/250 183274
/proc/meminfo: memFree=68806104/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1477.46 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165732 0 0 0 147700 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1477.46 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1542.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 183276
/proc/meminfo: memFree=68857748/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1537.26 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165732 0 0 0 153680 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1537.26 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1602.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 183278
/proc/meminfo: memFree=65747744/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1597.06 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165768 0 0 0 159660 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1597.06 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1662.3 s]
/proc/loadavg: 4.18 4.12 4.13 5/250 183287
/proc/meminfo: memFree=62965544/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1656.85 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 165639 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1656.85 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1700.06 s]
# the end of solver process 183073 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1694.02 s, system=0.461207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.17 4.12 4.12 5/250 183287
/proc/meminfo: memFree=62978336/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1658.55 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 165809 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1658.55 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1676.8 s]
/proc/loadavg: 4.14 4.11 4.12 5/251 183290
/proc/meminfo: memFree=63088352/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1671.3 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 167084 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1671.3 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1689.6 s]
/proc/loadavg: 4.11 4.11 4.12 5/251 183290
/proc/meminfo: memFree=63153576/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1684.05 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 168359 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1684.05 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1696 s]*
/proc/loadavg: 4.10 4.11 4.12 5/251 183290
/proc/meminfo: memFree=63154484/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1690.44 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 168998 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1690.44 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1697.6 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 183290
/proc/meminfo: memFree=63154484/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1692.03 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 169157 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1692.03 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1699.2 s]
/proc/loadavg: 4.09 4.10 4.12 5/251 183290
/proc/meminfo: memFree=63154736/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1693.62 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 169316 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1693.62 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1699.6 s]
/proc/loadavg: 4.09 4.10 4.12 5/251 183290
/proc/meminfo: memFree=63154736/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1694.02 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 169356 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1694.02 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
[startup+1700 s]*
/proc/loadavg: 4.09 4.10 4.12 5/251 183290
/proc/meminfo: memFree=63154736/131382116 swapFree=33010684/33010684
[pid=183073] ppid=183070 vsize=425680 memory=417996 CPUtime=1694.43 cores=0,2
/proc/183073/stat : 183073 (uwrmaxsat-scip) R 183070 183073 182330 0 -1 4194304 165783 0 0 0 169397 46 0 0 20 0 1 0 237295641 435896320 104499 18446744073709551615 4198400 17051741 140736402514784 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34406400 140736402520376 140736402520546 140736402520546 140736402526150 0
/proc/183073/statm: 106420 104499 3296 3139 0 102708 0
Current children cumulated CPU time: 1694.43 s
Current children cumulated vsize: 425680 KiB
Current children cumulated memory: 417996 KiB
Child status: 20
Real time (s): 1700.06
CPU time (s): 1694.48
CPU user time (s): 1694.02
CPU system time (s): 0.461207
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 433588
Max. memory (cumulated for all children) (KiB): 417996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1694.02
system time used= 0.461207
maximum resident set size= 417996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165783
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= 54
involuntary context switches= 3719
# summary of solver processes directly reported to runsolver:
# pid: 183073
# total CPU time (s): 1694.48
# total CPU user time (s): 1694.02
# total CPU system time (s): 0.461207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4642 second user time and 15.4484 second system time
The end
Begin job on nodeC011 at 2025-07-22 22:29:19
IDJOB=4542401
IDBENCH=163924
IDSOLVER=3373
FILE ID=nodeC011/4542401-1753216159
RUNJOBID= nodeC011-1753209881-182340
SLURM_JOB_ID= 9687771
Free space on /tmp= 432764 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.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-4542401-1753216159/watcher-4542401-1753216159 -o /tmp/evaluation-result-4542401-1753216159/solver-4542401-1753216159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542401-1753216159.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 585b31dbafa0f7a6999a9b17497812eb
RANDOM SEED=1125925715
nodeC011 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 : 0xb00001f
cpu MHz : 1197.392
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3492.223
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3660.928
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3592.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1198.188
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 98965408 kB
MemAvailable: 129289992 kB
Buffers: 3276 kB
Cached: 31094456 kB
SwapCached: 0 kB
Active: 1161480 kB
Inactive: 30578764 kB
Active(anon): 666588 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30576688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16900 kB
Writeback: 0 kB
AnonPages: 645436 kB
Mapped: 123768 kB
Shmem: 26152 kB
KReclaimable: 184880 kB
Slab: 278416 kB
SReclaimable: 184880 kB
SUnreclaim: 93536 kB
KernelStack: 4000 kB
PageTables: 4160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1010456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 542720 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432576 MiB
End job on nodeC011 at 2025-07-22 22:57:39