Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 3 | 3600.06 | 3611.6 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb |
| MD5SUM | b554296dd2e7a57b28932c2f35f0c1cd |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 4.93097 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 275 |
| Total number of constraints | 6523 |
| Number of constraints which are clauses | 6512 |
| Number of constraints which are cardinality constraints (but not clauses) | 11 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 12 |
| Number of terms in the objective function | 11 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 11 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 13 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.03 c Converting 6523 PB-constraints to clauses... 0.00/0.03 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 0.00/0.04 o 11 0.00/0.04 c ============================[ Problem Statistics ]============================ 0.00/0.04 c | Number of variables: 297 | 0.00/0.04 c | Number of clauses: 6941 | 0.00/0.04 c =============================================================================== 0.00/0.04 c Starting SCIP solver (with time-limit: 900s) ... 0.00/0.04 c SCIP start delayed for at least 300s 153.52/154.02 c SCIP started with lower and upper bounds: [0, 11] 1050.13/1054.07 c SCIP timeout with lower and upper bounds: [0, 3] 1050.13/1054.07 o 3 3600.05/3611.60 c *** TERMINATED by signal 15 *** 3600.05/3611.60 c _______________________________________________________________________________ 3600.05/3611.60 c 3600.05/3611.60 c _______________________________________________________________________________ 3600.05/3611.60 c 3600.05/3611.60 c =======================[ UWrMaxSat resources usage ]=========================== 3600.05/3611.60 c Memory used : 677.00 MB 3600.05/3611.60 c CPU time : 3598.85 s 3600.05/3611.60 c Constr Enc: Srt/BDD/Add: 11 0 0 3600.05/3611.60 c _______________________________________________________________________________ 3600.05/3611.60 c _______________________________________________________________________________ 3600.05/3611.60 3600.05/3611.60 v x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x78 -x89 -x100 -x111 -x122 -x133 -x144 -x155 -x166 -x177 x68 -x79 -x90 -x101 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x69 -x80 -x91 -x102 -x113 -x124 -x135 -x146 -x157 -x168 x179 -x70 -x81 -x92 -x103 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x71 -x82 -x93 -x104 -x115 -x126 -x137 -x148 -x159 x170 -x181 -x72 -x83 -x94 -x105 x116 -x127 -x138 -x149 -x160 -x171 -x182 -x73 -x84 x95 -x106 -x117 -x128 -x139 -x150 -x161 -x172 -x183 -x74 x85 -x96 -x107 -x118 -x129 -x140 -x151 -x162 -x173 -x184 -x75 -x86 -x97 x108 -x119 -x130 -x141 -x152 -x163 -x174 -x185 -x76 -x87 -x98 -x109 -x120 -x131 -x142 -x153 -x164 -x175 -x186 -x77 -x88 -x99 -x110 -x121 -x132 -x143 x154 -x165 -x176 -x187 x1 x2 x3 x4 -x5 x6 x7 -x8 x9 x10 x11 x12 x13 -x14 -x15 x16 x17 x18 x19 x20 x21 x22 -x23 x24 x25 x26 x27 x28 x29 -x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 x42 x43 x44 x45 x46 -x47 x48 -x49 x50 x51 x52 x53 x54 x55 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 3600.05/3611.60 s SATISFIABLE
OK 3
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: 63708 MiB (61692 MiB free)
memory of node 1: 64465 MiB (61851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517644-1751521467/watcher-4517644-1751521467 -o /tmp/evaluation-result-4517644-1751521467/solver-4517644-1751521467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73434 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517644-1751521467.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=75017, runsolver pid=75014
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126489212/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=35824 memory=26360 CPUtime=0.09 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 4370 0 0 0 9 0 0 0 20 0 1 0 67769261 36683776 6590 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 8956 6590 2720 3139 0 5244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 26360 KiB
[startup+0.205365 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126489212/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=36120 memory=26704 CPUtime=0.2 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 4844 0 0 0 20 0 0 0 20 0 1 0 67769261 36986880 6676 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 9030 6676 2720 3139 0 5318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36120 KiB
Current children cumulated memory: 26704 KiB
[startup+0.304832 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126489232/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=36884 memory=27308 CPUtime=0.29 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 5132 0 0 0 29 0 0 0 20 0 1 0 67769261 37769216 6827 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 9221 6827 2720 3139 0 5509 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 27308 KiB
[startup+0.700126 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126489232/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=37304 memory=27888 CPUtime=0.69 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 6270 0 0 0 68 1 0 0 20 0 1 0 67769261 38199296 6972 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 9326 6972 2720 3139 0 5614 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37304 KiB
Current children cumulated memory: 27888 KiB
[startup+1.50013 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126489232/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=38908 memory=29332 CPUtime=1.49 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 8215 0 0 0 148 1 0 0 20 0 1 0 67769261 39841792 7333 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 9727 7333 2720 3139 0 6015 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38908 KiB
Current children cumulated memory: 29332 KiB
[startup+3.10492 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126488728/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=39572 memory=30044 CPUtime=3.08 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 10509 0 0 0 307 1 0 0 20 0 1 0 67769261 40521728 7511 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 9893 7511 2720 3139 0 6181 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 30044 KiB
[startup+6.30012 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126491520/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=41972 memory=32372 CPUtime=6.27 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 14448 0 0 0 625 2 0 0 20 0 1 0 67769261 42979328 8093 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 10493 8093 2720 3139 0 6781 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41972 KiB
Current children cumulated memory: 32372 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 75018
/proc/meminfo: memFree=126469856/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=45788 memory=36212 CPUtime=12.66 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 18146 0 0 0 1263 3 0 0 20 0 1 0 67769261 46886912 9053 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 11447 9053 2720 3139 0 7735 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45788 KiB
Current children cumulated memory: 36212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/263 75018
/proc/meminfo: memFree=126489848/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=56464 memory=46860 CPUtime=25.42 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 27572 0 0 0 2537 5 0 0 20 0 1 0 67769261 57819136 11715 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 14116 11715 2720 3139 0 10404 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56464 KiB
Current children cumulated memory: 46860 KiB
[startup+51.1052 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 75064
/proc/meminfo: memFree=127030156/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=50592 memory=41096 CPUtime=50.94 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 35637 0 0 0 5087 7 0 0 20 0 1 0 67769261 51806208 10274 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 12648 10274 2720 3139 0 8936 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 50592 KiB
Current children cumulated memory: 41096 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 75064
/proc/meminfo: memFree=126971392/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=65644 memory=56096 CPUtime=101.98 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 47743 0 0 0 10186 12 0 0 20 0 1 0 67769261 67219456 14024 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 16411 14024 2720 3139 0 12699 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 65644 KiB
Current children cumulated memory: 56096 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 75066
/proc/meminfo: memFree=126899596/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=158088 memory=141304 CPUtime=161.78 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 68178 0 0 0 16162 16 0 0 20 0 1 0 67769261 161882112 35326 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 39522 35326 3296 3139 0 35810 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 158088 KiB
Current children cumulated memory: 141304 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/263 75113
/proc/meminfo: memFree=127032592/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=210156 memory=192888 CPUtime=221.53 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 81106 0 0 0 22135 18 0 0 20 0 1 0 67769261 215199744 48222 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 52539 48222 3296 3139 0 48827 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 210156 KiB
Current children cumulated memory: 192888 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 75115
/proc/meminfo: memFree=126957536/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=249592 memory=232400 CPUtime=281.3 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 90029 0 0 0 28110 20 0 0 20 0 1 0 67769261 255582208 58100 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 62398 58100 3296 3139 0 58686 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 249592 KiB
Current children cumulated memory: 232400 KiB
[startup+342.3 s]
/proc/loadavg: 4.46 4.24 4.14 5/264 75118
/proc/meminfo: memFree=126928096/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=281228 memory=263668 CPUtime=341.06 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 96820 0 0 0 34085 21 0 0 20 0 1 0 67769261 287977472 65917 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 70307 65917 3296 3139 0 66595 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 281228 KiB
Current children cumulated memory: 263668 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.21 4.14 5/264 75120
/proc/meminfo: memFree=126753436/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=313456 memory=295684 CPUtime=400.82 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 102363 0 0 0 40060 22 0 0 20 0 1 0 67769261 320978944 73921 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 78364 73921 3296 3139 0 74652 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 313456 KiB
Current children cumulated memory: 295684 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.17 4.12 5/264 75123
/proc/meminfo: memFree=126650436/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=344692 memory=323620 CPUtime=460.58 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 104378 0 0 0 46035 23 0 0 20 0 1 0 67769261 352964608 80905 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 86173 80905 3296 3139 0 82461 0
Current children cumulated CPU time: 460.58 s
################
# More data... #
################
Current children cumulated memory: 402884 KiB
[startup+2862.3 s]
/proc/loadavg: 2.17 3.16 3.71 3/251 76118
/proc/meminfo: memFree=126999752/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=408044 memory=401404 CPUtime=2852.77 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 186273 0 0 0 285190 87 0 0 20 0 1 0 67769261 417837056 100351 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 102011 100351 3360 3139 0 98299 0
Current children cumulated CPU time: 2852.77 s
Current children cumulated vsize: 408044 KiB
Current children cumulated memory: 401404 KiB
[startup+2922.3 s]
/proc/loadavg: 2.18 2.97 3.61 3/251 76120
/proc/meminfo: memFree=126923048/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=440724 memory=434040 CPUtime=2912.63 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 189431 0 0 0 291172 91 0 0 20 0 1 0 67769261 451301376 108510 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 110181 108510 3360 3139 0 106469 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 440724 KiB
Current children cumulated memory: 434040 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.81 3.52 3/250 76122
/proc/meminfo: memFree=126925740/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=441928 memory=435244 CPUtime=2972.45 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 192497 0 0 0 297149 96 0 0 20 0 1 0 67769261 452534272 108811 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 110482 108811 3360 3139 0 106770 0
Current children cumulated CPU time: 2972.45 s
Current children cumulated vsize: 441928 KiB
Current children cumulated memory: 435244 KiB
[startup+3042.3 s]
/proc/loadavg: 2.09 2.67 3.42 3/251 76131
/proc/meminfo: memFree=126911460/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=443208 memory=436524 CPUtime=3032.26 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 195978 0 0 0 303126 100 0 0 20 0 1 0 67769261 453844992 109131 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 110802 109131 3360 3139 0 107090 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 443208 KiB
Current children cumulated memory: 436524 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.57 3.34 3/251 76133
/proc/meminfo: memFree=126964228/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=444176 memory=437492 CPUtime=3092.08 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 199287 0 0 0 309104 104 0 0 20 0 1 0 67769261 454836224 109373 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 111044 109373 3360 3139 0 107332 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 444176 KiB
Current children cumulated memory: 437492 KiB
[startup+3162.3 s]
/proc/loadavg: 2.09 2.48 3.26 3/251 76135
/proc/meminfo: memFree=126935264/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=471724 memory=464924 CPUtime=3151.9 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 201451 0 0 0 315084 106 0 0 20 0 1 0 67769261 483045376 116231 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 117931 116231 3360 3139 0 114219 0
Current children cumulated CPU time: 3151.9 s
Current children cumulated vsize: 471724 KiB
Current children cumulated memory: 464924 KiB
[startup+3222.3 s]
/proc/loadavg: 2.07 2.40 3.18 3/251 76137
/proc/meminfo: memFree=126977504/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=435464 memory=428696 CPUtime=3211.72 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 202785 0 0 0 321064 108 0 0 20 0 1 0 67769261 445915136 107174 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 108866 107174 3360 3139 0 105154 0
Current children cumulated CPU time: 3211.72 s
Current children cumulated vsize: 435464 KiB
Current children cumulated memory: 428696 KiB
[startup+3282.3 s]
/proc/loadavg: 2.06 2.34 3.11 3/251 76139
/proc/meminfo: memFree=126966120/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=472656 memory=465856 CPUtime=3271.54 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 205200 0 0 0 327044 110 0 0 20 0 1 0 67769261 483999744 116464 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 118164 116464 3360 3139 0 114452 0
Current children cumulated CPU time: 3271.54 s
Current children cumulated vsize: 472656 KiB
Current children cumulated memory: 465856 KiB
[startup+3342.3 s]
/proc/loadavg: 2.06 2.29 3.04 3/251 76141
/proc/meminfo: memFree=126956884/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=474868 memory=468068 CPUtime=3331.39 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 207711 0 0 0 333027 112 0 0 20 0 1 0 67769261 486264832 117017 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 118717 117017 3360 3139 0 115005 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 474868 KiB
Current children cumulated memory: 468068 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.27 2.98 3/251 76144
/proc/meminfo: memFree=126958568/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=435464 memory=428696 CPUtime=3391.25 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 209252 0 0 0 339011 114 0 0 20 0 1 0 67769261 445915136 107174 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 108866 107174 3360 3139 0 105154 0
Current children cumulated CPU time: 3391.25 s
Current children cumulated vsize: 435464 KiB
Current children cumulated memory: 428696 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.23 2.93 3/251 76146
/proc/meminfo: memFree=126937212/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=473676 memory=466876 CPUtime=3451.1 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 211412 0 0 0 344994 116 0 0 20 0 1 0 67769261 485044224 116719 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 118419 116719 3360 3139 0 114707 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 473676 KiB
Current children cumulated memory: 466876 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.20 2.87 3/251 76148
/proc/meminfo: memFree=126956548/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=435464 memory=428696 CPUtime=3510.96 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 212957 0 0 0 350978 118 0 0 20 0 1 0 67769261 445915136 107174 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 108866 107174 3360 3139 0 105154 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 435464 KiB
Current children cumulated memory: 428696 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.18 2.82 3/251 76150
/proc/meminfo: memFree=126952572/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=435464 memory=428696 CPUtime=3570.82 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 214541 0 0 0 356962 120 0 0 20 0 1 0 67769261 445915136 107174 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 108866 107174 3360 3139 0 105154 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 435464 KiB
Current children cumulated memory: 428696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 2.14 2.18 2.80 3/251 76151
/proc/meminfo: memFree=126977228/131250000 swapFree=33010684/33010684
[pid=75017] ppid=75014 vsize=435464 memory=428696 CPUtime=3600.05 cores=4,6
/proc/75017/stat : 75017 (uwrmaxsat-scip) R 75014 75017 73423 0 -1 4194304 215084 0 0 0 359884 121 0 0 20 0 1 0 67769261 445915136 107174 18446744073709551615 4198400 17051741 140721257712816 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 37736448 140721257720122 140721257720292 140721257720292 140721257725894 0
/proc/75017/statm: 108866 107174 3360 3139 0 105154 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 435464 KiB
Current children cumulated memory: 428696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 75017 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.85 s, system=1.21432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.6
CPU time (s): 3600.06
CPU user time (s): 3598.85
CPU system time (s): 1.21432
CPU usage (%): 99.6805
Max. virtual memory (cumulated for all children) (KiB): 693928
Max. memory (cumulated for all children) (KiB): 666160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.21432
maximum resident set size= 666160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215085
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= 73
involuntary context switches= 3601
# summary of solver processes directly reported to runsolver:
# pid: 75017
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.85
# total CPU system time (s): 1.21432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80502 second user time and 15.184 second system time
The end
Begin job on nodeC028 at 2025-07-03 07:44:27 IDJOB=4517644 IDBENCH=176156 IDSOLVER=3373 FILE ID=nodeC028/4517644-1751521467 RUNJOBID= nodeC028-1751514241-73434 SLURM_JOB_ID= 9598622 Free space on /tmp= 431440 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.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-4517644-1751521467/watcher-4517644-1751521467 -o /tmp/evaluation-result-4517644-1751521467/solver-4517644-1751521467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73434 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517644-1751521467.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd RANDOM SEED=1766106457 nodeC028 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.083 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.16 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.081 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.16 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 : 3519.615 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.16 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 : 3601.162 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.16 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.074 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.16 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.070 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.16 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 : 3727.077 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.16 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 : 3457.017 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126509184 kB MemAvailable: 128380708 kB Buffers: 3280 kB Cached: 2673744 kB SwapCached: 0 kB Active: 1746932 kB Inactive: 2364496 kB Active(anon): 1452472 kB Inactive(anon): 0 kB Active(file): 294460 kB Inactive(file): 2364496 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16780 kB Writeback: 24 kB AnonPages: 1437040 kB Mapped: 143812 kB Shmem: 18068 kB KReclaimable: 103612 kB Slab: 192332 kB SReclaimable: 103612 kB SUnreclaim: 88720 kB KernelStack: 4240 kB PageTables: 5828 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1807344 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 1251328 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431464 MiB End job on nodeC028 at 2025-07-03 08:44:39