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.00 c Converting 728 PB-constraints to clauses...
0.00/0.00 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.00/0.00 c ============================[ Encoding Statistics ]============================
0.00/0.00 c | Number of variables: 273 |
0.00/0.00 c | Number of clauses: 728 |
0.00/0.00 c ===============================================================================
300.14/301.00 c Starting SCIP solver (with time-limit: 900s) ...
1197.25/1201.01 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.01/3610.20 c *** TERMINATED by signal 15 ***
3600.01/3610.20 c _______________________________________________________________________________
3600.01/3610.20 c
3600.01/3610.20 c _______________________________________________________________________________
3600.01/3610.20 c
3600.01/3610.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.01/3610.20 c Memory used : 734.00 MB
3600.01/3610.20 c CPU time : 3599.6 s
3600.01/3610.20 c _______________________________________________________________________________
3600.01/3610.20 c _______________________________________________________________________________
3600.01/3610.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63054 MiB free)
memory of node 1: 64507 MiB (63675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509877-1751192387/watcher-4509877-1751192387 -o /tmp/evaluation-result-4509877-1751192387/solver-4509877-1751192387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26925 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509877-1751192387.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=26971, runsolver pid=26965
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.09 2.94 3.74 4/263 26984
/proc/meminfo: memFree=129762540/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=24508 memory=15096 CPUtime=0.1 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 1444 0 0 0 10 0 0 0 20 0 1 0 34916380 25096192 3774 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 6127 3774 2720 3139 0 2415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24508 KiB
Current children cumulated memory: 15096 KiB
[startup+0.205494 s]*
/proc/loadavg: 1.09 2.94 3.74 5/261 26992
/proc/meminfo: memFree=129763296/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=25004 memory=15608 CPUtime=0.2 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 1907 0 0 0 20 0 0 0 20 0 1 0 34916380 25604096 3902 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 6251 3902 2720 3139 0 2539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25004 KiB
Current children cumulated memory: 15608 KiB
[startup+0.305084 s]*
/proc/loadavg: 1.09 2.94 3.74 4/261 26992
/proc/meminfo: memFree=129763164/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=25256 memory=15848 CPUtime=0.3 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 2275 0 0 0 30 0 0 0 20 0 1 0 34916380 25862144 3962 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 6314 3962 2720 3139 0 2602 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25256 KiB
Current children cumulated memory: 15848 KiB
[startup+0.700112 s]
/proc/loadavg: 1.09 2.94 3.74 4/261 26992
/proc/meminfo: memFree=129761652/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=27512 memory=17952 CPUtime=0.69 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 3752 0 0 0 69 0 0 0 20 0 1 0 34916380 28172288 4488 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 6878 4488 2720 3139 0 3166 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27512 KiB
Current children cumulated memory: 17952 KiB
[startup+1.50012 s]
/proc/loadavg: 1.09 2.94 3.74 5/261 26992
/proc/meminfo: memFree=129755604/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=27552 memory=18140 CPUtime=1.48 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 6068 0 0 0 148 0 0 0 20 0 1 0 34916380 28213248 4535 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 6888 4535 2720 3139 0 3176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27552 KiB
Current children cumulated memory: 18140 KiB
[startup+3.10512 s]
/proc/loadavg: 1.33 2.96 3.74 4/261 27061
/proc/meminfo: memFree=129740816/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=30996 memory=21400 CPUtime=3.09 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 8604 0 0 0 308 1 0 0 20 0 1 0 34916380 31739904 5350 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 7749 5350 2720 3139 0 4037 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30996 KiB
Current children cumulated memory: 21400 KiB
[startup+6.30013 s]
/proc/loadavg: 1.33 2.96 3.74 5/265 27074
/proc/meminfo: memFree=129719700/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=36700 memory=27236 CPUtime=6.27 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 14595 0 0 0 625 2 0 0 20 0 1 0 34916380 37580800 6809 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 9175 6809 2720 3139 0 5463 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36700 KiB
Current children cumulated memory: 27236 KiB
[startup+12.7001 s]
/proc/loadavg: 1.74 3.00 3.74 5/265 27074
/proc/meminfo: memFree=129699256/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=38280 memory=28812 CPUtime=12.65 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 22194 0 0 0 1262 3 0 0 20 0 1 0 34916380 39198720 7203 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 9570 7203 2720 3139 0 5858 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38280 KiB
Current children cumulated memory: 28812 KiB
[startup+25.5001 s]
/proc/loadavg: 2.09 3.03 3.74 5/265 27075
/proc/meminfo: memFree=129664944/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=43528 memory=34012 CPUtime=25.41 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 26614 0 0 0 2537 4 0 0 20 0 1 0 34916380 44572672 8503 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 10882 8503 2720 3139 0 7170 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 34012 KiB
[startup+51.1055 s]
/proc/loadavg: 2.80 3.12 3.76 5/265 27075
/proc/meminfo: memFree=129633488/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=46300 memory=36804 CPUtime=50.93 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 34395 0 0 0 5087 6 0 0 20 0 1 0 34916380 47411200 9201 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 11575 9201 2720 3139 0 7863 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 36804 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 3.29 3.78 5/264 27080
/proc/meminfo: memFree=129567736/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=68540 memory=59044 CPUtime=101.98 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 43818 0 0 0 10190 8 0 0 20 0 1 0 34916380 70184960 14761 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 17135 14761 2720 3139 0 13423 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 68540 KiB
Current children cumulated memory: 59044 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 3.45 3.81 5/264 27086
/proc/meminfo: memFree=129511920/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=78192 memory=68732 CPUtime=161.82 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 48043 0 0 0 16173 9 0 0 20 0 1 0 34916380 80068608 17183 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 19548 17183 2720 3139 0 15836 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 78192 KiB
Current children cumulated memory: 68732 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.55 3.82 5/264 27089
/proc/meminfo: memFree=129486704/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=70772 memory=61352 CPUtime=221.65 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 50423 0 0 0 22155 10 0 0 20 0 1 0 34916380 72470528 15338 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 17693 15338 2720 3139 0 13981 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 70772 KiB
Current children cumulated memory: 61352 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.67 3.85 5/264 27091
/proc/meminfo: memFree=129479312/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=60848 memory=50488 CPUtime=281.48 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 51702 0 0 0 28138 10 0 0 20 0 1 0 34916380 62308352 12622 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 15212 12622 2720 3139 0 11500 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 50488 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 3.82 3.89 5/264 27138
/proc/meminfo: memFree=129415704/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=101008 memory=93352 CPUtime=341.31 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 59346 0 0 0 34119 12 0 0 20 0 1 0 34916380 103432192 23338 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 25252 23338 3296 3139 0 21540 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 101008 KiB
Current children cumulated memory: 93352 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.87 3.91 5/264 27140
/proc/meminfo: memFree=129278280/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=156268 memory=146088 CPUtime=401.11 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 72588 0 0 0 40097 14 0 0 20 0 1 0 34916380 160018432 36522 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 39067 36522 3296 3139 0 35355 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 156268 KiB
Current children cumulated memory: 146088 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.93 3.92 5/264 27142
/proc/meminfo: memFree=129173168/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=199748 memory=191932 CPUtime=460.92 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 82946 0 0 0 46076 16 0 0 20 0 1 0 34916380 204541952 47983 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 49937 47983 3296 3139 0 46225 0
################
# More data... #
################
Current children cumulated memory: 647956 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/263 27275
/proc/meminfo: memFree=127384808/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=2854.07 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198113 0 0 0 285366 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 2854.07 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 27278
/proc/meminfo: memFree=127386816/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=2913.92 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198165 0 0 0 291351 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 27280
/proc/meminfo: memFree=127386704/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=2973.75 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198287 0 0 0 297334 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 27282
/proc/meminfo: memFree=127386740/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3033.59 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198362 0 0 0 303318 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 27287
/proc/meminfo: memFree=127387080/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3093.43 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198425 0 0 0 309302 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 27293
/proc/meminfo: memFree=127393944/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3153.28 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198450 0 0 0 315287 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27295
/proc/meminfo: memFree=127393580/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3213.12 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198532 0 0 0 321271 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 27298
/proc/meminfo: memFree=127393596/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3272.97 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198612 0 0 0 327256 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 27301
/proc/meminfo: memFree=127360648/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3332.81 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198662 0 0 0 333240 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 27303
/proc/meminfo: memFree=127358740/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3392.66 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198698 0 0 0 339225 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/265 27305
/proc/meminfo: memFree=127358428/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3452.5 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198788 0 0 0 345209 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 27306
/proc/meminfo: memFree=127356532/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3512.35 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198848 0 0 0 351194 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/265 27308
/proc/meminfo: memFree=127357320/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3572.19 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198917 0 0 0 357178 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.17 4.17 4.12 5/265 27311
/proc/meminfo: memFree=127352640/131249996 swapFree=33010684/33010684
[pid=26971] ppid=26965 vsize=655068 memory=647956 CPUtime=3600.01 cores=0,2
/proc/26971/stat : 26971 (uwrmaxsat-scip) R 26965 26971 26915 0 -1 4194304 198937 0 0 0 359960 41 0 0 20 0 1 0 34916380 670789632 161989 18446744073709551615 4198400 17051741 140726481734864 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 40669184 140726481742138 140726481742308 140726481742308 140726481747910 0
/proc/26971/statm: 163767 161989 3296 3139 0 160055 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 655068 KiB
Current children cumulated memory: 647956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 26971 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.418183 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.02
CPU user time (s): 3599.6
CPU system time (s): 0.418183
CPU usage (%): 99.718
Max. virtual memory (cumulated for all children) (KiB): 751756
Max. memory (cumulated for all children) (KiB): 737712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.418183
maximum resident set size= 737712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198937
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= 54
involuntary context switches= 4623
# summary of solver processes directly reported to runsolver:
# pid: 26971
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.418183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35678 second user time and 14.9858 second system time
The end
Begin job on nodeC021 at 2025-06-29 12:19:47
IDJOB=4509877
IDBENCH=159141
IDSOLVER=3373
FILE ID=nodeC021/4509877-1751192387
RUNJOBID= nodeC021-1751192387-26925
SLURM_JOB_ID= 9587584
Free space on /tmp= 433064 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.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-4509877-1751192387/watcher-4509877-1751192387 -o /tmp/evaluation-result-4509877-1751192387/solver-4509877-1751192387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26925 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509877-1751192387.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=1119762489
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3597.229
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.563
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.771
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3560.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3600.271
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129772868 kB
MemAvailable: 129789208 kB
Buffers: 3280 kB
Cached: 825188 kB
SwapCached: 0 kB
Active: 336080 kB
Inactive: 567852 kB
Active(anon): 93524 kB
Inactive(anon): 0 kB
Active(file): 242556 kB
Inactive(file): 567852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 65772 kB
Writeback: 0 kB
AnonPages: 78516 kB
Mapped: 102096 kB
Shmem: 18060 kB
KReclaimable: 89940 kB
Slab: 175972 kB
SReclaimable: 89940 kB
SUnreclaim: 86032 kB
KernelStack: 3956 kB
PageTables: 2684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 339400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC021 at 2025-06-29 13:19:57