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.03 c Converting 1665 PB-constraints to clauses...
0.00/0.03 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.00/0.09 c ============================[ Encoding Statistics ]============================
0.00/0.09 c | Number of variables: 2590 |
0.00/0.09 c | Number of clauses: 8286 |
0.00/0.09 c ===============================================================================
300.10/301.09 c Starting SCIP solver (with time-limit: 900s) ...
1197.65/1201.09 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/3610.20 c *** TERMINATED by signal 15 ***
3600.07/3610.20 c _______________________________________________________________________________
3600.07/3610.20 c
3600.07/3610.20 c _______________________________________________________________________________
3600.07/3610.20 c
3600.07/3610.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3610.20 c Memory used : 296.00 MB
3600.07/3610.20 c CPU time : 3597.85 s
3600.07/3610.20 c Constr Enc: Srt/BDD/Add: 833 0 0
3600.07/3610.20 c _______________________________________________________________________________
3600.07/3610.20 c _______________________________________________________________________________
3600.07/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: 63837 MiB (63155 MiB free)
memory of node 1: 64465 MiB (61954 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517307-1751225400/watcher-4517307-1751225400 -o /tmp/evaluation-result-4517307-1751225400/solver-4517307-1751225400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30296 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517307-1751225400.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=35632, runsolver pid=35629
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128112868/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=29664 memory=19712 CPUtime=0.1 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 2690 0 0 0 9 1 0 0 20 0 1 0 38219184 30375936 4928 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 7416 4928 2688 3139 0 3704 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29664 KiB
Current children cumulated memory: 19712 KiB
[startup+0.213431 s]*
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128112868/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=30100 memory=20400 CPUtime=0.21 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 3024 0 0 0 20 1 0 0 20 0 1 0 38219184 30822400 5100 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 7525 5100 2688 3139 0 3813 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30100 KiB
Current children cumulated memory: 20400 KiB
[startup+0.313061 s]*
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128112868/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=31028 memory=21068 CPUtime=0.31 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 3286 0 0 0 30 1 0 0 20 0 1 0 38219184 31772672 5267 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 7757 5267 2720 3139 0 4045 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31028 KiB
Current children cumulated memory: 21068 KiB
[startup+0.700285 s]
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128112868/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=30960 memory=21112 CPUtime=0.68 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 3806 0 0 0 67 1 0 0 20 0 1 0 38219184 31703040 5278 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 7740 5278 2720 3139 0 4028 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30960 KiB
Current children cumulated memory: 21112 KiB
[startup+1.50027 s]
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128112428/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=32296 memory=22392 CPUtime=1.48 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 5802 0 0 0 147 1 0 0 20 0 1 0 38219184 33071104 5598 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 8074 5598 2720 3139 0 4362 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32296 KiB
Current children cumulated memory: 22392 KiB
[startup+3.11373 s]
/proc/loadavg: 4.22 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128102348/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=37632 memory=27748 CPUtime=3.09 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 10368 0 0 0 307 2 0 0 20 0 1 0 38219184 38535168 6937 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 9408 6937 2720 3139 0 5696 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37632 KiB
Current children cumulated memory: 27748 KiB
[startup+6.30028 s]
/proc/loadavg: 4.20 4.14 4.16 5/254 35633
/proc/meminfo: memFree=128102348/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=41864 memory=31984 CPUtime=6.27 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 13694 0 0 0 624 3 0 0 20 0 1 0 38219184 42868736 7996 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 10466 7996 2720 3139 0 6754 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 31984 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.13 4.15 5/254 35678
/proc/meminfo: memFree=128166292/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=48276 memory=38048 CPUtime=12.65 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 17562 0 0 0 1261 4 0 0 20 0 1 0 38219184 49434624 9512 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 12069 9512 2720 3139 0 8357 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48276 KiB
Current children cumulated memory: 38048 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.15 5/254 35678
/proc/meminfo: memFree=128136632/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=64244 memory=54464 CPUtime=25.42 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 23365 0 0 0 2535 7 0 0 20 0 1 0 38219184 65785856 13616 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 16061 13616 2720 3139 0 12349 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 64244 KiB
Current children cumulated memory: 54464 KiB
[startup+51.1133 s]
/proc/loadavg: 4.17 4.13 4.15 5/254 35680
/proc/meminfo: memFree=128080016/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=62424 memory=51980 CPUtime=50.95 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 27965 0 0 0 5086 9 0 0 20 0 1 0 38219184 63922176 12995 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 15606 12995 2720 3139 0 11894 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 51980 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/252 35687
/proc/meminfo: memFree=128008664/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=75272 memory=64308 CPUtime=101.97 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 42454 0 0 0 10181 16 0 0 20 0 1 0 38219184 77078528 16077 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 18818 16077 2720 3139 0 15106 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 64308 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/252 35688
/proc/meminfo: memFree=127962576/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=109692 memory=99976 CPUtime=161.8 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 52188 0 0 0 16158 22 0 0 20 0 1 0 38219184 112324608 24994 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 27423 24994 2720 3139 0 23711 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 109692 KiB
Current children cumulated memory: 99976 KiB
[startup+222.3 s]
/proc/loadavg: 4.56 4.22 4.18 5/250 35690
/proc/meminfo: memFree=127935800/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=129412 memory=119688 CPUtime=221.62 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 53541 0 0 0 22140 22 0 0 20 0 1 0 38219184 132517888 29922 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 32353 29922 2720 3139 0 28641 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 129412 KiB
Current children cumulated memory: 119688 KiB
[startup+282.3 s]
/proc/loadavg: 4.67 4.33 4.22 5/250 35737
/proc/meminfo: memFree=127988368/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=110260 memory=99640 CPUtime=281.44 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 61563 0 0 0 28117 27 0 0 20 0 1 0 38219184 112906240 24910 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 27565 24910 2720 3139 0 23853 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 110260 KiB
Current children cumulated memory: 99640 KiB
[startup+342.3 s]
/proc/loadavg: 3.98 4.20 4.18 4/244 35769
/proc/meminfo: memFree=128023976/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=123268 memory=115900 CPUtime=341.26 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 66104 0 0 0 34096 30 0 0 20 0 1 0 38219184 126226432 28975 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 30817 28975 3328 3139 0 27105 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 115900 KiB
[startup+402.3 s]
/proc/loadavg: 3.42 4.00 4.11 4/244 35774
/proc/meminfo: memFree=127996016/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=127568 memory=120252 CPUtime=401.1 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 67190 0 0 0 40078 32 0 0 20 0 1 0 38219184 130629632 30063 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 31892 30063 3328 3139 0 28180 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 127568 KiB
Current children cumulated memory: 120252 KiB
[startup+462.3 s]
/proc/loadavg: 3.20 3.83 4.04 4/244 35776
/proc/meminfo: memFree=127954592/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=139244 memory=131772 CPUtime=460.94 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 70098 0 0 0 46060 34 0 0 20 0 1 0 38219184 142585856 32943 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 34811 32943 3328 3139 0 31099 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 204248 KiB
[startup+2862.3 s]
/proc/loadavg: 2.11 2.20 2.50 3/237 35934
/proc/meminfo: memFree=127498416/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=221716 memory=212944 CPUtime=2854.29 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 153892 0 0 0 285259 170 0 0 20 0 1 0 38219184 227037184 53236 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 55429 53236 3328 3139 0 51717 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 221716 KiB
Current children cumulated memory: 212944 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.17 2.47 3/238 35937
/proc/meminfo: memFree=127497832/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=222912 memory=215392 CPUtime=2914.12 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 154950 0 0 0 291241 171 0 0 20 0 1 0 38219184 228261888 53848 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 55728 53848 3328 3139 0 52016 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 222912 KiB
Current children cumulated memory: 215392 KiB
[startup+2982.3 s]
/proc/loadavg: 2.09 2.16 2.45 3/238 35939
/proc/meminfo: memFree=127503608/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=224104 memory=216284 CPUtime=2973.95 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 155877 0 0 0 297222 173 0 0 20 0 1 0 38219184 229482496 54071 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 56026 54071 3328 3139 0 52314 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 224104 KiB
Current children cumulated memory: 216284 KiB
[startup+3042.3 s]
/proc/loadavg: 2.08 2.14 2.42 3/238 35941
/proc/meminfo: memFree=127495376/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=229956 memory=218720 CPUtime=3033.79 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 157845 0 0 0 303203 176 0 0 20 0 1 0 38219184 235474944 54680 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 57489 54680 3328 3139 0 53777 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 229956 KiB
Current children cumulated memory: 218720 KiB
[startup+3102.3 s]
/proc/loadavg: 2.15 2.14 2.41 3/239 35948
/proc/meminfo: memFree=127499052/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=232048 memory=221128 CPUtime=3093.62 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 159362 0 0 0 309184 178 0 0 20 0 1 0 38219184 237617152 55282 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 58012 55282 3328 3139 0 54300 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 232048 KiB
Current children cumulated memory: 221128 KiB
[startup+3162.3 s]
/proc/loadavg: 2.05 2.12 2.38 3/239 35950
/proc/meminfo: memFree=127491820/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=241308 memory=226356 CPUtime=3153.45 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 161211 0 0 0 315165 180 0 0 20 0 1 0 38219184 247099392 56589 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 60327 56589 3328 3139 0 56615 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 241308 KiB
Current children cumulated memory: 226356 KiB
[startup+3222.3 s]
/proc/loadavg: 2.06 2.11 2.36 3/239 35952
/proc/meminfo: memFree=127557004/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=169540 memory=162196 CPUtime=3213.29 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 162525 0 0 0 321147 182 0 0 20 0 1 0 38219184 173608960 40549 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 42385 40549 3328 3139 0 38673 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 169540 KiB
Current children cumulated memory: 162196 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.12 2.34 3/238 35954
/proc/meminfo: memFree=127484240/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=241700 memory=225212 CPUtime=3273.12 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 177915 0 0 0 327122 190 0 0 20 0 1 0 38219184 247500800 56303 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 60425 56303 3328 3139 0 56713 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 241700 KiB
Current children cumulated memory: 225212 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.11 2.33 3/238 35956
/proc/meminfo: memFree=127484892/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=242620 memory=231072 CPUtime=3332.94 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 180742 0 0 0 333101 193 0 0 20 0 1 0 38219184 248442880 57768 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 60655 57768 3328 3139 0 56943 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 242620 KiB
Current children cumulated memory: 231072 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.10 2.31 3/237 35960
/proc/meminfo: memFree=127516660/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=232396 memory=215408 CPUtime=3392.77 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 188987 0 0 0 339080 197 0 0 20 0 1 0 38219184 237973504 53852 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 58099 53852 3328 3139 0 54387 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 232396 KiB
Current children cumulated memory: 215408 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.10 2.29 3/237 35962
/proc/meminfo: memFree=127510864/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=232564 memory=205884 CPUtime=3452.61 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 200187 0 0 0 345057 204 0 0 20 0 1 0 38219184 238145536 51471 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 58141 51471 3328 3139 0 54429 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 232564 KiB
Current children cumulated memory: 205884 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.09 2.27 3/237 35964
/proc/meminfo: memFree=127498440/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=230636 memory=212524 CPUtime=3512.43 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 224909 0 0 0 351031 212 0 0 20 0 1 0 38219184 236171264 53131 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 57659 53131 3328 3139 0 53947 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 212524 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.10 2.27 3/237 35966
/proc/meminfo: memFree=127484864/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=247772 memory=226672 CPUtime=3572.26 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 242029 0 0 0 357006 220 0 0 20 0 1 0 38219184 253718528 56668 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 61943 56668 3328 3139 0 58231 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 247772 KiB
Current children cumulated memory: 226672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 2.09 2.09 2.26 3/237 35967
/proc/meminfo: memFree=127510736/131382116 swapFree=33010684/33010684
[pid=35632] ppid=35629 vsize=221128 memory=200664 CPUtime=3600.07 cores=0,2
/proc/35632/stat : 35632 (uwrmaxsat-scip) R 35629 35632 30286 0 -1 4194304 249778 0 0 0 359784 223 0 0 20 0 1 0 38219184 226435072 50166 18446744073709551615 4198400 17051741 140730323149328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 34500608 140730323151162 140730323151332 140730323151332 140730323156934 0
/proc/35632/statm: 55282 50166 3328 3139 0 51570 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 221128 KiB
Current children cumulated memory: 200664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 35632 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.85 s, system=2.23943 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.09
CPU user time (s): 3597.85
CPU system time (s): 2.23943
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 303544
Max. memory (cumulated for all children) (KiB): 283096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.85
system time used= 2.23943
maximum resident set size= 283480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249778
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= 8301
# summary of solver processes directly reported to runsolver:
# pid: 35632
# total CPU time (s): 3600.09
# total CPU user time (s): 3597.85
# total CPU system time (s): 2.23943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1738 second user time and 34.1313 second system time
The end
Begin job on nodeC004 at 2025-06-29 21:30:00
IDJOB=4517307
IDBENCH=176049
IDSOLVER=3373
FILE ID=nodeC004/4517307-1751225400
RUNJOBID= nodeC004-1751215847-30296
SLURM_JOB_ID= 9587653
Free space on /tmp= 433012 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.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-4517307-1751225400/watcher-4517307-1751225400 -o /tmp/evaluation-result-4517307-1751225400/solver-4517307-1751225400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30296 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517307-1751225400.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 87f67814fd1a58888c5941928a1532df
RANDOM SEED=101061990
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 : 1197.213
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.333
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.460
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.221
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.427
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 : 3691.392
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 : 3700.000
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 : 1197.574
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: 128112692 kB
MemAvailable: 129743260 kB
Buffers: 3280 kB
Cached: 2433560 kB
SwapCached: 0 kB
Active: 532672 kB
Inactive: 2135336 kB
Active(anon): 249144 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2135336 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16624 kB
Writeback: 40 kB
AnonPages: 233808 kB
Mapped: 134960 kB
Shmem: 17976 kB
KReclaimable: 102664 kB
Slab: 185076 kB
SReclaimable: 102664 kB
SUnreclaim: 82412 kB
KernelStack: 4096 kB
PageTables: 3492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 581456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 124928 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= 433028 MiB
End job on nodeC004 at 2025-06-29 22:30:11