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.79/0.88 c Converting 20632 PB-constraints to clauses...
0.99/1.02 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
2.38/2.44 c ============================[ Encoding Statistics ]============================
2.38/2.44 c | Number of variables: 341958 |
2.38/2.44 c | Number of clauses: 1248143 |
2.38/2.44 c ===============================================================================
302.55/303.44 c Starting SCIP solver (with time-limit: 900s) ...
1200.15/1203.72 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.02/3610.00 c *** TERMINATED by signal 15 ***
3600.02/3610.00 c _______________________________________________________________________________
3600.02/3610.00 c
3600.02/3610.00 c _______________________________________________________________________________
3600.02/3610.00 c
3600.02/3610.00 c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3610.00 c Memory used : 2724.00 MB
3600.02/3610.00 c CPU time : 3596.83 s
3600.02/3610.00 c Constr Enc: Srt/BDD/Add: 10127 0 0
3600.02/3610.00 c _______________________________________________________________________________
3600.02/3610.00 c _______________________________________________________________________________
3600.02/3610.00 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 (55237 MiB free)
memory of node 1: 64507 MiB (63384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542596-1753218430/watcher-4542596-1753218430 -o /tmp/evaluation-result-4542596-1753218430/solver-4542596-1753218430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753211204-159866 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542596-1753218430.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=160688, runsolver pid=160684
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.15 4.11 5/262 160695
/proc/meminfo: memFree=121436196/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=39076 memory=22972 CPUtime=0.09 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 5130 0 0 0 9 0 0 0 20 0 1 0 237520674 40013824 5743 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 9769 5743 1120 3139 0 6057 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 22972 KiB
[startup+0.205686 s]*
/proc/loadavg: 4.15 4.15 4.11 5/264 160700
/proc/meminfo: memFree=121392852/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=57204 memory=40980 CPUtime=0.2 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 10020 0 0 0 19 1 0 0 20 0 1 0 237520674 58576896 10245 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 14337 10245 1120 3139 0 10625 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 40980 KiB
[startup+0.305455 s]*
/proc/loadavg: 4.15 4.15 4.11 5/264 160700
/proc/meminfo: memFree=121378172/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=79060 memory=61812 CPUtime=0.3 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 14449 0 0 0 27 3 0 0 20 0 1 0 237520674 80957440 15453 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 19765 15453 1120 3139 0 16053 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79060 KiB
Current children cumulated memory: 61812 KiB
[startup+0.700183 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 160700
/proc/meminfo: memFree=121337976/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=149184 memory=130616 CPUtime=0.68 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 28600 0 0 0 63 5 0 0 20 0 1 0 237520674 152764416 32654 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 37296 32654 1120 3139 0 33584 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149184 KiB
Current children cumulated memory: 130616 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 160700
/proc/meminfo: memFree=121244920/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=446932 memory=434584 CPUtime=1.49 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 116926 0 0 0 127 22 0 0 20 0 1 0 237520674 457658368 108646 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 111733 108646 2688 3139 0 108021 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 446932 KiB
Current children cumulated memory: 434584 KiB
[startup+3.10561 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 160700
/proc/meminfo: memFree=120710212/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=750316 memory=725664 CPUtime=3.08 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 143087 0 0 0 278 30 0 0 20 0 1 0 237520674 768323584 181416 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 187579 181416 2688 3139 0 183867 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 750316 KiB
Current children cumulated memory: 725664 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 160700
/proc/meminfo: memFree=120679116/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=742172 memory=713528 CPUtime=6.27 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 149880 0 0 0 591 36 0 0 20 0 1 0 237520674 759984128 178382 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 185543 178382 2688 3139 0 181831 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 742172 KiB
Current children cumulated memory: 713528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 160700
/proc/meminfo: memFree=120629776/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=743236 memory=714688 CPUtime=12.66 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 155123 0 0 0 1219 47 0 0 20 0 1 0 237520674 761073664 178672 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 185809 178672 2688 3139 0 182097 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 743236 KiB
Current children cumulated memory: 714688 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 160701
/proc/meminfo: memFree=120726084/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=745072 memory=722644 CPUtime=25.43 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 160671 0 0 0 2484 59 0 0 20 0 1 0 237520674 762953728 180661 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 186268 180661 2688 3139 0 182556 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 745072 KiB
Current children cumulated memory: 722644 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 160746
/proc/meminfo: memFree=120260992/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=696596 memory=674316 CPUtime=50.96 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 163283 0 0 0 5027 69 0 0 20 0 1 0 237520674 713314304 168579 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 174149 168579 2688 3139 0 170437 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 696596 KiB
Current children cumulated memory: 674316 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 160747
/proc/meminfo: memFree=119452072/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=749792 memory=727480 CPUtime=102.01 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 169172 0 0 0 10114 87 0 0 20 0 1 0 237520674 767787008 181870 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 187448 181870 2688 3139 0 183736 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 749792 KiB
Current children cumulated memory: 727480 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 160750
/proc/meminfo: memFree=119451368/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=751360 memory=729016 CPUtime=161.85 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 176960 0 0 0 16079 106 0 0 20 0 1 0 237520674 769392640 182254 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 187840 182254 2688 3139 0 184128 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 751360 KiB
Current children cumulated memory: 729016 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 160753
/proc/meminfo: memFree=119492492/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=808628 memory=786284 CPUtime=221.69 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 183734 0 0 0 22046 123 0 0 20 0 1 0 237520674 828035072 196571 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 202157 196571 2688 3139 0 198445 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 808628 KiB
Current children cumulated memory: 786284 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 160755
/proc/meminfo: memFree=119488496/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=759808 memory=743640 CPUtime=281.51 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 190718 0 0 0 28012 139 0 0 20 0 1 0 237520674 778043392 185910 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 189952 185910 2688 3139 0 186240 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 759808 KiB
Current children cumulated memory: 743640 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 160847
/proc/meminfo: memFree=125949548/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=1756448 memory=1573568 CPUtime=341.34 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 400793 0 0 0 33951 183 0 0 20 0 1 0 237520674 1798602752 393392 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 439112 393392 3264 3139 0 435400 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1756448 KiB
Current children cumulated memory: 1573568 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 160849
/proc/meminfo: memFree=124319464/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=2023944 memory=1836324 CPUtime=401.16 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 681301 0 0 0 39887 229 0 0 20 0 1 0 237520674 2072518656 459081 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 505986 459081 3296 3139 0 502274 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 2023944 KiB
Current children cumulated memory: 1836324 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 160851
/proc/meminfo: memFree=124090260/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=2040944 memory=1855652 CPUtime=460.97 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 686238 0 0 0 45867 230 0 0 20 0 1 0 237520674 2089926656 463913 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 510236 463913 3296 3139 0 506524 0
################
# More data... #
################
Current children cumulated memory: 675552 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 161118
/proc/meminfo: memFree=124126956/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=2854.42 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 880865 0 0 0 285163 279 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 161120
/proc/meminfo: memFree=124045716/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=763900 memory=755140 CPUtime=2914.27 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 881980 0 0 0 291145 282 0 0 20 0 1 0 237520674 782233600 188785 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 190975 188785 3296 3139 0 187263 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 763900 KiB
Current children cumulated memory: 755140 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 161122
/proc/meminfo: memFree=124040924/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=764400 memory=755640 CPUtime=2974.11 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 882645 0 0 0 297128 283 0 0 20 0 1 0 237520674 782745600 188910 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 191100 188910 3296 3139 0 187388 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 764400 KiB
Current children cumulated memory: 755640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 161124
/proc/meminfo: memFree=124031964/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=766316 memory=757556 CPUtime=3033.96 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 884215 0 0 0 303109 287 0 0 20 0 1 0 237520674 784707584 189389 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 191579 189389 3296 3139 0 187867 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 766316 KiB
Current children cumulated memory: 757556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 161132
/proc/meminfo: memFree=124025204/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=772852 memory=764092 CPUtime=3093.8 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 885270 0 0 0 309090 290 0 0 20 0 1 0 237520674 791400448 191023 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 193213 191023 3296 3139 0 189501 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 772852 KiB
Current children cumulated memory: 764092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.42 4.16 4.12 5/263 161135
/proc/meminfo: memFree=124101920/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=3153.65 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 885807 0 0 0 315073 292 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.16 4.12 5/263 161137
/proc/meminfo: memFree=124103592/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=3213.48 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 886903 0 0 0 321053 295 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 161167
/proc/meminfo: memFree=124109524/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=3273.3 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 888148 0 0 0 327032 298 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/266 161169
/proc/meminfo: memFree=124013040/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=766288 memory=757528 CPUtime=3333.11 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 890009 0 0 0 333008 303 0 0 20 0 1 0 237520674 784678912 189382 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 191572 189382 3296 3139 0 187860 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 766288 KiB
Current children cumulated memory: 757528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/266 161170
/proc/meminfo: memFree=124025776/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=771180 memory=762420 CPUtime=3392.93 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 891289 0 0 0 338987 306 0 0 20 0 1 0 237520674 789688320 190605 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 192795 190605 3296 3139 0 189083 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 771180 KiB
Current children cumulated memory: 762420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 161172
/proc/meminfo: memFree=123984356/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=774880 memory=766120 CPUtime=3452.75 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 892806 0 0 0 344965 310 0 0 20 0 1 0 237520674 793477120 191530 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 193720 191530 3296 3139 0 190008 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 774880 KiB
Current children cumulated memory: 766120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 161176
/proc/meminfo: memFree=124004276/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=770976 memory=762216 CPUtime=3512.57 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 894591 0 0 0 350942 315 0 0 20 0 1 0 237520674 789479424 190554 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 192744 190554 3296 3139 0 189032 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 762216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 161178
/proc/meminfo: memFree=124064408/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=3572.4 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 895672 0 0 0 356921 319 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.05 4.10 4.09 5/263 161180
/proc/meminfo: memFree=124081480/131249996 swapFree=33003468/33010684
[pid=160688] ppid=160684 vsize=684244 memory=675552 CPUtime=3600.02 cores=1,3
/proc/160688/stat : 160688 (uwrmaxsat-scip) R 160684 160688 159853 0 -1 4194304 895672 0 0 0 359683 319 0 0 20 0 1 0 237520674 700665856 168888 18446744073709551615 4198400 17051741 140720559069488 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 44081152 140720559073592 140720559073762 140720559073762 140720559079366 0
/proc/160688/statm: 171061 168888 3296 3139 0 167349 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 684244 KiB
Current children cumulated memory: 675552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 160688 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.83 s, system=3.19486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.03
CPU user time (s): 3596.83
CPU system time (s): 3.19486
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 2789912
Max. memory (cumulated for all children) (KiB): 2626840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.19486
maximum resident set size= 2626840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895672
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= 37
involuntary context switches= 5564
# summary of solver processes directly reported to runsolver:
# pid: 160688
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.83
# total CPU system time (s): 3.19486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45567 second user time and 15.4764 second system time
The end
Begin job on nodeC021 at 2025-07-22 23:07:10
IDJOB=4542596
IDBENCH=163937
IDSOLVER=3373
FILE ID=nodeC021/4542596-1753218430
RUNJOBID= nodeC021-1753211204-159866
SLURM_JOB_ID= 9687790
Free space on /tmp= 432872 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_height26_pigeons25_holes24.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-4542596-1753218430/watcher-4542596-1753218430 -o /tmp/evaluation-result-4542596-1753218430/solver-4542596-1753218430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753211204-159866 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542596-1753218430.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=1408155774
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3601.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.794
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3681.405
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121460892 kB
MemAvailable: 122319252 kB
Buffers: 1056 kB
Cached: 1594348 kB
SwapCached: 56 kB
Active: 8511240 kB
Inactive: 501456 kB
Active(anon): 7400448 kB
Inactive(anon): 38500 kB
Active(file): 1110792 kB
Inactive(file): 462956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22100 kB
Writeback: 12 kB
AnonPages: 7418244 kB
Mapped: 130816 kB
Shmem: 21656 kB
KReclaimable: 247300 kB
Slab: 343212 kB
SReclaimable: 247300 kB
SUnreclaim: 95912 kB
KernelStack: 4268 kB
PageTables: 17780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7920568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1898496 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC021 at 2025-07-23 00:07:20