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 | 5235712 | 3584.86 | 3596.03 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
| MD5SUM | 6ea30ee5c980a208725b42ec6ced88d1 |
| 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 | 4372480 |
| Best CPU time to get the best result obtained on this benchmark | 2892.16 |
| 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 | 8060 |
| Total number of constraints | 296 |
| 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 | 296 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 780 |
| Number of terms in the objective function | 8060 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1599918681646 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1599918681646 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3584.82/3596.01 c Exit code from Second Program: 124 3584.82/3596.02 o 35091656 3584.82/3596.02 o 35091656 3584.82/3596.02 o 10355310 3584.82/3596.02 o 10235502 3584.82/3596.02 o 10115694 3584.82/3596.02 o 10018414 3584.82/3596.02 o 9906798 3584.82/3596.02 o 9835118 3584.82/3596.02 o 9753198 3584.82/3596.02 o 9627246 3584.82/3596.02 o 9539182 3584.82/3596.02 o 9467502 3584.82/3596.02 o 9369198 3584.82/3596.02 o 9249390 3584.82/3596.02 o 9115246 3584.82/3596.02 o 8982126 3584.82/3596.02 o 8877678 3584.82/3596.02 o 8749678 3584.82/3596.02 o 8671854 3584.82/3596.02 o 8543854 3584.82/3596.02 o 8430190 3584.82/3596.02 o 8356462 3584.82/3596.02 o 8267374 3584.82/3596.02 o 8155758 3584.82/3596.02 o 8056430 3584.82/3596.02 o 7946862 3584.82/3596.02 o 7828078 3584.82/3596.02 o 7752302 3584.82/3596.02 o 7618158 3584.82/3596.02 o 7485038 3584.82/3596.02 o 7363182 3584.82/3596.02 o 7363175 3584.82/3596.02 o 7356519 3584.82/3596.02 o 7356511 3584.82/3596.02 o 7356507 3584.82/3596.02 o 7356505 3584.82/3596.02 o 7356501 3584.82/3596.02 o 7356453 3584.82/3596.02 o 7356391 3584.82/3596.02 o 7356390 3584.82/3596.02 o 7263206 3584.82/3596.02 o 7263194 3584.82/3596.02 o 7263190 3584.82/3596.02 o 7263183 3584.82/3596.02 o 7263182 3584.82/3596.02 o 7263181 3584.82/3596.02 o 7262186 3584.82/3596.02 o 7262185 3584.82/3596.02 o 7262089 3584.82/3596.02 o 7262086 3584.82/3596.02 o 7262085 3584.82/3596.02 o 7254277 3584.82/3596.02 o 7254263 3584.82/3596.02 o 7254262 3584.82/3596.02 o 7249169 3584.82/3596.02 o 7249142 3584.82/3596.02 o 7249093 3584.82/3596.02 o 7249084 3584.82/3596.02 o 7249082 3584.82/3596.02 o 7249075 3584.82/3596.02 o 7249074 3584.82/3596.02 o 7249072 3584.82/3596.02 o 7248816 3584.82/3596.02 o 7248815 3584.82/3596.02 o 7247903 3584.82/3596.02 o 7247839 3584.82/3596.02 o 7138271 3584.82/3596.02 o 7138255 3584.82/3596.02 o 7138175 3584.82/3596.02 o 7138135 3584.82/3596.02 o 7138115 3584.82/3596.02 o 7138035 3584.82/3596.02 o 7137715 3584.82/3596.02 o 7137555 3584.82/3596.02 o 7137545 3584.82/3596.02 o 7137534 3584.82/3596.02 o 7137524 3584.82/3596.02 o 7137504 3584.82/3596.02 o 7137494 3584.82/3596.02 o 7134934 3584.82/3596.02 o 7130838 3584.82/3596.02 o 7130837 3584.82/3596.02 o 7130835 3584.82/3596.02 o 7130834 3584.82/3596.02 o 7130833 3584.82/3596.02 o 7130832 3584.82/3596.02 o 7130831 3584.82/3596.02 o 7130830 3584.82/3596.02 o 7130829 3584.82/3596.02 o 7130826 3584.82/3596.02 o 7130823 3584.82/3596.02 o 7130818 3584.82/3596.02 o 7127708 3584.82/3596.02 o 7045788 3584.82/3596.02 o 7045782 3584.82/3596.02 o 7045776 3584.82/3596.02 o 7045762 3584.82/3596.02 o 7045760 3584.82/3596.02 o 7045756 3584.82/3596.02 o 7045754 3584.82/3596.02 o 7045753 3584.82/3596.02 o 7045752 3584.82/3596.02 o 7045720 3584.82/3596.02 o 7045713 3584.82/3596.02 o 7045709 3584.82/3596.02 o 7045240 3584.82/3596.02 o 7045233 3584.82/3596.02 o 7045227 3584.82/3596.02 o 7045212 3584.82/3596.02 o 7045210 3584.82/3596.02 o 7045208 3584.82/3596.02 o 7045206 3584.82/3596.02 o 7045199 3584.82/3596.02 o 7038159 3584.82/3596.02 o 7038145 3584.82/3596.02 o 7038131 3584.82/3596.02 o 7038121 3584.82/3596.02 o 7038117 3584.82/3596.02 o 7037925 3584.82/3596.02 o 7037877 3584.82/3596.02 o 7037853 3584.82/3596.02 o 7037841 3584.82/3596.02 o 7037827 3584.82/3596.02 o 7037821 3584.82/3596.02 o 7031677 3584.82/3596.02 o 7031674 3584.82/3596.02 o 7031670 3584.82/3596.02 o 7031649 3584.82/3596.02 o 7031644 3584.82/3596.02 o 7031642 3584.82/3596.02 o 7031636 3584.82/3596.02 o 7031624 3584.82/3596.02 o 7031618 3584.82/3596.02 o 7031615 3584.82/3596.02 o 7031611 3584.82/3596.02 o 7031599 3584.82/3596.02 o 7031595 3584.82/3596.02 o 7031591 3584.82/3596.02 o 7031589 3584.82/3596.02 o 7031588 3584.82/3596.02 o 7031583 3584.82/3596.02 o 7031570 3584.82/3596.02 o 7031568 3584.82/3596.02 o 7031564 3584.82/3596.02 o 7031560 3584.82/3596.02 o 7031558 3584.82/3596.02 o 7031556 3584.82/3596.02 o 7031554 3584.82/3596.02 o 7031550 3584.82/3596.02 o 7031543 3584.82/3596.02 o 7031536 3584.82/3596.02 o 7031534 3584.82/3596.02 o 7031526 3584.82/3596.02 o 7031525 3584.82/3596.02 o 7031519 3584.82/3596.02 o 7031513 3584.82/3596.02 o 7031499 3584.82/3596.02 o 7031494 3584.82/3596.02 o 7031492 3584.82/3596.02 o 7031485 3584.82/3596.02 o 7031481 3584.82/3596.02 o 7031465 3584.82/3596.02 o 7031457 3584.82/3596.02 o 7031377 3584.82/3596.02 o 7031363 3584.82/3596.02 o 7031351 3584.82/3596.02 o 7031349 3584.82/3596.02 o 7031345 3584.82/3596.02 o 7031339 3584.82/3596.02 o 7031332 3584.82/3596.02 o 7031330 3584.82/3596.02 o 7031329 3584.82/3596.02 o 7031323 3584.82/3596.02 o 7031318 3584.82/3596.02 o 7031308 3584.82/3596.02 o 7031299 3584.82/3596.02 o 7031294 3584.82/3596.02 o 6938110 3584.82/3596.02 o 6938104 3584.82/3596.02 o 6938092 3584.82/3596.02 o 6938068 3584.82/3596.02 o 6938058 3584.82/3596.02 o 6938018 3584.82/3596.02 o 6937978 3584.82/3596.02 o 6937946 3584.82/3596.02 o 6937930 3584.82/3596.02 o 6937927 3584.82/3596.02 o 6937925 3584.82/3596.02 o 6937922 3584.82/3596.02 o 6937915 3584.82/3596.02 o 6937906 3584.82/3596.02 o 6937897 3584.82/3596.02 o 6937890 3584.82/3596.02 o 6905122 3584.82/3596.02 o 6905115 3584.82/3596.02 o 6905109 3584.82/3596.02 o 6902031 3584.82/3596.02 o 6810895 3584.82/3596.02 o 6810893 3584.82/3596.02 o 6810877 3584.82/3596.02 o 6810869 3584.82/3596.02 o 6798565 3584.82/3596.02 o 6704373 3584.82/3596.02 o 6704313 3584.82/3596.02 o 6704309 3584.82/3596.02 o 6704293 3584.82/3596.02 o 6704292 3584.82/3596.02 o 6704291 3584.82/3596.02 o 6704290 3584.82/3596.02 o 6593698 3584.82/3596.02 o 6593697 3584.82/3596.02 o 6526113 3584.82/3596.02 o 6526097 3584.82/3596.02 o 6526033 3584.82/3596.02 o 6508625 3584.82/3596.02 o 6508621 3584.82/3596.02 o 6508619 3584.82/3596.02 o 6508618 3584.82/3596.02 o 6508617 3584.82/3596.02 o 6508597 3584.82/3596.02 o 6508596 3584.82/3596.02 o 6508468 3584.82/3596.02 o 6508467 3584.82/3596.02 o 6508459 3584.82/3596.02 o 6494123 3584.82/3596.02 o 6494109 3584.82/3596.02 o 6494077 3584.82/3596.02 o 6494067 3584.82/3596.02 o 6494063 3584.82/3596.02 o 6494061 3584.82/3596.02 o 6494042 3584.82/3596.02 o 6494039 3584.82/3596.02 o 6494031 3584.82/3596.02 o 6493775 3584.82/3596.02 o 6493774 3584.82/3596.02 o 6493773 3584.82/3596.02 o 6493771 3584.82/3596.02 o 6493643 3584.82/3596.02 o 6493547 3584.82/3596.02 o 6493543 3584.82/3596.02 o 6493495 3584.82/3596.02 o 6493492 3584.82/3596.02 o 6493491 3584.82/3596.02 o 6493490 3584.82/3596.02 o 6411698 3584.82/3596.02 o 6411570 3584.82/3596.02 o 6411510 3584.82/3596.02 o 6411504 3584.82/3596.02 o 6411488 3584.82/3596.02 o 6411456 3584.82/3596.02 o 6411392 3584.82/3596.02 o 6411376 3584.82/3596.02 o 6411375 3584.82/3596.02 o 6411372 3584.82/3596.02 o 6411356 3584.82/3596.02 o 6411352 3584.82/3596.02 o 6411350 3584.82/3596.02 o 6411344 3584.82/3596.02 o 6411340 3584.82/3596.02 o 6411332 3584.82/3596.02 o 6411328 3584.82/3596.02 o 6411327 3584.82/3596.02 o 6411326 3584.82/3596.02 o 6407246 3584.82/3596.02 o 6407242 3584.82/3596.02 o 6407233 3584.82/3596.02 o 6407229 3584.82/3596.02 o 6407225 3584.82/3596.02 o 6407213 3584.82/3596.02 o 6407210 3584.82/3596.02 o 6407198 3584.82/3596.02 o 6407195 3584.82/3596.02 o 6407189 3584.82/3596.02 o 6403605 3584.82/3596.02 o 6403597 3584.82/3596.02 o 6403581 3584.82/3596.02 o 6403577 3584.82/3596.02 o 6403575 3584.82/3596.02 o 6403574 3584.82/3596.02 o 6403573 3584.82/3596.02 o 6403571 3584.82/3596.02 o 6403570 3584.82/3596.02 o 6403569 3584.82/3596.02 o 6388465 3584.82/3596.02 o 6388464 3584.82/3596.02 o 6388462 3584.82/3596.02 o 6388460 3584.82/3596.02 o 6374700 3584.82/3596.02 o 6374698 3584.82/3596.02 o 6374696 3584.82/3596.02 o 6374682 3584.82/3596.02 o 6374680 3584.82/3596.02 o 6374650 3584.82/3596.02 o 6267707 3584.82/3596.02 o 6267704 3584.82/3596.02 o 6267698 3584.82/3596.02 o 6267692 3584.82/3596.02 o 6267564 3584.82/3596.02 o 6267516 3584.82/3596.02 o 6267515 3584.82/3596.02 o 6267512 3584.82/3596.02 o 6267384 3584.82/3596.02 o 6221187 3584.82/3596.02 o 6221184 3584.82/3596.02 o 6221183 3584.82/3596.02 o 6221181 3584.82/3596.02 o 6221180 3584.82/3596.02 o 6221122 3584.82/3596.02 o 6208614 3584.82/3596.02 o 6114406 3584.82/3596.02 o 6114378 3584.82/3596.02 o 6114371 3584.82/3596.02 o 6114364 3584.82/3596.02 o 6114360 3584.82/3596.02 o 6114232 3584.82/3596.02 o 6114224 3584.82/3596.02 o 6114222 3584.82/3596.02 o 6114221 3584.82/3596.02 o 6114213 3584.82/3596.02 o 6114211 3584.82/3596.02 o 6114205 3584.82/3596.02 o 6114197 3584.82/3596.02 o 6114195 3584.82/3596.02 o 6114171 3584.82/3596.02 o 6110075 3584.82/3596.02 o 6110067 3584.82/3596.02 o 6110065 3584.82/3596.02 o 6110064 3584.82/3596.02 o 6026096 3584.82/3596.02 o 6026095 3584.82/3596.02 o 6026094 3584.82/3596.02 o 6026088 3584.82/3596.02 o 6026087 3584.82/3596.02 o 6023455 3584.82/3596.02 o 6023447 3584.82/3596.02 o 6023415 3584.82/3596.02 o 6023351 3584.82/3596.02 o 6023031 3584.82/3596.02 o 6023015 3584.82/3596.02 o 6023013 3584.82/3596.02 o 6022949 3584.82/3596.02 o 6022501 3584.82/3596.02 o 6022213 3584.82/3596.02 o 6022181 3584.82/3596.02 o 5987365 3584.82/3596.02 o 5987358 3584.82/3596.02 o 5987351 3584.82/3596.02 o 5987323 3584.82/3596.02 o 5987316 3584.82/3596.02 o 5987312 3584.82/3596.02 o 5983216 3584.82/3596.02 o 5978608 3584.82/3596.02 o 5978601 3584.82/3596.02 o 5978589 3584.82/3596.02 o 5978587 3584.82/3596.02 o 5978566 3584.82/3596.02 o 5978559 3584.82/3596.02 o 5978545 3584.82/3596.02 o 5978529 3584.82/3596.02 o 5978522 3584.82/3596.02 o 5978489 3584.82/3596.02 o 5978475 3584.82/3596.02 o 5978473 3584.82/3596.02 o 5978468 3584.82/3596.02 o 5978464 3584.82/3596.02 o 5978462 3584.82/3596.02 o 5978460 3584.82/3596.02 o 5978450 3584.82/3596.02 o 5978422 3584.82/3596.02 o 5977940 3584.82/3596.02 o 5977938 3584.82/3596.02 o 5977934 3584.82/3596.02 o 5977932 3584.82/3596.02 o 5977930 3584.82/3596.02 o 5977928 3584.82/3596.02 o 5977912 3584.82/3596.02 o 5977905 3584.82/3596.02 o 5977899 3584.82/3596.02 o 5977891 3584.82/3596.02 o 5886755 3584.82/3596.02 o 5886357 3584.82/3596.02 o 5886356 3584.82/3596.02 o 5886352 3584.82/3596.02 o 5886351 3584.82/3596.02 o 5886350 3584.82/3596.02 o 5886348 3584.82/3596.02 o 5886324 3584.82/3596.02 o 5886321 3584.82/3596.02 o 5886320 3584.82/3596.02 o 5886318 3584.82/3596.02 o 5886302 3584.82/3596.02 o 5886294 3584.82/3596.02 o 5886290 3584.82/3596.02 o 5886276 3584.82/3596.02 o 5886275 3584.82/3596.02 o 5846544 3584.82/3596.02 o 5846532 3584.82/3596.02 o 5846530 3584.82/3596.02 o 5846528 3584.82/3596.02 o 5846526 3584.82/3596.02 o 5846522 3584.82/3596.02 o 5846512 3584.82/3596.02 o 5846480 3584.82/3596.02 o 5846476 3584.82/3596.02 o 5846474 3584.82/3596.02 o 5846466 3584.82/3596.02 o 5824962 3584.82/3596.02 o 5824960 3584.82/3596.02 o 5824832 3584.82/3596.02 o 5824804 3584.82/3596.02 o 5824802 3584.82/3596.02 o 5824546 3584.82/3596.02 o 5824544 3584.82/3596.02 o 5824542 3584.82/3596.02 o 5824526 3584.82/3596.02 o 5824518 3584.82/3596.02 o 5824514 3584.82/3596.02 o 5822466 3584.82/3596.02 o 5821442 3584.82/3596.02 o 5792770 3584.82/3596.02 o 5792258 3584.82/3596.02 o 5792256 3584.82/3596.02 o 5780992 3584.82/3596.02 o 5759488 3584.82/3596.02 o 5758720 3584.82/3596.02 o 5757952 3584.82/3596.02 o 5741568 3584.82/3596.02 o 5732352 3584.82/3596.02 o 5729280 3584.82/3596.02 o 5653504 3584.82/3596.02 o 5595136 3584.82/3596.02 o 5470208 3584.82/3596.02 o 5465088 3584.82/3596.02 o 5431296 3584.82/3596.02 o 5380096 3584.82/3596.02 o 5378048 3584.82/3596.02 o 5376016 3584.82/3596.02 o 5376008 3584.82/3596.02 o 5376004 3584.82/3596.02 o 5367812 3584.82/3596.02 o 5362692 3584.82/3596.02 o 5319680 3584.82/3596.02 o 5317632 3584.82/3596.02 o 5313536 3584.82/3596.02 o 5235712 3584.82/3596.02 c Program interrupted by user. 3584.82/3596.02 s SATISFIABLE 3584.82/3596.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -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 -x519 -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 -x551 -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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -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 -x671 -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 -x722 -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 -x773 -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 -x824 -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 -x875 -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 -x926 -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 -x977 -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 -x1028 -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 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -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 -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 -x1180 -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 -x1231 -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 -x1282 -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 -x1333 -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 -x1384 -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 -x1435 -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 -x1486 -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 -x1537 -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 -x1588 -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 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -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 -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 -x1740 -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 -x1791 -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 -x1842 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 -x1893 -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 -x1944 -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 -x1995 -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 -x2046 -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 -x2097 -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 -x2148 -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 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -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 -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 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -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 -x2356 -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 -x2407 -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 -x2458 -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 -x2509 -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 -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 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -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 -x2661 -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 -x2712 -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 -x2763 -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 -x2814 -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 -x2865 -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 -x2916 -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 -x2967 -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 -x3018 -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 -x3069 -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 -x3101 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -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 -x3221 -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 -x3272 -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 -x3323 -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 -x3374 -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 -x3425 -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 -x3476 -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 -x3527 -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 -x3578 -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 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -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 -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 -x3730 -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 -x3781 -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 -x3832 -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 -x3883 -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 -x3934 -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 -x3985 -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 -x4036 -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 -x4087 -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 -x4138 -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 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -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 -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 -x4290 -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 -x4341 -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 -x4392 -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 -x4443 -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 -x4494 -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 -x4545 -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 -x4596 -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 -x4647 -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 -x4698 -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 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -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 -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 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -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 -x4906 -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 -x4957 -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 -x5008 -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 -x5059 -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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 x7814 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 x7862 -x7863 x7864 -x7865 -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 x8060
OK 5235712
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63096 MiB free)
memory of node 1: 64473 MiB (63319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437805-1722959055/watcher-4437805-1722959055 -o /tmp/evaluation-result-4437805-1722959055/solver-4437805-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722959055-344515 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437805-1722959055.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=344573, runsolver pid=344560
[startup+0.100248 s]*
/proc/loadavg: 2.07 3.57 3.90 8/266 344589
/proc/meminfo: memFree=129401716/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=28724 memory=13904 CPUtime=0.09 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 3092 0 0 0 9 0 0 0 20 0 1 0 62507846 29413376 3476 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 7181 3476 1034 2726 0 3929 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 17644 KiB
[startup+0.205976 s]*
/proc/loadavg: 2.07 3.57 3.90 5/266 344589
/proc/meminfo: memFree=129297548/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=36880 memory=21128 CPUtime=0.19 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 4892 0 0 0 19 0 0 0 20 0 1 0 62507846 37765120 5282 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 9220 5282 1066 2726 0 5968 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55472 KiB
Current children cumulated memory: 24868 KiB
[startup+0.305939 s]*
/proc/loadavg: 2.07 3.57 3.90 5/266 344589
/proc/meminfo: memFree=129255928/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=64600 memory=46064 CPUtime=0.29 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 8704 0 0 0 28 1 0 0 20 0 1 0 62507846 66150400 11516 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 16150 11516 1066 2726 0 12898 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 83192 KiB
Current children cumulated memory: 49804 KiB
[startup+0.700256 s]
/proc/loadavg: 2.07 3.57 3.90 5/266 344589
/proc/meminfo: memFree=129147432/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=235844 memory=217876 CPUtime=0.68 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 50830 0 0 0 61 7 0 0 20 0 1 0 62507846 241504256 54469 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 58961 54469 2362 2726 0 55709 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 254436 KiB
Current children cumulated memory: 221616 KiB
[startup+1.5003 s]
/proc/loadavg: 2.07 3.57 3.90 9/266 344589
/proc/meminfo: memFree=128320580/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=578616 memory=553776 CPUtime=1.48 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 131993 0 0 0 130 18 0 0 20 0 1 0 62507846 592502784 138444 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 144654 138444 2618 2726 0 141402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 597208 KiB
Current children cumulated memory: 557516 KiB
[startup+3.10684 s]
/proc/loadavg: 2.22 3.57 3.90 9/266 344589
/proc/meminfo: memFree=127092336/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=748716 memory=724512 CPUtime=3.08 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 174159 0 0 0 282 26 0 0 20 0 1 0 62507846 766685184 181128 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 187179 181128 2618 2726 0 183927 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 767308 KiB
Current children cumulated memory: 728252 KiB
[startup+6.30028 s]
/proc/loadavg: 2.22 3.57 3.90 8/266 344589
/proc/meminfo: memFree=126496060/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=795476 memory=769424 CPUtime=6.26 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 182423 0 0 0 598 28 0 0 20 0 1 0 62507846 814567424 192356 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 198869 192356 2650 2726 0 195617 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 814068 KiB
Current children cumulated memory: 773164 KiB
[startup+12.7003 s]
/proc/loadavg: 2.58 3.61 3.91 9/266 344591
/proc/meminfo: memFree=126426620/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=797648 memory=771788 CPUtime=12.63 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 182978 0 0 0 1235 28 0 0 20 0 1 0 62507846 816791552 192947 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 199412 192947 2650 2726 0 196160 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 816240 KiB
Current children cumulated memory: 775528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.87 3.64 3.92 9/266 344592
/proc/meminfo: memFree=126418552/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=801632 memory=775736 CPUtime=25.39 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 183973 0 0 0 2510 29 0 0 20 0 1 0 62507846 820871168 193934 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 200408 193934 2650 2726 0 197156 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 820224 KiB
Current children cumulated memory: 779476 KiB
[startup+51.1069 s]
/proc/loadavg: 3.32 3.68 3.92 9/266 344597
/proc/meminfo: memFree=125618752/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 683 605 264 0 134 0
[pid=344585] ppid=344573 vsize=8660 memory=1008 CPUtime=0 cores=1,3
/proc/344585/stat : 344585 (timeout) S 344573 344585 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62507846 8867840 252 134679101440 94609113354240 94609113389256 140732750170688 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609115486672 94609115488804 94609134829568 140732750173182 140732750173341 140732750173341 140732750180327 0
/proc/344585/statm: 2165 252 228 9 0 87 0
[pid=344588] ppid=344585 vsize=1665624 memory=1556528 CPUtime=50.91 cores=1,3
/proc/344588/stat : 344588 (CASHWMaxSAT-Dis) R 344585 344585 344503 0 -1 4194304 264875 0 0 0 5038 53 0 0 20 0 1 0 62507846 1705598976 389132 134679101440 4194304 15356333 140728264284720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 22769664 140728264287235 140728264287381 140728264287381 140728264294367 0
/proc/344588/statm: 416406 389132 2746 2726 0 413154 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1684216 KiB
Current children cumulated memory: 1560268 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 3.75 3.93 9/264 344605
/proc/meminfo: memFree=124788968/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62507846 10170368 683 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
################
# More data... #
################
/proc/345489/statm: 66622 51849 852 745 0 65687 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 285080 KiB
Current children cumulated memory: 211200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.13 8/265 346413
/proc/meminfo: memFree=127693324/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=267280 memory=208000 CPUtime=1659.66 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 27561 0 0 0 165953 13 0 0 20 0 1 0 62687647 273694720 52000 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 66820 52000 852 745 0 65885 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 285872 KiB
Current children cumulated memory: 211804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.13 8/265 346424
/proc/meminfo: memFree=127692208/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=267280 memory=208280 CPUtime=1719.46 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 27639 0 0 0 171933 13 0 0 20 0 1 0 62687647 273694720 52070 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 66820 52070 852 745 0 65885 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 285872 KiB
Current children cumulated memory: 212084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 9/266 346438
/proc/meminfo: memFree=127685056/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209628 CPUtime=1779.25 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28072 0 0 0 177912 13 0 0 20 0 1 0 62687647 275316736 52407 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52407 852 745 0 66281 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213432 KiB
[startup+3596.03 s]
# the end of solver process 344573 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.95 s, system=0.917258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.12 9/266 346438
/proc/meminfo: memFree=127685080/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209628 CPUtime=1780.95 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28073 0 0 0 178082 13 0 0 20 0 1 0 62687647 275316736 52407 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52407 852 745 0 66281 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213432 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.11 4.12 9/266 346439
/proc/meminfo: memFree=127679916/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209848 CPUtime=1787.32 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28109 0 0 0 178719 13 0 0 20 0 1 0 62687647 275316736 52462 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52462 852 745 0 66281 0
Current children cumulated CPU time: 3579.23 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213652 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.13 9/266 346439
/proc/meminfo: memFree=127679896/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209848 CPUtime=1790.51 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28109 0 0 0 179038 13 0 0 20 0 1 0 62687647 275316736 52462 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52462 852 745 0 66281 0
Current children cumulated CPU time: 3582.42 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213652 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.13 9/266 346439
/proc/meminfo: memFree=127679904/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209848 CPUtime=1792.11 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28109 0 0 0 179198 13 0 0 20 0 1 0 62687647 275316736 52462 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52462 852 745 0 66281 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213652 KiB
[startup+3595.6 s]
/proc/loadavg: 4.15 4.12 4.13 9/266 346439
/proc/meminfo: memFree=127679904/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209848 CPUtime=1792.5 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28109 0 0 0 179237 13 0 0 20 0 1 0 62687647 275316736 52462 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52462 852 745 0 66281 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213652 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.12 4.13 9/266 346439
/proc/meminfo: memFree=127679920/131524600 swapFree=131071996/131071996
[pid=344573] ppid=344560 vsize=9932 memory=2792 CPUtime=1791.91 cores=1,3
/proc/344573/stat : 344573 (Hybrid-CASHWMax) S 344560 344573 344503 0 -1 4194304 274 276311 0 0 0 0 179114 77 20 0 1 0 62507846 10170368 698 134679101440 94794133024768 94794134104088 140729027547584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94794136202544 94794136249732 94794159333376 140729027552206 140729027552365 140729027552365 140729027559380 0
/proc/344573/statm: 2483 698 605 264 0 134 0
[pid=345488] ppid=344573 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/345488/stat : 345488 (timeout) S 344573 345488 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62687647 8867840 253 134679101440 94254175789056 94254175824072 140725594301424 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94254177921488 94254177923620 94254204751872 140725594309620 140725594309789 140725594309789 140725594316775 0
/proc/345488/statm: 2165 253 229 9 0 87 0
[pid=345489] ppid=345488 vsize=268864 memory=209848 CPUtime=1792.91 cores=1,3
/proc/345489/stat : 345489 (Exact) R 345488 345488 344503 0 -1 4194304 28109 0 0 0 179278 13 0 0 20 0 1 0 62687647 275316736 52462 134679101440 4194304 7243121 140730754153680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43491328 140730754155536 140730754155686 140730754155686 140730754162672 0
/proc/345489/statm: 67216 52462 852 745 0 66281 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 213652 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3584.86
CPU user time (s): 3583.95
CPU system time (s): 0.917258
CPU usage (%): 99.6895
Max. virtual memory (cumulated for all children) (KiB): 1702336
Max. memory (cumulated for all children) (KiB): 1581108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.95
system time used= 0.917258
maximum resident set size= 1577368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 3541
# summary of solver processes directly reported to runsolver:
# pid: 344573
# total CPU time (s): 3584.86
# total CPU user time (s): 3583.95
# total CPU system time (s): 0.917258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86731 second user time and 21.4883 second system time
The end
Begin job on nodeC033 at 2024-08-06 17:44:15 IDJOB=4437805 IDBENCH=146743 IDSOLVER=3072 FILE ID=nodeC033/4437805-1722959055 RUNJOBID= nodeC033-1722959055-344515 SLURM_JOB_ID= 8259032 Free space on /tmp= 890052 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437805-1722959055/watcher-4437805-1722959055 -o /tmp/evaluation-result-4437805-1722959055/solver-4437805-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722959055-344515 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437805-1722959055.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1 RANDOM SEED=304999171 nodeC033.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 : 3705.684 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3695.048 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3732.710 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3867.922 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3877.069 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3683.243 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3621.933 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3777.042 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129450872 kB MemAvailable: 129776328 kB Buffers: 330672 kB Cached: 841556 kB SwapCached: 0 kB Active: 603432 kB Inactive: 950544 kB Active(anon): 1420 kB Inactive(anon): 418400 kB Active(file): 602012 kB Inactive(file): 532144 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 83388 kB Writeback: 0 kB AnonPages: 382196 kB Mapped: 98896 kB Shmem: 37720 kB KReclaimable: 62248 kB Slab: 154872 kB SReclaimable: 62248 kB SUnreclaim: 92624 kB KernelStack: 3848 kB PageTables: 9588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 792752 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 29216 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 320212 kB DirectMap2M: 9938944 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890000 MiB End job on nodeC033 at 2024-08-06 18:44:12