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.19/0.30 c Converting 54821 PB-constraints to clauses...
0.28/0.35 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1.07/1.11 c ============================[ Encoding Statistics ]============================
1.07/1.11 c | Number of variables: 95286 |
1.07/1.11 c | Number of clauses: 496876 |
1.07/1.11 c ===============================================================================
301.22/302.11 c Starting SCIP solver (with time-limit: 900s) ...
1199.04/1202.51 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.02/3610.20 c *** TERMINATED by signal 15 ***
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c
3600.02/3610.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3610.20 c Memory used : 472.00 MB
3600.02/3610.20 c CPU time : 3599.46 s
3600.02/3610.20 c Constr Enc: Srt/BDD/Add: 1366 0 0
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 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 (63032 MiB free)
memory of node 1: 64507 MiB (63829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501955-1751159689/watcher-4501955-1751159689 -o /tmp/evaluation-result-4501955-1751159689/solver-4501955-1751159689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16257 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4501955-1751159689.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=16578, runsolver pid=16573
[startup+0.100065 s]*
/proc/loadavg: 0.89 0.99 1.26 4/261 16598
/proc/meminfo: memFree=129872128/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=41180 memory=25264 CPUtime=0.09 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 5475 0 0 0 8 1 0 0 20 0 1 0 31648486 42168320 6316 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 10295 6316 1120 3139 0 6583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 25264 KiB
[startup+0.2055 s]*
/proc/loadavg: 0.89 0.99 1.26 5/265 16615
/proc/meminfo: memFree=129843364/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=59548 memory=43328 CPUtime=0.19 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 10195 0 0 0 18 1 0 0 20 0 1 0 31648486 60977152 10832 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 14887 10832 1120 3139 0 11175 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59548 KiB
Current children cumulated memory: 43328 KiB
[startup+0.305459 s]*
/proc/loadavg: 0.89 0.99 1.26 5/265 16620
/proc/meminfo: memFree=129828376/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=71220 memory=54080 CPUtime=0.28 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 12841 0 0 0 26 2 0 0 20 0 1 0 31648486 72929280 13520 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 17805 13520 1152 3139 0 14093 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71220 KiB
Current children cumulated memory: 54080 KiB
[startup+0.700174 s]
/proc/loadavg: 0.89 0.99 1.26 5/269 16628
/proc/meminfo: memFree=129776652/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=147668 memory=131176 CPUtime=0.67 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 29996 0 0 0 62 5 0 0 20 0 1 0 31648486 151212032 32794 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 36917 32794 2688 3139 0 33205 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 147668 KiB
Current children cumulated memory: 131176 KiB
[startup+1.50017 s]
/proc/loadavg: 0.89 0.99 1.26 4/265 16636
/proc/meminfo: memFree=129489100/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=225324 memory=201872 CPUtime=1.47 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 41778 0 0 0 139 8 0 0 20 0 1 0 31648486 230731776 50468 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 56331 50468 2688 3139 0 52619 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 225324 KiB
Current children cumulated memory: 201872 KiB
[startup+3.10553 s]
/proc/loadavg: 0.89 0.99 1.26 5/269 16718
/proc/meminfo: memFree=129135348/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=281452 memory=258204 CPUtime=3.07 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 43110 0 0 0 298 9 0 0 20 0 1 0 31648486 288206848 64551 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 70363 64551 2688 3139 0 66651 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 281452 KiB
Current children cumulated memory: 258204 KiB
[startup+6.30017 s]
/proc/loadavg: 1.14 1.04 1.27 5/269 16763
/proc/meminfo: memFree=128874620/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289628 memory=268388 CPUtime=6.25 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 44169 0 0 0 616 9 0 0 20 0 1 0 31648486 296579072 67097 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72407 67097 2688 3139 0 68695 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 289628 KiB
Current children cumulated memory: 268388 KiB
[startup+12.7002 s]
/proc/loadavg: 1.37 1.08 1.29 5/269 16763
/proc/meminfo: memFree=128452140/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289628 memory=268900 CPUtime=12.63 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 44316 0 0 0 1254 9 0 0 20 0 1 0 31648486 296579072 67225 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72407 67225 2688 3139 0 68695 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 289628 KiB
Current children cumulated memory: 268900 KiB
[startup+25.5002 s]
/proc/loadavg: 1.95 1.23 1.33 5/269 16764
/proc/meminfo: memFree=128473212/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289628 memory=268900 CPUtime=25.4 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 44343 0 0 0 2531 9 0 0 20 0 1 0 31648486 296579072 67225 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72407 67225 2688 3139 0 68695 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 289628 KiB
Current children cumulated memory: 268900 KiB
[startup+51.1056 s]
/proc/loadavg: 2.71 1.47 1.41 5/269 16764
/proc/meminfo: memFree=128454684/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289772 memory=269028 CPUtime=50.93 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 44427 0 0 0 5084 9 0 0 20 0 1 0 31648486 296726528 67257 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72443 67257 2688 3139 0 68731 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 289772 KiB
Current children cumulated memory: 269028 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.88 1.55 5/268 16766
/proc/meminfo: memFree=128450668/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=256220 memory=236916 CPUtime=101.97 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 49139 0 0 0 10184 13 0 0 20 0 1 0 31648486 262369280 59229 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 64055 59229 2688 3139 0 60343 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 256220 KiB
Current children cumulated memory: 236916 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.28 1.71 5/267 16770
/proc/meminfo: memFree=128389584/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=295708 memory=277520 CPUtime=161.78 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 51164 0 0 0 16164 14 0 0 20 0 1 0 31648486 302804992 69380 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 73927 69380 2688 3139 0 70215 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 295708 KiB
Current children cumulated memory: 277520 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.61 1.86 5/267 16772
/proc/meminfo: memFree=128453996/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=252844 memory=234800 CPUtime=221.63 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 51902 0 0 0 22148 15 0 0 20 0 1 0 31648486 258912256 58700 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 63211 58700 2688 3139 0 59499 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 252844 KiB
Current children cumulated memory: 234800 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.88 2.01 5/265 16778
/proc/meminfo: memFree=128388064/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=288324 memory=270844 CPUtime=281.46 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 56532 0 0 0 28128 18 0 0 20 0 1 0 31648486 295243776 67711 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72081 67711 2688 3139 0 68369 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 288324 KiB
Current children cumulated memory: 270844 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.12 2.14 5/264 16781
/proc/meminfo: memFree=127986472/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=369540 memory=341064 CPUtime=341.3 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 71535 0 0 0 34110 20 0 0 20 0 1 0 31648486 378408960 85266 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 92385 85266 3264 3139 0 88673 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 369540 KiB
Current children cumulated memory: 341064 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.30 2.27 5/265 16786
/proc/meminfo: memFree=127932904/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=423028 memory=395164 CPUtime=401.14 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 80575 0 0 0 40091 23 0 0 20 0 1 0 31648486 433180672 98791 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 105757 98791 3296 3139 0 102045 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 423028 KiB
Current children cumulated memory: 395164 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.43 2.38 5/265 16788
/proc/meminfo: memFree=127644852/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=432916 memory=399260 CPUtime=460.98 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 81679 0 0 0 46075 23 0 0 20 0 1 0 31648486 443305984 99815 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 108229 99815 3296 3139 0 104517 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 300764 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.17 4.04 5/263 16912
/proc/meminfo: memFree=128211576/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=316508 memory=301504 CPUtime=2854.04 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 114098 0 0 0 285356 48 0 0 20 0 1 0 31648486 324104192 75376 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 79127 75376 3296 3139 0 75415 0
Current children cumulated CPU time: 2854.04 s
Current children cumulated vsize: 316508 KiB
Current children cumulated memory: 301504 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.17 4.05 5/263 16914
/proc/meminfo: memFree=128166768/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=279220 memory=264252 CPUtime=2913.87 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 114181 0 0 0 291339 48 0 0 20 0 1 0 31648486 285921280 66063 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 69805 66063 3296 3139 0 66093 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 264252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.05 5/263 16916
/proc/meminfo: memFree=128192180/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=279220 memory=264252 CPUtime=2973.72 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 114713 0 0 0 297323 49 0 0 20 0 1 0 31648486 285921280 66063 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 69805 66063 3296 3139 0 66093 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 264252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.05 5/263 16918
/proc/meminfo: memFree=128210828/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=279220 memory=264252 CPUtime=3033.57 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 115035 0 0 0 303308 49 0 0 20 0 1 0 31648486 285921280 66063 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 69805 66063 3296 3139 0 66093 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 264252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/262 16920
/proc/meminfo: memFree=128180416/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=279220 memory=264252 CPUtime=3093.41 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 115745 0 0 0 309291 50 0 0 20 0 1 0 31648486 285921280 66063 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 69805 66063 3296 3139 0 66093 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 264252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/262 16922
/proc/meminfo: memFree=128191592/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289368 memory=274304 CPUtime=3153.26 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 116693 0 0 0 315275 51 0 0 20 0 1 0 31648486 296312832 68576 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72342 68576 3296 3139 0 68630 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 289368 KiB
Current children cumulated memory: 274304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/262 16924
/proc/meminfo: memFree=128232932/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=256312 memory=241472 CPUtime=3213.11 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 117336 0 0 0 321259 52 0 0 20 0 1 0 31648486 262463488 60368 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 64078 60368 3296 3139 0 60366 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 256312 KiB
Current children cumulated memory: 241472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.05 5/263 16931
/proc/meminfo: memFree=128226528/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=282148 memory=267136 CPUtime=3272.95 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 119130 0 0 0 327241 54 0 0 20 0 1 0 31648486 288919552 66784 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 70537 66784 3296 3139 0 66825 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 282148 KiB
Current children cumulated memory: 267136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/263 16933
/proc/meminfo: memFree=128187368/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=282148 memory=267180 CPUtime=3332.81 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 119458 0 0 0 333226 55 0 0 20 0 1 0 31648486 288919552 66795 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 70537 66795 3296 3139 0 66825 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 282148 KiB
Current children cumulated memory: 267180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/263 16937
/proc/meminfo: memFree=128194604/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=289156 memory=274176 CPUtime=3392.65 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 119687 0 0 0 339210 55 0 0 20 0 1 0 31648486 296095744 68544 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 72289 68544 3296 3139 0 68577 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 289156 KiB
Current children cumulated memory: 274176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 16939
/proc/meminfo: memFree=128184464/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=313980 memory=299008 CPUtime=3452.5 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 120273 0 0 0 345194 56 0 0 20 0 1 0 31648486 321515520 74752 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 78495 74752 3296 3139 0 74783 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 313980 KiB
Current children cumulated memory: 299008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/264 16942
/proc/meminfo: memFree=128204780/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=313980 memory=299008 CPUtime=3512.35 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 120366 0 0 0 351179 56 0 0 20 0 1 0 31648486 321515520 74752 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 78495 74752 3296 3139 0 74783 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 313980 KiB
Current children cumulated memory: 299008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.41 4.18 4.09 5/264 16944
/proc/meminfo: memFree=128247704/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=259984 memory=245144 CPUtime=3572.19 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 120826 0 0 0 357163 56 0 0 20 0 1 0 31648486 266223616 61286 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 64996 61286 3296 3139 0 61284 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 259984 KiB
Current children cumulated memory: 245144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.33 4.18 4.09 4/260 16950
/proc/meminfo: memFree=128703636/131249996 swapFree=33010684/33010684
[pid=16578] ppid=16573 vsize=262136 memory=247296 CPUtime=3600.02 cores=5,7
/proc/16578/stat : 16578 (uwrmaxsat-scip) R 16573 16578 16244 0 -1 4194304 121297 0 0 0 359945 57 0 0 20 0 1 0 31648486 268427264 61824 18446744073709551615 4198400 17051741 140722099236864 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 25010176 140722099239226 140722099239396 140722099239396 140722099244998 0
/proc/16578/statm: 65534 61824 3296 3139 0 61822 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 262136 KiB
Current children cumulated memory: 247296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 16578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.46 s, system=0.5792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.04
CPU user time (s): 3599.46
CPU system time (s): 0.5792
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 483584
Max. memory (cumulated for all children) (KiB): 441500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.5792
maximum resident set size= 441500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121297
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= 52
involuntary context switches= 1417
# summary of solver processes directly reported to runsolver:
# pid: 16578
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.46
# total CPU system time (s): 0.5792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72724 second user time and 15.7292 second system time
The end
Begin job on nodeC030 at 2025-06-29 03:14:49
IDJOB=4501955
IDBENCH=152982
IDSOLVER=3373
FILE ID=nodeC030/4501955-1751159689
RUNJOBID= nodeC030-1751159686-16257
SLURM_JOB_ID= 9587504
Free space on /tmp= 433000 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_3-sat.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-4501955-1751159689/watcher-4501955-1751159689 -o /tmp/evaluation-result-4501955-1751159689/solver-4501955-1751159689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16257 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4501955-1751159689.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=1045743010
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3489.065
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.082
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3543.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.298
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3186.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3495.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.247
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129923524 kB
MemAvailable: 129641720 kB
Buffers: 3280 kB
Cached: 528880 kB
SwapCached: 0 kB
Active: 324196 kB
Inactive: 272140 kB
Active(anon): 82240 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 272140 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61144 kB
Writeback: 12 kB
AnonPages: 67092 kB
Mapped: 103120 kB
Shmem: 18064 kB
KReclaimable: 86280 kB
Slab: 171432 kB
SReclaimable: 86280 kB
SUnreclaim: 85152 kB
KernelStack: 4192 kB
PageTables: 2996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC030 at 2025-06-29 04:14:59