Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | OPT | 12 | 1842.93 | 1849.59 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb |
| MD5SUM | 0eb4af5d9d6a7991e65a6bdba739f56a |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.372509 |
| 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 | 329 |
| Total number of constraints | 16786 |
| Number of constraints which are clauses | 16772 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| 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 | 14 |
| 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 | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.19/0.26 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.19/0.26 o 14 0.19/0.26 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.19/0.30 c Starting SCIP solver (with time-limit = 1800s) ... 79.10/79.47 WARNING: logicor constraint <cf1_8119> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.20/79.50 WARNING: logicor constraint <cf1_8122> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.20/79.53 WARNING: logicor constraint <cf1_8121> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.61 WARNING: logicor constraint <cf1_7228> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.61 WARNING: logicor constraint <cf1_7231> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.61 WARNING: logicor constraint <cf1_7230> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.61 WARNING: logicor constraint <cf1_7229> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_8120> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_7162> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_7163> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_7164> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_7165> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_7166> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_8070> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.62 WARNING: logicor constraint <cf1_8069> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_8079> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7845> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7846> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7847> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7848> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7849> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7850> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7895> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7896> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7897> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7898> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7899> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7900> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7901> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7931> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7932> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7933> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7934> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7902> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7969> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7970> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7971> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7972> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7973> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7974> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7975> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7976> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.63 WARNING: logicor constraint <cf1_7977> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8003> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8004> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8005> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8006> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8007> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8055> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8056> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8057> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8058> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8059> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8060> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8066> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8067> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8068> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8076> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8077> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 79.30/79.64 WARNING: logicor constraint <cf1_8078> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 1793.81/1800.30 c SCIP timeout with lower and upper bounds: [0, 12] 1793.81/1800.30 o 12 1842.83/1849.58 s OPTIMUM FOUND 1842.83/1849.58 v x92 x93 x94 x95 -x96 -x97 x98 x99 x100 x101 x102 x103 x104 x105 -x106 -x120 -x134 -x148 -x162 -x176 -x190 -x204 -x218 -x232 -x246 -x260 -x274 -x288 -x107 -x121 -x135 -x149 -x163 -x177 -x191 -x205 -x219 -x233 -x247 -x261 -x275 -x289 -x108 -x122 -x136 -x150 -x164 -x178 -x192 -x206 -x220 -x234 -x248 -x262 -x276 -x290 -x109 -x123 -x137 -x151 -x165 -x179 -x193 -x207 -x221 -x235 -x249 -x263 -x277 -x291 -x110 -x124 -x138 -x152 -x166 -x180 -x194 -x208 -x222 -x236 -x250 x264 -x278 -x292 -x111 -x125 -x139 -x153 -x167 -x181 -x195 -x209 x223 -x237 -x251 -x265 -x279 -x293 -x112 -x126 -x140 -x154 -x168 -x182 -x196 -x210 -x224 -x238 -x252 -x266 -x280 -x294 -x113 -x127 -x141 -x155 -x169 -x183 -x197 -x211 -x225 -x239 -x253 -x267 -x281 -x295 -x114 -x128 -x142 -x156 -x170 -x184 -x198 -x212 -x226 -x240 -x254 -x268 -x282 -x296 -x115 -x129 -x143 -x157 -x171 -x185 -x199 -x213 -x227 -x241 -x255 -x269 -x283 -x297 -x116 -x130 -x144 -x158 -x172 -x186 -x200 -x214 -x228 -x242 -x256 -x270 -x284 -x298 -x117 -x131 -x145 -x159 -x173 -x187 -x201 -x215 -x229 -x243 -x257 -x271 -x285 -x299 -x118 -x132 -x146 -x160 -x174 -x188 -x202 -x216 -x230 -x244 -x258 -x272 -x286 -x300 -x119 -x133 -x147 -x161 -x175 -x189 -x203 -x217 -x231 -x245 -x259 -x273 -x287 -x301 -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 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x302 -x303 -x304 x305 -x306 x307 x308 -x309 -x310 x311 -x312 x313 x314 -x315 -x316 x317 x318 -x319 -x320 x321 x322 -x323 -x324 x325 x326 -x327 -x328 x329
OK 12
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62247 MiB free)
memory of node 1: 64465 MiB (63036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517833-1751532915/watcher-4517833-1751532915 -o /tmp/evaluation-result-4517833-1751532915/solver-4517833-1751532915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76680 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517833-1751532915.opb -total-t=3600 -no-par -v0
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78103, runsolver pid=78100
[startup+0.100071 s]*
/proc/loadavg: 4.42 4.27 4.17 5/249 78104
/proc/meminfo: memFree=128290960/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=24128 memory=9728 CPUtime=0.09 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 1715 0 0 0 9 0 0 0 20 0 1 0 68970222 24707072 2432 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 6032 2432 864 2593 0 2925 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24128 KiB
Current children cumulated memory: 9728 KiB
[startup+0.213936 s]*
/proc/loadavg: 4.42 4.27 4.17 5/249 78104
/proc/meminfo: memFree=128283148/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=30448 memory=16000 CPUtime=0.19 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 3268 0 0 0 19 0 0 0 20 0 1 0 68970222 31178752 4000 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 7612 4000 864 2593 0 4505 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30448 KiB
Current children cumulated memory: 16000 KiB
[startup+0.312231 s]*
/proc/loadavg: 4.42 4.27 4.17 5/249 78104
/proc/meminfo: memFree=128279368/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=49656 memory=41216 CPUtime=0.3 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 8140 0 0 0 28 2 0 0 20 0 1 0 68970222 50847744 10304 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 12414 10304 2432 2593 0 9307 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49656 KiB
Current children cumulated memory: 41216 KiB
[startup+0.700328 s]
/proc/loadavg: 4.42 4.27 4.17 5/249 78104
/proc/meminfo: memFree=128259208/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=73972 memory=63352 CPUtime=0.67 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 13687 0 0 0 64 3 0 0 20 0 1 0 68970222 75747328 15838 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 18493 15838 2528 2593 0 15386 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73972 KiB
Current children cumulated memory: 63352 KiB
[startup+1.50028 s]
/proc/loadavg: 4.39 4.26 4.17 5/249 78104
/proc/meminfo: memFree=128206284/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=157396 memory=142656 CPUtime=1.47 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 30986 0 0 0 138 9 0 0 20 0 1 0 68970222 161173504 35664 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 39349 35664 2656 2593 0 36242 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 142656 KiB
[startup+3.11243 s]
/proc/loadavg: 4.39 4.26 4.17 5/249 78104
/proc/meminfo: memFree=128169492/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=158024 memory=140348 CPUtime=3.07 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 30991 0 0 0 298 9 0 0 20 0 1 0 68970222 161816576 35087 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 39506 35087 2656 2593 0 36399 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 158024 KiB
Current children cumulated memory: 140348 KiB
[startup+6.30032 s]
/proc/loadavg: 4.36 4.26 4.17 5/249 78104
/proc/meminfo: memFree=128156044/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=197924 memory=170044 CPUtime=6.25 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 38463 0 0 0 615 10 0 0 20 0 1 0 68970222 202674176 42511 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 49481 42511 2656 2593 0 46374 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 197924 KiB
Current children cumulated memory: 170044 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.25 4.17 5/249 78104
/proc/meminfo: memFree=128136636/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=209380 memory=173628 CPUtime=12.63 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 39350 0 0 0 1253 10 0 0 20 0 1 0 68970222 214405120 43407 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 52345 43407 2656 2593 0 49238 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 209380 KiB
Current children cumulated memory: 173628 KiB
[startup+25.5004 s]
/proc/loadavg: 4.28 4.24 4.17 5/249 78104
/proc/meminfo: memFree=128107844/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=239356 memory=200252 CPUtime=25.39 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 46003 0 0 0 2527 12 0 0 20 0 1 0 68970222 245100544 50063 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 59839 50063 2656 2593 0 56732 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 239356 KiB
Current children cumulated memory: 200252 KiB
[startup+51.1127 s]
/proc/loadavg: 4.22 4.24 4.17 5/249 78105
/proc/meminfo: memFree=128033996/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=261212 memory=221696 CPUtime=50.91 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 50882 0 0 0 5078 13 0 0 20 0 1 0 68970222 267481088 55424 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 65303 55424 2656 2593 0 62196 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 261212 KiB
Current children cumulated memory: 221696 KiB
[startup+102.3 s]
/proc/loadavg: 4.49 4.30 4.19 5/249 78106
/proc/meminfo: memFree=127851516/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=329888 memory=282668 CPUtime=101.93 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 67049 0 0 0 10176 17 0 0 20 0 1 0 68970222 337805312 70667 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 82472 70667 2656 2593 0 79365 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 329888 KiB
Current children cumulated memory: 282668 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 4.39 4.23 5/250 78109
/proc/meminfo: memFree=127751768/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=368332 memory=320136 CPUtime=161.71 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 80020 0 0 0 16151 20 0 0 20 0 1 0 68970222 377171968 80034 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 92083 80034 2656 2593 0 88976 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 368332 KiB
Current children cumulated memory: 320136 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.33 4.22 5/250 78111
/proc/meminfo: memFree=127700784/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=391684 memory=345328 CPUtime=221.48 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 92039 0 0 0 22126 22 0 0 20 0 1 0 68970222 401084416 86332 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 97921 86332 2656 2593 0 94814 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 391684 KiB
Current children cumulated memory: 345328 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.29 4.21 5/250 78113
/proc/meminfo: memFree=127619468/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=403116 memory=358520 CPUtime=281.25 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 97433 0 0 0 28100 25 0 0 20 0 1 0 68970222 412790784 89630 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 100779 89630 2656 2593 0 97672 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 403116 KiB
Current children cumulated memory: 358520 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.25 4.20 5/250 78115
/proc/meminfo: memFree=127519016/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=423768 memory=378976 CPUtime=341.02 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 106904 0 0 0 34074 28 0 0 20 0 1 0 68970222 433938432 94744 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 105942 94744 2656 2593 0 102835 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 423768 KiB
Current children cumulated memory: 378976 KiB
[startup+402.3 s]
/proc/loadavg: 4.01 4.20 4.18 4/244 78159
/proc/meminfo: memFree=127807632/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=456908 memory=411540 CPUtime=400.78 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 129459 0 0 0 40043 35 0 0 20 0 1 0 68970222 467873792 102885 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 114227 102885 2656 2593 0 111120 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 456908 KiB
Current children cumulated memory: 411540 KiB
[startup+462.3 s]
/proc/loadavg: 3.49 4.01 4.11 4/243 78161
/proc/meminfo: memFree=127672404/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=488976 memory=464576 CPUtime=460.55 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 137144 0 0 0 46018 37 0 0 20 0 1 0 68970222 500711424 116144 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 122244 116144 2656 2593 0 119137 0
################
# More data... #
################
/proc/loadavg: 1.52 2.62 3.27 2/232 78269
/proc/meminfo: memFree=129018696/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=856944 memory=838368 CPUtime=1417.32 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 323775 0 0 0 141646 86 0 0 20 0 1 0 68970222 877510656 209592 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 214236 209592 2656 2593 0 211129 0
Current children cumulated CPU time: 1417.32 s
Current children cumulated vsize: 856944 KiB
Current children cumulated memory: 838368 KiB
[startup+1482.3 s]
/proc/loadavg: 1.23 2.34 3.13 2/232 78271
/proc/meminfo: memFree=129005024/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=887472 memory=863972 CPUtime=1477.09 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 327110 0 0 0 147621 88 0 0 20 0 1 0 68970222 908771328 215993 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 221868 215993 2656 2593 0 218761 0
Current children cumulated CPU time: 1477.09 s
Current children cumulated vsize: 887472 KiB
Current children cumulated memory: 863972 KiB
[startup+1542.3 s]
/proc/loadavg: 1.19 2.12 3.00 2/233 78286
/proc/meminfo: memFree=128963996/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=911000 memory=886520 CPUtime=1536.85 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 340106 0 0 0 153594 91 0 0 20 0 1 0 68970222 932864000 221630 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 227750 221630 2656 2593 0 224643 0
Current children cumulated CPU time: 1536.85 s
Current children cumulated vsize: 911000 KiB
Current children cumulated memory: 886520 KiB
[startup+1602.3 s]
/proc/loadavg: 1.07 1.91 2.87 2/233 78288
/proc/meminfo: memFree=128934044/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=940364 memory=922844 CPUtime=1596.61 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 348958 0 0 0 159568 93 0 0 20 0 1 0 68970222 962932736 230711 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 235091 230711 2656 2593 0 231984 0
Current children cumulated CPU time: 1596.61 s
Current children cumulated vsize: 940364 KiB
Current children cumulated memory: 922844 KiB
[startup+1662.3 s]
/proc/loadavg: 1.14 1.78 2.76 2/233 78290
/proc/meminfo: memFree=128926412/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=969060 memory=946308 CPUtime=1656.36 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 354846 0 0 0 165541 95 0 0 20 0 1 0 68970222 992317440 236577 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 242265 236577 2656 2593 0 239158 0
Current children cumulated CPU time: 1656.36 s
Current children cumulated vsize: 969060 KiB
Current children cumulated memory: 946308 KiB
[startup+1722.3 s]
/proc/loadavg: 1.19 1.66 2.66 2/233 78298
/proc/meminfo: memFree=128884452/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=1005980 memory=982432 CPUtime=1716.13 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 373899 0 0 0 171513 100 0 0 20 0 1 0 68970222 1030123520 245608 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 251495 245608 2656 2593 0 248388 0
Current children cumulated CPU time: 1716.13 s
Current children cumulated vsize: 1005980 KiB
Current children cumulated memory: 982432 KiB
[startup+1782.3 s]
/proc/loadavg: 1.12 1.56 2.56 2/232 78300
/proc/meminfo: memFree=128848884/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=1024420 memory=1002840 CPUtime=1775.89 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 387737 0 0 0 177485 104 0 0 20 0 1 0 68970222 1049006080 250710 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 256105 250710 2656 2593 0 252998 0
Current children cumulated CPU time: 1775.89 s
Current children cumulated vsize: 1024420 KiB
Current children cumulated memory: 1002840 KiB
[startup+1842.3 s]
/proc/loadavg: 1.11 1.47 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1835.66 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 183460 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1835.66 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1849.59 s]
# the end of solver process 78103 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1841.86 s, system=1.06513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 1.11 1.47 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1836.56 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 183550 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1836.56 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1846.4 s]
/proc/loadavg: 1.11 1.47 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1839.75 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 183869 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1839.75 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1848 s]*
/proc/loadavg: 1.10 1.46 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1841.35 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 184029 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1841.35 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1848.8 s]
/proc/loadavg: 1.10 1.46 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1842.14 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 184108 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1849.2 s]
/proc/loadavg: 1.10 1.46 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1842.54 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 184148 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1849.4 s]
/proc/loadavg: 1.10 1.46 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1842.73 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 184167 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1842.73 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
[startup+1849.5 s]
/proc/loadavg: 1.10 1.46 2.46 2/231 78302
/proc/meminfo: memFree=129077080/131382120 swapFree=33010416/33010684
[pid=78103] ppid=78100 vsize=780320 memory=772832 CPUtime=1842.83 cores=5,7
/proc/78103/stat : 78103 (CASHWMaxSAT-Dis) R 78100 78103 76667 0 -1 4194304 389656 0 0 0 184177 106 0 0 20 0 1 0 68970222 799047680 193208 18446744073709551615 4198400 14817773 140721111348720 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 39923712 140721111353706 140721111353821 140721111353821 140721111359423 0
/proc/78103/statm: 195080 193208 2688 2593 0 191973 0
Current children cumulated CPU time: 1842.83 s
Current children cumulated vsize: 780320 KiB
Current children cumulated memory: 772832 KiB
Child status: 30
Real time (s): 1849.59
CPU time (s): 1842.93
CPU user time (s): 1841.86
CPU system time (s): 1.06513
CPU usage (%): 99.64
Max. virtual memory (cumulated for all children) (KiB): 1038992
Max. memory (cumulated for all children) (KiB): 1018752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1841.86
system time used= 1.06513
maximum resident set size= 1018752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389656
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= 158
involuntary context switches= 2120
# summary of solver processes directly reported to runsolver:
# pid: 78103
# total CPU time (s): 1842.93
# total CPU user time (s): 1841.86
# total CPU system time (s): 1.06513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3485 second user time and 15.7147 second system time
The end
Begin job on nodeC003 at 2025-07-03 10:55:15 IDJOB=4517833 IDBENCH=176189 IDSOLVER=3322 FILE ID=nodeC003/4517833-1751532915 RUNJOBID= nodeC003-1751523121-76680 SLURM_JOB_ID= 9598648 Free space on /tmp= 431980 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517833-1751532915/watcher-4517833-1751532915 -o /tmp/evaluation-result-4517833-1751532915/solver-4517833-1751532915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76680 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517833-1751532915.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a RANDOM SEED=1209558550 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.569 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.159 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.723 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.990 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.222 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.449 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128290960 kB MemAvailable: 128330916 kB Buffers: 2736 kB Cached: 836832 kB SwapCached: 36 kB Active: 2110264 kB Inactive: 344796 kB Active(anon): 1625808 kB Inactive(anon): 7608 kB Active(file): 484456 kB Inactive(file): 337188 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14308 kB Writeback: 0 kB AnonPages: 1618216 kB Mapped: 139344 kB Shmem: 17924 kB KReclaimable: 115880 kB Slab: 201128 kB SReclaimable: 115880 kB SUnreclaim: 85248 kB KernelStack: 4048 kB PageTables: 6236 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1987308 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1056768 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432004 MiB End job on nodeC003 at 2025-07-03 11:26:05