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.00/0.06 c Converting 8576 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.09/0.14 c ============================[ Encoding Statistics ]============================
0.09/0.14 c | Number of variables: 14529 |
0.09/0.14 c | Number of clauses: 58852 |
0.09/0.14 c ===============================================================================
300.28/301.14 c Starting SCIP solver (with time-limit: 900s) ...
1197.90/1201.14 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.08/3610.60 c *** TERMINATED by signal 15 ***
3600.08/3610.60 c _______________________________________________________________________________
3600.08/3610.60 c
3600.08/3610.60 c _______________________________________________________________________________
3600.08/3610.60 c
3600.08/3610.60 c =======================[ UWrMaxSat resources usage ]===========================
3600.08/3610.60 c Memory used : 415.00 MB
3600.08/3610.60 c CPU time : 3599.47 s
3600.08/3610.60 c Constr Enc: Srt/BDD/Add: 744 0 0
3600.08/3610.60 c _______________________________________________________________________________
3600.08/3610.60 c _______________________________________________________________________________
3600.08/3610.60 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 (62576 MiB free)
memory of node 1: 64507 MiB (63630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513095-1751200086/watcher-4513095-1751200086 -o /tmp/evaluation-result-4513095-1751200086/solver-4513095-1751200086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25877 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513095-1751200086.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27339, runsolver pid=27336
[startup+0.100065 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129211896/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=47008 memory=36860 CPUtime=0.09 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 6918 0 0 0 8 1 0 0 20 0 1 0 35688843 48136192 9215 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 11752 9215 2688 3139 0 8040 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47008 KiB
Current children cumulated memory: 36860 KiB
[startup+0.205411 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129208116/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=54224 memory=42912 CPUtime=0.19 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 9102 0 0 0 18 1 0 0 20 0 1 0 35688843 55525376 10728 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 13556 10728 2688 3139 0 9844 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54224 KiB
Current children cumulated memory: 42912 KiB
[startup+0.305347 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129208116/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=56516 memory=45216 CPUtime=0.29 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 9677 0 0 0 28 1 0 0 20 0 1 0 35688843 57872384 11304 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 14129 11304 2688 3139 0 10417 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56516 KiB
Current children cumulated memory: 45216 KiB
[startup+0.700153 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129203328/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=61304 memory=49768 CPUtime=0.69 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 12400 0 0 0 67 2 0 0 20 0 1 0 35688843 62775296 12442 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 15326 12442 2688 3139 0 11614 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61304 KiB
Current children cumulated memory: 49768 KiB
[startup+1.50016 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129201564/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=62660 memory=51360 CPUtime=1.48 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 12975 0 0 0 146 2 0 0 20 0 1 0 35688843 64163840 12840 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 15665 12840 2688 3139 0 11953 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62660 KiB
Current children cumulated memory: 51360 KiB
[startup+3.10517 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129199704/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=63228 memory=51872 CPUtime=3.08 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 13328 0 0 0 306 2 0 0 20 0 1 0 35688843 64745472 12968 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 15807 12968 2688 3139 0 12095 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63228 KiB
Current children cumulated memory: 51872 KiB
[startup+6.30013 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129187732/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=65776 memory=54476 CPUtime=6.27 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 15985 0 0 0 624 3 0 0 20 0 1 0 35688843 67354624 13619 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 16444 13619 2688 3139 0 12732 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65776 KiB
Current children cumulated memory: 54476 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 27340
/proc/meminfo: memFree=129188008/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=77252 memory=65952 CPUtime=12.65 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 16908 0 0 0 1262 3 0 0 20 0 1 0 35688843 79106048 16488 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 19313 16488 2688 3139 0 15601 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77252 KiB
Current children cumulated memory: 65952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 27340
/proc/meminfo: memFree=129178664/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=86260 memory=74952 CPUtime=25.42 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 19529 0 0 0 2538 4 0 0 20 0 1 0 35688843 88330240 18738 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 21565 18738 2688 3139 0 17853 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 86260 KiB
Current children cumulated memory: 74952 KiB
[startup+51.1052 s]
/proc/loadavg: 4.52 4.22 4.13 5/264 27341
/proc/meminfo: memFree=129171616/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=80140 memory=68824 CPUtime=50.95 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 21110 0 0 0 5090 5 0 0 20 0 1 0 35688843 82063360 17206 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 20035 17206 2688 3139 0 16323 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 80140 KiB
Current children cumulated memory: 68824 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 4.28 4.15 5/263 27342
/proc/meminfo: memFree=129152128/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=102640 memory=91724 CPUtime=102.01 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 27001 0 0 0 10192 9 0 0 20 0 1 0 35688843 105103360 22931 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 25660 22931 2688 3139 0 21948 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 102640 KiB
Current children cumulated memory: 91724 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.26 4.15 5/262 27344
/proc/meminfo: memFree=129149332/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=102608 memory=91704 CPUtime=161.85 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 27796 0 0 0 16176 9 0 0 20 0 1 0 35688843 105070592 22926 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 25652 22926 2688 3139 0 21940 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 102608 KiB
Current children cumulated memory: 91704 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.23 4.14 5/262 27346
/proc/meminfo: memFree=129157520/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=127400 memory=116476 CPUtime=221.69 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 29408 0 0 0 22159 10 0 0 20 0 1 0 35688843 130457600 29119 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 31850 29119 2688 3139 0 28138 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 116476 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.20 4.14 5/262 27348
/proc/meminfo: memFree=129116284/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=195000 memory=184224 CPUtime=281.52 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 36265 0 0 0 28137 15 0 0 20 0 1 0 35688843 199680000 46056 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 48750 46056 2688 3139 0 45038 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 195000 KiB
Current children cumulated memory: 184224 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/262 27350
/proc/meminfo: memFree=129078512/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=201008 memory=190884 CPUtime=341.37 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 48931 0 0 0 34119 18 0 0 20 0 1 0 35688843 205832192 47721 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 50252 47721 3296 3139 0 46540 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 201008 KiB
Current children cumulated memory: 190884 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 27356
/proc/meminfo: memFree=129054632/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=201008 memory=192164 CPUtime=401.22 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 49245 0 0 0 40104 18 0 0 20 0 1 0 35688843 205832192 48041 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 50252 48041 3296 3139 0 46540 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 201008 KiB
Current children cumulated memory: 192164 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/264 27358
/proc/meminfo: memFree=129047104/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=201008 memory=192164 CPUtime=461.07 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 49260 0 0 0 46089 18 0 0 20 0 1 0 35688843 205832192 48041 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 50252 48041 3296 3139 0 46540 0
################
# More data... #
################
Current children cumulated memory: 247312 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 27481
/proc/meminfo: memFree=128719124/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=2854.22 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68716 0 0 0 285379 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 2854.22 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 27532
/proc/meminfo: memFree=129003832/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=2914.03 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68717 0 0 0 291360 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 27536
/proc/meminfo: memFree=128949312/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=2973.85 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68718 0 0 0 297342 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 2973.85 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 27582
/proc/meminfo: memFree=129212492/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3033.67 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68718 0 0 0 303324 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 27584
/proc/meminfo: memFree=129166016/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3093.48 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68804 0 0 0 309305 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129350892/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3153.29 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68806 0 0 0 315286 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 27633
/proc/meminfo: memFree=129262332/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3213.1 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68806 0 0 0 321267 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 27635
/proc/meminfo: memFree=129210672/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3272.9 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 68807 0 0 0 327247 43 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 27637
/proc/meminfo: memFree=129136060/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3332.69 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 69390 0 0 0 333225 44 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 27642
/proc/meminfo: memFree=129037040/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=329808 memory=322652 CPUtime=3392.48 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 71032 0 0 0 339200 48 0 0 20 0 1 0 35688843 337723392 80663 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 82452 80663 3328 3139 0 78740 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 329808 KiB
Current children cumulated memory: 322652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 27644
/proc/meminfo: memFree=129011352/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3452.28 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 72092 0 0 0 345176 52 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 27648
/proc/meminfo: memFree=128939320/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=324424 memory=317268 CPUtime=3512.08 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 73852 0 0 0 351153 55 0 0 20 0 1 0 35688843 332210176 79317 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 81106 79317 3328 3139 0 77394 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 324424 KiB
Current children cumulated memory: 317268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 27650
/proc/meminfo: memFree=128872868/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=339972 memory=333020 CPUtime=3571.88 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 75214 0 0 0 357127 61 0 0 20 0 1 0 35688843 348131328 83255 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 84993 83255 3328 3139 0 81281 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 339972 KiB
Current children cumulated memory: 333020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27651
/proc/meminfo: memFree=128963496/131250000 swapFree=33010684/33010684
[pid=27339] ppid=27336 vsize=254368 memory=247312 CPUtime=3600.08 cores=0,2
/proc/27339/stat : 27339 (uwrmaxsat-scip) R 27336 27339 25867 0 -1 4194304 75605 0 0 0 359946 62 0 0 20 0 1 0 35688843 260472832 61828 18446744073709551615 4198400 17051741 140735624964304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32980992 140735624972602 140735624972772 140735624972772 140735624978374 0
/proc/27339/statm: 63592 61828 3328 3139 0 59880 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 254368 KiB
Current children cumulated memory: 247312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 27339 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.47 s, system=0.626212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.6
CPU time (s): 3600.09
CPU user time (s): 3599.47
CPU system time (s): 0.626212
CPU usage (%): 99.7089
Max. virtual memory (cumulated for all children) (KiB): 425172
Max. memory (cumulated for all children) (KiB): 416420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.626212
maximum resident set size= 418016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75605
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= 36
involuntary context switches= 4592
# summary of solver processes directly reported to runsolver:
# pid: 27339
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.47
# total CPU system time (s): 0.626212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83137 second user time and 14.8476 second system time
The end
Begin job on nodeC013 at 2025-06-29 14:28:06
IDJOB=4513095
IDBENCH=162262
IDSOLVER=3373
FILE ID=nodeC013/4513095-1751200086
RUNJOBID= nodeC013-1751194426-25877
SLURM_JOB_ID= 9587597
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-1.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-4513095-1751200086/watcher-4513095-1751200086 -o /tmp/evaluation-result-4513095-1751200086/solver-4513095-1751200086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25877 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513095-1751200086.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c3bde2857450970636e675d32ef1343
RANDOM SEED=90909585
nodeC013 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 : 3601.616
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.67
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 : 3599.835
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.67
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.872
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.67
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.744
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.67
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.809
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.67
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.814
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.67
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 : 3601.184
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.67
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 : 3607.340
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129235584 kB
MemAvailable: 129153024 kB
Buffers: 3280 kB
Cached: 721112 kB
SwapCached: 0 kB
Active: 904820 kB
Inactive: 512288 kB
Active(anon): 706000 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 512288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16908 kB
Writeback: 0 kB
AnonPages: 695784 kB
Mapped: 138272 kB
Shmem: 13284 kB
KReclaimable: 90744 kB
Slab: 176644 kB
SReclaimable: 90744 kB
SUnreclaim: 85900 kB
KernelStack: 4288 kB
PageTables: 4368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1030148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 614400 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC013 at 2025-06-29 15:28:17