Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11 | SAT | 5707555 | 3587.09 | 3596.02 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_5.opb |
| MD5SUM | 4bce0178dd52d2d263abed98aae07653 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5114519 |
| Best CPU time to get the best result obtained on this benchmark | 353.176 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 145531576 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 56160700102 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 145531576 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 56160700102 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3587.03/3596.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 3587.03/3596.02 c Setting memory limit to 29976MB. 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 3587.03/3596.02 o 37258421 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 19559555 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 10813175 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 9108201 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 7676153 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 7376211 3587.03/3596.02 o 6624965 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 5826049 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 5758459 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 o 5707555 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 c Do: 140736925581304 140736925581312 3587.03/3596.02 3587.03/3596.02 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1651 -x1652 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x2201 -x2202 -x2203 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2301 -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -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 -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 -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 -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 -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 -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 -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 -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 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 x1017 x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 x1042 x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 x2138 x2139 x2140 -x2141 -x2142 -x2143 x2144 -x2145 x2146 x2147 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3651 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -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 -x551 -x1102 -x1653 -x2204 -x2305 -x2356 -x2407 -x2458 -x2509 -x60 -x111 -x162 -x213 -x264 -x315 -x366 -x417 -x468 -x519 -x620 -x671 -x722 -x773 -x824 -x875 -x926 -x977 -x1028 -x1079 -x1180 -x1231 -x1282 -x1333 -x1384 -x1435 -x1486 -x1537 -x1588 -x1639 -x1740 -x1791 -x1842 -x1893 -x1944 -x1995 -x2046 -x2097 -x2148 -x2199 -x2300 -x3101 -x3652 -x4203 -x4754 -x4855 -x4906 -x4957 -x5008 -x5059 -x2610 -x2661 -x2712 -x2763 -x2814 -x2865 -x2916 -x2967 -x3018 -x3069 -x3170 -x3221 -x3272 -x3323 -x3374 -x3425 -x3476 -x3527 -x3578 -x3629 -x3730 -x3781 -x3832 -x3883 -x3934 -x3985 -x4036 -x4087 -x4138 -x4189 -x4290 -x4341 -x4392 -x4443 -x4494 -x4545 -x4596 -x4647 -x4698 -x4749 -x4850 3587.03/3596.02 s SATISFIABLE
OK 5707555
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: 63931 MiB (60367 MiB free)
memory of node 1: 64510 MiB (61453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436896-1722978609/watcher-4436896-1722978609 -o /tmp/evaluation-result-4436896-1722978609/solver-4436896-1722978609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351310 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436896-1722978609.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
Current StackSize limit: 8192 KiB
solver pid=356915, runsolver pid=356912
[startup+0.100113 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124729388/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=36652 memory=18240 CPUtime=0.09 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 3981 0 0 0 9 0 0 0 20 0 1 0 64456506 37531648 4560 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 9163 4560 782 2417 0 6265 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55244 KiB
Current children cumulated memory: 21876 KiB
[startup+0.205876 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124702040/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=67248 memory=46208 CPUtime=0.2 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 9193 0 0 0 18 2 0 0 20 0 1 0 64456506 68861952 11552 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 16812 11552 1038 2417 0 13914 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85840 KiB
Current children cumulated memory: 49844 KiB
[startup+0.305845 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124693500/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=78528 memory=56988 CPUtime=0.3 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 11885 0 0 0 28 2 0 0 20 0 1 0 64456506 80412672 14247 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 19632 14247 1038 2417 0 16734 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97120 KiB
Current children cumulated memory: 60624 KiB
[startup+0.700304 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124685576/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=89396 memory=70012 CPUtime=0.68 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 14999 0 0 0 65 3 0 0 20 0 1 0 64456506 91541504 17503 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 22349 17503 1038 2417 0 19451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107988 KiB
Current children cumulated memory: 73648 KiB
[startup+1.50031 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124675488/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=104092 memory=81856 CPUtime=1.49 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 15893 0 0 0 145 4 0 0 20 0 1 0 64456506 106590208 20464 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 26023 20464 1070 2417 0 23125 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122684 KiB
Current children cumulated memory: 85492 KiB
[startup+3.10573 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124649360/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=111988 memory=94280 CPUtime=3.08 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 17469 0 0 0 304 4 0 0 20 0 1 0 64456506 114675712 23570 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 27997 23570 1070 2417 0 25099 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130580 KiB
Current children cumulated memory: 97916 KiB
[startup+6.30029 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 356919
/proc/meminfo: memFree=124619740/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=142664 memory=116804 CPUtime=6.27 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 21020 0 0 0 622 5 0 0 20 0 1 0 64456506 146087936 29201 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 35666 29201 1070 2417 0 32768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161256 KiB
Current children cumulated memory: 120440 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 356925
/proc/meminfo: memFree=124737424/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=204216 memory=167456 CPUtime=12.65 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 24225 0 0 0 1258 7 0 0 20 0 1 0 64456506 209117184 41864 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 51054 41864 1070 2417 0 48156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 171092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 356927
/proc/meminfo: memFree=124616004/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=204216 memory=173420 CPUtime=25.42 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 25634 0 0 0 2532 10 0 0 20 0 1 0 64456506 209117184 43355 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 51054 43355 1070 2417 0 48156 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 177056 KiB
[startup+51.1059 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 356931
/proc/meminfo: memFree=124629652/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 666 586 264 0 134 0
[pid=356918] ppid=356915 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356918/stat : 356918 (timeout) S 356915 356918 351299 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 64456506 8867840 243 134679101440 94662712778752 94662712813768 140721072900832 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94662714911184 94662714913316 94662743609344 140721072907289 140721072907421 140721072907421 140721072914407 0
/proc/356918/statm: 2165 243 219 9 0 87 0
[pid=356919] ppid=356918 vsize=235036 memory=193372 CPUtime=50.95 cores=4,6
/proc/356919/stat : 356919 (CASHWMaxSAT-Dis) R 356918 356918 351299 0 -1 4194304 28387 0 0 0 5081 14 0 0 20 0 1 0 64456506 240676864 48343 134679101440 4194304 14093885 140736925583664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43507712 140736925590559 140736925590678 140736925590678 140736925597664 0
/proc/356919/statm: 58759 48343 1070 2417 0 55861 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 253628 KiB
Current children cumulated memory: 197008 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 357013
/proc/meminfo: memFree=125794372/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2664 CPUtime=0 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64456505 10170368 666 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
################
# More data... #
################
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.28 3.69 4/257 358967
/proc/meminfo: memFree=125909564/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1661.11 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5121 0 0 0 164176 1935 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.24 3.65 4/257 359202
/proc/meminfo: memFree=125908332/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1720.97 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5128 0 0 0 170104 1993 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.24 3.63 4/257 359212
/proc/meminfo: memFree=125907716/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1780.83 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 176033 2050 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3596.02 s]
# the end of solver process 356915 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.82 s, system=23.2666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.16 3.24 3.63 4/257 359212
/proc/meminfo: memFree=125907744/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1782.53 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 176202 2051 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3590.4 s]
/proc/loadavg: 3.13 3.23 3.62 4/257 359214
/proc/meminfo: memFree=125907684/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1788.92 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 176834 2058 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3581.45 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3593.6 s]
/proc/loadavg: 3.13 3.23 3.62 4/257 359214
/proc/meminfo: memFree=125907676/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1792.1 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 177149 2061 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3595.2 s]
/proc/loadavg: 3.12 3.22 3.62 4/257 359214
/proc/meminfo: memFree=125907684/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1793.7 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 177307 2063 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3595.6 s]
/proc/loadavg: 3.12 3.22 3.62 4/257 359214
/proc/meminfo: memFree=125907684/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1794.11 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 177347 2064 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
[startup+3596 s]*
/proc/loadavg: 3.12 3.22 3.62 4/257 359214
/proc/meminfo: memFree=125907684/131524600 swapFree=131071996/131071996
[pid=356915] ppid=356912 vsize=9932 memory=2764 CPUtime=1792.53 cores=4,6
/proc/356915/stat : 356915 (Hybrid-LSMabSP+) S 356912 356915 351299 0 -1 4194304 268 116989 0 0 0 0 178993 260 20 0 1 0 64456505 10170368 691 134679101440 94802345185280 94802346264600 140727236350384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94802348363056 94802348410244 94802354098176 140727236355022 140727236355181 140727236355181 140727236362196 0
/proc/356915/statm: 2483 691 601 264 0 134 0
[pid=358012] ppid=356915 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/358012/stat : 358012 (timeout) S 356915 358012 351299 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64636306 8867840 249 134679101440 94859697156096 94859697191112 140728592488016 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94859699288528 94859699290660 94859712086016 140728592491561 140728592491677 140728592491677 140728592498663 0
/proc/358012/statm: 2165 249 225 9 0 87 0
[pid=358013] ppid=358012 vsize=38948 memory=26132 CPUtime=1794.5 cores=4,6
/proc/358013/stat : 358013 (LS-MabSP) R 358012 358012 351299 0 -1 4194304 5135 0 0 0 177386 2064 0 0 20 0 1 0 64636306 39882752 6533 134679101440 4194304 15467897 140732745804960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33767424 140732745811004 140732745811107 140732745811107 140732745818093 0
/proc/358013/statm: 9737 6533 1089 2753 0 6390 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29892 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3587.09
CPU user time (s): 3563.82
CPU system time (s): 23.2666
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 430048
Max. memory (cumulated for all children) (KiB): 374988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.82
system time used= 23.2666
maximum resident set size= 373400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 2875
# summary of solver processes directly reported to runsolver:
# pid: 356915
# total CPU time (s): 3587.09
# total CPU user time (s): 3563.82
# total CPU system time (s): 23.2666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52499 second user time and 17.664 second system time
The end
Begin job on nodeC014 at 2024-08-06 23:10:09 IDJOB=4436896 IDBENCH=155620 IDSOLVER=3069 FILE ID=nodeC014/4436896-1722978609 RUNJOBID= nodeC014-1722971171-351310 SLURM_JOB_ID= 8259061 Free space on /tmp= 889964 MiB SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436896-1722978609/watcher-4436896-1722978609 -o /tmp/evaluation-result-4436896-1722978609/solver-4436896-1722978609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351310 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436896-1722978609.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653 RANDOM SEED=749147449 nodeC014.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 : 3666.230 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 : 7000.06 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 : 3687.941 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 : 7007.10 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 : 3619.722 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 : 7000.06 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 : 3600.167 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 : 7007.10 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 : 3652.292 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 : 7000.06 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 : 3687.927 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 : 7007.10 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 : 3672.460 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 : 7000.06 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 : 3600.130 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124745720 kB MemAvailable: 126975508 kB Buffers: 355460 kB Cached: 2711980 kB SwapCached: 0 kB Active: 870640 kB Inactive: 5361772 kB Active(anon): 1576 kB Inactive(anon): 3201148 kB Active(file): 869064 kB Inactive(file): 2160624 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 29692 kB Writeback: 0 kB AnonPages: 3163624 kB Mapped: 119288 kB Shmem: 37720 kB KReclaimable: 79492 kB Slab: 173724 kB SReclaimable: 79492 kB SUnreclaim: 94232 kB KernelStack: 4192 kB PageTables: 15684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3846264 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30368 kB HardwareCorrupted: 0 kB AnonHugePages: 1085440 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: 295636 kB DirectMap2M: 21497856 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 889968 MiB End job on nodeC014 at 2024-08-07 00:10:05