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.68/0.72 c Converting 145308 PB-constraints to clauses...
0.78/0.80 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
3.18/3.28 c ============================[ Encoding Statistics ]============================
3.18/3.28 c | Number of variables: 222358 |
3.18/3.28 c | Number of clauses: 1193340 |
3.18/3.28 c ===============================================================================
303.31/304.28 c Starting SCIP solver (with time-limit: 900s) ...
1200.87/1204.32 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.05/3609.80 c *** TERMINATED by signal 15 ***
3600.05/3609.80 c _______________________________________________________________________________
3600.05/3609.80 c
3600.05/3609.80 c _______________________________________________________________________________
3600.05/3609.80 c
3600.05/3609.80 c =======================[ UWrMaxSat resources usage ]===========================
3600.05/3609.80 c Memory used : 1043.00 MB
3600.05/3609.80 c CPU time : 3598.57 s
3600.05/3609.80 c Constr Enc: Srt/BDD/Add: 2143 0 0
3600.05/3609.80 c _______________________________________________________________________________
3600.05/3609.80 c _______________________________________________________________________________
3600.05/3609.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62795 MiB free)
memory of node 1: 64507 MiB (63312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502171-1751159694/watcher-4502171-1751159694 -o /tmp/evaluation-result-4502171-1751159694/solver-4502171-1751159694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16255 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4502171-1751159694.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16762, runsolver pid=16759
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=129117048/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=46328 memory=30312 CPUtime=0.09 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 6937 0 0 0 9 0 0 0 20 0 1 0 31648972 47439872 7578 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 11582 7578 1120 3139 0 7870 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46328 KiB
Current children cumulated memory: 30312 KiB
[startup+0.205661 s]*
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=129101012/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=64708 memory=48744 CPUtime=0.19 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 11550 0 0 0 18 1 0 0 20 0 1 0 31648972 66260992 12186 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 16177 12186 1120 3139 0 12465 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64708 KiB
Current children cumulated memory: 48744 KiB
[startup+0.305605 s]*
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=129076692/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=80952 memory=64872 CPUtime=0.3 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 15591 0 0 0 28 2 0 0 20 0 1 0 31648972 82894848 16218 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 20238 16218 1120 3139 0 16526 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80952 KiB
Current children cumulated memory: 64872 KiB
[startup+0.700169 s]
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=129029252/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=141196 memory=122128 CPUtime=0.68 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 30283 0 0 0 64 4 0 0 20 0 1 0 31648972 144584704 30532 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 35299 30532 1120 3139 0 31587 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141196 KiB
Current children cumulated memory: 122128 KiB
[startup+1.50017 s]
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=128918560/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=329852 memory=314396 CPUtime=1.48 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 70774 0 0 0 136 12 0 0 20 0 1 0 31648972 337768448 78599 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 82463 78599 2688 3139 0 78751 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329852 KiB
Current children cumulated memory: 314396 KiB
[startup+3.1056 s]
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=128536828/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=659196 memory=606248 CPUtime=3.08 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 95257 0 0 0 287 21 0 0 20 0 1 0 31648972 675016704 151562 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 164799 151562 2688 3139 0 161087 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 659196 KiB
Current children cumulated memory: 606248 KiB
[startup+6.30017 s]
/proc/loadavg: 1.37 1.08 1.29 5/269 16763
/proc/meminfo: memFree=128453904/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=677272 memory=606660 CPUtime=6.28 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 99441 0 0 0 603 25 0 0 20 0 1 0 31648972 693526528 151665 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 169318 151665 2688 3139 0 165606 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 677272 KiB
Current children cumulated memory: 606660 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.13 1.30 5/269 16763
/proc/meminfo: memFree=128415176/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=715172 memory=658428 CPUtime=12.65 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 102744 0 0 0 1238 27 0 0 20 0 1 0 31648972 732336128 164607 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 178793 164607 2720 3139 0 175081 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 715172 KiB
Current children cumulated memory: 658428 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.27 1.35 5/269 16764
/proc/meminfo: memFree=128452608/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=687156 memory=624916 CPUtime=25.42 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 107209 0 0 0 2508 34 0 0 20 0 1 0 31648972 703647744 156229 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 171789 156229 2720 3139 0 168077 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 687156 KiB
Current children cumulated memory: 624916 KiB
[startup+51.1056 s]
/proc/loadavg: 2.82 1.51 1.42 5/269 16764
/proc/meminfo: memFree=128454684/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=701932 memory=636032 CPUtime=50.95 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 110506 0 0 0 5057 38 0 0 20 0 1 0 31648972 718778368 159008 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 175483 159008 2720 3139 0 171771 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 701932 KiB
Current children cumulated memory: 636032 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.91 1.57 5/268 16766
/proc/meminfo: memFree=128434536/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=701088 memory=635188 CPUtime=101.99 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 112953 0 0 0 10156 43 0 0 20 0 1 0 31648972 717914112 158797 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 175272 158797 2720 3139 0 171560 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 701088 KiB
Current children cumulated memory: 635188 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.31 1.73 5/267 16770
/proc/meminfo: memFree=128399312/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=701972 memory=636072 CPUtime=161.82 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 116401 0 0 0 16133 49 0 0 20 0 1 0 31648972 718819328 159018 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 175493 159018 2720 3139 0 171781 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 701972 KiB
Current children cumulated memory: 636072 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.63 1.88 5/265 16772
/proc/meminfo: memFree=128454248/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=702680 memory=636784 CPUtime=221.65 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 118844 0 0 0 22111 54 0 0 20 0 1 0 31648972 719544320 159196 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 175670 159196 2720 3139 0 171958 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 702680 KiB
Current children cumulated memory: 636784 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.90 2.02 5/266 16779
/proc/meminfo: memFree=128376296/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=702272 memory=636376 CPUtime=281.48 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 120055 0 0 0 28091 57 0 0 20 0 1 0 31648972 719126528 159094 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 175568 159094 2720 3139 0 171856 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 702272 KiB
Current children cumulated memory: 636376 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.13 2.15 5/264 16781
/proc/meminfo: memFree=127986976/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=860292 memory=798184 CPUtime=341.3 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 157258 0 0 0 34065 65 0 0 20 0 1 0 31648972 880939008 199546 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 215073 199546 3104 3139 0 211361 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 860292 KiB
Current children cumulated memory: 798184 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.31 2.28 5/265 16786
/proc/meminfo: memFree=127932912/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=867660 memory=805352 CPUtime=401.11 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 159098 0 0 0 40045 66 0 0 20 0 1 0 31648972 888483840 201338 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 216915 201338 3104 3139 0 213203 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 867660 KiB
Current children cumulated memory: 805352 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.45 2.39 5/265 16788
/proc/meminfo: memFree=127637024/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=1051432 memory=942984 CPUtime=460.93 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 188397 0 0 0 46021 72 0 0 20 0 1 0 31648972 1076666368 235746 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 262858 235746 3264 3139 0 259146 0
################
# More data... #
################
Current children cumulated memory: 689760 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.17 4.04 5/263 16912
/proc/meminfo: memFree=128170640/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=742788 memory=688732 CPUtime=2854.58 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 207401 0 0 0 285330 128 0 0 20 0 1 0 31648972 760614912 172183 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 185697 172183 3296 3139 0 181985 0
Current children cumulated CPU time: 2854.58 s
Current children cumulated vsize: 742788 KiB
Current children cumulated memory: 688732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.17 4.05 5/263 16914
/proc/meminfo: memFree=128145548/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=744568 memory=690512 CPUtime=2914.42 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 207882 0 0 0 291313 129 0 0 20 0 1 0 31648972 762437632 172628 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186142 172628 3296 3139 0 182430 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 744568 KiB
Current children cumulated memory: 690512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.05 5/263 16916
/proc/meminfo: memFree=128192188/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=744028 memory=689972 CPUtime=2974.26 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 208367 0 0 0 297295 131 0 0 20 0 1 0 31648972 761884672 172493 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186007 172493 3296 3139 0 182295 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 744028 KiB
Current children cumulated memory: 689972 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/263 16918
/proc/meminfo: memFree=128210836/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=746144 memory=692088 CPUtime=3034.1 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 208739 0 0 0 303278 132 0 0 20 0 1 0 31648972 764051456 173022 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186536 173022 3296 3139 0 182824 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 746144 KiB
Current children cumulated memory: 692088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/262 16920
/proc/meminfo: memFree=128180424/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=742988 memory=690980 CPUtime=3093.93 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 209495 0 0 0 309260 133 0 0 20 0 1 0 31648972 760819712 172745 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 185747 172745 3296 3139 0 182035 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 742988 KiB
Current children cumulated memory: 690980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/262 16922
/proc/meminfo: memFree=128191600/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=744748 memory=692740 CPUtime=3153.78 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 210022 0 0 0 315243 135 0 0 20 0 1 0 31648972 762621952 173185 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186187 173185 3296 3139 0 182475 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 744748 KiB
Current children cumulated memory: 692740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/262 16924
/proc/meminfo: memFree=128284140/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=687472 memory=635480 CPUtime=3213.62 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 210489 0 0 0 321225 137 0 0 20 0 1 0 31648972 703971328 158870 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 171868 158870 3296 3139 0 168156 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 687472 KiB
Current children cumulated memory: 635480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/263 16931
/proc/meminfo: memFree=128275820/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=687472 memory=635480 CPUtime=3273.45 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 210931 0 0 0 327207 138 0 0 20 0 1 0 31648972 703971328 158870 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 171868 158870 3296 3139 0 168156 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 687472 KiB
Current children cumulated memory: 635480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/263 16933
/proc/meminfo: memFree=128187392/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=744400 memory=692392 CPUtime=3333.3 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 211523 0 0 0 333190 140 0 0 20 0 1 0 31648972 762265600 173098 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186100 173098 3296 3139 0 182388 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 744400 KiB
Current children cumulated memory: 692392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/263 16937
/proc/meminfo: memFree=128215092/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=745160 memory=693152 CPUtime=3393.13 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 212180 0 0 0 339172 141 0 0 20 0 1 0 31648972 763043840 173288 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186290 173288 3296 3139 0 182578 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 745160 KiB
Current children cumulated memory: 693152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 16939
/proc/meminfo: memFree=128184472/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=746196 memory=694188 CPUtime=3452.97 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 212688 0 0 0 345154 143 0 0 20 0 1 0 31648972 764104704 173547 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186549 173547 3296 3139 0 182837 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 746196 KiB
Current children cumulated memory: 694188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/264 16942
/proc/meminfo: memFree=128204796/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=746284 memory=694276 CPUtime=3512.81 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 213131 0 0 0 351137 144 0 0 20 0 1 0 31648972 764194816 173569 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186571 173569 3296 3139 0 182859 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 746284 KiB
Current children cumulated memory: 694276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.38 4.18 4.09 5/264 16944
/proc/meminfo: memFree=128268184/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=687472 memory=635480 CPUtime=3572.66 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 214015 0 0 0 357120 146 0 0 20 0 1 0 31648972 703971328 158870 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 171868 158870 3296 3139 0 168156 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 687472 KiB
Current children cumulated memory: 635480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.33 4.18 4.09 4/260 17203
/proc/meminfo: memFree=129193332/131249996 swapFree=33010684/33010684
[pid=16762] ppid=16759 vsize=745268 memory=693260 CPUtime=3600.05 cores=4,6
/proc/16762/stat : 16762 (uwrmaxsat-scip) R 16759 16762 16244 0 -1 4194304 214671 0 0 0 359856 149 0 0 20 0 1 0 31648972 763154432 173315 18446744073709551615 4198400 17051741 140730227683792 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30130176 140730227689786 140730227689956 140730227689956 140730227695558 0
/proc/16762/statm: 186317 173315 3296 3139 0 182605 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 745268 KiB
Current children cumulated memory: 693260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 16762 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.57 s, system=1.50196 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.07
CPU user time (s): 3598.57
CPU system time (s): 1.50196
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 1068192
Max. memory (cumulated for all children) (KiB): 960768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.57
system time used= 1.50196
maximum resident set size= 960768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214671
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= 15
involuntary context switches= 1822
# summary of solver processes directly reported to runsolver:
# pid: 16762
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.57
# total CPU system time (s): 1.50196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9497 second user time and 16.7505 second system time
The end
Begin job on nodeC030 at 2025-06-29 03:14:54
IDJOB=4502171
IDBENCH=154773
IDSOLVER=3373
FILE ID=nodeC030/4502171-1751159694
RUNJOBID= nodeC030-1751159686-16255
SLURM_JOB_ID= 9587504
Free space on /tmp= 432976 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.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-4502171-1751159694/watcher-4502171-1751159694 -o /tmp/evaluation-result-4502171-1751159694/solver-4502171-1751159694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16255 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4502171-1751159694.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=636092576
nodeC030 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.243
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.62
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.407
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.62
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.491
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.62
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 : 3606.794
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.62
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.230
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.62
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.325
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.62
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 : 3600.290
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.62
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 : 3599.837
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129134688 kB
MemAvailable: 128870592 kB
Buffers: 3280 kB
Cached: 546568 kB
SwapCached: 0 kB
Active: 1225400 kB
Inactive: 289828 kB
Active(anon): 983444 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 289828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59116 kB
Writeback: 40 kB
AnonPages: 968452 kB
Mapped: 135360 kB
Shmem: 18064 kB
KReclaimable: 86316 kB
Slab: 170756 kB
SReclaimable: 86316 kB
SUnreclaim: 84440 kB
KernelStack: 4336 kB
PageTables: 4936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1373188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 301056 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC030 at 2025-06-29 04:15:04