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...
2.18/2.25 c Converting 396289 PB-constraints to clauses...
2.18/2.28 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
3.99/4.03 c ============================[ Encoding Statistics ]============================
3.99/4.03 c | Number of variables: 53255 |
3.99/4.03 c | Number of clauses: 526696 |
3.99/4.03 c ===============================================================================
304.08/305.03 c Starting SCIP solver (with time-limit: 900s) ...
1201.43/1205.03 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.06/3610.70 c *** TERMINATED by signal 15 ***
3600.06/3610.70 c _______________________________________________________________________________
3600.06/3610.70 c
3600.06/3610.70 c _______________________________________________________________________________
3600.06/3610.70 c
3600.06/3610.70 c =======================[ UWrMaxSat resources usage ]===========================
3600.06/3610.70 c Memory used : 3259.00 MB
3600.06/3610.70 c CPU time : 3597.8 s
3600.06/3610.70 c Constr Enc: Srt/BDD/Add: 36844 0 0
3600.06/3610.70 c _______________________________________________________________________________
3600.06/3610.70 c _______________________________________________________________________________
3600.06/3610.70 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 (62847 MiB free)
memory of node 1: 64507 MiB (62790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503365-1751165518/watcher-4503365-1751165518 -o /tmp/evaluation-result-4503365-1751165518/solver-4503365-1751165518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16255 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4503365-1751165518.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=17506, runsolver pid=17503
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.17 4.16 4.11 5/265 17507
/proc/meminfo: memFree=128637068/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=37796 memory=22016 CPUtime=0.09 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 4528 0 0 0 9 0 0 0 20 0 1 0 32231401 38703104 5504 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 9449 5504 1120 3139 0 5737 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 22016 KiB
[startup+0.20561 s]*
/proc/loadavg: 4.17 4.16 4.11 5/265 17507
/proc/meminfo: memFree=128620940/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=54744 memory=38912 CPUtime=0.2 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 8750 0 0 0 19 1 0 0 20 0 1 0 32231401 56057856 9728 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 13686 9728 1120 3139 0 9974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54744 KiB
Current children cumulated memory: 38912 KiB
[startup+0.305529 s]*
/proc/loadavg: 4.17 4.16 4.11 5/265 17507
/proc/meminfo: memFree=128604812/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=71028 memory=55168 CPUtime=0.3 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 12814 0 0 0 29 1 0 0 20 0 1 0 32231401 72732672 13792 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 17757 13792 1120 3139 0 14045 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 55168 KiB
[startup+0.700176 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 17507
/proc/meminfo: memFree=128572556/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=134096 memory=118272 CPUtime=0.69 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 28622 0 0 0 65 4 0 0 20 0 1 0 32231401 137314304 29536 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 33524 29536 1120 3139 0 29812 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134096 KiB
Current children cumulated memory: 118272 KiB
[startup+1.50018 s]
/proc/loadavg: 4.23 4.17 4.11 5/265 17507
/proc/meminfo: memFree=128492168/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=264236 memory=247884 CPUtime=1.48 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 61138 0 0 0 138 10 0 0 20 0 1 0 32231401 270577664 61971 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 66059 61971 1120 3139 0 62347 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 264236 KiB
Current children cumulated memory: 247884 KiB
[startup+3.10541 s]
/proc/loadavg: 4.23 4.17 4.11 5/265 17507
/proc/meminfo: memFree=128086468/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=637080 memory=625904 CPUtime=3.09 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 153118 0 0 0 283 26 0 0 20 0 1 0 32231401 652369920 156476 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 159270 156476 2688 3139 0 155558 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 637080 KiB
Current children cumulated memory: 625904 KiB
[startup+6.30017 s]
/proc/loadavg: 4.21 4.17 4.11 5/265 17507
/proc/meminfo: memFree=127843904/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=857220 memory=837192 CPUtime=6.28 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 197727 0 0 0 593 35 0 0 20 0 1 0 32231401 877793280 209298 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 214305 209298 2688 3139 0 210593 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 857220 KiB
Current children cumulated memory: 837192 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.11 5/265 17507
/proc/meminfo: memFree=127806104/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=869760 memory=855044 CPUtime=12.65 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 202100 0 0 0 1227 38 0 0 20 0 1 0 32231401 890634240 213761 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 217440 213761 2720 3139 0 213728 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 869760 KiB
Current children cumulated memory: 855044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.12 5/265 17507
/proc/meminfo: memFree=127835204/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=839244 memory=823812 CPUtime=25.41 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 207353 0 0 0 2499 42 0 0 20 0 1 0 32231401 859385856 205953 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 209811 205953 2720 3139 0 206099 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 839244 KiB
Current children cumulated memory: 823812 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.16 4.11 5/265 17508
/proc/meminfo: memFree=127852128/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=856792 memory=842076 CPUtime=50.94 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 212638 0 0 0 5048 46 0 0 20 0 1 0 32231401 877355008 210519 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 214198 210519 2720 3139 0 210486 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 856792 KiB
Current children cumulated memory: 842076 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 17510
/proc/meminfo: memFree=127816052/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=884756 memory=870176 CPUtime=101.97 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 222595 0 0 0 10143 54 0 0 20 0 1 0 32231401 905990144 217544 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 221189 217544 2720 3139 0 217477 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 884756 KiB
Current children cumulated memory: 870176 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 17512
/proc/meminfo: memFree=127834544/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=836256 memory=821680 CPUtime=161.78 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 227914 0 0 0 16120 58 0 0 20 0 1 0 32231401 856326144 205420 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 209064 205420 2720 3139 0 205352 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 836256 KiB
Current children cumulated memory: 821680 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 17514
/proc/meminfo: memFree=127842496/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=839156 memory=824612 CPUtime=221.59 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 234338 0 0 0 22095 64 0 0 20 0 1 0 32231401 859295744 206153 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 209789 206153 2720 3139 0 206077 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 839156 KiB
Current children cumulated memory: 824612 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 17516
/proc/meminfo: memFree=127814432/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=873148 memory=853104 CPUtime=281.43 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 240882 0 0 0 28070 73 0 0 20 0 1 0 32231401 894103552 213276 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 218287 213276 2720 3139 0 214575 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 873148 KiB
Current children cumulated memory: 853104 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 17609
/proc/meminfo: memFree=126964044/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=2379600 memory=2256008 CPUtime=341.27 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 443218 0 0 0 34007 120 0 0 20 0 1 0 32231401 2436710400 564002 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 594900 564002 3296 3139 0 591188 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 2379600 KiB
Current children cumulated memory: 2256008 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 17656
/proc/meminfo: memFree=127133604/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=2503196 memory=2328012 CPUtime=401.08 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 451064 0 0 0 39986 122 0 0 20 0 1 0 32231401 2563272704 582003 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 625799 582003 3296 3139 0 622087 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 2503196 KiB
Current children cumulated memory: 2328012 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 17747
/proc/meminfo: memFree=126852848/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=2503196 memory=2329036 CPUtime=460.9 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 451397 0 0 0 45968 122 0 0 20 0 1 0 32231401 2563272704 582259 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 625799 582259 3296 3139 0 622087 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
Current children cumulated memory: 648548 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 18139
/proc/meminfo: memFree=104795040/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=660084 memory=649892 CPUtime=2913.81 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 597059 0 0 0 291178 203 0 0 20 0 1 0 32231401 675926016 162473 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 165021 162473 3296 3139 0 161309 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 660084 KiB
Current children cumulated memory: 649892 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 18141
/proc/meminfo: memFree=104812488/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=659804 memory=649612 CPUtime=2973.62 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 597798 0 0 0 297158 204 0 0 20 0 1 0 32231401 675639296 162403 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 164951 162403 3296 3139 0 161239 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 659804 KiB
Current children cumulated memory: 649612 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 18148
/proc/meminfo: memFree=104847868/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=660728 memory=650536 CPUtime=3033.42 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 598564 0 0 0 303137 205 0 0 20 0 1 0 32231401 676585472 162634 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 165182 162634 3296 3139 0 161470 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 660728 KiB
Current children cumulated memory: 650536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/263 18194
/proc/meminfo: memFree=106312804/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=661884 memory=651692 CPUtime=3093.24 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 599317 0 0 0 309117 207 0 0 20 0 1 0 32231401 677769216 162923 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 165471 162923 3296 3139 0 161759 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 661884 KiB
Current children cumulated memory: 651692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 18198
/proc/meminfo: memFree=106258244/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=594784 memory=585008 CPUtime=3153.05 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 599538 0 0 0 315098 207 0 0 20 0 1 0 32231401 609058816 146252 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 148696 146252 3296 3139 0 144984 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 594784 KiB
Current children cumulated memory: 585008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 18200
/proc/meminfo: memFree=106265928/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=594784 memory=585056 CPUtime=3212.87 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 600505 0 0 0 321079 208 0 0 20 0 1 0 32231401 609058816 146264 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 148696 146264 3296 3139 0 144984 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 594784 KiB
Current children cumulated memory: 585056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 18201
/proc/meminfo: memFree=106239420/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=595244 memory=585616 CPUtime=3272.68 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 601599 0 0 0 327058 210 0 0 20 0 1 0 32231401 609529856 146404 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 148811 146404 3296 3139 0 145099 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 595244 KiB
Current children cumulated memory: 585616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 18207
/proc/meminfo: memFree=106169252/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=663900 memory=654328 CPUtime=3332.49 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 602715 0 0 0 333038 211 0 0 20 0 1 0 32231401 679833600 163582 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 165975 163582 3296 3139 0 162263 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 663900 KiB
Current children cumulated memory: 654328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 18209
/proc/meminfo: memFree=105940820/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=665236 memory=655664 CPUtime=3392.3 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 603391 0 0 0 339017 213 0 0 20 0 1 0 32231401 681201664 163916 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 166309 163916 3296 3139 0 162597 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 665236 KiB
Current children cumulated memory: 655664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 18211
/proc/meminfo: memFree=97951296/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=665692 memory=656120 CPUtime=3452.12 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 604387 0 0 0 344997 215 0 0 20 0 1 0 32231401 681668608 164030 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 166423 164030 3296 3139 0 162711 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 665692 KiB
Current children cumulated memory: 656120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 18213
/proc/meminfo: memFree=97905724/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=675396 memory=665944 CPUtime=3511.94 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 605852 0 0 0 350976 218 0 0 20 0 1 0 32231401 691605504 166486 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 168849 166486 3296 3139 0 165137 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 675396 KiB
Current children cumulated memory: 665944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 18216
/proc/meminfo: memFree=97865724/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=676068 memory=666616 CPUtime=3571.75 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 607857 0 0 0 356952 223 0 0 20 0 1 0 32231401 692293632 166654 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 169017 166654 3296 3139 0 165305 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 676068 KiB
Current children cumulated memory: 666616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 18218
/proc/meminfo: memFree=98169836/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=680684 memory=671232 CPUtime=3600.06 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 609472 0 0 0 359780 226 0 0 20 0 1 0 32231401 697020416 167808 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 170171 167808 3296 3139 0 166459 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 680684 KiB
Current children cumulated memory: 671232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 17506 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.8 s, system=2.26742 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 18218
/proc/meminfo: memFree=98169836/131249996 swapFree=33010684/33010684
[pid=17506] ppid=17503 vsize=680684 memory=671232 CPUtime=3600.06 cores=4,6
/proc/17506/stat : 17506 (uwrmaxsat-scip) R 17503 17506 16244 0 -1 4194304 609472 0 0 0 359780 226 0 0 20 0 1 0 32231401 697020416 167808 18446744073709551615 4198400 17051741 140727159468896 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56680448 140727159474490 140727159474660 140727159474660 140727159480262 0
/proc/17506/statm: 170171 167808 3296 3139 0 166459 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 680684 KiB
Current children cumulated memory: 671232 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.07
CPU user time (s): 3597.8
CPU system time (s): 2.26742
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 3337348
Max. memory (cumulated for all children) (KiB): 2818088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.26742
maximum resident set size= 2818088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609472
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= 312
involuntary context switches= 1669
# summary of solver processes directly reported to runsolver:
# pid: 17506
# total CPU time (s): 3600.07
# total CPU user time (s): 3597.8
# total CPU system time (s): 2.26742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85968 second user time and 16.2188 second system time
The end
Begin job on nodeC030 at 2025-06-29 04:51:58
IDJOB=4503365
IDBENCH=155426
IDSOLVER=3373
FILE ID=nodeC030/4503365-1751165518
RUNJOBID= nodeC030-1751159686-16255
SLURM_JOB_ID= 9587504
Free space on /tmp= 432964 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-192.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-4503365-1751165518/watcher-4503365-1751165518 -o /tmp/evaluation-result-4503365-1751165518/solver-4503365-1751165518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751159686-16255 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4503365-1751165518.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7ac327da8fefd7cd3f39afa8bfb7af2c
RANDOM SEED=1922599507
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 : 3600.325
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 : 3600.303
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 : 3601.080
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 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 : 3600.320
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.355
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 : 3609.146
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 : 3641.513
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: 128652944 kB
MemAvailable: 128406964 kB
Buffers: 3280 kB
Cached: 564648 kB
SwapCached: 0 kB
Active: 1653692 kB
Inactive: 307908 kB
Active(anon): 1411736 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 307908 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32924 kB
Writeback: 4 kB
AnonPages: 1392856 kB
Mapped: 142564 kB
Shmem: 18064 kB
KReclaimable: 86388 kB
Slab: 171056 kB
SReclaimable: 86388 kB
SUnreclaim: 84668 kB
KernelStack: 4272 kB
PageTables: 5720 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1753744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 950272 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= 432656 MiB
End job on nodeC030 at 2025-06-29 05:52:09