Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | OPT | 12 | 2105.01 | 2112.56 |
| 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.09/0.10 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.10 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.10 o 13 0.09/0.10 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.12 c Starting SCIP solver (with time-limit = 1800s) ... 47.45/47.65 WARNING: logicor constraint <cf1_3504> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3505> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3506> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3507> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3508> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3509> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3510> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3511> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3512> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3513> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3514> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3515> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3516> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3517> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3518> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3519> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3520> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3521> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3522> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3523> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3524> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3525> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3526> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3527> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3528> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.65 WARNING: logicor constraint <cf1_3529> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3172> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3173> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3174> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3175> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3176> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3177> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3178> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3179> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3180> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3181> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3182> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3183> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3184> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3185> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3186> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3187> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3188> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3189> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3190> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3191> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3192> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3193> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3194> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3195> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3196> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3197> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3198> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3199> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3202> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3200> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3201> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3203> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3204> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3205> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3206> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3207> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3208> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3209> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3210> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3211> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3212> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3213> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3214> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3215> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3501> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3216> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3217> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3218> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3219> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3220> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3221> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3222> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3223> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3224> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3225> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3226> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3227> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3228> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3229> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3230> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3231> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3232> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3233> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3234> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3235> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3236> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3237> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3238> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3239> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3240> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3241> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3242> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3243> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3244> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3246> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3248> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3249> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3245> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3247> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3251> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3250> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3260> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3259> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3255> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3253> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3256> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3254> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3252> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3258> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3263> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3262> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3257> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3261> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3502> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3500> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 47.45/47.68 WARNING: logicor constraint <cf1_3503> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 1793.59/1800.12 c SCIP timeout with lower and upper bounds: [0, 12] 1793.59/1800.12 o 12 2104.95/2112.52 s OPTIMUM FOUND 2104.95/2112.52 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: 63708 MiB (61987 MiB free)
memory of node 1: 64465 MiB (62918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517834-1751537885/watcher-4517834-1751537885 -o /tmp/evaluation-result-4517834-1751537885/solver-4517834-1751537885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751537885-78426 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517834-1751537885.opb -total-t=3600 -no-par -v0
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
Current StackSize limit: 8192 KiB
solver pid=78475, runsolver pid=78466
[startup+0.100062 s]*
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127836872/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=36240 memory=18432 CPUtime=0.09 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 3950 0 0 0 9 0 0 0 20 0 1 0 69411041 37109760 4608 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 9060 4608 768 2416 0 6162 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 18432 KiB
[startup+0.205511 s]*
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127786988/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=68268 memory=58028 CPUtime=0.19 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 12475 0 0 0 17 2 0 0 20 0 1 0 69411041 69906432 14507 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 17067 14507 2368 2416 0 14169 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 58028 KiB
[startup+0.305578 s]*
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127753280/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=105780 memory=90580 CPUtime=0.29 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 17773 0 0 0 26 3 0 0 20 0 1 0 69411041 108318720 22645 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 26445 22645 2400 2416 0 23547 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 105780 KiB
Current children cumulated memory: 90580 KiB
[startup+0.700133 s]
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127685312/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=150300 memory=134340 CPUtime=0.69 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 26067 0 0 0 64 5 0 0 20 0 1 0 69411041 153907200 33585 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 37575 33585 2496 2416 0 34677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 150300 KiB
Current children cumulated memory: 134340 KiB
[startup+1.50013 s]
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127669184/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=151948 memory=134340 CPUtime=1.48 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 26077 0 0 0 143 5 0 0 20 0 1 0 69411041 155594752 33585 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 37987 33585 2496 2416 0 35089 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 134340 KiB
[startup+3.1054 s]
/proc/loadavg: 0.47 0.98 1.71 6/264 78484
/proc/meminfo: memFree=127645428/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=169932 memory=141764 CPUtime=3.08 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 27941 0 0 0 303 5 0 0 20 0 1 0 69411041 174010368 35441 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 42483 35441 2496 2416 0 39585 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 141764 KiB
[startup+6.30011 s]
/proc/loadavg: 0.75 1.03 1.72 7/264 78484
/proc/meminfo: memFree=127060484/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=204428 memory=170436 CPUtime=6.27 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 35093 0 0 0 621 6 0 0 20 0 1 0 69411041 209334272 42609 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 51107 42609 2528 2416 0 48209 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 204428 KiB
Current children cumulated memory: 170436 KiB
[startup+12.7001 s]
/proc/loadavg: 1.01 1.08 1.73 6/264 78484
/proc/meminfo: memFree=125259948/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=207088 memory=171972 CPUtime=12.65 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 35484 0 0 0 1259 6 0 0 20 0 1 0 69411041 212058112 42993 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 51772 42993 2528 2416 0 48874 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207088 KiB
Current children cumulated memory: 171972 KiB
[startup+25.5001 s]
/proc/loadavg: 1.74 1.24 1.77 6/264 78484
/proc/meminfo: memFree=124233844/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=248048 memory=206404 CPUtime=25.41 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 44090 0 0 0 2533 8 0 0 20 0 1 0 69411041 254001152 51601 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 62012 51601 2528 2416 0 59114 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 248048 KiB
Current children cumulated memory: 206404 KiB
[startup+51.1055 s]
/proc/loadavg: 2.51 1.46 1.83 6/264 78485
/proc/meminfo: memFree=123584700/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=288328 memory=239172 CPUtime=50.94 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 52302 0 0 0 5084 10 0 0 20 0 1 0 69411041 295247872 59793 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 72082 59793 2528 2416 0 69184 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288328 KiB
Current children cumulated memory: 239172 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.87 1.95 6/263 78490
/proc/meminfo: memFree=123820632/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=343920 memory=287784 CPUtime=101.98 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 62995 0 0 0 10186 12 0 0 20 0 1 0 69411041 352174080 71946 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 85980 71946 2528 2416 0 83082 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 343920 KiB
Current children cumulated memory: 287784 KiB
[startup+162.3 s]
/proc/loadavg: 3.81 2.27 2.09 6/265 78498
/proc/meminfo: memFree=123681576/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=376956 memory=320612 CPUtime=161.78 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 70206 0 0 0 16163 15 0 0 20 0 1 0 69411041 386002944 80153 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 94239 80153 2528 2416 0 91341 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 376956 KiB
Current children cumulated memory: 320612 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.61 2.22 6/265 78500
/proc/meminfo: memFree=123578816/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=407112 memory=349136 CPUtime=221.58 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 75800 0 0 0 22142 16 0 0 20 0 1 0 69411041 416882688 87284 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 101778 87284 2528 2416 0 98880 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 407112 KiB
Current children cumulated memory: 349136 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 2.91 2.35 6/265 78502
/proc/meminfo: memFree=123414656/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=447576 memory=388972 CPUtime=281.39 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 85249 0 0 0 28120 19 0 0 20 0 1 0 69411041 458317824 97243 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 111894 97243 2528 2416 0 108996 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 447576 KiB
Current children cumulated memory: 388972 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.13 2.46 6/265 78504
/proc/meminfo: memFree=123293080/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=493676 memory=432512 CPUtime=341.2 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 100334 0 0 0 34097 23 0 0 20 0 1 0 69411041 505524224 108128 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 123419 108128 2528 2416 0 120521 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 493676 KiB
Current children cumulated memory: 432512 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.30 2.56 6/265 78551
/proc/meminfo: memFree=123295576/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=528604 memory=462272 CPUtime=400.97 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 109306 0 0 0 40071 26 0 0 20 0 1 0 69411041 541290496 115568 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 132151 115568 2528 2416 0 129253 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 528604 KiB
Current children cumulated memory: 462272 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.45 2.66 6/263 78553
/proc/meminfo: memFree=123171820/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=557352 memory=497736 CPUtime=460.75 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 119968 0 0 0 46046 29 0 0 20 0 1 0 69411041 570728448 124434 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 139338 124434 2528 2416 0 136440 0
Current children cumulated CPU time: 460.75 s
################
# More data... #
################
/proc/loadavg: 4.07 4.07 3.76 6/264 78615
/proc/meminfo: memFree=121083008/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=1270536 memory=1189004 CPUtime=1716.07 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 308209 0 0 0 171520 87 0 0 20 0 1 0 69411041 1301028864 297251 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 317634 297251 2752 2416 0 314736 0
Current children cumulated CPU time: 1716.07 s
Current children cumulated vsize: 1270536 KiB
Current children cumulated memory: 1189004 KiB
[startup+1782.3 s]
/proc/loadavg: 4.19 4.10 3.79 6/264 78618
/proc/meminfo: memFree=120958128/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=1336512 memory=1235208 CPUtime=1775.85 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 324418 0 0 0 177495 90 0 0 20 0 1 0 69411041 1368588288 308802 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 334128 308802 2752 2416 0 331230 0
Current children cumulated CPU time: 1775.85 s
Current children cumulated vsize: 1336512 KiB
Current children cumulated memory: 1235208 KiB
[startup+1842.3 s]
/proc/loadavg: 4.13 4.09 3.81 6/264 78664
/proc/meminfo: memFree=123155960/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=906100 memory=870044 CPUtime=1835.64 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 335288 0 0 0 183471 93 0 0 20 0 1 0 69411041 927846400 217511 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 226525 217511 2752 2416 0 223627 0
Current children cumulated CPU time: 1835.64 s
Current children cumulated vsize: 906100 KiB
Current children cumulated memory: 870044 KiB
[startup+1902.3 s]
/proc/loadavg: 4.05 4.07 3.83 6/263 78666
/proc/meminfo: memFree=123107536/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=955420 memory=919220 CPUtime=1895.45 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 340195 0 0 0 189442 103 0 0 20 0 1 0 69411041 978350080 229805 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 238855 229805 2752 2416 0 235957 0
Current children cumulated CPU time: 1895.45 s
Current children cumulated vsize: 955420 KiB
Current children cumulated memory: 919220 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.09 3.85 6/265 78673
/proc/meminfo: memFree=123082388/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=923704 CPUtime=1955.25 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 345361 0 0 0 195412 113 0 0 20 0 1 0 69411041 1009909760 230926 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 230926 2752 2416 0 243662 0
Current children cumulated CPU time: 1955.25 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 923704 KiB
[startup+2022.3 s]
/proc/loadavg: 4.09 4.09 3.87 6/265 78679
/proc/meminfo: memFree=123024804/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=941708 CPUtime=2015.05 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 346512 0 0 0 201387 118 0 0 20 0 1 0 69411041 1009909760 235427 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 235427 2752 2416 0 243662 0
Current children cumulated CPU time: 2015.05 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 941708 KiB
[startup+2082.3 s]
/proc/loadavg: 4.07 4.08 3.88 6/267 78683
/proc/meminfo: memFree=122957768/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=949900 CPUtime=2074.84 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 347975 0 0 0 207359 125 0 0 20 0 1 0 69411041 1009909760 237475 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 237475 2752 2416 0 243662 0
Current children cumulated CPU time: 2074.84 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 949900 KiB
[startup+2112.56 s]
# the end of solver process 78475 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2103.67 s, system=1.33818 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2099.2 s]
/proc/loadavg: 4.11 4.09 3.89 6/267 78683
/proc/meminfo: memFree=122919572/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=947852 CPUtime=2091.69 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 348800 0 0 0 209041 128 0 0 20 0 1 0 69411041 1009909760 236963 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 236963 2752 2416 0 243662 0
Current children cumulated CPU time: 2091.69 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 947852 KiB
[startup+2105.6 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122916920/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=1036328 memory=955200 CPUtime=2098.07 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349104 0 0 0 209679 128 0 0 20 0 1 0 69411041 1061199872 238800 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 259082 238800 2752 2416 0 256184 0
Current children cumulated CPU time: 2098.07 s
Current children cumulated vsize: 1036328 KiB
Current children cumulated memory: 955200 KiB
[startup+2108.8 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122909292/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=1036328 memory=959296 CPUtime=2101.26 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349106 0 0 0 209998 128 0 0 20 0 1 0 69411041 1061199872 239824 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 259082 239824 2752 2416 0 256184 0
Current children cumulated CPU time: 2101.26 s
Current children cumulated vsize: 1036328 KiB
Current children cumulated memory: 959296 KiB
[startup+2110.4 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122909292/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=1036328 memory=961344 CPUtime=2102.85 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349107 0 0 0 210157 128 0 0 20 0 1 0 69411041 1061199872 240336 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 259082 240336 2752 2416 0 256184 0
Current children cumulated CPU time: 2102.85 s
Current children cumulated vsize: 1036328 KiB
Current children cumulated memory: 961344 KiB
[startup+2111.2 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122902676/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=943756 CPUtime=2103.65 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349626 0 0 0 210235 130 0 0 20 0 1 0 69411041 1009909760 235939 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 235939 2752 2416 0 243662 0
Current children cumulated CPU time: 2103.65 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 943756 KiB
[startup+2112 s]*
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122902708/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=945804 CPUtime=2104.46 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349627 0 0 0 210316 130 0 0 20 0 1 0 69411041 1009909760 236451 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 236451 2752 2416 0 243662 0
Current children cumulated CPU time: 2104.46 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 945804 KiB
[startup+2112.4 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122902708/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=945804 CPUtime=2104.85 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349627 0 0 0 210355 130 0 0 20 0 1 0 69411041 1009909760 236451 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 236451 2752 2416 0 243662 0
Current children cumulated CPU time: 2104.85 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 945804 KiB
[startup+2112.5 s]
/proc/loadavg: 4.10 4.09 3.89 6/267 78684
/proc/meminfo: memFree=122902708/131250000 swapFree=33010684/33010684
[pid=78475] ppid=78466 vsize=986240 memory=945804 CPUtime=2104.95 cores=4,6
/proc/78475/stat : 78475 (CASHWMaxSAT-Dis) R 78466 78475 78415 0 -1 4194304 349627 0 0 0 210365 130 0 0 20 0 1 0 69411041 1009909760 236451 18446744073709551615 4198400 14093885 140723322481568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51740672 140723322485098 140723322485213 140723322485213 140723322490815 0
/proc/78475/statm: 246560 236451 2752 2416 0 243662 0
Current children cumulated CPU time: 2104.95 s
Current children cumulated vsize: 986240 KiB
Current children cumulated memory: 945804 KiB
Child status: 30
Real time (s): 2112.56
CPU time (s): 2105.01
CPU user time (s): 2103.67
CPU system time (s): 1.33818
CPU usage (%): 99.6429
Max. virtual memory (cumulated for all children) (KiB): 1360472
Max. memory (cumulated for all children) (KiB): 1257736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2103.67
system time used= 1.33818
maximum resident set size= 1257736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349627
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= 4
involuntary context switches= 2748
# summary of solver processes directly reported to runsolver:
# pid: 78475
# total CPU time (s): 2105.01
# total CPU user time (s): 2103.67
# total CPU system time (s): 1.33818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.42866 second user time and 8.81701 second system time
The end
Begin job on nodeC028 at 2025-07-03 12:18:05 IDJOB=4517834 IDBENCH=176189 IDSOLVER=3323 FILE ID=nodeC028/4517834-1751537885 RUNJOBID= nodeC028-1751537885-78426 SLURM_JOB_ID= 9598691 Free space on /tmp= 431500 MiB SOLVER NAME= CASHWMaxSATDisjCom-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-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517834-1751537885/watcher-4517834-1751537885 -o /tmp/evaluation-result-4517834-1751537885/solver-4517834-1751537885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751537885-78426 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517834-1751537885.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a RANDOM SEED=2142167555 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.088 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.084 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 : 3596.802 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 : 3598.573 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 : 3602.193 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.090 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 : 3600.079 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 : 3599.436 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: 127903740 kB MemAvailable: 129757968 kB Buffers: 3280 kB Cached: 2656188 kB SwapCached: 0 kB Active: 376576 kB Inactive: 2346960 kB Active(anon): 82136 kB Inactive(anon): 0 kB Active(file): 294440 kB Inactive(file): 2346960 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51192 kB Writeback: 0 kB AnonPages: 67188 kB Mapped: 103688 kB Shmem: 18068 kB KReclaimable: 104136 kB Slab: 192764 kB SReclaimable: 104136 kB SUnreclaim: 88628 kB KernelStack: 4024 kB PageTables: 2392 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 330264 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 431448 MiB End job on nodeC028 at 2025-07-03 12:53:18