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.05 c Converting 4828 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.08/0.12 c ============================[ Encoding Statistics ]============================
0.08/0.12 c | Number of variables: 21994 |
0.08/0.12 c | Number of clauses: 66319 |
0.08/0.12 c ===============================================================================
300.23/301.12 c Starting SCIP solver (with time-limit: 900s) ...
1197.69/1201.12 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.01/3611.20 c *** TERMINATED by signal 15 ***
3600.01/3611.20 c _______________________________________________________________________________
3600.01/3611.20 c
3600.01/3611.20 c _______________________________________________________________________________
3600.01/3611.20 c
3600.01/3611.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.01/3611.20 c Memory used : 376.00 MB
3600.01/3611.20 c CPU time : 3598.68 s
3600.01/3611.20 c Constr Enc: Srt/BDD/Add: 1 0 0
3600.01/3611.20 c _______________________________________________________________________________
3600.01/3611.20 c _______________________________________________________________________________
3600.01/3611.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: 63837 MiB (62248 MiB free)
memory of node 1: 64465 MiB (61850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514931-1751217776/watcher-4514931-1751217776 -o /tmp/evaluation-result-4514931-1751217776/solver-4514931-1751217776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30299 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514931-1751217776.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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=32295, runsolver pid=32292
[startup+0.100064 s]*
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127054224/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=43540 memory=33088 CPUtime=0.08 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 5942 0 0 0 8 0 0 0 20 0 1 0 37456782 44584960 8272 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 10885 8272 2688 3139 0 7173 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43540 KiB
Current children cumulated memory: 33088 KiB
[startup+0.205481 s]*
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127048680/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=51112 memory=39960 CPUtime=0.19 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 8400 0 0 0 18 1 0 0 20 0 1 0 37456782 52338688 9990 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 12778 9990 2688 3139 0 9066 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 39960 KiB
[startup+0.307039 s]*
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127044900/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=53476 memory=42392 CPUtime=0.28 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 8993 0 0 0 27 1 0 0 20 0 1 0 37456782 54759424 10598 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 13369 10598 2688 3139 0 9657 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53476 KiB
Current children cumulated memory: 42392 KiB
[startup+0.700183 s]
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127044900/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=56420 memory=45320 CPUtime=0.66 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 11332 0 0 0 65 1 0 0 20 0 1 0 37456782 57774080 11330 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 14105 11330 2688 3139 0 10393 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 56420 KiB
Current children cumulated memory: 45320 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127045152/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=60528 memory=48584 CPUtime=1.46 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 12953 0 0 0 144 2 0 0 20 0 1 0 37456782 61980672 12146 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 15132 12146 2688 3139 0 11420 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 60528 KiB
Current children cumulated memory: 48584 KiB
[startup+3.1128 s]
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127045168/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=56696 memory=44920 CPUtime=3.06 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 15437 0 0 0 304 2 0 0 20 0 1 0 37456782 58056704 11230 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 14174 11230 2688 3139 0 10462 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 56696 KiB
Current children cumulated memory: 44920 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.16 4.00 5/251 32296
/proc/meminfo: memFree=127041072/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=62700 memory=51064 CPUtime=6.25 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 18704 0 0 0 622 3 0 0 20 0 1 0 37456782 64204800 12766 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 15675 12766 2688 3139 0 11963 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 62700 KiB
Current children cumulated memory: 51064 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.17 4.01 5/251 32296
/proc/meminfo: memFree=127041072/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=61384 memory=49372 CPUtime=12.63 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 22593 0 0 0 1259 4 0 0 20 0 1 0 37456782 62857216 12343 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 15346 12343 2688 3139 0 11634 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 61384 KiB
Current children cumulated memory: 49372 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.18 4.01 5/251 32296
/proc/meminfo: memFree=127033448/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=68920 memory=57360 CPUtime=25.4 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 27722 0 0 0 2534 6 0 0 20 0 1 0 37456782 70574080 14340 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 17230 14340 2688 3139 0 13518 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 68920 KiB
Current children cumulated memory: 57360 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.16 4.01 5/251 32297
/proc/meminfo: memFree=127025020/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=83876 memory=72204 CPUtime=50.93 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 30863 0 0 0 5086 7 0 0 20 0 1 0 37456782 85889024 18051 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 20969 18051 2688 3139 0 17257 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 83876 KiB
Current children cumulated memory: 72204 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.15 4.01 5/250 32298
/proc/meminfo: memFree=126978800/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=100348 memory=88808 CPUtime=101.98 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 36734 0 0 0 10187 11 0 0 20 0 1 0 37456782 102756352 22202 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 25087 22202 2688 3139 0 21375 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 100348 KiB
Current children cumulated memory: 88808 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.02 5/250 32300
/proc/meminfo: memFree=126954364/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=100348 memory=89192 CPUtime=161.81 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 36817 0 0 0 16169 12 0 0 20 0 1 0 37456782 102756352 22298 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 25087 22298 2688 3139 0 21375 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 100348 KiB
Current children cumulated memory: 89192 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.02 5/253 32310
/proc/meminfo: memFree=126900120/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=111024 memory=99828 CPUtime=221.64 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 37476 0 0 0 22151 13 0 0 20 0 1 0 37456782 113688576 24957 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 27756 24957 2688 3139 0 24044 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 111024 KiB
Current children cumulated memory: 99828 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.16 4.03 5/252 32312
/proc/meminfo: memFree=126883740/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=156280 memory=145140 CPUtime=281.48 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 40854 0 0 0 28132 16 0 0 20 0 1 0 37456782 160030720 36285 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 39070 36285 2688 3139 0 35358 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 156280 KiB
Current children cumulated memory: 145140 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.02 5/252 32314
/proc/meminfo: memFree=126691232/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=302120 memory=287220 CPUtime=341.31 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 75821 0 0 0 34110 21 0 0 20 0 1 0 37456782 309370880 71805 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 75530 71805 3296 3139 0 71818 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 302120 KiB
Current children cumulated memory: 287220 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/252 32316
/proc/meminfo: memFree=126693852/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=326116 memory=311412 CPUtime=401.15 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 81874 0 0 0 40091 24 0 0 20 0 1 0 37456782 333942784 77853 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 81529 77853 3296 3139 0 77817 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 326116 KiB
Current children cumulated memory: 311412 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/253 32319
/proc/meminfo: memFree=126662592/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=326116 memory=312948 CPUtime=460.99 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 82275 0 0 0 46074 25 0 0 20 0 1 0 37456782 333942784 78237 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 81529 78237 3296 3139 0 77817 0
################
# More data... #
################
Current children cumulated memory: 270564 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/250 32798
/proc/meminfo: memFree=90374988/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=295920 memory=288192 CPUtime=2853.72 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 90386 0 0 0 285289 83 0 0 20 0 1 0 37456782 303022080 72048 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 73980 72048 3328 3139 0 70268 0
Current children cumulated CPU time: 2853.72 s
Current children cumulated vsize: 295920 KiB
Current children cumulated memory: 288192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/250 32801
/proc/meminfo: memFree=91327984/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=299912 memory=292184 CPUtime=2913.5 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 92033 0 0 0 291262 88 0 0 20 0 1 0 37456782 307109888 73046 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 74978 73046 3328 3139 0 71266 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 299912 KiB
Current children cumulated memory: 292184 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/250 32804
/proc/meminfo: memFree=89730140/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=2973.28 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 93336 0 0 0 297238 90 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 2973.28 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/251 32809
/proc/meminfo: memFree=91039152/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3033.07 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 93954 0 0 0 303215 92 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3033.07 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 32901
/proc/meminfo: memFree=116144172/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3092.82 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 95734 0 0 0 309184 98 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3092.82 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 32903
/proc/meminfo: memFree=116716228/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=300612 memory=293000 CPUtime=3152.62 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 97405 0 0 0 315160 102 0 0 20 0 1 0 37456782 307826688 73250 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 75153 73250 3328 3139 0 71441 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 300612 KiB
Current children cumulated memory: 293000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 32949
/proc/meminfo: memFree=116768996/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3212.43 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 97784 0 0 0 321139 104 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/252 32956
/proc/meminfo: memFree=116842984/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=308088 memory=300360 CPUtime=3272.24 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 99364 0 0 0 327115 109 0 0 20 0 1 0 37456782 315482112 75090 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 77022 75090 3328 3139 0 73310 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 308088 KiB
Current children cumulated memory: 300360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 32958
/proc/meminfo: memFree=116899260/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3332.04 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 100389 0 0 0 333092 112 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 32960
/proc/meminfo: memFree=116894040/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=280200 memory=272472 CPUtime=3391.84 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 101360 0 0 0 339069 115 0 0 20 0 1 0 37456782 286924800 68118 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 70050 68118 3328 3139 0 66338 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 280200 KiB
Current children cumulated memory: 272472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 32962
/proc/meminfo: memFree=116885908/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3451.64 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 103063 0 0 0 345044 120 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 4/246 32972
/proc/meminfo: memFree=118437988/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=304284 memory=296672 CPUtime=3511.43 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 104078 0 0 0 351019 124 0 0 20 0 1 0 37456782 311586816 74168 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 76071 74168 3328 3139 0 72359 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 304284 KiB
Current children cumulated memory: 296672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 33010
/proc/meminfo: memFree=115149560/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=288540 memory=280928 CPUtime=3571.21 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 107067 0 0 0 356990 131 0 0 20 0 1 0 37456782 295464960 70232 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 72135 70232 3328 3139 0 68423 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 288540 KiB
Current children cumulated memory: 280928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/249 33012
/proc/meminfo: memFree=115271112/131382116 swapFree=33010684/33010684
[pid=32295] ppid=32292 vsize=247008 memory=239396 CPUtime=3600.01 cores=5,7
/proc/32295/stat : 32295 (uwrmaxsat-scip) R 32292 32295 30286 0 -1 4194304 107491 0 0 0 359868 133 0 0 20 0 1 0 37456782 252936192 59849 18446744073709551615 4198400 17051741 140735596789952 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42438656 140735596792122 140735596792292 140735596792292 140735596797894 0
/proc/32295/statm: 61752 59849 3328 3139 0 58040 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 247008 KiB
Current children cumulated memory: 239396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.2 s]
# the end of solver process 32295 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.69 s, system=1.33876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.2
CPU time (s): 3600.02
CPU user time (s): 3598.69
CPU system time (s): 1.33876
CPU usage (%): 99.6905
Max. virtual memory (cumulated for all children) (KiB): 385916
Max. memory (cumulated for all children) (KiB): 373624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.33876
maximum resident set size= 378232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107491
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= 25
involuntary context switches= 2307
# summary of solver processes directly reported to runsolver:
# pid: 32295
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.69
# total CPU system time (s): 1.33876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.968 second user time and 32.8008 second system time
The end
Begin job on nodeC004 at 2025-06-29 19:22:56
IDJOB=4514931
IDBENCH=163980
IDSOLVER=3373
FILE ID=nodeC004/4514931-1751217776
RUNJOBID= nodeC004-1751215847-30299
SLURM_JOB_ID= 9587653
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib3/normalized-seymour.0.u.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-4514931-1751217776/watcher-4514931-1751217776 -o /tmp/evaluation-result-4514931-1751217776/solver-4514931-1751217776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30299 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514931-1751217776.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ef3131177365cbfba34b2238fc87839
RANDOM SEED=1189258466
nodeC004 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 : 0xb00001f
cpu MHz : 3662.595
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3691.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.410
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.523
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3662.602
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.388
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3491.885
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127079408 kB
MemAvailable: 128690528 kB
Buffers: 3280 kB
Cached: 2414432 kB
SwapCached: 0 kB
Active: 1581720 kB
Inactive: 2116208 kB
Active(anon): 1298192 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2116208 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16912 kB
Writeback: 36 kB
AnonPages: 1281416 kB
Mapped: 142060 kB
Shmem: 17976 kB
KReclaimable: 102020 kB
Slab: 184628 kB
SReclaimable: 102020 kB
SUnreclaim: 82608 kB
KernelStack: 4048 kB
PageTables: 5608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1685672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 684032 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC004 at 2025-06-29 20:23:08