Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | SAT | 195 | 3584.76 | 3596.02 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3584.71/3596.01 c Exit code from Second Program: 124 3584.71/3596.02 o 234 3584.71/3596.02 o 234 3584.71/3596.02 o 234 3584.71/3596.02 o 233 3584.71/3596.02 o 233 3584.71/3596.02 o 233 3584.71/3596.02 o 233 3584.71/3596.02 o 233 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 232 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 231 3584.71/3596.02 o 230 3584.71/3596.02 o 230 3584.71/3596.02 o 230 3584.71/3596.02 o 229 3584.71/3596.02 o 228 3584.71/3596.02 o 228 3584.71/3596.02 o 227 3584.71/3596.02 o 226 3584.71/3596.02 o 225 3584.71/3596.02 o 224 3584.71/3596.02 o 223 3584.71/3596.02 o 222 3584.71/3596.02 o 221 3584.71/3596.02 o 220 3584.71/3596.02 o 220 3584.71/3596.02 o 219 3584.71/3596.02 o 218 3584.71/3596.02 o 217 3584.71/3596.02 o 216 3584.71/3596.02 o 216 3584.71/3596.02 o 215 3584.71/3596.02 o 214 3584.71/3596.02 o 213 3584.71/3596.02 o 212 3584.71/3596.02 o 211 3584.71/3596.02 o 210 3584.71/3596.02 o 209 3584.71/3596.02 o 208 3584.71/3596.02 o 208 3584.71/3596.02 o 207 3584.71/3596.02 o 206 3584.71/3596.02 o 205 3584.71/3596.02 o 204 3584.71/3596.02 o 203 3584.71/3596.02 o 202 3584.71/3596.02 o 201 3584.71/3596.02 o 200 3584.71/3596.02 o 199 3584.71/3596.02 o 198 3584.71/3596.02 o 197 3584.71/3596.02 o 196 3584.71/3596.02 o 195 3584.71/3596.02 o 195 3584.71/3596.02 c Program interrupted by user. 3584.71/3596.02 s SATISFIABLE 3584.71/3596.02 v 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 x92 -x93 x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 -x134 x135 x136 x137 x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 -x167 x168 -x169 x170 -x171 x172 -x173 -x174 x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 x195 x196 x197 x198 x199 -x200 -x201 x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 x214 -x215 x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 x230 -x231 x232 x233 x234 x235 x236 -x237 x238 x239 x240 -x241 x242 x243 -x244 x245 -x246 -x247 -x248 x249 x250 -x251 -x252 x253 -x254 x255 x256 -x257 -x258 x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 x297 -x298 x299 x300 -x301 -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 -x330 x331 x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 x349 x350 -x351 x352 x353 -x354 -x355 x356 x357 x358 -x359 x360 x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 -x370 x371 -x372 x373 -x374 -x375 x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 x422 x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 x440 x441 -x442 x443 x444 -x445 -x446 -x447 -x448 x449 x450 x451 x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x460 -x461 -x462 -x463 x464 x465 x466 x467 x468 x469 x470 -x471 x472 -x473 -x474 -x475 x476
OK 195
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: 63968 MiB (62948 MiB free)
memory of node 1: 64473 MiB (63491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437869-1722962623/watcher-4437869-1722962623 -o /tmp/evaluation-result-4437869-1722962623/solver-4437869-1722962623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338078 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437869-1722962623.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=340211, runsolver pid=340208
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 4.41 4.41 4.27 3/250 340262
/proc/meminfo: memFree=129508164/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=23368 memory=9040 CPUtime=0.09 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 1447 0 0 0 9 0 0 0 20 0 1 0 62866852 23928832 2260 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 5842 2260 1066 2726 0 2590 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 12708 KiB
[startup+0.204985 s]*
/proc/loadavg: 4.41 4.41 4.27 4/252 340266
/proc/meminfo: memFree=129389368/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=88748 memory=78656 CPUtime=0.2 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 18023 0 0 0 18 2 0 0 20 0 1 0 62866852 90877952 19664 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 22187 19664 2538 2726 0 18935 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107340 KiB
Current children cumulated memory: 82324 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.41 4.41 4.27 5/252 340270
/proc/meminfo: memFree=129299192/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=112164 memory=99608 CPUtime=0.3 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 23163 0 0 0 27 3 0 0 20 0 1 0 62866852 114855936 24902 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 28041 24902 2634 2726 0 24789 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130756 KiB
Current children cumulated memory: 103276 KiB
[startup+0.700248 s]
/proc/loadavg: 4.41 4.41 4.27 5/266 340298
/proc/meminfo: memFree=129129524/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=141724 memory=128960 CPUtime=0.69 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 30444 0 0 0 65 4 0 0 20 0 1 0 62866852 145125376 32240 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 35431 32240 2666 2726 0 32179 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 160316 KiB
Current children cumulated memory: 132628 KiB
[startup+1.5003 s]
/proc/loadavg: 4.41 4.41 4.27 5/266 340298
/proc/meminfo: memFree=129072348/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=142604 memory=129752 CPUtime=1.49 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 30667 0 0 0 145 4 0 0 20 0 1 0 62866852 146026496 32438 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 35651 32438 2666 2726 0 32399 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 161196 KiB
Current children cumulated memory: 133420 KiB
[startup+3.10604 s]
/proc/loadavg: 4.38 4.41 4.26 5/266 340300
/proc/meminfo: memFree=128456232/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=257832 memory=234900 CPUtime=3.08 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 54100 0 0 0 300 8 0 0 20 0 1 0 62866852 264019968 58725 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 64458 58725 2746 2726 0 61206 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 276424 KiB
Current children cumulated memory: 238568 KiB
[startup+6.30024 s]
/proc/loadavg: 4.38 4.41 4.26 5/266 340300
/proc/meminfo: memFree=127456232/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=262192 memory=239240 CPUtime=6.27 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 55178 0 0 0 618 9 0 0 20 0 1 0 62866852 268484608 59810 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 65548 59810 2778 2726 0 62296 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 280784 KiB
Current children cumulated memory: 242908 KiB
[startup+12.7003 s]
/proc/loadavg: 4.35 4.40 4.26 5/266 340300
/proc/meminfo: memFree=127432264/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=263468 memory=240896 CPUtime=12.65 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 55438 0 0 0 1256 9 0 0 20 0 1 0 62866852 269791232 60224 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 65867 60224 2778 2726 0 62615 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 282060 KiB
Current children cumulated memory: 244564 KiB
[startup+25.5003 s]
/proc/loadavg: 4.27 4.38 4.26 5/266 340303
/proc/meminfo: memFree=127313072/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=319960 memory=284328 CPUtime=25.42 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 65206 0 0 0 2531 11 0 0 20 0 1 0 62866852 327639040 71082 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 79990 71082 2778 2726 0 76738 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 338552 KiB
Current children cumulated memory: 287996 KiB
[startup+51.1059 s]
/proc/loadavg: 4.29 4.38 4.26 5/266 340308
/proc/meminfo: memFree=127107572/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 663 584 264 0 134 0
[pid=340214] ppid=340211 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 340211 340214 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62866852 8867840 254 134679101440 94324359491584 94324359526600 140731455766768 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94324361624016 94324361626148 94324382957568 140731455775742 140731455775901 140731455775901 140731455782887 0
/proc/340214/statm: 2165 254 229 9 0 87 0
[pid=340215] ppid=340214 vsize=422776 memory=357192 CPUtime=50.95 cores=5,7
/proc/340215/stat : 340215 (CASHWMaxSAT-Dis) R 340214 340214 338065 0 -1 4194304 83975 0 0 0 5081 14 0 0 20 0 1 0 62866852 432922624 89298 134679101440 4194304 15356333 140720402741904 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 52310016 140720402748419 140720402748565 140720402748565 140720402755551 0
/proc/340215/statm: 105694 89298 2778 2726 0 102442 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 441368 KiB
Current children cumulated memory: 360860 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.37 4.26 5/266 340316
/proc/meminfo: memFree=126969780/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62866852 10170368 663 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
################
# More data... #
################
/proc/341198/statm: 23622 20781 820 745 0 22687 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 86832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 342123
/proc/meminfo: memFree=126956080/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=94828 memory=83376 CPUtime=1659.01 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 14862 0 0 0 165897 4 0 0 20 0 1 0 63046653 97103872 20844 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23707 20844 820 745 0 22772 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 113420 KiB
Current children cumulated memory: 87084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 342133
/proc/meminfo: memFree=126954328/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95320 memory=83848 CPUtime=1718.8 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 14987 0 0 0 171876 4 0 0 20 0 1 0 63046653 97607680 20962 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23830 20962 820 745 0 22895 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 113912 KiB
Current children cumulated memory: 87556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 342144
/proc/meminfo: memFree=126948208/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1778.63 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 177859 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3596.02 s]
# the end of solver process 340211 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.49 s, system=0.26885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 342146
/proc/meminfo: memFree=126948068/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1780.33 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 178029 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 342146
/proc/meminfo: memFree=126947956/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1786.71 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 178667 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3579.12 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 342147
/proc/meminfo: memFree=126945572/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1789.9 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 178986 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 342147
/proc/meminfo: memFree=126945572/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1791.5 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 179146 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3595.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 342147
/proc/meminfo: memFree=126945572/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1791.9 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 179186 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 342147
/proc/meminfo: memFree=126945404/131524600 swapFree=131071996/131071996
[pid=340211] ppid=340208 vsize=9932 memory=2708 CPUtime=1792.41 cores=5,7
/proc/340211/stat : 340211 (Hybrid-CASHWMax) S 340208 340211 338065 0 -1 4194304 270 116842 0 0 0 0 179220 21 20 0 1 0 62866852 10170368 677 134679101440 94922658754560 94922659833880 140733782286208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94922661932336 94922661979524 94922682757120 140733782291406 140733782291565 140733782291565 140733782298580 0
/proc/340211/statm: 2483 677 584 264 0 134 0
[pid=341197] ppid=340211 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/341197/stat : 341197 (timeout) S 340211 341197 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63046653 8867840 250 134679101440 94330628206592 94330628241608 140731872157872 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94330630339024 94330630341156 94330654797824 140731872162804 140731872162973 140731872162973 140731872169959 0
/proc/341197/statm: 2165 250 225 9 0 87 0
[pid=341198] ppid=341197 vsize=95548 memory=88584 CPUtime=1792.3 cores=5,7
/proc/341198/stat : 341198 (Exact) R 341197 341197 338065 0 -1 4194304 15125 0 0 0 179226 4 0 0 20 0 1 0 63046653 97841152 22146 134679101440 4194304 7243121 140728149812736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 41680896 140728149820432 140728149820582 140728149820582 140728149827568 0
/proc/341198/statm: 23887 22146 820 745 0 22952 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 92292 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3584.76
CPU user time (s): 3584.49
CPU system time (s): 0.26885
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 595472
Max. memory (cumulated for all children) (KiB): 535484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.49
system time used= 0.26885
maximum resident set size= 531892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 1985
# summary of solver processes directly reported to runsolver:
# pid: 340211
# total CPU time (s): 3584.76
# total CPU user time (s): 3584.49
# total CPU system time (s): 0.26885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12415 second user time and 19.0808 second system time
The end
Begin job on nodeC028 at 2024-08-06 18:43:43 IDJOB=4437869 IDBENCH=147547 IDSOLVER=3072 FILE ID=nodeC028/4437869-1722962623 RUNJOBID= nodeC028-1722959025-338078 SLURM_JOB_ID= 8259028 Free space on /tmp= 890040 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437869-1722962623/watcher-4437869-1722962623 -o /tmp/evaluation-result-4437869-1722962623/solver-4437869-1722962623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338078 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437869-1722962623.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=282611780 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3680.772 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 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 : 3676.876 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 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 : 3624.607 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 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 : 3679.092 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 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 : 3665.543 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 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 : 3662.658 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 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 : 3599.906 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 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 : 3671.363 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129474116 kB MemAvailable: 129764096 kB Buffers: 326236 kB Cached: 811784 kB SwapCached: 0 kB Active: 606888 kB Inactive: 920828 kB Active(anon): 1504 kB Inactive(anon): 426004 kB Active(file): 605384 kB Inactive(file): 494824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 37948 kB Writeback: 0 kB AnonPages: 389216 kB Mapped: 98636 kB Shmem: 37720 kB KReclaimable: 59188 kB Slab: 153720 kB SReclaimable: 59188 kB SUnreclaim: 94532 kB KernelStack: 3920 kB PageTables: 9544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 792368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30016 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 305876 kB DirectMap2M: 18341888 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 889976 MiB End job on nodeC028 at 2024-08-06 19:43:40