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.30/0.37 c Converting 109861 PB-constraints to clauses...
0.30/0.38 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.59/0.65 c ============================[ Encoding Statistics ]============================
0.59/0.65 c | Number of variables: 3660 |
0.59/0.65 c | Number of clauses: 109861 |
0.59/0.65 c ===============================================================================
300.85/301.65 c Starting SCIP solver (with time-limit: 900s) ...
1198.09/1201.66 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.05/3610.60 c *** TERMINATED by signal 15 ***
3600.05/3610.60 c _______________________________________________________________________________
3600.05/3610.60 c
3600.05/3610.60 c _______________________________________________________________________________
3600.05/3610.60 c
3600.05/3610.60 c =======================[ UWrMaxSat resources usage ]===========================
3600.05/3610.60 c Memory used : 902.00 MB
3600.05/3610.60 c CPU time : 3599.32 s
3600.05/3610.60 c _______________________________________________________________________________
3600.05/3610.60 c _______________________________________________________________________________
3600.05/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: 63708 MiB (63035 MiB free)
memory of node 1: 64465 MiB (63483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492813-1751144937/watcher-4492813-1751144937 -o /tmp/evaluation-result-4492813-1751144937/solver-4492813-1751144937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4492813-1751144937.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=14971, runsolver pid=14968
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.16 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129539196/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=40836 memory=24960 CPUtime=0.09 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 5255 0 0 0 9 0 0 0 20 0 1 0 30172381 41816064 6240 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 10209 6240 1120 3139 0 6497 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 24960 KiB
[startup+0.205485 s]*
/proc/loadavg: 4.16 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129523068/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=60740 memory=44928 CPUtime=0.2 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 10241 0 0 0 19 1 0 0 20 0 1 0 30172381 62197760 11232 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 15185 11232 1120 3139 0 11473 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60740 KiB
Current children cumulated memory: 44928 KiB
[startup+0.305422 s]*
/proc/loadavg: 4.16 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129498876/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=79592 memory=63744 CPUtime=0.3 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 14973 0 0 0 28 2 0 0 20 0 1 0 30172381 81502208 15936 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 19898 15936 1120 3139 0 16186 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79592 KiB
Current children cumulated memory: 63744 KiB
[startup+0.700176 s]
/proc/loadavg: 4.16 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129434616/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=199044 memory=187112 CPUtime=0.69 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 45616 0 0 0 62 7 0 0 20 0 1 0 30172381 203821056 46778 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 49761 46778 2688 3139 0 46049 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 199044 KiB
Current children cumulated memory: 187112 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129383964/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=202172 memory=191072 CPUtime=1.49 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 49887 0 0 0 141 8 0 0 20 0 1 0 30172381 207024128 47768 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 50543 47768 2720 3139 0 46831 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 202172 KiB
Current children cumulated memory: 191072 KiB
[startup+3.10526 s]
/proc/loadavg: 4.15 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129382220/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=204536 memory=193436 CPUtime=3.08 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 51774 0 0 0 300 8 0 0 20 0 1 0 30172381 209444864 48359 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 51134 48359 2720 3139 0 47422 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204536 KiB
Current children cumulated memory: 193436 KiB
[startup+6.30011 s]
/proc/loadavg: 4.15 3.94 3.11 5/263 14972
/proc/meminfo: memFree=129377936/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=216652 memory=205796 CPUtime=6.27 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 55397 0 0 0 618 9 0 0 20 0 1 0 30172381 221851648 51449 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 54163 51449 2720 3139 0 50451 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216652 KiB
Current children cumulated memory: 205796 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 3.94 3.12 5/263 14972
/proc/meminfo: memFree=129367900/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=213088 memory=202212 CPUtime=12.66 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 57469 0 0 0 1256 10 0 0 20 0 1 0 30172381 218202112 50553 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 53272 50553 2720 3139 0 49560 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 213088 KiB
Current children cumulated memory: 202212 KiB
[startup+25.5001 s]
/proc/loadavg: 4.19 3.96 3.14 5/263 14973
/proc/meminfo: memFree=129368840/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=233600 memory=222692 CPUtime=25.43 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 60492 0 0 0 2530 13 0 0 20 0 1 0 30172381 239206400 55673 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 58400 55673 2720 3139 0 54688 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 233600 KiB
Current children cumulated memory: 222692 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 3.96 3.16 5/263 15018
/proc/meminfo: memFree=129397744/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=240880 memory=229988 CPUtime=50.97 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 61290 0 0 0 5084 13 0 0 20 0 1 0 30172381 246661120 57497 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 60220 57497 2720 3139 0 56508 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 240880 KiB
Current children cumulated memory: 229988 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.99 3.22 5/263 15020
/proc/meminfo: memFree=129322652/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=261440 memory=250596 CPUtime=102.05 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 64865 0 0 0 10188 17 0 0 20 0 1 0 30172381 267714560 62649 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 65360 62649 2720 3139 0 61648 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 261440 KiB
Current children cumulated memory: 250596 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.01 3.27 5/263 15022
/proc/meminfo: memFree=129313776/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=260180 memory=249316 CPUtime=161.89 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 68481 0 0 0 16169 20 0 0 20 0 1 0 30172381 266424320 62329 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 65045 62329 2720 3139 0 61333 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 260180 KiB
Current children cumulated memory: 249316 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.02 3.33 5/263 15024
/proc/meminfo: memFree=129322364/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=268776 memory=258660 CPUtime=221.74 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 70258 0 0 0 22152 22 0 0 20 0 1 0 30172381 275226624 64665 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 67194 64665 2720 3139 0 63482 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 268776 KiB
Current children cumulated memory: 258660 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.04 3.38 5/263 15070
/proc/meminfo: memFree=129299236/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=290704 memory=280816 CPUtime=281.59 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 84576 0 0 0 28128 31 0 0 20 0 1 0 30172381 297680896 70204 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 72676 70204 2720 3139 0 68964 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 290704 KiB
Current children cumulated memory: 280816 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.03 3.42 5/263 15117
/proc/meminfo: memFree=128966108/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=828352 memory=709000 CPUtime=341.44 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 216251 0 0 0 34090 54 0 0 20 0 1 0 30172381 848232448 177250 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 207088 177250 3296 3139 0 203376 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 828352 KiB
Current children cumulated memory: 709000 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.04 3.47 5/263 15119
/proc/meminfo: memFree=128907588/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=828352 memory=709000 CPUtime=401.26 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 216328 0 0 0 40072 54 0 0 20 0 1 0 30172381 848232448 177250 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 207088 177250 3296 3139 0 203376 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 828352 KiB
Current children cumulated memory: 709000 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.06 3.51 5/264 15124
/proc/meminfo: memFree=128906320/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=828352 memory=709000 CPUtime=461.08 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 216330 0 0 0 46054 54 0 0 20 0 1 0 30172381 848232448 177250 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 207088 177250 3296 3139 0 203376 0
################
# More data... #
################
Current children cumulated memory: 778968 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 15741
/proc/meminfo: memFree=127950452/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=2853.77 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 263221 0 0 0 285305 72 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 2853.77 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 15745
/proc/meminfo: memFree=127937240/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=2913.6 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 263324 0 0 0 291288 72 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 2913.6 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 15752
/proc/meminfo: memFree=127965148/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=2973.44 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 263642 0 0 0 297272 72 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 15754
/proc/meminfo: memFree=127908572/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3033.28 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 263778 0 0 0 303256 72 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3033.28 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 15780
/proc/meminfo: memFree=127978576/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3093.12 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 263919 0 0 0 309239 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 15797
/proc/meminfo: memFree=127904804/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3152.96 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 264149 0 0 0 315223 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 15799
/proc/meminfo: memFree=127875372/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3212.79 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 264233 0 0 0 321206 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 15801
/proc/meminfo: memFree=127949932/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3272.63 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 264562 0 0 0 327190 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 15804
/proc/meminfo: memFree=127935348/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3332.47 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 264770 0 0 0 333174 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 15806
/proc/meminfo: memFree=127886932/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3392.31 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 264899 0 0 0 339158 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 15808
/proc/meminfo: memFree=127904264/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3452.14 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 265203 0 0 0 345141 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 15813
/proc/meminfo: memFree=127893444/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3511.98 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 265283 0 0 0 351125 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 15819
/proc/meminfo: memFree=127737220/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3571.82 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 265481 0 0 0 357109 73 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 15820
/proc/meminfo: memFree=127649044/131250000 swapFree=33010684/33010684
[pid=14971] ppid=14968 vsize=786276 memory=778968 CPUtime=3600.05 cores=4,6
/proc/14971/stat : 14971 (uwrmaxsat-scip) R 14968 14971 13281 0 -1 4194304 265601 0 0 0 359931 74 0 0 20 0 1 0 30172381 805146624 194742 18446744073709551615 4198400 17051741 140728922454912 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 29204480 140728922462522 140728922462692 140728922462692 140728922468294 0
/proc/14971/statm: 196569 194742 3296 3139 0 192857 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 786276 KiB
Current children cumulated memory: 778968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 14971 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.32 s, system=0.742928 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.06
CPU user time (s): 3599.32
CPU system time (s): 0.742928
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 924180
Max. memory (cumulated for all children) (KiB): 844752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.32
system time used= 0.742928
maximum resident set size= 844752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265601
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= 63
involuntary context switches= 1587
# summary of solver processes directly reported to runsolver:
# pid: 14971
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.32
# total CPU system time (s): 0.742928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89367 second user time and 15.7218 second system time
The end
Begin job on nodeC026 at 2025-06-28 23:08:57
IDJOB=4492813
IDBENCH=147823
IDSOLVER=3373
FILE ID=nodeC026/4492813-1751144937
RUNJOBID= nodeC026-1751144206-13297
SLURM_JOB_ID= 9587438
Free space on /tmp= 433004 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.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-4492813-1751144937/watcher-4492813-1751144937 -o /tmp/evaluation-result-4492813-1751144937/solver-4492813-1751144937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4492813-1751144937.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 34508937f6127f0a8669d934526c1066
RANDOM SEED=367199879
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
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.59
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.786
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.063
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.59
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 : 3700.000
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.59
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.795
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.59
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.799
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.59
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 : 3586.205
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.59
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 : 3612.630
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129555892 kB
MemAvailable: 129211296 kB
Buffers: 3280 kB
Cached: 466784 kB
SwapCached: 0 kB
Active: 785544 kB
Inactive: 260072 kB
Active(anon): 593632 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 260072 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19148 kB
Writeback: 0 kB
AnonPages: 577632 kB
Mapped: 138064 kB
Shmem: 18080 kB
KReclaimable: 85320 kB
Slab: 168248 kB
SReclaimable: 85320 kB
SUnreclaim: 82928 kB
KernelStack: 4292 kB
PageTables: 4100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 932232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 423936 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC026 at 2025-06-29 00:09:08