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 | 192 | 3585.48 | 3596.04 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| 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 | 180 |
| 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 | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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 |
3585.42/3596.02 c Exit code from Second Program: 124 3585.42/3596.04 o 233 3585.42/3596.04 o 233 3585.42/3596.04 o 233 3585.42/3596.04 o 232 3585.42/3596.04 o 232 3585.42/3596.04 o 231 3585.42/3596.04 o 231 3585.42/3596.04 o 231 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 230 3585.42/3596.04 o 229 3585.42/3596.04 o 229 3585.42/3596.04 o 229 3585.42/3596.04 o 229 3585.42/3596.04 o 228 3585.42/3596.04 o 227 3585.42/3596.04 o 226 3585.42/3596.04 o 225 3585.42/3596.04 o 225 3585.42/3596.04 o 225 3585.42/3596.04 o 224 3585.42/3596.04 o 223 3585.42/3596.04 o 222 3585.42/3596.04 o 221 3585.42/3596.04 o 220 3585.42/3596.04 o 219 3585.42/3596.04 o 218 3585.42/3596.04 o 217 3585.42/3596.04 o 216 3585.42/3596.04 o 215 3585.42/3596.04 o 214 3585.42/3596.04 o 214 3585.42/3596.04 o 213 3585.42/3596.04 o 212 3585.42/3596.04 o 211 3585.42/3596.04 o 210 3585.42/3596.04 o 209 3585.42/3596.04 o 208 3585.42/3596.04 o 208 3585.42/3596.04 o 207 3585.42/3596.04 o 206 3585.42/3596.04 o 205 3585.42/3596.04 o 204 3585.42/3596.04 o 203 3585.42/3596.04 o 202 3585.42/3596.04 o 201 3585.42/3596.04 o 200 3585.42/3596.04 o 199 3585.42/3596.04 o 198 3585.42/3596.04 o 197 3585.42/3596.04 o 196 3585.42/3596.04 o 195 3585.42/3596.04 o 194 3585.42/3596.04 o 194 3585.42/3596.04 o 193 3585.42/3596.04 o 192 3585.42/3596.04 c Program interrupted by user. 3585.42/3596.04 s SATISFIABLE 3585.42/3596.04 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
OK 192
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: 64096 MiB (62822 MiB free)
memory of node 1: 64473 MiB (63493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437867-1722962624/watcher-4437867-1722962624 -o /tmp/evaluation-result-4437867-1722962624/solver-4437867-1722962624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722959025-331721 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437867-1722962624.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=333831, runsolver pid=333828
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.15 4.13 4.16 4/231 333851
/proc/meminfo: memFree=129338676/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=21156 memory=7040 CPUtime=0.09 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 835 0 0 0 9 0 0 0 20 0 1 0 62632985 21663744 1760 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 5289 1760 1066 2726 0 2037 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 10940 KiB
[startup+0.2133 s]*
/proc/loadavg: 4.15 4.13 4.16 4/227 333855
/proc/meminfo: memFree=129363328/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=22164 memory=7868 CPUtime=0.2 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 1084 0 0 0 20 0 0 0 20 0 1 0 62632985 22695936 1967 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 5541 1967 1066 2726 0 2289 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40756 KiB
Current children cumulated memory: 11768 KiB
[startup+0.31279 s]*
/proc/loadavg: 4.15 4.13 4.16 4/227 333874
/proc/meminfo: memFree=129352912/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=23920 memory=9132 CPUtime=0.3 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 1502 0 0 0 30 0 0 0 20 0 1 0 62632985 24494080 2283 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 5980 2283 1066 2726 0 2728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 13032 KiB
[startup+0.700491 s]
/proc/loadavg: 4.14 4.13 4.16 5/235 333891
/proc/meminfo: memFree=129251936/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=111856 memory=98628 CPUtime=0.68 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 22878 0 0 0 61 7 0 0 20 0 1 0 62632985 114540544 24591 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 27964 24657 2634 2726 0 24712 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130448 KiB
Current children cumulated memory: 102528 KiB
[startup+1.50052 s]
/proc/loadavg: 4.14 4.13 4.16 5/249 333919
/proc/meminfo: memFree=129053476/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=145524 memory=132692 CPUtime=1.47 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 31387 0 0 0 139 8 0 0 20 0 1 0 62632985 149016576 33173 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 36381 33173 2666 2726 0 33129 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 164116 KiB
Current children cumulated memory: 136592 KiB
[startup+3.11339 s]
/proc/loadavg: 4.14 4.13 4.16 5/249 333919
/proc/meminfo: memFree=128211336/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=201668 memory=181816 CPUtime=3.08 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 39116 0 0 0 298 10 0 0 20 0 1 0 62632985 206508032 45454 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 50417 45454 2666 2726 0 47165 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220260 KiB
Current children cumulated memory: 185716 KiB
[startup+6.30048 s]
/proc/loadavg: 4.13 4.12 4.16 5/249 333919
/proc/meminfo: memFree=127090156/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=264068 memory=241876 CPUtime=6.26 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 56318 0 0 0 613 13 0 0 20 0 1 0 62632985 270405632 60469 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 66017 60469 2778 2726 0 62765 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 282660 KiB
Current children cumulated memory: 245776 KiB
[startup+12.7005 s]
/proc/loadavg: 4.12 4.12 4.15 5/249 333921
/proc/meminfo: memFree=126732180/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=265836 memory=243704 CPUtime=12.64 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 56747 0 0 0 1251 13 0 0 20 0 1 0 62632985 272216064 60926 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 66459 60926 2778 2726 0 63207 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 284428 KiB
Current children cumulated memory: 247604 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.12 4.15 5/249 333922
/proc/meminfo: memFree=126685248/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=335748 memory=297320 CPUtime=25.41 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 68610 0 0 0 2525 16 0 0 20 0 1 0 62632985 343805952 74330 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 83937 74330 2778 2726 0 80685 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 354340 KiB
Current children cumulated memory: 301220 KiB
[startup+51.1136 s]
/proc/loadavg: 4.19 4.14 4.16 5/249 333927
/proc/meminfo: memFree=126586180/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=333837] ppid=333831 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/333837/stat : 333837 (timeout) S 333831 333837 331710 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62632985 8867840 258 134679101440 94310552899584 94310552934600 140732582778176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94310555032016 94310555034148 94310578335744 140732582786050 140732582786209 140732582786209 140732582793191 0
/proc/333837/statm: 2165 258 234 9 0 87 0
[pid=333838] ppid=333837 vsize=434824 memory=360896 CPUtime=50.96 cores=4,6
/proc/333838/stat : 333838 (CASHWMaxSAT-Dis) R 333837 333837 331710 0 -1 4194304 84484 0 0 0 5077 19 0 0 20 0 1 0 62632985 445259776 90224 134679101440 4194304 15356333 140733591445632 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38785024 140733591450631 140733591450777 140733591450777 140733591457759 0
/proc/333838/statm: 108706 90224 2778 2726 0 105454 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 453416 KiB
Current children cumulated memory: 364796 KiB
[startup+102.301 s]
/proc/loadavg: 4.18 4.14 4.16 5/247 333935
/proc/meminfo: memFree=126267552/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=0 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
################
# More data... #
################
/proc/334810/statm: 23876 21195 820 745 0 22941 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 114096 KiB
Current children cumulated memory: 88596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.19 5/248 335730
/proc/meminfo: memFree=125900140/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=95664 memory=85012 CPUtime=1659.18 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15313 0 0 0 165913 5 0 0 20 0 1 0 62812786 97959936 21253 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 23916 21253 820 745 0 22981 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 114256 KiB
Current children cumulated memory: 88828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/248 335740
/proc/meminfo: memFree=125876928/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96172 memory=85472 CPUtime=1719 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15465 0 0 0 171894 6 0 0 20 0 1 0 62812786 98480128 21368 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24043 21368 820 745 0 23108 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 114764 KiB
Current children cumulated memory: 89288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/248 335751
/proc/meminfo: memFree=125836328/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86128 CPUtime=1778.82 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15670 0 0 0 177876 6 0 0 20 0 1 0 62812786 99184640 21532 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21532 820 745 0 23280 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 89944 KiB
[startup+3596.04 s]
# the end of solver process 333831 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.14 s, system=0.338987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.18 5/248 335751
/proc/meminfo: memFree=125836332/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1780.53 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15672 0 0 0 178047 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.18 5/248 335752
/proc/meminfo: memFree=125829128/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1786.9 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15672 0 0 0 178684 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3579.83 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.16 4.17 5/248 335752
/proc/meminfo: memFree=125829124/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1790.09 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15672 0 0 0 179003 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3583.02 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/248 335752
/proc/meminfo: memFree=125821412/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1791.68 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15673 0 0 0 179162 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3584.61 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
[startup+3595.6 s]
/proc/loadavg: 4.10 4.16 4.17 5/248 335752
/proc/meminfo: memFree=125821412/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1792.08 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15674 0 0 0 179202 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.16 4.17 5/248 335752
/proc/meminfo: memFree=125821568/131655788 swapFree=131071216/131071996
[pid=333831] ppid=333828 vsize=9932 memory=2868 CPUtime=1792.93 cores=4,6
/proc/333831/stat : 333831 (Hybrid-CASHWMax) S 333828 333831 331710 0 -1 4194304 279 117382 0 0 0 0 179268 25 20 0 1 0 62632985 10170368 717 134679101440 94416555520000 94416556599320 140734486141808 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94416558697776 94416558744964 94416584318976 140734486143954 140734486144113 140734486144113 140734486151124 0
/proc/333831/statm: 2483 717 625 264 0 134 0
[pid=334809] ppid=333831 vsize=8660 memory=948 CPUtime=0 cores=4,6
/proc/334809/stat : 334809 (timeout) S 333831 334809 331710 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62812786 8867840 237 134679101440 94618702733312 94618702768328 140727179608032 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94618704865744 94618704867876 94618731839488 140727179617272 140727179617441 140727179617441 140727179624423 0
/proc/334809/statm: 2165 237 212 9 0 87 0
[pid=334810] ppid=334809 vsize=96860 memory=86392 CPUtime=1792.49 cores=4,6
/proc/334810/stat : 334810 (Exact) R 334809 334809 331710 0 -1 4194304 15674 0 0 0 179243 6 0 0 20 0 1 0 62812786 99184640 21598 134679101440 4194304 7243121 140730052643760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 28528640 140730052650004 140730052650154 140730052650154 140730052657136 0
/proc/334810/statm: 24215 21598 820 745 0 23280 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 115452 KiB
Current children cumulated memory: 90208 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3585.48
CPU user time (s): 3585.14
CPU system time (s): 0.338987
CPU usage (%): 99.7063
Max. virtual memory (cumulated for all children) (KiB): 589436
Max. memory (cumulated for all children) (KiB): 539624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.14
system time used= 0.338987
maximum resident set size= 535724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 2128
# summary of solver processes directly reported to runsolver:
# pid: 333831
# total CPU time (s): 3585.48
# total CPU user time (s): 3585.14
# total CPU system time (s): 0.338987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4033 second user time and 40.2742 second system time
The end
Begin job on nodeC007 at 2024-08-06 18:43:44 IDJOB=4437867 IDBENCH=147549 IDSOLVER=3072 FILE ID=nodeC007/4437867-1722962624 RUNJOBID= nodeC007-1722959025-331721 SLURM_JOB_ID= 8259026 Free space on /tmp= 723740 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_11.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-4437867-1722962624/watcher-4437867-1722962624 -o /tmp/evaluation-result-4437867-1722962624/solver-4437867-1722962624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722959025-331721 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437867-1722962624.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=282611780 nodeC007.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 : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.186 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.201 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.195 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.226 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.188 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129350632 kB MemAvailable: 130078176 kB Buffers: 335044 kB Cached: 1242496 kB SwapCached: 100 kB Active: 632428 kB Inactive: 1206920 kB Active(anon): 1484 kB Inactive(anon): 297800 kB Active(file): 630944 kB Inactive(file): 909120 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 25804 kB Writeback: 0 kB AnonPages: 261804 kB Mapped: 101544 kB Shmem: 37460 kB KReclaimable: 55360 kB Slab: 141480 kB SReclaimable: 55360 kB SUnreclaim: 86120 kB KernelStack: 3744 kB PageTables: 9720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 556296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23136 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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: 297800 kB DirectMap2M: 19529728 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723656 MiB End job on nodeC007 at 2024-08-06 19:43:40