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.09/0.18 c Converting 48008 PB-constraints to clauses...
0.09/0.18 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.30/0.37 c ============================[ Encoding Statistics ]============================
0.30/0.37 c | Number of variables: 15833 |
0.30/0.37 c | Number of clauses: 97951 |
0.30/0.37 c ===============================================================================
300.35/301.37 c Starting SCIP solver (with time-limit: 900s) ...
1197.59/1201.37 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
2884.02/2892.55 c [1mUNKNOWN[0m
2884.02/2892.55 c _______________________________________________________________________________
2884.02/2892.55 c
2884.02/2892.55 c =======================[ UWrMaxSat resources usage ]===========================
2884.02/2892.55 c Memory used : 1120.00 MB
2884.02/2892.55 c CPU time : 2883.63 s
2884.02/2892.55 c Constr Enc: Srt/BDD/Add: 3079 0 0
2884.02/2892.55 c _______________________________________________________________________________
2884.02/2892.55 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61782 MiB free)
memory of node 1: 64465 MiB (62110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545248-1753228319/watcher-4545248-1753228319 -o /tmp/evaluation-result-4545248-1753228319/solver-4545248-1753228319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753222581-169399 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4545248-1753228319.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=172306, runsolver pid=172303
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.07 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126850772/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=39896 memory=24064 CPUtime=0.09 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 5031 0 0 0 9 0 0 0 20 0 1 0 238508506 40853504 6016 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 9974 6016 1120 3139 0 6262 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 24064 KiB
[startup+0.205409 s]*
/proc/loadavg: 4.07 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126819020/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=68024 memory=57696 CPUtime=0.2 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 12117 0 0 0 18 2 0 0 20 0 1 0 238508506 69656576 14424 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 17006 14424 2688 3139 0 13294 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 57696 KiB
[startup+0.305361 s]*
/proc/loadavg: 4.07 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126786764/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=102388 memory=91360 CPUtime=0.3 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 20550 0 0 0 27 3 0 0 20 0 1 0 238508506 104845312 22840 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 25597 22840 2688 3139 0 21885 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102388 KiB
Current children cumulated memory: 91360 KiB
[startup+0.700173 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126773156/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=120792 memory=108168 CPUtime=0.69 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 26214 0 0 0 65 4 0 0 20 0 1 0 238508506 123691008 27042 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 30198 27042 2688 3139 0 26486 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120792 KiB
Current children cumulated memory: 108168 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126771140/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=122440 memory=110652 CPUtime=1.49 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 28720 0 0 0 144 5 0 0 20 0 1 0 238508506 125378560 27663 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 30610 27663 2720 3139 0 26898 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122440 KiB
Current children cumulated memory: 110652 KiB
[startup+3.10525 s]
/proc/loadavg: 4.06 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126771140/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=122724 memory=110908 CPUtime=3.09 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 28792 0 0 0 304 5 0 0 20 0 1 0 238508506 125669376 27727 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 30681 27727 2720 3139 0 26969 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 122724 KiB
Current children cumulated memory: 110908 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.12 4.09 5/265 172307
/proc/meminfo: memFree=126770888/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=120668 memory=109052 CPUtime=6.27 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 29693 0 0 0 622 5 0 0 20 0 1 0 238508506 123564032 27263 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 30167 27263 2720 3139 0 26455 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120668 KiB
Current children cumulated memory: 109052 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 172307
/proc/meminfo: memFree=126726400/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=128080 memory=116312 CPUtime=12.65 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 31422 0 0 0 1260 5 0 0 20 0 1 0 238508506 131153920 29078 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 32020 29078 2720 3139 0 28308 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128080 KiB
Current children cumulated memory: 116312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 172307
/proc/meminfo: memFree=126726400/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=127904 memory=116056 CPUtime=25.41 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 35928 0 0 0 2535 6 0 0 20 0 1 0 238508506 130973696 29014 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 31976 29014 2720 3139 0 28264 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127904 KiB
Current children cumulated memory: 116056 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 172353
/proc/meminfo: memFree=124797552/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=132392 memory=120664 CPUtime=50.91 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 37056 0 0 0 5081 10 0 0 20 0 1 0 238508506 135569408 30166 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 33098 30166 2720 3139 0 29386 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 132392 KiB
Current children cumulated memory: 120664 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 172356
/proc/meminfo: memFree=124497204/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=145952 memory=134120 CPUtime=101.95 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 43560 0 0 0 10183 12 0 0 20 0 1 0 238508506 149454848 33530 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 36488 33530 2720 3139 0 32776 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 145952 KiB
Current children cumulated memory: 134120 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 172358
/proc/meminfo: memFree=124775984/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=145952 memory=134120 CPUtime=161.78 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 43569 0 0 0 16166 12 0 0 20 0 1 0 238508506 149454848 33530 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 36488 33530 2720 3139 0 32776 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 145952 KiB
Current children cumulated memory: 134120 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 172404
/proc/meminfo: memFree=124683396/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=134140 memory=121964 CPUtime=221.6 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 46480 0 0 0 22147 13 0 0 20 0 1 0 238508506 137359360 30491 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 33535 30491 2720 3139 0 29823 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 134140 KiB
Current children cumulated memory: 121964 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 172405
/proc/meminfo: memFree=124624684/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=147420 memory=135740 CPUtime=281.41 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 52332 0 0 0 28126 15 0 0 20 0 1 0 238508506 150958080 33935 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 36855 33935 2720 3139 0 33143 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 147420 KiB
Current children cumulated memory: 135740 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/266 172410
/proc/meminfo: memFree=124417496/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=484872 memory=418692 CPUtime=341.23 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 100314 0 0 0 34099 24 0 0 20 0 1 0 238508506 496508928 104673 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 121218 104673 3296 3139 0 117506 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 484872 KiB
Current children cumulated memory: 418692 KiB
[startup+402.3 s]
/proc/loadavg: 4.58 4.25 4.14 5/265 172456
/proc/meminfo: memFree=124852540/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=568704 memory=486660 CPUtime=401.05 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 117272 0 0 0 40079 26 0 0 20 0 1 0 238508506 582352896 121665 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 142176 121665 3296 3139 0 138464 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 568704 KiB
Current children cumulated memory: 486660 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/265 172458
/proc/meminfo: memFree=124779504/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=684976 memory=583556 CPUtime=460.86 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 140518 0 0 0 46056 30 0 0 20 0 1 0 238508506 701415424 145889 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 171244 145889 3296 3139 0 167532 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.09 5/266 172621
/proc/meminfo: memFree=123999512/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2494.95 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181794 0 0 0 249452 43 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2494.95 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2562.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 172623
/proc/meminfo: memFree=124027840/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2554.79 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181800 0 0 0 255436 43 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2554.79 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2622.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 172625
/proc/meminfo: memFree=124008928/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2614.62 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181853 0 0 0 261419 43 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2614.62 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2682.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 172627
/proc/meminfo: memFree=124009248/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2674.44 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181858 0 0 0 267400 44 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2674.44 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2742.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 172631
/proc/meminfo: memFree=123953148/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2734.26 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181923 0 0 0 273382 44 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2734.26 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2802.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 172632
/proc/meminfo: memFree=123955668/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2794.08 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181963 0 0 0 279364 44 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2794.08 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 172635
/proc/meminfo: memFree=123957636/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2853.91 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181988 0 0 0 285346 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2853.91 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2892.56 s]
# the end of solver process 172306 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2883.63 s, system=0.45748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 172636
/proc/meminfo: memFree=123958204/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2858.8 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181988 0 0 0 285835 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2858.8 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2880 s]*
/proc/loadavg: 4.17 4.11 4.10 5/264 172636
/proc/meminfo: memFree=123962304/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2871.56 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 287111 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2871.56 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2886.4 s]
/proc/loadavg: 4.24 4.13 4.10 5/264 172636
/proc/meminfo: memFree=123963060/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2877.94 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 287749 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2877.94 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2889.6 s]
/proc/loadavg: 4.30 4.14 4.10 5/264 172636
/proc/meminfo: memFree=123964220/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2881.13 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 288068 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2881.13 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2891.2 s]
/proc/loadavg: 4.30 4.14 4.10 5/264 172636
/proc/meminfo: memFree=123964220/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2882.73 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 288228 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2882.73 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2892 s]*
/proc/loadavg: 4.30 4.14 4.10 5/264 172636
/proc/meminfo: memFree=123964220/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2883.53 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 288308 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2883.53 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2892.4 s]
/proc/loadavg: 4.30 4.14 4.10 5/264 172636
/proc/meminfo: memFree=123964220/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2883.92 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 288347 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2883.92 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
[startup+2892.5 s]
/proc/loadavg: 4.30 4.14 4.10 5/264 172636
/proc/meminfo: memFree=123964220/131250000 swapFree=33008356/33010684
[pid=172306] ppid=172303 vsize=965856 memory=839528 CPUtime=2884.02 cores=0,2
/proc/172306/stat : 172306 (uwrmaxsat-scip) R 172303 172306 169389 0 -1 4194304 181991 0 0 0 288357 45 0 0 20 0 1 0 238508506 989036544 209882 18446744073709551615 4198400 17051741 140729887365520 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33255424 140729887373624 140729887373794 140729887373794 140729887379398 0
/proc/172306/statm: 241464 209882 3296 3139 0 237752 0
Current children cumulated CPU time: 2884.02 s
Current children cumulated vsize: 965856 KiB
Current children cumulated memory: 839528 KiB
Child status: 0
Real time (s): 2892.56
CPU time (s): 2884.09
CPU user time (s): 2883.63
CPU system time (s): 0.45748
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 1147000
Max. memory (cumulated for all children) (KiB): 981840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2883.63
system time used= 0.45748
maximum resident set size= 981840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181991
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= 56
involuntary context switches= 3700
# summary of solver processes directly reported to runsolver:
# pid: 172306
# total CPU time (s): 2884.09
# total CPU user time (s): 2883.63
# total CPU system time (s): 0.45748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21891 second user time and 11.9748 second system time
The end
Begin job on nodeC014 at 2025-07-23 01:51:59
IDJOB=4545248
IDBENCH=180780
IDSOLVER=3373
FILE ID=nodeC014/4545248-1753228319
RUNJOBID= nodeC014-1753222581-169399
SLURM_JOB_ID= 9687821
Free space on /tmp= 432784 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.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-4545248-1753228319/watcher-4545248-1753228319 -o /tmp/evaluation-result-4545248-1753228319/solver-4545248-1753228319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753222581-169399 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4545248-1753228319.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=428722125
nodeC014 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.306
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.23
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.119
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.23
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 : 3596.806
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.23
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.790
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.23
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.115
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.23
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.116
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.23
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.045
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.23
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 : 3602.163
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126866648 kB
MemAvailable: 127402280 kB
Buffers: 696 kB
Cached: 1280672 kB
SwapCached: 1624 kB
Active: 3134836 kB
Inactive: 460664 kB
Active(anon): 2313048 kB
Inactive(anon): 25696 kB
Active(file): 821788 kB
Inactive(file): 434968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17808 kB
Writeback: 12 kB
AnonPages: 2314608 kB
Mapped: 147368 kB
Shmem: 24612 kB
KReclaimable: 236232 kB
Slab: 332188 kB
SReclaimable: 236232 kB
SUnreclaim: 95956 kB
KernelStack: 4272 kB
PageTables: 7584 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2818292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2230272 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC014 at 2025-07-23 02:40:12