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...
6.47/6.58 c Converting 1123290 PB-constraints to clauses...
6.57/6.67 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
11.96/12.02 c ============================[ Encoding Statistics ]============================
11.96/12.02 c | Number of variables: 165777 |
11.96/12.02 c | Number of clauses: 1517974 |
11.96/12.02 c ===============================================================================
312.05/313.02 c Starting SCIP solver (with time-limit: 900s) ...
1209.10/1213.03 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1579.56/1584.87 c [1mUNKNOWN[0m
1579.56/1584.87 c _______________________________________________________________________________
1579.56/1584.87 c
1579.56/1584.87 c =======================[ UWrMaxSat resources usage ]===========================
1579.56/1584.87 c Memory used : 7417.00 MB
1579.56/1584.87 c CPU time : 1576.15 s
1579.56/1584.87 c Constr Enc: Srt/BDD/Add: 113794 0 0
1579.56/1584.87 c _______________________________________________________________________________
1579.56/1584.87 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 (60554 MiB free)
memory of node 1: 64507 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503581-1751166137/watcher-4503581-1751166137 -o /tmp/evaluation-result-4503581-1751166137/solver-4503581-1751166137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16256 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4503581-1751166137.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=17814, runsolver pid=17811
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 17815
/proc/meminfo: memFree=127147256/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=37516 memory=21760 CPUtime=0.09 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 4463 0 0 0 9 0 0 0 20 0 1 0 32293277 38416384 5440 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 9379 5440 1120 3139 0 5667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37516 KiB
Current children cumulated memory: 21760 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 17815
/proc/meminfo: memFree=127131128/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=54456 memory=38656 CPUtime=0.2 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 8702 0 0 0 19 1 0 0 20 0 1 0 32293277 55762944 9664 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 13614 9664 1120 3139 0 9902 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54456 KiB
Current children cumulated memory: 38656 KiB
[startup+0.305475 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 17815
/proc/meminfo: memFree=127115000/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=70688 memory=54912 CPUtime=0.3 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 12736 0 0 0 29 1 0 0 20 0 1 0 32293277 72384512 13728 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 17672 13728 1120 3139 0 13960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70688 KiB
Current children cumulated memory: 54912 KiB
[startup+0.700174 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 17815
/proc/meminfo: memFree=127082744/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=133492 memory=117472 CPUtime=0.69 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 28434 0 0 0 65 4 0 0 20 0 1 0 32293277 136695808 29368 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 33373 29368 1120 3139 0 29661 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133492 KiB
Current children cumulated memory: 117472 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 17815
/proc/meminfo: memFree=127002356/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=262452 memory=246072 CPUtime=1.49 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 60683 0 0 0 139 10 0 0 20 0 1 0 32293277 268750848 61518 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 65613 61518 1120 3139 0 61901 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 262452 KiB
Current children cumulated memory: 246072 KiB
[startup+3.10534 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 17815
/proc/meminfo: memFree=126672236/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=521472 memory=504028 CPUtime=3.09 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 125358 0 0 0 289 20 0 0 20 0 1 0 32293277 533987328 126007 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 130368 126007 1120 3139 0 126656 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 521472 KiB
Current children cumulated memory: 504028 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 17815
/proc/meminfo: memFree=126188656/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=1036304 memory=1015732 CPUtime=6.28 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 253182 0 0 0 588 40 0 0 20 0 1 0 32293277 1061175296 253933 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 259076 253933 1120 3139 0 255364 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1036304 KiB
Current children cumulated memory: 1015732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 17815
/proc/meminfo: memFree=124857072/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2409220 memory=2368200 CPUtime=12.66 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 535229 0 0 0 1178 88 0 0 20 0 1 0 32293277 2467041280 592050 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 602305 592050 2688 3139 0 598593 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2409220 KiB
Current children cumulated memory: 2368200 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 17816
/proc/meminfo: memFree=124742044/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2452836 memory=2425808 CPUtime=25.41 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 545313 0 0 0 2438 103 0 0 20 0 1 0 32293277 2511704064 606452 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 613209 606452 2720 3139 0 609497 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2452836 KiB
Current children cumulated memory: 2425808 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 17816
/proc/meminfo: memFree=124787760/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2401592 memory=2375068 CPUtime=50.95 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 556076 0 0 0 4975 120 0 0 20 0 1 0 32293277 2459230208 593767 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 600398 593767 2720 3139 0 596686 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2401592 KiB
Current children cumulated memory: 2375068 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 17818
/proc/meminfo: memFree=124773000/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2401856 memory=2375348 CPUtime=101.99 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 566560 0 0 0 10060 139 0 0 20 0 1 0 32293277 2459500544 593837 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 600464 593837 2720 3139 0 596752 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2401856 KiB
Current children cumulated memory: 2375348 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 17820
/proc/meminfo: memFree=124757992/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2404072 memory=2377564 CPUtime=161.8 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 575056 0 0 0 16024 156 0 0 20 0 1 0 32293277 2461769728 594391 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 601018 594391 2720 3139 0 597306 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2404072 KiB
Current children cumulated memory: 2377564 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 17822
/proc/meminfo: memFree=124760420/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2402224 memory=2375716 CPUtime=221.61 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 584104 0 0 0 21991 170 0 0 20 0 1 0 32293277 2459877376 593929 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 600556 593929 2720 3139 0 596844 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2402224 KiB
Current children cumulated memory: 2375716 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 17824
/proc/meminfo: memFree=124760368/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2402176 memory=2375668 CPUtime=281.43 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 589018 0 0 0 27962 181 0 0 20 0 1 0 32293277 2459828224 593917 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 600544 593917 2720 3139 0 596832 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2402176 KiB
Current children cumulated memory: 2375668 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 17827
/proc/meminfo: memFree=122900728/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=4317016 memory=4256628 CPUtime=341.25 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 932161 0 0 0 33874 251 0 0 20 0 1 0 32293277 4420624384 1064157 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 1079254 1064157 3104 3139 0 1075542 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 4317016 KiB
Current children cumulated memory: 4256628 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 17829
/proc/meminfo: memFree=122870024/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=4320500 memory=4259492 CPUtime=401.08 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 932416 0 0 0 39856 252 0 0 20 0 1 0 32293277 4424192000 1064873 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 1080125 1064873 3104 3139 0 1076413 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 4320500 KiB
Current children cumulated memory: 4259492 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 17831
/proc/meminfo: memFree=122853236/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=4320500 memory=4259492 CPUtime=460.9 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 932872 0 0 0 45837 253 0 0 20 0 1 0 32293277 4424192000 1064873 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 1080125 1064873 3104 3139 0 1076413 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.09 5/263 17999
/proc/meminfo: memFree=116353808/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=7595856 memory=7086948 CPUtime=1118.77 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1131528 0 0 0 111538 339 0 0 20 0 1 0 32293277 7778156544 1771737 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 1898964 1771737 3296 3139 0 1895252 0
Current children cumulated CPU time: 1118.77 s
Current children cumulated vsize: 7595856 KiB
Current children cumulated memory: 7086948 KiB
[startup+1182.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 18001
/proc/meminfo: memFree=114780228/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=7595856 memory=7087076 CPUtime=1178.52 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1131675 0 0 0 117513 339 0 0 20 0 1 0 32293277 7778156544 1771769 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 1898964 1771769 3296 3139 0 1895252 0
Current children cumulated CPU time: 1178.52 s
Current children cumulated vsize: 7595856 KiB
Current children cumulated memory: 7087076 KiB
[startup+1242.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 18006
/proc/meminfo: memFree=118169672/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2188764 CPUtime=1238.28 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1133890 0 0 0 123480 348 0 0 20 0 1 0 32293277 2264608768 547191 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547191 3296 3139 0 549171 0
Current children cumulated CPU time: 1238.28 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2188764 KiB
[startup+1302.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 18008
/proc/meminfo: memFree=114423916/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1298.07 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1134674 0 0 0 129458 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1298.07 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1362.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 18010
/proc/meminfo: memFree=114597292/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1357.86 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1135203 0 0 0 135437 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1357.86 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 18012
/proc/meminfo: memFree=114612900/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1417.65 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1135472 0 0 0 141416 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1417.65 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 18014
/proc/meminfo: memFree=114600436/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1477.43 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1135998 0 0 0 147394 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1477.43 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 18017
/proc/meminfo: memFree=114617304/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1537.21 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136395 0 0 0 153372 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1537.21 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1584.9 s]
# the end of solver process 17814 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1576.15 s, system=3.52171 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 18018
/proc/meminfo: memFree=114532076/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1556.44 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136548 0 0 0 155295 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1556.44 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1574.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 18018
/proc/meminfo: memFree=114483488/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1569.2 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136583 0 0 0 156571 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1569.2 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1580.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 18018
/proc/meminfo: memFree=114534964/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1575.57 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136583 0 0 0 157208 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1575.57 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1582.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 18018
/proc/meminfo: memFree=114534964/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1577.17 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136583 0 0 0 157368 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1577.17 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1584 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 18018
/proc/meminfo: memFree=114534964/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1578.77 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136583 0 0 0 157528 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1578.77 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1584.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 18018
/proc/meminfo: memFree=114534964/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1579.16 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136583 0 0 0 157567 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1579.16 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
[startup+1584.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 18018
/proc/meminfo: memFree=114534964/131249996 swapFree=33010684/33010684
[pid=17814] ppid=17811 vsize=2211532 memory=2189020 CPUtime=1579.56 cores=1,3
/proc/17814/stat : 17814 (uwrmaxsat-scip) R 17811 17814 16244 0 -1 4194304 1136610 0 0 0 157607 349 0 0 20 0 1 0 32293277 2264608768 547255 18446744073709551615 4198400 17051741 140723200440288 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 29130752 140723200444730 140723200444900 140723200444900 140723200450502 0
/proc/17814/statm: 552883 547255 3296 3139 0 549171 0
Current children cumulated CPU time: 1579.56 s
Current children cumulated vsize: 2211532 KiB
Current children cumulated memory: 2189020 KiB
Child status: 0
Real time (s): 1584.9
CPU time (s): 1579.67
CPU user time (s): 1576.15
CPU system time (s): 3.52171
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 7595856
Max. memory (cumulated for all children) (KiB): 7087076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1576.15
system time used= 3.52171
maximum resident set size= 7087076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1136618
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= 53
involuntary context switches= 1402
# summary of solver processes directly reported to runsolver:
# pid: 17814
# total CPU time (s): 1579.67
# total CPU user time (s): 1576.15
# total CPU system time (s): 3.52171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.91859 second user time and 7.22727 second system time
The end
Begin job on nodeC030 at 2025-06-29 05:02:17
IDJOB=4503581
IDBENCH=155522
IDSOLVER=3373
FILE ID=nodeC030/4503581-1751166137
RUNJOBID= nodeC030-1751159686-16256
SLURM_JOB_ID= 9587504
Free space on /tmp= 432924 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.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-4503581-1751166137/watcher-4503581-1751166137 -o /tmp/evaluation-result-4503581-1751166137/solver-4503581-1751166137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16256 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4503581-1751166137.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=2127819179
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.355
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 : 3614.035
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 : 3601.320
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 : 3600.325
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.333
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.323
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 : 3576.223
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 : 3600.087
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: 127163244 kB
MemAvailable: 126960516 kB
Buffers: 3280 kB
Cached: 607864 kB
SwapCached: 0 kB
Active: 3122492 kB
Inactive: 351124 kB
Active(anon): 2880536 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 351124 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66096 kB
Writeback: 0 kB
AnonPages: 2862936 kB
Mapped: 143012 kB
Shmem: 18064 kB
KReclaimable: 86464 kB
Slab: 171516 kB
SReclaimable: 86464 kB
SUnreclaim: 85052 kB
KernelStack: 4268 kB
PageTables: 8980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3417344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1601536 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= 432824 MiB
End job on nodeC030 at 2025-06-29 05:28:42