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.01 c Converting 1922 PB-constraints to clauses...
0.00/0.01 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.00/0.01 c ============================[ Encoding Statistics ]============================
0.00/0.01 c | Number of variables: 577 |
0.00/0.01 c | Number of clauses: 1922 |
0.00/0.01 c ===============================================================================
300.08/301.01 c Starting SCIP solver (with time-limit: 900s) ...
1196.79/1201.01 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.01/3611.30 c *** TERMINATED by signal 15 ***
3600.01/3611.30 c _______________________________________________________________________________
3600.01/3611.30 c
3600.01/3611.30 c _______________________________________________________________________________
3600.01/3611.30 c
3600.01/3611.30 c =======================[ UWrMaxSat resources usage ]===========================
3600.01/3611.30 c Memory used : 434.00 MB
3600.01/3611.30 c CPU time : 3599.57 s
3600.01/3611.30 c _______________________________________________________________________________
3600.01/3611.30 c _______________________________________________________________________________
3600.01/3611.30 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 (63041 MiB free)
memory of node 1: 64507 MiB (63671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509913-1751192388/watcher-4509913-1751192388 -o /tmp/evaluation-result-4509913-1751192388/solver-4509913-1751192388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509913-1751192388.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27028, runsolver pid=27025
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.33 2.96 3.74 5/265 27029
/proc/meminfo: memFree=129752864/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=26880 memory=17492 CPUtime=0.1 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 2072 0 0 0 10 0 0 0 20 0 1 0 34916538 27525120 4373 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 6720 4373 2720 3139 0 3008 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26880 KiB
Current children cumulated memory: 17492 KiB
[startup+0.205372 s]*
/proc/loadavg: 1.33 2.96 3.74 5/265 27029
/proc/meminfo: memFree=129751100/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=28016 memory=18388 CPUtime=0.2 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 2325 0 0 0 20 0 0 0 20 0 1 0 34916538 28688384 4597 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 7004 4597 2720 3139 0 3292 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28016 KiB
Current children cumulated memory: 18388 KiB
[startup+0.304795 s]*
/proc/loadavg: 1.33 2.96 3.74 5/265 27029
/proc/meminfo: memFree=129751100/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=28212 memory=18740 CPUtime=0.3 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 2516 0 0 0 30 0 0 0 20 0 1 0 34916538 28889088 4685 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 7053 4685 2720 3139 0 3341 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28212 KiB
Current children cumulated memory: 18740 KiB
[startup+0.700111 s]
/proc/loadavg: 1.33 2.96 3.74 5/265 27029
/proc/meminfo: memFree=129750380/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=28820 memory=19324 CPUtime=0.68 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 3486 0 0 0 68 0 0 0 20 0 1 0 34916538 29511680 4831 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 7205 4831 2720 3139 0 3493 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28820 KiB
Current children cumulated memory: 19324 KiB
[startup+1.50013 s]
/proc/loadavg: 1.33 2.96 3.74 4/263 27029
/proc/meminfo: memFree=129745592/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=30652 memory=21140 CPUtime=1.49 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 5650 0 0 0 148 1 0 0 20 0 1 0 34916538 31387648 5285 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 7663 5285 2720 3139 0 3951 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30652 KiB
Current children cumulated memory: 21140 KiB
[startup+3.10533 s]
/proc/loadavg: 1.33 2.96 3.74 5/265 27074
/proc/meminfo: memFree=129729780/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=35428 memory=25876 CPUtime=3.09 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 6844 0 0 0 308 1 0 0 20 0 1 0 34916538 36278272 6469 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 8857 6469 2720 3139 0 5145 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35428 KiB
Current children cumulated memory: 25876 KiB
[startup+6.30016 s]
/proc/loadavg: 1.54 2.98 3.74 5/265 27074
/proc/meminfo: memFree=129713652/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=37760 memory=28220 CPUtime=6.27 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 12064 0 0 0 625 2 0 0 20 0 1 0 34916538 38666240 7055 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 9440 7055 2720 3139 0 5728 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 28220 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 3.00 3.74 5/265 27074
/proc/meminfo: memFree=129698352/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=42928 memory=33364 CPUtime=12.66 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 12845 0 0 0 1264 2 0 0 20 0 1 0 34916538 43958272 8341 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 10732 8341 2720 3139 0 7020 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42928 KiB
Current children cumulated memory: 33364 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 3.06 3.75 5/265 27075
/proc/meminfo: memFree=129656752/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=47472 memory=37836 CPUtime=25.42 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 19819 0 0 0 2538 4 0 0 20 0 1 0 34916538 48611328 9459 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 11868 9459 2720 3139 0 8156 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47472 KiB
Current children cumulated memory: 37836 KiB
[startup+51.1055 s]
/proc/loadavg: 2.89 3.14 3.76 5/265 27075
/proc/meminfo: memFree=129631472/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=60636 memory=51028 CPUtime=50.95 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 25973 0 0 0 5089 6 0 0 20 0 1 0 34916538 62091264 12757 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 15159 12757 2720 3139 0 11447 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 60636 KiB
Current children cumulated memory: 51028 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 3.29 3.78 5/264 27080
/proc/meminfo: memFree=129555456/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=68592 memory=58964 CPUtime=101.98 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 39159 0 0 0 10188 10 0 0 20 0 1 0 34916538 70238208 14741 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 17148 14741 2720 3139 0 13436 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 68592 KiB
Current children cumulated memory: 58964 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 3.45 3.81 5/264 27086
/proc/meminfo: memFree=129506060/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=91128 memory=81716 CPUtime=161.78 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 49871 0 0 0 16163 15 0 0 20 0 1 0 34916538 93315072 20429 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 22782 20429 2720 3139 0 19070 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 91128 KiB
Current children cumulated memory: 81716 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.55 3.82 5/264 27089
/proc/meminfo: memFree=129482696/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=95056 memory=85588 CPUtime=221.61 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 54214 0 0 0 22144 17 0 0 20 0 1 0 34916538 97337344 21397 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 23764 21397 2720 3139 0 20052 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 95056 KiB
Current children cumulated memory: 85588 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.67 3.85 5/264 27091
/proc/meminfo: memFree=129473768/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=104468 memory=95060 CPUtime=281.43 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 55034 0 0 0 28126 17 0 0 20 0 1 0 34916538 106975232 23765 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 26117 23765 2720 3139 0 22405 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 104468 KiB
Current children cumulated memory: 95060 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 3.82 3.89 5/264 27138
/proc/meminfo: memFree=129407640/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=136584 memory=128084 CPUtime=341.24 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 62798 0 0 0 34106 18 0 0 20 0 1 0 34916538 139862016 32021 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 34146 32021 3296 3139 0 30434 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 128084 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.87 3.91 5/264 27140
/proc/meminfo: memFree=129270216/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=155504 memory=147284 CPUtime=401.02 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 67612 0 0 0 40083 19 0 0 20 0 1 0 34916538 159236096 36821 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 38876 36821 3296 3139 0 35164 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 155504 KiB
Current children cumulated memory: 147284 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.93 3.92 5/264 27142
/proc/meminfo: memFree=129165204/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=172700 memory=165716 CPUtime=460.8 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 72231 0 0 0 46061 19 0 0 20 0 1 0 34916538 176844800 41429 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 43175 41429 3296 3139 0 39463 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 369484 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=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=2913 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136206 0 0 0 291256 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 2913 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 27280
/proc/meminfo: memFree=127386720/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=2972.83 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136238 0 0 0 297239 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 2972.83 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 27282
/proc/meminfo: memFree=127386748/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=3032.65 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136333 0 0 0 303221 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 3032.65 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 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=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=3092.48 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136399 0 0 0 309204 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27293
/proc/meminfo: memFree=127394184/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=3152.31 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136431 0 0 0 315187 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27295
/proc/meminfo: memFree=127393596/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=3212.13 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136528 0 0 0 321169 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 27298
/proc/meminfo: memFree=127393348/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=376472 memory=369484 CPUtime=3271.96 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 136594 0 0 0 327152 44 0 0 20 0 1 0 34916538 385507328 92371 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 94118 92371 3296 3139 0 90406 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 376472 KiB
Current children cumulated memory: 369484 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=27028] ppid=27025 vsize=435764 memory=428624 CPUtime=3331.78 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 137630 0 0 0 333133 45 0 0 20 0 1 0 34916538 446222336 107156 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 108941 107156 3296 3139 0 105229 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 435764 KiB
Current children cumulated memory: 428624 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 27303
/proc/meminfo: memFree=127358756/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=437212 memory=430160 CPUtime=3391.6 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138091 0 0 0 339115 45 0 0 20 0 1 0 34916538 447705088 107540 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109303 107540 3296 3139 0 105591 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 437212 KiB
Current children cumulated memory: 430160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/265 27305
/proc/meminfo: memFree=127356412/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=437992 memory=430928 CPUtime=3451.43 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138367 0 0 0 345098 45 0 0 20 0 1 0 34916538 448503808 107732 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109498 107732 3296 3139 0 105786 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 437992 KiB
Current children cumulated memory: 430928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 27307
/proc/meminfo: memFree=127356532/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=437992 memory=430928 CPUtime=3511.27 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138412 0 0 0 351082 45 0 0 20 0 1 0 34916538 448503808 107732 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109498 107732 3296 3139 0 105786 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 437992 KiB
Current children cumulated memory: 430928 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=27028] ppid=27025 vsize=439012 memory=431952 CPUtime=3571.1 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138767 0 0 0 357065 45 0 0 20 0 1 0 34916538 449548288 107988 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109753 107988 3296 3139 0 106041 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 431952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.15 4.17 4.12 4/263 27446
/proc/meminfo: memFree=128715960/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=439888 memory=432848 CPUtime=3600.01 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138999 0 0 0 359956 45 0 0 20 0 1 0 34916538 450445312 108212 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109972 108212 3296 3139 0 106260 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 439888 KiB
Current children cumulated memory: 432848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 27028 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.57 s, system=0.459399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.15 4.17 4.12 4/263 27446
/proc/meminfo: memFree=128715960/131249996 swapFree=33010684/33010684
[pid=27028] ppid=27025 vsize=439888 memory=432848 CPUtime=3600.01 cores=5,7
/proc/27028/stat : 27028 (uwrmaxsat-scip) R 27025 27028 26915 0 -1 4194304 138999 0 0 0 359956 45 0 0 20 0 1 0 34916538 450445312 108212 18446744073709551615 4198400 17051741 140724599486656 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 44122112 140724599490874 140724599491044 140724599491044 140724599496646 0
/proc/27028/statm: 109972 108212 3296 3139 0 106260 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 439888 KiB
Current children cumulated memory: 432848 KiB
Child status: 0
Real time (s): 3611.3
CPU time (s): 3600.03
CPU user time (s): 3599.57
CPU system time (s): 0.459399
CPU usage (%): 99.6878
Max. virtual memory (cumulated for all children) (KiB): 441524
Max. memory (cumulated for all children) (KiB): 434412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.57
system time used= 0.459399
maximum resident set size= 437644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138999
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= 97
involuntary context switches= 19120
# summary of solver processes directly reported to runsolver:
# pid: 27028
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.57
# total CPU system time (s): 0.459399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93749 second user time and 16.648 second system time
The end
Begin job on nodeC021 at 2025-06-29 12:19:48
IDJOB=4509913
IDBENCH=159173
IDSOLVER=3373
FILE ID=nodeC021/4509913-1751192388
RUNJOBID= nodeC021-1751192387-26928
SLURM_JOB_ID= 9587584
Free space on /tmp= 433016 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.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-4509913-1751192388/watcher-4509913-1751192388 -o /tmp/evaluation-result-4509913-1751192388/solver-4509913-1751192388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509913-1751192388.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=1136604770
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.774
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 : 3599.771
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.493
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 : 3596.953
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.786
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 : 3621.746
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 : 3601.004
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.809
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: 129753316 kB
MemAvailable: 129770580 kB
Buffers: 3280 kB
Cached: 826096 kB
SwapCached: 0 kB
Active: 364152 kB
Inactive: 568740 kB
Active(anon): 121576 kB
Inactive(anon): 0 kB
Active(file): 242576 kB
Inactive(file): 568740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66560 kB
Writeback: 0 kB
AnonPages: 106688 kB
Mapped: 135456 kB
Shmem: 18060 kB
KReclaimable: 89972 kB
Slab: 176244 kB
SReclaimable: 89972 kB
SUnreclaim: 86272 kB
KernelStack: 4256 kB
PageTables: 3184 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 453100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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= 433016 MiB
End job on nodeC021 at 2025-06-29 13:20:00