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 | 4727387 | 3583.08 | 3596.05 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb |
| MD5SUM | 90cf94310e57120d5401aeddd838603e |
| 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 | 4219117 |
| Best CPU time to get the best result obtained on this benchmark | 1168.01 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 160103007 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 89969826346 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 160103007 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 89969826346 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3583.02/3596.03 c Exit code from Second Program: 124 3583.02/3596.05 o 203376635 3583.02/3596.05 o 126259053 3583.02/3596.05 o 89645627 3583.02/3596.05 o 89644051 3583.02/3596.05 o 89487461 3583.02/3596.05 o 57689091 3583.02/3596.05 o 57688789 3583.02/3596.05 o 47360101 3583.02/3596.05 o 47247517 3583.02/3596.05 o 47203429 3583.02/3596.05 o 47174093 3583.02/3596.05 o 47167167 3583.02/3596.05 o 47146909 3583.02/3596.05 o 43219979 3583.02/3596.05 o 42501249 3583.02/3596.05 o 42499769 3583.02/3596.05 o 42490203 3583.02/3596.05 o 42476825 3583.02/3596.05 o 42469753 3583.02/3596.05 o 42465595 3583.02/3596.05 o 42458041 3583.02/3596.05 o 42435223 3583.02/3596.05 o 42435097 3583.02/3596.05 o 42209245 3583.02/3596.05 o 42177651 3583.02/3596.05 o 42159719 3583.02/3596.05 o 42068269 3583.02/3596.05 o 42041637 3583.02/3596.05 o 42030451 3583.02/3596.05 o 41956251 3583.02/3596.05 o 41933445 3583.02/3596.05 o 39905347 3583.02/3596.05 o 38364267 3583.02/3596.05 o 38258517 3583.02/3596.05 o 37605365 3583.02/3596.05 o 37603511 3583.02/3596.05 o 37582481 3583.02/3596.05 o 37471623 3583.02/3596.05 o 37464807 3583.02/3596.05 o 21147965 3583.02/3596.05 o 21143299 3583.02/3596.05 o 21137761 3583.02/3596.05 o 21137605 3583.02/3596.05 o 21134719 3583.02/3596.05 o 21129181 3583.02/3596.05 o 21127075 3583.02/3596.05 o 21103933 3583.02/3596.05 o 21077649 3583.02/3596.05 o 21074373 3583.02/3596.05 o 21050685 3583.02/3596.05 o 19629471 3583.02/3596.05 o 19622597 3583.02/3596.05 o 19622191 3583.02/3596.05 o 19598909 3583.02/3596.05 o 19595633 3583.02/3596.05 o 19587193 3583.02/3596.05 o 19539135 3583.02/3596.05 o 19526841 3583.02/3596.05 o 19519967 3583.02/3596.05 o 19501375 3583.02/3596.05 o 18716623 3583.02/3596.05 o 18677219 3583.02/3596.05 o 18602665 3583.02/3596.05 o 18601869 3583.02/3596.05 o 18589153 3583.02/3596.05 o 18562869 3583.02/3596.05 o 18553103 3583.02/3596.05 o 18545301 3583.02/3596.05 o 13983405 3583.02/3596.05 o 13982075 3583.02/3596.05 o 13971155 3583.02/3596.05 o 13953805 3583.02/3596.05 o 13941481 3583.02/3596.05 o 13937751 3583.02/3596.05 o 13931593 3583.02/3596.05 o 13560709 3583.02/3596.05 o 13162973 3583.02/3596.05 o 13159205 3583.02/3596.05 o 13141535 3583.02/3596.05 o 13133201 3583.02/3596.05 o 13131633 3583.02/3596.05 o 13118951 3583.02/3596.05 o 13112785 3583.02/3596.05 o 13107147 3583.02/3596.05 o 13062551 3583.02/3596.05 o 13060103 3583.02/3596.05 o 13044599 3583.02/3596.05 o 13031489 3583.02/3596.05 o 12964289 3583.02/3596.05 o 12931709 3583.02/3596.05 o 12930535 3583.02/3596.05 o 12890407 3583.02/3596.05 o 12873551 3583.02/3596.05 o 12855955 3583.02/3596.05 o 12829735 3583.02/3596.05 o 12826239 3583.02/3596.05 o 12820601 3583.02/3596.05 o 12820457 3583.02/3596.05 o 12819033 3583.02/3596.05 o 12799901 3583.02/3596.05 o 12771949 3583.02/3596.05 o 12766311 3583.02/3596.05 o 12766167 3583.02/3596.05 o 12759517 3583.02/3596.05 o 12753879 3583.02/3596.05 o 12747633 3583.02/3596.05 o 12717137 3583.02/3596.05 o 11474313 3583.02/3596.05 o 11461425 3583.02/3596.05 o 11455881 3583.02/3596.05 o 11454775 3583.02/3596.05 o 11450369 3583.02/3596.05 o 11438793 3583.02/3596.05 o 11433439 3583.02/3596.05 o 11421943 3583.02/3596.05 o 11421835 3583.02/3596.05 o 11417411 3583.02/3596.05 o 11414155 3583.02/3596.05 o 11412265 3583.02/3596.05 o 11408879 3583.02/3596.05 o 11400783 3583.02/3596.05 o 11394537 3583.02/3596.05 o 11388993 3583.02/3596.05 o 11342271 3583.02/3596.05 o 11333077 3583.02/3596.05 o 11325877 3583.02/3596.05 o 11324135 3583.02/3596.05 o 11315693 3583.02/3596.05 o 11309021 3583.02/3596.05 o 11295645 3583.02/3596.05 o 11284069 3583.02/3596.05 o 11236517 3583.02/3596.05 o 11208277 3583.02/3596.05 o 11198645 3583.02/3596.05 o 11193101 3583.02/3596.05 o 11185511 3583.02/3596.05 o 11180157 3583.02/3596.05 o 11168581 3583.02/3596.05 o 11165599 3583.02/3596.05 o 11150897 3583.02/3596.05 o 11139185 3583.02/3596.05 o 11125105 3583.02/3596.05 o 11114117 3583.02/3596.05 o 11107885 3583.02/3596.05 o 11101421 3583.02/3596.05 o 11082739 3583.02/3596.05 o 11077195 3583.02/3596.05 o 11075305 3583.02/3596.05 o 10483739 3583.02/3596.05 o 10453099 3583.02/3596.05 o 10381629 3583.02/3596.05 o 10335193 3583.02/3596.05 o 10331843 3583.02/3596.05 o 10319595 3583.02/3596.05 o 10258509 3583.02/3596.05 o 10253581 3583.02/3596.05 o 10193707 3583.02/3596.05 o 10191979 3583.02/3596.05 o 10176531 3583.02/3596.05 o 10173025 3583.02/3596.05 o 10155637 3583.02/3596.05 o 10153821 3583.02/3596.05 o 10145577 3583.02/3596.05 o 10142227 3583.02/3596.05 o 10138721 3583.02/3596.05 o 10131155 3583.02/3596.05 o 10119561 3583.02/3596.05 o 10077879 3583.02/3596.05 o 10074805 3583.02/3596.05 o 10071301 3583.02/3596.05 o 10016605 3583.02/3596.05 o 9977813 3583.02/3596.05 o 9963305 3583.02/3596.05 o 9955061 3583.02/3596.05 o 9951711 3583.02/3596.05 o 9948207 3583.02/3596.05 o 9921547 3583.02/3596.05 o 9913303 3583.02/3596.05 o 9909953 3583.02/3596.05 o 9857251 3583.02/3596.05 o 9849007 3583.02/3596.05 o 9815729 3583.02/3596.05 o 9765425 3583.02/3596.05 o 9756745 3583.02/3596.05 o 9749803 3583.02/3596.05 o 9746865 3583.02/3596.05 o 9739249 3583.02/3596.05 o 9737265 3583.02/3596.05 o 9725305 3583.02/3596.05 o 9724531 3583.02/3596.05 o 9723577 3583.02/3596.05 o 9683687 3583.02/3596.05 o 9677401 3583.02/3596.05 o 9676745 3583.02/3596.05 o 9674761 3583.02/3596.05 o 9625483 3583.02/3596.05 o 9624827 3583.02/3596.05 o 9568377 3583.02/3596.05 o 9562091 3583.02/3596.05 o 9543121 3583.02/3596.05 o 9538829 3583.02/3596.05 o 9535357 3583.02/3596.05 o 9527351 3583.02/3596.05 o 9473395 3583.02/3596.05 o 9472721 3583.02/3596.05 o 9429971 3583.02/3596.05 o 9390917 3583.02/3596.05 o 9363749 3583.02/3596.05 o 9359355 3583.02/3596.05 o 9349877 3583.02/3596.05 o 9325019 3583.02/3596.05 o 9186363 3583.02/3596.05 o 9170997 3583.02/3596.05 o 9168459 3583.02/3596.05 o 9127755 3583.02/3596.05 o 9100235 3583.02/3596.05 o 9089283 3583.02/3596.05 o 9061523 3583.02/3596.05 o 9059747 3583.02/3596.05 o 9045269 3583.02/3596.05 o 9043611 3583.02/3596.05 o 9040881 3583.02/3596.05 o 9037369 3583.02/3596.05 o 9021905 3583.02/3596.05 o 9018377 3583.02/3596.05 o 9018281 3583.02/3596.05 o 9013153 3583.02/3596.05 o 8998537 3583.02/3596.05 o 8982355 3583.02/3596.05 o 8979625 3583.02/3596.05 o 8914409 3583.02/3596.05 o 8855609 3583.02/3596.05 o 8827849 3583.02/3596.05 o 8789209 3583.02/3596.05 o 8758851 3583.02/3596.05 o 8754319 3583.02/3596.05 o 8747651 3583.02/3596.05 o 8715237 3583.02/3596.05 o 8712651 3583.02/3596.05 o 8697775 3583.02/3596.05 o 8696211 3583.02/3596.05 o 8692313 3583.02/3596.05 o 8682741 3583.02/3596.05 o 8681507 3583.02/3596.05 o 8679107 3583.02/3596.05 o 8674275 3583.02/3596.05 o 8669715 3583.02/3596.05 o 8652457 3583.02/3596.05 o 8641123 3583.02/3596.05 o 7408615 3583.02/3596.05 o 7404295 3583.02/3596.05 o 7397799 3583.02/3596.05 o 7395655 3583.02/3596.05 o 7394629 3583.02/3596.05 o 7377679 3583.02/3596.05 o 7319533 3583.02/3596.05 o 7304035 3583.02/3596.05 o 7301173 3583.02/3596.05 o 7298617 3583.02/3596.05 o 7240733 3583.02/3596.05 o 7221799 3583.02/3596.05 o 7208765 3583.02/3596.05 o 7194859 3583.02/3596.05 o 7168203 3583.02/3596.05 o 7153635 3583.02/3596.05 o 7142955 3583.02/3596.05 o 7141533 3583.02/3596.05 o 7139649 3583.02/3596.05 o 7134667 3583.02/3596.05 o 7117005 3583.02/3596.05 o 7110141 3583.02/3596.05 o 7104981 3583.02/3596.05 o 7102281 3583.02/3596.05 o 7085331 3583.02/3596.05 o 7075591 3583.02/3596.05 o 7051983 3583.02/3596.05 o 7049839 3583.02/3596.05 o 7032399 3583.02/3596.05 o 7030551 3583.02/3596.05 o 6996503 3583.02/3596.05 o 6993253 3583.02/3596.05 o 6978821 3583.02/3596.05 o 6967543 3583.02/3596.05 o 6964293 3583.02/3596.05 o 6957493 3583.02/3596.05 o 6934677 3583.02/3596.05 o 6925383 3583.02/3596.05 o 6910017 3583.02/3596.05 o 6906705 3583.02/3596.05 o 6890639 3583.02/3596.05 o 6890343 3583.02/3596.05 o 6886929 3583.02/3596.05 o 6880359 3583.02/3596.05 o 6760153 3583.02/3596.05 o 6759883 3583.02/3596.05 o 6757741 3583.02/3596.05 o 6745885 3583.02/3596.05 o 6742155 3583.02/3596.05 o 6694727 3583.02/3596.05 o 6669353 3583.02/3596.05 o 6658139 3583.02/3596.05 o 6653107 3583.02/3596.05 o 6652853 3583.02/3596.05 o 6648067 3583.02/3596.05 o 6647599 3583.02/3596.05 o 6645343 3583.02/3596.05 o 6644881 3583.02/3596.05 o 6641185 3583.02/3596.05 o 6637669 3583.02/3596.05 o 6634945 3583.02/3596.05 o 6634369 3583.02/3596.05 o 5838375 3583.02/3596.05 o 5825489 3583.02/3596.05 o 5824271 3583.02/3596.05 o 5812599 3583.02/3596.05 o 5809813 3583.02/3596.05 o 5806809 3583.02/3596.05 o 5805591 3583.02/3596.05 o 5793919 3583.02/3596.05 o 5766875 3583.02/3596.05 o 5760499 3583.02/3596.05 o 5746153 3583.02/3596.05 o 5744183 3583.02/3596.05 o 5732991 3583.02/3596.05 o 5707513 3583.02/3596.05 o 5704359 3583.02/3596.05 o 5699153 3583.02/3596.05 o 5671579 3583.02/3596.05 o 5668977 3583.02/3596.05 o 5668315 3583.02/3596.05 o 5661687 3583.02/3596.05 o 5659085 3583.02/3596.05 o 5658533 3583.02/3596.05 o 5635349 3583.02/3596.05 o 5632747 3583.02/3596.05 o 5628565 3583.02/3596.05 o 5614851 3583.02/3596.05 o 5608225 3583.02/3596.05 o 5607637 3583.02/3596.05 o 5592309 3583.02/3596.05 o 5587513 3583.02/3596.05 o 5579153 3583.02/3596.05 o 5555417 3583.02/3596.05 o 5552141 3583.02/3596.05 o 5543441 3583.02/3596.05 o 5540837 3583.02/3596.05 o 5539811 3583.02/3596.05 o 5538083 3583.02/3596.05 o 5528795 3583.02/3596.05 o 5526191 3583.02/3596.05 o 5516195 3583.02/3596.05 o 5507835 3583.02/3596.05 o 5503811 3583.02/3596.05 o 5492615 3583.02/3596.05 o 5490011 3583.02/3596.05 o 5478503 3583.02/3596.05 o 5467427 3583.02/3596.05 o 5460617 3583.02/3596.05 o 5457889 3583.02/3596.05 o 5441573 3583.02/3596.05 o 5437549 3583.02/3596.05 o 5434945 3583.02/3596.05 o 5433055 3583.02/3596.05 o 5423027 3583.02/3596.05 o 5419003 3583.02/3596.05 o 5416399 3583.02/3596.05 o 5395685 3583.02/3596.05 o 5388397 3583.02/3596.05 o 5387179 3583.02/3596.05 o 5384181 3583.02/3596.05 o 5371861 3583.02/3596.05 o 5353207 3583.02/3596.05 o 5347711 3583.02/3596.05 o 5345047 3583.02/3596.05 o 5342761 3583.02/3596.05 o 5341735 3583.02/3596.05 o 5340319 3583.02/3596.05 o 5336295 3583.02/3596.05 o 5312745 3583.02/3596.05 o 5295319 3583.02/3596.05 o 5293913 3583.02/3596.05 o 5282579 3583.02/3596.05 o 5269753 3583.02/3596.05 o 5267699 3583.02/3596.05 o 5264941 3583.02/3596.05 o 5258165 3583.02/3596.05 o 5254141 3583.02/3596.05 o 5253261 3583.02/3596.05 o 5251053 3583.02/3596.05 o 5249647 3583.02/3596.05 o 5242489 3583.02/3596.05 o 5237425 3583.02/3596.05 o 5234113 3583.02/3596.05 o 5228559 3583.02/3596.05 o 5220495 3583.02/3596.05 o 5219489 3583.02/3596.05 o 5217897 3583.02/3596.05 o 5217391 3583.02/3596.05 o 5201313 3583.02/3596.05 o 5200495 3583.02/3596.05 o 5195745 3583.02/3596.05 o 5193149 3583.02/3596.05 o 5191063 3583.02/3596.05 o 5190985 3583.02/3596.05 o 5162225 3583.02/3596.05 o 5159815 3583.02/3596.05 o 5158527 3583.02/3596.05 o 5154887 3583.02/3596.05 o 5151117 3583.02/3596.05 o 5131029 3583.02/3596.05 o 5129741 3583.02/3596.05 o 5111851 3583.02/3596.05 o 5089675 3583.02/3596.05 o 5079325 3583.02/3596.05 o 5079307 3583.02/3596.05 o 5070549 3583.02/3596.05 o 5068685 3583.02/3596.05 o 5067069 3583.02/3596.05 o 5065695 3583.02/3596.05 o 5060991 3583.02/3596.05 o 5057029 3583.02/3596.05 o 5051555 3583.02/3596.05 o 5048553 3583.02/3596.05 o 5048475 3583.02/3596.05 o 5022025 3583.02/3596.05 o 5019703 3583.02/3596.05 o 5012251 3583.02/3596.05 o 5001639 3583.02/3596.05 o 5001599 3583.02/3596.05 o 4986829 3583.02/3596.05 o 4982401 3583.02/3596.05 o 4974817 3583.02/3596.05 o 4974351 3583.02/3596.05 o 4974261 3583.02/3596.05 o 4971745 3583.02/3596.05 o 4942637 3583.02/3596.05 o 4940863 3583.02/3596.05 o 4939933 3583.02/3596.05 o 4937717 3583.02/3596.05 o 4935201 3583.02/3596.05 o 4925255 3583.02/3596.05 o 4914025 3583.02/3596.05 o 4913095 3583.02/3596.05 o 4911649 3583.02/3596.05 o 4910879 3583.02/3596.05 o 4909971 3583.02/3596.05 o 4908289 3583.02/3596.05 o 4907523 3583.02/3596.05 o 4891633 3583.02/3596.05 o 4889933 3583.02/3596.05 o 4889025 3583.02/3596.05 o 4886649 3583.02/3596.05 o 4883147 3583.02/3596.05 o 4877195 3583.02/3596.05 o 4876639 3583.02/3596.05 o 4873751 3583.02/3596.05 o 4870231 3583.02/3596.05 o 4865511 3583.02/3596.05 o 4863835 3583.02/3596.05 o 4862433 3583.02/3596.05 o 4848291 3583.02/3596.05 o 4847533 3583.02/3596.05 o 4846551 3583.02/3596.05 o 4845815 3583.02/3596.05 o 4842141 3583.02/3596.05 o 4839457 3583.02/3596.05 o 4834721 3583.02/3596.05 o 4834441 3583.02/3596.05 o 4827191 3583.02/3596.05 o 4826781 3583.02/3596.05 o 4823553 3583.02/3596.05 o 4815263 3583.02/3596.05 o 4811583 3583.02/3596.05 o 4810813 3583.02/3596.05 o 4803999 3583.02/3596.05 o 4800661 3583.02/3596.05 o 4797889 3583.02/3596.05 o 4790843 3583.02/3596.05 o 4784947 3583.02/3596.05 o 4783129 3583.02/3596.05 o 4776083 3583.02/3596.05 o 4773613 3583.02/3596.05 o 4771991 3583.02/3596.05 o 4771111 3583.02/3596.05 o 4763653 3583.02/3596.05 o 4748027 3583.02/3596.05 o 4747257 3583.02/3596.05 o 4747235 3583.02/3596.05 o 4746331 3583.02/3596.05 o 4733673 3583.02/3596.05 o 4727387 3583.02/3596.05 c Program interrupted by user. 3583.02/3596.05 s SATISFIABLE 3583.02/3596.05 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 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 -x8132 x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940
OK 4727387
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62216 MiB free)
memory of node 1: 64510 MiB (62367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438108-1722966250/watcher-4438108-1722966250 -o /tmp/evaluation-result-4438108-1722966250/solver-4438108-1722966250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340137 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438108-1722966250.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=344436, runsolver pid=344433
[startup+0.10086 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 344440
/proc/meminfo: memFree=127558640/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=34060 memory=19196 CPUtime=0.09 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 5821 0 0 0 9 0 0 0 20 0 1 0 63223534 34877440 4799 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 8515 4799 1034 2726 0 5263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52652 KiB
Current children cumulated memory: 22964 KiB
[startup+0.205746 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 344440
/proc/meminfo: memFree=127537464/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=59812 memory=42120 CPUtime=0.19 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 11178 0 0 0 18 1 0 0 20 0 1 0 63223534 61247488 10530 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 14953 10530 1066 2726 0 11701 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78404 KiB
Current children cumulated memory: 45888 KiB
[startup+0.305786 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 344440
/proc/meminfo: memFree=127510556/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=85448 memory=67748 CPUtime=0.29 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 15293 0 0 0 28 1 0 0 20 0 1 0 63223534 87498752 16937 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 21362 16937 1066 2726 0 18110 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104040 KiB
Current children cumulated memory: 71516 KiB
[startup+0.70028 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 344440
/proc/meminfo: memFree=127479080/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=181500 memory=161884 CPUtime=0.68 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 27407 0 0 0 64 4 0 0 20 0 1 0 63223534 185856000 40471 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 45375 40471 1338 2726 0 42123 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 200092 KiB
Current children cumulated memory: 165652 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 344440
/proc/meminfo: memFree=127286752/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=598892 memory=583640 CPUtime=1.48 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 135239 0 0 0 126 22 0 0 20 0 1 0 63223534 613265408 145910 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 149723 145910 2810 2726 0 146471 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 617484 KiB
Current children cumulated memory: 587408 KiB
[startup+3.10566 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 344440
/proc/meminfo: memFree=126742556/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=867756 memory=845604 CPUtime=3.08 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 199123 0 0 0 276 32 0 0 20 0 1 0 63223534 888582144 211401 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 216939 211401 2906 2726 0 213687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 886348 KiB
Current children cumulated memory: 849372 KiB
[startup+6.30028 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 344442
/proc/meminfo: memFree=126735656/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=867756 memory=848212 CPUtime=6.26 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 199799 0 0 0 594 32 0 0 20 0 1 0 63223534 888582144 212053 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 216939 212053 2922 2726 0 213687 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 886348 KiB
Current children cumulated memory: 851980 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 344442
/proc/meminfo: memFree=126734836/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=867756 memory=848212 CPUtime=12.64 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 199839 0 0 0 1231 33 0 0 20 0 1 0 63223534 888582144 212053 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 216939 212053 2922 2726 0 213687 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 886348 KiB
Current children cumulated memory: 851980 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 344446
/proc/meminfo: memFree=126734448/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=867756 memory=848396 CPUtime=25.39 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 199901 0 0 0 2505 34 0 0 20 0 1 0 63223534 888582144 212099 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 216939 212099 2922 2726 0 213687 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 886348 KiB
Current children cumulated memory: 852164 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 344449
/proc/meminfo: memFree=126364880/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=344439] ppid=344436 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344439/stat : 344439 (timeout) S 344436 344439 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63223534 8867840 244 134679101440 94041217413120 94041217448136 140724106741952 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94041219545552 94041219547684 94041252040704 140724106748926 140724106749085 140724106749085 140724106756071 0
/proc/344439/statm: 2165 244 220 9 0 87 0
[pid=344440] ppid=344439 vsize=1245780 memory=1217388 CPUtime=50.9 cores=0,2
/proc/344440/stat : 344440 (CASHWMaxSAT-Dis) R 344439 344439 340127 0 -1 4194304 271835 0 0 0 5043 47 0 0 20 0 1 0 63223534 1275678720 304347 134679101440 4194304 15356333 140724711166032 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 34926592 140724711171075 140724711171221 140724711171221 140724711178207 0
/proc/344440/statm: 311445 304347 3034 2726 0 308193 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1264372 KiB
Current children cumulated memory: 1221156 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 344507
/proc/meminfo: memFree=124901776/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
################
# More data... #
################
/proc/345486/statm: 161728 121079 852 745 0 160793 0
Current children cumulated CPU time: 3389.96 s
Current children cumulated vsize: 665504 KiB
Current children cumulated memory: 488160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 346407
/proc/meminfo: memFree=102973116/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=650808 memory=487456 CPUtime=1658.64 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 82056 0 0 0 165815 49 0 0 20 0 1 0 63403334 666427392 121864 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 162702 121864 852 745 0 161767 0
Current children cumulated CPU time: 3449.75 s
Current children cumulated vsize: 669400 KiB
Current children cumulated memory: 491300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 346417
/proc/meminfo: memFree=102752348/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=653584 memory=489604 CPUtime=1718.45 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 82702 0 0 0 171795 50 0 0 20 0 1 0 63403334 669270016 122401 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 163396 122401 852 745 0 162461 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 672176 KiB
Current children cumulated memory: 493448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 346427
/proc/meminfo: memFree=100399188/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1778.25 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83641 0 0 0 177774 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3569.36 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3596.05 s]
# the end of solver process 344436 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.76 s, system=1.31999 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.09 5/264 346429
/proc/meminfo: memFree=100399132/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1779.95 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83641 0 0 0 177944 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 346430
/proc/meminfo: memFree=100398844/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1786.32 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83643 0 0 0 178581 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3577.43 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 346430
/proc/meminfo: memFree=100399020/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1789.51 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83643 0 0 0 178900 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3580.62 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 346431
/proc/meminfo: memFree=100399020/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1791.1 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83643 0 0 0 179059 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3582.21 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 346431
/proc/meminfo: memFree=100399020/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1791.5 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83643 0 0 0 179099 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 346431
/proc/meminfo: memFree=100399020/131524600 swapFree=131071996/131071996
[pid=344436] ppid=344433 vsize=9932 memory=2792 CPUtime=1791.11 cores=0,2
/proc/344436/stat : 344436 (Hybrid-CASHWMax) S 344433 344436 340127 0 -1 4194304 276 284122 0 0 0 0 179032 79 20 0 1 0 63223533 10170368 698 134679101440 94507058135040 94507059214360 140736558159568 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94507061312816 94507061360004 94507086823424 140736558162894 140736558163053 140736558163053 140736558170068 0
/proc/344436/statm: 2483 698 605 264 0 134 0
[pid=345485] ppid=344436 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/345485/stat : 345485 (timeout) S 344436 345485 340127 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63403334 8867840 263 134679101440 94439992520704 94439992555720 140729309134624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94439994653136 94439994655268 94439998689280 140729309139956 140729309140125 140729309140125 140729309147111 0
/proc/345485/statm: 2165 263 238 9 0 87 0
[pid=345486] ppid=345485 vsize=657156 memory=492964 CPUtime=1791.91 cores=0,2
/proc/345486/stat : 345486 (Exact) R 345485 345485 340127 0 -1 4194304 83643 0 0 0 179140 51 0 0 20 0 1 0 63403334 672927744 123241 134679101440 4194304 7243121 140725332341840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 25763840 140725332345872 140725332346022 140725332346022 140725332353008 0
/proc/345486/statm: 164289 123241 852 745 0 163354 0
Current children cumulated CPU time: 3583.02 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 496808 KiB
Child status: 0
Real time (s): 3596.05
CPU time (s): 3583.08
CPU user time (s): 3581.76
CPU system time (s): 1.31999
CPU usage (%): 99.6394
Max. virtual memory (cumulated for all children) (KiB): 1308780
Max. memory (cumulated for all children) (KiB): 1284116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.76
system time used= 1.31998
maximum resident set size= 1280348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 24588
# summary of solver processes directly reported to runsolver:
# pid: 344436
# total CPU time (s): 3583.08
# total CPU user time (s): 3581.76
# total CPU system time (s): 1.31999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73036 second user time and 17.9961 second system time
The end
Begin job on nodeC022 at 2024-08-06 19:44:10 IDJOB=4438108 IDBENCH=155605 IDSOLVER=3072 FILE ID=nodeC022/4438108-1722966250 RUNJOBID= nodeC022-1722960830-340137 SLURM_JOB_ID= 8259041 Free space on /tmp= 890020 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438108-1722966250/watcher-4438108-1722966250 -o /tmp/evaluation-result-4438108-1722966250/solver-4438108-1722966250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340137 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438108-1722966250.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e RANDOM SEED=1970089557 nodeC022.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 : 3664.770 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 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 : 3680.212 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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 : 3651.471 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.610 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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 : 3660.974 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 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 : 3680.308 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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 : 3601.745 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.507 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127575084 kB MemAvailable: 128839212 kB Buffers: 346564 kB Cached: 1761224 kB SwapCached: 0 kB Active: 617300 kB Inactive: 2805344 kB Active(anon): 1552 kB Inactive(anon): 1351016 kB Active(file): 615748 kB Inactive(file): 1454328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20148 kB Writeback: 0 kB AnonPages: 1314908 kB Mapped: 133964 kB Shmem: 37720 kB KReclaimable: 67400 kB Slab: 160220 kB SReclaimable: 67400 kB SUnreclaim: 92820 kB KernelStack: 4256 kB PageTables: 12488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1761888 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28704 kB HardwareCorrupted: 0 kB AnonHugePages: 1128448 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: 359124 kB DirectMap2M: 30871552 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 889924 MiB End job on nodeC022 at 2024-08-06 20:44:07